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/ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf /home/misc2010/tmp/201108291842/gj-user-solver-1.0/ff4a1d84-d490-11df-9e6c-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.25 1.20 1.14 5/34 32263
/proc/meminfo: memFree=492136/1048576 swapFree=0/0
[pid=32262] ppid=32261 vsize=2568 CPUtime=0
/proc/32262/stat : 32262 (gj-user-solver-) R 32261 32262 17511 34816 17511 4202496 355 0 0 0 0 0 0 0 25 0 1 0 46684623 2629632 269 1283457024 134512640 135304128 4288754640 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/32262/statm: 642 269 228 194 0 29 0
[pid=32263] ppid=32262 vsize=2568 CPUtime=0
/proc/32263/stat : 32263 (gj-user-solver-) R 32262 32262 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46684623 2629632 41 1283457024 134512640 135304128 4288754640 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/32263/statm: 642 41 0 194 0 29 0

[startup+0.184969 s]
/proc/loadavg: 1.25 1.20 1.14 5/34 32263
/proc/meminfo: memFree=492136/1048576 swapFree=0/0
[pid=32262] ppid=32261 vsize=2568 CPUtime=0
/proc/32262/stat : 32262 (gj-user-solver-) S 32261 32262 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46684623 2629632 270 1283457024 134512640 135304128 4288754640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32262/statm: 642 270 229 194 0 29 0
[pid=32263] ppid=32262 vsize=409920 CPUtime=0.18
/proc/32263/stat : 32263 (java) S 32262 32262 17511 34816 17511 4202496 4020 0 1 0 17 1 0 0 25 0 9 0 46684623 419758080 3447 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32263/statm: 102480 3447 1917 10 0 96628 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 412488

[startup+0.204963 s]
/proc/loadavg: 1.25 1.20 1.14 5/34 32263
/proc/meminfo: memFree=492136/1048576 swapFree=0/0
[pid=32262] ppid=32261 vsize=2568 CPUtime=0
/proc/32262/stat : 32262 (gj-user-solver-) S 32261 32262 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46684623 2629632 270 1283457024 134512640 135304128 4288754640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32262/statm: 642 270 229 194 0 29 0
[pid=32263] ppid=32262 vsize=409920 CPUtime=0.2
/proc/32263/stat : 32263 (java) S 32262 32262 17511 34816 17511 4202496 4062 0 1 0 19 1 0 0 25 0 9 0 46684623 419758080 3489 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32263/statm: 102480 3489 1917 10 0 96628 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412488

[startup+0.305001 s]
/proc/loadavg: 1.25 1.20 1.14 5/34 32263
/proc/meminfo: memFree=492136/1048576 swapFree=0/0
[pid=32262] ppid=32261 vsize=2568 CPUtime=0
/proc/32262/stat : 32262 (gj-user-solver-) S 32261 32262 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46684623 2629632 270 1283457024 134512640 135304128 4288754640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32262/statm: 642 270 229 194 0 29 0
[pid=32263] ppid=32262 vsize=410340 CPUtime=0.3
/proc/32263/stat : 32263 (java) S 32262 32262 17511 34816 17511 4202496 4414 0 1 0 29 1 0 0 25 0 9 0 46684623 420188160 3841 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32263/statm: 102585 3841 1944 10 0 96733 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412908

[startup+0.705086 s]
/proc/loadavg: 1.25 1.20 1.14 5/34 32263
/proc/meminfo: memFree=492136/1048576 swapFree=0/0
[pid=32262] ppid=32261 vsize=2568 CPUtime=0
/proc/32262/stat : 32262 (gj-user-solver-) S 32261 32262 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46684623 2629632 270 1283457024 134512640 135304128 4288754640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32262/statm: 642 270 229 194 0 29 0
[pid=32263] ppid=32262 vsize=410616 CPUtime=0.7
/proc/32263/stat : 32263 (java) S 32262 32262 17511 34816 17511 4202496 12103 0 1 0 66 4 0 0 25 0 9 0 46684623 420470784 11343 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32263/statm: 102654 11343 2901 10 0 96802 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413184

