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/rand282.cudf.dudf-random.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-random//rand282.cudf /home/misc2010/tmp/201108291842/gj-user-solver-1.0/rand282.cudf.dudf-random.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.07 1.12 0.94 5/35 18959
/proc/meminfo: memFree=703680/1048576 swapFree=0/0
[pid=18958] ppid=18957 vsize=2572 CPUtime=0
/proc/18958/stat : 18958 (gj-user-solver-) R 18957 18958 17511 34816 17511 4202496 356 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 270 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/18958/statm: 643 270 228 194 0 30 0
[pid=18959] ppid=18958 vsize=2572 CPUtime=0
/proc/18959/stat : 18959 (gj-user-solver-) R 18958 18958 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 42 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/18959/statm: 643 42 0 194 0 30 0

[startup+0.135231 s]
/proc/loadavg: 1.07 1.12 0.94 5/35 18959
/proc/meminfo: memFree=703680/1048576 swapFree=0/0
[pid=18958] ppid=18957 vsize=2572 CPUtime=0
/proc/18958/stat : 18958 (gj-user-solver-) S 18957 18958 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 271 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18958/statm: 643 271 229 194 0 30 0
[pid=18959] ppid=18958 vsize=409916 CPUtime=0.14
/proc/18959/stat : 18959 (java) S 18958 18958 17511 34816 17511 4202496 3899 0 1 0 12 2 0 0 25 0 9 0 46037598 419753984 3327 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18959/statm: 102479 3327 1905 10 0 96627 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 412488

[startup+0.205236 s]
/proc/loadavg: 1.07 1.12 0.94 5/35 18959
/proc/meminfo: memFree=703680/1048576 swapFree=0/0
[pid=18958] ppid=18957 vsize=2572 CPUtime=0
/proc/18958/stat : 18958 (gj-user-solver-) S 18957 18958 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 271 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18958/statm: 643 271 229 194 0 30 0
[pid=18959] ppid=18958 vsize=409916 CPUtime=0.21
/proc/18959/stat : 18959 (java) S 18958 18958 17511 34816 17511 4202496 4051 0 1 0 19 2 0 0 25 0 9 0 46037598 419753984 3479 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18959/statm: 102479 3479 1905 10 0 96627 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412488

[startup+0.305257 s]
/proc/loadavg: 1.07 1.12 0.94 5/35 18959
/proc/meminfo: memFree=703680/1048576 swapFree=0/0
[pid=18958] ppid=18957 vsize=2572 CPUtime=0
/proc/18958/stat : 18958 (gj-user-solver-) S 18957 18958 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 271 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18958/statm: 643 271 229 194 0 30 0
[pid=18959] ppid=18958 vsize=410472 CPUtime=0.31
/proc/18959/stat : 18959 (java) S 18958 18958 17511 34816 17511 4202496 4420 0 1 0 29 2 0 0 25 0 9 0 46037598 420323328 3848 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18959/statm: 102618 3848 1933 10 0 96766 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 413044

[startup+0.705357 s]
/proc/loadavg: 1.07 1.12 0.94 5/35 18959
/proc/meminfo: memFree=703680/1048576 swapFree=0/0
[pid=18958] ppid=18957 vsize=2572 CPUtime=0
/proc/18958/stat : 18958 (gj-user-solver-) S 18957 18958 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 271 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18958/statm: 643 271 229 194 0 30 0
[pid=18959] ppid=18958 vsize=410612 CPUtime=0.7
/proc/18959/stat : 18959 (java) S 18958 18958 17511 34816 17511 4202496 12085 0 1 0 62 8 0 0 25 0 9 0 46037598 420466688 11325 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18959/statm: 102653 11325 2901 10 0 96801 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413184

