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-3456612-1307220517/watcher-3456612-1307220517 -o /tmp/evaluation-result-3456612-1307220517/solver-3456612-1307220517 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456612-1307220517.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 1.97 2/452 11962
/proc/meminfo: memFree=8675420/32951132 swapFree=67093840/67111528
[pid=11962] ppid=11960 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/11962/stat : 11962 (java) S 11960 11962 11532 0 -1 4202496 1129 0 0 0 0 0 0 0 25 0 2 0 833651377 24580096 866 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676611045 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11962/statm: 6002 867 654 9 0 382 0
[pid=11962/tid=11963] ppid=11960 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11963/stat : 11963 (java) R 11960 11962 11532 0 -1 4202560 3735 0 1 0 0 0 0 0 25 0 2 0 833651378 10694979584 4551 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274664502331 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0342951 s]
/proc/loadavg: 2.00 2.01 1.97 2/452 11962
/proc/meminfo: memFree=8675420/32951132 swapFree=67093840/67111528
[pid=11962] ppid=11960 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/11962/stat : 11962 (java) S 11960 11962 11532 0 -1 4202496 10851 0 1 0 1 0 0 0 25 0 10 0 833651377 10705932288 10549 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/11962/statm: 2613753 10552 1538 9 0 2604501 0
[pid=11962/tid=11963] ppid=11960 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/11962/task/11963/stat : 11963 (java) R 11960 11962 11532 0 -1 4202560 9732 0 1 0 1 0 0 0 25 0 10 0 833651378 10705932288 10553 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 47898079342499 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10455012
[startup+0.105299 s]
/proc/loadavg: 2.00 2.01 1.97 2/452 11962
/proc/meminfo: memFree=8675420/32951132 swapFree=67093840/67111528
[pid=11962] ppid=11960 vsize=10539492 CPUtime=0.1 cores=0,2,4,6
/proc/11962/stat : 11962 (java) S 11960 11962 11532 0 -1 4202496 12986 0 1 0 9 1 0 0 25 0 18 0 833651377 10792439808 12682 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11962/statm: 2634873 12683 2093 9 0 2625607 0
[pid=11962/tid=11963] ppid=11960 vsize=10539492 CPUtime=0.08 cores=0,2,4,6
/proc/11962/task/11963/stat : 11963 (java) R 11960 11962 11532 0 -1 4202560 11180 0 1 0 7 1 0 0 18 0 18 0 833651378 10792439808 12683 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539492
[startup+0.346477 s]
/proc/loadavg: 2.00 2.01 1.97 2/452 11962
/proc/meminfo: memFree=8675420/32951132 swapFree=67093840/67111528
[pid=11962] ppid=11960 vsize=10542376 CPUtime=0.64 cores=0,2,4,6
/proc/11962/stat : 11962 (java) S 11960 11962 11532 0 -1 4202496 18319 0 1 0 61 3 0 0 25 0 19 0 833651377 10795393024 16691 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11962/statm: 2635594 16691 2214 9 0 2626328 0
[pid=11962/tid=11963] ppid=11960 vsize=10542376 CPUtime=0.32 cores=0,2,4,6
/proc/11962/task/11963/stat : 11963 (java) R 11960 11962 11532 0 -1 4202560 13248 0 1 0 31 1 0 0 19 0 19 0 833651378 10795393024 16691 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 46912505216571 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 10542376
[startup+0.902155 s]
/proc/loadavg: 2.00 2.01 1.97 2/452 11962
/proc/meminfo: memFree=8675420/32951132 swapFree=67093840/67111528
[pid=11962] ppid=11960 vsize=10559232 CPUtime=2.02 cores=0,2,4,6
/proc/11962/stat : 11962 (java) S 11960 11962 11532 0 -1 4202496 44254 0 1 0 196 6 0 0 25 0 19 0 833651377 10812653568 39403 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11962/statm: 2639808 39406 2224 9 0 2630542 0
[pid=11962/tid=11963] ppid=11960 vsize=10559232 CPUtime=0.88 cores=0,2,4,6
/proc/11962/task/11963/stat : 11963 (java) R 11960 11962 11532 0 -1 4202560 30606 0 1 0 85 3 0 0 19 0 19 0 833651378 10812653568 39408 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 46912505366039 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 10559232
[startup+1.50106 s]
/proc/loadavg: 2.00 2.01 1.97 8/471 11981
/proc/meminfo: memFree=8410180/32951132 swapFree=67093840/67111528
[pid=11962] ppid=11960 vsize=10559232 CPUtime=2.75 cores=0,2,4,6
/proc/11962/stat : 11962 (java) S 11960 11962 11532 0 -1 4202496 86334 0 1 0 263 12 0 0 25 0 19 0 833651377 10812653568 81218 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11962/statm: 2639808 81220 2227 9 0 2630542 0
[pid=11962/tid=11963] ppid=11960 vsize=10559232 CPUtime=1.48 cores=0,2,4,6
/proc/11962/task/11963/stat : 11963 (java) R 11960 11962 11532 0 -1 4202560 72265 0 1 0 139 9 0 0 18 0 19 0 833651378 10812653568 81220 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 46912505773539 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11962/tid=11965] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11965/stat : 11965 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 81222 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11966] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11966/stat : 11966 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 81222 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11967] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11967/stat : 11967 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 81223 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11968] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11968/stat : 11968 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 81224 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11969] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11969/stat : 11969 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 81224 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11970] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11970/stat : 11970 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 81224 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11971] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11971/stat : 11971 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 81224 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11972] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11972/stat : 11972 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 81224 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11973] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11973/stat : 11973 (java) S 11960 11962 11532 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833651381 10812653568 81225 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 0 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11974] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11974/stat : 11974 (java) S 11960 11962 11532 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833651381 10812653568 81225 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11975] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11975/stat : 11975 (java) S 11960 11962 11532 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833651381 10812653568 81228 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11976] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11976/stat : 11976 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651383 10812653568 81232 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676631985 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11977] ppid=11960 vsize=10559232 CPUtime=0.57 cores=0,2,4,6
/proc/11962/task/11977/stat : 11977 (java) S 11960 11962 11532 0 -1 4202560 4686 0 0 0 56 1 0 0 20 0 19 0 833651383 10812653568 81236 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 0 0 0 0
[pid=11962/tid=11978] ppid=11960 vsize=10559232 CPUtime=0.68 cores=0,2,4,6
/proc/11962/task/11978/stat : 11978 (java) S 11960 11962 11532 0 -1 4202560 8224 0 0 0 67 1 0 0 15 0 19 0 833651383 10812653568 81239 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11979] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11979/stat : 11979 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651383 10812653568 81240 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11980] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11980/stat : 11980 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833651383 10812653568 81240 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 4 0 16800975 18446604445026444608 0 0 -1 0 0 0 0
[pid=11962/tid=11981] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11981/stat : 11981 (java) S 11960 11962 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833651408 10812653568 81246 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 10559232
[startup+3.10079 s]
/proc/loadavg: 2.00 2.01 1.97 3/471 11981
/proc/meminfo: memFree=8115036/32951132 swapFree=67093840/67111528
[pid=11962] ppid=11960 vsize=10559232 CPUtime=4.37 cores=0,2,4,6
/proc/11962/stat : 11962 (java) S 11960 11962 11532 0 -1 4202496 184440 0 1 0 413 24 0 0 25 0 19 0 833651377 10812653568 179324 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11962/statm: 2639808 179327 2227 9 0 2630542 0
[pid=11962/tid=11963] ppid=11960 vsize=10559232 CPUtime=3.07 cores=0,2,4,6
/proc/11962/task/11963/stat : 11963 (java) R 11960 11962 11532 0 -1 4202560 170373 0 1 0 287 20 0 0 21 0 19 0 833651378 10812653568 179328 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 46912505773804 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11962/tid=11965] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11965/stat : 11965 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 179329 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11966] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11966/stat : 11966 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 179330 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11967] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11967/stat : 11967 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 179331 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11968] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11968/stat : 11968 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 179333 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11969] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11969/stat : 11969 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 179334 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11970] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11970/stat : 11970 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 179336 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11971] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11971/stat : 11971 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 179337 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11972] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11972/stat : 11972 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 179339 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11973] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11973/stat : 11973 (java) S 11960 11962 11532 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833651381 10812653568 179341 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 0 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11974] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11974/stat : 11974 (java) S 11960 11962 11532 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833651381 10812653568 179342 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11975] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11975/stat : 11975 (java) S 11960 11962 11532 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833651381 10812653568 179344 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11976] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11976/stat : 11976 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651383 10812653568 179345 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676631985 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11977] ppid=11960 vsize=10559232 CPUtime=0.59 cores=0,2,4,6
/proc/11962/task/11977/stat : 11977 (java) S 11960 11962 11532 0 -1 4202560 4686 0 0 0 58 1 0 0 15 0 19 0 833651383 10812653568 179347 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 0 0 0 0
[pid=11962/tid=11978] ppid=11960 vsize=10559232 CPUtime=0.68 cores=0,2,4,6
/proc/11962/task/11978/stat : 11978 (java) S 11960 11962 11532 0 -1 4202560 8224 0 0 0 67 1 0 0 15 0 19 0 833651383 10812653568 179348 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11979] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11979/stat : 11979 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651383 10812653568 179350 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11980] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11980/stat : 11980 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833651383 10812653568 179351 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11981] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11981/stat : 11981 (java) S 11960 11962 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833651408 10812653568 179353 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 10559232
[startup+6.30124 s]
/proc/loadavg: 2.00 2.01 1.97 3/471 11981
/proc/meminfo: memFree=7376740/32951132 swapFree=67093840/67111528
[pid=11962] ppid=11960 vsize=10559232 CPUtime=7.58 cores=0,2,4,6
/proc/11962/stat : 11962 (java) S 11960 11962 11532 0 -1 4202496 361559 0 1 0 715 43 0 0 25 0 19 0 833651377 10812653568 356442 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11962/statm: 2639808 356445 2229 9 0 2630542 0
[pid=11962/tid=11963] ppid=11960 vsize=10559232 CPUtime=6.28 cores=0,2,4,6
/proc/11962/task/11963/stat : 11963 (java) R 11960 11962 11532 0 -1 4202560 347488 0 1 0 588 40 0 0 25 0 19 0 833651378 10812653568 356446 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 46912505773826 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11962/tid=11965] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11965/stat : 11965 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 356448 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11966] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11966/stat : 11966 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 356450 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11967] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11967/stat : 11967 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 356452 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11968] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11968/stat : 11968 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 356455 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11969] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11969/stat : 11969 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 356456 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11970] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11970/stat : 11970 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 356458 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11971] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11971/stat : 11971 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 356459 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11972] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11972/stat : 11972 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651380 10812653568 356461 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11973] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11973/stat : 11973 (java) S 11960 11962 11532 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833651381 10812653568 356462 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 0 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11974] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11974/stat : 11974 (java) S 11960 11962 11532 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833651381 10812653568 356464 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11975] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11975/stat : 11975 (java) S 11960 11962 11532 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833651381 10812653568 356465 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11976] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11976/stat : 11976 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651383 10812653568 356467 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676631985 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11977] ppid=11960 vsize=10559232 CPUtime=0.6 cores=0,2,4,6
/proc/11962/task/11977/stat : 11977 (java) S 11960 11962 11532 0 -1 4202560 4689 0 0 0 59 1 0 0 15 0 19 0 833651383 10812653568 356470 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 0 0 0 0
[pid=11962/tid=11978] ppid=11960 vsize=10559232 CPUtime=0.68 cores=0,2,4,6
/proc/11962/task/11978/stat : 11978 (java) S 11960 11962 11532 0 -1 4202560 8224 0 0 0 67 1 0 0 15 0 19 0 833651383 10812653568 356472 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/11962/task/11974/stat : 11974 (java) S 11960 11962 11532 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 833651381 10812653568 948070 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11975] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11975/stat : 11975 (java) S 11960 11962 11532 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833651381 10812653568 948070 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11976] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11976/stat : 11976 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651383 10812653568 948070 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676631985 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11977] ppid=11960 vsize=10559232 CPUtime=0.95 cores=0,2,4,6
/proc/11962/task/11977/stat : 11977 (java) S 11960 11962 11532 0 -1 4202560 4742 0 0 0 94 1 0 0 15 0 19 0 833651383 10812653568 948070 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 0 0 0 0
[pid=11962/tid=11978] ppid=11960 vsize=10559232 CPUtime=0.8 cores=0,2,4,6
/proc/11962/task/11978/stat : 11978 (java) S 11960 11962 11532 0 -1 4202560 8279 0 0 0 79 1 0 0 15 0 19 0 833651383 10812653568 948070 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11979] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11979/stat : 11979 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651383 10812653568 948070 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11980] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11980/stat : 11980 (java) S 11960 11962 11532 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833651383 10812653568 948070 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11981] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11981/stat : 11981 (java) S 11960 11962 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833651408 10812653568 948070 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1665.98
Current children cumulated vsize (KiB) 10559232
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/471 12132
/proc/meminfo: memFree=5094872/32951132 swapFree=67093840/67111528
[pid=11962] ppid=11960 vsize=10559232 CPUtime=1726.01 cores=0,2,4,6
/proc/11962/stat : 11962 (java) S 11960 11962 11532 0 -1 4202496 965240 0 1 0 172474 127 0 0 25 0 19 0 833651377 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11962/statm: 2639808 954574 2258 9 0 2630542 0
[pid=11962/tid=11963] ppid=11960 vsize=10559232 CPUtime=1720.96 cores=0,2,4,6
/proc/11962/task/11963/stat : 11963 (java) R 11960 11962 11532 0 -1 4202560 813327 0 1 0 172001 95 0 0 25 0 19 0 833651378 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 46912505795280 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11962/tid=11965] ppid=11960 vsize=10559232 CPUtime=0.44 cores=0,2,4,6
/proc/11962/task/11965/stat : 11965 (java) S 11960 11962 11532 0 -1 4202560 19717 0 0 0 42 2 0 0 15 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11966] ppid=11960 vsize=10559232 CPUtime=0.36 cores=0,2,4,6
/proc/11962/task/11966/stat : 11966 (java) S 11960 11962 11532 0 -1 4202560 15621 0 0 0 34 2 0 0 15 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11967] ppid=11960 vsize=10559232 CPUtime=0.36 cores=0,2,4,6
/proc/11962/task/11967/stat : 11967 (java) S 11960 11962 11532 0 -1 4202560 19487 0 0 0 33 3 0 0 15 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11968] ppid=11960 vsize=10559232 CPUtime=0.35 cores=0,2,4,6
/proc/11962/task/11968/stat : 11968 (java) S 11960 11962 11532 0 -1 4202560 16117 0 0 0 32 3 0 0 15 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 0 0 0 0
[pid=11962/tid=11969] ppid=11960 vsize=10559232 CPUtime=0.29 cores=0,2,4,6
/proc/11962/task/11969/stat : 11969 (java) S 11960 11962 11532 0 -1 4202560 16180 0 0 0 27 2 0 0 16 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11970] ppid=11960 vsize=10559232 CPUtime=0.29 cores=0,2,4,6
/proc/11962/task/11970/stat : 11970 (java) S 11960 11962 11532 0 -1 4202560 13180 0 0 0 27 2 0 0 15 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11971] ppid=11960 vsize=10559232 CPUtime=0.38 cores=0,2,4,6
/proc/11962/task/11971/stat : 11971 (java) S 11960 11962 11532 0 -1 4202560 15830 0 0 0 35 3 0 0 16 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11972] ppid=11960 vsize=10559232 CPUtime=0.39 cores=0,2,4,6
/proc/11962/task/11972/stat : 11972 (java) S 11960 11962 11532 0 -1 4202560 21322 0 0 0 35 4 0 0 16 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 0 0 0 0
[pid=11962/tid=11973] ppid=11960 vsize=10559232 CPUtime=0.3 cores=0,2,4,6
/proc/11962/task/11973/stat : 11973 (java) S 11960 11962 11532 0 -1 4202560 184 0 0 0 29 1 0 0 15 0 19 0 833651381 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 0 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11974] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11974/stat : 11974 (java) S 11960 11962 11532 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 833651381 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11975] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11975/stat : 11975 (java) S 11960 11962 11532 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833651381 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11976] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11976/stat : 11976 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651383 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676631985 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11977] ppid=11960 vsize=10559232 CPUtime=0.95 cores=0,2,4,6
/proc/11962/task/11977/stat : 11977 (java) S 11960 11962 11532 0 -1 4202560 4742 0 0 0 94 1 0 0 15 0 19 0 833651383 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 0 0 0 0
[pid=11962/tid=11978] ppid=11960 vsize=10559232 CPUtime=0.8 cores=0,2,4,6
/proc/11962/task/11978/stat : 11978 (java) S 11960 11962 11532 0 -1 4202560 8279 0 0 0 79 1 0 0 15 0 19 0 833651383 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11979] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11979/stat : 11979 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651383 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11980] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11980/stat : 11980 (java) S 11960 11962 11532 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833651383 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11981] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11981/stat : 11981 (java) S 11960 11962 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833651408 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1726.01
Current children cumulated vsize (KiB) 10559232
[startup+1782.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/471 12134
/proc/meminfo: memFree=5091896/32951132 swapFree=67093840/67111528
[pid=11962] ppid=11960 vsize=10559232 CPUtime=1786.03 cores=0,2,4,6
/proc/11962/stat : 11962 (java) S 11960 11962 11532 0 -1 4202496 965244 0 1 0 178476 127 0 0 25 0 19 0 833651377 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11962/statm: 2639808 954574 2258 9 0 2630542 0
[pid=11962/tid=11963] ppid=11960 vsize=10559232 CPUtime=1780.97 cores=0,2,4,6
/proc/11962/task/11963/stat : 11963 (java) R 11960 11962 11532 0 -1 4202560 813327 0 1 0 178002 95 0 0 25 0 19 0 833651378 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 46912505795341 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11962/tid=11965] ppid=11960 vsize=10559232 CPUtime=0.44 cores=0,2,4,6
/proc/11962/task/11965/stat : 11965 (java) S 11960 11962 11532 0 -1 4202560 19717 0 0 0 42 2 0 0 15 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11966] ppid=11960 vsize=10559232 CPUtime=0.36 cores=0,2,4,6
/proc/11962/task/11966/stat : 11966 (java) S 11960 11962 11532 0 -1 4202560 15621 0 0 0 34 2 0 0 15 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11967] ppid=11960 vsize=10559232 CPUtime=0.36 cores=0,2,4,6
/proc/11962/task/11967/stat : 11967 (java) S 11960 11962 11532 0 -1 4202560 19487 0 0 0 33 3 0 0 15 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11968] ppid=11960 vsize=10559232 CPUtime=0.35 cores=0,2,4,6
/proc/11962/task/11968/stat : 11968 (java) S 11960 11962 11532 0 -1 4202560 16117 0 0 0 32 3 0 0 15 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 0 0 0 0
[pid=11962/tid=11969] ppid=11960 vsize=10559232 CPUtime=0.29 cores=0,2,4,6
/proc/11962/task/11969/stat : 11969 (java) S 11960 11962 11532 0 -1 4202560 16180 0 0 0 27 2 0 0 16 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11970] ppid=11960 vsize=10559232 CPUtime=0.29 cores=0,2,4,6
/proc/11962/task/11970/stat : 11970 (java) S 11960 11962 11532 0 -1 4202560 13180 0 0 0 27 2 0 0 15 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11971] ppid=11960 vsize=10559232 CPUtime=0.38 cores=0,2,4,6
/proc/11962/task/11971/stat : 11971 (java) S 11960 11962 11532 0 -1 4202560 15830 0 0 0 35 3 0 0 16 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11972] ppid=11960 vsize=10559232 CPUtime=0.39 cores=0,2,4,6
/proc/11962/task/11972/stat : 11972 (java) S 11960 11962 11532 0 -1 4202560 21322 0 0 0 35 4 0 0 16 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 0 0 0 0
[pid=11962/tid=11973] ppid=11960 vsize=10559232 CPUtime=0.3 cores=0,2,4,6
/proc/11962/task/11973/stat : 11973 (java) S 11960 11962 11532 0 -1 4202560 184 0 0 0 29 1 0 0 15 0 19 0 833651381 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 0 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11974] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11974/stat : 11974 (java) S 11960 11962 11532 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 833651381 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11975] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11975/stat : 11975 (java) S 11960 11962 11532 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833651381 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11976] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11976/stat : 11976 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651383 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676631985 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11977] ppid=11960 vsize=10559232 CPUtime=0.95 cores=0,2,4,6
/proc/11962/task/11977/stat : 11977 (java) S 11960 11962 11532 0 -1 4202560 4742 0 0 0 94 1 0 0 15 0 19 0 833651383 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 0 0 0 0
[pid=11962/tid=11978] ppid=11960 vsize=10559232 CPUtime=0.8 cores=0,2,4,6
/proc/11962/task/11978/stat : 11978 (java) S 11960 11962 11532 0 -1 4202560 8279 0 0 0 79 1 0 0 15 0 19 0 833651383 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11979] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11979/stat : 11979 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651383 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11980] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11980/stat : 11980 (java) S 11960 11962 11532 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833651383 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11981] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11981/stat : 11981 (java) S 11960 11962 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833651408 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1786.03
Current children cumulated vsize (KiB) 10559232
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/471 12134
/proc/meminfo: memFree=5091652/32951132 swapFree=67093840/67111528
[pid=11962] ppid=11960 vsize=10559232 CPUtime=1800.02 cores=0,2,4,6
/proc/11962/stat : 11962 (java) S 11960 11962 11532 0 -1 4202496 965244 0 1 0 179875 127 0 0 25 0 19 0 833651377 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11962/statm: 2639808 954574 2258 9 0 2630542 0
[pid=11962/tid=11963] ppid=11960 vsize=10559232 CPUtime=1794.97 cores=0,2,4,6
/proc/11962/task/11963/stat : 11963 (java) R 11960 11962 11532 0 -1 4202560 813327 0 1 0 179402 95 0 0 25 0 19 0 833651378 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 46912506194857 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11962/tid=11965] ppid=11960 vsize=10559232 CPUtime=0.44 cores=0,2,4,6
/proc/11962/task/11965/stat : 11965 (java) S 11960 11962 11532 0 -1 4202560 19717 0 0 0 42 2 0 0 15 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11966] ppid=11960 vsize=10559232 CPUtime=0.36 cores=0,2,4,6
/proc/11962/task/11966/stat : 11966 (java) S 11960 11962 11532 0 -1 4202560 15621 0 0 0 34 2 0 0 15 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11967] ppid=11960 vsize=10559232 CPUtime=0.36 cores=0,2,4,6
/proc/11962/task/11967/stat : 11967 (java) S 11960 11962 11532 0 -1 4202560 19487 0 0 0 33 3 0 0 15 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11968] ppid=11960 vsize=10559232 CPUtime=0.35 cores=0,2,4,6
/proc/11962/task/11968/stat : 11968 (java) S 11960 11962 11532 0 -1 4202560 16117 0 0 0 32 3 0 0 15 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 0 0 0 0
[pid=11962/tid=11969] ppid=11960 vsize=10559232 CPUtime=0.29 cores=0,2,4,6
/proc/11962/task/11969/stat : 11969 (java) S 11960 11962 11532 0 -1 4202560 16180 0 0 0 27 2 0 0 16 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11970] ppid=11960 vsize=10559232 CPUtime=0.29 cores=0,2,4,6
/proc/11962/task/11970/stat : 11970 (java) S 11960 11962 11532 0 -1 4202560 13180 0 0 0 27 2 0 0 15 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11971] ppid=11960 vsize=10559232 CPUtime=0.38 cores=0,2,4,6
/proc/11962/task/11971/stat : 11971 (java) S 11960 11962 11532 0 -1 4202560 15830 0 0 0 35 3 0 0 16 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11972] ppid=11960 vsize=10559232 CPUtime=0.39 cores=0,2,4,6
/proc/11962/task/11972/stat : 11972 (java) S 11960 11962 11532 0 -1 4202560 21322 0 0 0 35 4 0 0 16 0 19 0 833651380 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 0 0 0 0
[pid=11962/tid=11973] ppid=11960 vsize=10559232 CPUtime=0.3 cores=0,2,4,6
/proc/11962/task/11973/stat : 11973 (java) S 11960 11962 11532 0 -1 4202560 184 0 0 0 29 1 0 0 15 0 19 0 833651381 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 0 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11974] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11974/stat : 11974 (java) S 11960 11962 11532 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 833651381 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11975] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11975/stat : 11975 (java) S 11960 11962 11532 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833651381 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11976] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11976/stat : 11976 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651383 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676631985 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11977] ppid=11960 vsize=10559232 CPUtime=0.95 cores=0,2,4,6
/proc/11962/task/11977/stat : 11977 (java) S 11960 11962 11532 0 -1 4202560 4742 0 0 0 94 1 0 0 15 0 19 0 833651383 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 0 0 0 0
[pid=11962/tid=11978] ppid=11960 vsize=10559232 CPUtime=0.8 cores=0,2,4,6
/proc/11962/task/11978/stat : 11978 (java) S 11960 11962 11532 0 -1 4202560 8279 0 0 0 79 1 0 0 15 0 19 0 833651383 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 4 0 0 0
[pid=11962/tid=11979] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11979/stat : 11979 (java) S 11960 11962 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833651383 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624281 0 4 0 16800975 18446604445026444608 0 0 -1 6 0 0 0
[pid=11962/tid=11980] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11980/stat : 11980 (java) S 11960 11962 11532 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833651383 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
[pid=11962/tid=11981] ppid=11960 vsize=10559232 CPUtime=0 cores=0,2,4,6
/proc/11962/task/11981/stat : 11981 (java) S 11960 11962 11532 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833651408 10812653568 954574 33554432000 1073741824 1073778376 140735819531488 18446744073709551615 274676624896 0 4 0 16800975 18446604445026444608 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10559232
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.42 s]
/proc/loadavg: 2.01 2.03 2.00 3/471 12134
/proc/meminfo: memFree=5091652/32951132 swapFree=67093840/67111528
[pid=11962] ppid=11960 vsize=0 CPUtime=1800.16 cores=0,2,4,6
/proc/11962/stat : 11962 (java) Z 11960 11962 11532 0 -1 4203548 965278 0 1 0 179880 136 0 0 17 0 2 0 833651377 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11962/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.47
CPU time (s): 1800.22
CPU user time (s): 1798.8
CPU system time (s): 1.41478
CPU usage (%): 100.209
Max. virtual memory (cumulated for all children) (KiB): 10559232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.41478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 965278
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= 38197
involuntary context switches= 12105
runsolver used 8.41172 second user time and 17.7913 second system time
The end