[startup+1.50524 s]
/proc/loadavg: 1.25 1.20 1.14 2/43 32272
/proc/meminfo: memFree=432472/1048576 swapFree=0/0
[pid=32262] ppid=32261 vsize=2568 CPUtime=0
/proc/32262/stat : 32262 (gj-user-solver-) S 32261 32262 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46684623 2629632 270 1283457024 134512640 135304128 4288754640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32262/statm: 642 270 229 194 0 29 0
[pid=32263] ppid=32262 vsize=410748 CPUtime=1.5
/proc/32263/stat : 32263 (java) S 32262 32262 17511 34816 17511 4202496 26193 0 1 0 142 8 0 0 25 0 9 0 46684623 420605952 25433 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32263/statm: 102687 25433 2901 10 0 96835 0
[pid=32263/tid=32265] ppid=32262 vsize=410748 CPUtime=0.83
/proc/32263/task/32265/stat : 32265 (java) R 32262 32262 17511 34816 17511 4202560 6821 0 1 0 82 1 0 0 25 0 9 0 46684624 420605952 25433 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32263/tid=32266] ppid=32262 vsize=410748 CPUtime=0.61
/proc/32263/task/32266/stat : 32266 (java) R 32262 32262 17511 34816 17511 4202560 17985 0 0 0 55 6 0 0 18 0 9 0 46684624 420605952 25433 1283457024 134512640 134550932 4289049472 18446744073709551615 4151735198 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=32263/tid=32267] ppid=32262 vsize=410748 CPUtime=0
/proc/32263/task/32267/stat : 32267 (java) S 32262 32262 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 46684624 420605952 25433 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32268] ppid=32262 vsize=410748 CPUtime=0
/proc/32263/task/32268/stat : 32268 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 46684624 420605952 25433 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32269] ppid=32262 vsize=410748 CPUtime=0
/proc/32263/task/32269/stat : 32269 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46684626 420605952 25433 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32270] ppid=32262 vsize=410748 CPUtime=0.04
/proc/32263/task/32270/stat : 32270 (java) S 32262 32262 17511 34816 17511 4202560 447 0 0 0 4 0 0 0 17 0 9 0 46684626 420605952 25433 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32271] ppid=32262 vsize=410748 CPUtime=0
/proc/32263/task/32271/stat : 32271 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46684626 420605952 25433 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32272] ppid=32262 vsize=410748 CPUtime=0
/proc/32263/task/32272/stat : 32272 (java) S 32262 32262 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 46684626 420605952 25433 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413316

[startup+3.1056 s]
/proc/loadavg: 1.25 1.20 1.14 2/43 32272
/proc/meminfo: memFree=357948/1048576 swapFree=0/0
[pid=32262] ppid=32261 vsize=2568 CPUtime=0
/proc/32262/stat : 32262 (gj-user-solver-) S 32261 32262 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46684623 2629632 270 1283457024 134512640 135304128 4288754640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32262/statm: 642 270 229 194 0 29 0
[pid=32263] ppid=32262 vsize=410880 CPUtime=3.1
/proc/32263/stat : 32263 (java) S 32262 32262 17511 34816 17511 4202496 48460 0 1 0 296 14 0 0 25 0 9 0 46684623 420741120 47700 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32263/statm: 102720 47700 2901 10 0 96868 0
[pid=32263/tid=32265] ppid=32262 vsize=410880 CPUtime=1.48
/proc/32263/task/32265/stat : 32265 (java) R 32262 32262 17511 34816 17511 4202560 13687 0 1 0 145 3 0 0 25 0 9 0 46684624 420741120 47700 1283457024 134512640 134550932 4289049472 18446744073709551615 4115602561 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32263/tid=32266] ppid=32262 vsize=410880 CPUtime=1.55
/proc/32263/task/32266/stat : 32266 (java) S 32262 32262 17511 34816 17511 4202560 33383 0 0 0 145 10 0 0 16 0 9 0 46684624 420741120 47700 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32267] ppid=32262 vsize=410880 CPUtime=0
/proc/32263/task/32267/stat : 32267 (java) S 32262 32262 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 46684624 420741120 47700 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32268] ppid=32262 vsize=410880 CPUtime=0
/proc/32263/task/32268/stat : 32268 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 46684624 420741120 47700 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32269] ppid=32262 vsize=410880 CPUtime=0
/proc/32263/task/32269/stat : 32269 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46684626 420741120 47700 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32270] ppid=32262 vsize=410880 CPUtime=0.05
/proc/32263/task/32270/stat : 32270 (java) S 32262 32262 17511 34816 17511 4202560 450 0 0 0 5 0 0 0 15 0 9 0 46684626 420741120 47700 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32271] ppid=32262 vsize=410880 CPUtime=0
/proc/32263/task/32271/stat : 32271 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46684626 420741120 47700 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32272] ppid=32262 vsize=410880 CPUtime=0
/proc/32263/task/32272/stat : 32272 (java) S 32262 32262 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 46684626 420741120 47700 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413448

