runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3457428-1307660679/watcher-3457428-1307660679 -o /tmp/evaluation-result-3457428-1307660679/solver-3457428-1307660679 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457428-1307660679.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: 1.96 2.02 2.72 2/199 31399
/proc/meminfo: memFree=30405604/32951124 swapFree=67054536/67111528
[pid=31399] ppid=31397 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/31399/stat : 31399 (java) S 31397 31399 29691 0 -1 4202496 1243 0 0 0 0 0 0 0 24 0 2 0 877665779 31268864 963 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31399/statm: 7634 963 736 9 0 385 0
[pid=31399/tid=31400] ppid=31397 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31400/stat : 31400 (java) R 31397 31399 29691 0 -1 4202560 131 0 0 0 0 0 0 0 25 0 2 0 877665780 32362496 964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271545614007 0 0 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0185561 s]
/proc/loadavg: 1.96 2.02 2.72 2/199 31399
/proc/meminfo: memFree=30405604/32951124 swapFree=67054536/67111528
[pid=31399] ppid=31397 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/31399/stat : 31399 (java) S 31397 31399 29691 0 -1 4202496 8500 0 1 0 0 1 0 0 24 0 2 0 877665779 10694979584 8203 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31399/statm: 2611079 8225 917 9 0 2602235 0
[pid=31399/tid=31400] ppid=31397 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31400/stat : 31400 (java) R 31397 31399 29691 0 -1 4202560 7422 0 1 0 0 0 0 0 25 0 2 0 877665780 10694979584 8238 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.100543 s]
/proc/loadavg: 1.96 2.02 2.72 2/199 31399
/proc/meminfo: memFree=30405604/32951124 swapFree=67054536/67111528
[pid=31399] ppid=31397 vsize=10540388 CPUtime=0.11 cores=1,3,5,7
/proc/31399/stat : 31399 (java) S 31397 31399 29691 0 -1 4202496 13140 0 1 0 9 2 0 0 24 0 18 0 877665779 10793357312 12823 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31399/statm: 2635097 12823 2093 9 0 2625831 0
[pid=31399/tid=31400] ppid=31397 vsize=10540388 CPUtime=0.08 cores=1,3,5,7
/proc/31399/task/31400/stat : 31400 (java) R 31397 31399 29691 0 -1 4202560 11198 0 1 0 7 1 0 0 25 0 18 0 877665780 10793357312 12824 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 47410949914104 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540388
[startup+0.30452 s]
/proc/loadavg: 1.96 2.02 2.72 2/199 31399
/proc/meminfo: memFree=30405604/32951124 swapFree=67054536/67111528
[pid=31399] ppid=31397 vsize=10544920 CPUtime=0.59 cores=1,3,5,7
/proc/31399/stat : 31399 (java) S 31397 31399 29691 0 -1 4202496 19006 0 1 0 57 2 0 0 24 0 18 0 877665779 10797998080 17747 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31399/statm: 2636230 17751 2203 9 0 2626964 0
[pid=31399/tid=31400] ppid=31397 vsize=10544920 CPUtime=0.29 cores=1,3,5,7
/proc/31399/task/31400/stat : 31400 (java) R 31397 31399 29691 0 -1 4202560 14476 0 1 0 28 1 0 0 25 0 18 0 877665780 10797998080 17754 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 46912505660757 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10544920
[startup+0.700432 s]
/proc/loadavg: 1.96 2.02 2.72 2/199 31399
/proc/meminfo: memFree=30405604/32951124 swapFree=67054536/67111528
[pid=31399] ppid=31397 vsize=10546232 CPUtime=1.29 cores=1,3,5,7
/proc/31399/stat : 31399 (java) S 31397 31399 29691 0 -1 4202496 21925 0 1 0 127 2 0 0 24 0 19 0 877665779 10799341568 20326 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31399/statm: 2636558 20326 2222 9 0 2627292 0
[pid=31399/tid=31400] ppid=31397 vsize=10546232 CPUtime=0.68 cores=1,3,5,7
/proc/31399/task/31400/stat : 31400 (java) R 31397 31399 29691 0 -1 4202560 16898 0 1 0 67 1 0 0 25 0 19 0 877665780 10799341568 20326 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 46912505744331 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 10546232
[startup+1.5013 s]
/proc/loadavg: 2.04 2.04 2.72 3/218 31418
/proc/meminfo: memFree=30189656/32951124 swapFree=67054536/67111528
[pid=31399] ppid=31397 vsize=10546232 CPUtime=2.09 cores=1,3,5,7
/proc/31399/stat : 31399 (java) S 31397 31399 29691 0 -1 4202496 24643 0 1 0 207 2 0 0 24 0 19 0 877665779 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31399/statm: 2636558 23043 2224 9 0 2627292 0
[pid=31399/tid=31400] ppid=31397 vsize=10546232 CPUtime=1.49 cores=1,3,5,7
/proc/31399/task/31400/stat : 31400 (java) R 31397 31399 29691 0 -1 4202560 19613 0 1 0 147 2 0 0 25 0 19 0 877665780 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 46912505745117 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31399/tid=31402] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31402/stat : 31402 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31403] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31403/stat : 31403 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31404] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31404/stat : 31404 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31405] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31405/stat : 31405 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31406] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31406/stat : 31406 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31407] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31407/stat : 31407 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31408] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31408/stat : 31408 (java) S 31397 31399 29691 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31409] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31409/stat : 31409 (java) S 31397 31399 29691 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31410] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31410/stat : 31410 (java) S 31397 31399 29691 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877665782 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 0 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31411] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31411/stat : 31411 (java) S 31397 31399 29691 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877665783 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31412] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31412/stat : 31412 (java) S 31397 31399 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877665783 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31413] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31413/stat : 31413 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665785 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562361265 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31414] ppid=31397 vsize=10546232 CPUtime=0.33 cores=1,3,5,7
/proc/31399/task/31414/stat : 31414 (java) S 31397 31399 29691 0 -1 4202560 1597 0 0 0 33 0 0 0 17 0 19 0 877665785 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31415] ppid=31397 vsize=10546232 CPUtime=0.26 cores=1,3,5,7
/proc/31399/task/31415/stat : 31415 (java) S 31397 31399 29691 0 -1 4202560 2272 0 0 0 26 0 0 0 15 0 19 0 877665785 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31416] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31416/stat : 31416 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665785 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31417] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31417/stat : 31417 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877665785 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 4 0 16800975 18446604455216993472 0 0 -1 7 0 0 0
[pid=31399/tid=31418] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31418/stat : 31418 (java) S 31397 31399 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877665812 10799341568 23043 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 4 0 16800975 18446604455216993472 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 10546232
[startup+3.10099 s]
/proc/loadavg: 2.04 2.04 2.72 3/218 31418
/proc/meminfo: memFree=30008788/32951124 swapFree=67054536/67111528
[pid=31399] ppid=31397 vsize=10546232 CPUtime=3.7 cores=1,3,5,7
/proc/31399/stat : 31399 (java) S 31397 31399 29691 0 -1 4202496 28564 0 1 0 367 3 0 0 24 0 19 0 877665779 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31399/statm: 2636558 26964 2224 9 0 2627292 0
[pid=31399/tid=31400] ppid=31397 vsize=10546232 CPUtime=3.08 cores=1,3,5,7
/proc/31399/task/31400/stat : 31400 (java) R 31397 31399 29691 0 -1 4202560 23531 0 1 0 306 2 0 0 25 0 19 0 877665780 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 46912505744395 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31399/tid=31402] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31402/stat : 31402 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31403] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31403/stat : 31403 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31404] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31404/stat : 31404 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31405] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31405/stat : 31405 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31406] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31406/stat : 31406 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31407] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31407/stat : 31407 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31408] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31408/stat : 31408 (java) S 31397 31399 29691 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31409] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31409/stat : 31409 (java) S 31397 31399 29691 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31410] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31410/stat : 31410 (java) S 31397 31399 29691 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877665782 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 0 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31411] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31411/stat : 31411 (java) S 31397 31399 29691 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877665783 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31412] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31412/stat : 31412 (java) S 31397 31399 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877665783 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31413] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31413/stat : 31413 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665785 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562361265 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31414] ppid=31397 vsize=10546232 CPUtime=0.33 cores=1,3,5,7
/proc/31399/task/31414/stat : 31414 (java) S 31397 31399 29691 0 -1 4202560 1597 0 0 0 33 0 0 0 17 0 19 0 877665785 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31415] ppid=31397 vsize=10546232 CPUtime=0.27 cores=1,3,5,7
/proc/31399/task/31415/stat : 31415 (java) S 31397 31399 29691 0 -1 4202560 2275 0 0 0 27 0 0 0 15 0 19 0 877665785 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31416] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31416/stat : 31416 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665785 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31417] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31417/stat : 31417 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877665785 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 4 0 16800975 18446604455216993472 0 0 -1 7 0 0 0
[pid=31399/tid=31418] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31418/stat : 31418 (java) S 31397 31399 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877665812 10799341568 26964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 4 0 16800975 18446604455216993472 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 10546232
[startup+6.30141 s]
/proc/loadavg: 2.04 2.04 2.72 3/218 31418
/proc/meminfo: memFree=29566720/32951124 swapFree=67054536/67111528
[pid=31399] ppid=31397 vsize=10546232 CPUtime=6.92 cores=1,3,5,7
/proc/31399/stat : 31399 (java) S 31397 31399 29691 0 -1 4202496 35446 0 1 0 689 3 0 0 24 0 19 0 877665779 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31399/statm: 2636558 33821 2225 9 0 2627292 0
[pid=31399/tid=31400] ppid=31397 vsize=10546232 CPUtime=6.29 cores=1,3,5,7
/proc/31399/task/31400/stat : 31400 (java) R 31397 31399 29691 0 -1 4202560 30411 0 1 0 626 3 0 0 25 0 19 0 877665780 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 46912505744331 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31399/tid=31402] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31402/stat : 31402 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31403] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31403/stat : 31403 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31404] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31404/stat : 31404 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31405] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31405/stat : 31405 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31406] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31406/stat : 31406 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31407] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31407/stat : 31407 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31408] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31408/stat : 31408 (java) S 31397 31399 29691 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31409] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31409/stat : 31409 (java) S 31397 31399 29691 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31410] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31410/stat : 31410 (java) S 31397 31399 29691 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877665782 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 0 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31411] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31411/stat : 31411 (java) S 31397 31399 29691 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877665783 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31412] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31412/stat : 31412 (java) S 31397 31399 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877665783 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31413] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31413/stat : 31413 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665785 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562361265 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31414] ppid=31397 vsize=10546232 CPUtime=0.33 cores=1,3,5,7
/proc/31399/task/31414/stat : 31414 (java) S 31397 31399 29691 0 -1 4202560 1597 0 0 0 33 0 0 0 17 0 19 0 877665785 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31415] ppid=31397 vsize=10546232 CPUtime=0.29 cores=1,3,5,7
/proc/31399/task/31415/stat : 31415 (java) S 31397 31399 29691 0 -1 4202560 2276 0 0 0 29 0 0 0 15 0 19 0 877665785 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31416] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31416/stat : 31416 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665785 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31417] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31417/stat : 31417 (java) S 31397 31399 29691 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877665785 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 4 0 16800975 18446604455216993472 0 0 -1 7 0 0 0
[pid=31399/tid=31418] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31418/stat : 31418 (java) S 31397 31399 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877665812 10799341568 33821 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 4 0 16800975 18446604455216993472 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 10546232
Solver just ended. Dumping a history of the last processes samples
[startup+7.10126 s]
/proc/loadavg: 2.04 2.04 2.72 3/218 31418
/proc/meminfo: memFree=29429448/32951124 swapFree=67054536/67111528
[pid=31399] ppid=31397 vsize=10546232 CPUtime=7.73 cores=1,3,5,7
/proc/31399/stat : 31399 (java) S 31397 31399 29691 0 -1 4202496 37589 0 1 0 769 4 0 0 24 0 19 0 877665779 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31399/statm: 2636558 35964 2225 9 0 2627292 0
[pid=31399/tid=31400] ppid=31397 vsize=10546232 CPUtime=7.09 cores=1,3,5,7
/proc/31399/task/31400/stat : 31400 (java) R 31397 31399 29691 0 -1 4202560 32554 0 1 0 706 3 0 0 25 0 19 0 877665780 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 46912505744590 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31399/tid=31402] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31402/stat : 31402 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31403] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31403/stat : 31403 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31404] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31404/stat : 31404 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31405] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31405/stat : 31405 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31406] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31406/stat : 31406 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31407] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31407/stat : 31407 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31408] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31408/stat : 31408 (java) S 31397 31399 29691 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31409] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31409/stat : 31409 (java) S 31397 31399 29691 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31410] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31410/stat : 31410 (java) S 31397 31399 29691 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877665782 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 0 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31411] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31411/stat : 31411 (java) S 31397 31399 29691 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877665783 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31412] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31412/stat : 31412 (java) S 31397 31399 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877665783 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31413] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31413/stat : 31413 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665785 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562361265 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31414] ppid=31397 vsize=10546232 CPUtime=0.33 cores=1,3,5,7
/proc/31399/task/31414/stat : 31414 (java) S 31397 31399 29691 0 -1 4202560 1597 0 0 0 33 0 0 0 17 0 19 0 877665785 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31415] ppid=31397 vsize=10546232 CPUtime=0.3 cores=1,3,5,7
/proc/31399/task/31415/stat : 31415 (java) R 31397 31399 29691 0 -1 4202560 2276 0 0 0 30 0 0 0 15 0 19 0 877665785 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 47410945993250 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31399/tid=31416] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31416/stat : 31416 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665785 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31417] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31417/stat : 31417 (java) S 31397 31399 29691 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877665785 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31418] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31418/stat : 31418 (java) S 31397 31399 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877665812 10799341568 35964 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 4 0 16800975 18446604455216993472 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.73
Current children cumulated vsize (KiB) 10546232
[startup+7.90112 s]
/proc/loadavg: 2.04 2.04 2.72 3/218 31418
/proc/meminfo: memFree=29299496/32951124 swapFree=67054536/67111528
[pid=31399] ppid=31397 vsize=10546232 CPUtime=8.55 cores=1,3,5,7
/proc/31399/stat : 31399 (java) S 31397 31399 29691 0 -1 4202496 40244 0 1 0 851 4 0 0 24 0 19 0 877665779 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31399/statm: 2636558 38619 2225 9 0 2627292 0
[pid=31399/tid=31400] ppid=31397 vsize=10546232 CPUtime=7.88 cores=1,3,5,7
/proc/31399/task/31400/stat : 31400 (java) R 31397 31399 29691 0 -1 4202560 35205 0 1 0 785 3 0 0 25 0 19 0 877665780 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 46912505744262 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31399/tid=31402] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31402/stat : 31402 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31403] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31403/stat : 31403 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31404] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31404/stat : 31404 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31405] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31405/stat : 31405 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31406] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31406/stat : 31406 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31407] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31407/stat : 31407 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31408] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31408/stat : 31408 (java) S 31397 31399 29691 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31409] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31409/stat : 31409 (java) S 31397 31399 29691 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31410] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31410/stat : 31410 (java) S 31397 31399 29691 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877665782 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 0 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31411] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31411/stat : 31411 (java) S 31397 31399 29691 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877665783 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31412] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31412/stat : 31412 (java) S 31397 31399 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877665783 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31413] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31413/stat : 31413 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665785 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562361265 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31414] ppid=31397 vsize=10546232 CPUtime=0.34 cores=1,3,5,7
/proc/31399/task/31414/stat : 31414 (java) S 31397 31399 29691 0 -1 4202560 1597 0 0 0 34 0 0 0 15 0 19 0 877665785 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31415] ppid=31397 vsize=10546232 CPUtime=0.31 cores=1,3,5,7
/proc/31399/task/31415/stat : 31415 (java) S 31397 31399 29691 0 -1 4202560 2280 0 0 0 31 0 0 0 15 0 19 0 877665785 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31416] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31416/stat : 31416 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665785 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31417] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31417/stat : 31417 (java) S 31397 31399 29691 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877665785 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31418] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31418/stat : 31418 (java) S 31397 31399 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877665812 10799341568 38619 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 4 0 16800975 18446604455216993472 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.55
Current children cumulated vsize (KiB) 10546232
[startup+8.10109 s]
/proc/loadavg: 2.04 2.04 2.72 3/218 31418
/proc/meminfo: memFree=29299496/32951124 swapFree=67054536/67111528
[pid=31399] ppid=31397 vsize=10546232 CPUtime=8.75 cores=1,3,5,7
/proc/31399/stat : 31399 (java) S 31397 31399 29691 0 -1 4202496 41450 0 1 0 871 4 0 0 24 0 19 0 877665779 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31399/statm: 2636558 39825 2225 9 0 2627292 0
[pid=31399/tid=31400] ppid=31397 vsize=10546232 CPUtime=8.08 cores=1,3,5,7
/proc/31399/task/31400/stat : 31400 (java) R 31397 31399 29691 0 -1 4202560 36411 0 1 0 805 3 0 0 25 0 19 0 877665780 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 46912505841092 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31399/tid=31402] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31402/stat : 31402 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31403] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31403/stat : 31403 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31404] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31404/stat : 31404 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31405] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31405/stat : 31405 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31406] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31406/stat : 31406 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31407] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31407/stat : 31407 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31408] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31408/stat : 31408 (java) S 31397 31399 29691 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31409] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31409/stat : 31409 (java) S 31397 31399 29691 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877665781 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31410] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31410/stat : 31410 (java) S 31397 31399 29691 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877665782 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 0 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31411] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31411/stat : 31411 (java) S 31397 31399 29691 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877665783 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31412] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31412/stat : 31412 (java) S 31397 31399 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877665783 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31413] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31413/stat : 31413 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665785 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562361265 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31414] ppid=31397 vsize=10546232 CPUtime=0.34 cores=1,3,5,7
/proc/31399/task/31414/stat : 31414 (java) S 31397 31399 29691 0 -1 4202560 1597 0 0 0 34 0 0 0 15 0 19 0 877665785 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 5 0 0 0
[pid=31399/tid=31415] ppid=31397 vsize=10546232 CPUtime=0.31 cores=1,3,5,7
/proc/31399/task/31415/stat : 31415 (java) S 31397 31399 29691 0 -1 4202560 2280 0 0 0 31 0 0 0 15 0 19 0 877665785 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31416] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31416/stat : 31416 (java) S 31397 31399 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877665785 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562353561 0 4 0 16800975 18446604455216993472 0 0 -1 1 0 0 0
[pid=31399/tid=31417] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31417/stat : 31417 (java) S 31397 31399 29691 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877665785 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 4 0 16800975 18446604455216993472 0 0 -1 3 0 0 0
[pid=31399/tid=31418] ppid=31397 vsize=10546232 CPUtime=0 cores=1,3,5,7
/proc/31399/task/31418/stat : 31418 (java) S 31397 31399 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877665812 10799341568 39825 33554432000 1073741824 1073778376 140733720567088 18446744073709551615 271562354176 0 4 0 16800975 18446604455216993472 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.75
Current children cumulated vsize (KiB) 10546232
Child status: 20
Real time (s): 8.16033
CPU time (s): 8.80666
CPU user time (s): 8.75467
CPU system time (s): 0.051992
CPU usage (%): 107.92
Max. virtual memory (cumulated for all children) (KiB): 10546232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.75467
system time used= 0.051992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42087
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 360
involuntary context switches= 79
runsolver used 0.015997 second user time and 0.032994 second system time
The end