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-3743423-1338792231/watcher-3743423-1338792231 -o /tmp/evaluation-result-3743423-1338792231/solver-3743423-1338792231 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3743423-1338792231.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.87 3.94 3.90 4/197 25730
/proc/meminfo: memFree=26850072/32873648 swapFree=6864/6864
[pid=25730] ppid=25728 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25730/stat : 25730 (java6) D 25728 25730 24165 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 345349995 9515008 183 33554432000 1073741824 1073778376 140734582689968 140734582681000 213193146037 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/25730/statm: 2323 183 140 9 0 71 0
[startup+0.0518999 s]
/proc/loadavg: 3.87 3.94 3.90 4/197 25730
/proc/meminfo: memFree=26850072/32873648 swapFree=6864/6864
[pid=25730] ppid=25728 vsize=2367080 CPUtime=0.03 cores=1,3,5,7
/proc/25730/stat : 25730 (java) S 25728 25730 24165 0 -1 4202496 3757 0 1 0 2 1 0 0 20 0 13 0 345349995 2423889920 4964 33554432000 1073741824 1073778376 140735810726624 140735810717760 213196505149 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25730/statm: 591770 4964 1706 9 0 582471 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2367080
[startup+0.100255 s]
/proc/loadavg: 3.87 3.94 3.90 4/197 25730
/proc/meminfo: memFree=26850072/32873648 swapFree=6864/6864
[pid=25730] ppid=25728 vsize=2699928 CPUtime=0.08 cores=1,3,5,7
/proc/25730/stat : 25730 (java) S 25728 25730 24165 0 -1 4202496 4717 0 1 0 7 1 0 0 20 0 18 0 345349995 2764726272 6417 33554432000 1073741824 1073778376 140735810726624 140735810717760 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25730/statm: 674982 6417 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2699928
[startup+0.300237 s]
/proc/loadavg: 3.87 3.94 3.90 4/197 25730
/proc/meminfo: memFree=26850072/32873648 swapFree=6864/6864
[pid=25730] ppid=25728 vsize=2699928 CPUtime=0.52 cores=1,3,5,7
/proc/25730/stat : 25730 (java) S 25728 25730 24165 0 -1 4202496 6597 0 1 0 49 3 0 0 20 0 18 0 345349995 2764726272 16085 33554432000 1073741824 1073778376 140735810726624 140735810717760 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25730/statm: 674982 16085 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2699928
[startup+0.700237 s]
/proc/loadavg: 3.87 3.94 3.90 4/197 25730
/proc/meminfo: memFree=26850072/32873648 swapFree=6864/6864
[pid=25730] ppid=25728 vsize=2699928 CPUtime=1.21 cores=1,3,5,7
/proc/25730/stat : 25730 (java) S 25728 25730 24165 0 -1 4202496 11636 0 1 0 114 7 0 0 20 0 18 0 345349995 2764726272 58852 33554432000 1073741824 1073778376 140735810726624 140735810717760 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25730/statm: 674982 58852 2230 9 0 665676 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 2699928
[startup+1.5007 s]
/proc/loadavg: 3.80 3.93 3.90 4/215 25748
/proc/meminfo: memFree=26424432/32873648 swapFree=6864/6864
[pid=25730] ppid=25728 vsize=2699928 CPUtime=2.51 cores=1,3,5,7
/proc/25730/stat : 25730 (java) S 25728 25730 24165 0 -1 4202496 11960 0 1 0 234 17 0 0 20 0 18 0 345349995 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140735810717760 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25730/statm: 674982 126496 2248 9 0 665676 0
[pid=25730/tid=25732] ppid=25728 vsize=2699928 CPUtime=1.3 cores=1,3,5,7
/proc/25730/task/25732/stat : 25732 (java) R 25728 25730 24165 0 -1 4202560 2976 0 1 0 122 8 0 0 20 0 18 0 345349996 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208944856408 140208817732005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25733] ppid=25728 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/25730/task/25733/stat : 25733 (java) S 25728 25730 24165 0 -1 4202560 32 0 0 0 5 0 0 0 20 0 18 0 345349997 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208811637544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25734] ppid=25728 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/25730/task/25734/stat : 25734 (java) S 25728 25730 24165 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 18 0 345349997 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208810584744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25735] ppid=25728 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/25730/task/25735/stat : 25735 (java) S 25728 25730 24165 0 -1 4202560 43 0 0 0 10 1 0 0 20 0 18 0 345349997 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208809532456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25736] ppid=25728 vsize=2699928 CPUtime=0.08 cores=1,3,5,7
/proc/25730/task/25736/stat : 25736 (java) S 25728 25730 24165 0 -1 4202560 46 0 0 0 7 1 0 0 20 0 18 0 345349997 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208808479656 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25737] ppid=25728 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/25730/task/25737/stat : 25737 (java) S 25728 25730 24165 0 -1 4202560 24 0 0 0 6 0 0 0 20 0 18 0 345349997 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208807426344 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25738] ppid=25728 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/25730/task/25738/stat : 25738 (java) S 25728 25730 24165 0 -1 4202560 29 0 0 0 5 1 0 0 20 0 18 0 345349997 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208806373544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25730/tid=25739] ppid=25728 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/25730/task/25739/stat : 25739 (java) S 25728 25730 24165 0 -1 4202560 25 0 0 0 6 0 0 0 20 0 18 0 345349997 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208469174824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25740] ppid=25728 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/25730/task/25740/stat : 25740 (java) S 25728 25730 24165 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 18 0 345349997 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208468122024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25741] ppid=25728 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25741/stat : 25741 (java) S 25728 25730 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345349998 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208455924456 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25742] ppid=25728 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25742/stat : 25742 (java) S 25728 25730 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345349999 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208454870520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25743] ppid=25728 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25743/stat : 25743 (java) S 25728 25730 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345349999 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208453818120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25744] ppid=25728 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25744/stat : 25744 (java) S 25728 25730 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345350001 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208452766608 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25745] ppid=25728 vsize=2699928 CPUtime=0.28 cores=1,3,5,7
/proc/25730/task/25745/stat : 25745 (java) S 25728 25730 24165 0 -1 4202560 4137 0 0 0 28 0 0 0 20 0 18 0 345350001 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208451713208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25746] ppid=25728 vsize=2699928 CPUtime=0.26 cores=1,3,5,7
/proc/25730/task/25746/stat : 25746 (java) S 25728 25730 24165 0 -1 4202560 3423 0 0 0 26 0 0 0 20 0 18 0 345350001 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208450660408 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25747] ppid=25728 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25747/stat : 25747 (java) S 25728 25730 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345350001 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208449608312 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25748] ppid=25728 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25748/stat : 25748 (java) S 25728 25730 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345350001 2764726272 126496 33554432000 1073741824 1073778376 140735810726624 140208448555720 213196519337 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) 2699928
[startup+3.1007 s]
/proc/loadavg: 3.80 3.93 3.90 4/215 25748
/proc/meminfo: memFree=26352256/32873648 swapFree=6864/6864
[pid=25730] ppid=25728 vsize=2699928 CPUtime=4.86 cores=1,3,5,7
/proc/25730/stat : 25730 (java) S 25728 25730 24165 0 -1 4202496 12237 0 1 0 456 30 0 0 20 0 18 0 345349995 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140735810717760 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25730/statm: 674982 156237 2248 9 0 665676 0
[pid=25730/tid=25732] ppid=25728 vsize=2699928 CPUtime=2.64 cores=1,3,5,7
/proc/25730/task/25732/stat : 25732 (java) R 25728 25730 24165 0 -1 4202560 2978 0 1 0 256 8 0 0 20 0 18 0 345349996 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208944856648 140208817632584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25733] ppid=25728 vsize=2699928 CPUtime=0.14 cores=1,3,5,7
/proc/25730/task/25733/stat : 25733 (java) S 25728 25730 24165 0 -1 4202560 58 0 0 0 12 2 0 0 20 0 18 0 345349997 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208811637544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25730/tid=25734] ppid=25728 vsize=2699928 CPUtime=0.17 cores=1,3,5,7
/proc/25730/task/25734/stat : 25734 (java) S 25728 25730 24165 0 -1 4202560 64 0 0 0 15 2 0 0 20 0 18 0 345349997 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208810584744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25735] ppid=25728 vsize=2699928 CPUtime=0.22 cores=1,3,5,7
/proc/25730/task/25735/stat : 25735 (java) S 25728 25730 24165 0 -1 4202560 71 0 0 0 19 3 0 0 20 0 18 0 345349997 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208809532456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25730/tid=25736] ppid=25728 vsize=2699928 CPUtime=0.23 cores=1,3,5,7
/proc/25730/task/25736/stat : 25736 (java) S 25728 25730 24165 0 -1 4202560 89 0 0 0 19 4 0 0 20 0 18 0 345349997 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208808479656 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25737] ppid=25728 vsize=2699928 CPUtime=0.19 cores=1,3,5,7
/proc/25730/task/25737/stat : 25737 (java) S 25728 25730 24165 0 -1 4202560 53 0 0 0 16 3 0 0 20 0 18 0 345349997 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208807426344 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25738] ppid=25728 vsize=2699928 CPUtime=0.22 cores=1,3,5,7
/proc/25730/task/25738/stat : 25738 (java) S 25728 25730 24165 0 -1 4202560 75 0 0 0 19 3 0 0 20 0 18 0 345349997 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208806373544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25739] ppid=25728 vsize=2699928 CPUtime=0.15 cores=1,3,5,7
/proc/25730/task/25739/stat : 25739 (java) S 25728 25730 24165 0 -1 4202560 43 0 0 0 13 2 0 0 20 0 18 0 345349997 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208469174824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25740] ppid=25728 vsize=2699928 CPUtime=0.22 cores=1,3,5,7
/proc/25730/task/25740/stat : 25740 (java) S 25728 25730 24165 0 -1 4202560 63 0 0 0 19 3 0 0 20 0 18 0 345349997 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208468122024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25741] ppid=25728 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25741/stat : 25741 (java) S 25728 25730 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345349998 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208455924456 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25742] ppid=25728 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25742/stat : 25742 (java) S 25728 25730 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345349999 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208454870520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25743] ppid=25728 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25743/stat : 25743 (java) S 25728 25730 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345349999 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208453818120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25744] ppid=25728 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25744/stat : 25744 (java) S 25728 25730 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345350001 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208452766608 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25745] ppid=25728 vsize=2699928 CPUtime=0.28 cores=1,3,5,7
/proc/25730/task/25745/stat : 25745 (java) S 25728 25730 24165 0 -1 4202560 4137 0 0 0 28 0 0 0 20 0 18 0 345350001 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208451713208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25746] ppid=25728 vsize=2699928 CPUtime=0.26 cores=1,3,5,7
/proc/25730/task/25746/stat : 25746 (java) S 25728 25730 24165 0 -1 4202560 3423 0 0 0 26 0 0 0 20 0 18 0 345350001 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208450660408 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25747] ppid=25728 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25747/stat : 25747 (java) S 25728 25730 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345350001 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208449608312 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25748] ppid=25728 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25748/stat : 25748 (java) S 25728 25730 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345350001 2764726272 156237 33554432000 1073741824 1073778376 140735810726624 140208448555720 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.86
Current children cumulated vsize (KiB) 2699928
[startup+6.30062 s]
/proc/loadavg: 3.80 3.93 3.90 4/215 25748
/proc/meminfo: memFree=26118852/32873648 swapFree=6864/6864
[pid=25730] ppid=25728 vsize=2966184 CPUtime=10.08 cores=1,3,5,7
/proc/25730/stat : 25730 (java) S 25728 25730 24165 0 -1 4202496 13102 0 1 0 965 43 0 0 20 0 22 0 345349995 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140735810717760 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25730/statm: 741546 185199 2260 9 0 732240 0
[pid=25730/tid=25732] ppid=25728 vsize=2966184 CPUtime=5.09 cores=1,3,5,7
/proc/25730/task/25732/stat : 25732 (java) S 25728 25730 24165 0 -1 4202560 3017 0 1 0 501 8 0 0 20 0 22 0 345349996 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208944858264 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25730/tid=25733] ppid=25728 vsize=2966184 CPUtime=0.4 cores=1,3,5,7
/proc/25730/task/25733/stat : 25733 (java) S 25728 25730 24165 0 -1 4202560 322 0 0 0 36 4 0 0 20 0 22 0 345349997 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208811637544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25734] ppid=25728 vsize=2966184 CPUtime=0.4 cores=1,3,5,7
/proc/25730/task/25734/stat : 25734 (java) S 25728 25730 24165 0 -1 4202560 97 0 0 0 36 4 0 0 20 0 22 0 345349997 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208810584744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25735] ppid=25728 vsize=2966184 CPUtime=0.62 cores=1,3,5,7
/proc/25730/task/25735/stat : 25735 (java) S 25728 25730 24165 0 -1 4202560 147 0 0 0 57 5 0 0 20 0 22 0 345349997 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208809532456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25736] ppid=25728 vsize=2966184 CPUtime=0.47 cores=1,3,5,7
/proc/25730/task/25736/stat : 25736 (java) S 25728 25730 24165 0 -1 4202560 281 0 0 0 42 5 0 0 20 0 22 0 345349997 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208808479656 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25737] ppid=25728 vsize=2966184 CPUtime=0.48 cores=1,3,5,7
/proc/25730/task/25737/stat : 25737 (java) S 25728 25730 24165 0 -1 4202560 84 0 0 0 44 4 0 0 20 0 22 0 345349997 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208807426344 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25738] ppid=25728 vsize=2966184 CPUtime=0.49 cores=1,3,5,7
/proc/25730/task/25738/stat : 25738 (java) S 25728 25730 24165 0 -1 4202560 140 0 0 0 44 5 0 0 20 0 22 0 345349997 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208806373544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25739] ppid=25728 vsize=2966184 CPUtime=0.41 cores=1,3,5,7
/proc/25730/task/25739/stat : 25739 (java) S 25728 25730 24165 0 -1 4202560 94 0 0 0 38 3 0 0 20 0 22 0 345349997 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208469174824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25740] ppid=25728 vsize=2966184 CPUtime=0.53 cores=1,3,5,7
/proc/25730/task/25740/stat : 25740 (java) S 25728 25730 24165 0 -1 4202560 111 0 0 0 48 5 0 0 20 0 22 0 345349997 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208468122024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25741] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25741/stat : 25741 (java) S 25728 25730 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345349998 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208455924456 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25742] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25742/stat : 25742 (java) S 25728 25730 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345349999 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208454870520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25743] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25743/stat : 25743 (java) S 25728 25730 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345349999 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208453818120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25744] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25744/stat : 25744 (java) S 25728 25730 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345350001 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208452766608 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25745] ppid=25728 vsize=2966184 CPUtime=0.37 cores=1,3,5,7
/proc/25730/task/25745/stat : 25745 (java) S 25728 25730 24165 0 -1 4202560 4137 0 0 0 36 1 0 0 20 0 22 0 345350001 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208451713208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25746] ppid=25728 vsize=2966184 CPUtime=0.41 cores=1,3,5,7
/proc/25730/task/25746/stat : 25746 (java) R 25728 25730 24165 0 -1 4202560 3427 0 0 0 41 0 0 0 20 0 22 0 345350001 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208450647280 140208946667140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25747] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25747/stat : 25747 (java) S 25728 25730 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345350001 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208449608312 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25748] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25748/stat : 25748 (java) S 25728 25730 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345350001 3037372416 185199 33554432000 1073741824 1073778376 140735810726624 140208448555720 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.08
Current children cumulated vsize (KiB) 2966184
[startup+12.7008 s]
/proc/loadavg: 3.76 3.91 3.89 5/219 25752
/proc/meminfo: memFree=26116424/32873648 swapFree=6864/6864
[pid=25730] ppid=25728 vsize=2966184 CPUtime=23.78 cores=1,3,5,7
/proc/25730/stat : 25730 (java) S 25728 25730 24165 0 -1 4202496 13305 0 1 0 2334 44 0 0 20 0 22 0 345349995 3037372416 185271 33554432000 1073741824 1073778376 140735810726624 140735810717760 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25730/statm: 741546 185271 2269 9 0 732240 0
[pid=25730/tid=25732] ppid=25728 vsize=2966184 CPUtime=5.09 cores=1,3,5,7
################
# More data... #
################
/proc/25730/statm: 741546 212609 2282 9 0 732240 0
[pid=25730/tid=25732] ppid=25728 vsize=2966184 CPUtime=5.11 cores=1,3,5,7
/proc/25730/task/25732/stat : 25732 (java) S 25728 25730 24165 0 -1 4202560 3022 0 1 0 502 9 0 0 20 0 22 0 345349996 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208944858264 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25733] ppid=25728 vsize=2966184 CPUtime=3.4 cores=1,3,5,7
/proc/25730/task/25733/stat : 25733 (java) S 25728 25730 24165 0 -1 4202560 339 0 0 0 332 8 0 0 20 0 22 0 345349997 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208811637544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25730/tid=25734] ppid=25728 vsize=2966184 CPUtime=3.47 cores=1,3,5,7
/proc/25730/task/25734/stat : 25734 (java) S 25728 25730 24165 0 -1 4202560 140 0 0 0 339 8 0 0 20 0 22 0 345349997 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208810584744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25735] ppid=25728 vsize=2966184 CPUtime=3.73 cores=1,3,5,7
/proc/25730/task/25735/stat : 25735 (java) S 25728 25730 24165 0 -1 4202560 192 0 0 0 365 8 0 0 20 0 22 0 345349997 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208809532456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25736] ppid=25728 vsize=2966184 CPUtime=3.42 cores=1,3,5,7
/proc/25730/task/25736/stat : 25736 (java) S 25728 25730 24165 0 -1 4202560 305 0 0 0 332 10 0 0 20 0 22 0 345349997 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208808479656 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25730/tid=25737] ppid=25728 vsize=2966184 CPUtime=3.55 cores=1,3,5,7
/proc/25730/task/25737/stat : 25737 (java) S 25728 25730 24165 0 -1 4202560 127 0 0 0 348 7 0 0 20 0 22 0 345349997 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208807426344 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25738] ppid=25728 vsize=2966184 CPUtime=3.51 cores=1,3,5,7
/proc/25730/task/25738/stat : 25738 (java) S 25728 25730 24165 0 -1 4202560 181 0 0 0 342 9 0 0 20 0 22 0 345349997 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208806373544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25739] ppid=25728 vsize=2966184 CPUtime=3.27 cores=1,3,5,7
/proc/25730/task/25739/stat : 25739 (java) S 25728 25730 24165 0 -1 4202560 126 0 0 0 321 6 0 0 20 0 22 0 345349997 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208469174824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25740] ppid=25728 vsize=2966184 CPUtime=3.59 cores=1,3,5,7
/proc/25730/task/25740/stat : 25740 (java) S 25728 25730 24165 0 -1 4202560 150 0 0 0 351 8 0 0 20 0 22 0 345349997 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208468122024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25741] ppid=25728 vsize=2966184 CPUtime=6.05 cores=1,3,5,7
/proc/25730/task/25741/stat : 25741 (java) S 25728 25730 24165 0 -1 4202560 82398 0 0 0 538 67 0 0 20 0 22 0 345349998 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208455924456 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25742] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25742/stat : 25742 (java) S 25728 25730 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345349999 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208454870520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25743] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25743/stat : 25743 (java) S 25728 25730 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345349999 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208453818120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25744] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25744/stat : 25744 (java) S 25728 25730 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345350001 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208452766608 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25745] ppid=25728 vsize=2966184 CPUtime=1.05 cores=1,3,5,7
/proc/25730/task/25745/stat : 25745 (java) S 25728 25730 24165 0 -1 4202560 4289 0 0 0 104 1 0 0 20 0 22 0 345350001 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208451713208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25746] ppid=25728 vsize=2966184 CPUtime=0.86 cores=1,3,5,7
/proc/25730/task/25746/stat : 25746 (java) S 25728 25730 24165 0 -1 4202560 3443 0 0 0 86 0 0 0 20 0 22 0 345350001 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208450660408 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25747] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25747/stat : 25747 (java) S 25728 25730 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345350001 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208449608312 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25748] ppid=25728 vsize=2966184 CPUtime=0.36 cores=1,3,5,7
/proc/25730/task/25748/stat : 25748 (java) S 25728 25730 24165 0 -1 4202560 51 0 0 0 14 22 0 0 20 0 22 0 345350001 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208448555720 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25749] ppid=25728 vsize=2966184 CPUtime=860.03 cores=1,3,5,7
/proc/25730/task/25749/stat : 25749 (java) R 25728 25730 24165 0 -1 4202560 238 0 0 0 85986 17 0 0 20 0 22 0 345350612 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208447500064 140208818093478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25750] ppid=25728 vsize=2966184 CPUtime=860.08 cores=1,3,5,7
/proc/25730/task/25750/stat : 25750 (java) R 25728 25730 24165 0 -1 4202560 740 0 0 0 85991 17 0 0 20 0 22 0 345350612 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208446446000 140208817893463 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25751] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25751/stat : 25751 (java) S 25728 25730 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345350622 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208445396648 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25752] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25752/stat : 25752 (java) S 25728 25730 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345350622 3037372416 212609 33554432000 1073741824 1073778376 140735810726624 140208444343848 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1765.78
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.301 s]
/proc/loadavg: 3.94 3.95 3.91 5/219 25828
/proc/meminfo: memFree=26455008/32873648 swapFree=6864/6864
[pid=25730] ppid=25728 vsize=2966184 CPUtime=1800.18 cores=1,3,5,7
/proc/25730/stat : 25730 (java) S 25728 25730 24165 0 -1 4202496 96981 0 1 0 179842 176 0 0 20 0 22 0 345349995 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140735810717760 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25730/statm: 741546 213124 2282 9 0 732240 0
[pid=25730/tid=25732] ppid=25728 vsize=2966184 CPUtime=5.11 cores=1,3,5,7
/proc/25730/task/25732/stat : 25732 (java) S 25728 25730 24165 0 -1 4202560 3022 0 1 0 502 9 0 0 20 0 22 0 345349996 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208944858264 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25733] ppid=25728 vsize=2966184 CPUtime=3.55 cores=1,3,5,7
/proc/25730/task/25733/stat : 25733 (java) S 25728 25730 24165 0 -1 4202560 339 0 0 0 347 8 0 0 20 0 22 0 345349997 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208811637544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25734] ppid=25728 vsize=2966184 CPUtime=3.61 cores=1,3,5,7
/proc/25730/task/25734/stat : 25734 (java) S 25728 25730 24165 0 -1 4202560 140 0 0 0 353 8 0 0 20 0 22 0 345349997 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208810584744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25730/tid=25735] ppid=25728 vsize=2966184 CPUtime=3.86 cores=1,3,5,7
/proc/25730/task/25735/stat : 25735 (java) S 25728 25730 24165 0 -1 4202560 193 0 0 0 378 8 0 0 20 0 22 0 345349997 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208809532456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25736] ppid=25728 vsize=2966184 CPUtime=3.57 cores=1,3,5,7
/proc/25730/task/25736/stat : 25736 (java) S 25728 25730 24165 0 -1 4202560 306 0 0 0 347 10 0 0 20 0 22 0 345349997 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208808479656 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25737] ppid=25728 vsize=2966184 CPUtime=3.71 cores=1,3,5,7
/proc/25730/task/25737/stat : 25737 (java) S 25728 25730 24165 0 -1 4202560 128 0 0 0 363 8 0 0 20 0 22 0 345349997 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208807426344 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25738] ppid=25728 vsize=2966184 CPUtime=3.63 cores=1,3,5,7
/proc/25730/task/25738/stat : 25738 (java) S 25728 25730 24165 0 -1 4202560 181 0 0 0 354 9 0 0 20 0 22 0 345349997 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208806373544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25730/tid=25739] ppid=25728 vsize=2966184 CPUtime=3.41 cores=1,3,5,7
/proc/25730/task/25739/stat : 25739 (java) S 25728 25730 24165 0 -1 4202560 127 0 0 0 335 6 0 0 20 0 22 0 345349997 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208469174824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25740] ppid=25728 vsize=2966184 CPUtime=3.73 cores=1,3,5,7
/proc/25730/task/25740/stat : 25740 (java) S 25728 25730 24165 0 -1 4202560 150 0 0 0 365 8 0 0 20 0 22 0 345349997 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208468122024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25741] ppid=25728 vsize=2966184 CPUtime=6.09 cores=1,3,5,7
/proc/25730/task/25741/stat : 25741 (java) S 25728 25730 24165 0 -1 4202560 82400 0 0 0 539 70 0 0 20 0 22 0 345349998 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208455924456 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25742] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25742/stat : 25742 (java) S 25728 25730 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345349999 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208454870520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25743] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25743/stat : 25743 (java) S 25728 25730 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345349999 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208453818120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25744] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25744/stat : 25744 (java) S 25728 25730 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345350001 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208452766608 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25745] ppid=25728 vsize=2966184 CPUtime=1.05 cores=1,3,5,7
/proc/25730/task/25745/stat : 25745 (java) S 25728 25730 24165 0 -1 4202560 4289 0 0 0 104 1 0 0 20 0 22 0 345350001 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208451713208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25746] ppid=25728 vsize=2966184 CPUtime=0.86 cores=1,3,5,7
/proc/25730/task/25746/stat : 25746 (java) S 25728 25730 24165 0 -1 4202560 3443 0 0 0 86 0 0 0 20 0 22 0 345350001 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208450660408 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25747] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25747/stat : 25747 (java) S 25728 25730 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345350001 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208449608312 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25748] ppid=25728 vsize=2966184 CPUtime=0.36 cores=1,3,5,7
/proc/25730/task/25748/stat : 25748 (java) S 25728 25730 24165 0 -1 4202560 53 0 0 0 14 22 0 0 20 0 22 0 345350001 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208448555720 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25749] ppid=25728 vsize=2966184 CPUtime=876.61 cores=1,3,5,7
/proc/25730/task/25749/stat : 25749 (java) R 25728 25730 24165 0 -1 4202560 245 0 0 0 87644 17 0 0 20 0 22 0 345350612 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208447499232 140208818093623 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25750] ppid=25728 vsize=2966184 CPUtime=876.66 cores=1,3,5,7
/proc/25730/task/25750/stat : 25750 (java) R 25728 25730 24165 0 -1 4202560 775 0 0 0 87649 17 0 0 20 0 22 0 345350612 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208446446880 140208818115202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25751] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25751/stat : 25751 (java) S 25728 25730 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345350622 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208445396648 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25752] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25752/stat : 25752 (java) S 25728 25730 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345350622 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208444343848 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+899.301 s]
/proc/loadavg: 3.94 3.95 3.91 5/219 25828
/proc/meminfo: memFree=26455008/32873648 swapFree=6864/6864
[pid=25730] ppid=25728 vsize=2966184 CPUtime=1800.18 cores=1,3,5,7
/proc/25730/stat : 25730 (java) S 25728 25730 24165 0 -1 4202496 96981 0 1 0 179842 176 0 0 20 0 22 0 345349995 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140735810717760 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25730/statm: 741546 213124 2282 9 0 732240 0
[pid=25730/tid=25732] ppid=25728 vsize=2966184 CPUtime=5.11 cores=1,3,5,7
/proc/25730/task/25732/stat : 25732 (java) S 25728 25730 24165 0 -1 4202560 3022 0 1 0 502 9 0 0 20 0 22 0 345349996 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208944858264 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25733] ppid=25728 vsize=2966184 CPUtime=3.55 cores=1,3,5,7
/proc/25730/task/25733/stat : 25733 (java) S 25728 25730 24165 0 -1 4202560 339 0 0 0 347 8 0 0 20 0 22 0 345349997 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208811637544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25734] ppid=25728 vsize=2966184 CPUtime=3.61 cores=1,3,5,7
/proc/25730/task/25734/stat : 25734 (java) S 25728 25730 24165 0 -1 4202560 140 0 0 0 353 8 0 0 20 0 22 0 345349997 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208810584744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25730/tid=25735] ppid=25728 vsize=2966184 CPUtime=3.86 cores=1,3,5,7
/proc/25730/task/25735/stat : 25735 (java) S 25728 25730 24165 0 -1 4202560 193 0 0 0 378 8 0 0 20 0 22 0 345349997 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208809532456 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25736] ppid=25728 vsize=2966184 CPUtime=3.57 cores=1,3,5,7
/proc/25730/task/25736/stat : 25736 (java) S 25728 25730 24165 0 -1 4202560 306 0 0 0 347 10 0 0 20 0 22 0 345349997 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208808479656 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25737] ppid=25728 vsize=2966184 CPUtime=3.71 cores=1,3,5,7
/proc/25730/task/25737/stat : 25737 (java) S 25728 25730 24165 0 -1 4202560 128 0 0 0 363 8 0 0 20 0 22 0 345349997 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208807426344 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25738] ppid=25728 vsize=2966184 CPUtime=3.63 cores=1,3,5,7
/proc/25730/task/25738/stat : 25738 (java) S 25728 25730 24165 0 -1 4202560 181 0 0 0 354 9 0 0 20 0 22 0 345349997 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208806373544 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25730/tid=25739] ppid=25728 vsize=2966184 CPUtime=3.41 cores=1,3,5,7
/proc/25730/task/25739/stat : 25739 (java) S 25728 25730 24165 0 -1 4202560 127 0 0 0 335 6 0 0 20 0 22 0 345349997 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208469174824 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25740] ppid=25728 vsize=2966184 CPUtime=3.73 cores=1,3,5,7
/proc/25730/task/25740/stat : 25740 (java) S 25728 25730 24165 0 -1 4202560 150 0 0 0 365 8 0 0 20 0 22 0 345349997 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208468122024 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25741] ppid=25728 vsize=2966184 CPUtime=6.09 cores=1,3,5,7
/proc/25730/task/25741/stat : 25741 (java) S 25728 25730 24165 0 -1 4202560 82400 0 0 0 539 70 0 0 20 0 22 0 345349998 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208455924456 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25742] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25742/stat : 25742 (java) S 25728 25730 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345349999 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208454870520 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25743] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25743/stat : 25743 (java) S 25728 25730 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345349999 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208453818120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25744] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25744/stat : 25744 (java) S 25728 25730 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345350001 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208452766608 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25745] ppid=25728 vsize=2966184 CPUtime=1.05 cores=1,3,5,7
/proc/25730/task/25745/stat : 25745 (java) S 25728 25730 24165 0 -1 4202560 4289 0 0 0 104 1 0 0 20 0 22 0 345350001 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208451713208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25746] ppid=25728 vsize=2966184 CPUtime=0.86 cores=1,3,5,7
/proc/25730/task/25746/stat : 25746 (java) S 25728 25730 24165 0 -1 4202560 3443 0 0 0 86 0 0 0 20 0 22 0 345350001 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208450660408 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25747] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25747/stat : 25747 (java) S 25728 25730 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345350001 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208449608312 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25730/tid=25748] ppid=25728 vsize=2966184 CPUtime=0.36 cores=1,3,5,7
/proc/25730/task/25748/stat : 25748 (java) S 25728 25730 24165 0 -1 4202560 53 0 0 0 14 22 0 0 20 0 22 0 345350001 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208448555720 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25749] ppid=25728 vsize=2966184 CPUtime=876.61 cores=1,3,5,7
/proc/25730/task/25749/stat : 25749 (java) R 25728 25730 24165 0 -1 4202560 245 0 0 0 87644 17 0 0 20 0 22 0 345350612 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208447499232 140208818093623 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25750] ppid=25728 vsize=2966184 CPUtime=876.66 cores=1,3,5,7
/proc/25730/task/25750/stat : 25750 (java) R 25728 25730 24165 0 -1 4202560 775 0 0 0 87649 17 0 0 20 0 22 0 345350612 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208446446880 140208818115202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25730/tid=25751] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25751/stat : 25751 (java) S 25728 25730 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345350622 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208445396648 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25730/tid=25752] ppid=25728 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/25730/task/25752/stat : 25752 (java) S 25728 25730 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345350622 3037372416 213124 33554432000 1073741824 1073778376 140735810726624 140208444343848 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 2966184
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25730 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=988272
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=184667
# CPU time returned by wait4() is 1796.17
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 899.341
CPU time (s): 1800.18
CPU user time (s): 1798.42
CPU system time (s): 1.76
CPU usage (%): 200.166
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 2.18467
maximum resident set size= 889856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97015
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49526
involuntary context switches= 85507
runsolver used 3.43148 second user time and 8.38373 second system time
The end