[startup+6.30664 s]
/proc/loadavg: 1.23 1.20 1.14 3/44 32273
/proc/meminfo: memFree=223524/1048576 swapFree=0/0
[pid=32262] ppid=32261 vsize=2568 CPUtime=0
/proc/32262/stat : 32262 (gj-user-solver-) S 32261 32262 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46684623 2629632 270 1283457024 134512640 135304128 4288754640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32262/statm: 642 270 229 194 0 29 0
[pid=32263] ppid=32262 vsize=411348 CPUtime=6.29
/proc/32263/stat : 32263 (java) S 32262 32262 17511 34816 17511 4202496 70730 0 1 0 609 20 0 0 25 0 10 0 46684623 421220352 69876 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32263/statm: 102837 69876 2917 10 0 96982 0
[pid=32263/tid=32265] ppid=32262 vsize=411348 CPUtime=3.12
/proc/32263/task/32265/stat : 32265 (java) R 32262 32262 17511 34816 17511 4202560 14539 0 1 0 308 4 0 0 25 0 10 0 46684624 421220352 69876 1283457024 134512640 134550932 4289049472 18446744073709551615 4116014564 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32263/tid=32266] ppid=32262 vsize=411348 CPUtime=3.05
/proc/32263/task/32266/stat : 32266 (java) S 32262 32262 17511 34816 17511 4202560 54728 0 0 0 290 15 0 0 16 0 10 0 46684624 421220352 69876 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32267] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32267/stat : 32267 (java) S 32262 32262 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46684624 421220352 69876 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32268] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32268/stat : 32268 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46684624 421220352 69876 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32269] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32269/stat : 32269 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46684626 421220352 69876 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32270] ppid=32262 vsize=411348 CPUtime=0.11
/proc/32263/task/32270/stat : 32270 (java) S 32262 32262 17511 34816 17511 4202560 518 0 0 0 11 0 0 0 16 0 10 0 46684626 421220352 69876 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32271] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32271/stat : 32271 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46684626 421220352 69876 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32272] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32272/stat : 32272 (java) S 32262 32262 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46684626 421220352 69876 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32273] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32273/stat : 32273 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46685166 421220352 69876 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 413916

[startup+12.7099 s]
/proc/loadavg: 1.21 1.19 1.14 2/44 32273
/proc/meminfo: memFree=223160/1048576 swapFree=0/0
[pid=32262] ppid=32261 vsize=2568 CPUtime=0
/proc/32262/stat : 32262 (gj-user-solver-) S 32261 32262 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46684623 2629632 270 1283457024 134512640 135304128 4288754640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32262/statm: 642 270 229 194 0 29 0
[pid=32263] ppid=32262 vsize=411348 CPUtime=12.69
/proc/32263/stat : 32263 (java) S 32262 32262 17511 34816 17511 4202496 70774 0 1 0 1247 22 0 0 25 0 10 0 46684623 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32263/statm: 102837 69920 2918 10 0 96982 0
[pid=32263/tid=32265] ppid=32262 vsize=411348 CPUtime=9.48
/proc/32263/task/32265/stat : 32265 (java) R 32262 32262 17511 34816 17511 4202560 14547 0 1 0 942 6 0 0 25 0 10 0 46684624 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4116026852 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32263/tid=32266] ppid=32262 vsize=411348 CPUtime=3.05
/proc/32263/task/32266/stat : 32266 (java) S 32262 32262 17511 34816 17511 4202560 54728 0 0 0 290 15 0 0 15 0 10 0 46684624 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32267] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32267/stat : 32267 (java) S 32262 32262 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46684624 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32268] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32268/stat : 32268 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46684624 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32269] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32269/stat : 32269 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46684626 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32270] ppid=32262 vsize=411348 CPUtime=0.14
/proc/32263/task/32270/stat : 32270 (java) S 32262 32262 17511 34816 17511 4202560 554 0 0 0 14 0 0 0 16 0 10 0 46684626 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32271] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32271/stat : 32271 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46684626 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32272] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32272/stat : 32272 (java) S 32262 32262 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46684626 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32273] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32273/stat : 32273 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46685166 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413916

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

