runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108291842/gj-user-solver-1.0/d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf /home/misc2010/tmp/201108291842/gj-user-solver-1.0/d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.dudf-real.result -notuptodate,-removed,-changed 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.06 1.14 1.11 5/35 29935
/proc/meminfo: memFree=736732/1048576 swapFree=0/0
[pid=29933] ppid=29932 vsize=2568 CPUtime=0
/proc/29933/stat : 29933 (gj-user-solver-) S 29932 29933 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46617705 2629632 270 1283457024 134512640 135304128 4291479152 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29933/statm: 642 270 229 194 0 29 0
[pid=29934] ppid=29933 vsize=11360 CPUtime=0.01
/proc/29934/stat : 29934 (java) R 29933 29933 17511 34816 17511 4202496 918 0 0 0 0 1 0 0 25 0 2 0 46617705 11632640 651 1283457024 134512640 134550932 4292036176 18446744073709551615 4159295080 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29934/statm: 2840 651 285 10 0 1186 0
[pid=29934/tid=29935] ppid=29933 vsize=11360 CPUtime=0
/proc/29934/task/29935/stat : 29935 (java) R 29933 29933 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 2 0 46617705 11632640 651 1283457024 134512640 134550932 4292036176 18446744073709551615 4159295080 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.12551 s]
/proc/loadavg: 1.06 1.14 1.11 5/35 29935
/proc/meminfo: memFree=736732/1048576 swapFree=0/0
[pid=29933] ppid=29932 vsize=2568 CPUtime=0
/proc/29933/stat : 29933 (gj-user-solver-) S 29932 29933 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46617705 2629632 270 1283457024 134512640 135304128 4291479152 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29933/statm: 642 270 229 194 0 29 0
[pid=29934] ppid=29933 vsize=409920 CPUtime=0.12
/proc/29934/stat : 29934 (java) S 29933 29933 17511 34816 17511 4202496 3890 0 1 0 10 2 0 0 25 0 9 0 46617705 419758080 3317 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29934/statm: 102480 3317 1917 10 0 96628 0
[pid=29934/tid=29935] ppid=29933 vsize=409920 CPUtime=0.11
/proc/29934/task/29935/stat : 29935 (java) R 29933 29933 17511 34816 17511 4202560 2791 0 1 0 10 1 0 0 25 0 9 0 46617705 419758080 3317 1283457024 134512640 134550932 4292036176 18446744073709551615 4114636260 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 412488

[startup+0.205518 s]
/proc/loadavg: 1.06 1.14 1.11 5/35 29935
/proc/meminfo: memFree=736732/1048576 swapFree=0/0
[pid=29933] ppid=29932 vsize=2568 CPUtime=0
/proc/29933/stat : 29933 (gj-user-solver-) S 29932 29933 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46617705 2629632 270 1283457024 134512640 135304128 4291479152 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29933/statm: 642 270 229 194 0 29 0
[pid=29934] ppid=29933 vsize=410336 CPUtime=0.2
/proc/29934/stat : 29934 (java) S 29933 29933 17511 34816 17511 4202496 4359 0 1 0 18 2 0 0 25 0 9 0 46617705 420184064 3786 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29934/statm: 102584 3786 1944 10 0 96732 0
[pid=29934/tid=29935] ppid=29933 vsize=410336 CPUtime=0.19
/proc/29934/task/29935/stat : 29935 (java) R 29933 29933 17511 34816 17511 4202560 3115 0 1 0 18 1 0 0 25 0 9 0 46617705 420184064 3786 1283457024 134512640 134550932 4292036176 18446744073709551615 4150994983 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412904

[startup+0.305532 s]
/proc/loadavg: 1.06 1.14 1.11 5/35 29935
/proc/meminfo: memFree=736732/1048576 swapFree=0/0
[pid=29933] ppid=29932 vsize=2568 CPUtime=0
/proc/29933/stat : 29933 (gj-user-solver-) S 29932 29933 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46617705 2629632 270 1283457024 134512640 135304128 4291479152 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29933/statm: 642 270 229 194 0 29 0
[pid=29934] ppid=29933 vsize=410484 CPUtime=0.3
/proc/29934/stat : 29934 (java) S 29933 29933 17511 34816 17511 4202496 5400 0 1 0 28 2 0 0 25 0 9 0 46617705 420335616 4827 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29934/statm: 102621 4827 1952 10 0 96769 0
[pid=29934/tid=29935] ppid=29933 vsize=410484 CPUtime=0.25
/proc/29934/task/29935/stat : 29935 (java) R 29933 29933 17511 34816 17511 4202560 3522 0 1 0 24 1 0 0 25 0 9 0 46617705 420335616 4827 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 413052

