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-3739620-1338729515/watcher-3739620-1338729515 -o /tmp/evaluation-result-3739620-1338729515/solver-3739620-1338729515 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3739620-1338729515.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.77 3.85 3.52 5/199 4001
/proc/meminfo: memFree=25090300/32873844 swapFree=7124/7124
[pid=4001] ppid=3999 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/4001/stat : 4001 (java) D 3999 4001 30903 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 339076941 9515008 183 33554432000 1073741824 1073778376 140735200435824 140735200426856 273905696437 0 0 4096 0 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/4001/statm: 2323 183 140 9 0 71 0
[startup+0.0766329 s]
/proc/loadavg: 3.77 3.85 3.52 5/199 4001
/proc/meminfo: memFree=25090300/32873844 swapFree=7124/7124
[pid=4001] ppid=3999 vsize=11253516 CPUtime=0.05 cores=1,3,5,7
/proc/4001/stat : 4001 (java) S 3999 4001 30903 0 -1 4202496 4310 0 1 0 4 1 0 0 20 0 13 0 339076941 11523600384 12161 33554432000 1073741824 1073778376 140734738342128 140734738333264 273909055549 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4001/statm: 2813379 12161 1709 9 0 2804080 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11253516
[startup+0.100322 s]
/proc/loadavg: 3.77 3.85 3.52 5/199 4001
/proc/meminfo: memFree=25090300/32873844 swapFree=7124/7124
[pid=4001] ppid=3999 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/4001/stat : 4001 (java) S 3999 4001 30903 0 -1 4202496 4471 0 1 0 5 2 0 0 20 0 18 0 339076941 11864465408 12833 33554432000 1073741824 1073778376 140734738342128 140734738333264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4001/statm: 2896598 12833 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.300299 s]
/proc/loadavg: 3.77 3.85 3.52 5/199 4001
/proc/meminfo: memFree=25090300/32873844 swapFree=7124/7124
[pid=4001] ppid=3999 vsize=11586392 CPUtime=0.44 cores=1,3,5,7
/proc/4001/stat : 4001 (java) S 3999 4001 30903 0 -1 4202496 6181 0 1 0 42 2 0 0 20 0 18 0 339076941 11864465408 16360 33554432000 1073741824 1073778376 140734738342128 140734738333264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4001/statm: 2896598 16360 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 11586392
[startup+0.700267 s]
/proc/loadavg: 3.77 3.85 3.52 5/199 4001
/proc/meminfo: memFree=25090300/32873844 swapFree=7124/7124
[pid=4001] ppid=3999 vsize=11586392 CPUtime=1.3 cores=1,3,5,7
/proc/4001/stat : 4001 (java) S 3999 4001 30903 0 -1 4202496 10980 0 1 0 124 6 0 0 20 0 18 0 339076941 11864465408 46987 33554432000 1073741824 1073778376 140734738342128 140734738333264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4001/statm: 2896598 46987 2245 9 0 2887285 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 11586392
[startup+1.50069 s]
/proc/loadavg: 3.77 3.85 3.52 3/217 4019
/proc/meminfo: memFree=24622776/32873844 swapFree=7124/7124
[pid=4001] ppid=3999 vsize=11852648 CPUtime=3.09 cores=1,3,5,7
/proc/4001/stat : 4001 (java) S 3999 4001 30903 0 -1 4202496 19312 0 1 0 297 12 0 0 20 0 22 0 339076941 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140734738333264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4001/statm: 2963162 107029 2259 9 0 2953849 0
[pid=4001/tid=4003] ppid=3999 vsize=11852648 CPUtime=1.31 cores=1,3,5,7
/proc/4001/task/4003/stat : 4003 (java) S 3999 4001 30903 0 -1 4202560 3545 0 1 0 122 9 0 0 20 0 22 0 339076942 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140166134138008 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4004] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4004/stat : 4004 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076945 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140165970946984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4005] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4005/stat : 4005 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076945 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140165969894440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4006] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4006/stat : 4006 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076945 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140165968841384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4007] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4007/stat : 4007 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076945 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140165967788840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4008] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4008/stat : 4008 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076945 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140165966735784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4009] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4009/stat : 4009 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076945 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140165965683240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4010] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4010/stat : 4010 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076945 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140165964630184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4011] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4011/stat : 4011 (java) S 3999 4001 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 339076945 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140165963577640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4012] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4012/stat : 4012 (java) S 3999 4001 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 339076946 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140165951380328 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4013] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4013/stat : 4013 (java) S 3999 4001 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 339076946 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140165950326648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4014] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4014/stat : 4014 (java) S 3999 4001 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339076946 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140165949273480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4015] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4015/stat : 4015 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076949 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140165948222224 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4016] ppid=3999 vsize=11852648 CPUtime=0.72 cores=1,3,5,7
/proc/4001/task/4016/stat : 4016 (java) R 3999 4001 30903 0 -1 4202560 5490 0 0 0 70 2 0 0 20 0 22 0 339076949 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140165947156448 140166137156816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4017] ppid=3999 vsize=11852648 CPUtime=0.74 cores=1,3,5,7
/proc/4001/task/4017/stat : 4017 (java) R 3999 4001 30903 0 -1 4202560 8980 0 0 0 73 1 0 0 20 0 22 0 339076949 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140165946116536 140166137011888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4018] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4018/stat : 4018 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076949 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140165945063672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4019] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4019/stat : 4019 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076949 12137111552 107029 33554432000 1073741824 1073778376 140734738342128 140165944011336 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11852648
[startup+3.10085 s]
/proc/loadavg: 3.77 3.85 3.52 5/221 4023
/proc/meminfo: memFree=24293464/32873844 swapFree=7124/7124
[pid=4001] ppid=3999 vsize=11852648 CPUtime=7.11 cores=1,3,5,7
/proc/4001/stat : 4001 (java) S 3999 4001 30903 0 -1 4202496 22212 0 1 0 685 26 0 0 20 0 22 0 339076941 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140734738333264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4001/statm: 2963162 281664 2265 9 0 2953849 0
[pid=4001/tid=4003] ppid=3999 vsize=11852648 CPUtime=1.31 cores=1,3,5,7
/proc/4001/task/4003/stat : 4003 (java) S 3999 4001 30903 0 -1 4202560 3545 0 1 0 122 9 0 0 20 0 22 0 339076942 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140166134138008 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4004] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4004/stat : 4004 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076945 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165970946984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4005] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4005/stat : 4005 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076945 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165969894440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4006] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4006/stat : 4006 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076945 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165968841384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4007] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4007/stat : 4007 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076945 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165967788840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4008] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4008/stat : 4008 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076945 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165966735784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4009] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4009/stat : 4009 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076945 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165965683240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4010] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4010/stat : 4010 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076945 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165964630184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4011] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4011/stat : 4011 (java) S 3999 4001 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 339076945 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165963577640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4012] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4012/stat : 4012 (java) S 3999 4001 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 339076946 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165951380328 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4013] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4013/stat : 4013 (java) S 3999 4001 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 339076946 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165950326648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4014] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4014/stat : 4014 (java) S 3999 4001 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339076946 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165949273480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4015] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4015/stat : 4015 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076949 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165948222224 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4016] ppid=3999 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/4001/task/4016/stat : 4016 (java) S 3999 4001 30903 0 -1 4202560 5661 0 0 0 113 2 0 0 20 0 22 0 339076949 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165947169080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4017] ppid=3999 vsize=11852648 CPUtime=1.14 cores=1,3,5,7
/proc/4001/task/4017/stat : 4017 (java) S 3999 4001 30903 0 -1 4202560 11367 0 0 0 112 2 0 0 20 0 22 0 339076949 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165946116536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4018] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4018/stat : 4018 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076949 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165945063672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4019] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4019/stat : 4019 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076949 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165944011336 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4020] ppid=3999 vsize=11852648 CPUtime=1.72 cores=1,3,5,7
/proc/4001/task/4020/stat : 4020 (java) R 3999 4001 30903 0 -1 4202560 29 0 0 0 172 0 0 0 20 0 22 0 339077076 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165942955840 140166007110873 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4021] ppid=3999 vsize=11852648 CPUtime=1.72 cores=1,3,5,7
/proc/4001/task/4021/stat : 4021 (java) R 3999 4001 30903 0 -1 4202560 407 0 0 0 158 14 0 0 20 0 22 0 339077076 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165941902520 140166007149783 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4022] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4022/stat : 4022 (java) S 3999 4001 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339077082 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165940852008 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4023] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4023/stat : 4023 (java) S 3999 4001 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 339077082 12137111552 281664 33554432000 1073741824 1073778376 140734738342128 140165939799464 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 11852648
[startup+6.30091 s]
/proc/loadavg: 3.79 3.85 3.52 5/221 4023
/proc/meminfo: memFree=23519244/32873844 swapFree=7124/7124
[pid=4001] ppid=3999 vsize=11852648 CPUtime=13.54 cores=1,3,5,7
/proc/4001/stat : 4001 (java) S 3999 4001 30903 0 -1 4202496 22731 0 1 0 1316 38 0 0 20 0 22 0 339076941 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140734738333264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4001/statm: 2963162 357280 2290 9 0 2953849 0
[pid=4001/tid=4003] ppid=3999 vsize=11852648 CPUtime=1.31 cores=1,3,5,7
/proc/4001/task/4003/stat : 4003 (java) S 3999 4001 30903 0 -1 4202560 3545 0 1 0 122 9 0 0 20 0 22 0 339076942 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140166134138008 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4004] ppid=3999 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/4001/task/4004/stat : 4004 (java) S 3999 4001 30903 0 -1 4202560 15 0 0 0 1 1 0 0 20 0 22 0 339076945 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165970946984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4005] ppid=3999 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/4001/task/4005/stat : 4005 (java) S 3999 4001 30903 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 339076945 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165969894440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4006] ppid=3999 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/4001/task/4006/stat : 4006 (java) S 3999 4001 30903 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 339076945 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165968841384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4007] ppid=3999 vsize=11852648 CPUtime=0.05 cores=1,3,5,7
/proc/4001/task/4007/stat : 4007 (java) S 3999 4001 30903 0 -1 4202560 26 0 0 0 3 2 0 0 20 0 22 0 339076945 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165967788840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4008] ppid=3999 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/4001/task/4008/stat : 4008 (java) S 3999 4001 30903 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 22 0 339076945 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165966735784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4009] ppid=3999 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/4001/task/4009/stat : 4009 (java) S 3999 4001 30903 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 339076945 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165965683240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4010] ppid=3999 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/4001/task/4010/stat : 4010 (java) S 3999 4001 30903 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 339076945 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165964630184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4011] ppid=3999 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/4001/task/4011/stat : 4011 (java) S 3999 4001 30903 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 339076945 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165963577640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4012] ppid=3999 vsize=11852648 CPUtime=0.25 cores=1,3,5,7
/proc/4001/task/4012/stat : 4012 (java) S 3999 4001 30903 0 -1 4202560 52 0 0 0 25 0 0 0 20 0 22 0 339076946 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165951380328 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4013] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4013/stat : 4013 (java) S 3999 4001 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339076946 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165950326648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4014] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4014/stat : 4014 (java) S 3999 4001 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339076946 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165949273480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4015] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4015/stat : 4015 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076949 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165948222224 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4016] ppid=3999 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/4001/task/4016/stat : 4016 (java) S 3999 4001 30903 0 -1 4202560 5663 0 0 0 118 2 0 0 20 0 22 0 339076949 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165947169080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4017] ppid=3999 vsize=11852648 CPUtime=1.24 cores=1,3,5,7
/proc/4001/task/4017/stat : 4017 (java) S 3999 4001 30903 0 -1 4202560 11611 0 0 0 122 2 0 0 20 0 22 0 339076949 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165946116536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4018] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4018/stat : 4018 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076949 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165945063672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4019] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4019/stat : 4019 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076949 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165944011336 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4020] ppid=3999 vsize=11852648 CPUtime=4.57 cores=1,3,5,7
/proc/4001/task/4020/stat : 4020 (java) R 3999 4001 30903 0 -1 4202560 32 0 0 0 457 0 0 0 20 0 22 0 339077076 12137111552 357280 33554432000 1073741824 1073778376 140734738342128 140165942956880 140166006314894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
/proc/4001/statm: 2963162 1020553 2291 9 0 2953849 0
[pid=4001/tid=4003] ppid=3999 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/4001/task/4003/stat : 4003 (java) S 3999 4001 30903 0 -1 4202560 3572 0 1 0 125 11 0 0 20 0 22 0 339076942 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140166134138008 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4004] ppid=3999 vsize=11852648 CPUtime=1.73 cores=1,3,5,7
/proc/4001/task/4004/stat : 4004 (java) S 3999 4001 30903 0 -1 4202560 238 0 0 0 168 5 0 0 20 0 22 0 339076945 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165970946984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4005] ppid=3999 vsize=11852648 CPUtime=1.67 cores=1,3,5,7
/proc/4001/task/4005/stat : 4005 (java) S 3999 4001 30903 0 -1 4202560 277 0 0 0 161 6 0 0 20 0 22 0 339076945 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165969894440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4006] ppid=3999 vsize=11852648 CPUtime=1.6 cores=1,3,5,7
/proc/4001/task/4006/stat : 4006 (java) S 3999 4001 30903 0 -1 4202560 254 0 0 0 155 5 0 0 20 0 22 0 339076945 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165968841384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4007] ppid=3999 vsize=11852648 CPUtime=1.75 cores=1,3,5,7
/proc/4001/task/4007/stat : 4007 (java) S 3999 4001 30903 0 -1 4202560 288 0 0 0 167 8 0 0 20 0 22 0 339076945 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165967788840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4008] ppid=3999 vsize=11852648 CPUtime=1.46 cores=1,3,5,7
/proc/4001/task/4008/stat : 4008 (java) S 3999 4001 30903 0 -1 4202560 231 0 0 0 140 6 0 0 20 0 22 0 339076945 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165966735784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4009] ppid=3999 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/4001/task/4009/stat : 4009 (java) S 3999 4001 30903 0 -1 4202560 289 0 0 0 139 6 0 0 20 0 22 0 339076945 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165965683240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4010] ppid=3999 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/4001/task/4010/stat : 4010 (java) S 3999 4001 30903 0 -1 4202560 267 0 0 0 163 7 0 0 20 0 22 0 339076945 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165964630184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4011] ppid=3999 vsize=11852648 CPUtime=1.6 cores=1,3,5,7
/proc/4001/task/4011/stat : 4011 (java) S 3999 4001 30903 0 -1 4202560 227 0 0 0 154 6 0 0 20 0 22 0 339076945 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165963577640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4012] ppid=3999 vsize=11852648 CPUtime=28.7 cores=1,3,5,7
/proc/4001/task/4012/stat : 4012 (java) S 3999 4001 30903 0 -1 4202560 191 0 0 0 2858 12 0 0 20 0 22 0 339076946 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165951380328 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4013] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4013/stat : 4013 (java) S 3999 4001 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339076946 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165950326648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4014] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4014/stat : 4014 (java) S 3999 4001 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339076946 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165949273480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4015] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4015/stat : 4015 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076949 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165948222224 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4016] ppid=3999 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/4001/task/4016/stat : 4016 (java) S 3999 4001 30903 0 -1 4202560 5666 0 0 0 134 2 0 0 20 0 22 0 339076949 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165947169080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4017] ppid=3999 vsize=11852648 CPUtime=1.81 cores=1,3,5,7
/proc/4001/task/4017/stat : 4017 (java) S 3999 4001 30903 0 -1 4202560 14138 0 0 0 178 3 0 0 20 0 22 0 339076949 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165946116536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4018] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4018/stat : 4018 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076949 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165945063672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4019] ppid=3999 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/4001/task/4019/stat : 4019 (java) S 3999 4001 30903 0 -1 4202560 47 0 0 0 19 21 0 0 20 0 22 0 339076949 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165944011336 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4020] ppid=3999 vsize=11852648 CPUtime=786.37 cores=1,3,5,7
/proc/4001/task/4020/stat : 4020 (java) R 3999 4001 30903 0 -1 4202560 99 0 0 0 78624 13 0 0 20 0 22 0 339077076 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165942955936 140166007110868 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4021] ppid=3999 vsize=11852648 CPUtime=786.32 cores=1,3,5,7
/proc/4001/task/4021/stat : 4021 (java) R 3999 4001 30903 0 -1 4202560 1536 0 0 0 78569 63 0 0 20 0 22 0 339077076 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165941902208 140166007098530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4022] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4022/stat : 4022 (java) S 3999 4001 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339077082 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165940852008 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4023] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4023/stat : 4023 (java) S 3999 4001 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 339077082 12137111552 1020553 33554432000 1073741824 1073778376 140734738342128 140165939799464 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1623.37
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.89 3.90 3.75 5/221 4326
/proc/meminfo: memFree=21585360/32873844 swapFree=7124/7124
[pid=4001] ppid=3999 vsize=11852648 CPUtime=1741.14 cores=1,3,5,7
/proc/4001/stat : 4001 (java) S 3999 4001 30903 0 -1 4202496 28655 0 1 0 173956 158 0 0 20 0 22 0 339076941 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140734738333264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4001/statm: 2963162 1020684 2291 9 0 2953849 0
[pid=4001/tid=4003] ppid=3999 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/4001/task/4003/stat : 4003 (java) S 3999 4001 30903 0 -1 4202560 3573 0 1 0 125 11 0 0 20 0 22 0 339076942 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140166134138008 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4004] ppid=3999 vsize=11852648 CPUtime=1.85 cores=1,3,5,7
/proc/4001/task/4004/stat : 4004 (java) S 3999 4001 30903 0 -1 4202560 257 0 0 0 180 5 0 0 20 0 22 0 339076945 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165970946984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4005] ppid=3999 vsize=11852648 CPUtime=1.8 cores=1,3,5,7
/proc/4001/task/4005/stat : 4005 (java) S 3999 4001 30903 0 -1 4202560 314 0 0 0 174 6 0 0 20 0 22 0 339076945 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165969894440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4006] ppid=3999 vsize=11852648 CPUtime=1.67 cores=1,3,5,7
/proc/4001/task/4006/stat : 4006 (java) S 3999 4001 30903 0 -1 4202560 262 0 0 0 162 5 0 0 20 0 22 0 339076945 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165968841384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4007] ppid=3999 vsize=11852648 CPUtime=1.83 cores=1,3,5,7
/proc/4001/task/4007/stat : 4007 (java) S 3999 4001 30903 0 -1 4202560 294 0 0 0 175 8 0 0 20 0 22 0 339076945 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165967788840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4008] ppid=3999 vsize=11852648 CPUtime=1.61 cores=1,3,5,7
/proc/4001/task/4008/stat : 4008 (java) S 3999 4001 30903 0 -1 4202560 257 0 0 0 155 6 0 0 20 0 22 0 339076945 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165966735784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4009] ppid=3999 vsize=11852648 CPUtime=1.52 cores=1,3,5,7
/proc/4001/task/4009/stat : 4009 (java) S 3999 4001 30903 0 -1 4202560 298 0 0 0 145 7 0 0 20 0 22 0 339076945 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165965683240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4010] ppid=3999 vsize=11852648 CPUtime=1.78 cores=1,3,5,7
/proc/4001/task/4010/stat : 4010 (java) S 3999 4001 30903 0 -1 4202560 273 0 0 0 171 7 0 0 20 0 22 0 339076945 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165964630184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4011] ppid=3999 vsize=11852648 CPUtime=1.71 cores=1,3,5,7
/proc/4001/task/4011/stat : 4011 (java) S 3999 4001 30903 0 -1 4202560 247 0 0 0 165 6 0 0 20 0 22 0 339076945 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165963577640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4012] ppid=3999 vsize=11852648 CPUtime=31.33 cores=1,3,5,7
/proc/4001/task/4012/stat : 4012 (java) S 3999 4001 30903 0 -1 4202560 195 0 0 0 3120 13 0 0 20 0 22 0 339076946 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165951380328 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4013] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4013/stat : 4013 (java) S 3999 4001 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339076946 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165950326648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4014] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4014/stat : 4014 (java) S 3999 4001 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339076946 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165949273480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4015] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4015/stat : 4015 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076949 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165948222224 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4016] ppid=3999 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/4001/task/4016/stat : 4016 (java) S 3999 4001 30903 0 -1 4202560 5666 0 0 0 134 2 0 0 20 0 22 0 339076949 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165947169080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4017] ppid=3999 vsize=11852648 CPUtime=1.85 cores=1,3,5,7
/proc/4001/task/4017/stat : 4017 (java) S 3999 4001 30903 0 -1 4202560 14139 0 0 0 182 3 0 0 20 0 22 0 339076949 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165946116536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4018] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4018/stat : 4018 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076949 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165945063672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4019] ppid=3999 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/4001/task/4019/stat : 4019 (java) S 3999 4001 30903 0 -1 4202560 51 0 0 0 20 23 0 0 20 0 22 0 339076949 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165944011336 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4020] ppid=3999 vsize=11852648 CPUtime=843.37 cores=1,3,5,7
/proc/4001/task/4020/stat : 4020 (java) R 3999 4001 30903 0 -1 4202560 103 0 0 0 84323 14 0 0 20 0 22 0 339077076 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165942955120 140166007070327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4021] ppid=3999 vsize=11852648 CPUtime=843.3 cores=1,3,5,7
/proc/4001/task/4021/stat : 4021 (java) R 3999 4001 30903 0 -1 4202560 1537 0 0 0 84266 64 0 0 20 0 22 0 339077076 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165941903024 140166007129903 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4022] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4022/stat : 4022 (java) S 3999 4001 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339077082 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165940852008 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4023] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4023/stat : 4023 (java) S 3999 4001 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 339077082 12137111552 1020684 33554432000 1073741824 1073778376 140734738342128 140165939799464 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1741.14
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+912.401 s]
/proc/loadavg: 3.88 3.90 3.75 5/221 4326
/proc/meminfo: memFree=21276920/32873844 swapFree=7124/7124
[pid=4001] ppid=3999 vsize=11852648 CPUtime=1800.13 cores=1,3,5,7
/proc/4001/stat : 4001 (java) S 3999 4001 30903 0 -1 4202496 28737 0 1 0 179853 160 0 0 20 0 22 0 339076941 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140734738333264 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4001/statm: 2963162 1026356 2291 9 0 2953849 0
[pid=4001/tid=4003] ppid=3999 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/4001/task/4003/stat : 4003 (java) S 3999 4001 30903 0 -1 4202560 3573 0 1 0 125 11 0 0 20 0 22 0 339076942 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140166134138008 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4004] ppid=3999 vsize=11852648 CPUtime=1.89 cores=1,3,5,7
/proc/4001/task/4004/stat : 4004 (java) S 3999 4001 30903 0 -1 4202560 263 0 0 0 183 6 0 0 20 0 22 0 339076945 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165970946984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4005] ppid=3999 vsize=11852648 CPUtime=1.84 cores=1,3,5,7
/proc/4001/task/4005/stat : 4005 (java) S 3999 4001 30903 0 -1 4202560 319 0 0 0 178 6 0 0 20 0 22 0 339076945 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165969894440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4006] ppid=3999 vsize=11852648 CPUtime=1.72 cores=1,3,5,7
/proc/4001/task/4006/stat : 4006 (java) S 3999 4001 30903 0 -1 4202560 275 0 0 0 167 5 0 0 20 0 22 0 339076945 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165968841384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4007] ppid=3999 vsize=11852648 CPUtime=1.88 cores=1,3,5,7
/proc/4001/task/4007/stat : 4007 (java) S 3999 4001 30903 0 -1 4202560 310 0 0 0 180 8 0 0 20 0 22 0 339076945 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165967788840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4008] ppid=3999 vsize=11852648 CPUtime=1.68 cores=1,3,5,7
/proc/4001/task/4008/stat : 4008 (java) S 3999 4001 30903 0 -1 4202560 264 0 0 0 162 6 0 0 20 0 22 0 339076945 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165966735784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4009] ppid=3999 vsize=11852648 CPUtime=1.58 cores=1,3,5,7
/proc/4001/task/4009/stat : 4009 (java) S 3999 4001 30903 0 -1 4202560 307 0 0 0 151 7 0 0 20 0 22 0 339076945 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165965683240 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4010] ppid=3999 vsize=11852648 CPUtime=1.84 cores=1,3,5,7
/proc/4001/task/4010/stat : 4010 (java) S 3999 4001 30903 0 -1 4202560 286 0 0 0 177 7 0 0 20 0 22 0 339076945 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165964630184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4011] ppid=3999 vsize=11852648 CPUtime=1.75 cores=1,3,5,7
/proc/4001/task/4011/stat : 4011 (java) S 3999 4001 30903 0 -1 4202560 253 0 0 0 169 6 0 0 20 0 22 0 339076945 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165963577640 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4012] ppid=3999 vsize=11852648 CPUtime=32.75 cores=1,3,5,7
/proc/4001/task/4012/stat : 4012 (java) S 3999 4001 30903 0 -1 4202560 197 0 0 0 3262 13 0 0 20 0 22 0 339076946 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165951380328 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4013] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4013/stat : 4013 (java) S 3999 4001 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339076946 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165950326648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4014] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4014/stat : 4014 (java) S 3999 4001 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339076946 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165949273480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4015] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4015/stat : 4015 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076949 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165948222224 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4016] ppid=3999 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/4001/task/4016/stat : 4016 (java) S 3999 4001 30903 0 -1 4202560 5666 0 0 0 134 2 0 0 20 0 22 0 339076949 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165947169080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4001/tid=4017] ppid=3999 vsize=11852648 CPUtime=1.85 cores=1,3,5,7
/proc/4001/task/4017/stat : 4017 (java) S 3999 4001 30903 0 -1 4202560 14139 0 0 0 182 3 0 0 20 0 22 0 339076949 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165946116536 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4018] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4018/stat : 4018 (java) S 3999 4001 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339076949 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165945063672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4019] ppid=3999 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/4001/task/4019/stat : 4019 (java) S 3999 4001 30903 0 -1 4202560 53 0 0 0 21 24 0 0 20 0 22 0 339076949 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165944011336 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4020] ppid=3999 vsize=11852648 CPUtime=871.87 cores=1,3,5,7
/proc/4001/task/4020/stat : 4020 (java) R 3999 4001 30903 0 -1 4202560 106 0 0 0 87172 15 0 0 20 0 22 0 339077076 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165942956880 140166007011296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4001/tid=4021] ppid=3999 vsize=11852648 CPUtime=871.78 cores=1,3,5,7
/proc/4001/task/4021/stat : 4021 (java) R 3999 4001 30903 0 -1 4202560 1537 0 0 0 87113 65 0 0 20 0 22 0 339077076 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165941902480 140166007098152 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4001/tid=4022] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4022/stat : 4022 (java) S 3999 4001 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339077082 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165940852008 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4001/tid=4023] ppid=3999 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4001/task/4023/stat : 4023 (java) S 3999 4001 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 339077082 12137111552 1026356 33554432000 1073741824 1073778376 140734738342128 140165939799464 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4001 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=270
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=11694
# CPU time returned by wait4() is 1796.01
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 912.457
CPU time (s): 1800.13
CPU user time (s): 1798.53
CPU system time (s): 1.6
CPU usage (%): 197.284
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794
system time used= 2.01169
maximum resident set size= 4105544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28769
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25246
involuntary context switches= 35767
runsolver used 2.99055 second user time and 9.47556 second system time
The end