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-3456371-1307220003/watcher-3456371-1307220003 -o /tmp/evaluation-result-3456371-1307220003/solver-3456371-1307220003 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456371-1307220003.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 4/532 21290
/proc/meminfo: memFree=19077968/32950940 swapFree=67111364/67111528
[pid=21290] ppid=21288 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21290/stat : 21290 (java) S 21288 21290 19289 0 -1 4202496 3591 0 1 0 0 0 0 0 25 0 2 0 912231063 10694979584 3294 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/21290/statm: 2611079 3307 917 9 0 2602235 0
[pid=21290/tid=21291] ppid=21288 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21291/stat : 21291 (java) R 21288 21290 19289 0 -1 4202560 7975 0 1 0 0 0 0 0 25 0 2 0 912231064 10694979584 8791 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.045941 s]
/proc/loadavg: 2.00 2.03 2.00 4/532 21290
/proc/meminfo: memFree=19077968/32950940 swapFree=67111364/67111528
[pid=21290] ppid=21288 vsize=10467480 CPUtime=0.04 cores=1,3,5,7
/proc/21290/stat : 21290 (java) S 21288 21290 19289 0 -1 4202496 11343 0 1 0 3 1 0 0 25 0 13 0 912231063 10718699520 11041 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/21290/statm: 2616870 11041 1679 9 0 2607618 0
[pid=21290/tid=21291] ppid=21288 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/21290/task/21291/stat : 21291 (java) R 21288 21290 19289 0 -1 4202560 10201 0 1 0 2 1 0 0 25 0 13 0 912231064 10718699520 11045 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 47076404568240 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480
[startup+0.100932 s]
/proc/loadavg: 2.00 2.03 2.00 4/532 21290
/proc/meminfo: memFree=19077968/32950940 swapFree=67111364/67111528
[pid=21290] ppid=21288 vsize=10540452 CPUtime=0.1 cores=1,3,5,7
/proc/21290/stat : 21290 (java) S 21288 21290 19289 0 -1 4202496 13152 0 1 0 9 1 0 0 25 0 18 0 912231063 10793422848 12788 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21290/statm: 2635113 12789 2093 9 0 2625847 0
[pid=21290/tid=21291] ppid=21288 vsize=10540452 CPUtime=0.09 cores=1,3,5,7
/proc/21290/task/21291/stat : 21291 (java) R 21288 21290 19289 0 -1 4202560 11214 0 1 0 8 1 0 0 25 0 18 0 912231064 10793422848 12789 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000419275 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540452
[startup+0.3009 s]
/proc/loadavg: 2.00 2.03 2.00 4/532 21290
/proc/meminfo: memFree=19077968/32950940 swapFree=67111364/67111528
[pid=21290] ppid=21288 vsize=10542008 CPUtime=0.5 cores=1,3,5,7
/proc/21290/stat : 21290 (java) S 21288 21290 19289 0 -1 4202496 16770 0 1 0 49 1 0 0 25 0 18 0 912231063 10795016192 16119 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21290/statm: 2635502 16121 2202 9 0 2626236 0
[pid=21290/tid=21291] ppid=21288 vsize=10542008 CPUtime=0.28 cores=1,3,5,7
/proc/21290/task/21291/stat : 21291 (java) R 21288 21290 19289 0 -1 4202560 13722 0 1 0 27 1 0 0 25 0 18 0 912231064 10795016192 16121 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 46912505605729 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10542008
[startup+0.70083 s]
/proc/loadavg: 2.00 2.03 2.00 4/532 21290
/proc/meminfo: memFree=19077968/32950940 swapFree=67111364/67111528
[pid=21290] ppid=21288 vsize=10547072 CPUtime=1.54 cores=1,3,5,7
/proc/21290/stat : 21290 (java) S 21288 21290 19289 0 -1 4202496 30370 0 1 0 152 2 0 0 25 0 19 0 912231063 10800201728 25735 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21290/statm: 2636768 25736 2237 9 0 2627502 0
[pid=21290/tid=21291] ppid=21288 vsize=10547072 CPUtime=0.69 cores=1,3,5,7
/proc/21290/task/21291/stat : 21291 (java) R 21288 21290 19289 0 -1 4202560 21297 0 1 0 67 2 0 0 25 0 19 0 912231064 10800201728 25736 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 46912505908627 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 10547072
[startup+1.50069 s]
/proc/loadavg: 2.00 2.03 2.00 5/551 21309
/proc/meminfo: memFree=18699996/32950940 swapFree=67111364/67111528
[pid=21290] ppid=21288 vsize=10547072 CPUtime=2.46 cores=1,3,5,7
/proc/21290/stat : 21290 (java) S 21288 21290 19289 0 -1 4202496 67816 0 1 0 239 7 0 0 25 0 19 0 912231063 10800201728 63077 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21290/statm: 2636768 63080 2237 9 0 2627502 0
[pid=21290/tid=21291] ppid=21288 vsize=10547072 CPUtime=1.49 cores=1,3,5,7
/proc/21290/task/21291/stat : 21291 (java) R 21288 21290 19289 0 -1 4202560 58623 0 1 0 143 6 0 0 25 0 19 0 912231064 10800201728 63082 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 46912505848597 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21290/tid=21293] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21293/stat : 21293 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 63083 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21294] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21294/stat : 21294 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 63085 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21295] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21295/stat : 21295 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 63087 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21296] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21296/stat : 21296 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 63089 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21297] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21297/stat : 21297 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 63090 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21298] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21298/stat : 21298 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 63092 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21299] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21299/stat : 21299 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 63094 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21300] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21300/stat : 21300 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 63095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21301] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21301/stat : 21301 (java) S 21288 21290 19289 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 912231067 10800201728 63097 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 0 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21302] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21302/stat : 21302 (java) S 21288 21290 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912231067 10800201728 63098 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21303] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21303/stat : 21303 (java) S 21288 21290 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912231067 10800201728 63098 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21304] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21304/stat : 21304 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231069 10800201728 63098 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000416177 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21305] ppid=21288 vsize=10547072 CPUtime=0.5 cores=1,3,5,7
/proc/21290/task/21305/stat : 21305 (java) S 21288 21290 19289 0 -1 4202560 5499 0 0 0 50 0 0 0 24 0 19 0 912231069 10800201728 63098 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21306] ppid=21288 vsize=10547072 CPUtime=0.45 cores=1,3,5,7
/proc/21290/task/21306/stat : 21306 (java) S 21288 21290 19289 0 -1 4202560 2539 0 0 0 45 0 0 0 23 0 19 0 912231069 10800201728 63098 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 5 0 0 0
[pid=21290/tid=21307] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21307/stat : 21307 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231069 10800201728 63109 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21308] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21308/stat : 21308 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912231069 10800201728 63112 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21309] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21309/stat : 21309 (java) S 21288 21290 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912231113 10800201728 63114 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 4 0 16800975 18446604462317433920 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 10547072
[startup+3.10147 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 21309
/proc/meminfo: memFree=18161944/32950940 swapFree=67111364/67111528
[pid=21290] ppid=21288 vsize=10547072 CPUtime=4.05 cores=1,3,5,7
/proc/21290/stat : 21290 (java) S 21288 21290 19289 0 -1 4202496 143088 0 1 0 390 15 0 0 25 0 19 0 912231063 10800201728 138349 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21290/statm: 2636768 138351 2237 9 0 2627502 0
[pid=21290/tid=21291] ppid=21288 vsize=10547072 CPUtime=3.09 cores=1,3,5,7
/proc/21290/task/21291/stat : 21291 (java) R 21288 21290 19289 0 -1 4202560 133893 0 1 0 294 15 0 0 25 0 19 0 912231064 10800201728 138352 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 46912505908199 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21290/tid=21293] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21293/stat : 21293 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 138353 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21294] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21294/stat : 21294 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 138354 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21295] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21295/stat : 21295 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 138355 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21296] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21296/stat : 21296 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 138356 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21297] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21297/stat : 21297 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 138357 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21298] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21298/stat : 21298 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 138358 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21299] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21299/stat : 21299 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 138359 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21300] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21300/stat : 21300 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 138360 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21301] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21301/stat : 21301 (java) S 21288 21290 19289 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 912231067 10800201728 138361 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 0 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21302] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21302/stat : 21302 (java) S 21288 21290 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912231067 10800201728 138362 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21303] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21303/stat : 21303 (java) S 21288 21290 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912231067 10800201728 138363 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21304] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21304/stat : 21304 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231069 10800201728 138364 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000416177 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21305] ppid=21288 vsize=10547072 CPUtime=0.5 cores=1,3,5,7
/proc/21290/task/21305/stat : 21305 (java) S 21288 21290 19289 0 -1 4202560 5499 0 0 0 50 0 0 0 24 0 19 0 912231069 10800201728 138365 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21306] ppid=21288 vsize=10547072 CPUtime=0.45 cores=1,3,5,7
/proc/21290/task/21306/stat : 21306 (java) S 21288 21290 19289 0 -1 4202560 2539 0 0 0 45 0 0 0 23 0 19 0 912231069 10800201728 138366 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 5 0 0 0
[pid=21290/tid=21307] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21307/stat : 21307 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231069 10800201728 138367 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21308] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21308/stat : 21308 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912231069 10800201728 138368 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21309] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21309/stat : 21309 (java) S 21288 21290 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912231113 10800201728 138370 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 4 0 16800975 18446604462317433920 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 10547072
[startup+6.30091 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 21309
/proc/meminfo: memFree=16528652/32950940 swapFree=67111364/67111528
[pid=21290] ppid=21288 vsize=10547072 CPUtime=7.3 cores=1,3,5,7
/proc/21290/stat : 21290 (java) S 21288 21290 19289 0 -1 4202496 288950 0 1 0 698 32 0 0 25 0 19 0 912231063 10800201728 284210 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21290/statm: 2636768 284211 2237 9 0 2627502 0
[pid=21290/tid=21291] ppid=21288 vsize=10547072 CPUtime=6.29 cores=1,3,5,7
/proc/21290/task/21291/stat : 21291 (java) R 21288 21290 19289 0 -1 4202560 279748 0 1 0 598 31 0 0 25 0 19 0 912231064 10800201728 284212 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 46912505908609 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21290/tid=21293] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21293/stat : 21293 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 284213 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21294] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21294/stat : 21294 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 284214 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21295] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21295/stat : 21295 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 284215 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21296] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21296/stat : 21296 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 284215 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21297] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21297/stat : 21297 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 284216 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21298] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21298/stat : 21298 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 284217 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21299] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21299/stat : 21299 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 284218 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21300] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21300/stat : 21300 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231066 10800201728 284219 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21301] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21301/stat : 21301 (java) S 21288 21290 19289 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 912231067 10800201728 284220 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 0 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21302] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21302/stat : 21302 (java) S 21288 21290 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912231067 10800201728 284220 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21303] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21303/stat : 21303 (java) S 21288 21290 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912231067 10800201728 284221 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21304] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21304/stat : 21304 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231069 10800201728 284222 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000416177 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21305] ppid=21288 vsize=10547072 CPUtime=0.52 cores=1,3,5,7
/proc/21290/task/21305/stat : 21305 (java) S 21288 21290 19289 0 -1 4202560 5501 0 0 0 52 0 0 0 18 0 19 0 912231069 10800201728 284223 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21306] ppid=21288 vsize=10547072 CPUtime=0.47 cores=1,3,5,7
/proc/21290/task/21306/stat : 21306 (java) S 21288 21290 19289 0 -1 4202560 2543 0 0 0 47 0 0 0 15 0 19 0 912231069 10800201728 284224 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=21290/tid=21307] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21307/stat : 21307 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231069 10800201728 941888 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21308] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21308/stat : 21308 (java) S 21288 21290 19289 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 912231069 10800201728 941888 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21309] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21309/stat : 21309 (java) S 21288 21290 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912231113 10800201728 941888 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 4 0 16800975 18446604462317433920 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1664.54
Current children cumulated vsize (KiB) 10547072
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/551 21364
/proc/meminfo: memFree=11347100/32950940 swapFree=67111364/67111528
[pid=21290] ppid=21288 vsize=10547072 CPUtime=1724.56 cores=1,3,5,7
/proc/21290/stat : 21290 (java) S 21288 21290 19289 0 -1 4202496 951035 0 1 0 172342 114 0 0 25 0 19 0 912231063 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21290/statm: 2636768 943686 2266 9 0 2627502 0
[pid=21290/tid=21291] ppid=21288 vsize=10547072 CPUtime=1714.56 cores=1,3,5,7
/proc/21290/task/21291/stat : 21291 (java) R 21288 21290 19289 0 -1 4202560 857775 0 1 0 171355 101 0 0 25 0 19 0 912231064 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 46912505924309 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21290/tid=21293] ppid=21288 vsize=10547072 CPUtime=0.14 cores=1,3,5,7
/proc/21290/task/21293/stat : 21293 (java) S 21288 21290 19289 0 -1 4202560 3904 0 0 0 14 0 0 0 15 0 19 0 912231066 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21294] ppid=21288 vsize=10547072 CPUtime=0.14 cores=1,3,5,7
/proc/21290/task/21294/stat : 21294 (java) S 21288 21290 19289 0 -1 4202560 4787 0 0 0 14 0 0 0 15 0 19 0 912231066 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21295] ppid=21288 vsize=10547072 CPUtime=0.14 cores=1,3,5,7
/proc/21290/task/21295/stat : 21295 (java) S 21288 21290 19289 0 -1 4202560 4139 0 0 0 14 0 0 0 15 0 19 0 912231066 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21296] ppid=21288 vsize=10547072 CPUtime=0.18 cores=1,3,5,7
/proc/21290/task/21296/stat : 21296 (java) S 21288 21290 19289 0 -1 4202560 6873 0 0 0 17 1 0 0 16 0 19 0 912231066 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21297] ppid=21288 vsize=10547072 CPUtime=0.19 cores=1,3,5,7
/proc/21290/task/21297/stat : 21297 (java) S 21288 21290 19289 0 -1 4202560 6400 0 0 0 19 0 0 0 16 0 19 0 912231066 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21298] ppid=21288 vsize=10547072 CPUtime=0.22 cores=1,3,5,7
/proc/21290/task/21298/stat : 21298 (java) S 21288 21290 19289 0 -1 4202560 7985 0 0 0 21 1 0 0 15 0 19 0 912231066 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21299] ppid=21288 vsize=10547072 CPUtime=0.2 cores=1,3,5,7
/proc/21290/task/21299/stat : 21299 (java) S 21288 21290 19289 0 -1 4202560 9290 0 0 0 19 1 0 0 16 0 19 0 912231066 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21300] ppid=21288 vsize=10547072 CPUtime=0.25 cores=1,3,5,7
/proc/21290/task/21300/stat : 21300 (java) S 21288 21290 19289 0 -1 4202560 10589 0 0 0 24 1 0 0 15 0 19 0 912231066 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21301] ppid=21288 vsize=10547072 CPUtime=7.11 cores=1,3,5,7
/proc/21290/task/21301/stat : 21301 (java) S 21288 21290 19289 0 -1 4202560 28998 0 0 0 708 3 0 0 15 0 19 0 912231067 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 0 0 16800975 18446604462317433920 0 0 -1 5 0 0 0
[pid=21290/tid=21302] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21302/stat : 21302 (java) S 21288 21290 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912231067 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21303] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21303/stat : 21303 (java) S 21288 21290 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912231067 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21304] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21304/stat : 21304 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231069 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000416177 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21305] ppid=21288 vsize=10547072 CPUtime=0.78 cores=1,3,5,7
/proc/21290/task/21305/stat : 21305 (java) S 21288 21290 19289 0 -1 4202560 6495 0 0 0 78 0 0 0 15 0 19 0 912231069 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21306] ppid=21288 vsize=10547072 CPUtime=0.51 cores=1,3,5,7
/proc/21290/task/21306/stat : 21306 (java) S 21288 21290 19289 0 -1 4202560 2551 0 0 0 51 0 0 0 16 0 19 0 912231069 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 5 0 0 0
[pid=21290/tid=21307] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21307/stat : 21307 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231069 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21308] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21308/stat : 21308 (java) S 21288 21290 19289 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 912231069 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21309] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21309/stat : 21309 (java) S 21288 21290 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912231113 10800201728 943686 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 4 0 16800975 18446604462317433920 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1724.56
Current children cumulated vsize (KiB) 10547072
[startup+1782.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/551 21365
/proc/meminfo: memFree=11335904/32950940 swapFree=67111364/67111528
[pid=21290] ppid=21288 vsize=10547072 CPUtime=1784.61 cores=1,3,5,7
/proc/21290/stat : 21290 (java) S 21288 21290 19289 0 -1 4202496 953508 0 1 0 178346 115 0 0 25 0 19 0 912231063 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21290/statm: 2636768 946095 2266 9 0 2627502 0
[pid=21290/tid=21291] ppid=21288 vsize=10547072 CPUtime=1774.27 cores=1,3,5,7
/proc/21290/task/21291/stat : 21291 (java) R 21288 21290 19289 0 -1 4202560 857778 0 1 0 177326 101 0 0 25 0 19 0 912231064 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 46912505824062 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21290/tid=21293] ppid=21288 vsize=10547072 CPUtime=0.14 cores=1,3,5,7
/proc/21290/task/21293/stat : 21293 (java) S 21288 21290 19289 0 -1 4202560 3904 0 0 0 14 0 0 0 15 0 19 0 912231066 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21294] ppid=21288 vsize=10547072 CPUtime=0.15 cores=1,3,5,7
/proc/21290/task/21294/stat : 21294 (java) S 21288 21290 19289 0 -1 4202560 4796 0 0 0 15 0 0 0 15 0 19 0 912231066 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21295] ppid=21288 vsize=10547072 CPUtime=0.15 cores=1,3,5,7
/proc/21290/task/21295/stat : 21295 (java) S 21288 21290 19289 0 -1 4202560 5064 0 0 0 15 0 0 0 15 0 19 0 912231066 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21296] ppid=21288 vsize=10547072 CPUtime=0.19 cores=1,3,5,7
/proc/21290/task/21296/stat : 21296 (java) S 21288 21290 19289 0 -1 4202560 7272 0 0 0 18 1 0 0 15 0 19 0 912231066 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21297] ppid=21288 vsize=10547072 CPUtime=0.19 cores=1,3,5,7
/proc/21290/task/21297/stat : 21297 (java) S 21288 21290 19289 0 -1 4202560 6405 0 0 0 19 0 0 0 15 0 19 0 912231066 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21298] ppid=21288 vsize=10547072 CPUtime=0.22 cores=1,3,5,7
/proc/21290/task/21298/stat : 21298 (java) S 21288 21290 19289 0 -1 4202560 7986 0 0 0 21 1 0 0 16 0 19 0 912231066 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21299] ppid=21288 vsize=10547072 CPUtime=0.21 cores=1,3,5,7
/proc/21290/task/21299/stat : 21299 (java) S 21288 21290 19289 0 -1 4202560 9290 0 0 0 20 1 0 0 16 0 19 0 912231066 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21300] ppid=21288 vsize=10547072 CPUtime=0.27 cores=1,3,5,7
/proc/21290/task/21300/stat : 21300 (java) S 21288 21290 19289 0 -1 4202560 11183 0 0 0 26 1 0 0 15 0 19 0 912231066 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21301] ppid=21288 vsize=10547072 CPUtime=7.37 cores=1,3,5,7
/proc/21290/task/21301/stat : 21301 (java) S 21288 21290 19289 0 -1 4202560 29533 0 0 0 734 3 0 0 15 0 19 0 912231067 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 0 0 16800975 18446604462317433920 0 0 -1 5 0 0 0
[pid=21290/tid=21302] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21302/stat : 21302 (java) S 21288 21290 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912231067 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21303] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21303/stat : 21303 (java) S 21288 21290 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912231067 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21304] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21304/stat : 21304 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231069 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000416177 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21305] ppid=21288 vsize=10547072 CPUtime=0.78 cores=1,3,5,7
/proc/21290/task/21305/stat : 21305 (java) S 21288 21290 19289 0 -1 4202560 6495 0 0 0 78 0 0 0 15 0 19 0 912231069 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21306] ppid=21288 vsize=10547072 CPUtime=0.51 cores=1,3,5,7
/proc/21290/task/21306/stat : 21306 (java) S 21288 21290 19289 0 -1 4202560 2551 0 0 0 51 0 0 0 16 0 19 0 912231069 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 5 0 0 0
[pid=21290/tid=21307] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21307/stat : 21307 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231069 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21308] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21308/stat : 21308 (java) S 21288 21290 19289 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 912231069 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21309] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21309/stat : 21309 (java) S 21288 21290 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912231113 10800201728 946095 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 4 0 16800975 18446604462317433920 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1784.61
Current children cumulated vsize (KiB) 10547072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.7 s]
/proc/loadavg: 2.03 2.04 2.00 4/551 21414
/proc/meminfo: memFree=15227644/32950940 swapFree=67111364/67111528
[pid=21290] ppid=21288 vsize=10547072 CPUtime=1800.03 cores=1,3,5,7
/proc/21290/stat : 21290 (java) S 21288 21290 19289 0 -1 4202496 955267 0 1 0 179888 115 0 0 25 0 19 0 912231063 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21290/statm: 2636768 947814 2266 9 0 2627502 0
[pid=21290/tid=21291] ppid=21288 vsize=10547072 CPUtime=1789.42 cores=1,3,5,7
/proc/21290/task/21291/stat : 21291 (java) R 21288 21290 19289 0 -1 4202560 857779 0 1 0 178841 101 0 0 25 0 19 0 912231064 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 46912505955482 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21290/tid=21293] ppid=21288 vsize=10547072 CPUtime=0.14 cores=1,3,5,7
/proc/21290/task/21293/stat : 21293 (java) S 21288 21290 19289 0 -1 4202560 3904 0 0 0 14 0 0 0 15 0 19 0 912231066 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21294] ppid=21288 vsize=10547072 CPUtime=0.16 cores=1,3,5,7
/proc/21290/task/21294/stat : 21294 (java) S 21288 21290 19289 0 -1 4202560 4796 0 0 0 16 0 0 0 15 0 19 0 912231066 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21295] ppid=21288 vsize=10547072 CPUtime=0.16 cores=1,3,5,7
/proc/21290/task/21295/stat : 21295 (java) S 21288 21290 19289 0 -1 4202560 5548 0 0 0 16 0 0 0 16 0 19 0 912231066 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21296] ppid=21288 vsize=10547072 CPUtime=0.19 cores=1,3,5,7
/proc/21290/task/21296/stat : 21296 (java) S 21288 21290 19289 0 -1 4202560 7272 0 0 0 18 1 0 0 16 0 19 0 912231066 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21297] ppid=21288 vsize=10547072 CPUtime=0.2 cores=1,3,5,7
/proc/21290/task/21297/stat : 21297 (java) S 21288 21290 19289 0 -1 4202560 6803 0 0 0 20 0 0 0 16 0 19 0 912231066 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 7 0 0 0
[pid=21290/tid=21298] ppid=21288 vsize=10547072 CPUtime=0.23 cores=1,3,5,7
/proc/21290/task/21298/stat : 21298 (java) S 21288 21290 19289 0 -1 4202560 8330 0 0 0 22 1 0 0 16 0 19 0 912231066 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21299] ppid=21288 vsize=10547072 CPUtime=0.21 cores=1,3,5,7
/proc/21290/task/21299/stat : 21299 (java) S 21288 21290 19289 0 -1 4202560 9290 0 0 0 20 1 0 0 16 0 19 0 912231066 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21300] ppid=21288 vsize=10547072 CPUtime=0.27 cores=1,3,5,7
/proc/21290/task/21300/stat : 21300 (java) S 21288 21290 19289 0 -1 4202560 11183 0 0 0 26 1 0 0 15 0 19 0 912231066 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21301] ppid=21288 vsize=10547072 CPUtime=7.64 cores=1,3,5,7
/proc/21290/task/21301/stat : 21301 (java) S 21288 21290 19289 0 -1 4202560 30063 0 0 0 761 3 0 0 15 0 19 0 912231067 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 0 0 16800975 18446604462317433920 0 0 -1 5 0 0 0
[pid=21290/tid=21302] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21302/stat : 21302 (java) S 21288 21290 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912231067 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21303] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21303/stat : 21303 (java) S 21288 21290 19289 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912231067 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21304] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21304/stat : 21304 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231069 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000416177 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21305] ppid=21288 vsize=10547072 CPUtime=0.78 cores=1,3,5,7
/proc/21290/task/21305/stat : 21305 (java) S 21288 21290 19289 0 -1 4202560 6495 0 0 0 78 0 0 0 15 0 19 0 912231069 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21306] ppid=21288 vsize=10547072 CPUtime=0.51 cores=1,3,5,7
/proc/21290/task/21306/stat : 21306 (java) S 21288 21290 19289 0 -1 4202560 2551 0 0 0 51 0 0 0 16 0 19 0 912231069 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 5 0 0 0
[pid=21290/tid=21307] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21307/stat : 21307 (java) S 21288 21290 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912231069 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000408473 0 4 0 16800975 18446604462317433920 0 0 -1 1 0 0 0
[pid=21290/tid=21308] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21308/stat : 21308 (java) S 21288 21290 19289 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 912231069 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 4 0 16800975 18446604462317433920 0 0 -1 3 0 0 0
[pid=21290/tid=21309] ppid=21288 vsize=10547072 CPUtime=0 cores=1,3,5,7
/proc/21290/task/21309/stat : 21309 (java) S 21288 21290 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912231113 10800201728 947814 33554432000 1073741824 1073778376 140735828383840 18446744073709551615 216000409088 0 4 0 16800975 18446604462317433920 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10547072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.83 s]
/proc/loadavg: 2.03 2.04 2.00 4/551 21414
/proc/meminfo: memFree=15227644/32950940 swapFree=67111364/67111528
[pid=21290] ppid=21288 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/21290/stat : 21290 (java) Z 21288 21290 19289 0 -1 4203548 955296 0 1 0 179903 119 0 0 17 0 2 0 912231063 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21290/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
[startup+1797.9 s]
/proc/loadavg: 2.03 2.04 2.00 4/551 21414
/proc/meminfo: memFree=15227644/32950940 swapFree=67111364/67111528
[pid=21290] ppid=21288 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/21290/stat : 21290 (java) Z 21288 21290 19289 0 -1 4203548 955296 0 1 0 179903 127 0 0 17 0 2 0 912231063 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21290/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.93
CPU time (s): 1800.33
CPU user time (s): 1799.03
CPU system time (s): 1.2998
CPU usage (%): 100.134
Max. virtual memory (cumulated for all children) (KiB): 10547072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.2998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 955296
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= 39243
involuntary context switches= 9849
runsolver used 9.12861 second user time and 21.9367 second system time
The end