[startup+0.705635 s]
/proc/loadavg: 1.06 1.14 1.11 5/35 29935
/proc/meminfo: memFree=736732/1048576 swapFree=0/0
[pid=29933] ppid=29932 vsize=2568 CPUtime=0
/proc/29933/stat : 29933 (gj-user-solver-) S 29932 29933 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46617705 2629632 270 1283457024 134512640 135304128 4291479152 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29933/statm: 642 270 229 194 0 29 0
[pid=29934] ppid=29933 vsize=410756 CPUtime=0.7
/proc/29934/stat : 29934 (java) S 29933 29933 17511 34816 17511 4202496 12897 0 1 0 64 6 0 0 25 0 9 0 46617705 420614144 12137 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29934/statm: 102689 12137 2901 10 0 96837 0
[pid=29934/tid=29935] ppid=29933 vsize=410756 CPUtime=0.47
/proc/29934/task/29935/stat : 29935 (java) R 29933 29933 17511 34816 17511 4202560 4212 0 1 0 46 1 0 0 25 0 9 0 46617705 420614144 12137 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413324

[startup+1.50581 s]
/proc/loadavg: 1.06 1.14 1.11 3/43 29943
/proc/meminfo: memFree=678316/1048576 swapFree=0/0
[pid=29933] ppid=29932 vsize=2568 CPUtime=0
/proc/29933/stat : 29933 (gj-user-solver-) S 29932 29933 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46617705 2629632 270 1283457024 134512640 135304128 4291479152 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29933/statm: 642 270 229 194 0 29 0
[pid=29934] ppid=29933 vsize=410756 CPUtime=1.49
/proc/29934/stat : 29934 (java) S 29933 29933 17511 34816 17511 4202496 26517 0 1 0 140 9 0 0 25 0 9 0 46617705 420614144 25757 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29934/statm: 102689 25757 2901 10 0 96837 0
[pid=29934/tid=29935] ppid=29933 vsize=410756 CPUtime=0.79
/proc/29934/task/29935/stat : 29935 (java) R 29933 29933 17511 34816 17511 4202560 6852 0 1 0 77 2 0 0 25 0 9 0 46617705 420614144 25757 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29934/tid=29937] ppid=29933 vsize=410756 CPUtime=0.64
/proc/29934/task/29937/stat : 29937 (java) R 29933 29933 17511 34816 17511 4202560 18277 0 0 0 58 6 0 0 18 0 9 0 46617706 420614144 25757 1283457024 134512640 134550932 4292036176 18446744073709551615 4151279770 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29934/tid=29938] ppid=29933 vsize=410756 CPUtime=0
/proc/29934/task/29938/stat : 29938 (java) S 29933 29933 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 46617706 420614144 25757 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29939] ppid=29933 vsize=410756 CPUtime=0
/proc/29934/task/29939/stat : 29939 (java) S 29933 29933 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 46617706 420614144 25757 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29940] ppid=29933 vsize=410756 CPUtime=0
/proc/29934/task/29940/stat : 29940 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46617708 420614144 25757 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29941] ppid=29933 vsize=410756 CPUtime=0.04
/proc/29934/task/29941/stat : 29941 (java) S 29933 29933 17511 34816 17511 4202560 448 0 0 0 4 0 0 0 18 0 9 0 46617708 420614144 25757 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29942] ppid=29933 vsize=410756 CPUtime=0
/proc/29934/task/29942/stat : 29942 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46617708 420614144 25757 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29943] ppid=29933 vsize=410756 CPUtime=0
/proc/29934/task/29943/stat : 29943 (java) S 29933 29933 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 46617708 420614144 25757 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 413324