[startup+1.50554 s]
/proc/loadavg: 1.07 1.12 0.94 2/44 18968
/proc/meminfo: memFree=644884/1048576 swapFree=0/0
[pid=18958] ppid=18957 vsize=2572 CPUtime=0
/proc/18958/stat : 18958 (gj-user-solver-) S 18957 18958 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 271 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18958/statm: 643 271 229 194 0 30 0
[pid=18959] ppid=18958 vsize=410744 CPUtime=1.51
/proc/18959/stat : 18959 (java) S 18958 18958 17511 34816 17511 4202496 26697 0 1 0 138 13 0 0 25 0 9 0 46037598 420601856 25937 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18959/statm: 102686 25937 2901 10 0 96834 0
[pid=18959/tid=18961] ppid=18958 vsize=410744 CPUtime=0.8
/proc/18959/task/18961/stat : 18961 (java) R 18958 18958 17511 34816 17511 4202560 6756 0 1 0 78 2 0 0 25 0 9 0 46037599 420601856 25937 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18959/tid=18962] ppid=18958 vsize=410744 CPUtime=0.63
/proc/18959/task/18962/stat : 18962 (java) R 18958 18958 17511 34816 17511 4202560 18552 0 0 0 55 8 0 0 18 0 9 0 46037600 420601856 25937 1283457024 134512640 134550932 4286839184 18446744073709551615 4150680517 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=18959/tid=18963] ppid=18958 vsize=410744 CPUtime=0
/proc/18959/task/18963/stat : 18963 (java) S 18958 18958 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 46037600 420601856 25937 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18964] ppid=18958 vsize=410744 CPUtime=0
/proc/18959/task/18964/stat : 18964 (java) S 18958 18958 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 46037600 420601856 25937 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18965] ppid=18958 vsize=410744 CPUtime=0
/proc/18959/task/18965/stat : 18965 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46037601 420601856 25937 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18966] ppid=18958 vsize=410744 CPUtime=0.03
/proc/18959/task/18966/stat : 18966 (java) S 18958 18958 17511 34816 17511 4202560 448 0 0 0 3 0 0 0 16 0 9 0 46037601 420601856 25937 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18967] ppid=18958 vsize=410744 CPUtime=0
/proc/18959/task/18967/stat : 18967 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46037601 420601856 25937 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18968] ppid=18958 vsize=410744 CPUtime=0
/proc/18959/task/18968/stat : 18968 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 46037601 420601856 25937 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 413316

[startup+3.11581 s]
/proc/loadavg: 1.07 1.12 0.94 2/44 18968
/proc/meminfo: memFree=572344/1048576 swapFree=0/0
[pid=18958] ppid=18957 vsize=2572 CPUtime=0
/proc/18958/stat : 18958 (gj-user-solver-) S 18957 18958 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 271 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18958/statm: 643 271 229 194 0 30 0
[pid=18959] ppid=18958 vsize=410876 CPUtime=3.12
/proc/18959/stat : 18959 (java) S 18958 18958 17511 34816 17511 4202496 49187 0 1 0 288 24 0 0 25 0 9 0 46037598 420737024 48427 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18959/statm: 102719 48427 2901 10 0 96867 0
[pid=18959/tid=18961] ppid=18958 vsize=410876 CPUtime=1.43
/proc/18959/task/18961/stat : 18961 (java) R 18958 18958 17511 34816 17511 4202560 13940 0 1 0 136 7 0 0 25 0 9 0 46037599 420737024 48427 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18959/tid=18962] ppid=18958 vsize=410876 CPUtime=1.61
/proc/18959/task/18962/stat : 18962 (java) R 18958 18958 17511 34816 17511 4202560 33853 0 0 0 147 14 0 0 15 0 9 0 46037600 420737024 48427 1283457024 134512640 134550932 4286839184 18446744073709551615 4150680880 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=18959/tid=18963] ppid=18958 vsize=410876 CPUtime=0
/proc/18959/task/18963/stat : 18963 (java) S 18958 18958 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 46037600 420737024 48427 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18964] ppid=18958 vsize=410876 CPUtime=0
/proc/18959/task/18964/stat : 18964 (java) S 18958 18958 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 46037600 420737024 48427 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18965] ppid=18958 vsize=410876 CPUtime=0
/proc/18959/task/18965/stat : 18965 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46037601 420737024 48427 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18966] ppid=18958 vsize=410876 CPUtime=0.03
/proc/18959/task/18966/stat : 18966 (java) S 18958 18958 17511 34816 17511 4202560 453 0 0 0 3 0 0 0 16 0 9 0 46037601 420737024 48427 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18967] ppid=18958 vsize=410876 CPUtime=0
/proc/18959/task/18967/stat : 18967 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46037601 420737024 48427 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18968] ppid=18958 vsize=410876 CPUtime=0
/proc/18959/task/18968/stat : 18968 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 46037601 420737024 48427 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 413448

