runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3710164-1338156719/watcher-3710164-1338156719 -o /tmp/evaluation-result-3710164-1338156719/solver-3710164-1338156719 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710164-1338156719.opb
running on 4 cores: 1,3,5,7
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: 2.03 2.00 1.97 3/194 25858
/proc/meminfo: memFree=29342240/32873648 swapFree=7116/7116
[pid=25858] ppid=25856 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25858/stat : 25858 (java) R 25856 25858 21157 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 281799326 9515008 182 33554432000 1073741824 1073778376 140734007196512 140734007187544 219513962165 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25858/statm: 2323 182 140 9 0 71 0
[startup+0.074909 s]
/proc/loadavg: 2.03 2.00 1.97 3/194 25858
/proc/meminfo: memFree=29342240/32873648 swapFree=7116/7116
[pid=25858] ppid=25856 vsize=9558440 CPUtime=0.05 cores=1,3,5,7
/proc/25858/stat : 25858 (java) S 25856 25858 21157 0 -1 4202496 3336 0 1 0 4 1 0 0 20 0 18 0 281799326 9787842560 4545 33554432000 1073741824 1073778376 140734362504192 140734362495328 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25858/statm: 2389610 4548 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558440
[startup+0.100307 s]
/proc/loadavg: 2.03 2.00 1.97 3/194 25858
/proc/meminfo: memFree=29342240/32873648 swapFree=7116/7116
[pid=25858] ppid=25856 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/25858/stat : 25858 (java) S 25856 25858 21157 0 -1 4202496 4287 0 1 0 8 1 0 0 20 0 18 0 281799326 9787842560 6006 33554432000 1073741824 1073778376 140734362504192 140734362495328 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25858/statm: 2389610 6006 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440
[startup+0.300275 s]
/proc/loadavg: 2.03 2.00 1.97 3/194 25858
/proc/meminfo: memFree=29342240/32873648 swapFree=7116/7116
[pid=25858] ppid=25856 vsize=9558440 CPUtime=0.48 cores=1,3,5,7
/proc/25858/stat : 25858 (java) S 25856 25858 21157 0 -1 4202496 5730 0 1 0 47 1 0 0 20 0 18 0 281799326 9787842560 8868 33554432000 1073741824 1073778376 140734362504192 140734362495328 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25858/statm: 2389610 8868 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558440
[startup+0.700302 s]
/proc/loadavg: 2.03 2.00 1.97 3/194 25858
/proc/meminfo: memFree=29342240/32873648 swapFree=7116/7116
[pid=25858] ppid=25856 vsize=9558440 CPUtime=1.1 cores=1,3,5,7
/proc/25858/stat : 25858 (java) S 25856 25858 21157 0 -1 4202496 7951 0 1 0 106 4 0 0 20 0 18 0 281799326 9787842560 41413 33554432000 1073741824 1073778376 140734362504192 140734362495328 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25858/statm: 2389610 41413 2253 9 0 2380296 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 9558440
[startup+1.50074 s]
/proc/loadavg: 2.11 2.02 1.98 3/212 25876
/proc/meminfo: memFree=29184684/32873648 swapFree=7116/7116
[pid=25858] ppid=25856 vsize=9625004 CPUtime=2.4 cores=1,3,5,7
/proc/25858/stat : 25858 (java) S 25856 25858 21157 0 -1 4202496 8900 0 1 0 233 7 0 0 20 0 19 0 281799326 9856004096 47432 33554432000 1073741824 1073778376 140734362504192 140734362495328 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25858/statm: 2406251 47432 2272 9 0 2396937 0
[pid=25858/tid=25860] ppid=25856 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/25858/task/25860/stat : 25860 (java) R 25856 25858 21157 0 -1 4202560 2581 0 1 0 139 4 0 0 20 0 19 0 281799327 9856004096 47432 33554432000 1073741824 1073778376 140734362504192 139787273966024 139787109424712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25861/stat : 25861 (java) S 25856 25858 21157 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281799329 9856004096 47432 33554432000 1073741824 1073778376 140734362504192 139787235457832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/25858/task/25862/stat : 25862 (java) S 25856 25858 21157 0 -1 4202560 73 0 0 0 1 0 0 0 20 0 19 0 281799329 9856004096 47432 33554432000 1073741824 1073778376 140734362504192 139787234405032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25863/stat : 25863 (java) S 25856 25858 21157 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 19 0 281799329 9856004096 47432 33554432000 1073741824 1073778376 140734362504192 139787233352744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/25858/task/25864/stat : 25864 (java) S 25856 25858 21157 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 281799329 9856004096 47432 33554432000 1073741824 1073778376 140734362504192 139787232299944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/25858/task/25865/stat : 25865 (java) S 25856 25858 21157 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 281799329 9856004096 47432 33554432000 1073741824 1073778376 140734362504192 139787231246632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25866/stat : 25866 (java) S 25856 25858 21157 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 19 0 281799329 9856004096 47432 33554432000 1073741824 1073778376 140734362504192 139787230193832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25867] ppid=25856 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/25858/task/25867/stat : 25867 (java) S 25856 25858 21157 0 -1 4202560 77 0 0 0 1 0 0 0 20 0 19 0 281799329 9856004096 47432 33554432000 1073741824 1073778376 140734362504192 139787229141544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25868] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25868/stat : 25868 (java) S 25856 25858 21157 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281799329 9856004096 47432 33554432000 1073741824 1073778376 140734362504192 139787228088744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25869] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25869/stat : 25869 (java) S 25856 25858 21157 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 47432 33554432000 1073741824 1073778376 140734362504192 139787098036968 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25870] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25870/stat : 25870 (java) S 25856 25858 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 47432 33554432000 1073741824 1073778376 140734362504192 139787096983032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25871] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25871/stat : 25871 (java) S 25856 25858 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 47394 33554432000 1073741824 1073778376 140734362504192 139787095930632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25872] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25872/stat : 25872 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 47410 33554432000 1073741824 1073778376 140734362504192 139787094879120 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25873] ppid=25856 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/25858/task/25873/stat : 25873 (java) S 25856 25858 21157 0 -1 4202560 1863 0 0 0 39 0 0 0 20 0 19 0 281799332 9856004096 47416 33554432000 1073741824 1073778376 140734362504192 139787093825720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25874] ppid=25856 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/25858/task/25874/stat : 25874 (java) R 25856 25858 21157 0 -1 4202560 2924 0 0 0 39 0 0 0 20 0 19 0 281799332 9856004096 47432 33554432000 1073741824 1073778376 140734362504192 139786220202040 139787278082512 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25858/tid=25875] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25875/stat : 25875 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 47432 33554432000 1073741824 1073778376 140734362504192 139786219149944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25858/tid=25876] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25876/stat : 25876 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 47432 33554432000 1073741824 1073778376 140734362504192 139786218097352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 9625004
[startup+3.10078 s]
/proc/loadavg: 2.11 2.02 1.98 3/213 25877
/proc/meminfo: memFree=28990864/32873648 swapFree=7116/7116
[pid=25858] ppid=25856 vsize=9625004 CPUtime=4.43 cores=1,3,5,7
/proc/25858/stat : 25858 (java) S 25856 25858 21157 0 -1 4202496 10602 0 1 0 424 19 0 0 20 0 19 0 281799326 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 140734362495328 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25858/statm: 2406251 149620 2274 9 0 2396937 0
[pid=25858/tid=25860] ppid=25856 vsize=9625004 CPUtime=2.92 cores=1,3,5,7
/proc/25858/task/25860/stat : 25860 (java) R 25856 25858 21157 0 -1 4202560 3022 0 1 0 283 9 0 0 20 0 19 0 281799327 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139787273964840 139787109943192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/25858/task/25861/stat : 25861 (java) S 25856 25858 21157 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 19 0 281799329 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139787235457832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/25858/task/25862/stat : 25862 (java) S 25856 25858 21157 0 -1 4202560 94 0 0 0 4 0 0 0 20 0 19 0 281799329 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139787234405032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/25858/task/25863/stat : 25863 (java) S 25856 25858 21157 0 -1 4202560 86 0 0 0 4 2 0 0 20 0 19 0 281799329 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139787233352744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/25858/task/25864/stat : 25864 (java) S 25856 25858 21157 0 -1 4202560 42 0 0 0 5 1 0 0 20 0 19 0 281799329 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139787232299944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/25858/task/25865/stat : 25865 (java) S 25856 25858 21157 0 -1 4202560 39 0 0 0 4 2 0 0 20 0 19 0 281799329 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139787231246632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/25858/task/25866/stat : 25866 (java) S 25856 25858 21157 0 -1 4202560 120 0 0 0 6 2 0 0 20 0 19 0 281799329 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139787230193832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25858/tid=25867] ppid=25856 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/25858/task/25867/stat : 25867 (java) S 25856 25858 21157 0 -1 4202560 97 0 0 0 5 0 0 0 20 0 19 0 281799329 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139787229141544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25858/tid=25868] ppid=25856 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/25858/task/25868/stat : 25868 (java) S 25856 25858 21157 0 -1 4202560 28 0 0 0 3 0 0 0 20 0 19 0 281799329 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139787228088744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25869] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25869/stat : 25869 (java) S 25856 25858 21157 0 -1 4202560 459 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139787098036968 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25870] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25870/stat : 25870 (java) S 25856 25858 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139787096983032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25871] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25871/stat : 25871 (java) S 25856 25858 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139787095930632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25872] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25872/stat : 25872 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139787094879120 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25873] ppid=25856 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/25858/task/25873/stat : 25873 (java) S 25856 25858 21157 0 -1 4202560 2462 0 0 0 45 0 0 0 20 0 19 0 281799332 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139787093825720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25874] ppid=25856 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/25858/task/25874/stat : 25874 (java) S 25856 25858 21157 0 -1 4202560 2931 0 0 0 51 0 0 0 20 0 19 0 281799332 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139786220202040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25858/tid=25875] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25875/stat : 25875 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139786219149944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25858/tid=25876] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25876/stat : 25876 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139786218097352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25877] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25877/stat : 25877 (java) S 25856 25858 21157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281799449 9856004096 149620 33554432000 1073741824 1073778376 140734362504192 139786217043368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 9625004
[startup+6.30064 s]
/proc/loadavg: 2.10 2.02 1.98 3/213 25877
/proc/meminfo: memFree=28723660/32873648 swapFree=7116/7116
[pid=25858] ppid=25856 vsize=9625004 CPUtime=7.84 cores=1,3,5,7
/proc/25858/stat : 25858 (java) S 25856 25858 21157 0 -1 4202496 11106 0 1 0 761 23 0 0 20 0 19 0 281799326 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 140734362495328 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25858/statm: 2406251 156312 2275 9 0 2396937 0
[pid=25858/tid=25860] ppid=25856 vsize=9625004 CPUtime=6.08 cores=1,3,5,7
/proc/25858/task/25860/stat : 25860 (java) R 25856 25858 21157 0 -1 4202560 3024 0 1 0 599 9 0 0 20 0 19 0 281799327 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139787273965624 139787110198620 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/25858/task/25861/stat : 25861 (java) S 25856 25858 21157 0 -1 4202560 45 0 0 0 4 2 0 0 20 0 19 0 281799329 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139787235457832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/25858/task/25862/stat : 25862 (java) S 25856 25858 21157 0 -1 4202560 101 0 0 0 4 1 0 0 20 0 19 0 281799329 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139787234405032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/25858/task/25863/stat : 25863 (java) S 25856 25858 21157 0 -1 4202560 95 0 0 0 4 3 0 0 20 0 19 0 281799329 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139787233352744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/25858/task/25864/stat : 25864 (java) S 25856 25858 21157 0 -1 4202560 46 0 0 0 5 2 0 0 20 0 19 0 281799329 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139787232299944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/25858/task/25865/stat : 25865 (java) S 25856 25858 21157 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 19 0 281799329 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139787231246632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=9625004 CPUtime=0.1 cores=1,3,5,7
/proc/25858/task/25866/stat : 25866 (java) S 25856 25858 21157 0 -1 4202560 131 0 0 0 7 3 0 0 20 0 19 0 281799329 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139787230193832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25858/tid=25867] ppid=25856 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/25858/task/25867/stat : 25867 (java) S 25856 25858 21157 0 -1 4202560 101 0 0 0 5 1 0 0 20 0 19 0 281799329 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139787229141544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25858/tid=25868] ppid=25856 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/25858/task/25868/stat : 25868 (java) S 25856 25858 21157 0 -1 4202560 44 0 0 0 5 2 0 0 20 0 19 0 281799329 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139787228088744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25869] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25869/stat : 25869 (java) S 25856 25858 21157 0 -1 4202560 459 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139787098036968 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25870] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25870/stat : 25870 (java) S 25856 25858 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139787096983032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25871] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25871/stat : 25871 (java) S 25856 25858 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139787095930632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25872] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25872/stat : 25872 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139787094879120 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25873] ppid=25856 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/25858/task/25873/stat : 25873 (java) S 25856 25858 21157 0 -1 4202560 2502 0 0 0 50 0 0 0 20 0 19 0 281799332 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139787093825720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25874] ppid=25856 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/25858/task/25874/stat : 25874 (java) S 25856 25858 21157 0 -1 4202560 3327 0 0 0 57 0 0 0 20 0 19 0 281799332 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139786220202040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25858/tid=25875] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25875/stat : 25875 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139786219149944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25858/tid=25876] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25876/stat : 25876 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139786218097352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25877] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25877/stat : 25877 (java) S 25856 25858 21157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281799449 9856004096 156312 33554432000 1073741824 1073778376 140734362504192 139786217043368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.84
Current children cumulated vsize (KiB) 9625004
[startup+12.7008 s]
/proc/loadavg: 2.09 2.02 1.98 3/213 25877
/proc/meminfo: memFree=28598832/32873648 swapFree=7116/7116
################
# More data... #
################
[pid=25858/tid=25866] ppid=25856 vsize=9625004 CPUtime=2.26 cores=1,3,5,7
/proc/25858/task/25866/stat : 25866 (java) S 25856 25858 21157 0 -1 4202560 177 0 0 0 219 7 0 0 20 0 19 0 281799329 9856004096 585335 33554432000 1073741824 1073778376 140734362504192 139787230193832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25867] ppid=25856 vsize=9625004 CPUtime=2.3 cores=1,3,5,7
/proc/25858/task/25867/stat : 25867 (java) S 25856 25858 21157 0 -1 4202560 161 0 0 0 224 6 0 0 20 0 19 0 281799329 9856004096 585335 33554432000 1073741824 1073778376 140734362504192 139787229141544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25868] ppid=25856 vsize=9625004 CPUtime=2.27 cores=1,3,5,7
/proc/25858/task/25868/stat : 25868 (java) S 25856 25858 21157 0 -1 4202560 111 0 0 0 219 8 0 0 20 0 19 0 281799329 9856004096 585335 33554432000 1073741824 1073778376 140734362504192 139787228088744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25858/tid=25869] ppid=25856 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/25858/task/25869/stat : 25869 (java) S 25856 25858 21157 0 -1 4202560 4276 0 0 0 27 13 0 0 20 0 19 0 281799330 9856004096 585335 33554432000 1073741824 1073778376 140734362504192 139787098036968 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25870] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25870/stat : 25870 (java) S 25856 25858 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 585335 33554432000 1073741824 1073778376 140734362504192 139787096983032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25871] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25871/stat : 25871 (java) S 25856 25858 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 585335 33554432000 1073741824 1073778376 140734362504192 139787095930632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25872] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25872/stat : 25872 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 585335 33554432000 1073741824 1073778376 140734362504192 139787094879120 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25873] ppid=25856 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/25858/task/25873/stat : 25873 (java) S 25856 25858 21157 0 -1 4202560 2512 0 0 0 51 0 0 0 20 0 19 0 281799332 9856004096 585335 33554432000 1073741824 1073778376 140734362504192 139787093825720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25874] ppid=25856 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/25858/task/25874/stat : 25874 (java) S 25856 25858 21157 0 -1 4202560 3331 0 0 0 60 0 0 0 20 0 19 0 281799332 9856004096 585335 33554432000 1073741824 1073778376 140734362504192 139786220202040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25858/tid=25875] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25875/stat : 25875 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 585335 33554432000 1073741824 1073778376 140734362504192 139786219149944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25858/tid=25876] ppid=25856 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/25858/task/25876/stat : 25876 (java) S 25856 25858 21157 0 -1 4202560 97 0 0 0 14 21 0 0 20 0 19 0 281799332 9856004096 585335 33554432000 1073741824 1073778376 140734362504192 139786218097352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25877] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25877/stat : 25877 (java) S 25856 25858 21157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281799449 9856004096 585335 33554432000 1073741824 1073778376 140734362504192 139786217043368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1735.62
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/213 25951
/proc/meminfo: memFree=24728968/32873648 swapFree=7116/7116
[pid=25858] ppid=25856 vsize=9625004 CPUtime=1796.33 cores=1,3,5,7
/proc/25858/stat : 25858 (java) S 25856 25858 21157 0 -1 4202496 18001 0 1 0 179498 135 0 0 20 0 19 0 281799326 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 140734362495328 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25858/statm: 2406251 575336 2290 9 0 2396937 0
[pid=25858/tid=25860] ppid=25856 vsize=9625004 CPUtime=1775.15 cores=1,3,5,7
/proc/25858/task/25860/stat : 25860 (java) R 25856 25858 21157 0 -1 4202560 5523 0 1 0 177445 70 0 0 20 0 19 0 281799327 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139787273964784 139787110200349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=9625004 CPUtime=2.56 cores=1,3,5,7
/proc/25858/task/25861/stat : 25861 (java) S 25856 25858 21157 0 -1 4202560 121 0 0 0 248 8 0 0 20 0 19 0 281799329 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139787235457832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=9625004 CPUtime=2.42 cores=1,3,5,7
/proc/25858/task/25862/stat : 25862 (java) S 25856 25858 21157 0 -1 4202560 155 0 0 0 235 7 0 0 20 0 19 0 281799329 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139787234405032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=9625004 CPUtime=2.38 cores=1,3,5,7
/proc/25858/task/25863/stat : 25863 (java) S 25856 25858 21157 0 -1 4202560 147 0 0 0 230 8 0 0 20 0 19 0 281799329 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139787233352744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=9625004 CPUtime=2.42 cores=1,3,5,7
/proc/25858/task/25864/stat : 25864 (java) S 25856 25858 21157 0 -1 4202560 92 0 0 0 236 6 0 0 20 0 19 0 281799329 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139787232299944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=9625004 CPUtime=2.51 cores=1,3,5,7
/proc/25858/task/25865/stat : 25865 (java) S 25856 25858 21157 0 -1 4202560 104 0 0 0 244 7 0 0 20 0 19 0 281799329 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139787231246632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=9625004 CPUtime=2.4 cores=1,3,5,7
/proc/25858/task/25866/stat : 25866 (java) S 25856 25858 21157 0 -1 4202560 177 0 0 0 233 7 0 0 20 0 19 0 281799329 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139787230193832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25867] ppid=25856 vsize=9625004 CPUtime=2.44 cores=1,3,5,7
/proc/25858/task/25867/stat : 25867 (java) S 25856 25858 21157 0 -1 4202560 161 0 0 0 238 6 0 0 20 0 19 0 281799329 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139787229141544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25868] ppid=25856 vsize=9625004 CPUtime=2.42 cores=1,3,5,7
/proc/25858/task/25868/stat : 25868 (java) S 25856 25858 21157 0 -1 4202560 112 0 0 0 234 8 0 0 20 0 19 0 281799329 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139787228088744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25869] ppid=25856 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/25858/task/25869/stat : 25869 (java) S 25856 25858 21157 0 -1 4202560 4280 0 0 0 27 15 0 0 20 0 19 0 281799330 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139787098036968 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25870] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25870/stat : 25870 (java) S 25856 25858 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139787096983032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25871] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25871/stat : 25871 (java) S 25856 25858 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139787095930632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25872] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25872/stat : 25872 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139787094879120 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25873] ppid=25856 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/25858/task/25873/stat : 25873 (java) S 25856 25858 21157 0 -1 4202560 2512 0 0 0 51 0 0 0 20 0 19 0 281799332 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139787093825720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25874] ppid=25856 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/25858/task/25874/stat : 25874 (java) S 25856 25858 21157 0 -1 4202560 3331 0 0 0 60 0 0 0 20 0 19 0 281799332 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139786220202040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25858/tid=25875] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25875/stat : 25875 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139786219149944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25858/tid=25876] ppid=25856 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/25858/task/25876/stat : 25876 (java) S 25856 25858 21157 0 -1 4202560 101 0 0 0 15 22 0 0 20 0 19 0 281799332 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139786218097352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25877] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25877/stat : 25877 (java) S 25856 25858 21157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281799449 9856004096 575336 33554432000 1073741824 1073778376 140734362504192 139786217043368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.33
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1785.9 s]
/proc/loadavg: 1.99 1.97 1.98 3/213 25951
/proc/meminfo: memFree=24730828/32873648 swapFree=7116/7116
[pid=25858] ppid=25856 vsize=9625004 CPUtime=1800.01 cores=1,3,5,7
/proc/25858/stat : 25858 (java) S 25856 25858 21157 0 -1 4202496 18005 0 1 0 179866 135 0 0 20 0 19 0 281799326 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 140734362495328 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25858/statm: 2406251 574967 2290 9 0 2396937 0
[pid=25858/tid=25860] ppid=25856 vsize=9625004 CPUtime=1778.72 cores=1,3,5,7
/proc/25858/task/25860/stat : 25860 (java) R 25856 25858 21157 0 -1 4202560 5527 0 1 0 177801 71 0 0 20 0 19 0 281799327 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787273964848 139787110200494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=9625004 CPUtime=2.57 cores=1,3,5,7
/proc/25858/task/25861/stat : 25861 (java) S 25856 25858 21157 0 -1 4202560 121 0 0 0 249 8 0 0 20 0 19 0 281799329 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787235457832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=9625004 CPUtime=2.43 cores=1,3,5,7
/proc/25858/task/25862/stat : 25862 (java) S 25856 25858 21157 0 -1 4202560 155 0 0 0 236 7 0 0 20 0 19 0 281799329 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787234405032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=9625004 CPUtime=2.4 cores=1,3,5,7
/proc/25858/task/25863/stat : 25863 (java) S 25856 25858 21157 0 -1 4202560 147 0 0 0 232 8 0 0 20 0 19 0 281799329 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787233352744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=9625004 CPUtime=2.44 cores=1,3,5,7
/proc/25858/task/25864/stat : 25864 (java) S 25856 25858 21157 0 -1 4202560 92 0 0 0 238 6 0 0 20 0 19 0 281799329 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787232299944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=9625004 CPUtime=2.53 cores=1,3,5,7
/proc/25858/task/25865/stat : 25865 (java) S 25856 25858 21157 0 -1 4202560 104 0 0 0 246 7 0 0 20 0 19 0 281799329 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787231246632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=9625004 CPUtime=2.41 cores=1,3,5,7
/proc/25858/task/25866/stat : 25866 (java) S 25856 25858 21157 0 -1 4202560 177 0 0 0 234 7 0 0 20 0 19 0 281799329 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787230193832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25867] ppid=25856 vsize=9625004 CPUtime=2.46 cores=1,3,5,7
/proc/25858/task/25867/stat : 25867 (java) S 25856 25858 21157 0 -1 4202560 161 0 0 0 240 6 0 0 20 0 19 0 281799329 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787229141544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25868] ppid=25856 vsize=9625004 CPUtime=2.44 cores=1,3,5,7
/proc/25858/task/25868/stat : 25868 (java) S 25856 25858 21157 0 -1 4202560 112 0 0 0 236 8 0 0 20 0 19 0 281799329 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787228088744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25869] ppid=25856 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/25858/task/25869/stat : 25869 (java) S 25856 25858 21157 0 -1 4202560 4280 0 0 0 27 15 0 0 20 0 19 0 281799330 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787098036968 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25870] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25870/stat : 25870 (java) S 25856 25858 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787096983032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25871] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25871/stat : 25871 (java) S 25856 25858 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787095930632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25872] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25872/stat : 25872 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787094879120 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25873] ppid=25856 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/25858/task/25873/stat : 25873 (java) S 25856 25858 21157 0 -1 4202560 2512 0 0 0 51 0 0 0 20 0 19 0 281799332 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787093825720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25874] ppid=25856 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/25858/task/25874/stat : 25874 (java) S 25856 25858 21157 0 -1 4202560 3331 0 0 0 60 0 0 0 20 0 19 0 281799332 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139786220202040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25858/tid=25875] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25875/stat : 25875 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139786219149944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25858/tid=25876] ppid=25856 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/25858/task/25876/stat : 25876 (java) S 25856 25858 21157 0 -1 4202560 101 0 0 0 15 22 0 0 20 0 19 0 281799332 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139786218097352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25877] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25877/stat : 25877 (java) S 25856 25858 21157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281799449 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139786217043368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1785.9 s]
/proc/loadavg: 1.99 1.97 1.98 3/213 25951
/proc/meminfo: memFree=24730828/32873648 swapFree=7116/7116
[pid=25858] ppid=25856 vsize=9625004 CPUtime=1800.01 cores=1,3,5,7
/proc/25858/stat : 25858 (java) S 25856 25858 21157 0 -1 4202496 18005 0 1 0 179866 135 0 0 20 0 19 0 281799326 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 140734362495328 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25858/statm: 2406251 574967 2290 9 0 2396937 0
[pid=25858/tid=25860] ppid=25856 vsize=9625004 CPUtime=1778.72 cores=1,3,5,7
/proc/25858/task/25860/stat : 25860 (java) R 25856 25858 21157 0 -1 4202560 5527 0 1 0 177801 71 0 0 20 0 19 0 281799327 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787273964848 139787110200494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=9625004 CPUtime=2.57 cores=1,3,5,7
/proc/25858/task/25861/stat : 25861 (java) S 25856 25858 21157 0 -1 4202560 121 0 0 0 249 8 0 0 20 0 19 0 281799329 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787235457832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=9625004 CPUtime=2.43 cores=1,3,5,7
/proc/25858/task/25862/stat : 25862 (java) S 25856 25858 21157 0 -1 4202560 155 0 0 0 236 7 0 0 20 0 19 0 281799329 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787234405032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=9625004 CPUtime=2.4 cores=1,3,5,7
/proc/25858/task/25863/stat : 25863 (java) S 25856 25858 21157 0 -1 4202560 147 0 0 0 232 8 0 0 20 0 19 0 281799329 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787233352744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=9625004 CPUtime=2.44 cores=1,3,5,7
/proc/25858/task/25864/stat : 25864 (java) S 25856 25858 21157 0 -1 4202560 92 0 0 0 238 6 0 0 20 0 19 0 281799329 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787232299944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=9625004 CPUtime=2.53 cores=1,3,5,7
/proc/25858/task/25865/stat : 25865 (java) S 25856 25858 21157 0 -1 4202560 104 0 0 0 246 7 0 0 20 0 19 0 281799329 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787231246632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=9625004 CPUtime=2.41 cores=1,3,5,7
/proc/25858/task/25866/stat : 25866 (java) S 25856 25858 21157 0 -1 4202560 177 0 0 0 234 7 0 0 20 0 19 0 281799329 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787230193832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25867] ppid=25856 vsize=9625004 CPUtime=2.46 cores=1,3,5,7
/proc/25858/task/25867/stat : 25867 (java) S 25856 25858 21157 0 -1 4202560 161 0 0 0 240 6 0 0 20 0 19 0 281799329 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787229141544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25868] ppid=25856 vsize=9625004 CPUtime=2.44 cores=1,3,5,7
/proc/25858/task/25868/stat : 25868 (java) S 25856 25858 21157 0 -1 4202560 112 0 0 0 236 8 0 0 20 0 19 0 281799329 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787228088744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25869] ppid=25856 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/25858/task/25869/stat : 25869 (java) S 25856 25858 21157 0 -1 4202560 4280 0 0 0 27 15 0 0 20 0 19 0 281799330 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787098036968 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25870] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25870/stat : 25870 (java) S 25856 25858 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787096983032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25871] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25871/stat : 25871 (java) S 25856 25858 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281799330 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787095930632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25872] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25872/stat : 25872 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787094879120 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25873] ppid=25856 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/25858/task/25873/stat : 25873 (java) S 25856 25858 21157 0 -1 4202560 2512 0 0 0 51 0 0 0 20 0 19 0 281799332 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139787093825720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25858/tid=25874] ppid=25856 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/25858/task/25874/stat : 25874 (java) S 25856 25858 21157 0 -1 4202560 3331 0 0 0 60 0 0 0 20 0 19 0 281799332 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139786220202040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25858/tid=25875] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25875/stat : 25875 (java) S 25856 25858 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281799332 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139786219149944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25858/tid=25876] ppid=25856 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/25858/task/25876/stat : 25876 (java) S 25856 25858 21157 0 -1 4202560 101 0 0 0 15 22 0 0 20 0 19 0 281799332 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139786218097352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25858/tid=25877] ppid=25856 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25858/task/25877/stat : 25877 (java) S 25856 25858 21157 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281799449 9856004096 574967 33554432000 1073741824 1073778376 140734362504192 139786217043368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625004
Child status: 143
Real time (s): 1785.94
CPU time (s): 1800.59
CPU user time (s): 1798.81
CPU system time (s): 1.78373
CPU usage (%): 100.82
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.78373
maximum resident set size= 2799276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18040
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69741
involuntary context switches= 92547
runsolver used 6.31904 second user time and 13.8139 second system time
The end