[startup+3.10634 s]
/proc/loadavg: 1.14 1.16 1.12 2/43 29943
/proc/meminfo: memFree=602924/1048576 swapFree=0/0
[pid=29933] ppid=29932 vsize=2568 CPUtime=0
/proc/29933/stat : 29933 (gj-user-solver-) S 29932 29933 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46617705 2629632 270 1283457024 134512640 135304128 4291479152 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29933/statm: 642 270 229 194 0 29 0
[pid=29934] ppid=29933 vsize=410888 CPUtime=3.08
/proc/29934/stat : 29934 (java) S 29933 29933 17511 34816 17511 4202496 47998 0 1 0 288 20 0 0 25 0 9 0 46617705 420749312 47233 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29934/statm: 102722 47233 2902 10 0 96870 0
[pid=29934/tid=29935] ppid=29933 vsize=410888 CPUtime=1.42
/proc/29934/task/29935/stat : 29935 (java) R 29933 29933 17511 34816 17511 4202560 13035 0 1 0 136 6 0 0 25 0 9 0 46617705 420749312 47233 1283457024 134512640 134550932 4292036176 18446744073709551615 4150319518 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29934/tid=29937] ppid=29933 vsize=410888 CPUtime=1.59
/proc/29934/task/29937/stat : 29937 (java) S 29933 29933 17511 34816 17511 4202560 33569 0 0 0 146 13 0 0 16 0 9 0 46617706 420749312 47233 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29938] ppid=29933 vsize=410888 CPUtime=0
/proc/29934/task/29938/stat : 29938 (java) S 29933 29933 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 46617706 420749312 47233 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29939] ppid=29933 vsize=410888 CPUtime=0
/proc/29934/task/29939/stat : 29939 (java) S 29933 29933 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 46617706 420749312 47233 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29940] ppid=29933 vsize=410888 CPUtime=0
/proc/29934/task/29940/stat : 29940 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46617708 420749312 47233 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29941] ppid=29933 vsize=410888 CPUtime=0.05
/proc/29934/task/29941/stat : 29941 (java) S 29933 29933 17511 34816 17511 4202560 454 0 0 0 5 0 0 0 16 0 9 0 46617708 420749312 47233 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29942] ppid=29933 vsize=410888 CPUtime=0
/proc/29934/task/29942/stat : 29942 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46617708 420749312 47233 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29943] ppid=29933 vsize=410888 CPUtime=0
/proc/29934/task/29943/stat : 29943 (java) S 29933 29933 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 46617708 420749312 47233 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 413456

[startup+6.30742 s]
/proc/loadavg: 1.14 1.16 1.12 2/44 29944
/proc/meminfo: memFree=490944/1048576 swapFree=0/0
[pid=29933] ppid=29932 vsize=2568 CPUtime=0
/proc/29933/stat : 29933 (gj-user-solver-) S 29932 29933 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46617705 2629632 270 1283457024 134512640 135304128 4291479152 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29933/statm: 642 270 229 194 0 29 0
[pid=29934] ppid=29933 vsize=411224 CPUtime=6.28
/proc/29934/stat : 29934 (java) S 29933 29933 17511 34816 17511 4202496 65340 0 1 0 598 30 0 0 25 0 10 0 46617705 421093376 64495 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29934/statm: 102806 64495 2926 10 0 96951 0
[pid=29934/tid=29935] ppid=29933 vsize=411224 CPUtime=4.08
/proc/29934/task/29935/stat : 29935 (java) R 29933 29933 17511 34816 17511 4202560 14548 0 1 0 401 7 0 0 25 0 10 0 46617705 421093376 64495 1283457024 134512640 134550932 4292036176 18446744073709551615 4115479229 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29934/tid=29937] ppid=29933 vsize=411224 CPUtime=2.05
/proc/29934/task/29937/stat : 29937 (java) S 29933 29933 17511 34816 17511 4202560 49300 0 0 0 183 22 0 0 16 0 10 0 46617706 421093376 64495 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29938] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29938/stat : 29938 (java) S 29933 29933 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46617706 421093376 64495 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29939] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29939/stat : 29939 (java) S 29933 29933 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46617706 421093376 64495 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29940] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29940/stat : 29940 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46617708 421093376 64495 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29941] ppid=29933 vsize=411224 CPUtime=0.14
/proc/29934/task/29941/stat : 29941 (java) S 29933 29933 17511 34816 17511 4202560 547 0 0 0 14 0 0 0 15 0 10 0 46617708 421093376 64495 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29942] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29942/stat : 29942 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46617708 421093376 64495 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29943] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29943/stat : 29943 (java) S 29933 29933 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46617708 421093376 64495 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29944] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29944/stat : 29944 (java) S 29933 29933 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46618129 421093376 64495 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 413792