[startup+6.30642 s]
/proc/loadavg: 1.07 1.12 0.94 3/44 18968
/proc/meminfo: memFree=435580/1048576 swapFree=0/0
[pid=18958] ppid=18957 vsize=2572 CPUtime=0
/proc/18958/stat : 18958 (gj-user-solver-) S 18957 18958 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 271 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18958/statm: 643 271 229 194 0 30 0
[pid=18959] ppid=18958 vsize=438860 CPUtime=6.31
/proc/18959/stat : 18959 (java) S 18958 18958 17511 34816 17511 4202496 77989 0 1 0 596 35 0 0 25 0 9 0 46037598 449392640 77223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18959/statm: 109715 77223 2903 10 0 103863 0
[pid=18959/tid=18961] ppid=18958 vsize=438860 CPUtime=2.31
/proc/18959/task/18961/stat : 18961 (java) R 18958 18958 17511 34816 17511 4202560 13957 0 1 0 221 10 0 0 25 0 9 0 46037599 449392640 77223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18959/tid=18962] ppid=18958 vsize=438860 CPUtime=3.91
/proc/18959/task/18962/stat : 18962 (java) R 18958 18958 17511 34816 17511 4202560 62618 0 0 0 369 22 0 0 16 0 9 0 46037600 449392640 77223 1283457024 134512640 134550932 4286839184 18446744073709551615 4152793691 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=18959/tid=18963] ppid=18958 vsize=438860 CPUtime=0
/proc/18959/task/18963/stat : 18963 (java) S 18958 18958 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 46037600 449392640 77223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18964] ppid=18958 vsize=438860 CPUtime=0
/proc/18959/task/18964/stat : 18964 (java) S 18958 18958 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 46037600 449392640 77223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18965] ppid=18958 vsize=438860 CPUtime=0
/proc/18959/task/18965/stat : 18965 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46037601 449392640 77223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18966] ppid=18958 vsize=438860 CPUtime=0.05
/proc/18959/task/18966/stat : 18966 (java) S 18958 18958 17511 34816 17511 4202560 473 0 0 0 5 0 0 0 16 0 9 0 46037601 449392640 77223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18967] ppid=18958 vsize=438860 CPUtime=0
/proc/18959/task/18967/stat : 18967 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46037601 449392640 77223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18968] ppid=18958 vsize=438860 CPUtime=0
/proc/18959/task/18968/stat : 18968 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 46037601 449392640 77223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 441432

