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-3730088-1338730735/watcher-3730088-1338730735 -o /tmp/evaluation-result-3730088-1338730735/solver-3730088-1338730735 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3730088-1338730735.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.97 3.95 3.81 3/173 13005
/proc/meminfo: memFree=31491800/32873648 swapFree=7628/7628
[pid=13005] ppid=13003 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/13005/stat : 13005 (java6) D 13003 13005 3958 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 339199626 2560000 46 33554432000 1073741824 1073778376 140736383314352 140736383311480 217401355559 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/13005/statm: 625 46 37 9 0 29 0
[startup+0.013116 s]
/proc/loadavg: 3.97 3.95 3.81 3/173 13005
/proc/meminfo: memFree=31491800/32873648 swapFree=7628/7628
[pid=13005] ppid=13003 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/13005/stat : 13005 (java) S 13003 13005 3958 0 -1 4202496 1376 0 0 0 0 0 0 0 20 0 2 0 339199626 103964672 1057 33554432000 1073741824 1073778376 140733597786192 140733597777328 217413877821 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13005/statm: 25382 1060 812 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528
[startup+0.100178 s]
/proc/loadavg: 3.97 3.95 3.81 3/173 13005
/proc/meminfo: memFree=31491800/32873648 swapFree=7628/7628
[pid=13005] ppid=13003 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/13005/stat : 13005 (java) S 13003 13005 3958 0 -1 4202496 4811 0 1 0 9 1 0 0 20 0 18 0 339199626 2764726272 6501 33554432000 1073741824 1073778376 140733597786192 140733597777328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13005/statm: 674982 6501 2138 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300167 s]
/proc/loadavg: 3.97 3.95 3.81 3/173 13005
/proc/meminfo: memFree=31491800/32873648 swapFree=7628/7628
[pid=13005] ppid=13003 vsize=2699928 CPUtime=0.49 cores=1,3,5,7
/proc/13005/stat : 13005 (java) S 13003 13005 3958 0 -1 4202496 5691 0 1 0 47 2 0 0 20 0 18 0 339199626 2764726272 9151 33554432000 1073741824 1073778376 140733597786192 140733597777328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13005/statm: 674982 9158 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2699928
[startup+0.700185 s]
/proc/loadavg: 3.97 3.95 3.81 3/173 13005
/proc/meminfo: memFree=31491800/32873648 swapFree=7628/7628
[pid=13005] ppid=13003 vsize=2699928 CPUtime=1.23 cores=1,3,5,7
/proc/13005/stat : 13005 (java) S 13003 13005 3958 0 -1 4202496 11127 0 1 0 118 5 0 0 20 0 18 0 339199626 2764726272 56731 33554432000 1073741824 1073778376 140733597786192 140733597777328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13005/statm: 674982 56731 2230 9 0 665676 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 2699928
[startup+1.50063 s]
/proc/loadavg: 3.97 3.95 3.81 10/191 13044
/proc/meminfo: memFree=31168576/32873648 swapFree=7628/7628
[pid=13005] ppid=13003 vsize=2699928 CPUtime=2.13 cores=1,3,5,7
/proc/13005/stat : 13005 (java) S 13003 13005 3958 0 -1 4202496 11270 0 1 0 203 10 0 0 20 0 18 0 339199626 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140733597777328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13005/statm: 674982 101812 2246 9 0 665676 0
[pid=13005/tid=13007] ppid=13003 vsize=2699928 CPUtime=1.44 cores=1,3,5,7
/proc/13005/task/13007/stat : 13007 (java) R 13003 13005 3958 0 -1 4202560 2963 0 1 0 137 7 0 0 20 0 18 0 339199627 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591968628752 217413903629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13008] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13008/stat : 13008 (java) S 13003 13005 3958 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 339199628 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591952918952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13009] ppid=13003 vsize=2699928 CPUtime=0.01 cores=1,3,5,7
/proc/13005/task/13009/stat : 13009 (java) S 13003 13005 3958 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 18 0 339199628 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591951866408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13010] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13010/stat : 13010 (java) S 13003 13005 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339199628 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591950813352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13011] ppid=13003 vsize=2699928 CPUtime=0.01 cores=1,3,5,7
/proc/13005/task/13011/stat : 13011 (java) S 13003 13005 3958 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 18 0 339199628 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591949760808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13012] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13012/stat : 13012 (java) S 13003 13005 3958 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 339199628 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591948708776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13013] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13013/stat : 13013 (java) S 13003 13005 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339199628 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591947656232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13014] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13014/stat : 13014 (java) S 13003 13005 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339199628 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591946603176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13015] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13015/stat : 13015 (java) S 13003 13005 3958 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 339199628 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591945550632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13016] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13016/stat : 13016 (java) S 13003 13005 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339199629 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591933139304 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13017] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13017/stat : 13017 (java) S 13003 13005 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339199630 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591932085624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13018] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13018/stat : 13018 (java) S 13003 13005 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 339199630 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591931032456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13019] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13019/stat : 13019 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339199632 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591811782928 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13020] ppid=13003 vsize=2699928 CPUtime=0.26 cores=1,3,5,7
/proc/13005/task/13020/stat : 13020 (java) S 13003 13005 3958 0 -1 4202560 3417 0 0 0 26 0 0 0 20 0 18 0 339199632 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591810730808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13021] ppid=13003 vsize=2699928 CPUtime=0.26 cores=1,3,5,7
/proc/13005/task/13021/stat : 13021 (java) S 13003 13005 3958 0 -1 4202560 3644 0 0 0 26 0 0 0 20 0 18 0 339199632 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591809678264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13022] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13022/stat : 13022 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339199632 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591808625400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13023] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13023/stat : 13023 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339199632 2764726272 101812 33554432000 1073741824 1073778376 140733597786192 140591807573064 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 2699928
[startup+3.10059 s]
/proc/loadavg: 4.05 3.97 3.81 4/211 13071
/proc/meminfo: memFree=31068640/32873648 swapFree=7628/7628
[pid=13005] ppid=13003 vsize=2699928 CPUtime=4.34 cores=1,3,5,7
/proc/13005/stat : 13005 (java) S 13003 13005 3958 0 -1 4202496 11506 0 1 0 411 23 0 0 20 0 18 0 339199626 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140733597777328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13005/statm: 674982 131007 2246 9 0 665676 0
[pid=13005/tid=13007] ppid=13003 vsize=2699928 CPUtime=2.83 cores=1,3,5,7
/proc/13005/task/13007/stat : 13007 (java) R 13003 13005 3958 0 -1 4202560 2966 0 1 0 276 7 0 0 20 0 18 0 339199627 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591968636136 140591812197168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13008] ppid=13003 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/13005/task/13008/stat : 13008 (java) S 13003 13005 3958 0 -1 4202560 20 0 0 0 6 0 0 0 20 0 18 0 339199628 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591952918952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13009] ppid=13003 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/13005/task/13009/stat : 13009 (java) S 13003 13005 3958 0 -1 4202560 44 0 0 0 7 3 0 0 20 0 18 0 339199628 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591951866408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13010] ppid=13003 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/13005/task/13010/stat : 13010 (java) S 13003 13005 3958 0 -1 4202560 39 0 0 0 7 3 0 0 20 0 18 0 339199628 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591950813352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13011] ppid=13003 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/13005/task/13011/stat : 13011 (java) S 13003 13005 3958 0 -1 4202560 44 0 0 0 8 2 0 0 20 0 18 0 339199628 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591949760808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13005/tid=13012] ppid=13003 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/13005/task/13012/stat : 13012 (java) S 13003 13005 3958 0 -1 4202560 31 0 0 0 8 1 0 0 20 0 18 0 339199628 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591948708776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13013] ppid=13003 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/13005/task/13013/stat : 13013 (java) S 13003 13005 3958 0 -1 4202560 34 0 0 0 8 2 0 0 20 0 18 0 339199628 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591947656232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13005/tid=13014] ppid=13003 vsize=2699928 CPUtime=0.08 cores=1,3,5,7
/proc/13005/task/13014/stat : 13014 (java) S 13003 13005 3958 0 -1 4202560 26 0 0 0 7 1 0 0 20 0 18 0 339199628 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591946603176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13015] ppid=13003 vsize=2699928 CPUtime=0.2 cores=1,3,5,7
/proc/13005/task/13015/stat : 13015 (java) S 13003 13005 3958 0 -1 4202560 59 0 0 0 16 4 0 0 20 0 18 0 339199628 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591945550632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13016] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13016/stat : 13016 (java) S 13003 13005 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339199629 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591933139304 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13017] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13017/stat : 13017 (java) S 13003 13005 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339199630 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591932085624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13018] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13018/stat : 13018 (java) S 13003 13005 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 339199630 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591931032456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13019] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13019/stat : 13019 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339199632 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591811782928 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13020] ppid=13003 vsize=2699928 CPUtime=0.26 cores=1,3,5,7
/proc/13005/task/13020/stat : 13020 (java) S 13003 13005 3958 0 -1 4202560 3417 0 0 0 26 0 0 0 20 0 18 0 339199632 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591810730808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13021] ppid=13003 vsize=2699928 CPUtime=0.26 cores=1,3,5,7
/proc/13005/task/13021/stat : 13021 (java) S 13003 13005 3958 0 -1 4202560 3644 0 0 0 26 0 0 0 20 0 18 0 339199632 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591809678264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13022] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13022/stat : 13022 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339199632 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591808625400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13023] ppid=13003 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13023/stat : 13023 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339199632 2764726272 131007 33554432000 1073741824 1073778376 140733597786192 140591807573064 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 2699928
[startup+6.30073 s]
/proc/loadavg: 4.05 3.97 3.81 8/211 13071
/proc/meminfo: memFree=30424324/32873648 swapFree=7628/7628
[pid=13005] ppid=13003 vsize=2966184 CPUtime=10.04 cores=1,3,5,7
/proc/13005/stat : 13005 (java) S 13003 13005 3958 0 -1 4202496 19595 0 1 0 967 37 0 0 20 0 20 0 339199626 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140733597777328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13005/statm: 741546 154634 2269 9 0 732240 0
[pid=13005/tid=13007] ppid=13003 vsize=2966184 CPUtime=5.16 cores=1,3,5,7
/proc/13005/task/13007/stat : 13007 (java) S 13003 13005 3958 0 -1 4202560 2984 0 1 0 508 8 0 0 20 0 20 0 339199627 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591968638104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13008] ppid=13003 vsize=2966184 CPUtime=0.3 cores=1,3,5,7
/proc/13005/task/13008/stat : 13008 (java) S 13003 13005 3958 0 -1 4202560 62 0 0 0 28 2 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591952918952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13005/tid=13009] ppid=13003 vsize=2966184 CPUtime=0.3 cores=1,3,5,7
/proc/13005/task/13009/stat : 13009 (java) S 13003 13005 3958 0 -1 4202560 93 0 0 0 26 4 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591951866408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13010] ppid=13003 vsize=2966184 CPUtime=0.38 cores=1,3,5,7
/proc/13005/task/13010/stat : 13010 (java) S 13003 13005 3958 0 -1 4202560 86 0 0 0 34 4 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591950813352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13011] ppid=13003 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/13005/task/13011/stat : 13011 (java) S 13003 13005 3958 0 -1 4202560 210 0 0 0 29 3 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591949760808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13005/tid=13012] ppid=13003 vsize=2966184 CPUtime=0.31 cores=1,3,5,7
/proc/13005/task/13012/stat : 13012 (java) S 13003 13005 3958 0 -1 4202560 70 0 0 0 29 2 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591948708776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13005/tid=13013] ppid=13003 vsize=2966184 CPUtime=0.34 cores=1,3,5,7
/proc/13005/task/13013/stat : 13013 (java) S 13003 13005 3958 0 -1 4202560 75 0 0 0 31 3 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591947656232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13014] ppid=13003 vsize=2966184 CPUtime=0.35 cores=1,3,5,7
/proc/13005/task/13014/stat : 13014 (java) S 13003 13005 3958 0 -1 4202560 334 0 0 0 32 3 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591946603176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13015] ppid=13003 vsize=2966184 CPUtime=0.52 cores=1,3,5,7
/proc/13005/task/13015/stat : 13015 (java) S 13003 13005 3958 0 -1 4202560 110 0 0 0 47 5 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591945550632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13016] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13016/stat : 13016 (java) S 13003 13005 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339199629 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591933139304 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13017] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13017/stat : 13017 (java) S 13003 13005 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 339199630 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591932085624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13018] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13018/stat : 13018 (java) S 13003 13005 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339199630 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591931032456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13019] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13019/stat : 13019 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339199632 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591811782928 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13020] ppid=13003 vsize=2966184 CPUtime=0.77 cores=1,3,5,7
/proc/13005/task/13020/stat : 13020 (java) S 13003 13005 3958 0 -1 4202560 8155 0 0 0 75 2 0 0 20 0 20 0 339199632 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591810730808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13021] ppid=13003 vsize=2966184 CPUtime=0.71 cores=1,3,5,7
/proc/13005/task/13021/stat : 13021 (java) S 13003 13005 3958 0 -1 4202560 6124 0 0 0 71 0 0 0 20 0 20 0 339199632 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591809678264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13022] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13022/stat : 13022 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339199632 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591808625400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13023] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13023/stat : 13023 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339199632 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591807573064 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.04
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+6.7006 s]
/proc/loadavg: 4.05 3.97 3.81 3/213 13075
/proc/meminfo: memFree=30369576/32873648 swapFree=7628/7628
[pid=13005] ppid=13003 vsize=2966184 CPUtime=10.04 cores=1,3,5,7
/proc/13005/stat : 13005 (java) S 13003 13005 3958 0 -1 4202496 19595 0 1 0 967 37 0 0 20 0 20 0 339199626 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140733597777328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13005/statm: 741546 154634 2269 9 0 732240 0
[pid=13005/tid=13007] ppid=13003 vsize=2966184 CPUtime=5.16 cores=1,3,5,7
/proc/13005/task/13007/stat : 13007 (java) S 13003 13005 3958 0 -1 4202560 2984 0 1 0 508 8 0 0 20 0 20 0 339199627 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591968638104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13008] ppid=13003 vsize=2966184 CPUtime=0.3 cores=1,3,5,7
/proc/13005/task/13008/stat : 13008 (java) S 13003 13005 3958 0 -1 4202560 62 0 0 0 28 2 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591952918952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13005/tid=13009] ppid=13003 vsize=2966184 CPUtime=0.3 cores=1,3,5,7
/proc/13005/task/13009/stat : 13009 (java) S 13003 13005 3958 0 -1 4202560 93 0 0 0 26 4 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591951866408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13010] ppid=13003 vsize=2966184 CPUtime=0.38 cores=1,3,5,7
/proc/13005/task/13010/stat : 13010 (java) S 13003 13005 3958 0 -1 4202560 86 0 0 0 34 4 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591950813352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13011] ppid=13003 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/13005/task/13011/stat : 13011 (java) S 13003 13005 3958 0 -1 4202560 210 0 0 0 29 3 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591949760808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13005/tid=13012] ppid=13003 vsize=2966184 CPUtime=0.31 cores=1,3,5,7
/proc/13005/task/13012/stat : 13012 (java) S 13003 13005 3958 0 -1 4202560 70 0 0 0 29 2 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591948708776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13005/tid=13013] ppid=13003 vsize=2966184 CPUtime=0.34 cores=1,3,5,7
/proc/13005/task/13013/stat : 13013 (java) S 13003 13005 3958 0 -1 4202560 75 0 0 0 31 3 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591947656232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13014] ppid=13003 vsize=2966184 CPUtime=0.35 cores=1,3,5,7
/proc/13005/task/13014/stat : 13014 (java) S 13003 13005 3958 0 -1 4202560 334 0 0 0 32 3 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591946603176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13015] ppid=13003 vsize=2966184 CPUtime=0.52 cores=1,3,5,7
/proc/13005/task/13015/stat : 13015 (java) S 13003 13005 3958 0 -1 4202560 110 0 0 0 47 5 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591945550632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13016] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13016/stat : 13016 (java) S 13003 13005 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339199629 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591933139304 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13017] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13017/stat : 13017 (java) S 13003 13005 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 339199630 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591932085624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13018] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13018/stat : 13018 (java) S 13003 13005 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339199630 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591931032456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13019] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13019/stat : 13019 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339199632 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591811782928 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13020] ppid=13003 vsize=2966184 CPUtime=0.77 cores=1,3,5,7
/proc/13005/task/13020/stat : 13020 (java) S 13003 13005 3958 0 -1 4202560 8155 0 0 0 75 2 0 0 20 0 20 0 339199632 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591810730808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13021] ppid=13003 vsize=2966184 CPUtime=0.71 cores=1,3,5,7
/proc/13005/task/13021/stat : 13021 (java) S 13003 13005 3958 0 -1 4202560 6124 0 0 0 71 0 0 0 20 0 20 0 339199632 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591809678264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13022] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13022/stat : 13022 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339199632 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591808625400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13023] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13023/stat : 13023 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339199632 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591807573064 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13074] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13074/stat : 13074 (java) S 13003 13005 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339200221 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591804412712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13075] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13075/stat : 13075 (java) S 13003 13005 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339200223 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591803360168 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 10.04
Current children cumulated vsize (KiB) 2966184
[startup+6.90057 s]
/proc/loadavg: 4.05 3.97 3.81 3/213 13075
/proc/meminfo: memFree=30369576/32873648 swapFree=7628/7628
[pid=13005] ppid=13003 vsize=2966184 CPUtime=10.04 cores=1,3,5,7
/proc/13005/stat : 13005 (java) S 13003 13005 3958 0 -1 4202496 19595 0 1 0 967 37 0 0 20 0 20 0 339199626 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140733597777328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13005/statm: 741546 154634 2269 9 0 732240 0
[pid=13005/tid=13007] ppid=13003 vsize=2966184 CPUtime=5.16 cores=1,3,5,7
/proc/13005/task/13007/stat : 13007 (java) S 13003 13005 3958 0 -1 4202560 2984 0 1 0 508 8 0 0 20 0 20 0 339199627 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591968638104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13008] ppid=13003 vsize=2966184 CPUtime=0.3 cores=1,3,5,7
/proc/13005/task/13008/stat : 13008 (java) S 13003 13005 3958 0 -1 4202560 62 0 0 0 28 2 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591952918952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13005/tid=13009] ppid=13003 vsize=2966184 CPUtime=0.3 cores=1,3,5,7
/proc/13005/task/13009/stat : 13009 (java) S 13003 13005 3958 0 -1 4202560 93 0 0 0 26 4 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591951866408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13010] ppid=13003 vsize=2966184 CPUtime=0.38 cores=1,3,5,7
/proc/13005/task/13010/stat : 13010 (java) S 13003 13005 3958 0 -1 4202560 86 0 0 0 34 4 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591950813352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13011] ppid=13003 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/13005/task/13011/stat : 13011 (java) S 13003 13005 3958 0 -1 4202560 210 0 0 0 29 3 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591949760808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13005/tid=13012] ppid=13003 vsize=2966184 CPUtime=0.31 cores=1,3,5,7
/proc/13005/task/13012/stat : 13012 (java) S 13003 13005 3958 0 -1 4202560 70 0 0 0 29 2 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591948708776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13005/tid=13013] ppid=13003 vsize=2966184 CPUtime=0.34 cores=1,3,5,7
/proc/13005/task/13013/stat : 13013 (java) S 13003 13005 3958 0 -1 4202560 75 0 0 0 31 3 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591947656232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13014] ppid=13003 vsize=2966184 CPUtime=0.35 cores=1,3,5,7
/proc/13005/task/13014/stat : 13014 (java) S 13003 13005 3958 0 -1 4202560 334 0 0 0 32 3 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591946603176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13015] ppid=13003 vsize=2966184 CPUtime=0.52 cores=1,3,5,7
/proc/13005/task/13015/stat : 13015 (java) S 13003 13005 3958 0 -1 4202560 110 0 0 0 47 5 0 0 20 0 20 0 339199628 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591945550632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13016] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13016/stat : 13016 (java) S 13003 13005 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339199629 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591933139304 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13017] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13017/stat : 13017 (java) S 13003 13005 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 339199630 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591932085624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13018] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13018/stat : 13018 (java) S 13003 13005 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339199630 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591931032456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13019] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13019/stat : 13019 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339199632 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591811782928 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13020] ppid=13003 vsize=2966184 CPUtime=0.77 cores=1,3,5,7
/proc/13005/task/13020/stat : 13020 (java) S 13003 13005 3958 0 -1 4202560 8155 0 0 0 75 2 0 0 20 0 20 0 339199632 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591810730808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13021] ppid=13003 vsize=2966184 CPUtime=0.71 cores=1,3,5,7
/proc/13005/task/13021/stat : 13021 (java) S 13003 13005 3958 0 -1 4202560 6124 0 0 0 71 0 0 0 20 0 20 0 339199632 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591809678264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13022] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13022/stat : 13022 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339199632 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591808625400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13023] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13023/stat : 13023 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339199632 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591807573064 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13074] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13074/stat : 13074 (java) S 13003 13005 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339200221 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591804412712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13075] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13075/stat : 13075 (java) S 13003 13005 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339200223 3037372416 154634 33554432000 1073741824 1073778376 140733597786192 140591803360168 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 10.04
Current children cumulated vsize (KiB) 2966184
[startup+7.00061 s]
/proc/loadavg: 4.05 3.97 3.81 3/213 13075
/proc/meminfo: memFree=30369576/32873648 swapFree=7628/7628
[pid=13005] ppid=13003 vsize=2966184 CPUtime=10.26 cores=1,3,5,7
/proc/13005/stat : 13005 (java) S 13003 13005 3958 0 -1 4202496 19651 0 1 0 986 40 0 0 20 0 21 0 339199626 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140733597777328 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13005/statm: 741546 161303 2269 9 0 732240 0
[pid=13005/tid=13007] ppid=13003 vsize=2966184 CPUtime=5.17 cores=1,3,5,7
/proc/13005/task/13007/stat : 13007 (java) S 13003 13005 3958 0 -1 4202560 2984 0 1 0 509 8 0 0 20 0 21 0 339199627 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591968637656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13008] ppid=13003 vsize=2966184 CPUtime=0.33 cores=1,3,5,7
/proc/13005/task/13008/stat : 13008 (java) R 13003 13005 3958 0 -1 4202560 69 0 0 0 31 2 0 0 20 0 21 0 339199628 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591952919128 140591975536211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13009] ppid=13003 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/13005/task/13009/stat : 13009 (java) R 13003 13005 3958 0 -1 4202560 100 0 0 0 28 4 0 0 20 0 21 0 339199628 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591951866584 140591975536160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13010] ppid=13003 vsize=2966184 CPUtime=0.4 cores=1,3,5,7
/proc/13005/task/13010/stat : 13010 (java) R 13003 13005 3958 0 -1 4202560 91 0 0 0 36 4 0 0 20 0 21 0 339199628 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591950813528 140591972812975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13011] ppid=13003 vsize=2966184 CPUtime=0.34 cores=1,3,5,7
/proc/13005/task/13011/stat : 13011 (java) R 13003 13005 3958 0 -1 4202560 214 0 0 0 31 3 0 0 20 0 21 0 339199628 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591949760984 140591972394184 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=13005/tid=13012] ppid=13003 vsize=2966184 CPUtime=0.33 cores=1,3,5,7
/proc/13005/task/13012/stat : 13012 (java) R 13003 13005 3958 0 -1 4202560 77 0 0 0 31 2 0 0 20 0 21 0 339199628 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591948708656 140591972812975 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=13005/tid=13013] ppid=13003 vsize=2966184 CPUtime=0.36 cores=1,3,5,7
/proc/13005/task/13013/stat : 13013 (java) R 13003 13005 3958 0 -1 4202560 78 0 0 0 33 3 0 0 20 0 21 0 339199628 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591947656408 140591975536160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13014] ppid=13003 vsize=2966184 CPUtime=0.37 cores=1,3,5,7
/proc/13005/task/13014/stat : 13014 (java) R 13003 13005 3958 0 -1 4202560 339 0 0 0 34 3 0 0 20 0 21 0 339199628 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591946603352 140591972394149 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13015] ppid=13003 vsize=2966184 CPUtime=0.57 cores=1,3,5,7
/proc/13005/task/13015/stat : 13015 (java) R 13003 13005 3958 0 -1 4202560 126 0 0 0 51 6 0 0 20 0 21 0 339199628 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591945550808 140591972394661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13016] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13016/stat : 13016 (java) S 13003 13005 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 339199629 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591933138184 217413891132 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13017] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13017/stat : 13017 (java) S 13003 13005 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 339199630 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591932085624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13018] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13018/stat : 13018 (java) S 13003 13005 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 339199630 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591931032456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13019] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13019/stat : 13019 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339199632 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591811782928 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13005/tid=13020] ppid=13003 vsize=2966184 CPUtime=0.77 cores=1,3,5,7
/proc/13005/task/13020/stat : 13020 (java) S 13003 13005 3958 0 -1 4202560 8155 0 0 0 75 2 0 0 20 0 21 0 339199632 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591810730808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13021] ppid=13003 vsize=2966184 CPUtime=0.71 cores=1,3,5,7
/proc/13005/task/13021/stat : 13021 (java) S 13003 13005 3958 0 -1 4202560 6124 0 0 0 71 0 0 0 20 0 21 0 339199632 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591809678264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13022] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13022/stat : 13022 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339199632 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591808625400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13005/tid=13023] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13023/stat : 13023 (java) S 13003 13005 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339199632 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591807573064 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13074] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13074/stat : 13074 (java) S 13003 13005 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 339200221 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591804412712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13005/tid=13075] ppid=13003 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/13005/task/13075/stat : 13075 (java) S 13003 13005 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 339200223 3037372416 161303 33554432000 1073741824 1073778376 140733597786192 140591803360168 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 10.26
Current children cumulated vsize (KiB) 2966184
Child status: 10
Real time (s): 7.0513
CPU time (s): 10.4824
CPU user time (s): 9.95049
CPU system time (s): 0.531919
CPU usage (%): 148.659
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.95049
system time used= 0.531919
maximum resident set size= 653508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19687
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 799
involuntary context switches= 2431
runsolver used 0 second user time and 0.075988 second system time
The end