[startup+12.8099 s]
/proc/loadavg: 1.21 1.19 1.14 2/44 32273
/proc/meminfo: memFree=223160/1048576 swapFree=0/0
[pid=32262] ppid=32261 vsize=2568 CPUtime=0
/proc/32262/stat : 32262 (gj-user-solver-) S 32261 32262 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46684623 2629632 270 1283457024 134512640 135304128 4288754640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32262/statm: 642 270 229 194 0 29 0
[pid=32263] ppid=32262 vsize=411348 CPUtime=12.79
/proc/32263/stat : 32263 (java) S 32262 32262 17511 34816 17511 4202496 70774 0 1 0 1257 22 0 0 25 0 10 0 46684623 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32263/statm: 102837 69920 2918 10 0 96982 0
[pid=32263/tid=32265] ppid=32262 vsize=411348 CPUtime=9.58
/proc/32263/task/32265/stat : 32265 (java) R 32262 32262 17511 34816 17511 4202560 14547 0 1 0 952 6 0 0 25 0 10 0 46684624 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4116020039 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32263/tid=32266] ppid=32262 vsize=411348 CPUtime=3.05
/proc/32263/task/32266/stat : 32266 (java) S 32262 32262 17511 34816 17511 4202560 54728 0 0 0 290 15 0 0 15 0 10 0 46684624 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32267] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32267/stat : 32267 (java) S 32262 32262 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46684624 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32268] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32268/stat : 32268 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46684624 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32269] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32269/stat : 32269 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46684626 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32270] ppid=32262 vsize=411348 CPUtime=0.14
/proc/32263/task/32270/stat : 32270 (java) S 32262 32262 17511 34816 17511 4202560 554 0 0 0 14 0 0 0 16 0 10 0 46684626 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32271] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32271/stat : 32271 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46684626 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32272] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32272/stat : 32272 (java) S 32262 32262 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46684626 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32273] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32273/stat : 32273 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46685166 421220352 69920 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 413916

[startup+19.2117 s]
/proc/loadavg: 1.25 1.20 1.14 2/44 32273
/proc/meminfo: memFree=223160/1048576 swapFree=0/0
[pid=32262] ppid=32261 vsize=2568 CPUtime=0
/proc/32262/stat : 32262 (gj-user-solver-) S 32261 32262 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46684623 2629632 270 1283457024 134512640 135304128 4288754640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32262/statm: 642 270 229 194 0 29 0
[pid=32263] ppid=32262 vsize=411348 CPUtime=19.18
/proc/32263/stat : 32263 (java) S 32262 32262 17511 34816 17511 4202496 70780 0 1 0 1896 22 0 0 25 0 10 0 46684623 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32263/statm: 102837 69926 2920 10 0 96982 0
[pid=32263/tid=32265] ppid=32262 vsize=411348 CPUtime=15.56
/proc/32263/task/32265/stat : 32265 (java) R 32262 32262 17511 34816 17511 4202560 14547 0 1 0 1550 6 0 0 25 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4116159493 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32263/tid=32266] ppid=32262 vsize=411348 CPUtime=3.45
/proc/32263/task/32266/stat : 32266 (java) S 32262 32262 17511 34816 17511 4202560 54730 0 0 0 330 15 0 0 15 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32267] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32267/stat : 32267 (java) S 32262 32262 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32268] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32268/stat : 32268 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32269] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32269/stat : 32269 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32270] ppid=32262 vsize=411348 CPUtime=0.15
/proc/32263/task/32270/stat : 32270 (java) S 32262 32262 17511 34816 17511 4202560 558 0 0 0 15 0 0 0 15 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32271] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32271/stat : 32271 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32272] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32272/stat : 32272 (java) S 32262 32262 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32273] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32273/stat : 32273 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46685166 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.18
Current children cumulated vsize (KiB) 413916