[startup+12.7081 s]
/proc/loadavg: 1.14 1.13 0.95 2/45 18969
/proc/meminfo: memFree=429124/1048576 swapFree=0/0
[pid=18958] ppid=18957 vsize=2572 CPUtime=0
/proc/18958/stat : 18958 (gj-user-solver-) S 18957 18958 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 271 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18958/statm: 643 271 229 194 0 30 0
[pid=18959] ppid=18958 vsize=414284 CPUtime=12.7
/proc/18959/stat : 18959 (java) S 18958 18958 17511 34816 17511 4202496 97528 0 1 0 1223 47 0 0 25 0 10 0 46037598 424226816 71223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18959/statm: 103571 71223 2917 10 0 97716 0
[pid=18959/tid=18961] ppid=18958 vsize=414284 CPUtime=4.44
/proc/18959/task/18961/stat : 18961 (java) R 18958 18958 17511 34816 17511 4202560 14207 0 1 0 433 11 0 0 25 0 10 0 46037599 424226816 71223 1283457024 134512640 134550932 4286839184 18446744073709551615 4115251700 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18959/tid=18962] ppid=18958 vsize=414284 CPUtime=8.13
/proc/18959/task/18962/stat : 18962 (java) S 18958 18958 17511 34816 17511 4202560 81856 0 0 0 779 34 0 0 16 0 10 0 46037600 424226816 71223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18963] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18963/stat : 18963 (java) S 18958 18958 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46037600 424226816 71223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18964] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18964/stat : 18964 (java) S 18958 18958 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46037600 424226816 71223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18965] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18965/stat : 18965 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46037601 424226816 71223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18966] ppid=18958 vsize=414284 CPUtime=0.1
/proc/18959/task/18966/stat : 18966 (java) S 18958 18958 17511 34816 17511 4202560 520 0 0 0 10 0 0 0 15 0 10 0 46037601 424226816 71223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18967] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18967/stat : 18967 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46037601 424226816 71223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18968] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18968/stat : 18968 (java) R 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46037601 424226816 71223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18959/tid=18969] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18969/stat : 18969 (java) S 18958 18958 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46038739 424226816 71223 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 416856

[startup+25.5112 s]
/proc/loadavg: 1.11 1.13 0.95 2/45 18969
/proc/meminfo: memFree=429124/1048576 swapFree=0/0
[pid=18958] ppid=18957 vsize=2572 CPUtime=0
/proc/18958/stat : 18958 (gj-user-solver-) S 18957 18958 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 271 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18958/statm: 643 271 229 194 0 30 0
[pid=18959] ppid=18958 vsize=414284 CPUtime=25.49
/proc/18959/stat : 18959 (java) S 18958 18958 17511 34816 17511 4202496 97569 0 1 0 2502 47 0 0 25 0 10 0 46037598 424226816 71264 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18959/statm: 103571 71264 2920 10 0 97716 0
[pid=18959/tid=18961] ppid=18958 vsize=414284 CPUtime=17.08
/proc/18959/task/18961/stat : 18961 (java) R 18958 18958 17511 34816 17511 4202560 14209 0 1 0 1697 11 0 0 25 0 10 0 46037599 424226816 71264 1283457024 134512640 134550932 4286839184 18446744073709551615 4115406985 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18959/tid=18962] ppid=18958 vsize=414284 CPUtime=8.25
/proc/18959/task/18962/stat : 18962 (java) S 18958 18958 17511 34816 17511 4202560 81858 0 0 0 791 34 0 0 15 0 10 0 46037600 424226816 71264 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18963] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18963/stat : 18963 (java) S 18958 18958 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46037600 424226816 71264 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18964] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18964/stat : 18964 (java) S 18958 18958 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46037600 424226816 71264 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18965] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18965/stat : 18965 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46037601 424226816 71264 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18966] ppid=18958 vsize=414284 CPUtime=0.14
/proc/18959/task/18966/stat : 18966 (java) S 18958 18958 17511 34816 17511 4202560 557 0 0 0 14 0 0 0 15 0 10 0 46037601 424226816 71264 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18967] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18967/stat : 18967 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46037601 424226816 71264 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18968] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18968/stat : 18968 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46037601 424226816 71264 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18969] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18969/stat : 18969 (java) S 18958 18958 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46038739 424226816 71264 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 416856

