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-3455961-1307225743/watcher-3455961-1307225743 -o /tmp/evaluation-result-3455961-1307225743/solver-3455961-1307225743 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455961-1307225743.opb
running on 4 cores: 0,2,4,6
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: 2.69 2.19 2.05 2/433 14510
/proc/meminfo: memFree=24361096/32950928 swapFree=52006644/67111528
[pid=14510] ppid=14508 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/14510/stat : 14510 (java) S 14508 14510 12126 0 -1 4202496 3199 0 1 0 0 0 0 0 25 0 2 0 290183721 10694979584 2901 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/14510/statm: 2611079 2915 917 9 0 2602235 0
[pid=14510/tid=14511] ppid=14508 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14511/stat : 14511 (java) R 14508 14510 12126 0 -1 4202560 4867 0 1 0 0 0 0 0 25 0 2 0 290183721 10694979584 5682 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.05824 s]
/proc/loadavg: 2.69 2.19 2.05 2/433 14510
/proc/meminfo: memFree=24361096/32950928 swapFree=52006644/67111528
[pid=14510] ppid=14508 vsize=10468644 CPUtime=0.04 cores=0,2,4,6
/proc/14510/stat : 14510 (java) S 14508 14510 12126 0 -1 4202496 11548 0 1 0 3 1 0 0 25 0 14 0 290183721 10719891456 11245 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892367845 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/14510/statm: 2617161 11245 1691 9 0 2607909 0
[pid=14510/tid=14511] ppid=14508 vsize=10468644 CPUtime=0.04 cores=0,2,4,6
/proc/14510/task/14511/stat : 14511 (java) S 14508 14510 12126 0 -1 4202560 10402 0 1 0 3 1 0 0 25 0 14 0 290183721 10719891456 11245 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800971 18446604452354192384 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10468644
[startup+0.104922 s]
/proc/loadavg: 2.69 2.19 2.05 2/433 14510
/proc/meminfo: memFree=24361096/32950928 swapFree=52006644/67111528
[pid=14510] ppid=14508 vsize=10540480 CPUtime=0.11 cores=0,2,4,6
/proc/14510/stat : 14510 (java) S 14508 14510 12126 0 -1 4202496 13165 0 1 0 9 2 0 0 25 0 18 0 290183721 10793451520 12806 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14510/statm: 2635120 12807 2093 9 0 2625854 0
[pid=14510/tid=14511] ppid=14508 vsize=10540480 CPUtime=0.08 cores=0,2,4,6
/proc/14510/task/14511/stat : 14511 (java) R 14508 14510 12126 0 -1 4202560 11222 0 1 0 7 1 0 0 18 0 18 0 290183721 10793451520 12808 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 47893338998803 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540480
[startup+0.300901 s]
/proc/loadavg: 2.69 2.19 2.05 2/433 14510
/proc/meminfo: memFree=24361096/32950928 swapFree=52006644/67111528
[pid=14510] ppid=14508 vsize=10545436 CPUtime=0.5 cores=0,2,4,6
/proc/14510/stat : 14510 (java) S 14508 14510 12126 0 -1 4202496 17030 0 1 0 47 3 0 0 25 0 19 0 290183721 10798526464 16009 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14510/statm: 2636359 16010 2188 9 0 2627093 0
[pid=14510/tid=14511] ppid=14508 vsize=10545436 CPUtime=0.28 cores=0,2,4,6
/proc/14510/task/14511/stat : 14511 (java) R 14508 14510 12126 0 -1 4202560 13259 0 1 0 26 2 0 0 19 0 19 0 290183721 10798526464 16011 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10545436
[startup+0.70081 s]
/proc/loadavg: 2.69 2.19 2.05 2/433 14510
/proc/meminfo: memFree=24361096/32950928 swapFree=52006644/67111528
[pid=14510] ppid=14508 vsize=10555588 CPUtime=1.62 cores=0,2,4,6
/proc/14510/stat : 14510 (java) S 14508 14510 12126 0 -1 4202496 41301 0 1 0 156 6 0 0 25 0 19 0 290183721 10808922112 35774 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14510/statm: 2638897 35776 2217 9 0 2629631 0
[pid=14510/tid=14511] ppid=14508 vsize=10555588 CPUtime=0.68 cores=0,2,4,6
/proc/14510/task/14511/stat : 14511 (java) R 14508 14510 12126 0 -1 4202560 27297 0 1 0 64 4 0 0 19 0 19 0 290183721 10808922112 35778 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 46912505550418 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10555588
[startup+1.50169 s]
/proc/loadavg: 2.80 2.22 2.06 3/452 14529
/proc/meminfo: memFree=23759344/32950928 swapFree=52006644/67111528
[pid=14510] ppid=14508 vsize=10555588 CPUtime=2.75 cores=0,2,4,6
/proc/14510/stat : 14510 (java) S 14508 14510 12126 0 -1 4202496 110832 0 1 0 259 16 0 0 25 0 19 0 290183721 10808922112 105305 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14510/statm: 2638897 105308 2220 9 0 2629631 0
[pid=14510/tid=14511] ppid=14508 vsize=10555588 CPUtime=1.48 cores=0,2,4,6
/proc/14510/task/14511/stat : 14511 (java) R 14508 14510 12126 0 -1 4202560 96767 0 1 0 134 14 0 0 18 0 19 0 290183721 10808922112 105309 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 46912505525007 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14510/tid=14513] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14513/stat : 14513 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 105312 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14514] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14514/stat : 14514 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 105314 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14515] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14515/stat : 14515 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 105315 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14516] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14516/stat : 14516 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 105318 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14517] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14517/stat : 14517 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 105320 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14518] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14518/stat : 14518 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 105322 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14519] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14519/stat : 14519 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 105323 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14520] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14520/stat : 14520 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 105325 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14521] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14521/stat : 14521 (java) S 14508 14510 12126 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 290183724 10808922112 105327 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 0 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14522] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14522/stat : 14522 (java) S 14508 14510 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 290183725 10808922112 105329 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14523] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14523/stat : 14523 (java) S 14508 14510 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 290183725 10808922112 105330 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14524] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14524/stat : 14524 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183727 10808922112 105332 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892388785 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14525] ppid=14508 vsize=10555588 CPUtime=0.66 cores=0,2,4,6
/proc/14510/task/14525/stat : 14525 (java) S 14508 14510 12126 0 -1 4202560 4931 0 0 0 66 0 0 0 15 0 19 0 290183727 10808922112 105334 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14526] ppid=14508 vsize=10555588 CPUtime=0.58 cores=0,2,4,6
/proc/14510/task/14526/stat : 14526 (java) S 14508 14510 12126 0 -1 4202560 7980 0 0 0 57 1 0 0 16 0 19 0 290183727 10808922112 105337 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14527] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14527/stat : 14527 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183727 10808922112 105339 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14528] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14528/stat : 14528 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 290183727 10808922112 105341 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14529] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14529/stat : 14529 (java) S 14508 14510 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 290183738 10808922112 105343 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 10555588
[startup+3.10141 s]
/proc/loadavg: 2.80 2.22 2.06 3/452 14529
/proc/meminfo: memFree=22949748/32950928 swapFree=52006644/67111528
[pid=14510] ppid=14508 vsize=10555588 CPUtime=4.37 cores=0,2,4,6
/proc/14510/stat : 14510 (java) S 14508 14510 12126 0 -1 4202496 255848 0 1 0 402 35 0 0 25 0 19 0 290183721 10808922112 250318 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14510/statm: 2638897 250323 2220 9 0 2629631 0
[pid=14510/tid=14511] ppid=14508 vsize=10555588 CPUtime=3.09 cores=0,2,4,6
/proc/14510/task/14511/stat : 14511 (java) R 14508 14510 12126 0 -1 4202560 241783 0 1 0 276 33 0 0 19 0 19 0 290183721 10808922112 250325 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 46912505562772 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14510/tid=14513] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14513/stat : 14513 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 250327 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14514] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14514/stat : 14514 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 250329 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14515] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14515/stat : 14515 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 250331 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14516] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14516/stat : 14516 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 250333 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14517] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14517/stat : 14517 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 250336 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14518] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14518/stat : 14518 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 250337 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14519] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14519/stat : 14519 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 250339 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14520] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14520/stat : 14520 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 250341 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14521] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14521/stat : 14521 (java) S 14508 14510 12126 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 290183724 10808922112 250343 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 0 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14522] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14522/stat : 14522 (java) S 14508 14510 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 290183725 10808922112 250345 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14523] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14523/stat : 14523 (java) S 14508 14510 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 290183725 10808922112 250347 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14524] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14524/stat : 14524 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183727 10808922112 250349 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892388785 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14525] ppid=14508 vsize=10555588 CPUtime=0.68 cores=0,2,4,6
/proc/14510/task/14525/stat : 14525 (java) S 14508 14510 12126 0 -1 4202560 4933 0 0 0 68 0 0 0 15 0 19 0 290183727 10808922112 250351 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14526] ppid=14508 vsize=10555588 CPUtime=0.58 cores=0,2,4,6
/proc/14510/task/14526/stat : 14526 (java) S 14508 14510 12126 0 -1 4202560 7980 0 0 0 57 1 0 0 16 0 19 0 290183727 10808922112 250353 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14527] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14527/stat : 14527 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183727 10808922112 250354 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14528] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14528/stat : 14528 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 290183727 10808922112 250356 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14529] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14529/stat : 14529 (java) S 14508 14510 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 290183738 10808922112 250357 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 10555588
[startup+6.30084 s]
/proc/loadavg: 2.80 2.22 2.06 3/452 14529
/proc/meminfo: memFree=21587328/32950928 swapFree=52006644/67111528
[pid=14510] ppid=14508 vsize=10555588 CPUtime=7.56 cores=0,2,4,6
/proc/14510/stat : 14510 (java) S 14508 14510 12126 0 -1 4202496 516149 0 1 0 690 66 0 0 25 0 19 0 290183721 10808922112 510581 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14510/statm: 2638897 510583 2221 9 0 2629631 0
[pid=14510/tid=14511] ppid=14508 vsize=10555588 CPUtime=6.29 cores=0,2,4,6
/proc/14510/task/14511/stat : 14511 (java) R 14508 14510 12126 0 -1 4202560 502081 0 1 0 565 64 0 0 21 0 19 0 290183721 10808922112 510585 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 46912505525004 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14510/tid=14513] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14513/stat : 14513 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 510587 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14514] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14514/stat : 14514 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 510588 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14515] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14515/stat : 14515 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 510590 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14516] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14516/stat : 14516 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 510592 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14517] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14517/stat : 14517 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 510594 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14518] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14518/stat : 14518 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 510597 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14519] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14519/stat : 14519 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 510600 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14520] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14520/stat : 14520 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183723 10808922112 510604 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14521] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14521/stat : 14521 (java) S 14508 14510 12126 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 290183724 10808922112 510607 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 0 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14522] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14522/stat : 14522 (java) S 14508 14510 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 290183725 10808922112 510610 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14523] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14523/stat : 14523 (java) S 14508 14510 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 290183725 10808922112 510612 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14524] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14524/stat : 14524 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183727 10808922112 510616 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892388785 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14525] ppid=14508 vsize=10555588 CPUtime=0.68 cores=0,2,4,6
/proc/14510/task/14525/stat : 14525 (java) S 14508 14510 12126 0 -1 4202560 4933 0 0 0 68 0 0 0 15 0 19 0 290183727 10808922112 510619 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14526] ppid=14508 vsize=10555588 CPUtime=0.58 cores=0,2,4,6
/proc/14510/task/14526/stat : 14526 (java) S 14508 14510 12126 0 -1 4202560 7980 0 0 0 57 1 0 0 16 0 19 0 290183727 10808922112 510623 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/14510/task/14523/stat : 14523 (java) S 14508 14510 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 290183725 10808922112 949831 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14524] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14524/stat : 14524 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183727 10808922112 949831 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892388785 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14525] ppid=14508 vsize=10555588 CPUtime=0.78 cores=0,2,4,6
/proc/14510/task/14525/stat : 14525 (java) S 14508 14510 12126 0 -1 4202560 4955 0 0 0 78 0 0 0 15 0 19 0 290183727 10808922112 949831 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14526] ppid=14508 vsize=10555588 CPUtime=0.78 cores=0,2,4,6
/proc/14510/task/14526/stat : 14526 (java) S 14508 14510 12126 0 -1 4202560 8019 0 0 0 77 1 0 0 15 0 19 0 290183727 10808922112 949831 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14527] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14527/stat : 14527 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183727 10808922112 949831 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14528] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14528/stat : 14528 (java) S 14508 14510 12126 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 290183727 10808922112 949831 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14529] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14529/stat : 14529 (java) S 14508 14510 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 290183738 10808922112 949831 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1668.4
Current children cumulated vsize (KiB) 10555588
[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/452 14575
/proc/meminfo: memFree=18402688/32950928 swapFree=52006644/67111528
[pid=14510] ppid=14508 vsize=10555588 CPUtime=1728.53 cores=0,2,4,6
/proc/14510/stat : 14510 (java) S 14508 14510 12126 0 -1 4202496 958200 0 1 0 172726 127 0 0 25 0 19 0 290183721 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14510/statm: 2638897 950820 2257 9 0 2629631 0
[pid=14510/tid=14511] ppid=14508 vsize=10555588 CPUtime=1718.05 cores=0,2,4,6
/proc/14510/task/14511/stat : 14511 (java) R 14508 14510 12126 0 -1 4202560 832717 0 1 0 171702 103 0 0 25 0 19 0 290183721 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 46912506018908 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14510/tid=14513] ppid=14508 vsize=10555588 CPUtime=0.94 cores=0,2,4,6
/proc/14510/task/14513/stat : 14513 (java) S 14508 14510 12126 0 -1 4202560 16235 0 0 0 92 2 0 0 15 0 19 0 290183723 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14514] ppid=14508 vsize=10555588 CPUtime=0.86 cores=0,2,4,6
/proc/14510/task/14514/stat : 14514 (java) S 14508 14510 12126 0 -1 4202560 11376 0 0 0 84 2 0 0 15 0 19 0 290183723 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14515] ppid=14508 vsize=10555588 CPUtime=0.8 cores=0,2,4,6
/proc/14510/task/14515/stat : 14515 (java) S 14508 14510 12126 0 -1 4202560 13911 0 0 0 78 2 0 0 15 0 19 0 290183723 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14516] ppid=14508 vsize=10555588 CPUtime=0.82 cores=0,2,4,6
/proc/14510/task/14516/stat : 14516 (java) S 14508 14510 12126 0 -1 4202560 10248 0 0 0 81 1 0 0 16 0 19 0 290183723 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14517] ppid=14508 vsize=10555588 CPUtime=0.84 cores=0,2,4,6
/proc/14510/task/14517/stat : 14517 (java) S 14508 14510 12126 0 -1 4202560 9142 0 0 0 83 1 0 0 15 0 19 0 290183723 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14518] ppid=14508 vsize=10555588 CPUtime=0.81 cores=0,2,4,6
/proc/14510/task/14518/stat : 14518 (java) S 14508 14510 12126 0 -1 4202560 9926 0 0 0 79 2 0 0 16 0 19 0 290183723 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14519] ppid=14508 vsize=10555588 CPUtime=0.86 cores=0,2,4,6
/proc/14510/task/14519/stat : 14519 (java) S 14508 14510 12126 0 -1 4202560 13590 0 0 0 84 2 0 0 16 0 19 0 290183723 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14520] ppid=14508 vsize=10555588 CPUtime=0.99 cores=0,2,4,6
/proc/14510/task/14520/stat : 14520 (java) S 14508 14510 12126 0 -1 4202560 16397 0 0 0 96 3 0 0 16 0 19 0 290183723 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14521] ppid=14508 vsize=10555588 CPUtime=1.9 cores=0,2,4,6
/proc/14510/task/14521/stat : 14521 (java) S 14508 14510 12126 0 -1 4202560 10432 0 0 0 187 3 0 0 15 0 19 0 290183724 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 0 0 16800975 18446604452354192384 0 0 -1 0 0 0 0
[pid=14510/tid=14522] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14522/stat : 14522 (java) S 14508 14510 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 290183725 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14523] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14523/stat : 14523 (java) S 14508 14510 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 290183725 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14524] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14524/stat : 14524 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183727 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892388785 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14525] ppid=14508 vsize=10555588 CPUtime=0.78 cores=0,2,4,6
/proc/14510/task/14525/stat : 14525 (java) S 14508 14510 12126 0 -1 4202560 4955 0 0 0 78 0 0 0 15 0 19 0 290183727 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14526] ppid=14508 vsize=10555588 CPUtime=0.78 cores=0,2,4,6
/proc/14510/task/14526/stat : 14526 (java) S 14508 14510 12126 0 -1 4202560 8019 0 0 0 77 1 0 0 15 0 19 0 290183727 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14527] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14527/stat : 14527 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183727 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14528] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14528/stat : 14528 (java) S 14508 14510 12126 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 290183727 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 4 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14529] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14529/stat : 14529 (java) S 14508 14510 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 290183738 10808922112 950820 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1728.53
Current children cumulated vsize (KiB) 10555588
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/452 14576
/proc/meminfo: memFree=18388288/32950928 swapFree=52006644/67111528
[pid=14510] ppid=14508 vsize=10555588 CPUtime=1788.78 cores=0,2,4,6
/proc/14510/stat : 14510 (java) S 14508 14510 12126 0 -1 4202496 960013 0 1 0 178749 129 0 0 25 0 19 0 290183721 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14510/statm: 2638897 952570 2257 9 0 2629631 0
[pid=14510/tid=14511] ppid=14508 vsize=10555588 CPUtime=1777.94 cores=0,2,4,6
/proc/14510/task/14511/stat : 14511 (java) R 14508 14510 12126 0 -1 4202560 832722 0 1 0 177690 104 0 0 25 0 19 0 290183721 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 46912505522765 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14510/tid=14513] ppid=14508 vsize=10555588 CPUtime=0.99 cores=0,2,4,6
/proc/14510/task/14513/stat : 14513 (java) S 14508 14510 12126 0 -1 4202560 16514 0 0 0 97 2 0 0 16 0 19 0 290183723 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 0 0 0 0
[pid=14510/tid=14514] ppid=14508 vsize=10555588 CPUtime=0.91 cores=0,2,4,6
/proc/14510/task/14514/stat : 14514 (java) S 14508 14510 12126 0 -1 4202560 11559 0 0 0 89 2 0 0 15 0 19 0 290183723 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14515] ppid=14508 vsize=10555588 CPUtime=0.84 cores=0,2,4,6
/proc/14510/task/14515/stat : 14515 (java) S 14508 14510 12126 0 -1 4202560 14220 0 0 0 82 2 0 0 15 0 19 0 290183723 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14516] ppid=14508 vsize=10555588 CPUtime=0.83 cores=0,2,4,6
/proc/14510/task/14516/stat : 14516 (java) S 14508 14510 12126 0 -1 4202560 10348 0 0 0 82 1 0 0 15 0 19 0 290183723 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14517] ppid=14508 vsize=10555588 CPUtime=0.95 cores=0,2,4,6
/proc/14510/task/14517/stat : 14517 (java) S 14508 14510 12126 0 -1 4202560 9686 0 0 0 93 2 0 0 16 0 19 0 290183723 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 0 0 0 0
[pid=14510/tid=14518] ppid=14508 vsize=10555588 CPUtime=0.84 cores=0,2,4,6
/proc/14510/task/14518/stat : 14518 (java) S 14508 14510 12126 0 -1 4202560 9979 0 0 0 82 2 0 0 15 0 19 0 290183723 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14519] ppid=14508 vsize=10555588 CPUtime=0.9 cores=0,2,4,6
/proc/14510/task/14519/stat : 14519 (java) S 14508 14510 12126 0 -1 4202560 13730 0 0 0 88 2 0 0 16 0 19 0 290183723 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14520] ppid=14508 vsize=10555588 CPUtime=1.01 cores=0,2,4,6
/proc/14510/task/14520/stat : 14520 (java) S 14508 14510 12126 0 -1 4202560 16591 0 0 0 98 3 0 0 16 0 19 0 290183723 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14521] ppid=14508 vsize=10555588 CPUtime=1.9 cores=0,2,4,6
/proc/14510/task/14521/stat : 14521 (java) S 14508 14510 12126 0 -1 4202560 10436 0 0 0 187 3 0 0 15 0 19 0 290183724 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 0 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14522] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14522/stat : 14522 (java) S 14508 14510 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 290183725 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14523] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14523/stat : 14523 (java) S 14508 14510 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 290183725 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14524] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14524/stat : 14524 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183727 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892388785 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14525] ppid=14508 vsize=10555588 CPUtime=0.78 cores=0,2,4,6
/proc/14510/task/14525/stat : 14525 (java) S 14508 14510 12126 0 -1 4202560 4955 0 0 0 78 0 0 0 15 0 19 0 290183727 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14526] ppid=14508 vsize=10555588 CPUtime=0.78 cores=0,2,4,6
/proc/14510/task/14526/stat : 14526 (java) S 14508 14510 12126 0 -1 4202560 8019 0 0 0 77 1 0 0 15 0 19 0 290183727 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14527] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14527/stat : 14527 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183727 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14528] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14528/stat : 14528 (java) S 14508 14510 12126 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 290183727 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 4 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14529] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14529/stat : 14529 (java) S 14508 14510 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 290183738 10808922112 952570 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1788.78
Current children cumulated vsize (KiB) 10555588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.5 s]
/proc/loadavg: 2.01 2.05 2.01 3/452 14625
/proc/meminfo: memFree=22003756/32950928 swapFree=52006644/67111528
[pid=14510] ppid=14508 vsize=10555588 CPUtime=1800.05 cores=0,2,4,6
/proc/14510/stat : 14510 (java) S 14508 14510 12126 0 -1 4202496 960391 0 1 0 179876 129 0 0 25 0 19 0 290183721 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14510/statm: 2638897 952943 2257 9 0 2629631 0
[pid=14510/tid=14511] ppid=14508 vsize=10555588 CPUtime=1789.14 cores=0,2,4,6
/proc/14510/task/14511/stat : 14511 (java) R 14508 14510 12126 0 -1 4202560 832723 0 1 0 178810 104 0 0 25 0 19 0 290183721 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 46912505511599 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14510/tid=14513] ppid=14508 vsize=10555588 CPUtime=1.01 cores=0,2,4,6
/proc/14510/task/14513/stat : 14513 (java) S 14508 14510 12126 0 -1 4202560 16543 0 0 0 99 2 0 0 16 0 19 0 290183723 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14514] ppid=14508 vsize=10555588 CPUtime=0.92 cores=0,2,4,6
/proc/14510/task/14514/stat : 14514 (java) S 14508 14510 12126 0 -1 4202560 11565 0 0 0 90 2 0 0 16 0 19 0 290183723 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14515] ppid=14508 vsize=10555588 CPUtime=0.85 cores=0,2,4,6
/proc/14510/task/14515/stat : 14515 (java) S 14508 14510 12126 0 -1 4202560 14252 0 0 0 83 2 0 0 16 0 19 0 290183723 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14516] ppid=14508 vsize=10555588 CPUtime=0.83 cores=0,2,4,6
/proc/14510/task/14516/stat : 14516 (java) S 14508 14510 12126 0 -1 4202560 10348 0 0 0 82 1 0 0 15 0 19 0 290183723 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14517] ppid=14508 vsize=10555588 CPUtime=0.97 cores=0,2,4,6
/proc/14510/task/14517/stat : 14517 (java) S 14508 14510 12126 0 -1 4202560 9830 0 0 0 95 2 0 0 16 0 19 0 290183723 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 0 0 0 0
[pid=14510/tid=14518] ppid=14508 vsize=10555588 CPUtime=0.84 cores=0,2,4,6
/proc/14510/task/14518/stat : 14518 (java) S 14508 14510 12126 0 -1 4202560 9979 0 0 0 82 2 0 0 15 0 19 0 290183723 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14519] ppid=14508 vsize=10555588 CPUtime=0.9 cores=0,2,4,6
/proc/14510/task/14519/stat : 14519 (java) S 14508 14510 12126 0 -1 4202560 13730 0 0 0 88 2 0 0 15 0 19 0 290183723 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14520] ppid=14508 vsize=10555588 CPUtime=1.03 cores=0,2,4,6
/proc/14510/task/14520/stat : 14520 (java) S 14508 14510 12126 0 -1 4202560 16753 0 0 0 100 3 0 0 16 0 19 0 290183723 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14521] ppid=14508 vsize=10555588 CPUtime=1.9 cores=0,2,4,6
/proc/14510/task/14521/stat : 14521 (java) S 14508 14510 12126 0 -1 4202560 10438 0 0 0 187 3 0 0 15 0 19 0 290183724 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 0 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14522] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14522/stat : 14522 (java) S 14508 14510 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 290183725 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14523] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14523/stat : 14523 (java) S 14508 14510 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 290183725 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14524] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14524/stat : 14524 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183727 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892388785 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14525] ppid=14508 vsize=10555588 CPUtime=0.78 cores=0,2,4,6
/proc/14510/task/14525/stat : 14525 (java) S 14508 14510 12126 0 -1 4202560 4955 0 0 0 78 0 0 0 15 0 19 0 290183727 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14526] ppid=14508 vsize=10555588 CPUtime=0.78 cores=0,2,4,6
/proc/14510/task/14526/stat : 14526 (java) S 14508 14510 12126 0 -1 4202560 8019 0 0 0 77 1 0 0 15 0 19 0 290183727 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
[pid=14510/tid=14527] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14527/stat : 14527 (java) S 14508 14510 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 290183727 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381081 0 4 0 16800975 18446604452354192384 0 0 -1 6 0 0 0
[pid=14510/tid=14528] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14528/stat : 14528 (java) S 14508 14510 12126 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 290183727 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 4 0 16800975 18446604452354192384 0 0 -1 4 0 0 0
[pid=14510/tid=14529] ppid=14508 vsize=10555588 CPUtime=0 cores=0,2,4,6
/proc/14510/task/14529/stat : 14529 (java) S 14508 14510 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 290183738 10808922112 952943 33554432000 1073741824 1073778376 140736786763584 18446744073709551615 218892381696 0 4 0 16800975 18446604452354192384 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10555588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.62 s]
/proc/loadavg: 2.01 2.05 2.01 3/452 14625
/proc/meminfo: memFree=22003756/32950928 swapFree=52006644/67111528
[pid=14510] ppid=14508 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/14510/stat : 14510 (java) Z 14508 14510 12126 0 -1 4203548 960430 0 1 0 179884 136 0 0 17 0 2 0 290183721 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14510/statm: 0 0 0 0 0 0 0
[pid=14510/tid=14511] ppid=14508 vsize=0 CPUtime=1789.24 cores=0,2,4,6
/proc/14510/task/14511/stat : 14511 (java) R 14508 14510 12126 0 -1 4203588 832723 0 1 0 178813 111 0 0 25 0 2 0 290183721 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.69
CPU time (s): 1800.28
CPU user time (s): 1798.85
CPU system time (s): 1.43078
CPU usage (%): 100.367
Max. virtual memory (cumulated for all children) (KiB): 10555588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.43078
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 960430
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= 40673
involuntary context switches= 10834
runsolver used 7.84681 second user time and 16.6495 second system time
The end