[startup+22.4025 s]
/proc/loadavg: 1.25 1.20 1.14 2/44 32273
/proc/meminfo: memFree=223160/1048576 swapFree=0/0
[pid=32262] ppid=32261 vsize=2568 CPUtime=0
/proc/32262/stat : 32262 (gj-user-solver-) S 32261 32262 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46684623 2629632 270 1283457024 134512640 135304128 4288754640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32262/statm: 642 270 229 194 0 29 0
[pid=32263] ppid=32262 vsize=411348 CPUtime=22.37
/proc/32263/stat : 32263 (java) S 32262 32262 17511 34816 17511 4202496 70780 0 1 0 2215 22 0 0 25 0 10 0 46684623 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32263/statm: 102837 69926 2920 10 0 96982 0
[pid=32263/tid=32265] ppid=32262 vsize=411348 CPUtime=18.74
/proc/32263/task/32265/stat : 32265 (java) R 32262 32262 17511 34816 17511 4202560 14547 0 1 0 1868 6 0 0 25 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4116014564 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32263/tid=32266] ppid=32262 vsize=411348 CPUtime=3.46
/proc/32263/task/32266/stat : 32266 (java) S 32262 32262 17511 34816 17511 4202560 54730 0 0 0 331 15 0 0 15 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32267] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32267/stat : 32267 (java) S 32262 32262 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32268] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32268/stat : 32268 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32269] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32269/stat : 32269 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32270] ppid=32262 vsize=411348 CPUtime=0.15
/proc/32263/task/32270/stat : 32270 (java) S 32262 32262 17511 34816 17511 4202560 558 0 0 0 15 0 0 0 15 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32271] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32271/stat : 32271 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32272] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32272/stat : 32272 (java) S 32262 32262 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32273] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32273/stat : 32273 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46685166 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.37
Current children cumulated vsize (KiB) 413916

[startup+24.0029 s]
/proc/loadavg: 1.23 1.20 1.14 2/44 32273
/proc/meminfo: memFree=223160/1048576 swapFree=0/0
[pid=32262] ppid=32261 vsize=2568 CPUtime=0
/proc/32262/stat : 32262 (gj-user-solver-) S 32261 32262 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46684623 2629632 270 1283457024 134512640 135304128 4288754640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32262/statm: 642 270 229 194 0 29 0
[pid=32263] ppid=32262 vsize=411348 CPUtime=23.97
/proc/32263/stat : 32263 (java) S 32262 32262 17511 34816 17511 4202496 70780 0 1 0 2375 22 0 0 25 0 10 0 46684623 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32263/statm: 102837 69926 2920 10 0 96982 0
[pid=32263/tid=32265] ppid=32262 vsize=411348 CPUtime=20.34
/proc/32263/task/32265/stat : 32265 (java) R 32262 32262 17511 34816 17511 4202560 14547 0 1 0 2028 6 0 0 25 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4116014365 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32263/tid=32266] ppid=32262 vsize=411348 CPUtime=3.46
/proc/32263/task/32266/stat : 32266 (java) S 32262 32262 17511 34816 17511 4202560 54730 0 0 0 331 15 0 0 15 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32267] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32267/stat : 32267 (java) S 32262 32262 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32268] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32268/stat : 32268 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32269] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32269/stat : 32269 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32270] ppid=32262 vsize=411348 CPUtime=0.15
/proc/32263/task/32270/stat : 32270 (java) S 32262 32262 17511 34816 17511 4202560 558 0 0 0 15 0 0 0 15 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32271] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32271/stat : 32271 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32272] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32272/stat : 32272 (java) S 32262 32262 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32273] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32273/stat : 32273 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46685166 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.97
Current children cumulated vsize (KiB) 413916