[startup+51.1072 s]
/proc/loadavg: 1.07 1.11 0.95 2/44 18969
/proc/meminfo: memFree=429132/1048576 swapFree=0/0
[pid=18958] ppid=18957 vsize=2572 CPUtime=0
/proc/18958/stat : 18958 (gj-user-solver-) S 18957 18958 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 271 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18958/statm: 643 271 229 194 0 30 0
[pid=18959] ppid=18958 vsize=414284 CPUtime=51.06
/proc/18959/stat : 18959 (java) S 18958 18958 17511 34816 17511 4202496 97572 0 1 0 5059 47 0 0 25 0 10 0 46037598 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18959/statm: 103571 71267 2920 10 0 97716 0
[pid=18959/tid=18961] ppid=18958 vsize=414284 CPUtime=42.34
/proc/18959/task/18961/stat : 18961 (java) R 18958 18958 17511 34816 17511 4202560 14209 0 1 0 4223 11 0 0 25 0 10 0 46037599 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4115406985 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18959/tid=18962] ppid=18958 vsize=414284 CPUtime=8.56
/proc/18959/task/18962/stat : 18962 (java) S 18958 18958 17511 34816 17511 4202560 81858 0 0 0 822 34 0 0 15 0 10 0 46037600 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18963] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18963/stat : 18963 (java) S 18958 18958 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46037600 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18964] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18964/stat : 18964 (java) S 18958 18958 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46037600 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18965] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18965/stat : 18965 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46037601 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18966] ppid=18958 vsize=414284 CPUtime=0.14
/proc/18959/task/18966/stat : 18966 (java) S 18958 18958 17511 34816 17511 4202560 560 0 0 0 14 0 0 0 15 0 10 0 46037601 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18967] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18967/stat : 18967 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46037601 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18968] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18968/stat : 18968 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46037601 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18969] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18969/stat : 18969 (java) S 18958 18958 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46038739 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 416856

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

[startup+51.2072 s]
/proc/loadavg: 1.07 1.11 0.95 2/44 18969
/proc/meminfo: memFree=429132/1048576 swapFree=0/0
[pid=18958] ppid=18957 vsize=2572 CPUtime=0
/proc/18958/stat : 18958 (gj-user-solver-) S 18957 18958 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 271 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18958/statm: 643 271 229 194 0 30 0
[pid=18959] ppid=18958 vsize=414284 CPUtime=51.16
/proc/18959/stat : 18959 (java) S 18958 18958 17511 34816 17511 4202496 97572 0 1 0 5069 47 0 0 25 0 10 0 46037598 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18959/statm: 103571 71267 2920 10 0 97716 0
[pid=18959/tid=18961] ppid=18958 vsize=414284 CPUtime=42.44
/proc/18959/task/18961/stat : 18961 (java) R 18958 18958 17511 34816 17511 4202560 14209 0 1 0 4233 11 0 0 25 0 10 0 46037599 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4115406989 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18959/tid=18962] ppid=18958 vsize=414284 CPUtime=8.56
/proc/18959/task/18962/stat : 18962 (java) S 18958 18958 17511 34816 17511 4202560 81858 0 0 0 822 34 0 0 15 0 10 0 46037600 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18963] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18963/stat : 18963 (java) S 18958 18958 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46037600 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18964] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18964/stat : 18964 (java) S 18958 18958 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46037600 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18965] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18965/stat : 18965 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46037601 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18966] ppid=18958 vsize=414284 CPUtime=0.14
/proc/18959/task/18966/stat : 18966 (java) S 18958 18958 17511 34816 17511 4202560 560 0 0 0 14 0 0 0 15 0 10 0 46037601 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18967] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18967/stat : 18967 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46037601 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18968] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18968/stat : 18968 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46037601 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18969] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18969/stat : 18969 (java) S 18958 18958 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46038739 424226816 71267 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 416856

