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-3458681-1307155236/watcher-3458681-1307155236 -o /tmp/evaluation-result-3458681-1307155236/solver-3458681-1307155236 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458681-1307155236.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.09 2.06 2.01 2/590 31350
/proc/meminfo: memFree=31685272/32950928 swapFree=43925852/67111528
[pid=31350] ppid=31348 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/31350/stat : 31350 (java) S 31348 31350 24211 0 -1 4202496 10129 0 1 0 0 1 0 0 22 0 2 0 827122502 13850947584 9832 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31350/statm: 3381579 9845 917 9 0 3372735 0
[pid=31350/tid=31351] ppid=31348 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/31350/task/31351/stat : 31351 (java) R 31348 31350 24211 0 -1 4202560 9317 0 1 0 0 1 0 0 25 0 2 0 827122502 13850947584 10132 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.030192 s]
/proc/loadavg: 2.09 2.06 2.01 2/590 31350
/proc/meminfo: memFree=31685272/32950928 swapFree=43925852/67111528
[pid=31350] ppid=31348 vsize=13537012 CPUtime=0.02 cores=1,3,5,7
/proc/31350/stat : 31350 (java) S 31348 31350 24211 0 -1 4202496 13187 0 1 0 1 1 0 0 22 0 10 0 827122502 13861900288 12887 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31350/statm: 3384253 12888 1513 9 0 3375001 0
[pid=31350/tid=31351] ppid=31348 vsize=13537012 CPUtime=0.02 cores=1,3,5,7
/proc/31350/task/31351/stat : 31351 (java) R 31348 31350 24211 0 -1 4202560 12069 0 1 0 1 1 0 0 25 0 10 0 827122502 13861900288 12889 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 47800993793560 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13537012
[startup+0.100182 s]
/proc/loadavg: 2.09 2.06 2.01 2/590 31350
/proc/meminfo: memFree=31685272/32950928 swapFree=43925852/67111528
[pid=31350] ppid=31348 vsize=13621700 CPUtime=0.1 cores=1,3,5,7
/proc/31350/stat : 31350 (java) S 31348 31350 24211 0 -1 4202496 15547 0 1 0 9 1 0 0 22 0 18 0 827122502 13948620800 15245 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31350/statm: 3405425 15245 2092 9 0 3396159 0
[pid=31350/tid=31351] ppid=31348 vsize=13621700 CPUtime=0.08 cores=1,3,5,7
/proc/31350/task/31351/stat : 31351 (java) R 31348 31350 24211 0 -1 4202560 13636 0 1 0 7 1 0 0 25 0 18 0 827122502 13948620800 15245 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 46912505179440 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621700
[startup+0.300148 s]
/proc/loadavg: 2.09 2.06 2.01 2/590 31350
/proc/meminfo: memFree=31685272/32950928 swapFree=43925852/67111528
[pid=31350] ppid=31348 vsize=13624344 CPUtime=0.52 cores=1,3,5,7
/proc/31350/stat : 31350 (java) S 31348 31350 24211 0 -1 4202496 19525 0 1 0 50 2 0 0 22 0 18 0 827122502 13951328256 18752 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31350/statm: 3406086 18752 2202 9 0 3396820 0
[pid=31350/tid=31351] ppid=31348 vsize=13624344 CPUtime=0.28 cores=1,3,5,7
/proc/31350/task/31351/stat : 31351 (java) R 31348 31350 24211 0 -1 4202560 16354 0 1 0 27 1 0 0 25 0 18 0 827122502 13951328256 18752 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 46912505164220 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13624344
[startup+0.701078 s]
/proc/loadavg: 2.09 2.06 2.01 2/590 31350
/proc/meminfo: memFree=31685272/32950928 swapFree=43925852/67111528
[pid=31350] ppid=31348 vsize=13626672 CPUtime=1.18 cores=1,3,5,7
/proc/31350/stat : 31350 (java) S 31348 31350 24211 0 -1 4202496 57344 0 1 0 111 7 0 0 22 0 18 0 827122502 13953712128 55192 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31350/statm: 3406668 55192 2214 9 0 3397402 0
[pid=31350/tid=31351] ppid=31348 vsize=13626672 CPUtime=0.68 cores=1,3,5,7
/proc/31350/task/31351/stat : 31351 (java) R 31348 31350 24211 0 -1 4202560 51292 0 1 0 62 6 0 0 25 0 18 0 827122502 13953712128 55192 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 46912505503848 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 13626672
[startup+1.50093 s]
/proc/loadavg: 2.09 2.06 2.01 3/608 31368
/proc/meminfo: memFree=31341036/32950928 swapFree=43925852/67111528
[pid=31350] ppid=31348 vsize=13626672 CPUtime=1.97 cores=1,3,5,7
/proc/31350/stat : 31350 (java) S 31348 31350 24211 0 -1 4202496 141504 0 1 0 181 16 0 0 22 0 18 0 827122502 13953712128 139352 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31350/statm: 3406668 139357 2214 9 0 3397402 0
[pid=31350/tid=31351] ppid=31348 vsize=13626672 CPUtime=1.48 cores=1,3,5,7
/proc/31350/task/31351/stat : 31351 (java) R 31348 31350 24211 0 -1 4202560 135459 0 1 0 132 16 0 0 25 0 18 0 827122502 13953712128 139359 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 46912505598163 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31350/tid=31353] ppid=31348 vsize=13626672 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31353/stat : 31353 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122504 13953712128 139362 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31354] ppid=31348 vsize=13626672 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31354/stat : 31354 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122504 13953712128 139364 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31355] ppid=31348 vsize=13626672 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31355/stat : 31355 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122504 13953712128 139367 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31356] ppid=31348 vsize=13626672 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31356/stat : 31356 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122504 13953712128 139369 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31357] ppid=31348 vsize=13626672 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31357/stat : 31357 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122504 13953712128 139372 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31358] ppid=31348 vsize=13626672 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31358/stat : 31358 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122504 13953712128 139376 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31359] ppid=31348 vsize=13626672 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31359/stat : 31359 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122504 13953712128 139378 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31360] ppid=31348 vsize=13626672 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31360/stat : 31360 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122504 13953712128 139381 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31361] ppid=31348 vsize=13626672 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31361/stat : 31361 (java) S 31348 31350 24211 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 827122505 13953712128 139384 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 0 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31362] ppid=31348 vsize=13626672 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31362/stat : 31362 (java) S 31348 31350 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 827122506 13953712128 139386 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31363] ppid=31348 vsize=13626672 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31363/stat : 31363 (java) S 31348 31350 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 827122506 13953712128 139389 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31364] ppid=31348 vsize=13626672 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31364/stat : 31364 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122508 13953712128 139391 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284512689 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31365] ppid=31348 vsize=13626672 CPUtime=0.24 cores=1,3,5,7
/proc/31350/task/31365/stat : 31365 (java) S 31348 31350 24211 0 -1 4202560 2350 0 0 0 24 0 0 0 25 0 18 0 827122508 13953712128 139394 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31366] ppid=31348 vsize=13626672 CPUtime=0.24 cores=1,3,5,7
/proc/31350/task/31366/stat : 31366 (java) S 31348 31350 24211 0 -1 4202560 2554 0 0 0 24 0 0 0 25 0 18 0 827122508 13953712128 139397 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 1 0 0 0
[pid=31350/tid=31367] ppid=31348 vsize=13626672 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31367/stat : 31367 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122508 13953712128 139399 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31368] ppid=31348 vsize=13626672 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31368/stat : 31368 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 827122508 13953712128 139402 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 13626672
[startup+3.10065 s]
/proc/loadavg: 2.09 2.06 2.01 3/608 31368
/proc/meminfo: memFree=30954652/32950928 swapFree=43925852/67111528
[pid=31350] ppid=31348 vsize=13627960 CPUtime=3.66 cores=1,3,5,7
/proc/31350/stat : 31350 (java) S 31348 31350 24211 0 -1 4202496 216178 0 1 0 341 25 0 0 22 0 18 0 827122502 13955031040 213726 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31350/statm: 3406990 213726 2225 9 0 3397724 0
[pid=31350/tid=31351] ppid=31348 vsize=13627960 CPUtime=3.08 cores=1,3,5,7
/proc/31350/task/31351/stat : 31351 (java) R 31348 31350 24211 0 -1 4202560 209529 0 1 0 284 24 0 0 25 0 18 0 827122502 13955031040 213726 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 46912505215748 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31350/tid=31353] ppid=31348 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31353/stat : 31353 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122504 13955031040 213726 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31354] ppid=31348 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31354/stat : 31354 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122504 13955031040 213726 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31355] ppid=31348 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31355/stat : 31355 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122504 13955031040 213728 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31356] ppid=31348 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31356/stat : 31356 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122504 13955031040 213742 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31357] ppid=31348 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31357/stat : 31357 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122504 13955031040 213742 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31358] ppid=31348 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31358/stat : 31358 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122504 13955031040 213742 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31359] ppid=31348 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31359/stat : 31359 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122504 13955031040 213742 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31360] ppid=31348 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31360/stat : 31360 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122504 13955031040 213742 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31361] ppid=31348 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31361/stat : 31361 (java) S 31348 31350 24211 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 827122505 13955031040 213742 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 0 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31362] ppid=31348 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31362/stat : 31362 (java) S 31348 31350 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 827122506 13955031040 213742 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31363] ppid=31348 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31363/stat : 31363 (java) S 31348 31350 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 827122506 13955031040 213742 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31364] ppid=31348 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31364/stat : 31364 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122508 13955031040 213742 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284512689 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31365] ppid=31348 vsize=13627960 CPUtime=0.31 cores=1,3,5,7
/proc/31350/task/31365/stat : 31365 (java) R 31348 31350 24211 0 -1 4202560 2960 0 0 0 31 0 0 0 17 0 18 0 827122508 13955031040 213742 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268272382927 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31350/tid=31366] ppid=31348 vsize=13627960 CPUtime=0.25 cores=1,3,5,7
/proc/31350/task/31366/stat : 31366 (java) S 31348 31350 24211 0 -1 4202560 2557 0 0 0 25 0 0 0 15 0 18 0 827122508 13955031040 213742 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 1 0 0 0
[pid=31350/tid=31367] ppid=31348 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31367/stat : 31367 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827122508 13955031040 213742 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31368] ppid=31348 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31368/stat : 31368 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 827122508 13955031040 213742 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 13627960
[startup+6.30107 s]
/proc/loadavg: 2.08 2.06 2.01 4/609 31370
/proc/meminfo: memFree=30756936/32950928 swapFree=43925852/67111528
[pid=31350] ppid=31348 vsize=13635540 CPUtime=7.39 cores=1,3,5,7
/proc/31350/stat : 31350 (java) S 31348 31350 24211 0 -1 4202496 233360 0 1 0 712 27 0 0 22 0 19 0 827122502 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31350/statm: 3408885 228368 2236 9 0 3399619 0
[pid=31350/tid=31351] ppid=31348 vsize=13635540 CPUtime=6.25 cores=1,3,5,7
/proc/31350/task/31351/stat : 31351 (java) R 31348 31350 24211 0 -1 4202560 222589 0 1 0 600 25 0 0 25 0 19 0 827122502 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 46912505773555 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31350/tid=31353] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31353/stat : 31353 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31354] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31354/stat : 31354 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31355] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31355/stat : 31355 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31356] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31356/stat : 31356 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31357] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31357/stat : 31357 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31358] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31358/stat : 31358 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31359] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31359/stat : 31359 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31360] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31360/stat : 31360 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31361] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31361/stat : 31361 (java) S 31348 31350 24211 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827122505 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 0 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31362] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31362/stat : 31362 (java) S 31348 31350 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827122506 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31363] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31363/stat : 31363 (java) S 31348 31350 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827122506 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31364] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31364/stat : 31364 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122508 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284512689 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31365] ppid=31348 vsize=13635540 CPUtime=0.66 cores=1,3,5,7
/proc/31350/task/31365/stat : 31365 (java) S 31348 31350 24211 0 -1 4202560 6990 0 0 0 66 0 0 0 15 0 19 0 827122508 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31366] ppid=31348 vsize=13635540 CPUtime=0.44 cores=1,3,5,7
/proc/31350/task/31366/stat : 31366 (java) S 31348 31350 24211 0 -1 4202560 2621 0 0 0 44 0 0 0 15 0 19 0 827122508 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 1 0 0 0
[pid=31350/tid=31367] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31367/stat : 31367 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122508 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31368] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31368/stat : 31368 (java) S 31348 31350 24211 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827122508 13962792960 228368 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=31350/tid=31358] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31358/stat : 31358 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 490216 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31359] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31359/stat : 31359 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 490216 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31360] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31360/stat : 31360 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 490216 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31361] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31361/stat : 31361 (java) S 31348 31350 24211 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 827122505 13962792960 490216 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 0 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31362] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31362/stat : 31362 (java) S 31348 31350 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827122506 13962792960 490216 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31363] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31363/stat : 31363 (java) S 31348 31350 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827122506 13962792960 490216 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31364] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31364/stat : 31364 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122508 13962792960 490216 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284512689 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31365] ppid=31348 vsize=13635540 CPUtime=0.75 cores=1,3,5,7
/proc/31350/task/31365/stat : 31365 (java) S 31348 31350 24211 0 -1 4202560 7001 0 0 0 75 0 0 0 15 0 19 0 827122508 13962792960 490216 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31366] ppid=31348 vsize=13635540 CPUtime=0.6 cores=1,3,5,7
/proc/31350/task/31366/stat : 31366 (java) S 31348 31350 24211 0 -1 4202560 3577 0 0 0 60 0 0 0 15 0 19 0 827122508 13962792960 490216 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 1 0 0 0
[pid=31350/tid=31367] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31367/stat : 31367 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122508 13962792960 490216 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31368] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31368/stat : 31368 (java) S 31348 31350 24211 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827122508 13962792960 490216 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 4 0 16800975 18446604468994026176 0 0 -1 5 0 0 0
[pid=31350/tid=31370] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31370/stat : 31370 (java) S 31348 31350 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827122861 13962792960 490216 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1723.67
Current children cumulated vsize (KiB) 13635540
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/609 31429
/proc/meminfo: memFree=28304460/32950928 swapFree=43925852/67111528
[pid=31350] ppid=31348 vsize=13635540 CPUtime=1783.67 cores=1,3,5,7
/proc/31350/stat : 31350 (java) S 31348 31350 24211 0 -1 4202496 506620 0 1 0 178303 64 0 0 22 0 19 0 827122502 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31350/statm: 3408885 500677 2238 9 0 3399619 0
[pid=31350/tid=31351] ppid=31348 vsize=13635540 CPUtime=1782.28 cores=1,3,5,7
/proc/31350/task/31351/stat : 31351 (java) R 31348 31350 24211 0 -1 4202560 494776 0 1 0 178166 62 0 0 25 0 19 0 827122502 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 46912505773603 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31350/tid=31353] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31353/stat : 31353 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31354] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31354/stat : 31354 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31355] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31355/stat : 31355 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31356] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31356/stat : 31356 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31357] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31357/stat : 31357 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31358] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31358/stat : 31358 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31359] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31359/stat : 31359 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31360] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31360/stat : 31360 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31361] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31361/stat : 31361 (java) S 31348 31350 24211 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 827122505 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 0 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31362] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31362/stat : 31362 (java) S 31348 31350 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827122506 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31363] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31363/stat : 31363 (java) S 31348 31350 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827122506 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31364] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31364/stat : 31364 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122508 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284512689 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31365] ppid=31348 vsize=13635540 CPUtime=0.75 cores=1,3,5,7
/proc/31350/task/31365/stat : 31365 (java) S 31348 31350 24211 0 -1 4202560 7001 0 0 0 75 0 0 0 15 0 19 0 827122508 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31366] ppid=31348 vsize=13635540 CPUtime=0.6 cores=1,3,5,7
/proc/31350/task/31366/stat : 31366 (java) S 31348 31350 24211 0 -1 4202560 3577 0 0 0 60 0 0 0 15 0 19 0 827122508 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 1 0 0 0
[pid=31350/tid=31367] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31367/stat : 31367 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122508 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31368] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31368/stat : 31368 (java) S 31348 31350 24211 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827122508 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 4 0 16800975 18446604468994026176 0 0 -1 5 0 0 0
[pid=31350/tid=31370] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31370/stat : 31370 (java) S 31348 31350 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827122861 13962792960 500677 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1783.67
Current children cumulated vsize (KiB) 13635540
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.7 s]
/proc/loadavg: 1.94 2.02 2.00 2/585 31449
/proc/meminfo: memFree=29821928/32950928 swapFree=43925852/67111528
[pid=31350] ppid=31348 vsize=13635540 CPUtime=1800.09 cores=1,3,5,7
/proc/31350/stat : 31350 (java) S 31348 31350 24211 0 -1 4202496 509683 0 1 0 179945 64 0 0 22 0 19 0 827122502 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31350/statm: 3408885 503738 2238 9 0 3399619 0
[pid=31350/tid=31351] ppid=31348 vsize=13635540 CPUtime=1798.71 cores=1,3,5,7
/proc/31350/task/31351/stat : 31351 (java) R 31348 31350 24211 0 -1 4202560 497837 0 1 0 179808 63 0 0 25 0 19 0 827122502 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 46912505966656 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31350/tid=31353] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31353/stat : 31353 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31354] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31354/stat : 31354 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31355] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31355/stat : 31355 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31356] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31356/stat : 31356 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31357] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31357/stat : 31357 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31358] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31358/stat : 31358 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31359] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31359/stat : 31359 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31360] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31360/stat : 31360 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31361] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31361/stat : 31361 (java) S 31348 31350 24211 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 827122505 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 0 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31362] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31362/stat : 31362 (java) S 31348 31350 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827122506 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31363] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31363/stat : 31363 (java) S 31348 31350 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827122506 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31364] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31364/stat : 31364 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122508 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284512689 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31365] ppid=31348 vsize=13635540 CPUtime=0.75 cores=1,3,5,7
/proc/31350/task/31365/stat : 31365 (java) S 31348 31350 24211 0 -1 4202560 7001 0 0 0 75 0 0 0 15 0 19 0 827122508 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31366] ppid=31348 vsize=13635540 CPUtime=0.6 cores=1,3,5,7
/proc/31350/task/31366/stat : 31366 (java) S 31348 31350 24211 0 -1 4202560 3577 0 0 0 60 0 0 0 15 0 19 0 827122508 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 1 0 0 0
[pid=31350/tid=31367] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31367/stat : 31367 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122508 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31368] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31368/stat : 31368 (java) S 31348 31350 24211 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 827122508 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 4 0 16800975 18446604468994026176 0 0 -1 5 0 0 0
[pid=31350/tid=31370] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31370/stat : 31370 (java) S 31348 31350 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827122861 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13635540
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.7 s]
/proc/loadavg: 1.94 2.02 2.00 2/585 31449
/proc/meminfo: memFree=29821928/32950928 swapFree=43925852/67111528
[pid=31350] ppid=31348 vsize=13635540 CPUtime=1800.09 cores=1,3,5,7
/proc/31350/stat : 31350 (java) S 31348 31350 24211 0 -1 4202496 509683 0 1 0 179945 64 0 0 22 0 19 0 827122502 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31350/statm: 3408885 503738 2238 9 0 3399619 0
[pid=31350/tid=31351] ppid=31348 vsize=13635540 CPUtime=1798.71 cores=1,3,5,7
/proc/31350/task/31351/stat : 31351 (java) R 31348 31350 24211 0 -1 4202560 497837 0 1 0 179808 63 0 0 25 0 19 0 827122502 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 46912505966656 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31350/tid=31353] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31353/stat : 31353 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31354] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31354/stat : 31354 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31355] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31355/stat : 31355 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31356] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31356/stat : 31356 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31357] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31357/stat : 31357 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31358] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31358/stat : 31358 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31359] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31359/stat : 31359 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31360] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31360/stat : 31360 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122504 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31361] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31361/stat : 31361 (java) S 31348 31350 24211 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 827122505 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 0 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31362] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31362/stat : 31362 (java) S 31348 31350 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827122506 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31363] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31363/stat : 31363 (java) S 31348 31350 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827122506 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31364] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31364/stat : 31364 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122508 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284512689 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31365] ppid=31348 vsize=13635540 CPUtime=0.75 cores=1,3,5,7
/proc/31350/task/31365/stat : 31365 (java) S 31348 31350 24211 0 -1 4202560 7001 0 0 0 75 0 0 0 15 0 19 0 827122508 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
[pid=31350/tid=31366] ppid=31348 vsize=13635540 CPUtime=0.6 cores=1,3,5,7
/proc/31350/task/31366/stat : 31366 (java) S 31348 31350 24211 0 -1 4202560 3577 0 0 0 60 0 0 0 15 0 19 0 827122508 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 1 0 0 0
[pid=31350/tid=31367] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31367/stat : 31367 (java) S 31348 31350 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827122508 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284504985 0 4 0 16800975 18446604468994026176 0 0 -1 7 0 0 0
[pid=31350/tid=31368] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31368/stat : 31368 (java) S 31348 31350 24211 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 827122508 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 4 0 16800975 18446604468994026176 0 0 -1 5 0 0 0
[pid=31350/tid=31370] ppid=31348 vsize=13635540 CPUtime=0 cores=1,3,5,7
/proc/31350/task/31370/stat : 31370 (java) S 31348 31350 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827122861 13962792960 503738 33554432000 1073741824 1073778376 140734972174864 18446744073709551615 268284505600 0 4 0 16800975 18446604468994026176 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13635540
Child status: 143
Real time (s): 1798.8
CPU time (s): 1800.18
CPU user time (s): 1799.46
CPU system time (s): 0.72189
CPU usage (%): 100.077
Max. virtual memory (cumulated for all children) (KiB): 13639216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.72189
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509719
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= 36714
involuntary context switches= 24418
runsolver used 10.8534 second user time and 23.1395 second system time
The end