[startup+12.709 s]
/proc/loadavg: 1.12 1.15 1.12 2/44 29944
/proc/meminfo: memFree=486116/1048576 swapFree=0/0
[pid=29933] ppid=29932 vsize=2568 CPUtime=0
/proc/29933/stat : 29933 (gj-user-solver-) S 29932 29933 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46617705 2629632 270 1283457024 134512640 135304128 4291479152 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29933/statm: 642 270 229 194 0 29 0
[pid=29934] ppid=29933 vsize=411224 CPUtime=12.67
/proc/29934/stat : 29934 (java) S 29933 29933 17511 34816 17511 4202496 66514 0 1 0 1237 30 0 0 25 0 10 0 46617705 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29934/statm: 102806 65660 2920 10 0 96951 0
[pid=29934/tid=29935] ppid=29933 vsize=411224 CPUtime=10.05
/proc/29934/task/29935/stat : 29935 (java) R 29933 29933 17511 34816 17511 4202560 14548 0 1 0 998 7 0 0 25 0 10 0 46617705 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4115486315 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29934/tid=29937] ppid=29933 vsize=411224 CPUtime=2.46
/proc/29934/task/29937/stat : 29937 (java) S 29933 29933 17511 34816 17511 4202560 50466 0 0 0 224 22 0 0 16 0 10 0 46617706 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29938] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29938/stat : 29938 (java) S 29933 29933 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46617706 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29939] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29939/stat : 29939 (java) S 29933 29933 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46617706 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29940] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29940/stat : 29940 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46617708 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29941] ppid=29933 vsize=411224 CPUtime=0.14
/proc/29934/task/29941/stat : 29941 (java) S 29933 29933 17511 34816 17511 4202560 555 0 0 0 14 0 0 0 15 0 10 0 46617708 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29942] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29942/stat : 29942 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46617708 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29943] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29943/stat : 29943 (java) S 29933 29933 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46617708 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29944] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29944/stat : 29944 (java) S 29933 29933 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46618129 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 413792

Solver just ended. Dumping a history of the last processes samples

[startup+12.8091 s]
/proc/loadavg: 1.12 1.15 1.12 2/44 29944
/proc/meminfo: memFree=486116/1048576 swapFree=0/0
[pid=29933] ppid=29932 vsize=2568 CPUtime=0
/proc/29933/stat : 29933 (gj-user-solver-) S 29932 29933 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46617705 2629632 270 1283457024 134512640 135304128 4291479152 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29933/statm: 642 270 229 194 0 29 0
[pid=29934] ppid=29933 vsize=411224 CPUtime=12.77
/proc/29934/stat : 29934 (java) S 29933 29933 17511 34816 17511 4202496 66514 0 1 0 1247 30 0 0 25 0 10 0 46617705 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29934/statm: 102806 65660 2920 10 0 96951 0
[pid=29934/tid=29935] ppid=29933 vsize=411224 CPUtime=10.15
/proc/29934/task/29935/stat : 29935 (java) R 29933 29933 17511 34816 17511 4202560 14548 0 1 0 1008 7 0 0 25 0 10 0 46617705 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4115472771 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29934/tid=29937] ppid=29933 vsize=411224 CPUtime=2.46
/proc/29934/task/29937/stat : 29937 (java) S 29933 29933 17511 34816 17511 4202560 50466 0 0 0 224 22 0 0 15 0 10 0 46617706 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29938] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29938/stat : 29938 (java) S 29933 29933 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46617706 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29939] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29939/stat : 29939 (java) S 29933 29933 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46617706 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29940] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29940/stat : 29940 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46617708 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29941] ppid=29933 vsize=411224 CPUtime=0.14
/proc/29934/task/29941/stat : 29941 (java) S 29933 29933 17511 34816 17511 4202560 555 0 0 0 14 0 0 0 15 0 10 0 46617708 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29942] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29942/stat : 29942 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46617708 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29943] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29943/stat : 29943 (java) S 29933 29933 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46617708 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29944] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29944/stat : 29944 (java) S 29933 29933 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46618129 421093376 65660 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 413792

