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-3688238-1337876261/watcher-3688238-1337876261 -o /tmp/evaluation-result-3688238-1337876261/solver-3688238-1337876261 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688238-1337876261.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: 3.75 3.95 3.85 4/197 22868
/proc/meminfo: memFree=28859220/32873648 swapFree=7108/7108
[pid=22868] ppid=22866 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22868/stat : 22868 (java) D 22866 22868 21597 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 253753438 9515008 182 33554432000 1073741824 1073778376 140734331181424 140734331172456 219513962165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22868/statm: 2323 182 140 9 0 71 0
[startup+0.092148 s]
/proc/loadavg: 3.75 3.95 3.85 4/197 22868
/proc/meminfo: memFree=28859220/32873648 swapFree=7108/7108
[pid=22868] ppid=22866 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/22868/stat : 22868 (java) S 22866 22868 21597 0 -1 4202496 4176 0 1 0 7 1 0 0 20 0 18 0 253753438 9787813888 5370 33554432000 1073741824 1073778376 140734986294160 140734986285296 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22868/statm: 2389603 5371 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.100248 s]
/proc/loadavg: 3.75 3.95 3.85 4/197 22868
/proc/meminfo: memFree=28859220/32873648 swapFree=7108/7108
[pid=22868] ppid=22866 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/22868/stat : 22868 (java) S 22866 22868 21597 0 -1 4202496 4294 0 1 0 8 1 0 0 20 0 18 0 253753438 9787813888 5487 33554432000 1073741824 1073778376 140734986294160 140734986285296 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22868/statm: 2389603 5487 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300176 s]
/proc/loadavg: 3.75 3.95 3.85 4/197 22868
/proc/meminfo: memFree=28859220/32873648 swapFree=7108/7108
[pid=22868] ppid=22866 vsize=9824668 CPUtime=0.73 cores=1,3,5,7
/proc/22868/stat : 22868 (java) S 22866 22868 21597 0 -1 4202496 15212 0 1 0 70 3 0 0 20 0 22 0 253753438 10060460032 13680 33554432000 1073741824 1073778376 140734986294160 140734986285296 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22868/statm: 2456167 13680 2217 9 0 2446860 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 9824668
[startup+0.700243 s]
/proc/loadavg: 3.75 3.95 3.85 4/197 22868
/proc/meminfo: memFree=28859220/32873648 swapFree=7108/7108
[pid=22868] ppid=22866 vsize=9824668 CPUtime=2.3 cores=1,3,5,7
/proc/22868/stat : 22868 (java) S 22866 22868 21597 0 -1 4202496 19716 0 1 0 226 4 0 0 20 0 22 0 253753438 10060460032 25825 33554432000 1073741824 1073778376 140734986294160 140734986285296 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22868/statm: 2456167 25825 2258 9 0 2446860 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 9824668
[startup+1.50081 s]
/proc/loadavg: 3.75 3.95 3.85 7/219 22890
/proc/meminfo: memFree=28714124/32873648 swapFree=7108/7108
[pid=22868] ppid=22866 vsize=9824668 CPUtime=4.72 cores=1,3,5,7
/proc/22868/stat : 22868 (java) S 22866 22868 21597 0 -1 4202496 26789 0 1 0 466 6 0 0 20 0 22 0 253753438 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 140734986285296 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22868/statm: 2456167 42897 2272 9 0 2446860 0
[pid=22868/tid=22870] ppid=22866 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/22868/task/22870/stat : 22870 (java) S 22866 22868 21597 0 -1 4202560 2437 0 1 0 12 0 0 0 20 0 22 0 253753439 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699964175352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22871] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22871/stat : 22871 (java) S 22866 22868 21597 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699925666344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22872] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22872/stat : 22872 (java) S 22866 22868 21597 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699924613544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22873] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22873/stat : 22873 (java) S 22866 22868 21597 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699923560744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22874] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22874/stat : 22874 (java) S 22866 22868 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699922507944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22875] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22875/stat : 22875 (java) S 22866 22868 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699921456168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22876] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22876/stat : 22876 (java) S 22866 22868 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699920403368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22877] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22877/stat : 22877 (java) S 22866 22868 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699919350568 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22878] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22878/stat : 22878 (java) S 22866 22868 21597 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699800763048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22879] ppid=22866 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22868/task/22879/stat : 22879 (java) S 22866 22868 21597 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 22 0 253753441 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699788351976 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22880] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22880/stat : 22880 (java) S 22866 22868 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253753442 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699787298040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22881] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22881/stat : 22881 (java) S 22866 22868 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253753442 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699786245128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22882] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22882/stat : 22882 (java) S 22866 22868 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253753444 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699785193616 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22883] ppid=22866 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/22868/task/22883/stat : 22883 (java) S 22866 22868 21597 0 -1 4202560 9689 0 0 0 95 2 0 0 20 0 22 0 253753444 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699045788600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22884] ppid=22866 vsize=9824668 CPUtime=0.95 cores=1,3,5,7
/proc/22868/task/22884/stat : 22884 (java) S 22866 22868 21597 0 -1 4202560 13218 0 0 0 92 3 0 0 20 0 22 0 253753444 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699044735800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22885] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22885/stat : 22885 (java) S 22866 22868 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253753444 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699043683192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22886] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22886/stat : 22886 (java) S 22866 22868 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253753444 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699042630600 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22887] ppid=22866 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/22868/task/22887/stat : 22887 (java) R 22866 22868 21597 0 -1 4202560 59 0 0 0 129 0 0 0 20 0 22 0 253753454 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699041575360 139699801192370 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22888] ppid=22866 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/22868/task/22888/stat : 22888 (java) R 22866 22868 21597 0 -1 4202560 129 0 0 0 129 0 0 0 20 0 22 0 253753454 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699040520480 139699801232472 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22889] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22889/stat : 22889 (java) S 22866 22868 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253753454 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699039470504 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22890] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22890/stat : 22890 (java) S 22866 22868 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253753454 10060460032 42897 33554432000 1073741824 1073778376 140734986294160 139699038417704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 9824668
[startup+3.10079 s]
/proc/loadavg: 3.75 3.95 3.85 5/219 22890
/proc/meminfo: memFree=28673220/32873648 swapFree=7108/7108
[pid=22868] ppid=22866 vsize=9824668 CPUtime=7.91 cores=1,3,5,7
/proc/22868/stat : 22868 (java) S 22866 22868 21597 0 -1 4202496 26840 0 1 0 784 7 0 0 20 0 22 0 253753438 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 140734986285296 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22868/statm: 2456167 51118 2273 9 0 2446860 0
[pid=22868/tid=22870] ppid=22866 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/22868/task/22870/stat : 22870 (java) S 22866 22868 21597 0 -1 4202560 2437 0 1 0 12 0 0 0 20 0 22 0 253753439 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699964175352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22871] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22871/stat : 22871 (java) S 22866 22868 21597 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699925666344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22872] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22872/stat : 22872 (java) S 22866 22868 21597 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699924613544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22873] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22873/stat : 22873 (java) S 22866 22868 21597 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699923560744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22874] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22874/stat : 22874 (java) S 22866 22868 21597 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699922507944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22875] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22875/stat : 22875 (java) S 22866 22868 21597 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699921456168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22876] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22876/stat : 22876 (java) S 22866 22868 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699920403368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22877] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22877/stat : 22877 (java) S 22866 22868 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699919350568 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22878] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22878/stat : 22878 (java) S 22866 22868 21597 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699800763048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22879] ppid=22866 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/22868/task/22879/stat : 22879 (java) S 22866 22868 21597 0 -1 4202560 34 0 0 0 8 0 0 0 20 0 22 0 253753441 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699788351976 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22880] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22880/stat : 22880 (java) S 22866 22868 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253753442 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699787298040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22881] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22881/stat : 22881 (java) S 22866 22868 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253753442 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699786245128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22882] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22882/stat : 22882 (java) S 22866 22868 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253753444 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699785193616 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22883] ppid=22866 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/22868/task/22883/stat : 22883 (java) S 22866 22868 21597 0 -1 4202560 9689 0 0 0 96 2 0 0 20 0 22 0 253753444 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699045788600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22884] ppid=22866 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/22868/task/22884/stat : 22884 (java) S 22866 22868 21597 0 -1 4202560 13220 0 0 0 95 3 0 0 20 0 22 0 253753444 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699044735800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22885] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22885/stat : 22885 (java) S 22866 22868 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253753444 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699043683192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22886] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22886/stat : 22886 (java) S 22866 22868 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253753444 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699042630600 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22887] ppid=22866 vsize=9824668 CPUtime=2.81 cores=1,3,5,7
/proc/22868/task/22887/stat : 22887 (java) R 22866 22868 21597 0 -1 4202560 63 0 0 0 281 0 0 0 20 0 22 0 253753454 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699041575480 139699801264366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22888] ppid=22866 vsize=9824668 CPUtime=2.81 cores=1,3,5,7
/proc/22868/task/22888/stat : 22888 (java) R 22866 22868 21597 0 -1 4202560 142 0 0 0 279 2 0 0 20 0 22 0 253753454 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699040520312 139699801296949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22889] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22889/stat : 22889 (java) S 22866 22868 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253753454 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699039470504 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22890] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22890/stat : 22890 (java) S 22866 22868 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253753454 10060460032 51118 33554432000 1073741824 1073778376 140734986294160 139699038417704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 9824668
[startup+6.30079 s]
/proc/loadavg: 3.77 3.95 3.85 5/219 22890
/proc/meminfo: memFree=28666624/32873648 swapFree=7108/7108
[pid=22868] ppid=22866 vsize=9824668 CPUtime=14.23 cores=1,3,5,7
/proc/22868/stat : 22868 (java) S 22866 22868 21597 0 -1 4202496 26867 0 1 0 1416 7 0 0 20 0 22 0 253753438 10060460032 51743 33554432000 1073741824 1073778376 140734986294160 140734986285296 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22868/statm: 2456167 51743 2273 9 0 2446860 0
[pid=22868/tid=22870] ppid=22866 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/22868/task/22870/stat : 22870 (java) S 22866 22868 21597 0 -1 4202560 2438 0 1 0 12 0 0 0 20 0 22 0 253753439 10060460032 51743 33554432000 1073741824 1073778376 140734986294160 139699964175352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22871] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22871/stat : 22871 (java) S 22866 22868 21597 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 51743 33554432000 1073741824 1073778376 140734986294160 139699925666344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22872] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22872/stat : 22872 (java) S 22866 22868 21597 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 51743 33554432000 1073741824 1073778376 140734986294160 139699924613544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22873] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22873/stat : 22873 (java) S 22866 22868 21597 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 51743 33554432000 1073741824 1073778376 140734986294160 139699923560744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22874] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22874/stat : 22874 (java) S 22866 22868 21597 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 51743 33554432000 1073741824 1073778376 140734986294160 139699922507944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22875] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22875/stat : 22875 (java) S 22866 22868 21597 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 51743 33554432000 1073741824 1073778376 140734986294160 139699921456168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22876] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22876/stat : 22876 (java) S 22866 22868 21597 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 51743 33554432000 1073741824 1073778376 140734986294160 139699920403368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22877] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22877/stat : 22877 (java) S 22866 22868 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 51743 33554432000 1073741824 1073778376 140734986294160 139699919350568 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22878] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22878/stat : 22878 (java) S 22866 22868 21597 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253753440 10060460032 51743 33554432000 1073741824 1073778376 140734986294160 139699800763048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22879] ppid=22866 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/22868/task/22879/stat : 22879 (java) S 22866 22868 21597 0 -1 4202560 36 0 0 0 16 0 0 0 20 0 22 0 253753441 10060460032 51743 33554432000 1073741824 1073778376 140734986294160 139699788351976 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22880] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22880/stat : 22880 (java) S 22866 22868 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253753442 10060460032 51743 33554432000 1073741824 1073778376 140734986294160 139699787298040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22881] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22881/stat : 22881 (java) S 22866 22868 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253753442 10060460032 51743 33554432000 1073741824 1073778376 140734986294160 139699786245128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22882] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22882/stat : 22882 (java) S 22866 22868 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253753444 10060460032 51743 33554432000 1073741824 1073778376 140734986294160 139699785193616 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22883] ppid=22866 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/22868/task/22883/stat : 22883 (java) S 22866 22868 21597 0 -1 4202560 9689 0 0 0 96 2 0 0 20 0 22 0 253753444 10060460032 51743 33554432000 1073741824 1073778376 140734986294160 139699045788600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[pid=22868/tid=22888] ppid=22866 vsize=9824668 CPUtime=753.85 cores=1,3,5,7
/proc/22868/task/22888/stat : 22888 (java) R 22866 22868 21597 0 -1 4202560 1966 0 0 0 75358 27 0 0 20 0 22 0 253753454 10060460032 113615 33554432000 1073741824 1073778376 140734986294160 139699040520272 139699801420664 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22889] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22889/stat : 22889 (java) S 22866 22868 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253753454 10060460032 113615 33554432000 1073741824 1073778376 140734986294160 139699039470504 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22890] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22890/stat : 22890 (java) S 22866 22868 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253753454 10060460032 113615 33554432000 1073741824 1073778376 140734986294160 139699038417704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1525.12
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 3.99 3.90 3.84 5/219 23266
/proc/meminfo: memFree=26075504/32873648 swapFree=7108/7108
[pid=22868] ppid=22866 vsize=9824668 CPUtime=1645.11 cores=1,3,5,7
/proc/22868/stat : 22868 (java) S 22866 22868 21597 0 -1 4202496 34263 0 1 0 164416 95 0 0 20 0 22 0 253753438 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 140734986285296 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22868/statm: 2456167 108838 2274 9 0 2446860 0
[pid=22868/tid=22870] ppid=22866 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/22868/task/22870/stat : 22870 (java) S 22866 22868 21597 0 -1 4202560 2451 0 1 0 13 2 0 0 20 0 22 0 253753439 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699964175352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22871] ppid=22866 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/22868/task/22871/stat : 22871 (java) S 22866 22868 21597 0 -1 4202560 405 0 0 0 130 4 0 0 20 0 22 0 253753440 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699925666344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22872] ppid=22866 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/22868/task/22872/stat : 22872 (java) S 22866 22868 21597 0 -1 4202560 769 0 0 0 123 4 0 0 20 0 22 0 253753440 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699924613544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22873] ppid=22866 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/22868/task/22873/stat : 22873 (java) S 22866 22868 21597 0 -1 4202560 558 0 0 0 124 5 0 0 20 0 22 0 253753440 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699923560744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22874] ppid=22866 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/22868/task/22874/stat : 22874 (java) S 22866 22868 21597 0 -1 4202560 438 0 0 0 127 4 0 0 20 0 22 0 253753440 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699922507944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22875] ppid=22866 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/22868/task/22875/stat : 22875 (java) S 22866 22868 21597 0 -1 4202560 521 0 0 0 122 5 0 0 20 0 22 0 253753440 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699921456168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22876] ppid=22866 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/22868/task/22876/stat : 22876 (java) S 22866 22868 21597 0 -1 4202560 727 0 0 0 128 5 0 0 20 0 22 0 253753440 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699920403368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22877] ppid=22866 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/22868/task/22877/stat : 22877 (java) S 22866 22868 21597 0 -1 4202560 964 0 0 0 130 4 0 0 20 0 22 0 253753440 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699919350568 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22878] ppid=22866 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/22868/task/22878/stat : 22878 (java) S 22866 22868 21597 0 -1 4202560 448 0 0 0 115 6 0 0 20 0 22 0 253753440 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699800763048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22879] ppid=22866 vsize=9824668 CPUtime=5.59 cores=1,3,5,7
/proc/22868/task/22879/stat : 22879 (java) S 22866 22868 21597 0 -1 4202560 664 0 0 0 535 24 0 0 20 0 22 0 253753441 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699788351976 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22880] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22880/stat : 22880 (java) S 22866 22868 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253753442 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699787298040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22881] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22881/stat : 22881 (java) S 22866 22868 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253753442 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699786245128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22882] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22882/stat : 22882 (java) S 22866 22868 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253753444 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699785193616 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22883] ppid=22866 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/22868/task/22883/stat : 22883 (java) S 22866 22868 21597 0 -1 4202560 9689 0 0 0 96 2 0 0 20 0 22 0 253753444 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699045788600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22884] ppid=22866 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/22868/task/22884/stat : 22884 (java) S 22866 22868 21597 0 -1 4202560 13227 0 0 0 109 3 0 0 20 0 22 0 253753444 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699044735800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22885] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22885/stat : 22885 (java) S 22866 22868 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253753444 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699043683192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22886] ppid=22866 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/22868/task/22886/stat : 22886 (java) S 22866 22868 21597 0 -1 4202560 47 0 0 0 9 13 0 0 20 0 22 0 253753444 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699042630600 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22887] ppid=22866 vsize=9824668 CPUtime=813.46 cores=1,3,5,7
/proc/22868/task/22887/stat : 22887 (java) R 22866 22868 21597 0 -1 4202560 197 0 0 0 81331 15 0 0 20 0 22 0 253753454 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699041573504 139699801192238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22888] ppid=22866 vsize=9824668 CPUtime=813.49 cores=1,3,5,7
/proc/22868/task/22888/stat : 22888 (java) R 22866 22868 21597 0 -1 4202560 1972 0 0 0 81321 28 0 0 20 0 22 0 253753454 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699040521624 139699801601636 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22889] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22889/stat : 22889 (java) S 22866 22868 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253753454 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699039470504 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22890] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22890/stat : 22890 (java) S 22866 22868 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253753454 10060460032 108838 33554432000 1073741824 1073778376 140734986294160 139699038417704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1645.11
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.95 3.90 3.84 5/219 23266
/proc/meminfo: memFree=26183404/32873648 swapFree=7108/7108
[pid=22868] ppid=22866 vsize=9824668 CPUtime=1765.11 cores=1,3,5,7
/proc/22868/stat : 22868 (java) S 22866 22868 21597 0 -1 4202496 34305 0 1 0 176412 99 0 0 20 0 22 0 253753438 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 140734986285296 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22868/statm: 2456167 106024 2274 9 0 2446860 0
[pid=22868/tid=22870] ppid=22866 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/22868/task/22870/stat : 22870 (java) S 22866 22868 21597 0 -1 4202560 2452 0 1 0 13 2 0 0 20 0 22 0 253753439 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699964175352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22871] ppid=22866 vsize=9824668 CPUtime=1.42 cores=1,3,5,7
/proc/22868/task/22871/stat : 22871 (java) S 22866 22868 21597 0 -1 4202560 406 0 0 0 138 4 0 0 20 0 22 0 253753440 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699925666344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22872] ppid=22866 vsize=9824668 CPUtime=1.35 cores=1,3,5,7
/proc/22868/task/22872/stat : 22872 (java) S 22866 22868 21597 0 -1 4202560 771 0 0 0 130 5 0 0 20 0 22 0 253753440 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699924613544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22873] ppid=22866 vsize=9824668 CPUtime=1.4 cores=1,3,5,7
/proc/22868/task/22873/stat : 22873 (java) S 22866 22868 21597 0 -1 4202560 561 0 0 0 135 5 0 0 20 0 22 0 253753440 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699923560744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22874] ppid=22866 vsize=9824668 CPUtime=1.4 cores=1,3,5,7
/proc/22868/task/22874/stat : 22874 (java) S 22866 22868 21597 0 -1 4202560 438 0 0 0 136 4 0 0 20 0 22 0 253753440 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699922507944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22875] ppid=22866 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/22868/task/22875/stat : 22875 (java) S 22866 22868 21597 0 -1 4202560 521 0 0 0 128 5 0 0 20 0 22 0 253753440 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699921456168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22876] ppid=22866 vsize=9824668 CPUtime=1.42 cores=1,3,5,7
/proc/22868/task/22876/stat : 22876 (java) S 22866 22868 21597 0 -1 4202560 729 0 0 0 137 5 0 0 20 0 22 0 253753440 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699920403368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22877] ppid=22866 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/22868/task/22877/stat : 22877 (java) S 22866 22868 21597 0 -1 4202560 965 0 0 0 138 5 0 0 20 0 22 0 253753440 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699919350568 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22878] ppid=22866 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/22868/task/22878/stat : 22878 (java) S 22866 22868 21597 0 -1 4202560 450 0 0 0 125 6 0 0 20 0 22 0 253753440 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699800763048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22879] ppid=22866 vsize=9824668 CPUtime=5.92 cores=1,3,5,7
/proc/22868/task/22879/stat : 22879 (java) S 22866 22868 21597 0 -1 4202560 680 0 0 0 565 27 0 0 20 0 22 0 253753441 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699788351976 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22880] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22880/stat : 22880 (java) S 22866 22868 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253753442 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699787298040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22881] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22881/stat : 22881 (java) S 22866 22868 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253753442 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699786245128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22882] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22882/stat : 22882 (java) S 22866 22868 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253753444 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699785193616 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22883] ppid=22866 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/22868/task/22883/stat : 22883 (java) S 22866 22868 21597 0 -1 4202560 9689 0 0 0 96 2 0 0 20 0 22 0 253753444 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699045788600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22884] ppid=22866 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/22868/task/22884/stat : 22884 (java) S 22866 22868 21597 0 -1 4202560 13227 0 0 0 109 3 0 0 20 0 22 0 253753444 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699044735800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22885] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22885/stat : 22885 (java) S 22866 22868 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253753444 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699043683192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22886] ppid=22866 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/22868/task/22886/stat : 22886 (java) S 22866 22868 21597 0 -1 4202560 51 0 0 0 10 14 0 0 20 0 22 0 253753444 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699042630600 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22887] ppid=22866 vsize=9824668 CPUtime=872.96 cores=1,3,5,7
/proc/22868/task/22887/stat : 22887 (java) R 22866 22868 21597 0 -1 4202560 201 0 0 0 87280 16 0 0 20 0 22 0 253753454 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699041573624 139699801264366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22888] ppid=22866 vsize=9824668 CPUtime=872.99 cores=1,3,5,7
/proc/22868/task/22888/stat : 22888 (java) R 22866 22868 21597 0 -1 4202560 1978 0 0 0 87270 29 0 0 20 0 22 0 253753454 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699040521488 139699801601513 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22889] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22889/stat : 22889 (java) S 22866 22868 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253753454 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699039470504 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22890] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22890/stat : 22890 (java) S 22866 22868 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253753454 10060460032 106024 33554432000 1073741824 1073778376 140734986294160 139699038417704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1765.11
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.807 s]
/proc/loadavg: 4.03 3.93 3.85 4/216 23266
/proc/meminfo: memFree=26189504/32873648 swapFree=7108/7108
[pid=22868] ppid=22866 vsize=9824668 CPUtime=1800.19 cores=1,3,5,7
/proc/22868/stat : 22868 (java) S 22866 22868 21597 0 -1 4202496 34504 0 1 0 179917 102 0 0 20 0 22 0 253753438 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 140734986285296 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22868/statm: 2456167 106399 2274 9 0 2446860 0
[pid=22868/tid=22870] ppid=22866 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/22868/task/22870/stat : 22870 (java) S 22866 22868 21597 0 -1 4202560 2452 0 1 0 13 2 0 0 20 0 22 0 253753439 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699964175352 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22871] ppid=22866 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/22868/task/22871/stat : 22871 (java) S 22866 22868 21597 0 -1 4202560 483 0 0 0 142 4 0 0 20 0 22 0 253753440 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699925666344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22872] ppid=22866 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/22868/task/22872/stat : 22872 (java) S 22866 22868 21597 0 -1 4202560 771 0 0 0 134 5 0 0 20 0 22 0 253753440 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699924613544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22873] ppid=22866 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/22868/task/22873/stat : 22873 (java) S 22866 22868 21597 0 -1 4202560 563 0 0 0 141 5 0 0 20 0 22 0 253753440 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699923560744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22874] ppid=22866 vsize=9824668 CPUtime=1.45 cores=1,3,5,7
/proc/22868/task/22874/stat : 22874 (java) S 22866 22868 21597 0 -1 4202560 504 0 0 0 140 5 0 0 20 0 22 0 253753440 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699922507944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22875] ppid=22866 vsize=9824668 CPUtime=1.37 cores=1,3,5,7
/proc/22868/task/22875/stat : 22875 (java) S 22866 22868 21597 0 -1 4202560 521 0 0 0 132 5 0 0 20 0 22 0 253753440 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699921456168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22876] ppid=22866 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/22868/task/22876/stat : 22876 (java) S 22866 22868 21597 0 -1 4202560 756 0 0 0 141 5 0 0 20 0 22 0 253753440 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699920403368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22877] ppid=22866 vsize=9824668 CPUtime=1.46 cores=1,3,5,7
/proc/22868/task/22877/stat : 22877 (java) S 22866 22868 21597 0 -1 4202560 966 0 0 0 141 5 0 0 20 0 22 0 253753440 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699919350568 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22868/tid=22878] ppid=22866 vsize=9824668 CPUtime=1.35 cores=1,3,5,7
/proc/22868/task/22878/stat : 22878 (java) S 22866 22868 21597 0 -1 4202560 470 0 0 0 129 6 0 0 20 0 22 0 253753440 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699800763048 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22879] ppid=22866 vsize=9824668 CPUtime=6 cores=1,3,5,7
/proc/22868/task/22879/stat : 22879 (java) S 22866 22868 21597 0 -1 4202560 680 0 0 0 573 27 0 0 20 0 22 0 253753441 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699788351976 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22880] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22880/stat : 22880 (java) S 22866 22868 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253753442 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699787298040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22881] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22881/stat : 22881 (java) S 22866 22868 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253753442 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699786245128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22882] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22882/stat : 22882 (java) S 22866 22868 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253753444 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699785193616 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22883] ppid=22866 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/22868/task/22883/stat : 22883 (java) S 22866 22868 21597 0 -1 4202560 9689 0 0 0 96 2 0 0 20 0 22 0 253753444 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699045788600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22868/tid=22884] ppid=22866 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/22868/task/22884/stat : 22884 (java) S 22866 22868 21597 0 -1 4202560 13227 0 0 0 109 3 0 0 20 0 22 0 253753444 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699044735800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22885] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22885/stat : 22885 (java) S 22866 22868 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253753444 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699043683192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22886] ppid=22866 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/22868/task/22886/stat : 22886 (java) S 22866 22868 21597 0 -1 4202560 51 0 0 0 10 14 0 0 20 0 22 0 253753444 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699042630600 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22887] ppid=22866 vsize=9824668 CPUtime=890.29 cores=1,3,5,7
/proc/22868/task/22887/stat : 22887 (java) R 22866 22868 21597 0 -1 4202560 203 0 0 0 89013 16 0 0 20 0 22 0 253753454 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699041574368 139699801264310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22888] ppid=22866 vsize=9824668 CPUtime=890.33 cores=1,3,5,7
/proc/22868/task/22888/stat : 22888 (java) R 22866 22868 21597 0 -1 4202560 1982 0 0 0 89004 29 0 0 20 0 22 0 253753454 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699040520400 139699801296949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22868/tid=22889] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22889/stat : 22889 (java) S 22866 22868 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253753454 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699039470504 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22868/tid=22890] ppid=22866 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22868/task/22890/stat : 22890 (java) S 22866 22868 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253753454 10060460032 106399 33554432000 1073741824 1073778376 140734986294160 139699038417704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 899.86
CPU time (s): 1800.94
CPU user time (s): 1799.45
CPU system time (s): 1.49277
CPU usage (%): 200.136
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 1.49277
maximum resident set size= 1133656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34546
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28506
involuntary context switches= 38095
runsolver used 3.23251 second user time and 8.17276 second system time
The end