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-3456236-1307226673/watcher-3456236-1307226673 -o /tmp/evaluation-result-3456236-1307226673/solver-3456236-1307226673 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456236-1307226673.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.07 2.06 2.01 2/529 13277
/proc/meminfo: memFree=14002120/32951124 swapFree=67111204/67111528
[pid=13277] ppid=13275 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13277/stat : 13277 (java) S 13275 13277 12030 0 -1 4202496 4397 0 1 0 0 0 0 0 25 0 2 0 815083456 10694979584 4100 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/13277/statm: 2611079 4114 917 9 0 2602235 0
[pid=13277/tid=13278] ppid=13275 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13278/stat : 13278 (java) R 13275 13277 12030 0 -1 4202560 7446 0 1 0 0 0 0 0 25 0 2 0 815083456 10694979584 8261 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0375139 s]
/proc/loadavg: 2.07 2.06 2.01 2/529 13277
/proc/meminfo: memFree=14002120/32951124 swapFree=67111204/67111528
[pid=13277] ppid=13275 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/13277/stat : 13277 (java) S 13275 13277 12030 0 -1 4202496 11136 0 1 0 2 0 0 0 25 0 13 0 815083456 10718699520 10834 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/13277/statm: 2616870 10834 1653 9 0 2607618 0
[pid=13277/tid=13278] ppid=13275 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/13277/task/13278/stat : 13278 (java) R 13275 13277 12030 0 -1 4202560 9992 0 1 0 2 0 0 0 25 0 13 0 815083456 10718699520 10835 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 47728865168293 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480
[startup+0.100503 s]
/proc/loadavg: 2.07 2.06 2.01 2/529 13277
/proc/meminfo: memFree=14002120/32951124 swapFree=67111204/67111528
[pid=13277] ppid=13275 vsize=10540212 CPUtime=0.1 cores=1,3,5,7
/proc/13277/stat : 13277 (java) S 13275 13277 12030 0 -1 4202496 13110 0 1 0 9 1 0 0 25 0 18 0 815083456 10793177088 12785 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13277/statm: 2635053 12785 2092 9 0 2625787 0
[pid=13277/tid=13278] ppid=13275 vsize=10540212 CPUtime=0.08 cores=1,3,5,7
/proc/13277/task/13278/stat : 13278 (java) R 13275 13277 12030 0 -1 4202560 11195 0 1 0 7 1 0 0 25 0 18 0 815083456 10793177088 12785 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 47728868051284 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540212
[startup+0.30047 s]
/proc/loadavg: 2.07 2.06 2.01 2/529 13277
/proc/meminfo: memFree=14002120/32951124 swapFree=67111204/67111528
[pid=13277] ppid=13275 vsize=10544032 CPUtime=0.45 cores=1,3,5,7
/proc/13277/stat : 13277 (java) S 13275 13277 12030 0 -1 4202496 16269 0 1 0 43 2 0 0 25 0 19 0 815083456 10797088768 15558 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13277/statm: 2636008 15559 2220 9 0 2626742 0
[pid=13277/tid=13278] ppid=13275 vsize=10544032 CPUtime=0.28 cores=1,3,5,7
/proc/13277/task/13278/stat : 13278 (java) R 13275 13277 12030 0 -1 4202560 12758 0 1 0 27 1 0 0 25 0 19 0 815083456 10797088768 15559 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 47728868805459 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10544032
[startup+0.700368 s]
/proc/loadavg: 2.07 2.06 2.01 2/529 13277
/proc/meminfo: memFree=14002120/32951124 swapFree=67111204/67111528
[pid=13277] ppid=13275 vsize=10552540 CPUtime=1.54 cores=1,3,5,7
/proc/13277/stat : 13277 (java) S 13275 13277 12030 0 -1 4202496 34973 0 1 0 149 5 0 0 25 0 19 0 815083456 10805800960 30380 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13277/statm: 2638135 30381 2231 9 0 2628869 0
[pid=13277/tid=13278] ppid=13275 vsize=10552540 CPUtime=0.68 cores=1,3,5,7
/proc/13277/task/13278/stat : 13278 (java) R 13275 13277 12030 0 -1 4202560 23396 0 1 0 65 3 0 0 25 0 19 0 815083456 10805800960 30381 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 46912505621697 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 10552540
[startup+1.50126 s]
/proc/loadavg: 2.07 2.06 2.01 3/548 13296
/proc/meminfo: memFree=13803640/32951124 swapFree=67111204/67111528
[pid=13277] ppid=13275 vsize=10552696 CPUtime=2.71 cores=1,3,5,7
/proc/13277/stat : 13277 (java) S 13275 13277 12030 0 -1 4202496 98454 0 1 0 258 13 0 0 25 0 19 0 815083456 10805960704 92039 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13277/statm: 2638174 92042 2236 9 0 2628908 0
[pid=13277/tid=13278] ppid=13275 vsize=10552696 CPUtime=1.48 cores=1,3,5,7
/proc/13277/task/13278/stat : 13278 (java) R 13275 13277 12030 0 -1 4202560 85006 0 1 0 137 11 0 0 25 0 19 0 815083456 10805960704 92043 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 46912505601072 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13277/tid=13280] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13280/stat : 13280 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 92045 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13281] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13281/stat : 13281 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 92047 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13282] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13282/stat : 13282 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 92049 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13283] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13283/stat : 13283 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 92050 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13284] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13284/stat : 13284 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 92052 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13285] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13285/stat : 13285 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 92053 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13286] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13286/stat : 13286 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 92054 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13287] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13287/stat : 13287 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 92056 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13288] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13288/stat : 13288 (java) S 13275 13277 12030 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 815083459 10805960704 92058 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 0 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13289] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13289/stat : 13289 (java) S 13275 13277 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815083459 10805960704 92059 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13290] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13290/stat : 13290 (java) S 13275 13277 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815083459 10805960704 92061 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13291] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13291/stat : 13291 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083462 10805960704 92062 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118592433 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13292] ppid=13275 vsize=10552696 CPUtime=0.64 cores=1,3,5,7
/proc/13277/task/13292/stat : 13292 (java) S 13275 13277 12030 0 -1 4202560 5954 0 0 0 63 1 0 0 15 0 19 0 815083462 10805960704 92063 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 3 0 0 0
[pid=13277/tid=13293] ppid=13275 vsize=10552696 CPUtime=0.57 cores=1,3,5,7
/proc/13277/task/13293/stat : 13293 (java) S 13275 13277 12030 0 -1 4202560 6341 0 0 0 57 0 0 0 23 0 19 0 815083462 10805960704 92064 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13294] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13294/stat : 13294 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083462 10805960704 92064 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13295] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13295/stat : 13295 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815083462 10805960704 92067 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13296] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13296/stat : 13296 (java) S 13275 13277 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815083485 10805960704 92067 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 10552696
[startup+3.10098 s]
/proc/loadavg: 2.07 2.06 2.01 3/548 13296
/proc/meminfo: memFree=13433088/32951124 swapFree=67111204/67111528
[pid=13277] ppid=13275 vsize=10552696 CPUtime=4.45 cores=1,3,5,7
/proc/13277/stat : 13277 (java) S 13275 13277 12030 0 -1 4202496 232156 0 1 0 415 30 0 0 25 0 19 0 815083456 10805960704 224952 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13277/statm: 2638174 224955 2236 9 0 2628908 0
[pid=13277/tid=13278] ppid=13275 vsize=10552696 CPUtime=3.08 cores=1,3,5,7
/proc/13277/task/13278/stat : 13278 (java) R 13275 13277 12030 0 -1 4202560 217909 0 1 0 280 28 0 0 25 0 19 0 815083456 10805960704 224957 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 46912505665111 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13277/tid=13280] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13280/stat : 13280 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 224958 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13281] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13281/stat : 13281 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 224960 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13282] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13282/stat : 13282 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 224962 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13283] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13283/stat : 13283 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 224964 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13284] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13284/stat : 13284 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 224966 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13285] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13285/stat : 13285 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 224968 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13286] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13286/stat : 13286 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 224970 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13287] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13287/stat : 13287 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 224971 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13288] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13288/stat : 13288 (java) S 13275 13277 12030 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 815083459 10805960704 224973 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 0 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13289] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13289/stat : 13289 (java) S 13275 13277 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815083459 10805960704 224975 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13290] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13290/stat : 13290 (java) S 13275 13277 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815083459 10805960704 224977 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13291] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13291/stat : 13291 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083462 10805960704 224979 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118592433 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13292] ppid=13275 vsize=10552696 CPUtime=0.72 cores=1,3,5,7
/proc/13277/task/13292/stat : 13292 (java) S 13275 13277 12030 0 -1 4202560 5960 0 0 0 71 1 0 0 15 0 19 0 815083462 10805960704 224981 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 3 0 0 0
[pid=13277/tid=13293] ppid=13275 vsize=10552696 CPUtime=0.62 cores=1,3,5,7
/proc/13277/task/13293/stat : 13293 (java) S 13275 13277 12030 0 -1 4202560 7135 0 0 0 62 0 0 0 15 0 19 0 815083462 10805960704 224983 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13294] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13294/stat : 13294 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083462 10805960704 224985 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13295] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13295/stat : 13295 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815083462 10805960704 224987 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13296] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13296/stat : 13296 (java) S 13275 13277 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815083485 10805960704 224989 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 10552696
[startup+6.30142 s]
/proc/loadavg: 2.06 2.06 2.01 3/548 13296
/proc/meminfo: memFree=12403136/32951124 swapFree=67111204/67111528
[pid=13277] ppid=13275 vsize=10552696 CPUtime=7.68 cores=1,3,5,7
/proc/13277/stat : 13277 (java) S 13275 13277 12030 0 -1 4202496 481442 0 1 0 709 59 0 0 25 0 19 0 815083456 10805960704 474121 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13277/statm: 2638174 474124 2240 9 0 2628908 0
[pid=13277/tid=13278] ppid=13275 vsize=10552696 CPUtime=6.29 cores=1,3,5,7
/proc/13277/task/13278/stat : 13278 (java) R 13275 13277 12030 0 -1 4202560 467185 0 1 0 572 57 0 0 25 0 19 0 815083456 10805960704 474126 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 46912505666467 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13277/tid=13280] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13280/stat : 13280 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 474128 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13281] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13281/stat : 13281 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 474130 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13282] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13282/stat : 13282 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 474132 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13283] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13283/stat : 13283 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 474134 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13284] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13284/stat : 13284 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 474136 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13285] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13285/stat : 13285 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 474138 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13286] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13286/stat : 13286 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 474140 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13287] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13287/stat : 13287 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083458 10805960704 474142 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13288] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13288/stat : 13288 (java) S 13275 13277 12030 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 815083459 10805960704 474144 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 0 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13289] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13289/stat : 13289 (java) S 13275 13277 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815083459 10805960704 474146 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13290] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13290/stat : 13290 (java) S 13275 13277 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815083459 10805960704 474148 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13291] ppid=13275 vsize=10552696 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13291/stat : 13291 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083462 10805960704 474150 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118592433 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13292] ppid=13275 vsize=10552696 CPUtime=0.75 cores=1,3,5,7
/proc/13277/task/13292/stat : 13292 (java) S 13275 13277 12030 0 -1 4202560 5969 0 0 0 74 1 0 0 15 0 19 0 815083462 10805960704 474152 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 3 0 0 0
[pid=13277/tid=13293] ppid=13275 vsize=10552696 CPUtime=0.62 cores=1,3,5,7
/proc/13277/task/13293/stat : 13293 (java) S 13275 13277 12030 0 -1 4202560 7135 0 0 0 62 0 0 0 15 0 19 0 815083462 10805960704 474154 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/13277/task/13290/stat : 13290 (java) S 13275 13277 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 815083459 10817318912 937270 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13291] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13291/stat : 13291 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083462 10817318912 937270 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118592433 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13292] ppid=13275 vsize=10563788 CPUtime=1.65 cores=1,3,5,7
/proc/13277/task/13292/stat : 13292 (java) S 13275 13277 12030 0 -1 4202560 11982 0 0 0 164 1 0 0 15 0 19 0 815083462 10817318912 937270 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 3 0 0 0
[pid=13277/tid=13293] ppid=13275 vsize=10563788 CPUtime=0.69 cores=1,3,5,7
/proc/13277/task/13293/stat : 13293 (java) S 13275 13277 12030 0 -1 4202560 7147 0 0 0 69 0 0 0 15 0 19 0 815083462 10817318912 937270 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13294] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13294/stat : 13294 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083462 10817318912 937270 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13295] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13295/stat : 13295 (java) S 13275 13277 12030 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 815083462 10817318912 937270 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13296] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13296/stat : 13296 (java) S 13275 13277 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815083485 10817318912 937270 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.13
Current children cumulated vsize (KiB) 10563788
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/548 13342
/proc/meminfo: memFree=9206452/32951124 swapFree=67111204/67111528
[pid=13277] ppid=13275 vsize=10563788 CPUtime=1728.25 cores=1,3,5,7
/proc/13277/stat : 13277 (java) S 13275 13277 12030 0 -1 4202496 950944 0 1 0 172713 112 0 0 25 0 19 0 815083456 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13277/statm: 2640947 938401 2267 9 0 2631681 0
[pid=13277/tid=13278] ppid=13275 vsize=10563788 CPUtime=1719.36 cores=1,3,5,7
/proc/13277/task/13278/stat : 13278 (java) R 13275 13277 12030 0 -1 4202560 826641 0 1 0 171844 92 0 0 25 0 19 0 815083456 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 46912505664726 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13277/tid=13280] ppid=13275 vsize=10563788 CPUtime=0.57 cores=1,3,5,7
/proc/13277/task/13280/stat : 13280 (java) S 13275 13277 12030 0 -1 4202560 8721 0 0 0 56 1 0 0 15 0 19 0 815083458 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 5 0 0 0
[pid=13277/tid=13281] ppid=13275 vsize=10563788 CPUtime=0.8 cores=1,3,5,7
/proc/13277/task/13281/stat : 13281 (java) S 13275 13277 12030 0 -1 4202560 15746 0 0 0 78 2 0 0 15 0 19 0 815083458 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 5 0 0 0
[pid=13277/tid=13282] ppid=13275 vsize=10563788 CPUtime=0.58 cores=1,3,5,7
/proc/13277/task/13282/stat : 13282 (java) S 13275 13277 12030 0 -1 4202560 9877 0 0 0 57 1 0 0 16 0 19 0 815083458 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13283] ppid=13275 vsize=10563788 CPUtime=0.81 cores=1,3,5,7
/proc/13277/task/13283/stat : 13283 (java) S 13275 13277 12030 0 -1 4202560 17538 0 0 0 79 2 0 0 15 0 19 0 815083458 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13284] ppid=13275 vsize=10563788 CPUtime=0.54 cores=1,3,5,7
/proc/13277/task/13284/stat : 13284 (java) S 13275 13277 12030 0 -1 4202560 8601 0 0 0 53 1 0 0 16 0 19 0 815083458 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 3 0 0 0
[pid=13277/tid=13285] ppid=13275 vsize=10563788 CPUtime=0.55 cores=1,3,5,7
/proc/13277/task/13285/stat : 13285 (java) S 13275 13277 12030 0 -1 4202560 9092 0 0 0 54 1 0 0 15 0 19 0 815083458 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13286] ppid=13275 vsize=10563788 CPUtime=0.74 cores=1,3,5,7
/proc/13277/task/13286/stat : 13286 (java) S 13275 13277 12030 0 -1 4202560 14609 0 0 0 73 1 0 0 16 0 19 0 815083458 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13287] ppid=13275 vsize=10563788 CPUtime=0.61 cores=1,3,5,7
/proc/13277/task/13287/stat : 13287 (java) S 13275 13277 12030 0 -1 4202560 12571 0 0 0 60 1 0 0 16 0 19 0 815083458 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 5 0 0 0
[pid=13277/tid=13288] ppid=13275 vsize=10563788 CPUtime=1.21 cores=1,3,5,7
/proc/13277/task/13288/stat : 13288 (java) S 13275 13277 12030 0 -1 4202560 7173 0 0 0 119 2 0 0 15 0 19 0 815083459 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 0 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13289] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13289/stat : 13289 (java) S 13275 13277 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 815083459 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13290] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13290/stat : 13290 (java) S 13275 13277 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 815083459 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13291] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13291/stat : 13291 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083462 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118592433 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13292] ppid=13275 vsize=10563788 CPUtime=1.65 cores=1,3,5,7
/proc/13277/task/13292/stat : 13292 (java) S 13275 13277 12030 0 -1 4202560 11982 0 0 0 164 1 0 0 15 0 19 0 815083462 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 3 0 0 0
[pid=13277/tid=13293] ppid=13275 vsize=10563788 CPUtime=0.69 cores=1,3,5,7
/proc/13277/task/13293/stat : 13293 (java) S 13275 13277 12030 0 -1 4202560 7147 0 0 0 69 0 0 0 15 0 19 0 815083462 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13294] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13294/stat : 13294 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083462 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13295] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13295/stat : 13295 (java) S 13275 13277 12030 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 815083462 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13296] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13296/stat : 13296 (java) S 13275 13277 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815083485 10817318912 938401 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.25
Current children cumulated vsize (KiB) 10563788
[startup+1782.3 s]
/proc/loadavg: 1.93 2.01 1.99 3/548 13391
/proc/meminfo: memFree=11216756/32951124 swapFree=67111204/67111528
[pid=13277] ppid=13275 vsize=10563788 CPUtime=1788.39 cores=1,3,5,7
/proc/13277/stat : 13277 (java) S 13275 13277 12030 0 -1 4202496 953073 0 1 0 178727 112 0 0 25 0 19 0 815083456 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13277/statm: 2640947 940470 2267 9 0 2631681 0
[pid=13277/tid=13278] ppid=13275 vsize=10563788 CPUtime=1779.28 cores=1,3,5,7
/proc/13277/task/13278/stat : 13278 (java) R 13275 13277 12030 0 -1 4202560 826645 0 1 0 177836 92 0 0 25 0 19 0 815083456 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 46912505665610 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13277/tid=13280] ppid=13275 vsize=10563788 CPUtime=0.6 cores=1,3,5,7
/proc/13277/task/13280/stat : 13280 (java) S 13275 13277 12030 0 -1 4202560 8994 0 0 0 59 1 0 0 16 0 19 0 815083458 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 5 0 0 0
[pid=13277/tid=13281] ppid=13275 vsize=10563788 CPUtime=0.84 cores=1,3,5,7
/proc/13277/task/13281/stat : 13281 (java) S 13275 13277 12030 0 -1 4202560 15996 0 0 0 82 2 0 0 15 0 19 0 815083458 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13282] ppid=13275 vsize=10563788 CPUtime=0.61 cores=1,3,5,7
/proc/13277/task/13282/stat : 13282 (java) S 13275 13277 12030 0 -1 4202560 10219 0 0 0 60 1 0 0 16 0 19 0 815083458 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 3 0 0 0
[pid=13277/tid=13283] ppid=13275 vsize=10563788 CPUtime=0.82 cores=1,3,5,7
/proc/13277/task/13283/stat : 13283 (java) S 13275 13277 12030 0 -1 4202560 17560 0 0 0 80 2 0 0 16 0 19 0 815083458 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13284] ppid=13275 vsize=10563788 CPUtime=0.58 cores=1,3,5,7
/proc/13277/task/13284/stat : 13284 (java) S 13275 13277 12030 0 -1 4202560 8898 0 0 0 56 2 0 0 15 0 19 0 815083458 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 5 0 0 0
[pid=13277/tid=13285] ppid=13275 vsize=10563788 CPUtime=0.57 cores=1,3,5,7
/proc/13277/task/13285/stat : 13285 (java) S 13275 13277 12030 0 -1 4202560 9314 0 0 0 56 1 0 0 16 0 19 0 815083458 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13286] ppid=13275 vsize=10563788 CPUtime=0.77 cores=1,3,5,7
/proc/13277/task/13286/stat : 13286 (java) S 13275 13277 12030 0 -1 4202560 15078 0 0 0 76 1 0 0 15 0 19 0 815083458 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 3 0 0 0
[pid=13277/tid=13287] ppid=13275 vsize=10563788 CPUtime=0.63 cores=1,3,5,7
/proc/13277/task/13287/stat : 13287 (java) S 13275 13277 12030 0 -1 4202560 12813 0 0 0 62 1 0 0 15 0 19 0 815083458 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13288] ppid=13275 vsize=10563788 CPUtime=1.21 cores=1,3,5,7
/proc/13277/task/13288/stat : 13288 (java) S 13275 13277 12030 0 -1 4202560 7177 0 0 0 119 2 0 0 15 0 19 0 815083459 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 0 0 16800975 18446604467562615872 0 0 -1 3 0 0 0
[pid=13277/tid=13289] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13289/stat : 13289 (java) S 13275 13277 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 815083459 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13290] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13290/stat : 13290 (java) S 13275 13277 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 815083459 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13291] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13291/stat : 13291 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083462 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118592433 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13292] ppid=13275 vsize=10563788 CPUtime=1.65 cores=1,3,5,7
/proc/13277/task/13292/stat : 13292 (java) S 13275 13277 12030 0 -1 4202560 11982 0 0 0 164 1 0 0 15 0 19 0 815083462 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 3 0 0 0
[pid=13277/tid=13293] ppid=13275 vsize=10563788 CPUtime=0.69 cores=1,3,5,7
/proc/13277/task/13293/stat : 13293 (java) S 13275 13277 12030 0 -1 4202560 7147 0 0 0 69 0 0 0 15 0 19 0 815083462 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13294] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13294/stat : 13294 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083462 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13295] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13295/stat : 13295 (java) S 13275 13277 12030 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 815083462 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13296] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13296/stat : 13296 (java) S 13275 13277 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815083485 10817318912 940470 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (KiB) 10563788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.9 s]
/proc/loadavg: 1.94 2.01 1.99 3/548 13401
/proc/meminfo: memFree=10220088/32951124 swapFree=67111204/67111528
[pid=13277] ppid=13275 vsize=10563788 CPUtime=1800.05 cores=1,3,5,7
/proc/13277/stat : 13277 (java) S 13275 13277 12030 0 -1 4202496 953667 0 1 0 179893 112 0 0 25 0 19 0 815083456 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13277/statm: 2640947 941048 2267 9 0 2631681 0
[pid=13277/tid=13278] ppid=13275 vsize=10563788 CPUtime=1790.88 cores=1,3,5,7
/proc/13277/task/13278/stat : 13278 (java) R 13275 13277 12030 0 -1 4202560 826646 0 1 0 178996 92 0 0 25 0 19 0 815083456 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 46912505896182 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13277/tid=13280] ppid=13275 vsize=10563788 CPUtime=0.6 cores=1,3,5,7
/proc/13277/task/13280/stat : 13280 (java) S 13275 13277 12030 0 -1 4202560 8994 0 0 0 59 1 0 0 15 0 19 0 815083458 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 5 0 0 0
[pid=13277/tid=13281] ppid=13275 vsize=10563788 CPUtime=0.85 cores=1,3,5,7
/proc/13277/task/13281/stat : 13281 (java) S 13275 13277 12030 0 -1 4202560 16026 0 0 0 83 2 0 0 16 0 19 0 815083458 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13282] ppid=13275 vsize=10563788 CPUtime=0.61 cores=1,3,5,7
/proc/13277/task/13282/stat : 13282 (java) S 13275 13277 12030 0 -1 4202560 10219 0 0 0 60 1 0 0 15 0 19 0 815083458 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 3 0 0 0
[pid=13277/tid=13283] ppid=13275 vsize=10563788 CPUtime=0.83 cores=1,3,5,7
/proc/13277/task/13283/stat : 13283 (java) S 13275 13277 12030 0 -1 4202560 17560 0 0 0 81 2 0 0 15 0 19 0 815083458 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13284] ppid=13275 vsize=10563788 CPUtime=0.6 cores=1,3,5,7
/proc/13277/task/13284/stat : 13284 (java) S 13275 13277 12030 0 -1 4202560 9080 0 0 0 58 2 0 0 16 0 19 0 815083458 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 5 0 0 0
[pid=13277/tid=13285] ppid=13275 vsize=10563788 CPUtime=0.58 cores=1,3,5,7
/proc/13277/task/13285/stat : 13285 (java) S 13275 13277 12030 0 -1 4202560 9415 0 0 0 57 1 0 0 16 0 19 0 815083458 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13286] ppid=13275 vsize=10563788 CPUtime=0.79 cores=1,3,5,7
/proc/13277/task/13286/stat : 13286 (java) S 13275 13277 12030 0 -1 4202560 15292 0 0 0 78 1 0 0 16 0 19 0 815083458 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 3 0 0 0
[pid=13277/tid=13287] ppid=13275 vsize=10563788 CPUtime=0.64 cores=1,3,5,7
/proc/13277/task/13287/stat : 13287 (java) S 13275 13277 12030 0 -1 4202560 12877 0 0 0 63 1 0 0 16 0 19 0 815083458 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13288] ppid=13275 vsize=10563788 CPUtime=1.21 cores=1,3,5,7
/proc/13277/task/13288/stat : 13288 (java) S 13275 13277 12030 0 -1 4202560 7179 0 0 0 119 2 0 0 15 0 19 0 815083459 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 0 0 16800975 18446604467562615872 0 0 -1 3 0 0 0
[pid=13277/tid=13289] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13289/stat : 13289 (java) S 13275 13277 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 815083459 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13290] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13290/stat : 13290 (java) S 13275 13277 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 815083459 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13291] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13291/stat : 13291 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083462 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118592433 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13292] ppid=13275 vsize=10563788 CPUtime=1.65 cores=1,3,5,7
/proc/13277/task/13292/stat : 13292 (java) S 13275 13277 12030 0 -1 4202560 11982 0 0 0 164 1 0 0 15 0 19 0 815083462 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 3 0 0 0
[pid=13277/tid=13293] ppid=13275 vsize=10563788 CPUtime=0.69 cores=1,3,5,7
/proc/13277/task/13293/stat : 13293 (java) S 13275 13277 12030 0 -1 4202560 7147 0 0 0 69 0 0 0 15 0 19 0 815083462 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
[pid=13277/tid=13294] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13294/stat : 13294 (java) S 13275 13277 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815083462 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118584729 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13295] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13295/stat : 13295 (java) S 13275 13277 12030 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 815083462 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 4 0 16800975 18446604467562615872 0 0 -1 1 0 0 0
[pid=13277/tid=13296] ppid=13275 vsize=10563788 CPUtime=0 cores=1,3,5,7
/proc/13277/task/13296/stat : 13296 (java) S 13275 13277 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815083485 10817318912 941048 33554432000 1073741824 1073778376 140736123605584 18446744073709551615 255118585344 0 4 0 16800975 18446604467562615872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10563788
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.03 s]
/proc/loadavg: 1.94 2.01 1.99 3/532 13404
/proc/meminfo: memFree=11861996/32951124 swapFree=67111204/67111528
[pid=13277] ppid=13275 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/13277/stat : 13277 (java) Z 13275 13277 12030 0 -1 4203548 953697 0 1 0 179899 120 0 0 17 0 2 0 815083456 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13277/statm: 0 0 0 0 0 0 0
[pid=13277/tid=13296] ppid=13275 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/13277/task/13296/stat : 13296 (java) R 13275 13277 12030 0 -1 4203588 7 0 0 0 0 8 0 0 18 0 2 0 815083485 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.11
CPU time (s): 1800.26
CPU user time (s): 1798.99
CPU system time (s): 1.27181
CPU usage (%): 100.343
Max. virtual memory (cumulated for all children) (KiB): 10569148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.27181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 953697
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= 40122
involuntary context switches= 12337
runsolver used 9.59954 second user time and 21.4397 second system time
The end