runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3453905-1307194404/watcher-3453905-1307194404 -o /tmp/evaluation-result-3453905-1307194404/solver-3453905-1307194404 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453905-1307194404.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.67 3.65 3.56 3/348 31324
/proc/meminfo: memFree=23419960/32951124 swapFree=67056304/67111528
[pid=31324] ppid=31322 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/31324/stat : 31324 (java) S 31322 31324 27326 0 -1 4202496 2102 0 1 0 0 0 0 0 25 0 2 0 909671035 10681323520 1805 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/31324/statm: 2607745 1818 906 9 0 2598901 0
[pid=31324/tid=31325] ppid=31322 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31325/stat : 31325 (java) R 31322 31324 27326 0 -1 4202560 1038 0 1 0 0 0 0 0 25 0 2 0 909671036 10681323520 1854 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.091612 s]
/proc/loadavg: 3.67 3.65 3.56 3/348 31324
/proc/meminfo: memFree=23419960/32951124 swapFree=67056304/67111528
[pid=31324] ppid=31322 vsize=10540128 CPUtime=0.09 cores=0,2,4,6
/proc/31324/stat : 31324 (java) S 31322 31324 27326 0 -1 4202496 12855 0 1 0 8 1 0 0 25 0 18 0 909671035 10793091072 12553 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31324/statm: 2635032 12553 2063 9 0 2625766 0
[pid=31324/tid=31325] ppid=31322 vsize=10540128 CPUtime=0.08 cores=0,2,4,6
/proc/31324/task/31325/stat : 31325 (java) R 31322 31324 27326 0 -1 4202560 11005 0 1 0 7 1 0 0 18 0 18 0 909671036 10793091072 12553 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540128
[startup+0.10069 s]
/proc/loadavg: 3.67 3.65 3.56 3/348 31324
/proc/meminfo: memFree=23419960/32951124 swapFree=67056304/67111528
[pid=31324] ppid=31322 vsize=10540128 CPUtime=0.1 cores=0,2,4,6
/proc/31324/stat : 31324 (java) S 31322 31324 27326 0 -1 4202496 13050 0 1 0 9 1 0 0 25 0 18 0 909671035 10793091072 12748 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31324/statm: 2635032 12750 2092 9 0 2625766 0
[pid=31324/tid=31325] ppid=31322 vsize=10540128 CPUtime=0.08 cores=0,2,4,6
/proc/31324/task/31325/stat : 31325 (java) R 31322 31324 27326 0 -1 4202560 11151 0 1 0 7 1 0 0 18 0 18 0 909671036 10793091072 12750 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540128
[startup+0.301184 s]
/proc/loadavg: 3.67 3.65 3.56 3/348 31324
/proc/meminfo: memFree=23419960/32951124 swapFree=67056304/67111528
[pid=31324] ppid=31322 vsize=10542612 CPUtime=0.47 cores=0,2,4,6
/proc/31324/stat : 31324 (java) S 31322 31324 27326 0 -1 4202496 15728 0 1 0 45 2 0 0 25 0 18 0 909671035 10795634688 15208 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31324/statm: 2635653 15209 2207 9 0 2626387 0
[pid=31324/tid=31325] ppid=31322 vsize=10542612 CPUtime=0.28 cores=0,2,4,6
/proc/31324/task/31325/stat : 31325 (java) R 31322 31324 27326 0 -1 4202560 12900 0 1 0 27 1 0 0 18 0 18 0 909671036 10795634688 15209 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 46912505598847 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542612
[startup+0.700501 s]
/proc/loadavg: 3.67 3.65 3.56 3/348 31324
/proc/meminfo: memFree=23419960/32951124 swapFree=67056304/67111528
[pid=31324] ppid=31322 vsize=10554932 CPUtime=1.63 cores=0,2,4,6
/proc/31324/stat : 31324 (java) S 31322 31324 27326 0 -1 4202496 34769 0 1 0 157 6 0 0 25 0 18 0 909671035 10808250368 29456 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31324/statm: 2638733 29459 2226 9 0 2629467 0
[pid=31324/tid=31325] ppid=31322 vsize=10554932 CPUtime=0.68 cores=0,2,4,6
/proc/31324/task/31325/stat : 31325 (java) R 31322 31324 27326 0 -1 4202560 22349 0 1 0 65 3 0 0 18 0 18 0 909671036 10808250368 29461 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10554932
[startup+1.50135 s]
/proc/loadavg: 3.67 3.65 3.56 7/370 31346
/proc/meminfo: memFree=23233112/32951124 swapFree=67056304/67111528
[pid=31324] ppid=31322 vsize=10559044 CPUtime=2.9 cores=0,2,4,6
/proc/31324/stat : 31324 (java) S 31322 31324 27326 0 -1 4202496 57021 0 1 0 282 8 0 0 25 0 22 0 909671035 10812461056 51688 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31324/statm: 2639761 51688 2241 9 0 2630495 0
[pid=31324/tid=31325] ppid=31322 vsize=10559044 CPUtime=0.87 cores=0,2,4,6
/proc/31324/task/31325/stat : 31325 (java) S 31322 31324 27326 0 -1 4202560 38893 0 1 0 82 5 0 0 17 0 22 0 909671036 10812461056 51688 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31327] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31327/stat : 31327 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671037 10812461056 51688 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31328] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31328/stat : 31328 (java) S 31322 31324 27326 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909671037 10812461056 51688 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31329] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31329/stat : 31329 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671037 10812461056 51688 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31330] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31330/stat : 31330 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671037 10812461056 51688 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31331] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31331/stat : 31331 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671037 10812461056 51688 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31332] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31332/stat : 31332 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671037 10812461056 51688 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31333] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31333/stat : 31333 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671037 10812461056 51688 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31334] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31334/stat : 31334 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671037 10812461056 51688 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31335] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31335/stat : 31335 (java) S 31322 31324 27326 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 909671038 10812461056 51688 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 0 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31336] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31336/stat : 31336 (java) S 31322 31324 27326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909671039 10812461056 51688 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31337] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31337/stat : 31337 (java) S 31322 31324 27326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909671039 10812461056 51688 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31338] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31338/stat : 31338 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671041 10812461056 51688 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032219569 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31339] ppid=31322 vsize=10559044 CPUtime=0.7 cores=0,2,4,6
/proc/31324/task/31339/stat : 31339 (java) S 31322 31324 27326 0 -1 4202560 4583 0 0 0 70 0 0 0 17 0 22 0 909671041 10812461056 51688 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31340] ppid=31322 vsize=10559044 CPUtime=0.8 cores=0,2,4,6
/proc/31324/task/31340/stat : 31340 (java) S 31322 31324 27326 0 -1 4202560 6795 0 0 0 79 1 0 0 16 0 22 0 909671041 10812461056 51689 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31341] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31341/stat : 31341 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671041 10812461056 51689 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31342] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31342/stat : 31342 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909671041 10812461056 51689 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31345] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31345/stat : 31345 (java) S 31322 31324 27326 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909671124 10812461056 51689 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 10559044
[startup+3.10107 s]
/proc/loadavg: 3.67 3.65 3.56 5/370 31352
/proc/meminfo: memFree=23198480/32951124 swapFree=67056304/67111528
[pid=31324] ppid=31322 vsize=10559044 CPUtime=5.91 cores=0,2,4,6
/proc/31324/stat : 31324 (java) S 31322 31324 27326 0 -1 4202496 166888 0 1 0 569 22 0 0 25 0 22 0 909671035 10812461056 160475 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31324/statm: 2639761 160479 2244 9 0 2630495 0
[pid=31324/tid=31325] ppid=31322 vsize=10559044 CPUtime=0.89 cores=0,2,4,6
/proc/31324/task/31325/stat : 31325 (java) S 31322 31324 27326 0 -1 4202560 39086 0 1 0 84 5 0 0 15 0 22 0 909671036 10812461056 160480 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31327] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31327/stat : 31327 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671037 10812461056 160487 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31328] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31328/stat : 31328 (java) S 31322 31324 27326 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909671037 10812461056 160492 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31329] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31329/stat : 31329 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671037 10812461056 160492 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31330] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31330/stat : 31330 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671037 10812461056 160496 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31331] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31331/stat : 31331 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671037 10812461056 160502 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31332] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31332/stat : 31332 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671037 10812461056 160506 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31333] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31333/stat : 31333 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671037 10812461056 160506 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31334] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31334/stat : 31334 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671037 10812461056 160512 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31335] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31335/stat : 31335 (java) S 31322 31324 27326 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 909671038 10812461056 160519 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 0 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31336] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31336/stat : 31336 (java) S 31322 31324 27326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909671039 10812461056 160519 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31337] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31337/stat : 31337 (java) S 31322 31324 27326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909671039 10812461056 160522 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31338] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31338/stat : 31338 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671041 10812461056 160528 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032219569 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31339] ppid=31322 vsize=10559044 CPUtime=0.99 cores=0,2,4,6
/proc/31324/task/31339/stat : 31339 (java) S 31322 31324 27326 0 -1 4202560 6057 0 0 0 98 1 0 0 15 0 22 0 909671041 10812461056 160532 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31340] ppid=31322 vsize=10559044 CPUtime=1.03 cores=0,2,4,6
/proc/31324/task/31340/stat : 31340 (java) S 31322 31324 27326 0 -1 4202560 6826 0 0 0 102 1 0 0 15 0 22 0 909671041 10812461056 160532 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31341] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31341/stat : 31341 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671041 10812461056 160538 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31342] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31342/stat : 31342 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909671041 10812461056 160545 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31345] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31345/stat : 31345 (java) S 31322 31324 27326 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909671124 10812461056 160546 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31350] ppid=31322 vsize=10559044 CPUtime=1.16 cores=0,2,4,6
/proc/31324/task/31350/stat : 31350 (java) R 31322 31324 27326 0 -1 4202560 744 0 0 0 116 0 0 0 19 0 22 0 909671227 10812461056 160547 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 46912506165114 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=31324/tid=31351] ppid=31322 vsize=10559044 CPUtime=1.17 cores=0,2,4,6
/proc/31324/task/31351/stat : 31351 (java) R 31322 31324 27326 0 -1 4202560 106290 0 0 0 104 13 0 0 18 0 22 0 909671227 10812461056 160554 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 46912506379261 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31324/tid=31352] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31352/stat : 31352 (java) S 31322 31324 27326 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909671228 10812461056 160559 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 10559044
[startup+6.30148 s]
/proc/loadavg: 3.70 3.66 3.56 5/370 31352
/proc/meminfo: memFree=21896736/32951124 swapFree=67056304/67111528
[pid=31324] ppid=31322 vsize=10559044 CPUtime=12.23 cores=0,2,4,6
/proc/31324/stat : 31324 (java) S 31322 31324 27326 0 -1 4202496 454315 0 1 0 1169 54 0 0 25 0 22 0 909671035 10812461056 447889 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31324/statm: 2639761 447889 2268 9 0 2630495 0
[pid=31324/tid=31325] ppid=31322 vsize=10559044 CPUtime=0.89 cores=0,2,4,6
/proc/31324/task/31325/stat : 31325 (java) S 31322 31324 27326 0 -1 4202560 39086 0 1 0 84 5 0 0 15 0 22 0 909671036 10812461056 447889 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31327] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31327/stat : 31327 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909671037 10812461056 447889 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31328] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31328/stat : 31328 (java) S 31322 31324 27326 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 909671037 10812461056 447889 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31329] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31329/stat : 31329 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909671037 10812461056 447889 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31330] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31330/stat : 31330 (java) S 31322 31324 27326 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 909671037 10812461056 447889 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31331] ppid=31322 vsize=10559044 CPUtime=0.03 cores=0,2,4,6
/proc/31324/task/31331/stat : 31331 (java) S 31322 31324 27326 0 -1 4202560 2978 0 0 0 3 0 0 0 18 0 22 0 909671037 10812461056 447889 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31332] ppid=31322 vsize=10559044 CPUtime=0.03 cores=0,2,4,6
/proc/31324/task/31332/stat : 31332 (java) S 31322 31324 27326 0 -1 4202560 3638 0 0 0 3 0 0 0 18 0 22 0 909671037 10812461056 447889 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31333] ppid=31322 vsize=10559044 CPUtime=0.04 cores=0,2,4,6
/proc/31324/task/31333/stat : 31333 (java) S 31322 31324 27326 0 -1 4202560 2976 0 0 0 4 0 0 0 18 0 22 0 909671037 10812461056 447889 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31334] ppid=31322 vsize=10559044 CPUtime=0.04 cores=0,2,4,6
/proc/31324/task/31334/stat : 31334 (java) S 31322 31324 27326 0 -1 4202560 3423 0 0 0 4 0 0 0 18 0 22 0 909671037 10812461056 447889 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31335] ppid=31322 vsize=10559044 CPUtime=0.23 cores=0,2,4,6
/proc/31324/task/31335/stat : 31335 (java) S 31322 31324 27326 0 -1 4202560 15376 0 0 0 22 1 0 0 15 0 22 0 909671038 10812461056 447889 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 0 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31336] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31336/stat : 31336 (java) S 31322 31324 27326 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909671039 10812461056 447889 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31337] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31337/stat : 31337 (java) S 31322 31324 27326 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909671039 10812461056 447889 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/31324/task/31329/stat : 31329 (java) S 31322 31324 27326 0 -1 4202560 8924 0 0 0 70 1 0 0 15 0 22 0 909671037 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31330] ppid=31322 vsize=10559044 CPUtime=0.9 cores=0,2,4,6
/proc/31324/task/31330/stat : 31330 (java) S 31322 31324 27326 0 -1 4202560 9807 0 0 0 89 1 0 0 15 0 22 0 909671037 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31331] ppid=31322 vsize=10559044 CPUtime=0.9 cores=0,2,4,6
/proc/31324/task/31331/stat : 31331 (java) S 31322 31324 27326 0 -1 4202560 12290 0 0 0 88 2 0 0 16 0 22 0 909671037 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31332] ppid=31322 vsize=10559044 CPUtime=0.91 cores=0,2,4,6
/proc/31324/task/31332/stat : 31332 (java) S 31322 31324 27326 0 -1 4202560 10948 0 0 0 89 2 0 0 16 0 22 0 909671037 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31333] ppid=31322 vsize=10559044 CPUtime=1.04 cores=0,2,4,6
/proc/31324/task/31333/stat : 31333 (java) S 31322 31324 27326 0 -1 4202560 15457 0 0 0 102 2 0 0 16 0 22 0 909671037 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31334] ppid=31322 vsize=10559044 CPUtime=0.95 cores=0,2,4,6
/proc/31324/task/31334/stat : 31334 (java) S 31322 31324 27326 0 -1 4202560 13132 0 0 0 94 1 0 0 16 0 22 0 909671037 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31335] ppid=31322 vsize=10559044 CPUtime=36.39 cores=0,2,4,6
/proc/31324/task/31335/stat : 31335 (java) S 31322 31324 27326 0 -1 4202560 53611 0 0 0 3632 7 0 0 15 0 22 0 909671038 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 0 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31336] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31336/stat : 31336 (java) S 31322 31324 27326 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909671039 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31337] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31337/stat : 31337 (java) S 31322 31324 27326 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 909671039 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31338] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31338/stat : 31338 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671041 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032219569 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31339] ppid=31322 vsize=10559044 CPUtime=1.18 cores=0,2,4,6
/proc/31324/task/31339/stat : 31339 (java) S 31322 31324 27326 0 -1 4202560 6664 0 0 0 117 1 0 0 15 0 22 0 909671041 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31340] ppid=31322 vsize=10559044 CPUtime=1.42 cores=0,2,4,6
/proc/31324/task/31340/stat : 31340 (java) S 31322 31324 27326 0 -1 4202560 6877 0 0 0 141 1 0 0 15 0 22 0 909671041 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31341] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31341/stat : 31341 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671041 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31342] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31342/stat : 31342 (java) S 31322 31324 27326 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 909671041 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31358] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31358/stat : 31358 (java) S 31322 31324 27326 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 909680234 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31401] ppid=31322 vsize=10559044 CPUtime=251.98 cores=0,2,4,6
/proc/31324/task/31401/stat : 31401 (java) R 31322 31324 27326 0 -1 4202560 6 0 0 0 25198 0 0 0 25 0 22 0 909726359 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 46912506173517 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31324/tid=31402] ppid=31322 vsize=10559044 CPUtime=251.98 cores=0,2,4,6
/proc/31324/task/31402/stat : 31402 (java) R 31322 31324 27326 0 -1 4202560 5 0 0 0 25198 0 0 0 25 0 22 0 909726359 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 46912506379519 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31324/tid=31403] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31403/stat : 31403 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909726359 10812461056 981630 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1609.11
Current children cumulated vsize (KiB) 10559044
[startup+882.301 s]
/proc/loadavg: 2.06 2.24 2.82 3/343 31412
/proc/meminfo: memFree=20203488/32951124 swapFree=67056304/67111528
[pid=31324] ppid=31322 vsize=10559044 CPUtime=1726.71 cores=0,2,4,6
/proc/31324/stat : 31324 (java) S 31322 31324 27326 0 -1 4202496 992238 0 1 0 172551 120 0 0 25 0 22 0 909671035 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31324/statm: 2639761 981658 2270 9 0 2630495 0
[pid=31324/tid=31325] ppid=31322 vsize=10559044 CPUtime=0.95 cores=0,2,4,6
/proc/31324/task/31325/stat : 31325 (java) S 31322 31324 27326 0 -1 4202560 39130 0 1 0 89 6 0 0 15 0 22 0 909671036 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31327] ppid=31322 vsize=10559044 CPUtime=0.98 cores=0,2,4,6
/proc/31324/task/31327/stat : 31327 (java) S 31322 31324 27326 0 -1 4202560 11614 0 0 0 96 2 0 0 16 0 22 0 909671037 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31328] ppid=31322 vsize=10559044 CPUtime=1.06 cores=0,2,4,6
/proc/31324/task/31328/stat : 31328 (java) S 31322 31324 27326 0 -1 4202560 12230 0 0 0 104 2 0 0 16 0 22 0 909671037 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31329] ppid=31322 vsize=10559044 CPUtime=0.76 cores=0,2,4,6
/proc/31324/task/31329/stat : 31329 (java) S 31322 31324 27326 0 -1 4202560 8924 0 0 0 75 1 0 0 16 0 22 0 909671037 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31330] ppid=31322 vsize=10559044 CPUtime=0.93 cores=0,2,4,6
/proc/31324/task/31330/stat : 31330 (java) S 31322 31324 27326 0 -1 4202560 9811 0 0 0 92 1 0 0 15 0 22 0 909671037 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31331] ppid=31322 vsize=10559044 CPUtime=0.95 cores=0,2,4,6
/proc/31324/task/31331/stat : 31331 (java) S 31322 31324 27326 0 -1 4202560 12300 0 0 0 93 2 0 0 15 0 22 0 909671037 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31332] ppid=31322 vsize=10559044 CPUtime=0.96 cores=0,2,4,6
/proc/31324/task/31332/stat : 31332 (java) S 31322 31324 27326 0 -1 4202560 10960 0 0 0 94 2 0 0 16 0 22 0 909671037 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31333] ppid=31322 vsize=10559044 CPUtime=1.04 cores=0,2,4,6
/proc/31324/task/31333/stat : 31333 (java) S 31322 31324 27326 0 -1 4202560 15457 0 0 0 102 2 0 0 15 0 22 0 909671037 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31334] ppid=31322 vsize=10559044 CPUtime=0.97 cores=0,2,4,6
/proc/31324/task/31334/stat : 31334 (java) S 31322 31324 27326 0 -1 4202560 13132 0 0 0 96 1 0 0 15 0 22 0 909671037 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31335] ppid=31322 vsize=10559044 CPUtime=38.86 cores=0,2,4,6
/proc/31324/task/31335/stat : 31335 (java) S 31322 31324 27326 0 -1 4202560 53615 0 0 0 3879 7 0 0 15 0 22 0 909671038 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 0 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31336] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31336/stat : 31336 (java) S 31322 31324 27326 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909671039 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31337] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31337/stat : 31337 (java) S 31322 31324 27326 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 909671039 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31338] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31338/stat : 31338 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671041 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032219569 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31339] ppid=31322 vsize=10559044 CPUtime=1.18 cores=0,2,4,6
/proc/31324/task/31339/stat : 31339 (java) S 31322 31324 27326 0 -1 4202560 6664 0 0 0 117 1 0 0 15 0 22 0 909671041 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31340] ppid=31322 vsize=10559044 CPUtime=1.42 cores=0,2,4,6
/proc/31324/task/31340/stat : 31340 (java) S 31322 31324 27326 0 -1 4202560 6877 0 0 0 141 1 0 0 15 0 22 0 909671041 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31341] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31341/stat : 31341 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671041 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31342] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31342/stat : 31342 (java) S 31322 31324 27326 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 909671041 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31358] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31358/stat : 31358 (java) S 31322 31324 27326 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 909680234 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31401] ppid=31322 vsize=10559044 CPUtime=309.42 cores=0,2,4,6
/proc/31324/task/31401/stat : 31401 (java) R 31322 31324 27326 0 -1 4202560 6 0 0 0 30942 0 0 0 25 0 22 0 909726359 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 46912505910703 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31324/tid=31402] ppid=31322 vsize=10559044 CPUtime=309.43 cores=0,2,4,6
/proc/31324/task/31402/stat : 31402 (java) R 31322 31324 27326 0 -1 4202560 5 0 0 0 30943 0 0 0 25 0 22 0 909726359 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 46912506075521 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31324/tid=31403] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31403/stat : 31403 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909726359 10812461056 981658 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1726.71
Current children cumulated vsize (KiB) 10559044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+919.701 s]
/proc/loadavg: 2.03 2.20 2.79 3/343 31413
/proc/meminfo: memFree=20203356/32951124 swapFree=67056304/67111528
[pid=31324] ppid=31322 vsize=10559044 CPUtime=1800.15 cores=0,2,4,6
/proc/31324/stat : 31324 (java) S 31322 31324 27326 0 -1 4202496 992248 0 1 0 179895 120 0 0 25 0 22 0 909671035 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31324/statm: 2639761 981662 2270 9 0 2630495 0
[pid=31324/tid=31325] ppid=31322 vsize=10559044 CPUtime=0.95 cores=0,2,4,6
/proc/31324/task/31325/stat : 31325 (java) S 31322 31324 27326 0 -1 4202560 39132 0 1 0 89 6 0 0 15 0 22 0 909671036 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31327] ppid=31322 vsize=10559044 CPUtime=1.01 cores=0,2,4,6
/proc/31324/task/31327/stat : 31327 (java) S 31322 31324 27326 0 -1 4202560 11616 0 0 0 99 2 0 0 15 0 22 0 909671037 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31328] ppid=31322 vsize=10559044 CPUtime=1.08 cores=0,2,4,6
/proc/31324/task/31328/stat : 31328 (java) S 31322 31324 27326 0 -1 4202560 12230 0 0 0 106 2 0 0 15 0 22 0 909671037 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31329] ppid=31322 vsize=10559044 CPUtime=0.78 cores=0,2,4,6
/proc/31324/task/31329/stat : 31329 (java) S 31322 31324 27326 0 -1 4202560 8924 0 0 0 77 1 0 0 16 0 22 0 909671037 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31330] ppid=31322 vsize=10559044 CPUtime=0.93 cores=0,2,4,6
/proc/31324/task/31330/stat : 31330 (java) S 31322 31324 27326 0 -1 4202560 9811 0 0 0 92 1 0 0 16 0 22 0 909671037 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31331] ppid=31322 vsize=10559044 CPUtime=0.98 cores=0,2,4,6
/proc/31324/task/31331/stat : 31331 (java) S 31322 31324 27326 0 -1 4202560 12300 0 0 0 96 2 0 0 16 0 22 0 909671037 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31332] ppid=31322 vsize=10559044 CPUtime=0.99 cores=0,2,4,6
/proc/31324/task/31332/stat : 31332 (java) S 31322 31324 27326 0 -1 4202560 10960 0 0 0 97 2 0 0 16 0 22 0 909671037 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31333] ppid=31322 vsize=10559044 CPUtime=1.07 cores=0,2,4,6
/proc/31324/task/31333/stat : 31333 (java) S 31322 31324 27326 0 -1 4202560 15459 0 0 0 105 2 0 0 15 0 22 0 909671037 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 6 0 0 0
[pid=31324/tid=31334] ppid=31322 vsize=10559044 CPUtime=0.97 cores=0,2,4,6
/proc/31324/task/31334/stat : 31334 (java) S 31322 31324 27326 0 -1 4202560 13132 0 0 0 96 1 0 0 15 0 22 0 909671037 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31335] ppid=31322 vsize=10559044 CPUtime=40.3 cores=0,2,4,6
/proc/31324/task/31335/stat : 31335 (java) S 31322 31324 27326 0 -1 4202560 53617 0 0 0 4023 7 0 0 15 0 22 0 909671038 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 0 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31336] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31336/stat : 31336 (java) S 31322 31324 27326 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909671039 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31337] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31337/stat : 31337 (java) S 31322 31324 27326 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 909671039 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31338] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31338/stat : 31338 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671041 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032219569 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31339] ppid=31322 vsize=10559044 CPUtime=1.18 cores=0,2,4,6
/proc/31324/task/31339/stat : 31339 (java) S 31322 31324 27326 0 -1 4202560 6664 0 0 0 117 1 0 0 15 0 22 0 909671041 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 0 0 0 0
[pid=31324/tid=31340] ppid=31322 vsize=10559044 CPUtime=1.42 cores=0,2,4,6
/proc/31324/task/31340/stat : 31340 (java) S 31322 31324 27326 0 -1 4202560 6877 0 0 0 141 1 0 0 15 0 22 0 909671041 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31341] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31341/stat : 31341 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671041 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032211865 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
[pid=31324/tid=31342] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31342/stat : 31342 (java) S 31322 31324 27326 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909671041 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31358] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31358/stat : 31358 (java) S 31322 31324 27326 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 909680234 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 2 0 0 0
[pid=31324/tid=31401] ppid=31322 vsize=10559044 CPUtime=345.34 cores=0,2,4,6
/proc/31324/task/31401/stat : 31401 (java) R 31322 31324 27326 0 -1 4202560 6 0 0 0 34534 0 0 0 25 0 22 0 909726359 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 46912506153088 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31324/tid=31402] ppid=31322 vsize=10559044 CPUtime=345.35 cores=0,2,4,6
/proc/31324/task/31402/stat : 31402 (java) R 31322 31324 27326 0 -1 4202560 5 0 0 0 34535 0 0 0 25 0 22 0 909726359 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 46912506075532 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31324/tid=31403] ppid=31322 vsize=10559044 CPUtime=0 cores=0,2,4,6
/proc/31324/task/31403/stat : 31403 (java) S 31322 31324 27326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909726359 10812461056 981662 33554432000 1073741824 1073778376 140736958497712 18446744073709551615 260032212480 0 4 0 16800975 18446604448048867456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 10559044
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+919.819 s]
/proc/loadavg: 2.03 2.20 2.79 3/343 31413
/proc/meminfo: memFree=20203356/32951124 swapFree=67056304/67111528
[pid=31324] ppid=31322 vsize=0 CPUtime=1800.32 cores=0,2,4,6
/proc/31324/stat : 31324 (java) Z 31322 31324 27326 0 -1 4203548 992279 0 1 0 179905 127 0 0 17 0 2 0 909671035 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31324/statm: 0 0 0 0 0 0 0
[pid=31324/tid=31339] ppid=31322 vsize=0 CPUtime=1.26 cores=0,2,4,6
/proc/31324/task/31339/stat : 31339 (java) R 31322 31324 27326 0 -1 4203588 6666 0 0 0 118 8 0 0 16 0 2 0 909671041 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0
[startup+919.901 s]
/proc/loadavg: 2.03 2.20 2.79 3/343 31413
/proc/meminfo: memFree=20203356/32951124 swapFree=67056304/67111528
[pid=31324] ppid=31322 vsize=0 CPUtime=1800.4 cores=0,2,4,6
/proc/31324/stat : 31324 (java) Z 31322 31324 27326 0 -1 4203548 992279 0 1 0 179905 135 0 0 17 0 2 0 909671035 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31324/statm: 0 0 0 0 0 0 0
[pid=31324/tid=31339] ppid=31322 vsize=0 CPUtime=1.34 cores=0,2,4,6
/proc/31324/task/31339/stat : 31339 (java) R 31322 31324 27326 0 -1 4203588 6666 0 0 0 118 16 0 0 16 0 2 0 909671041 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 919.922
CPU time (s): 1800.43
CPU user time (s): 1799.05
CPU system time (s): 1.37779
CPU usage (%): 195.715
Max. virtual memory (cumulated for all children) (KiB): 10559044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.37779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 992279
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= 25112
involuntary context switches= 18759
runsolver used 3.3215 second user time and 6.74198 second system time
The end