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-3458436-1307162144/watcher-3458436-1307162144 -o /tmp/evaluation-result-3458436-1307162144/solver-3458436-1307162144 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458436-1307162144.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: 1.85 1.99 1.99 4/531 13559
/proc/meminfo: memFree=19144360/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=35820 CPUtime=0 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 1363 0 1 0 0 0 0 0 25 0 2 0 906445183 36679680 1066 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 8955 1066 828 9 0 386 0
[pid=13559/tid=13560] ppid=13557 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 7806 0 1 0 0 0 0 0 25 0 2 0 906445183 13850947584 8622 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0389571 s]
/proc/loadavg: 1.85 1.99 1.99 4/531 13559
/proc/meminfo: memFree=19144360/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13547424 CPUtime=0.03 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 13558 0 1 0 2 1 0 0 25 0 11 0 906445183 13872562176 13257 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3386856 13258 1628 9 0 3377604 0
[pid=13559/tid=13560] ppid=13557 vsize=13547424 CPUtime=0.02 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 12435 0 1 0 2 0 0 0 25 0 11 0 906445183 13872562176 13258 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 47144731352995 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13547424
[startup+0.100944 s]
/proc/loadavg: 1.85 1.99 1.99 4/531 13559
/proc/meminfo: memFree=19144360/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13621860 CPUtime=0.09 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 15525 0 1 0 8 1 0 0 25 0 18 0 906445183 13948784640 15221 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3405465 15222 2093 9 0 3396199 0
[pid=13559/tid=13560] ppid=13557 vsize=13621860 CPUtime=0.08 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 13654 0 1 0 7 1 0 0 25 0 18 0 906445183 13948784640 15223 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 215988253729 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621860
[startup+0.300925 s]
/proc/loadavg: 1.85 1.99 1.99 4/531 13559
/proc/meminfo: memFree=19144360/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13624772 CPUtime=0.44 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 18744 0 1 0 42 2 0 0 25 0 18 0 906445183 13951766528 18178 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3406193 18179 2206 9 0 3396927 0
[pid=13559/tid=13560] ppid=13557 vsize=13624772 CPUtime=0.28 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 15765 0 1 0 26 2 0 0 25 0 18 0 906445183 13951766528 18179 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 47144735820596 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 13624772
[startup+0.700804 s]
/proc/loadavg: 1.85 1.99 1.99 4/531 13559
/proc/meminfo: memFree=19144360/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13639196 CPUtime=1.55 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 40805 0 1 0 151 4 0 0 25 0 19 0 906445183 13966536704 37441 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3409799 37441 2233 9 0 3400533 0
[pid=13559/tid=13560] ppid=13557 vsize=13639196 CPUtime=0.67 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 30406 0 1 0 64 3 0 0 19 0 19 0 906445183 13966536704 37441 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 47144731341719 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 13639196
[startup+1.50066 s]
/proc/loadavg: 2.02 2.02 2.00 3/551 13579
/proc/meminfo: memFree=18505796/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13639196 CPUtime=2.5 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 41541 0 1 0 246 4 0 0 25 0 19 0 906445183 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3409799 38176 2239 9 0 3400533 0
[pid=13559/tid=13560] ppid=13557 vsize=13639196 CPUtime=1.47 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 31057 0 1 0 144 3 0 0 20 0 19 0 906445183 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 46912505931477 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13559/tid=13562] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13562/stat : 13562 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13563] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13564] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13565] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13566] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13566/stat : 13566 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13567] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13567/stat : 13567 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13568] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13568/stat : 13568 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13569] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13569/stat : 13569 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13570] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13570/stat : 13570 (java) S 13557 13559 8697 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 906445186 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13571] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13571/stat : 13571 (java) S 13557 13559 8697 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906445187 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13572] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13572/stat : 13572 (java) S 13557 13559 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906445187 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13573] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13573/stat : 13573 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13574] ppid=13557 vsize=13639196 CPUtime=0.49 cores=0,2,4,6
/proc/13559/task/13574/stat : 13574 (java) S 13557 13559 8697 0 -1 4202560 3623 0 0 0 49 0 0 0 15 0 19 0 906445189 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13575] ppid=13557 vsize=13639196 CPUtime=0.51 cores=0,2,4,6
/proc/13559/task/13575/stat : 13575 (java) S 13557 13559 8697 0 -1 4202560 5701 0 0 0 51 0 0 0 19 0 19 0 906445189 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13576] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13576/stat : 13576 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13577] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13577/stat : 13577 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906445189 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13579] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13579/stat : 13579 (java) S 13557 13559 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906445245 13966536704 38176 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 13639196
[startup+3.10149 s]
/proc/loadavg: 2.02 2.02 2.00 3/551 13579
/proc/meminfo: memFree=18500960/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13639196 CPUtime=4.14 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 42013 0 1 0 409 5 0 0 25 0 19 0 906445183 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3409799 38646 2242 9 0 3400533 0
[pid=13559/tid=13560] ppid=13557 vsize=13639196 CPUtime=3.07 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 31519 0 1 0 304 3 0 0 18 0 19 0 906445183 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 46912505931423 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13559/tid=13562] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13562/stat : 13562 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13563] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13564] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13565] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13566] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13566/stat : 13566 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13567] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13567/stat : 13567 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13568] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13568/stat : 13568 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13569] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13569/stat : 13569 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445185 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13570] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13570/stat : 13570 (java) S 13557 13559 8697 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 906445186 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13571] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13571/stat : 13571 (java) S 13557 13559 8697 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906445187 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13572] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13572/stat : 13572 (java) S 13557 13559 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906445187 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13573] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13573/stat : 13573 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13574] ppid=13557 vsize=13639196 CPUtime=0.49 cores=0,2,4,6
/proc/13559/task/13574/stat : 13574 (java) S 13557 13559 8697 0 -1 4202560 3623 0 0 0 49 0 0 0 15 0 19 0 906445189 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13575] ppid=13557 vsize=13639196 CPUtime=0.54 cores=0,2,4,6
/proc/13559/task/13575/stat : 13575 (java) S 13557 13559 8697 0 -1 4202560 5711 0 0 0 54 0 0 0 15 0 19 0 906445189 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13576] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13576/stat : 13576 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13577] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13577/stat : 13577 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906445189 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13579] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13579/stat : 13579 (java) S 13557 13559 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906445245 13966536704 38646 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 13639196
[startup+6.30094 s]
/proc/loadavg: 2.18 2.05 2.01 3/551 13579
/proc/meminfo: memFree=18481412/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13639196 CPUtime=7.37 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 46098 0 1 0 732 5 0 0 25 0 19 0 906445183 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3409799 42702 2268 9 0 3400533 0
[pid=13559/tid=13560] ppid=13557 vsize=13639196 CPUtime=6.22 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 31755 0 1 0 619 3 0 0 25 0 19 0 906445183 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 46912505366624 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13559/tid=13562] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13562/stat : 13562 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906445185 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13563] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906445185 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13564] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906445185 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13565] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906445185 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13566] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13566/stat : 13566 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906445185 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13567] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13567/stat : 13567 (java) S 13557 13559 8697 0 -1 4202560 125 0 0 0 0 0 0 0 18 0 19 0 906445185 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13568] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13568/stat : 13568 (java) S 13557 13559 8697 0 -1 4202560 811 0 0 0 0 0 0 0 18 0 19 0 906445185 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13569] ppid=13557 vsize=13639196 CPUtime=0.01 cores=0,2,4,6
/proc/13559/task/13569/stat : 13569 (java) S 13557 13559 8697 0 -1 4202560 829 0 0 0 1 0 0 0 18 0 19 0 906445185 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13570] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13570/stat : 13570 (java) S 13557 13559 8697 0 -1 4202560 2079 0 0 0 3 0 0 0 15 0 19 0 906445186 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13571] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13571/stat : 13571 (java) S 13557 13559 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13572] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13572/stat : 13572 (java) S 13557 13559 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13573] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13573/stat : 13573 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13574] ppid=13557 vsize=13639196 CPUtime=0.5 cores=0,2,4,6
/proc/13559/task/13574/stat : 13574 (java) S 13557 13559 8697 0 -1 4202560 3629 0 0 0 50 0 0 0 15 0 19 0 906445189 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13575] ppid=13557 vsize=13639196 CPUtime=0.55 cores=0,2,4,6
/proc/13559/task/13575/stat : 13575 (java) S 13557 13559 8697 0 -1 4202560 5714 0 0 0 55 0 0 0 15 0 19 0 906445189 13966536704 42702 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=13559/tid=13567] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13567/stat : 13567 (java) S 13557 13559 8697 0 -1 4202560 709 0 0 0 3 0 0 0 15 0 19 0 906445185 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13568] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13568/stat : 13568 (java) S 13557 13559 8697 0 -1 4202560 830 0 0 0 3 0 0 0 16 0 19 0 906445185 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13569] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13569/stat : 13569 (java) S 13557 13559 8697 0 -1 4202560 1275 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13570] ppid=13557 vsize=13639196 CPUtime=2.23 cores=0,2,4,6
/proc/13559/task/13570/stat : 13570 (java) S 13557 13559 8697 0 -1 4202560 8892 0 0 0 221 2 0 0 15 0 19 0 906445186 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13571] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13571/stat : 13571 (java) S 13557 13559 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13572] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13572/stat : 13572 (java) S 13557 13559 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13573] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13573/stat : 13573 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13574] ppid=13557 vsize=13639196 CPUtime=0.57 cores=0,2,4,6
/proc/13559/task/13574/stat : 13574 (java) S 13557 13559 8697 0 -1 4202560 3648 0 0 0 57 0 0 0 15 0 19 0 906445189 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13575] ppid=13557 vsize=13639196 CPUtime=0.59 cores=0,2,4,6
/proc/13559/task/13575/stat : 13575 (java) S 13557 13559 8697 0 -1 4202560 5719 0 0 0 59 0 0 0 15 0 19 0 906445189 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13576] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13576/stat : 13576 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13577] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13577/stat : 13577 (java) S 13557 13559 8697 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 906445189 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13579] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13579/stat : 13579 (java) S 13557 13559 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906445245 13966536704 53629 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1663.65
Current children cumulated vsize (KiB) 13639196
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/551 13637
/proc/meminfo: memFree=18288936/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13639196 CPUtime=1723.67 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 57294 0 1 0 172359 8 0 0 25 0 19 0 906445183 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3409799 53632 2269 9 0 3400533 0
[pid=13559/tid=13560] ppid=13557 vsize=13639196 CPUtime=1719.85 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 31829 0 1 0 171981 4 0 0 25 0 19 0 906445183 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 46912506012160 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13559/tid=13562] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13562/stat : 13562 (java) S 13557 13559 8697 0 -1 4202560 324 0 0 0 3 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13563] ppid=13557 vsize=13639196 CPUtime=0.05 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (java) S 13557 13559 8697 0 -1 4202560 1249 0 0 0 5 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13564] ppid=13557 vsize=13639196 CPUtime=0.02 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (java) S 13557 13559 8697 0 -1 4202560 308 0 0 0 2 0 0 0 16 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13565] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (java) S 13557 13559 8697 0 -1 4202560 729 0 0 0 3 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13566] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13566/stat : 13566 (java) S 13557 13559 8697 0 -1 4202560 525 0 0 0 3 0 0 0 16 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13567] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13567/stat : 13567 (java) S 13557 13559 8697 0 -1 4202560 709 0 0 0 3 0 0 0 16 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13568] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13568/stat : 13568 (java) S 13557 13559 8697 0 -1 4202560 830 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13569] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13569/stat : 13569 (java) S 13557 13559 8697 0 -1 4202560 1275 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13570] ppid=13557 vsize=13639196 CPUtime=2.3 cores=0,2,4,6
/proc/13559/task/13570/stat : 13570 (java) S 13557 13559 8697 0 -1 4202560 8893 0 0 0 228 2 0 0 15 0 19 0 906445186 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13571] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13571/stat : 13571 (java) S 13557 13559 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13572] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13572/stat : 13572 (java) S 13557 13559 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13573] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13573/stat : 13573 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13574] ppid=13557 vsize=13639196 CPUtime=0.59 cores=0,2,4,6
/proc/13559/task/13574/stat : 13574 (java) S 13557 13559 8697 0 -1 4202560 3653 0 0 0 59 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13575] ppid=13557 vsize=13639196 CPUtime=0.59 cores=0,2,4,6
/proc/13559/task/13575/stat : 13575 (java) S 13557 13559 8697 0 -1 4202560 5719 0 0 0 59 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13576] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13576/stat : 13576 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13577] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13577/stat : 13577 (java) S 13557 13559 8697 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13579] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13579/stat : 13579 (java) S 13557 13559 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906445245 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1723.67
Current children cumulated vsize (KiB) 13639196
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/551 13638
/proc/meminfo: memFree=18288416/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13639196 CPUtime=1783.67 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 57299 0 1 0 178359 8 0 0 25 0 19 0 906445183 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3409799 53632 2269 9 0 3400533 0
[pid=13559/tid=13560] ppid=13557 vsize=13639196 CPUtime=1779.81 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 31830 0 1 0 177977 4 0 0 25 0 19 0 906445183 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 46912505930065 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13559/tid=13562] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13562/stat : 13562 (java) S 13557 13559 8697 0 -1 4202560 324 0 0 0 3 0 0 0 16 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13563] ppid=13557 vsize=13639196 CPUtime=0.05 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (java) S 13557 13559 8697 0 -1 4202560 1249 0 0 0 5 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13564] ppid=13557 vsize=13639196 CPUtime=0.02 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (java) S 13557 13559 8697 0 -1 4202560 308 0 0 0 2 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13565] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (java) S 13557 13559 8697 0 -1 4202560 729 0 0 0 3 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13566] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13566/stat : 13566 (java) S 13557 13559 8697 0 -1 4202560 525 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13567] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13567/stat : 13567 (java) S 13557 13559 8697 0 -1 4202560 709 0 0 0 3 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13568] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13568/stat : 13568 (java) S 13557 13559 8697 0 -1 4202560 830 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13569] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13569/stat : 13569 (java) S 13557 13559 8697 0 -1 4202560 1275 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13570] ppid=13557 vsize=13639196 CPUtime=2.33 cores=0,2,4,6
/proc/13559/task/13570/stat : 13570 (java) S 13557 13559 8697 0 -1 4202560 8895 0 0 0 231 2 0 0 15 0 19 0 906445186 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13571] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13571/stat : 13571 (java) S 13557 13559 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13572] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13572/stat : 13572 (java) S 13557 13559 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13573] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13573/stat : 13573 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13574] ppid=13557 vsize=13639196 CPUtime=0.59 cores=0,2,4,6
/proc/13559/task/13574/stat : 13574 (java) S 13557 13559 8697 0 -1 4202560 3653 0 0 0 59 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13575] ppid=13557 vsize=13639196 CPUtime=0.59 cores=0,2,4,6
/proc/13559/task/13575/stat : 13575 (java) S 13557 13559 8697 0 -1 4202560 5719 0 0 0 59 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13576] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13576/stat : 13576 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13577] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13577/stat : 13577 (java) S 13557 13559 8697 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13579] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13579/stat : 13579 (java) S 13557 13559 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906445245 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1783.67
Current children cumulated vsize (KiB) 13639196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.7 s]
/proc/loadavg: 2.04 2.03 2.00 2/531 13642
/proc/meminfo: memFree=19000808/32950940 swapFree=67111364/67111528
[pid=13559] ppid=13557 vsize=13639196 CPUtime=1800.08 cores=0,2,4,6
/proc/13559/stat : 13559 (java) S 13557 13559 8697 0 -1 4202496 57304 0 1 0 180000 8 0 0 25 0 19 0 906445183 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13559/statm: 3409799 53632 2269 9 0 3400533 0
[pid=13559/tid=13560] ppid=13557 vsize=13639196 CPUtime=1796.19 cores=0,2,4,6
/proc/13559/task/13560/stat : 13560 (java) R 13557 13559 8697 0 -1 4202560 31831 0 1 0 179615 4 0 0 25 0 19 0 906445183 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 46912505867251 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13559/tid=13562] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13562/stat : 13562 (java) S 13557 13559 8697 0 -1 4202560 324 0 0 0 3 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13563] ppid=13557 vsize=13639196 CPUtime=0.05 cores=0,2,4,6
/proc/13559/task/13563/stat : 13563 (java) S 13557 13559 8697 0 -1 4202560 1249 0 0 0 5 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13564] ppid=13557 vsize=13639196 CPUtime=0.02 cores=0,2,4,6
/proc/13559/task/13564/stat : 13564 (java) S 13557 13559 8697 0 -1 4202560 308 0 0 0 2 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13565] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13565/stat : 13565 (java) S 13557 13559 8697 0 -1 4202560 729 0 0 0 3 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13566] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13566/stat : 13566 (java) S 13557 13559 8697 0 -1 4202560 525 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13567] ppid=13557 vsize=13639196 CPUtime=0.03 cores=0,2,4,6
/proc/13559/task/13567/stat : 13567 (java) S 13557 13559 8697 0 -1 4202560 709 0 0 0 3 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13568] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13568/stat : 13568 (java) S 13557 13559 8697 0 -1 4202560 830 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13569] ppid=13557 vsize=13639196 CPUtime=0.04 cores=0,2,4,6
/proc/13559/task/13569/stat : 13569 (java) S 13557 13559 8697 0 -1 4202560 1275 0 0 0 4 0 0 0 15 0 19 0 906445185 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13570] ppid=13557 vsize=13639196 CPUtime=2.37 cores=0,2,4,6
/proc/13559/task/13570/stat : 13570 (java) S 13557 13559 8697 0 -1 4202560 8897 0 0 0 235 2 0 0 15 0 19 0 906445186 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13571] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13571/stat : 13571 (java) S 13557 13559 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13572] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13572/stat : 13572 (java) S 13557 13559 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906445187 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=13559/tid=13573] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13573/stat : 13573 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13574] ppid=13557 vsize=13639196 CPUtime=0.59 cores=0,2,4,6
/proc/13559/task/13574/stat : 13574 (java) S 13557 13559 8697 0 -1 4202560 3653 0 0 0 59 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=13559/tid=13575] ppid=13557 vsize=13639196 CPUtime=0.59 cores=0,2,4,6
/proc/13559/task/13575/stat : 13575 (java) S 13557 13559 8697 0 -1 4202560 5719 0 0 0 59 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13576] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13576/stat : 13576 (java) S 13557 13559 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=13559/tid=13577] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13577/stat : 13577 (java) S 13557 13559 8697 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 906445189 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=13559/tid=13579] ppid=13557 vsize=13639196 CPUtime=0 cores=0,2,4,6
/proc/13559/task/13579/stat : 13579 (java) S 13557 13559 8697 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906445245 13966536704 53632 33554432000 1073741824 1073778376 140736684940400 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13639196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.76
CPU time (s): 1800.15
CPU user time (s): 1800.05
CPU system time (s): 0.099984
CPU usage (%): 100.078
Max. virtual memory (cumulated for all children) (KiB): 13639196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57355
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= 38715
involuntary context switches= 6529
runsolver used 9.95749 second user time and 20.7628 second system time
The end