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-3478760-1307436784/watcher-3478760-1307436784 -o /tmp/evaluation-result-3478760-1307436784/solver-3478760-1307436784 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3478760-1307436784.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: 0.00 0.01 0.00 2/421 24356
/proc/meminfo: memFree=25476592/32951124 swapFree=44043516/67111528
[pid=24356] ppid=24354 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/24356/stat : 24356 (java) S 24354 24356 24324 0 -1 4202496 1608 0 1 0 0 0 0 0 21 0 2 0 855276708 10681323520 1311 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/24356/statm: 2607745 1324 906 9 0 2598901 0
[pid=24356/tid=24357] ppid=24354 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24357/stat : 24357 (java) R 24354 24356 24324 0 -1 4202560 3228 0 1 0 0 0 0 0 22 0 2 0 855276709 10694979584 4044 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0864781 s]
/proc/loadavg: 0.00 0.01 0.00 2/421 24356
/proc/meminfo: memFree=25476592/32951124 swapFree=44043516/67111528
[pid=24356] ppid=24354 vsize=10472952 CPUtime=0.06 cores=1,3,5,7
/proc/24356/stat : 24356 (java) S 24354 24356 24324 0 -1 4202496 11747 0 1 0 4 2 0 0 21 0 18 0 855276708 10724302848 11445 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24356/statm: 2618238 11445 1741 9 0 2608972 0
[pid=24356/tid=24357] ppid=24354 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/24356/task/24357/stat : 24357 (java) R 24354 24356 24324 0 -1 4202560 10574 0 1 0 4 1 0 0 25 0 18 0 855276709 10724302848 11445 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 47474290994435 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10472952
[startup+0.100474 s]
/proc/loadavg: 0.00 0.01 0.00 2/421 24356
/proc/meminfo: memFree=25476592/32951124 swapFree=44043516/67111528
[pid=24356] ppid=24354 vsize=10473088 CPUtime=0.07 cores=1,3,5,7
/proc/24356/stat : 24356 (java) S 24354 24356 24324 0 -1 4202496 12002 0 1 0 5 2 0 0 21 0 18 0 855276708 10724442112 11700 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24356/statm: 2618272 11700 1755 9 0 2609006 0
[pid=24356/tid=24357] ppid=24354 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/24356/task/24357/stat : 24357 (java) R 24354 24356 24324 0 -1 4202560 10829 0 1 0 5 1 0 0 25 0 18 0 855276709 10724442112 11700 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 46912505205185 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473088
[startup+0.300439 s]
/proc/loadavg: 0.00 0.01 0.00 2/421 24356
/proc/meminfo: memFree=25476592/32951124 swapFree=44043516/67111528
[pid=24356] ppid=24354 vsize=10541892 CPUtime=0.43 cores=1,3,5,7
/proc/24356/stat : 24356 (java) S 24354 24356 24324 0 -1 4202496 15423 0 1 0 40 3 0 0 21 0 18 0 855276708 10794897408 14986 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24356/statm: 2635473 14986 2198 9 0 2626207 0
[pid=24356/tid=24357] ppid=24354 vsize=10541892 CPUtime=0.26 cores=1,3,5,7
/proc/24356/task/24357/stat : 24357 (java) R 24354 24356 24324 0 -1 4202560 12856 0 1 0 24 2 0 0 25 0 18 0 855276709 10794897408 14986 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 46912505181295 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10541892
[startup+0.700369 s]
/proc/loadavg: 0.00 0.01 0.00 2/421 24356
/proc/meminfo: memFree=25476592/32951124 swapFree=44043516/67111528
[pid=24356] ppid=24354 vsize=10548456 CPUtime=1.14 cores=1,3,5,7
/proc/24356/stat : 24356 (java) S 24354 24356 24324 0 -1 4202496 49877 0 1 0 108 6 0 0 21 0 18 0 855276708 10801618944 47662 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24356/statm: 2637114 47662 2215 9 0 2627848 0
[pid=24356/tid=24357] ppid=24354 vsize=10548456 CPUtime=0.66 cores=1,3,5,7
/proc/24356/task/24357/stat : 24357 (java) R 24354 24356 24324 0 -1 4202560 43723 0 1 0 61 5 0 0 25 0 18 0 855276709 10801618944 47662 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 46912505536715 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 10548456
[startup+1.50122 s]
/proc/loadavg: 0.00 0.01 0.00 3/439 24374
/proc/meminfo: memFree=25118000/32951124 swapFree=44043516/67111528
[pid=24356] ppid=24354 vsize=10548456 CPUtime=1.98 cores=1,3,5,7
/proc/24356/stat : 24356 (java) S 24354 24356 24324 0 -1 4202496 134794 0 1 0 181 17 0 0 21 0 18 0 855276708 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24356/statm: 2637114 132293 2215 9 0 2627848 0
[pid=24356/tid=24357] ppid=24354 vsize=10548456 CPUtime=1.46 cores=1,3,5,7
/proc/24356/task/24357/stat : 24357 (java) R 24354 24356 24324 0 -1 4202560 128342 0 1 0 130 16 0 0 25 0 18 0 855276709 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 46912505593332 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24356/tid=24359] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24359/stat : 24359 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 855276710 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24360] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24360/stat : 24360 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24361] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24361/stat : 24361 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24362] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24362/stat : 24362 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24363] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24363/stat : 24363 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24364] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24364/stat : 24364 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24365] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24365/stat : 24365 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24366] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24366/stat : 24366 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24367] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24367/stat : 24367 (java) S 24354 24356 24324 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855276711 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650752 0 0 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24368] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24368/stat : 24368 (java) S 24354 24356 24324 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855276712 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24369] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24369/stat : 24369 (java) S 24354 24356 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855276712 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24370] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24370/stat : 24370 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276716 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528657841 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24371] ppid=24354 vsize=10548456 CPUtime=0.25 cores=1,3,5,7
/proc/24356/task/24371/stat : 24371 (java) S 24354 24356 24324 0 -1 4202560 1369 0 0 0 25 0 0 0 15 0 18 0 855276716 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 1 0 0 0
[pid=24356/tid=24372] ppid=24354 vsize=10548456 CPUtime=0.26 cores=1,3,5,7
/proc/24356/task/24372/stat : 24372 (java) S 24354 24356 24324 0 -1 4202560 3934 0 0 0 26 0 0 0 20 0 18 0 855276716 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
[pid=24356/tid=24373] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24373/stat : 24373 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276716 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24374] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24374/stat : 24374 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855276716 10801618944 132293 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650752 0 4 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 10548456
[startup+3.10097 s]
/proc/loadavg: 0.16 0.04 0.01 3/439 24374
/proc/meminfo: memFree=24598180/32951124 swapFree=44043516/67111528
[pid=24356] ppid=24354 vsize=10548456 CPUtime=3.59 cores=1,3,5,7
/proc/24356/stat : 24356 (java) S 24354 24356 24324 0 -1 4202496 301512 0 1 0 320 39 0 0 21 0 18 0 855276708 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24356/statm: 2637114 299011 2215 9 0 2627848 0
[pid=24356/tid=24357] ppid=24354 vsize=10548456 CPUtime=3.05 cores=1,3,5,7
/proc/24356/task/24357/stat : 24357 (java) R 24354 24356 24324 0 -1 4202560 295059 0 1 0 267 38 0 0 25 0 18 0 855276709 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 46912505522805 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24356/tid=24359] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24359/stat : 24359 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 855276710 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24360] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24360/stat : 24360 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24361] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24361/stat : 24361 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24362] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24362/stat : 24362 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24363] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24363/stat : 24363 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24364] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24364/stat : 24364 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24365] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24365/stat : 24365 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24366] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24366/stat : 24366 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24367] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24367/stat : 24367 (java) S 24354 24356 24324 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855276711 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650752 0 0 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24368] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24368/stat : 24368 (java) S 24354 24356 24324 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855276712 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24369] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24369/stat : 24369 (java) S 24354 24356 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855276712 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24370] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24370/stat : 24370 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276716 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528657841 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24371] ppid=24354 vsize=10548456 CPUtime=0.27 cores=1,3,5,7
/proc/24356/task/24371/stat : 24371 (java) S 24354 24356 24324 0 -1 4202560 1370 0 0 0 27 0 0 0 15 0 18 0 855276716 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 1 0 0 0
[pid=24356/tid=24372] ppid=24354 vsize=10548456 CPUtime=0.26 cores=1,3,5,7
/proc/24356/task/24372/stat : 24372 (java) S 24354 24356 24324 0 -1 4202560 3934 0 0 0 26 0 0 0 20 0 18 0 855276716 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
[pid=24356/tid=24373] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24373/stat : 24373 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276716 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24374] ppid=24354 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24374/stat : 24374 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855276716 10801618944 299011 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650752 0 4 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 10548456
[startup+6.30135 s]
/proc/loadavg: 0.16 0.04 0.01 3/439 24374
/proc/meminfo: memFree=23030556/32951124 swapFree=44043516/67111528
[pid=24356] ppid=24354 vsize=10546624 CPUtime=7.06 cores=1,3,5,7
/proc/24356/stat : 24356 (java) S 24354 24356 24324 0 -1 4202496 681597 0 1 0 619 87 0 0 21 0 18 0 855276708 10799742976 678618 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24356/statm: 2636656 678623 2225 9 0 2627390 0
[pid=24356/tid=24357] ppid=24354 vsize=10546624 CPUtime=6.11 cores=1,3,5,7
/proc/24356/task/24357/stat : 24357 (java) S 24354 24356 24324 0 -1 4202560 650999 0 1 0 526 85 0 0 19 0 18 0 855276709 10799742976 678625 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
[pid=24356/tid=24359] ppid=24354 vsize=10546624 CPUtime=0.12 cores=1,3,5,7
/proc/24356/task/24359/stat : 24359 (java) R 24354 24356 24324 0 -1 4202560 9153 0 0 0 12 0 0 0 18 0 18 0 855276710 10799742976 678628 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 47474287737007 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24356/tid=24360] ppid=24354 vsize=10546624 CPUtime=0.11 cores=1,3,5,7
/proc/24356/task/24360/stat : 24360 (java) R 24354 24356 24324 0 -1 4202560 7207 0 0 0 11 0 0 0 18 0 18 0 855276710 10799742976 678630 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 47474287737007 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24356/tid=24361] ppid=24354 vsize=10546624 CPUtime=0.1 cores=1,3,5,7
/proc/24356/task/24361/stat : 24361 (java) R 24354 24356 24324 0 -1 4202560 6857 0 0 0 10 0 0 0 18 0 18 0 855276710 10799742976 678634 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 47474286032569 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24356/tid=24362] ppid=24354 vsize=10546624 CPUtime=0.01 cores=1,3,5,7
/proc/24356/task/24362/stat : 24362 (java) R 24354 24356 24324 0 -1 4202560 942 0 0 0 1 0 0 0 18 0 18 0 855276710 10799742976 678637 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 47474286032577 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24356/tid=24363] ppid=24354 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24363/stat : 24363 (java) R 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 855276710 10799742976 678641 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24356/tid=24364] ppid=24354 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24364/stat : 24364 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10799742976 678642 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24365] ppid=24354 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24365/stat : 24365 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10799742976 678646 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24366] ppid=24354 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24366/stat : 24366 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276710 10799742976 678649 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24367] ppid=24354 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24367/stat : 24367 (java) S 24354 24356 24324 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 18 0 855276711 10799742976 678652 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 0 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24368] ppid=24354 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24368/stat : 24368 (java) S 24354 24356 24324 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855276712 10799742976 678654 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24369] ppid=24354 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24369/stat : 24369 (java) S 24354 24356 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855276712 10799742976 678658 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24370] ppid=24354 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24370/stat : 24370 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276716 10799742976 678659 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528657841 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24371] ppid=24354 vsize=10546624 CPUtime=0.29 cores=1,3,5,7
/proc/24356/task/24371/stat : 24371 (java) S 24354 24356 24324 0 -1 4202560 1374 0 0 0 29 0 0 0 15 0 18 0 855276716 10799742976 678664 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 1 0 0 0
[pid=24356/tid=24372] ppid=24354 vsize=10546624 CPUtime=0.26 cores=1,3,5,7
/proc/24356/task/24372/stat : 24372 (java) S 24354 24356 24324 0 -1 4202560 3934 0 0 0 26 0 0 0 18 0 18 0 855276716 10799742976 678667 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
[pid=24356/tid=24373] ppid=24354 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24373/stat : 24373 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855276716 10799742976 678670 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24374] ppid=24354 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24374/stat : 24374 (java) S 24354 24356 24324 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 855276716 10799742976 678673 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650752 0 4 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=24356/tid=24375] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24375/stat : 24375 (java) S 24354 24356 24324 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 855277373 10802515968 1001124 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650752 0 4 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1666.16
Current children cumulated vsize (KiB) 10549332
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 1.72 3/461 24457
/proc/meminfo: memFree=15187032/32951124 swapFree=44043516/67111528
[pid=24356] ppid=24354 vsize=10549332 CPUtime=1726.18 cores=1,3,5,7
/proc/24356/stat : 24356 (java) S 24354 24356 24324 0 -1 4202496 1011460 0 1 0 172480 138 0 0 21 0 19 0 855276708 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24356/statm: 2637333 1002589 2266 9 0 2628067 0
[pid=24356/tid=24357] ppid=24354 vsize=10549332 CPUtime=1709.35 cores=1,3,5,7
/proc/24356/task/24357/stat : 24357 (java) R 24354 24356 24324 0 -1 4202560 740118 0 1 0 170832 103 0 0 25 0 19 0 855276709 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 46912505923965 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24356/tid=24359] ppid=24354 vsize=10549332 CPUtime=0.5 cores=1,3,5,7
/proc/24356/task/24359/stat : 24359 (java) S 24354 24356 24324 0 -1 4202560 22807 0 0 0 48 2 0 0 15 0 19 0 855276710 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 1 0 0 0
[pid=24356/tid=24360] ppid=24354 vsize=10549332 CPUtime=0.4 cores=1,3,5,7
/proc/24356/task/24360/stat : 24360 (java) S 24354 24356 24324 0 -1 4202560 23075 0 0 0 37 3 0 0 16 0 19 0 855276710 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24361] ppid=24354 vsize=10549332 CPUtime=0.49 cores=1,3,5,7
/proc/24356/task/24361/stat : 24361 (java) S 24354 24356 24324 0 -1 4202560 25858 0 0 0 47 2 0 0 16 0 19 0 855276710 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 3 0 0 0
[pid=24356/tid=24362] ppid=24354 vsize=10549332 CPUtime=0.49 cores=1,3,5,7
/proc/24356/task/24362/stat : 24362 (java) S 24354 24356 24324 0 -1 4202560 26198 0 0 0 47 2 0 0 16 0 19 0 855276710 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 3 0 0 0
[pid=24356/tid=24363] ppid=24354 vsize=10549332 CPUtime=0.39 cores=1,3,5,7
/proc/24356/task/24363/stat : 24363 (java) S 24354 24356 24324 0 -1 4202560 16593 0 0 0 36 3 0 0 15 0 19 0 855276710 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24364] ppid=24354 vsize=10549332 CPUtime=0.2 cores=1,3,5,7
/proc/24356/task/24364/stat : 24364 (java) S 24354 24356 24324 0 -1 4202560 9571 0 0 0 19 1 0 0 15 0 19 0 855276710 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24365] ppid=24354 vsize=10549332 CPUtime=0.37 cores=1,3,5,7
/proc/24356/task/24365/stat : 24365 (java) S 24354 24356 24324 0 -1 4202560 21647 0 0 0 35 2 0 0 15 0 19 0 855276710 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 1 0 0 0
[pid=24356/tid=24366] ppid=24354 vsize=10549332 CPUtime=0.41 cores=1,3,5,7
/proc/24356/task/24366/stat : 24366 (java) S 24354 24356 24324 0 -1 4202560 19588 0 0 0 38 3 0 0 16 0 19 0 855276710 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 3 0 0 0
[pid=24356/tid=24367] ppid=24354 vsize=10549332 CPUtime=11.71 cores=1,3,5,7
/proc/24356/task/24367/stat : 24367 (java) S 24354 24356 24324 0 -1 4202560 93519 0 0 0 1161 10 0 0 15 0 19 0 855276711 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650752 0 0 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
[pid=24356/tid=24368] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24368/stat : 24368 (java) S 24354 24356 24324 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 855276712 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24369] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24369/stat : 24369 (java) S 24354 24356 24324 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 855276712 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24370] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24370/stat : 24370 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855276716 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528657841 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24371] ppid=24354 vsize=10549332 CPUtime=0.88 cores=1,3,5,7
/proc/24356/task/24371/stat : 24371 (java) S 24354 24356 24324 0 -1 4202560 2594 0 0 0 88 0 0 0 15 0 19 0 855276716 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 1 0 0 0
[pid=24356/tid=24372] ppid=24354 vsize=10549332 CPUtime=0.86 cores=1,3,5,7
/proc/24356/task/24372/stat : 24372 (java) S 24354 24356 24324 0 -1 4202560 8644 0 0 0 86 0 0 0 15 0 19 0 855276716 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
[pid=24356/tid=24373] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24373/stat : 24373 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855276716 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24374] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24374/stat : 24374 (java) S 24354 24356 24324 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 855276716 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650752 0 4 0 16800975 18446604471161719488 0 0 -1 1 0 0 0
[pid=24356/tid=24375] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24375/stat : 24375 (java) S 24354 24356 24324 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 855277373 10802515968 1002589 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650752 0 4 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1726.18
Current children cumulated vsize (KiB) 10549332
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 1.73 3/461 24459
/proc/meminfo: memFree=15176312/32951124 swapFree=44043516/67111528
[pid=24356] ppid=24354 vsize=10549332 CPUtime=1786.21 cores=1,3,5,7
/proc/24356/stat : 24356 (java) S 24354 24356 24324 0 -1 4202496 1013907 0 1 0 178482 139 0 0 21 0 19 0 855276708 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24356/statm: 2637333 1004976 2266 9 0 2628067 0
[pid=24356/tid=24357] ppid=24354 vsize=10549332 CPUtime=1768.79 cores=1,3,5,7
/proc/24356/task/24357/stat : 24357 (java) R 24354 24356 24324 0 -1 4202560 740119 0 1 0 176776 103 0 0 25 0 19 0 855276709 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 46912505892716 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24356/tid=24359] ppid=24354 vsize=10549332 CPUtime=0.51 cores=1,3,5,7
/proc/24356/task/24359/stat : 24359 (java) S 24354 24356 24324 0 -1 4202560 23602 0 0 0 49 2 0 0 16 0 19 0 855276710 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 1 0 0 0
[pid=24356/tid=24360] ppid=24354 vsize=10549332 CPUtime=0.41 cores=1,3,5,7
/proc/24356/task/24360/stat : 24360 (java) S 24354 24356 24324 0 -1 4202560 23283 0 0 0 38 3 0 0 16 0 19 0 855276710 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 3 0 0 0
[pid=24356/tid=24361] ppid=24354 vsize=10549332 CPUtime=0.5 cores=1,3,5,7
/proc/24356/task/24361/stat : 24361 (java) S 24354 24356 24324 0 -1 4202560 26486 0 0 0 48 2 0 0 16 0 19 0 855276710 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 3 0 0 0
[pid=24356/tid=24362] ppid=24354 vsize=10549332 CPUtime=0.49 cores=1,3,5,7
/proc/24356/task/24362/stat : 24362 (java) S 24354 24356 24324 0 -1 4202560 26198 0 0 0 47 2 0 0 15 0 19 0 855276710 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 3 0 0 0
[pid=24356/tid=24363] ppid=24354 vsize=10549332 CPUtime=0.4 cores=1,3,5,7
/proc/24356/task/24363/stat : 24363 (java) S 24354 24356 24324 0 -1 4202560 16955 0 0 0 37 3 0 0 16 0 19 0 855276710 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24364] ppid=24354 vsize=10549332 CPUtime=0.2 cores=1,3,5,7
/proc/24356/task/24364/stat : 24364 (java) S 24354 24356 24324 0 -1 4202560 9571 0 0 0 19 1 0 0 15 0 19 0 855276710 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 3 0 0 0
[pid=24356/tid=24365] ppid=24354 vsize=10549332 CPUtime=0.37 cores=1,3,5,7
/proc/24356/task/24365/stat : 24365 (java) S 24354 24356 24324 0 -1 4202560 21647 0 0 0 35 2 0 0 15 0 19 0 855276710 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 1 0 0 0
[pid=24356/tid=24366] ppid=24354 vsize=10549332 CPUtime=0.41 cores=1,3,5,7
/proc/24356/task/24366/stat : 24366 (java) S 24354 24356 24324 0 -1 4202560 19588 0 0 0 38 3 0 0 15 0 19 0 855276710 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 3 0 0 0
[pid=24356/tid=24367] ppid=24354 vsize=10549332 CPUtime=12.26 cores=1,3,5,7
/proc/24356/task/24367/stat : 24367 (java) S 24354 24356 24324 0 -1 4202560 93968 0 0 0 1216 10 0 0 15 0 19 0 855276711 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650752 0 0 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
[pid=24356/tid=24368] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24368/stat : 24368 (java) S 24354 24356 24324 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 855276712 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24369] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24369/stat : 24369 (java) S 24354 24356 24324 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 855276712 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24370] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24370/stat : 24370 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855276716 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528657841 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24371] ppid=24354 vsize=10549332 CPUtime=0.88 cores=1,3,5,7
/proc/24356/task/24371/stat : 24371 (java) S 24354 24356 24324 0 -1 4202560 2594 0 0 0 88 0 0 0 15 0 19 0 855276716 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 1 0 0 0
[pid=24356/tid=24372] ppid=24354 vsize=10549332 CPUtime=0.86 cores=1,3,5,7
/proc/24356/task/24372/stat : 24372 (java) S 24354 24356 24324 0 -1 4202560 8644 0 0 0 86 0 0 0 15 0 19 0 855276716 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
[pid=24356/tid=24373] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24373/stat : 24373 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855276716 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24374] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24374/stat : 24374 (java) S 24354 24356 24324 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 855276716 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650752 0 4 0 16800975 18446604471161719488 0 0 -1 1 0 0 0
[pid=24356/tid=24375] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24375/stat : 24375 (java) S 24354 24356 24324 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 855277373 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650752 0 4 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1786.21
Current children cumulated vsize (KiB) 10549332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.1 s]
/proc/loadavg: 2.10 2.04 1.74 4/461 24507
/proc/meminfo: memFree=19999808/32951124 swapFree=44043516/67111528
[pid=24356] ppid=24354 vsize=10549332 CPUtime=1800.06 cores=1,3,5,7
/proc/24356/stat : 24356 (java) S 24354 24356 24324 0 -1 4202496 1013910 0 1 0 179867 139 0 0 21 0 19 0 855276708 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24356/statm: 2637333 1004976 2266 9 0 2628067 0
[pid=24356/tid=24357] ppid=24354 vsize=10549332 CPUtime=1782.61 cores=1,3,5,7
/proc/24356/task/24357/stat : 24357 (java) R 24354 24356 24324 0 -1 4202560 740120 0 1 0 178158 103 0 0 25 0 19 0 855276709 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 46912506179075 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24356/tid=24359] ppid=24354 vsize=10549332 CPUtime=0.52 cores=1,3,5,7
/proc/24356/task/24359/stat : 24359 (java) S 24354 24356 24324 0 -1 4202560 23602 0 0 0 50 2 0 0 16 0 19 0 855276710 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 1 0 0 0
[pid=24356/tid=24360] ppid=24354 vsize=10549332 CPUtime=0.41 cores=1,3,5,7
/proc/24356/task/24360/stat : 24360 (java) S 24354 24356 24324 0 -1 4202560 23283 0 0 0 38 3 0 0 15 0 19 0 855276710 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 3 0 0 0
[pid=24356/tid=24361] ppid=24354 vsize=10549332 CPUtime=0.5 cores=1,3,5,7
/proc/24356/task/24361/stat : 24361 (java) S 24354 24356 24324 0 -1 4202560 26486 0 0 0 48 2 0 0 15 0 19 0 855276710 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 3 0 0 0
[pid=24356/tid=24362] ppid=24354 vsize=10549332 CPUtime=0.49 cores=1,3,5,7
/proc/24356/task/24362/stat : 24362 (java) S 24354 24356 24324 0 -1 4202560 26198 0 0 0 47 2 0 0 15 0 19 0 855276710 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 3 0 0 0
[pid=24356/tid=24363] ppid=24354 vsize=10549332 CPUtime=0.41 cores=1,3,5,7
/proc/24356/task/24363/stat : 24363 (java) S 24354 24356 24324 0 -1 4202560 16955 0 0 0 38 3 0 0 16 0 19 0 855276710 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24364] ppid=24354 vsize=10549332 CPUtime=0.2 cores=1,3,5,7
/proc/24356/task/24364/stat : 24364 (java) S 24354 24356 24324 0 -1 4202560 9571 0 0 0 19 1 0 0 15 0 19 0 855276710 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 3 0 0 0
[pid=24356/tid=24365] ppid=24354 vsize=10549332 CPUtime=0.37 cores=1,3,5,7
/proc/24356/task/24365/stat : 24365 (java) S 24354 24356 24324 0 -1 4202560 21647 0 0 0 35 2 0 0 15 0 19 0 855276710 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 1 0 0 0
[pid=24356/tid=24366] ppid=24354 vsize=10549332 CPUtime=0.42 cores=1,3,5,7
/proc/24356/task/24366/stat : 24366 (java) S 24354 24356 24324 0 -1 4202560 19588 0 0 0 39 3 0 0 16 0 19 0 855276710 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 3 0 0 0
[pid=24356/tid=24367] ppid=24354 vsize=10549332 CPUtime=12.26 cores=1,3,5,7
/proc/24356/task/24367/stat : 24367 (java) S 24354 24356 24324 0 -1 4202560 93970 0 0 0 1216 10 0 0 15 0 19 0 855276711 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650752 0 0 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
[pid=24356/tid=24368] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24368/stat : 24368 (java) S 24354 24356 24324 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 855276712 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24369] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24369/stat : 24369 (java) S 24354 24356 24324 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 855276712 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24370] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24370/stat : 24370 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855276716 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528657841 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24371] ppid=24354 vsize=10549332 CPUtime=0.88 cores=1,3,5,7
/proc/24356/task/24371/stat : 24371 (java) S 24354 24356 24324 0 -1 4202560 2594 0 0 0 88 0 0 0 15 0 19 0 855276716 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 1 0 0 0
[pid=24356/tid=24372] ppid=24354 vsize=10549332 CPUtime=0.86 cores=1,3,5,7
/proc/24356/task/24372/stat : 24372 (java) S 24354 24356 24324 0 -1 4202560 8644 0 0 0 86 0 0 0 15 0 19 0 855276716 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
[pid=24356/tid=24373] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24373/stat : 24373 (java) S 24354 24356 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855276716 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650137 0 4 0 16800975 18446604471161719488 0 0 -1 7 0 0 0
[pid=24356/tid=24374] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24374/stat : 24374 (java) S 24354 24356 24324 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 855276716 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650752 0 4 0 16800975 18446604471161719488 0 0 -1 1 0 0 0
[pid=24356/tid=24375] ppid=24354 vsize=10549332 CPUtime=0 cores=1,3,5,7
/proc/24356/task/24375/stat : 24375 (java) S 24354 24356 24324 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 855277373 10802515968 1004976 33554432000 1073741824 1073778376 140736338079952 18446744073709551615 246528650752 0 4 0 16800975 18446604471161719488 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10549332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.24 s]
/proc/loadavg: 2.10 2.04 1.74 4/461 24507
/proc/meminfo: memFree=19999808/32951124 swapFree=44043516/67111528
[pid=24356] ppid=24354 vsize=0 CPUtime=1800.27 cores=1,3,5,7
/proc/24356/stat : 24356 (java) Z 24354 24356 24324 0 -1 4203548 1013938 0 1 0 179886 141 0 0 17 0 2 0 855276708 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24356/statm: 0 0 0 0 0 0 0
[pid=24356/tid=24357] ppid=24354 vsize=0 CPUtime=1782.72 cores=1,3,5,7
/proc/24356/task/24357/stat : 24357 (java) R 24354 24356 24324 0 -1 4203588 740120 0 1 0 178167 105 0 0 25 0 2 0 855276709 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.27
Current children cumulated vsize (KiB) 0
[startup+1796.3 s]
/proc/loadavg: 2.10 2.04 1.74 4/461 24507
/proc/meminfo: memFree=19999808/32951124 swapFree=44043516/67111528
[pid=24356] ppid=24354 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/24356/stat : 24356 (java) Z 24354 24356 24324 0 -1 4203548 1013938 0 1 0 179886 147 0 0 17 0 2 0 855276708 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24356/statm: 0 0 0 0 0 0 0
[pid=24356/tid=24357] ppid=24354 vsize=0 CPUtime=1782.78 cores=1,3,5,7
/proc/24356/task/24357/stat : 24357 (java) R 24354 24356 24324 0 -1 4203588 740120 0 1 0 178167 111 0 0 25 0 2 0 855276709 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.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.37
CPU time (s): 1800.41
CPU user time (s): 1798.87
CPU system time (s): 1.54277
CPU usage (%): 100.225
Max. virtual memory (cumulated for all children) (KiB): 10551620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.87
system time used= 1.54276
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1013938
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= 38884
involuntary context switches= 8201
runsolver used 7.77582 second user time and 17.3314 second system time
The end