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-3456562-1307636898/watcher-3456562-1307636898 -o /tmp/evaluation-result-3456562-1307636898/solver-3456562-1307636898 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456562-1307636898.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: 2.00 2.00 1.91 2/195 28329
/proc/meminfo: memFree=28134200/32950928 swapFree=67056212/67111528
[pid=28329] ppid=28327 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/28329/stat : 28329 (java) R 28327 28329 27745 0 -1 4202496 850 0 0 0 0 0 0 0 22 0 1 0 953920511 23580672 593 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256410429205 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28329/statm: 5757 605 448 9 0 124 0
[startup+0.047837 s]
/proc/loadavg: 2.00 2.00 1.91 2/195 28329
/proc/meminfo: memFree=28134200/32950928 swapFree=67056212/67111528
[pid=28329] ppid=28327 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/28329/stat : 28329 (java) S 28327 28329 27745 0 -1 4202496 11300 0 1 0 2 1 0 0 22 0 13 0 953920511 10718699520 10996 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/28329/statm: 2616870 11000 1675 9 0 2607618 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100817 s]
/proc/loadavg: 2.00 2.00 1.91 2/195 28329
/proc/meminfo: memFree=28134200/32950928 swapFree=67056212/67111528
[pid=28329] ppid=28327 vsize=10540276 CPUtime=0.1 cores=1,3,5,7
/proc/28329/stat : 28329 (java) S 28327 28329 27745 0 -1 4202496 13006 0 1 0 9 1 0 0 22 0 18 0 953920511 10793242624 12702 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28329/statm: 2635069 12702 2092 9 0 2625803 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540276
[startup+0.300777 s]
/proc/loadavg: 2.00 2.00 1.91 2/195 28329
/proc/meminfo: memFree=28134200/32950928 swapFree=67056212/67111528
[pid=28329] ppid=28327 vsize=10542764 CPUtime=0.47 cores=1,3,5,7
/proc/28329/stat : 28329 (java) S 28327 28329 27745 0 -1 4202496 16162 0 1 0 45 2 0 0 22 0 18 0 953920511 10795790336 15543 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28329/statm: 2635691 15543 2200 9 0 2626425 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542764
[startup+0.700713 s]
/proc/loadavg: 2.00 2.00 1.91 2/195 28329
/proc/meminfo: memFree=28134200/32950928 swapFree=67056212/67111528
[pid=28329] ppid=28327 vsize=10545964 CPUtime=0.99 cores=1,3,5,7
/proc/28329/stat : 28329 (java) S 28327 28329 27745 0 -1 4202496 55406 0 1 0 91 8 0 0 22 0 18 0 953920511 10799067136 54033 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28329/statm: 2636491 54038 2211 9 0 2627225 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10545964
[startup+1.50156 s]
/proc/loadavg: 2.00 2.00 1.91 5/214 28348
/proc/meminfo: memFree=27879640/32950928 swapFree=67056212/67111528
[pid=28329] ppid=28327 vsize=10557804 CPUtime=2.81 cores=1,3,5,7
/proc/28329/stat : 28329 (java) S 28327 28329 27745 0 -1 4202496 83899 0 1 0 269 12 0 0 22 0 19 0 953920511 10811191296 78923 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28329/statm: 2639451 78923 2232 9 0 2630185 0
[pid=28329/tid=28331] ppid=28327 vsize=10557804 CPUtime=1.48 cores=1,3,5,7
/proc/28329/task/28331/stat : 28331 (java) R 28327 28329 27745 0 -1 4202560 69368 0 1 0 138 10 0 0 18 0 19 0 953920512 10811191296 78924 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 46912505850528 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28329/tid=28332] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28332/stat : 28332 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 953920513 10811191296 78924 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28333] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28333/stat : 28333 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 78924 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28334] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28334/stat : 28334 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 78925 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28335] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28335/stat : 28335 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 78925 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28336] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28336/stat : 28336 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 78925 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28337] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28337/stat : 28337 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 78925 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28338] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28338/stat : 28338 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 78926 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28339] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28339/stat : 28339 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 78926 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28340] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28340/stat : 28340 (java) S 28327 28329 27745 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953920514 10811191296 78926 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 0 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
[pid=28329/tid=28341] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28341/stat : 28341 (java) S 28327 28329 27745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 953920515 10811191296 78927 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28342] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28342/stat : 28342 (java) S 28327 28329 27745 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 19 0 953920515 10811191296 78927 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
[pid=28329/tid=28343] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28343/stat : 28343 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920517 10811191296 78927 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427215281 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28344] ppid=28327 vsize=10557804 CPUtime=0.66 cores=1,3,5,7
/proc/28329/task/28344/stat : 28344 (java) S 28327 28329 27745 0 -1 4202560 3438 0 0 0 66 0 0 0 16 0 19 0 953920517 10811191296 78927 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28345] ppid=28327 vsize=10557804 CPUtime=0.65 cores=1,3,5,7
/proc/28329/task/28345/stat : 28345 (java) S 28327 28329 27745 0 -1 4202560 9932 0 0 0 64 1 0 0 15 0 19 0 953920517 10811191296 78927 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 1 0 0 0
[pid=28329/tid=28346] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28346/stat : 28346 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953920517 10811191296 78928 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28347] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28347/stat : 28347 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953920517 10811191296 78928 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
[pid=28329/tid=28348] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28348/stat : 28348 (java) S 28327 28329 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953920588 10811191296 78929 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 10557804
[startup+3.10125 s]
/proc/loadavg: 2.00 2.00 1.91 4/214 28348
/proc/meminfo: memFree=27734312/32950928 swapFree=67056212/67111528
[pid=28329] ppid=28327 vsize=10557804 CPUtime=4.62 cores=1,3,5,7
/proc/28329/stat : 28329 (java) S 28327 28329 27745 0 -1 4202496 144712 0 1 0 444 18 0 0 22 0 19 0 953920511 10811191296 139734 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28329/statm: 2639451 139735 2234 9 0 2630185 0
[pid=28329/tid=28331] ppid=28327 vsize=10557804 CPUtime=3.08 cores=1,3,5,7
/proc/28329/task/28331/stat : 28331 (java) R 28327 28329 27745 0 -1 4202560 130157 0 1 0 292 16 0 0 18 0 19 0 953920512 10811191296 139735 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 46912505777235 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28329/tid=28332] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28332/stat : 28332 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 953920513 10811191296 139736 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28333] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28333/stat : 28333 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 139737 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28334] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28334/stat : 28334 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 139737 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28335] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28335/stat : 28335 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 139738 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28336] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28336/stat : 28336 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 139738 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28337] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28337/stat : 28337 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 139738 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28338] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28338/stat : 28338 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 139738 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28339] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28339/stat : 28339 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 139739 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28340] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28340/stat : 28340 (java) S 28327 28329 27745 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953920514 10811191296 139739 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 0 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
[pid=28329/tid=28341] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28341/stat : 28341 (java) S 28327 28329 27745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 953920515 10811191296 139740 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28342] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28342/stat : 28342 (java) S 28327 28329 27745 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 19 0 953920515 10811191296 139740 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
[pid=28329/tid=28343] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28343/stat : 28343 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920517 10811191296 139741 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427215281 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28344] ppid=28327 vsize=10557804 CPUtime=0.8 cores=1,3,5,7
/proc/28329/task/28344/stat : 28344 (java) S 28327 28329 27745 0 -1 4202560 3456 0 0 0 80 0 0 0 15 0 19 0 953920517 10811191296 139741 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28345] ppid=28327 vsize=10557804 CPUtime=0.71 cores=1,3,5,7
/proc/28329/task/28345/stat : 28345 (java) S 28327 28329 27745 0 -1 4202560 9938 0 0 0 70 1 0 0 15 0 19 0 953920517 10811191296 139744 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 1 0 0 0
[pid=28329/tid=28346] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28346/stat : 28346 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953920517 10811191296 139744 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28347] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28347/stat : 28347 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953920517 10811191296 139744 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
[pid=28329/tid=28348] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28348/stat : 28348 (java) S 28327 28329 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953920588 10811191296 139744 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 10557804
[startup+6.30165 s]
/proc/loadavg: 2.00 2.00 1.91 3/214 28348
/proc/meminfo: memFree=27242664/32950928 swapFree=67056212/67111528
[pid=28329] ppid=28327 vsize=10557804 CPUtime=7.93 cores=1,3,5,7
/proc/28329/stat : 28329 (java) S 28327 28329 27745 0 -1 4202496 262615 0 1 0 763 30 0 0 22 0 19 0 953920511 10811191296 257349 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28329/statm: 2639451 257351 2236 9 0 2630185 0
[pid=28329/tid=28331] ppid=28327 vsize=10557804 CPUtime=6.29 cores=1,3,5,7
/proc/28329/task/28331/stat : 28331 (java) R 28327 28329 27745 0 -1 4202560 248053 0 1 0 601 28 0 0 25 0 19 0 953920512 10811191296 257351 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 46912505777227 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28329/tid=28332] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28332/stat : 28332 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 953920513 10811191296 257352 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28333] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28333/stat : 28333 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 257353 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28334] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28334/stat : 28334 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 257353 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28335] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28335/stat : 28335 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 257354 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28336] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28336/stat : 28336 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 257355 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28337] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28337/stat : 28337 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 257355 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28338] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28338/stat : 28338 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 257356 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28339] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28339/stat : 28339 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920513 10811191296 257357 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28340] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28340/stat : 28340 (java) S 28327 28329 27745 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953920514 10811191296 257357 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 0 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
[pid=28329/tid=28341] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28341/stat : 28341 (java) S 28327 28329 27745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 953920515 10811191296 257358 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28342] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28342/stat : 28342 (java) S 28327 28329 27745 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 19 0 953920515 10811191296 257359 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
[pid=28329/tid=28343] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28343/stat : 28343 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920517 10811191296 257359 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427215281 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28344] ppid=28327 vsize=10557804 CPUtime=0.86 cores=1,3,5,7
/proc/28329/task/28344/stat : 28344 (java) S 28327 28329 27745 0 -1 4202560 3458 0 0 0 86 0 0 0 15 0 19 0 953920517 10811191296 257360 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28345] ppid=28327 vsize=10557804 CPUtime=0.76 cores=1,3,5,7
/proc/28329/task/28345/stat : 28345 (java) S 28327 28329 27745 0 -1 4202560 9943 0 0 0 75 1 0 0 16 0 19 0 953920517 10811191296 257360 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 1 0 0 0
[pid=28329/tid=28346] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28346/stat : 28346 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953920517 10811191296 257361 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28347] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28347/stat : 28347 (java) R 28327 28329 27745 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 953920517 10811191296 257362 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28329/tid=28348] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28348/stat : 28348 (java) S 28327 28329 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953920588 10811191296 257362 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.93
Current children cumulated vsize (KiB) 10557804
[startup+12.7014 s]
################
# More data... #
################
[pid=28329/tid=28348] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28348/stat : 28348 (java) S 28327 28329 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953920588 10811191296 1257123 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1677.13
Current children cumulated vsize (KiB) 10557804
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 28456
/proc/meminfo: memFree=22574548/32950928 swapFree=67056212/67111528
[pid=28329] ppid=28327 vsize=10557804 CPUtime=1737.57 cores=1,3,5,7
/proc/28329/stat : 28329 (java) S 28327 28329 27745 0 -1 4202496 1275532 0 1 0 173601 156 0 0 22 0 19 0 953920511 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28329/statm: 2639451 1260207 2264 9 0 2630185 0
[pid=28329/tid=28331] ppid=28327 vsize=10557804 CPUtime=1716.61 cores=1,3,5,7
/proc/28329/task/28331/stat : 28331 (java) R 28327 28329 27745 0 -1 4202560 675119 0 1 0 171584 77 0 0 25 0 19 0 953920512 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 46912505799361 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28329/tid=28332] ppid=28327 vsize=10557804 CPUtime=2.3 cores=1,3,5,7
/proc/28329/task/28332/stat : 28332 (java) S 28327 28329 27745 0 -1 4202560 71905 0 0 0 220 10 0 0 16 0 19 0 953920513 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
[pid=28329/tid=28333] ppid=28327 vsize=10557804 CPUtime=2.38 cores=1,3,5,7
/proc/28329/task/28333/stat : 28333 (java) S 28327 28329 27745 0 -1 4202560 84116 0 0 0 228 10 0 0 15 0 19 0 953920513 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28334] ppid=28327 vsize=10557804 CPUtime=2.2 cores=1,3,5,7
/proc/28329/task/28334/stat : 28334 (java) S 28327 28329 27745 0 -1 4202560 71151 0 0 0 210 10 0 0 16 0 19 0 953920513 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
[pid=28329/tid=28335] ppid=28327 vsize=10557804 CPUtime=2.38 cores=1,3,5,7
/proc/28329/task/28335/stat : 28335 (java) S 28327 28329 27745 0 -1 4202560 75215 0 0 0 231 7 0 0 16 0 19 0 953920513 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 1 0 0 0
[pid=28329/tid=28336] ppid=28327 vsize=10557804 CPUtime=2.33 cores=1,3,5,7
/proc/28329/task/28336/stat : 28336 (java) S 28327 28329 27745 0 -1 4202560 78734 0 0 0 222 11 0 0 16 0 19 0 953920513 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28337] ppid=28327 vsize=10557804 CPUtime=2.39 cores=1,3,5,7
/proc/28329/task/28337/stat : 28337 (java) S 28327 28329 27745 0 -1 4202560 87222 0 0 0 230 9 0 0 15 0 19 0 953920513 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28338] ppid=28327 vsize=10557804 CPUtime=1.74 cores=1,3,5,7
/proc/28329/task/28338/stat : 28338 (java) S 28327 28329 27745 0 -1 4202560 52981 0 0 0 167 7 0 0 16 0 19 0 953920513 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28339] ppid=28327 vsize=10557804 CPUtime=2.02 cores=1,3,5,7
/proc/28329/task/28339/stat : 28339 (java) S 28327 28329 27745 0 -1 4202560 62768 0 0 0 194 8 0 0 16 0 19 0 953920513 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28340] ppid=28327 vsize=10557804 CPUtime=1.2 cores=1,3,5,7
/proc/28329/task/28340/stat : 28340 (java) S 28327 28329 27745 0 -1 4202560 1620 0 0 0 119 1 0 0 15 0 19 0 953920514 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 0 0 16800975 18446604471134684224 0 0 -1 1 0 0 0
[pid=28329/tid=28341] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28341/stat : 28341 (java) S 28327 28329 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953920515 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28342] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28342/stat : 28342 (java) S 28327 28329 27745 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953920515 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
[pid=28329/tid=28343] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28343/stat : 28343 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920517 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427215281 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28344] ppid=28327 vsize=10557804 CPUtime=1 cores=1,3,5,7
/proc/28329/task/28344/stat : 28344 (java) S 28327 28329 27745 0 -1 4202560 3482 0 0 0 100 0 0 0 16 0 19 0 953920517 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28345] ppid=28327 vsize=10557804 CPUtime=0.9 cores=1,3,5,7
/proc/28329/task/28345/stat : 28345 (java) S 28327 28329 27745 0 -1 4202560 9968 0 0 0 89 1 0 0 15 0 19 0 953920517 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 1 0 0 0
[pid=28329/tid=28346] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28346/stat : 28346 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953920517 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28347] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28347/stat : 28347 (java) S 28327 28329 27745 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 953920517 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 4 0 16800975 18446604471134684224 0 0 -1 1 0 0 0
[pid=28329/tid=28348] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28348/stat : 28348 (java) S 28327 28329 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953920588 10811191296 1260207 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1737.57
Current children cumulated vsize (KiB) 10557804
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 7/214 28458
/proc/meminfo: memFree=22543616/32950928 swapFree=67056212/67111528
[pid=28329] ppid=28327 vsize=10557804 CPUtime=1797.81 cores=1,3,5,7
/proc/28329/stat : 28329 (java) S 28327 28329 27745 0 -1 4202496 1278700 0 1 0 179624 157 0 0 22 0 19 0 953920511 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28329/statm: 2639451 1263276 2264 9 0 2630185 0
[pid=28329/tid=28331] ppid=28327 vsize=10557804 CPUtime=1776.53 cores=1,3,5,7
/proc/28329/task/28331/stat : 28331 (java) R 28327 28329 27745 0 -1 4202560 675120 0 1 0 177576 77 0 0 25 0 19 0 953920512 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 46912505798849 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28329/tid=28332] ppid=28327 vsize=10557804 CPUtime=2.39 cores=1,3,5,7
/proc/28329/task/28332/stat : 28332 (java) S 28327 28329 27745 0 -1 4202560 72645 0 0 0 228 11 0 0 16 0 19 0 953920513 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28333] ppid=28327 vsize=10557804 CPUtime=2.38 cores=1,3,5,7
/proc/28329/task/28333/stat : 28333 (java) S 28327 28329 27745 0 -1 4202560 84116 0 0 0 228 10 0 0 15 0 19 0 953920513 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28334] ppid=28327 vsize=10557804 CPUtime=2.28 cores=1,3,5,7
/proc/28329/task/28334/stat : 28334 (java) S 28327 28329 27745 0 -1 4202560 72007 0 0 0 218 10 0 0 16 0 19 0 953920513 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
[pid=28329/tid=28335] ppid=28327 vsize=10557804 CPUtime=2.46 cores=1,3,5,7
/proc/28329/task/28335/stat : 28335 (java) S 28327 28329 27745 0 -1 4202560 76037 0 0 0 239 7 0 0 16 0 19 0 953920513 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 1 0 0 0
[pid=28329/tid=28336] ppid=28327 vsize=10557804 CPUtime=2.33 cores=1,3,5,7
/proc/28329/task/28336/stat : 28336 (java) S 28327 28329 27745 0 -1 4202560 78734 0 0 0 222 11 0 0 16 0 19 0 953920513 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28337] ppid=28327 vsize=10557804 CPUtime=2.39 cores=1,3,5,7
/proc/28329/task/28337/stat : 28337 (java) S 28327 28329 27745 0 -1 4202560 87222 0 0 0 230 9 0 0 15 0 19 0 953920513 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28338] ppid=28327 vsize=10557804 CPUtime=1.83 cores=1,3,5,7
/proc/28329/task/28338/stat : 28338 (java) S 28327 28329 27745 0 -1 4202560 53724 0 0 0 175 8 0 0 16 0 19 0 953920513 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28339] ppid=28327 vsize=10557804 CPUtime=2.02 cores=1,3,5,7
/proc/28329/task/28339/stat : 28339 (java) S 28327 28329 27745 0 -1 4202560 62768 0 0 0 194 8 0 0 16 0 19 0 953920513 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28340] ppid=28327 vsize=10557804 CPUtime=1.2 cores=1,3,5,7
/proc/28329/task/28340/stat : 28340 (java) S 28327 28329 27745 0 -1 4202560 1622 0 0 0 119 1 0 0 15 0 19 0 953920514 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 0 0 16800975 18446604471134684224 0 0 -1 1 0 0 0
[pid=28329/tid=28341] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28341/stat : 28341 (java) S 28327 28329 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953920515 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28342] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28342/stat : 28342 (java) S 28327 28329 27745 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953920515 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
[pid=28329/tid=28343] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28343/stat : 28343 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920517 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427215281 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28344] ppid=28327 vsize=10557804 CPUtime=1 cores=1,3,5,7
/proc/28329/task/28344/stat : 28344 (java) S 28327 28329 27745 0 -1 4202560 3482 0 0 0 100 0 0 0 16 0 19 0 953920517 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28345] ppid=28327 vsize=10557804 CPUtime=0.9 cores=1,3,5,7
/proc/28329/task/28345/stat : 28345 (java) S 28327 28329 27745 0 -1 4202560 9968 0 0 0 89 1 0 0 15 0 19 0 953920517 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 1 0 0 0
[pid=28329/tid=28346] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28346/stat : 28346 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953920517 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28347] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28347/stat : 28347 (java) S 28327 28329 27745 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953920517 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 4 0 16800975 18446604471134684224 0 0 -1 1 0 0 0
[pid=28329/tid=28348] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28348/stat : 28348 (java) S 28327 28329 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953920588 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 10557804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1784.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 28458
/proc/meminfo: memFree=22543368/32950928 swapFree=67056212/67111528
[pid=28329] ppid=28327 vsize=10557804 CPUtime=1800.02 cores=1,3,5,7
/proc/28329/stat : 28329 (java) S 28327 28329 27745 0 -1 4202496 1278700 0 1 0 179845 157 0 0 22 0 19 0 953920511 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28329/statm: 2639451 1263276 2264 9 0 2630185 0
[pid=28329/tid=28331] ppid=28327 vsize=10557804 CPUtime=1778.74 cores=1,3,5,7
/proc/28329/task/28331/stat : 28331 (java) R 28327 28329 27745 0 -1 4202560 675120 0 1 0 177797 77 0 0 25 0 19 0 953920512 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 46912505776367 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28329/tid=28332] ppid=28327 vsize=10557804 CPUtime=2.39 cores=1,3,5,7
/proc/28329/task/28332/stat : 28332 (java) S 28327 28329 27745 0 -1 4202560 72645 0 0 0 228 11 0 0 16 0 19 0 953920513 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28333] ppid=28327 vsize=10557804 CPUtime=2.38 cores=1,3,5,7
/proc/28329/task/28333/stat : 28333 (java) S 28327 28329 27745 0 -1 4202560 84116 0 0 0 228 10 0 0 15 0 19 0 953920513 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28334] ppid=28327 vsize=10557804 CPUtime=2.28 cores=1,3,5,7
/proc/28329/task/28334/stat : 28334 (java) S 28327 28329 27745 0 -1 4202560 72007 0 0 0 218 10 0 0 16 0 19 0 953920513 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
[pid=28329/tid=28335] ppid=28327 vsize=10557804 CPUtime=2.46 cores=1,3,5,7
/proc/28329/task/28335/stat : 28335 (java) S 28327 28329 27745 0 -1 4202560 76037 0 0 0 239 7 0 0 16 0 19 0 953920513 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 1 0 0 0
[pid=28329/tid=28336] ppid=28327 vsize=10557804 CPUtime=2.33 cores=1,3,5,7
/proc/28329/task/28336/stat : 28336 (java) S 28327 28329 27745 0 -1 4202560 78734 0 0 0 222 11 0 0 16 0 19 0 953920513 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28337] ppid=28327 vsize=10557804 CPUtime=2.39 cores=1,3,5,7
/proc/28329/task/28337/stat : 28337 (java) S 28327 28329 27745 0 -1 4202560 87222 0 0 0 230 9 0 0 15 0 19 0 953920513 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 5 0 0 0
[pid=28329/tid=28338] ppid=28327 vsize=10557804 CPUtime=1.83 cores=1,3,5,7
/proc/28329/task/28338/stat : 28338 (java) S 28327 28329 27745 0 -1 4202560 53724 0 0 0 175 8 0 0 16 0 19 0 953920513 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28339] ppid=28327 vsize=10557804 CPUtime=2.02 cores=1,3,5,7
/proc/28329/task/28339/stat : 28339 (java) S 28327 28329 27745 0 -1 4202560 62768 0 0 0 194 8 0 0 16 0 19 0 953920513 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28340] ppid=28327 vsize=10557804 CPUtime=1.2 cores=1,3,5,7
/proc/28329/task/28340/stat : 28340 (java) S 28327 28329 27745 0 -1 4202560 1622 0 0 0 119 1 0 0 15 0 19 0 953920514 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 0 0 16800975 18446604471134684224 0 0 -1 1 0 0 0
[pid=28329/tid=28341] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28341/stat : 28341 (java) S 28327 28329 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953920515 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28342] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28342/stat : 28342 (java) S 28327 28329 27745 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953920515 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
[pid=28329/tid=28343] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28343/stat : 28343 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953920517 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427215281 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28344] ppid=28327 vsize=10557804 CPUtime=1 cores=1,3,5,7
/proc/28329/task/28344/stat : 28344 (java) S 28327 28329 27745 0 -1 4202560 3482 0 0 0 100 0 0 0 16 0 19 0 953920517 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28345] ppid=28327 vsize=10557804 CPUtime=0.9 cores=1,3,5,7
/proc/28329/task/28345/stat : 28345 (java) S 28327 28329 27745 0 -1 4202560 9968 0 0 0 89 1 0 0 15 0 19 0 953920517 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 1 0 0 0
[pid=28329/tid=28346] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28346/stat : 28346 (java) S 28327 28329 27745 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953920517 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427207577 0 4 0 16800975 18446604471134684224 0 0 -1 3 0 0 0
[pid=28329/tid=28347] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28347/stat : 28347 (java) S 28327 28329 27745 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953920517 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 4 0 16800975 18446604471134684224 0 0 -1 1 0 0 0
[pid=28329/tid=28348] ppid=28327 vsize=10557804 CPUtime=0 cores=1,3,5,7
/proc/28329/task/28348/stat : 28348 (java) S 28327 28329 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953920588 10811191296 1263276 33554432000 1073741824 1073778376 140736068391488 18446744073709551615 256427208192 0 4 0 16800975 18446604471134684224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10557804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1784.61 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 28458
/proc/meminfo: memFree=22543368/32950928 swapFree=67056212/67111528
[pid=28329] ppid=28327 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/28329/stat : 28329 (java) Z 28327 28329 27745 0 -1 4203548 1278737 0 1 0 179850 165 0 0 17 0 2 0 953920511 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28329/statm: 0 0 0 0 0 0 0
[pid=28329/tid=28341] ppid=28327 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/28329/task/28341/stat : 28341 (java) R 28327 28329 27745 0 -1 4203588 17 0 0 0 0 7 0 0 18 0 2 0 953920515 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
[startup+1784.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 28458
/proc/meminfo: memFree=22543368/32950928 swapFree=67056212/67111528
[pid=28329] ppid=28327 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/28329/stat : 28329 (java) Z 28327 28329 27745 0 -1 4203548 1278737 0 1 0 179850 174 0 0 17 0 2 0 953920511 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28329/statm: 0 0 0 0 0 0 0
[pid=28329/tid=28341] ppid=28327 vsize=0 CPUtime=0.16 cores=1,3,5,7
/proc/28329/task/28341/stat : 28341 (java) R 28327 28329 27745 0 -1 4203588 17 0 0 0 0 16 0 0 18 0 2 0 953920515 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1784.71
CPU time (s): 1800.26
CPU user time (s): 1798.5
CPU system time (s): 1.75573
CPU usage (%): 100.871
Max. virtual memory (cumulated for all children) (KiB): 10557804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.5
system time used= 1.75573
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1278737
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= 38033
involuntary context switches= 12363
runsolver used 2.85457 second user time and 6.90395 second system time
The end