[startup+54.4078 s]
/proc/loadavg: 1.06 1.11 0.95 2/44 18969
/proc/meminfo: memFree=429132/1048576 swapFree=0/0
[pid=18958] ppid=18957 vsize=2572 CPUtime=0
/proc/18958/stat : 18958 (gj-user-solver-) S 18957 18958 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 271 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18958/statm: 643 271 229 194 0 30 0
[pid=18959] ppid=18958 vsize=414284 CPUtime=54.36
/proc/18959/stat : 18959 (java) S 18958 18958 17511 34816 17511 4202496 97573 0 1 0 5389 47 0 0 25 0 10 0 46037598 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18959/statm: 103571 71268 2920 10 0 97716 0
[pid=18959/tid=18961] ppid=18958 vsize=414284 CPUtime=45.63
/proc/18959/task/18961/stat : 18961 (java) R 18958 18958 17511 34816 17511 4202560 14210 0 1 0 4552 11 0 0 25 0 10 0 46037599 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4115251700 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18959/tid=18962] ppid=18958 vsize=414284 CPUtime=8.56
/proc/18959/task/18962/stat : 18962 (java) S 18958 18958 17511 34816 17511 4202560 81858 0 0 0 822 34 0 0 15 0 10 0 46037600 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18963] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18963/stat : 18963 (java) S 18958 18958 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46037600 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18964] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18964/stat : 18964 (java) S 18958 18958 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46037600 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18965] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18965/stat : 18965 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46037601 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18966] ppid=18958 vsize=414284 CPUtime=0.14
/proc/18959/task/18966/stat : 18966 (java) S 18958 18958 17511 34816 17511 4202560 560 0 0 0 14 0 0 0 15 0 10 0 46037601 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18967] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18967/stat : 18967 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46037601 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18968] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18968/stat : 18968 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46037601 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18969] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18969/stat : 18969 (java) S 18958 18958 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46038739 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 54.36
Current children cumulated vsize (KiB) 416856

[startup+55.2079 s]
/proc/loadavg: 1.06 1.11 0.95 2/44 18969
/proc/meminfo: memFree=429132/1048576 swapFree=0/0
[pid=18958] ppid=18957 vsize=2572 CPUtime=0
/proc/18958/stat : 18958 (gj-user-solver-) S 18957 18958 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 271 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18958/statm: 643 271 229 194 0 30 0
[pid=18959] ppid=18958 vsize=414284 CPUtime=55.16
/proc/18959/stat : 18959 (java) S 18958 18958 17511 34816 17511 4202496 97573 0 1 0 5469 47 0 0 25 0 10 0 46037598 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18959/statm: 103571 71268 2920 10 0 97716 0
[pid=18959/tid=18961] ppid=18958 vsize=414284 CPUtime=46.43
/proc/18959/task/18961/stat : 18961 (java) R 18958 18958 17511 34816 17511 4202560 14210 0 1 0 4632 11 0 0 25 0 10 0 46037599 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4115406972 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18959/tid=18962] ppid=18958 vsize=414284 CPUtime=8.56
/proc/18959/task/18962/stat : 18962 (java) S 18958 18958 17511 34816 17511 4202560 81858 0 0 0 822 34 0 0 15 0 10 0 46037600 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18963] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18963/stat : 18963 (java) S 18958 18958 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46037600 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18964] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18964/stat : 18964 (java) S 18958 18958 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46037600 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18965] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18965/stat : 18965 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46037601 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18966] ppid=18958 vsize=414284 CPUtime=0.14
/proc/18959/task/18966/stat : 18966 (java) S 18958 18958 17511 34816 17511 4202560 560 0 0 0 14 0 0 0 15 0 10 0 46037601 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18967] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18967/stat : 18967 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46037601 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18968] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18968/stat : 18968 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46037601 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18969] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18969/stat : 18969 (java) S 18958 18958 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46038739 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 55.16
Current children cumulated vsize (KiB) 416856