[startup+16.0101 s]
/proc/loadavg: 1.12 1.15 1.12 2/44 29944
/proc/meminfo: memFree=486116/1048576 swapFree=0/0
[pid=29933] ppid=29932 vsize=2568 CPUtime=0
/proc/29933/stat : 29933 (gj-user-solver-) S 29932 29933 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46617705 2629632 270 1283457024 134512640 135304128 4291479152 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29933/statm: 642 270 229 194 0 29 0
[pid=29934] ppid=29933 vsize=411224 CPUtime=15.97
/proc/29934/stat : 29934 (java) S 29933 29933 17511 34816 17511 4202496 66515 0 1 0 1567 30 0 0 25 0 10 0 46617705 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29934/statm: 102806 65661 2920 10 0 96951 0
[pid=29934/tid=29935] ppid=29933 vsize=411224 CPUtime=13.33
/proc/29934/task/29935/stat : 29935 (java) R 29933 29933 17511 34816 17511 4202560 14548 0 1 0 1326 7 0 0 25 0 10 0 46617705 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4115624069 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29934/tid=29937] ppid=29933 vsize=411224 CPUtime=2.48
/proc/29934/task/29937/stat : 29937 (java) S 29933 29933 17511 34816 17511 4202560 50466 0 0 0 226 22 0 0 15 0 10 0 46617706 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29938] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29938/stat : 29938 (java) S 29933 29933 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46617706 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29939] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29939/stat : 29939 (java) S 29933 29933 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46617706 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29940] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29940/stat : 29940 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46617708 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29941] ppid=29933 vsize=411224 CPUtime=0.14
/proc/29934/task/29941/stat : 29941 (java) S 29933 29933 17511 34816 17511 4202560 556 0 0 0 14 0 0 0 15 0 10 0 46617708 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29942] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29942/stat : 29942 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46617708 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29943] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29943/stat : 29943 (java) S 29933 29933 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46617708 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29944] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29944/stat : 29944 (java) S 29933 29933 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46618129 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.97
Current children cumulated vsize (KiB) 413792

[startup+17.6105 s]
/proc/loadavg: 1.11 1.15 1.11 2/44 29944
/proc/meminfo: memFree=486116/1048576 swapFree=0/0
[pid=29933] ppid=29932 vsize=2568 CPUtime=0
/proc/29933/stat : 29933 (gj-user-solver-) S 29932 29933 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46617705 2629632 270 1283457024 134512640 135304128 4291479152 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29933/statm: 642 270 229 194 0 29 0
[pid=29934] ppid=29933 vsize=411224 CPUtime=17.57
/proc/29934/stat : 29934 (java) S 29933 29933 17511 34816 17511 4202496 66515 0 1 0 1727 30 0 0 25 0 10 0 46617705 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29934/statm: 102806 65661 2920 10 0 96951 0
[pid=29934/tid=29935] ppid=29933 vsize=411224 CPUtime=14.91
/proc/29934/task/29935/stat : 29935 (java) R 29933 29933 17511 34816 17511 4202560 14548 0 1 0 1484 7 0 0 25 0 10 0 46617705 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4115617353 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29934/tid=29937] ppid=29933 vsize=411224 CPUtime=2.5
/proc/29934/task/29937/stat : 29937 (java) S 29933 29933 17511 34816 17511 4202560 50466 0 0 0 228 22 0 0 16 0 10 0 46617706 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29938] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29938/stat : 29938 (java) S 29933 29933 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46617706 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29939] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29939/stat : 29939 (java) S 29933 29933 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46617706 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29940] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29940/stat : 29940 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46617708 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29941] ppid=29933 vsize=411224 CPUtime=0.14
/proc/29934/task/29941/stat : 29941 (java) S 29933 29933 17511 34816 17511 4202560 556 0 0 0 14 0 0 0 15 0 10 0 46617708 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29942] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29942/stat : 29942 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46617708 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29943] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29943/stat : 29943 (java) S 29933 29933 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46617708 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29944] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29944/stat : 29944 (java) S 29933 29933 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46618129 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.57
Current children cumulated vsize (KiB) 413792