[startup+24.8031 s]
/proc/loadavg: 1.23 1.20 1.14 2/44 32273
/proc/meminfo: memFree=223160/1048576 swapFree=0/0
[pid=32262] ppid=32261 vsize=2568 CPUtime=0
/proc/32262/stat : 32262 (gj-user-solver-) S 32261 32262 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46684623 2629632 270 1283457024 134512640 135304128 4288754640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32262/statm: 642 270 229 194 0 29 0
[pid=32263] ppid=32262 vsize=411348 CPUtime=24.77
/proc/32263/stat : 32263 (java) S 32262 32262 17511 34816 17511 4202496 70780 0 1 0 2455 22 0 0 25 0 10 0 46684623 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32263/statm: 102837 69926 2920 10 0 96982 0
[pid=32263/tid=32265] ppid=32262 vsize=411348 CPUtime=21.14
/proc/32263/task/32265/stat : 32265 (java) R 32262 32262 17511 34816 17511 4202560 14547 0 1 0 2108 6 0 0 25 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4116014342 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32263/tid=32266] ppid=32262 vsize=411348 CPUtime=3.46
/proc/32263/task/32266/stat : 32266 (java) S 32262 32262 17511 34816 17511 4202560 54730 0 0 0 331 15 0 0 15 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32267] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32267/stat : 32267 (java) S 32262 32262 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32268] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32268/stat : 32268 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32269] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32269/stat : 32269 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32270] ppid=32262 vsize=411348 CPUtime=0.15
/proc/32263/task/32270/stat : 32270 (java) S 32262 32262 17511 34816 17511 4202560 558 0 0 0 15 0 0 0 15 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32271] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32271/stat : 32271 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32272] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32272/stat : 32272 (java) S 32262 32262 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32273] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32273/stat : 32273 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46685166 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.77
Current children cumulated vsize (KiB) 413916

[startup+25.0032 s]
/proc/loadavg: 1.23 1.20 1.14 2/44 32273
/proc/meminfo: memFree=223160/1048576 swapFree=0/0
[pid=32262] ppid=32261 vsize=2568 CPUtime=0
/proc/32262/stat : 32262 (gj-user-solver-) S 32261 32262 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46684623 2629632 270 1283457024 134512640 135304128 4288754640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32262/statm: 642 270 229 194 0 29 0
[pid=32263] ppid=32262 vsize=411348 CPUtime=24.96
/proc/32263/stat : 32263 (java) S 32262 32262 17511 34816 17511 4202496 70780 0 1 0 2474 22 0 0 25 0 10 0 46684623 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32263/statm: 102837 69926 2920 10 0 96982 0
[pid=32263/tid=32265] ppid=32262 vsize=411348 CPUtime=21.34
/proc/32263/task/32265/stat : 32265 (java) R 32262 32262 17511 34816 17511 4202560 14547 0 1 0 2128 6 0 0 25 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4115177125 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32263/tid=32266] ppid=32262 vsize=411348 CPUtime=3.46
/proc/32263/task/32266/stat : 32266 (java) S 32262 32262 17511 34816 17511 4202560 54730 0 0 0 331 15 0 0 15 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32267] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32267/stat : 32267 (java) S 32262 32262 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32268] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32268/stat : 32268 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46684624 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32269] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32269/stat : 32269 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32270] ppid=32262 vsize=411348 CPUtime=0.15
/proc/32263/task/32270/stat : 32270 (java) S 32262 32262 17511 34816 17511 4202560 558 0 0 0 15 0 0 0 15 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32271] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32271/stat : 32271 (java) S 32262 32262 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32272] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32272/stat : 32272 (java) S 32262 32262 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46684626 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=32263/tid=32273] ppid=32262 vsize=411348 CPUtime=0
/proc/32263/task/32273/stat : 32273 (java) S 32262 32262 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46685166 421220352 69926 1283457024 134512640 134550932 4289049472 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (KiB) 413916

Child status: 0
Real time (s): 25.055
CPU time (s): 25.0056
CPU user time (s): 24.7695
CPU system time (s): 0.236014
CPU usage (%): 99.8025
Max. virtual memory (cumulated for all children) (KiB): 413916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.7695
system time used= 0.236014
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71176
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= 1243
involuntary context switches= 1529

runsolver used 0 second user time and 0 second system time

The end