[startup+55.6079 s]
/proc/loadavg: 1.06 1.11 0.95 2/44 18969
/proc/meminfo: memFree=429132/1048576 swapFree=0/0
[pid=18958] ppid=18957 vsize=2572 CPUtime=0
/proc/18958/stat : 18958 (gj-user-solver-) S 18957 18958 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 271 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18958/statm: 643 271 229 194 0 30 0
[pid=18959] ppid=18958 vsize=414284 CPUtime=55.56
/proc/18959/stat : 18959 (java) S 18958 18958 17511 34816 17511 4202496 97573 0 1 0 5509 47 0 0 25 0 10 0 46037598 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18959/statm: 103571 71268 2920 10 0 97716 0
[pid=18959/tid=18961] ppid=18958 vsize=414284 CPUtime=46.83
/proc/18959/task/18961/stat : 18961 (java) R 18958 18958 17511 34816 17511 4202560 14210 0 1 0 4672 11 0 0 25 0 10 0 46037599 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4115416896 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18959/tid=18962] ppid=18958 vsize=414284 CPUtime=8.56
/proc/18959/task/18962/stat : 18962 (java) S 18958 18958 17511 34816 17511 4202560 81858 0 0 0 822 34 0 0 15 0 10 0 46037600 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18963] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18963/stat : 18963 (java) S 18958 18958 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46037600 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18964] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18964/stat : 18964 (java) S 18958 18958 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46037600 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18965] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18965/stat : 18965 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46037601 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18966] ppid=18958 vsize=414284 CPUtime=0.14
/proc/18959/task/18966/stat : 18966 (java) S 18958 18958 17511 34816 17511 4202560 560 0 0 0 14 0 0 0 15 0 10 0 46037601 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18967] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18967/stat : 18967 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46037601 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18968] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18968/stat : 18968 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46037601 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18969] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18969/stat : 18969 (java) S 18958 18958 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46038739 424226816 71268 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 55.56
Current children cumulated vsize (KiB) 416856

[startup+55.8063 s]
/proc/loadavg: 1.06 1.11 0.95 2/44 18969
/proc/meminfo: memFree=429132/1048576 swapFree=0/0
[pid=18958] ppid=18957 vsize=2572 CPUtime=0
/proc/18958/stat : 18958 (gj-user-solver-) S 18957 18958 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46037598 2633728 271 1283457024 134512640 135304128 4288758800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18958/statm: 643 271 229 194 0 30 0
[pid=18959] ppid=18958 vsize=414284 CPUtime=55.74
/proc/18959/stat : 18959 (java) S 18958 18958 17511 34816 17511 4202496 97581 0 1 0 5527 47 0 0 25 0 9 0 46037598 424226816 71276 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18959/statm: 103571 71276 2921 10 0 97716 0
[pid=18959/tid=18961] ppid=18958 vsize=414284 CPUtime=47.01
/proc/18959/task/18961/stat : 18961 (java) S 18958 18958 17511 34816 17511 4202560 14210 0 1 0 4690 11 0 0 25 0 9 0 46037599 424226816 71276 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18962] ppid=18958 vsize=414284 CPUtime=8.56
/proc/18959/task/18962/stat : 18962 (java) S 18958 18958 17511 34816 17511 4202560 81858 0 0 0 822 34 0 0 16 0 9 0 46037600 424226816 71276 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18963] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18963/stat : 18963 (java) S 18958 18958 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 46037600 424226816 71276 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18964] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18964/stat : 18964 (java) S 18958 18958 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 46037600 424226816 71276 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18965] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18965/stat : 18965 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46037601 424226816 71276 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18966] ppid=18958 vsize=414284 CPUtime=0.14
/proc/18959/task/18966/stat : 18966 (java) S 18958 18958 17511 34816 17511 4202560 567 0 0 0 14 0 0 0 16 0 9 0 46037601 424226816 71276 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18967] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18967/stat : 18967 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46037601 424226816 71276 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=18959/tid=18968] ppid=18958 vsize=414284 CPUtime=0
/proc/18959/task/18968/stat : 18968 (java) S 18958 18958 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 46037601 424226816 71276 1283457024 134512640 134550932 4286839184 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 55.74
Current children cumulated vsize (KiB) 416856

Child status: 0
Real time (s): 55.8771
CPU time (s): 55.7755
CPU user time (s): 55.2795
CPU system time (s): 0.496031
CPU usage (%): 99.8182
Max. virtual memory (cumulated for all children) (KiB): 441564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.2795
system time used= 0.496031
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97970
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= 1919
involuntary context switches= 2501

runsolver used 0 second user time and 0 second system time

The end