[startup+18.0107 s]
/proc/loadavg: 1.11 1.15 1.11 2/44 29944
/proc/meminfo: memFree=486116/1048576 swapFree=0/0
[pid=29933] ppid=29932 vsize=2568 CPUtime=0
/proc/29933/stat : 29933 (gj-user-solver-) S 29932 29933 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46617705 2629632 270 1283457024 134512640 135304128 4291479152 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29933/statm: 642 270 229 194 0 29 0
[pid=29934] ppid=29933 vsize=411224 CPUtime=17.97
/proc/29934/stat : 29934 (java) S 29933 29933 17511 34816 17511 4202496 66515 0 1 0 1767 30 0 0 25 0 10 0 46617705 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29934/statm: 102806 65661 2920 10 0 96951 0
[pid=29934/tid=29935] ppid=29933 vsize=411224 CPUtime=15.31
/proc/29934/task/29935/stat : 29935 (java) R 29933 29933 17511 34816 17511 4202560 14548 0 1 0 1524 7 0 0 25 0 10 0 46617705 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4115617353 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29934/tid=29937] ppid=29933 vsize=411224 CPUtime=2.5
/proc/29934/task/29937/stat : 29937 (java) S 29933 29933 17511 34816 17511 4202560 50466 0 0 0 228 22 0 0 16 0 10 0 46617706 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29938] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29938/stat : 29938 (java) S 29933 29933 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46617706 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29939] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29939/stat : 29939 (java) S 29933 29933 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46617706 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29940] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29940/stat : 29940 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46617708 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29941] ppid=29933 vsize=411224 CPUtime=0.14
/proc/29934/task/29941/stat : 29941 (java) S 29933 29933 17511 34816 17511 4202560 556 0 0 0 14 0 0 0 15 0 10 0 46617708 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29942] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29942/stat : 29942 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46617708 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29943] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29943/stat : 29943 (java) S 29933 29933 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46617708 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29944] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29944/stat : 29944 (java) S 29933 29933 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46618129 421093376 65661 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.97
Current children cumulated vsize (KiB) 413792

[startup+18.2066 s]
/proc/loadavg: 1.11 1.15 1.11 2/44 29944
/proc/meminfo: memFree=486116/1048576 swapFree=0/0
[pid=29933] ppid=29932 vsize=2568 CPUtime=0
/proc/29933/stat : 29933 (gj-user-solver-) S 29932 29933 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 46617705 2629632 270 1283457024 134512640 135304128 4291479152 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29933/statm: 642 270 229 194 0 29 0
[pid=29934] ppid=29933 vsize=411224 CPUtime=18.13
/proc/29934/stat : 29934 (java) S 29933 29933 17511 34816 17511 4202496 66525 0 1 0 1783 30 0 0 25 0 9 0 46617705 421093376 65671 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29934/statm: 102806 65671 2921 10 0 96951 0
[pid=29934/tid=29935] ppid=29933 vsize=411224 CPUtime=15.47
/proc/29934/task/29935/stat : 29935 (java) S 29933 29933 17511 34816 17511 4202560 14549 0 1 0 1540 7 0 0 25 0 9 0 46617705 421093376 65671 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29937] ppid=29933 vsize=411224 CPUtime=2.5
/proc/29934/task/29937/stat : 29937 (java) S 29933 29933 17511 34816 17511 4202560 50466 0 0 0 228 22 0 0 16 0 9 0 46617706 421093376 65671 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29938] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29938/stat : 29938 (java) S 29933 29933 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 46617706 421093376 65671 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29939] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29939/stat : 29939 (java) S 29933 29933 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 46617706 421093376 65671 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29940] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29940/stat : 29940 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46617708 421093376 65671 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29941] ppid=29933 vsize=411224 CPUtime=0.14
/proc/29934/task/29941/stat : 29941 (java) S 29933 29933 17511 34816 17511 4202560 564 0 0 0 14 0 0 0 16 0 9 0 46617708 421093376 65671 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29942] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29942/stat : 29942 (java) S 29933 29933 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46617708 421093376 65671 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=29934/tid=29943] ppid=29933 vsize=411224 CPUtime=0
/proc/29934/task/29943/stat : 29943 (java) S 29933 29933 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 46617708 421093376 65671 1283457024 134512640 134550932 4292036176 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.13
Current children cumulated vsize (KiB) 413792

Child status: 0
Real time (s): 18.2302
CPU time (s): 18.1611
CPU user time (s): 17.8371
CPU system time (s): 0.32402
CPU usage (%): 99.6211
Max. virtual memory (cumulated for all children) (KiB): 413792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.8371
system time used= 0.32402
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66913
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1072
involuntary context switches= 1304

runsolver used 0 second user time and 0.008 second system time

The end