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-3718257-1338259169/watcher-3718257-1338259169 -o /tmp/evaluation-result-3718257-1338259169/solver-3718257-1338259169 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718257-1338259169.wbo
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: 1.07 1.18 1.56 2/175 15721
/proc/meminfo: memFree=28426152/32873624 swapFree=7104/7104
[pid=15721] ppid=15719 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/15721/stat : 15721 (java) S 15719 15721 13062 0 -1 4202496 1174 0 0 0 0 0 0 0 20 0 2 0 292042376 91889664 894 33554432000 1073741824 1073778376 140736331225392 140736331216528 227515859005 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15721/statm: 22970 902 685 9 0 16769 0
[pid=15721/tid=15730] ppid=15719 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15730/stat : 15730 (java) R 15719 15721 13062 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 2 0 292042377 94019584 912 33554432000 1073741824 1073778376 140736331225392 140736331214456 227512086288 0 0 4096 0 0 0 0 -1 5 0 0 0 0 0
[startup+0.0510959 s]
/proc/loadavg: 1.07 1.18 1.56 2/175 15721
/proc/meminfo: memFree=28426152/32873624 swapFree=7104/7104
[pid=15721] ppid=15719 vsize=9558416 CPUtime=0.03 cores=1,3,5,7
/proc/15721/stat : 15721 (java) S 15719 15721 13062 0 -1 4202496 3189 0 1 0 3 0 0 0 20 0 18 0 292042376 9787817984 4398 33554432000 1073741824 1073778376 140736331225392 140736331216528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15721/statm: 2389604 4398 1758 9 0 2380296 0
[pid=15721/tid=15730] ppid=15719 vsize=9558416 CPUtime=0.03 cores=1,3,5,7
/proc/15721/task/15730/stat : 15730 (java) R 15719 15721 13062 0 -1 4202560 1980 0 1 0 3 0 0 0 20 0 18 0 292042377 9787817984 4398 33554432000 1073741824 1073778376 140736331225392 140555174927008 227515884813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9558416
[startup+0.100227 s]
/proc/loadavg: 1.07 1.18 1.56 2/175 15721
/proc/meminfo: memFree=28426152/32873624 swapFree=7104/7104
[pid=15721] ppid=15719 vsize=9558416 CPUtime=0.1 cores=1,3,5,7
/proc/15721/stat : 15721 (java) S 15719 15721 13062 0 -1 4202496 4479 0 1 0 10 0 0 0 20 0 18 0 292042376 9787817984 6147 33554432000 1073741824 1073778376 140736331225392 140736331216528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15721/statm: 2389604 6147 2145 9 0 2380296 0
[pid=15721/tid=15730] ppid=15719 vsize=9558416 CPUtime=0.07 cores=1,3,5,7
/proc/15721/task/15730/stat : 15730 (java) R 15719 15721 13062 0 -1 4202560 2439 0 1 0 7 0 0 0 20 0 18 0 292042377 9787817984 6147 33554432000 1073741824 1073778376 140736331225392 140555174917560 227515884813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416
[startup+0.300185 s]
/proc/loadavg: 1.07 1.18 1.56 2/175 15721
/proc/meminfo: memFree=28426152/32873624 swapFree=7104/7104
[pid=15721] ppid=15719 vsize=9558416 CPUtime=0.51 cores=1,3,5,7
/proc/15721/stat : 15721 (java) S 15719 15721 13062 0 -1 4202496 5989 0 1 0 50 1 0 0 20 0 18 0 292042376 9787817984 9991 33554432000 1073741824 1073778376 140736331225392 140736331216528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15721/statm: 2389604 9991 2218 9 0 2380296 0
[pid=15721/tid=15730] ppid=15719 vsize=9558416 CPUtime=0.27 cores=1,3,5,7
/proc/15721/task/15730/stat : 15730 (java) R 15719 15721 13062 0 -1 4202560 2453 0 1 0 27 0 0 0 20 0 18 0 292042377 9787817984 9991 33554432000 1073741824 1073778376 140736331225392 140555174915904 140555036582972 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558416
[startup+0.700198 s]
/proc/loadavg: 1.07 1.18 1.56 2/175 15721
/proc/meminfo: memFree=28426152/32873624 swapFree=7104/7104
[pid=15721] ppid=15719 vsize=9624980 CPUtime=1.52 cores=1,3,5,7
/proc/15721/stat : 15721 (java) S 15719 15721 13062 0 -1 4202496 10614 0 1 0 149 3 0 0 20 0 19 0 292042376 9855979520 21779 33554432000 1073741824 1073778376 140736331225392 140736331216528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15721/statm: 2406245 21779 2256 9 0 2396937 0
[pid=15721/tid=15730] ppid=15719 vsize=9624980 CPUtime=0.67 cores=1,3,5,7
/proc/15721/task/15730/stat : 15730 (java) R 15719 15721 13062 0 -1 4202560 2485 0 1 0 66 1 0 0 20 0 19 0 292042377 9855979520 21779 33554432000 1073741824 1073778376 140736331225392 140555174916408 140555036632656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9624980
[startup+1.50066 s]
/proc/loadavg: 1.22 1.21 1.57 3/211 15814
/proc/meminfo: memFree=28299184/32873624 swapFree=7104/7104
[pid=15721] ppid=15719 vsize=9624980 CPUtime=2.51 cores=1,3,5,7
/proc/15721/stat : 15721 (java) S 15719 15721 13062 0 -1 4202496 11728 0 1 0 248 3 0 0 20 0 19 0 292042376 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140736331216528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15721/statm: 2406245 26057 2256 9 0 2396937 0
[pid=15721/tid=15730] ppid=15719 vsize=9624980 CPUtime=1.48 cores=1,3,5,7
/proc/15721/task/15730/stat : 15730 (java) R 15719 15721 13062 0 -1 4202560 2493 0 1 0 146 2 0 0 20 0 19 0 292042377 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140555174924632 140555037022401 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15721/tid=15732] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15732/stat : 15732 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140555163986856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15733] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15733/stat : 15733 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140555162934312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15734] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15734/stat : 15734 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140555161881256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15721/tid=15735] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15735/stat : 15735 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140555160828712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15721/tid=15736] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15736/stat : 15736 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140555159775656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15737] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15737/stat : 15737 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140555158723112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15738] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15738/stat : 15738 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140555157670056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15721/tid=15739] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15739/stat : 15739 (java) S 15719 15721 13062 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140555156617512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15741] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15741/stat : 15741 (java) S 15719 15721 13062 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 292042379 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140554999081832 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15744] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15744/stat : 15744 (java) S 15719 15721 13062 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 292042379 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140554998028152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15745] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15745/stat : 15745 (java) S 15719 15721 13062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292042379 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140554996974984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15750] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15750/stat : 15750 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042381 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140554995923728 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15752] ppid=15719 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/15721/task/15752/stat : 15752 (java) S 15719 15721 13062 0 -1 4202560 3759 0 0 0 47 0 0 0 20 0 19 0 292042381 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140554994870584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15753] ppid=15719 vsize=9624980 CPUtime=0.52 cores=1,3,5,7
/proc/15721/task/15753/stat : 15753 (java) S 15719 15721 13062 0 -1 4202560 4277 0 0 0 52 0 0 0 20 0 19 0 292042381 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140554993818040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15754] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15754/stat : 15754 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042381 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140554992765176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15755] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15755/stat : 15755 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042381 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140554991712840 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15813] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15813/stat : 15813 (java) S 15719 15721 13062 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 292042427 9855979520 26057 33554432000 1073741824 1073778376 140736331225392 140554990659112 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 9624980
[startup+3.1006 s]
/proc/loadavg: 1.22 1.21 1.57 3/211 15814
/proc/meminfo: memFree=28281808/32873624 swapFree=7104/7104
[pid=15721] ppid=15719 vsize=9624980 CPUtime=4.12 cores=1,3,5,7
/proc/15721/stat : 15721 (java) S 15719 15721 13062 0 -1 4202496 11734 0 1 0 408 4 0 0 20 0 19 0 292042376 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140736331216528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15721/statm: 2406245 28106 2256 9 0 2396937 0
[pid=15721/tid=15730] ppid=15719 vsize=9624980 CPUtime=3.07 cores=1,3,5,7
/proc/15721/task/15730/stat : 15730 (java) R 15719 15721 13062 0 -1 4202560 2498 0 1 0 305 2 0 0 20 0 19 0 292042377 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140555174924584 140555037044671 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15721/tid=15732] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15732/stat : 15732 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140555163986856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15733] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15733/stat : 15733 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140555162934312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15734] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15734/stat : 15734 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140555161881256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15721/tid=15735] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15735/stat : 15735 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140555160828712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15721/tid=15736] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15736/stat : 15736 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140555159775656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15737] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15737/stat : 15737 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140555158723112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15738] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15738/stat : 15738 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140555157670056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15721/tid=15739] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15739/stat : 15739 (java) S 15719 15721 13062 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140555156617512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15741] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15741/stat : 15741 (java) S 15719 15721 13062 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 292042379 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140554999081832 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15744] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15744/stat : 15744 (java) S 15719 15721 13062 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 292042379 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140554998028152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15745] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15745/stat : 15745 (java) S 15719 15721 13062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292042379 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140554996974984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15750] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15750/stat : 15750 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042381 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140554995923728 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15752] ppid=15719 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/15721/task/15752/stat : 15752 (java) S 15719 15721 13062 0 -1 4202560 3759 0 0 0 47 0 0 0 20 0 19 0 292042381 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140554994870584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15753] ppid=15719 vsize=9624980 CPUtime=0.52 cores=1,3,5,7
/proc/15721/task/15753/stat : 15753 (java) S 15719 15721 13062 0 -1 4202560 4277 0 0 0 52 0 0 0 20 0 19 0 292042381 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140554993818040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15754] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15754/stat : 15754 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042381 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140554992765176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15755] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15755/stat : 15755 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042381 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140554991712840 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15813] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15813/stat : 15813 (java) S 15719 15721 13062 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 292042427 9855979520 28106 33554432000 1073741824 1073778376 140736331225392 140554990659112 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 9624980
[startup+6.30063 s]
/proc/loadavg: 1.28 1.23 1.57 3/211 15814
/proc/meminfo: memFree=28261084/32873624 swapFree=7104/7104
[pid=15721] ppid=15719 vsize=9624980 CPUtime=7.33 cores=1,3,5,7
/proc/15721/stat : 15721 (java) S 15719 15721 13062 0 -1 4202496 11746 0 1 0 729 4 0 0 20 0 19 0 292042376 9855979520 32699 33554432000 1073741824 1073778376 140736331225392 140736331216528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15721/statm: 2406245 32699 2257 9 0 2396937 0
[pid=15721/tid=15730] ppid=15719 vsize=9624980 CPUtime=6.27 cores=1,3,5,7
/proc/15721/task/15730/stat : 15730 (java) R 15719 15721 13062 0 -1 4202560 2509 0 1 0 625 2 0 0 20 0 19 0 292042377 9855979520 32699 33554432000 1073741824 1073778376 140736331225392 140555174924776 140555036845816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15721/tid=15732] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15732/stat : 15732 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 32699 33554432000 1073741824 1073778376 140736331225392 140555163986856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15733] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15733/stat : 15733 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 32699 33554432000 1073741824 1073778376 140736331225392 140555162934312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15734] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15734/stat : 15734 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 32699 33554432000 1073741824 1073778376 140736331225392 140555161881256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15721/tid=15735] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15735/stat : 15735 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 32699 33554432000 1073741824 1073778376 140736331225392 140555160828712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15721/tid=15736] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15736/stat : 15736 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 32699 33554432000 1073741824 1073778376 140736331225392 140555159775656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15737] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15737/stat : 15737 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 32699 33554432000 1073741824 1073778376 140736331225392 140555158723112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15738] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15738/stat : 15738 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 32699 33554432000 1073741824 1073778376 140736331225392 140555157670056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15721/tid=15739] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15739/stat : 15739 (java) S 15719 15721 13062 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 292042378 9855979520 32699 33554432000 1073741824 1073778376 140736331225392 140555156617512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15741] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15741/stat : 15741 (java) S 15719 15721 13062 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 292042379 9855979520 32699 33554432000 1073741824 1073778376 140736331225392 140554999081832 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15744] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15744/stat : 15744 (java) S 15719 15721 13062 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 292042379 9855979520 32699 33554432000 1073741824 1073778376 140736331225392 140554998028152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15745] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15745/stat : 15745 (java) S 15719 15721 13062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 292042379 9855979520 32699 33554432000 1073741824 1073778376 140736331225392 140554996974984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15750] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15750/stat : 15750 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042381 9855979520 32699 33554432000 1073741824 1073778376 140736331225392 140554995923728 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15752] ppid=15719 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/15721/task/15752/stat : 15752 (java) S 15719 15721 13062 0 -1 4202560 3759 0 0 0 47 0 0 0 20 0 19 0 292042381 9855979520 32699 33554432000 1073741824 1073778376 140736331225392 140554994870584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15753] ppid=15719 vsize=9624980 CPUtime=0.53 cores=1,3,5,7
/proc/15721/task/15753/stat : 15753 (java) S 15719 15721 13062 0 -1 4202560 4278 0 0 0 53 0 0 0 20 0 19 0 292042381 9855979520 32699 33554432000 1073741824 1073778376 140736331225392 140554993818040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=15721/tid=15752] ppid=15719 vsize=9624980 CPUtime=0.55 cores=1,3,5,7
/proc/15721/task/15752/stat : 15752 (java) S 15719 15721 13062 0 -1 4202560 3777 0 0 0 55 0 0 0 20 0 19 0 292042381 9855979520 195024 33554432000 1073741824 1073778376 140736331225392 140554994870584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15753] ppid=15719 vsize=9624980 CPUtime=0.58 cores=1,3,5,7
/proc/15721/task/15753/stat : 15753 (java) S 15719 15721 13062 0 -1 4202560 4282 0 0 0 58 0 0 0 20 0 19 0 292042381 9855979520 195024 33554432000 1073741824 1073778376 140736331225392 140554993818040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15754] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15754/stat : 15754 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042381 9855979520 195024 33554432000 1073741824 1073778376 140736331225392 140554992765176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15755] ppid=15719 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/15721/task/15755/stat : 15755 (java) S 15719 15721 13062 0 -1 4202560 94 0 0 0 16 15 0 0 20 0 19 0 292042381 9855979520 195024 33554432000 1073741824 1073778376 140736331225392 140554991712840 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15813] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15813/stat : 15813 (java) S 15719 15721 13062 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 292042427 9855979520 195024 33554432000 1073741824 1073778376 140736331225392 140554990659112 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1684.53
Current children cumulated vsize (KiB) 9624980
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.91 3/211 15853
/proc/meminfo: memFree=27438464/32873624 swapFree=7104/7104
[pid=15721] ppid=15719 vsize=9624980 CPUtime=1745.39 cores=1,3,5,7
/proc/15721/stat : 15721 (java) S 15719 15721 13062 0 -1 4202496 24157 0 1 0 174375 164 0 0 20 0 19 0 292042376 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140736331216528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15721/statm: 2406245 199358 2283 9 0 2396937 0
[pid=15721/tid=15730] ppid=15719 vsize=9624980 CPUtime=1705.43 cores=1,3,5,7
/proc/15721/task/15730/stat : 15730 (java) R 15719 15721 13062 0 -1 4202560 3228 0 1 0 170513 30 0 0 20 0 19 0 292042377 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140555174923632 140555036882225 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15721/tid=15732] ppid=15719 vsize=9624980 CPUtime=3.9 cores=1,3,5,7
/proc/15721/task/15732/stat : 15732 (java) S 15719 15721 13062 0 -1 4202560 953 0 0 0 375 15 0 0 20 0 19 0 292042378 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140555163986856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15733] ppid=15719 vsize=9624980 CPUtime=3.76 cores=1,3,5,7
/proc/15721/task/15733/stat : 15733 (java) S 15719 15721 13062 0 -1 4202560 1720 0 0 0 358 18 0 0 20 0 19 0 292042378 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140555162934312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15721/tid=15734] ppid=15719 vsize=9624980 CPUtime=3.77 cores=1,3,5,7
/proc/15721/task/15734/stat : 15734 (java) S 15719 15721 13062 0 -1 4202560 1267 0 0 0 364 13 0 0 20 0 19 0 292042378 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140555161881256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15721/tid=15735] ppid=15719 vsize=9624980 CPUtime=3.69 cores=1,3,5,7
/proc/15721/task/15735/stat : 15735 (java) S 15719 15721 13062 0 -1 4202560 864 0 0 0 355 14 0 0 20 0 19 0 292042378 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140555160828712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15721/tid=15736] ppid=15719 vsize=9624980 CPUtime=3.84 cores=1,3,5,7
/proc/15721/task/15736/stat : 15736 (java) S 15719 15721 13062 0 -1 4202560 1194 0 0 0 365 19 0 0 20 0 19 0 292042378 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140555159775656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15737] ppid=15719 vsize=9624980 CPUtime=3.87 cores=1,3,5,7
/proc/15721/task/15737/stat : 15737 (java) S 15719 15721 13062 0 -1 4202560 1133 0 0 0 372 15 0 0 20 0 19 0 292042378 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140555158723112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15721/tid=15738] ppid=15719 vsize=9624980 CPUtime=3.85 cores=1,3,5,7
/proc/15721/task/15738/stat : 15738 (java) S 15719 15721 13062 0 -1 4202560 2045 0 0 0 369 16 0 0 20 0 19 0 292042378 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140555157670056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15739] ppid=15719 vsize=9624980 CPUtime=3.79 cores=1,3,5,7
/proc/15721/task/15739/stat : 15739 (java) S 15719 15721 13062 0 -1 4202560 999 0 0 0 360 19 0 0 20 0 19 0 292042378 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140555156617512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15741] ppid=15719 vsize=9624980 CPUtime=3.29 cores=1,3,5,7
/proc/15721/task/15741/stat : 15741 (java) S 15719 15721 13062 0 -1 4202560 1412 0 0 0 322 7 0 0 20 0 19 0 292042379 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140554999081832 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15721/tid=15744] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15744/stat : 15744 (java) S 15719 15721 13062 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292042379 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140554998028152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15745] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15745/stat : 15745 (java) S 15719 15721 13062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292042379 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140554996974984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15750] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15750/stat : 15750 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042381 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140554995923728 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15752] ppid=15719 vsize=9624980 CPUtime=0.55 cores=1,3,5,7
/proc/15721/task/15752/stat : 15752 (java) S 15719 15721 13062 0 -1 4202560 3777 0 0 0 55 0 0 0 20 0 19 0 292042381 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140554994870584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15753] ppid=15719 vsize=9624980 CPUtime=0.58 cores=1,3,5,7
/proc/15721/task/15753/stat : 15753 (java) S 15719 15721 13062 0 -1 4202560 4282 0 0 0 58 0 0 0 20 0 19 0 292042381 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140554993818040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15754] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15754/stat : 15754 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042381 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140554992765176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15755] ppid=15719 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/15721/task/15755/stat : 15755 (java) S 15719 15721 13062 0 -1 4202560 98 0 0 0 16 16 0 0 20 0 19 0 292042381 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140554991712840 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15813] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15813/stat : 15813 (java) S 15719 15721 13062 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 292042427 9855979520 199358 33554432000 1073741824 1073778376 140736331225392 140554990659112 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1745.39
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1776.1 s]
/proc/loadavg: 2.01 2.02 1.91 3/211 15853
/proc/meminfo: memFree=27421960/32873624 swapFree=7104/7104
[pid=15721] ppid=15719 vsize=9624980 CPUtime=1800.08 cores=1,3,5,7
/proc/15721/stat : 15721 (java) S 15719 15721 13062 0 -1 4202496 24843 0 1 0 179840 168 0 0 20 0 19 0 292042376 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140736331216528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15721/statm: 2406245 203533 2283 9 0 2396937 0
[pid=15721/tid=15730] ppid=15719 vsize=9624980 CPUtime=1758.57 cores=1,3,5,7
/proc/15721/task/15730/stat : 15730 (java) R 15719 15721 13062 0 -1 4202560 3256 0 1 0 175825 32 0 0 20 0 19 0 292042377 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555174923648 140555036882216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15732] ppid=15719 vsize=9624980 CPUtime=4.05 cores=1,3,5,7
/proc/15721/task/15732/stat : 15732 (java) S 15719 15721 13062 0 -1 4202560 957 0 0 0 390 15 0 0 20 0 19 0 292042378 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555163986856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15733] ppid=15719 vsize=9624980 CPUtime=3.88 cores=1,3,5,7
/proc/15721/task/15733/stat : 15733 (java) S 15719 15721 13062 0 -1 4202560 1726 0 0 0 370 18 0 0 20 0 19 0 292042378 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555162934312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15734] ppid=15719 vsize=9624980 CPUtime=3.89 cores=1,3,5,7
/proc/15721/task/15734/stat : 15734 (java) S 15719 15721 13062 0 -1 4202560 1271 0 0 0 376 13 0 0 20 0 19 0 292042378 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555161881256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15721/tid=15735] ppid=15719 vsize=9624980 CPUtime=3.84 cores=1,3,5,7
/proc/15721/task/15735/stat : 15735 (java) S 15719 15721 13062 0 -1 4202560 923 0 0 0 370 14 0 0 20 0 19 0 292042378 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555160828712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15736] ppid=15719 vsize=9624980 CPUtime=4.01 cores=1,3,5,7
/proc/15721/task/15736/stat : 15736 (java) S 15719 15721 13062 0 -1 4202560 1231 0 0 0 382 19 0 0 20 0 19 0 292042378 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555159775656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15721/tid=15737] ppid=15719 vsize=9624980 CPUtime=4.07 cores=1,3,5,7
/proc/15721/task/15737/stat : 15737 (java) S 15719 15721 13062 0 -1 4202560 1289 0 0 0 392 15 0 0 20 0 19 0 292042378 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555158723112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15738] ppid=15719 vsize=9624980 CPUtime=4.02 cores=1,3,5,7
/proc/15721/task/15738/stat : 15738 (java) S 15719 15721 13062 0 -1 4202560 2191 0 0 0 386 16 0 0 20 0 19 0 292042378 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555157670056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15721/tid=15739] ppid=15719 vsize=9624980 CPUtime=3.94 cores=1,3,5,7
/proc/15721/task/15739/stat : 15739 (java) S 15719 15721 13062 0 -1 4202560 1233 0 0 0 374 20 0 0 20 0 19 0 292042378 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555156617512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15721/tid=15741] ppid=15719 vsize=9624980 CPUtime=3.44 cores=1,3,5,7
/proc/15721/task/15741/stat : 15741 (java) S 15719 15721 13062 0 -1 4202560 1420 0 0 0 337 7 0 0 20 0 19 0 292042379 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554999081832 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15721/tid=15744] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15744/stat : 15744 (java) S 15719 15721 13062 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292042379 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554998028152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15745] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15745/stat : 15745 (java) S 15719 15721 13062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292042379 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554996974984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15750] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15750/stat : 15750 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042381 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554995923728 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15752] ppid=15719 vsize=9624980 CPUtime=0.55 cores=1,3,5,7
/proc/15721/task/15752/stat : 15752 (java) S 15719 15721 13062 0 -1 4202560 3777 0 0 0 55 0 0 0 20 0 19 0 292042381 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554994870584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15753] ppid=15719 vsize=9624980 CPUtime=0.58 cores=1,3,5,7
/proc/15721/task/15753/stat : 15753 (java) S 15719 15721 13062 0 -1 4202560 4282 0 0 0 58 0 0 0 20 0 19 0 292042381 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554993818040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15754] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15754/stat : 15754 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042381 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554992765176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15755] ppid=15719 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/15721/task/15755/stat : 15755 (java) S 15719 15721 13062 0 -1 4202560 102 0 0 0 17 17 0 0 20 0 19 0 292042381 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554991712840 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15813] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15813/stat : 15813 (java) S 15719 15721 13062 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 292042427 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554990659112 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1776.1 s]
/proc/loadavg: 2.01 2.02 1.91 3/211 15853
/proc/meminfo: memFree=27421960/32873624 swapFree=7104/7104
[pid=15721] ppid=15719 vsize=9624980 CPUtime=1800.08 cores=1,3,5,7
/proc/15721/stat : 15721 (java) S 15719 15721 13062 0 -1 4202496 24843 0 1 0 179840 168 0 0 20 0 19 0 292042376 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140736331216528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15721/statm: 2406245 203533 2283 9 0 2396937 0
[pid=15721/tid=15730] ppid=15719 vsize=9624980 CPUtime=1758.57 cores=1,3,5,7
/proc/15721/task/15730/stat : 15730 (java) R 15719 15721 13062 0 -1 4202560 3256 0 1 0 175825 32 0 0 20 0 19 0 292042377 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555174923648 140555036882216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15732] ppid=15719 vsize=9624980 CPUtime=4.05 cores=1,3,5,7
/proc/15721/task/15732/stat : 15732 (java) S 15719 15721 13062 0 -1 4202560 957 0 0 0 390 15 0 0 20 0 19 0 292042378 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555163986856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15733] ppid=15719 vsize=9624980 CPUtime=3.88 cores=1,3,5,7
/proc/15721/task/15733/stat : 15733 (java) S 15719 15721 13062 0 -1 4202560 1726 0 0 0 370 18 0 0 20 0 19 0 292042378 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555162934312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15734] ppid=15719 vsize=9624980 CPUtime=3.89 cores=1,3,5,7
/proc/15721/task/15734/stat : 15734 (java) S 15719 15721 13062 0 -1 4202560 1271 0 0 0 376 13 0 0 20 0 19 0 292042378 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555161881256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15721/tid=15735] ppid=15719 vsize=9624980 CPUtime=3.84 cores=1,3,5,7
/proc/15721/task/15735/stat : 15735 (java) S 15719 15721 13062 0 -1 4202560 923 0 0 0 370 14 0 0 20 0 19 0 292042378 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555160828712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15736] ppid=15719 vsize=9624980 CPUtime=4.01 cores=1,3,5,7
/proc/15721/task/15736/stat : 15736 (java) S 15719 15721 13062 0 -1 4202560 1231 0 0 0 382 19 0 0 20 0 19 0 292042378 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555159775656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15721/tid=15737] ppid=15719 vsize=9624980 CPUtime=4.07 cores=1,3,5,7
/proc/15721/task/15737/stat : 15737 (java) S 15719 15721 13062 0 -1 4202560 1289 0 0 0 392 15 0 0 20 0 19 0 292042378 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555158723112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15738] ppid=15719 vsize=9624980 CPUtime=4.02 cores=1,3,5,7
/proc/15721/task/15738/stat : 15738 (java) S 15719 15721 13062 0 -1 4202560 2191 0 0 0 386 16 0 0 20 0 19 0 292042378 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555157670056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15721/tid=15739] ppid=15719 vsize=9624980 CPUtime=3.94 cores=1,3,5,7
/proc/15721/task/15739/stat : 15739 (java) S 15719 15721 13062 0 -1 4202560 1233 0 0 0 374 20 0 0 20 0 19 0 292042378 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140555156617512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15721/tid=15741] ppid=15719 vsize=9624980 CPUtime=3.44 cores=1,3,5,7
/proc/15721/task/15741/stat : 15741 (java) S 15719 15721 13062 0 -1 4202560 1420 0 0 0 337 7 0 0 20 0 19 0 292042379 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554999081832 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15721/tid=15744] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15744/stat : 15744 (java) S 15719 15721 13062 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 292042379 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554998028152 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15745] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15745/stat : 15745 (java) S 15719 15721 13062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 292042379 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554996974984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15750] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15750/stat : 15750 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042381 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554995923728 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15752] ppid=15719 vsize=9624980 CPUtime=0.55 cores=1,3,5,7
/proc/15721/task/15752/stat : 15752 (java) S 15719 15721 13062 0 -1 4202560 3777 0 0 0 55 0 0 0 20 0 19 0 292042381 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554994870584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15753] ppid=15719 vsize=9624980 CPUtime=0.58 cores=1,3,5,7
/proc/15721/task/15753/stat : 15753 (java) S 15719 15721 13062 0 -1 4202560 4282 0 0 0 58 0 0 0 20 0 19 0 292042381 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554993818040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15721/tid=15754] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15754/stat : 15754 (java) S 15719 15721 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 292042381 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554992765176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15755] ppid=15719 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/15721/task/15755/stat : 15755 (java) S 15719 15721 13062 0 -1 4202560 102 0 0 0 17 17 0 0 20 0 19 0 292042381 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554991712840 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15721/tid=15813] ppid=15719 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/15721/task/15813/stat : 15813 (java) S 15719 15721 13062 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 292042427 9855979520 203533 33554432000 1073741824 1073778376 140736331225392 140554990659112 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624980
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15721 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=538340
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=2695
# CPU time returned by wait4() is 1795.54
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1776.15
CPU time (s): 1800.08
CPU user time (s): 1798.4
CPU system time (s): 1.68
CPU usage (%): 101.347
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.54
system time used= 2.0027
maximum resident set size= 918556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24875
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60889
involuntary context switches= 69890
runsolver used 5.82311 second user time and 13.9709 second system time
The end