runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4262006-1502429324/watcher-4262006-1502429324 -o /tmp/evaluation-result-4262006-1502429324/solver-4262006-1502429324 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502411413-16612 --watchdog 2580 bin/concrete HOME/instance-4262006-1502429324.xml
pid=20478
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.76 1.75 1.76 3/195 20481
/proc/meminfo: memFree=27789852/32770624 swapFree=0/300172
[pid=20481] ppid=20478 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20481/stat : 20481 (runsolver) D 20478 20481 16548 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 45128006 24240128 106 18446744073709551615 4194304 4338465 140723373464464 140723373462104 140013175354071 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 6782976 140723373465808 140723373466185 140723373466185 140723373469642 0
/proc/20481/statm: 5918 106 53 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 1.76 1.75 1.76 3/195 20481
/proc/meminfo: memFree=27789852/32770624 swapFree=0/300172
[pid=20481] ppid=20478 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20481/stat : 20481 (runsolver) D 20478 20481 16548 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 45128006 24240128 106 18446744073709551615 4194304 4338465 140723373464464 140723373462104 140013175354071 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 6782976 140723373465808 140723373466185 140723373466185 140723373469642 0
/proc/20481/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200322 s]
/proc/loadavg: 1.76 1.75 1.76 3/195 20481
/proc/meminfo: memFree=27789852/32770624 swapFree=0/300172
[pid=20481] ppid=20478 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/20481/stat : 20481 (bash) S 20478 20481 16548 0 -1 4202496 897 6482 0 0 0 0 0 1 20 0 1 0 45128006 9867264 377 18446744073709551615 4194304 5098028 140732319732496 140732319726504 140619601869824 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 10 0 0 7196144 7232144 16437248 140732319740436 140732319740521 140732319740521 140732319743978 0
/proc/20481/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300255 s]
/proc/loadavg: 1.76 1.75 1.76 3/195 20481
/proc/meminfo: memFree=27789852/32770624 swapFree=0/300172
[pid=20481] ppid=20478 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/20481/stat : 20481 (java) S 20478 20481 16548 0 -1 1077944320 5814 12437 0 0 5 1 5 2 20 0 14 0 45128006 14241083392 5491 18446744073709551615 4194304 4196468 140724770690384 140724770672928 140285212511991 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
/proc/20481/statm: 3476827 5491 2569 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.700187 s]
/proc/loadavg: 1.76 1.75 1.76 3/195 20481
/proc/meminfo: memFree=27789852/32770624 swapFree=0/300172
[pid=20481] ppid=20478 vsize=13974784 CPUtime=0.61 cores=1,3,5,7
/proc/20481/stat : 20481 (java) S 20478 20481 16548 0 -1 1077944320 13776 12437 0 0 51 3 5 2 20 0 15 0 45128006 14310178816 14266 18446744073709551615 4194304 4196468 140724770690384 140724770672928 140285212511991 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
/proc/20481/statm: 3493696 14266 3081 1 0 3482965 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 13974784
[startup+1.50057 s]
/proc/loadavg: 1.94 1.78 1.78 3/210 20544
/proc/meminfo: memFree=27699324/32770624 swapFree=0/300208
[pid=20481] ppid=20478 vsize=13985408 CPUtime=1.81 cores=1,3,5,7
/proc/20481/stat : 20481 (java) S 20478 20481 16548 0 -1 1077944320 27371 12437 0 0 166 8 5 2 20 0 15 0 45128006 14321057792 33993 18446744073709551615 4194304 4196468 140724770690384 140724770672928 140285212511991 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
/proc/20481/statm: 3496352 33993 3341 1 0 3485525 0
[pid=20481/tid=20531] ppid=20478 vsize=13985408 CPUtime=1.27 cores=1,3,5,7
/proc/20481/task/20531/stat : 20531 (java) R 20478 20481 16548 0 -1 4202560 22180 12437 0 0 114 6 5 2 20 0 15 0 45128030 14321057792 33993 18446744073709551615 4194304 4196468 140724770690384 140285216739648 140285194075566 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20532] ppid=20478 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20532/stat : 20532 (java) S 20478 20481 16548 0 -1 1077944384 1 12437 0 0 0 0 5 2 20 0 15 0 45128031 14321057792 33993 18446744073709551615 4194304 4196468 140724770690384 140284812147728 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20533] ppid=20478 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20533/stat : 20533 (java) S 20478 20481 16548 0 -1 1077944384 1 12437 0 0 0 0 5 2 20 0 15 0 45128031 14321057792 33993 18446744073709551615 4194304 4196468 140724770690384 140284811095184 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20534] ppid=20478 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20534/stat : 20534 (java) S 20478 20481 16548 0 -1 1077944384 2 12437 0 0 0 0 5 2 20 0 15 0 45128031 14321057792 33993 18446744073709551615 4194304 4196468 140724770690384 140284810042128 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20535] ppid=20478 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20535/stat : 20535 (java) S 20478 20481 16548 0 -1 1077944384 2 12437 0 0 0 0 5 2 20 0 15 0 45128031 14321057792 33993 18446744073709551615 4194304 4196468 140724770690384 140284808989584 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20536] ppid=20478 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20536/stat : 20536 (java) S 20478 20481 16548 0 -1 1077944384 5 12437 0 0 0 0 5 2 20 0 15 0 45128032 14321057792 33993 18446744073709551615 4194304 4196468 140724770690384 140284691159280 140285212523138 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20537] ppid=20478 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20537/stat : 20537 (java) S 20478 20481 16548 0 -1 1077944384 33 12437 0 0 0 0 5 2 20 0 15 0 45128033 14321057792 33993 18446744073709551615 4194304 4196468 140724770690384 140284690105504 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20538] ppid=20478 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20538/stat : 20538 (java) S 20478 20481 16548 0 -1 1077944384 21 12437 0 0 0 0 5 2 20 0 15 0 45128033 14321057792 33993 18446744073709551615 4194304 4196468 140724770690384 140284689052400 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20539] ppid=20478 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20539/stat : 20539 (java) S 20478 20481 16548 0 -1 1077944384 3 12437 0 0 0 0 5 2 20 0 15 0 45128036 14321057792 33993 18446744073709551615 4194304 4196468 140724770690384 140284688000976 140285212530587 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20540] ppid=20478 vsize=13985408 CPUtime=0.18 cores=1,3,5,7
/proc/20481/task/20540/stat : 20540 (java) S 20478 20481 16548 0 -1 1077944384 735 12437 0 0 11 0 5 2 20 0 15 0 45128036 14321057792 33993 18446744073709551615 4194304 4196468 140724770690384 140284686949104 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20541] ppid=20478 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/20481/task/20541/stat : 20541 (java) S 20478 20481 16548 0 -1 1077944384 936 12437 0 0 17 0 5 2 20 0 15 0 45128036 14321057792 33993 18446744073709551615 4194304 4196468 140724770690384 140284685896560 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20542] ppid=20478 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/20481/task/20542/stat : 20542 (java) S 20478 20481 16548 0 -1 1077944384 1287 12437 0 0 22 0 5 2 20 0 15 0 45128036 14321057792 33993 18446744073709551615 4194304 4196468 140724770690384 140284684843504 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20543] ppid=20478 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20543/stat : 20543 (java) S 20478 20481 16548 0 -1 1077944384 3 12437 0 0 0 0 5 2 20 0 15 0 45128036 14321057792 33993 18446744073709551615 4194304 4196468 140724770690384 140284683791200 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20544] ppid=20478 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20544/stat : 20544 (java) S 20478 20481 16548 0 -1 1077944384 6 12437 0 0 0 0 5 2 20 0 15 0 45128040 14321057792 33993 18446744073709551615 4194304 4196468 140724770690384 140284682738224 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 13985408
[startup+3.11067 s]
/proc/loadavg: 1.94 1.78 1.78 3/210 20544
/proc/meminfo: memFree=27621644/32770624 swapFree=0/300208
[pid=20481] ppid=20478 vsize=13995836 CPUtime=3.9 cores=1,3,5,7
/proc/20481/stat : 20481 (java) S 20478 20481 16548 0 -1 1077944320 38331 12437 0 0 371 12 5 2 20 0 15 0 45128006 14331736064 47170 18446744073709551615 4194304 4196468 140724770690384 140724770672928 140285212511991 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
/proc/20481/statm: 3498959 47170 3442 1 0 3487573 0
[pid=20481/tid=20531] ppid=20478 vsize=13995836 CPUtime=2.23 cores=1,3,5,7
/proc/20481/task/20531/stat : 20531 (java) R 20478 20481 16548 0 -1 4202560 28239 12437 0 0 209 7 5 2 20 0 15 0 45128030 14331736064 47170 18446744073709551615 4194304 4196468 140724770690384 140285216744472 140285194380608 0 4 1 16800974 0 0 0 -1 7 0 0 65 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20532] ppid=20478 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/20481/task/20532/stat : 20532 (java) S 20478 20481 16548 0 -1 1077944384 209 12437 0 0 1 0 5 2 20 0 15 0 45128031 14331736064 47170 18446744073709551615 4194304 4196468 140724770690384 140284812147728 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20533] ppid=20478 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/20481/task/20533/stat : 20533 (java) S 20478 20481 16548 0 -1 1077944384 56 12437 0 0 1 0 5 2 20 0 15 0 45128031 14331736064 47170 18446744073709551615 4194304 4196468 140724770690384 140284811095184 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20534] ppid=20478 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/20481/task/20534/stat : 20534 (java) S 20478 20481 16548 0 -1 1077944384 39 12437 0 0 1 0 5 2 20 0 15 0 45128031 14331736064 47170 18446744073709551615 4194304 4196468 140724770690384 140284810042128 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20535] ppid=20478 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/20481/task/20535/stat : 20535 (java) S 20478 20481 16548 0 -1 1077944384 53 12437 0 0 1 0 5 2 20 0 15 0 45128031 14331736064 47170 18446744073709551615 4194304 4196468 140724770690384 140284808989584 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20536] ppid=20478 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/20481/task/20536/stat : 20536 (java) S 20478 20481 16548 0 -1 1077944384 1647 12437 0 0 1 0 5 2 20 0 15 0 45128032 14331736064 47170 18446744073709551615 4194304 4196468 140724770690384 140284691159280 140285212523138 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20537] ppid=20478 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20537/stat : 20537 (java) S 20478 20481 16548 0 -1 1077944384 56 12437 0 0 0 0 5 2 20 0 15 0 45128033 14331736064 47170 18446744073709551615 4194304 4196468 140724770690384 140284690105568 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20538] ppid=20478 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20538/stat : 20538 (java) S 20478 20481 16548 0 -1 1077944384 44 12437 0 0 0 0 5 2 20 0 15 0 45128033 14331736064 47170 18446744073709551615 4194304 4196468 140724770690384 140284689052416 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20539] ppid=20478 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20539/stat : 20539 (java) S 20478 20481 16548 0 -1 1077944384 3 12437 0 0 0 0 5 2 20 0 15 0 45128036 14331736064 47170 18446744073709551615 4194304 4196468 140724770690384 140284688000976 140285212530587 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20540] ppid=20478 vsize=13995836 CPUtime=0.5 cores=1,3,5,7
/proc/20481/task/20540/stat : 20540 (java) S 20478 20481 16548 0 -1 1077944384 1723 12437 0 0 43 0 5 2 20 0 15 0 45128036 14331736064 47170 18446744073709551615 4194304 4196468 140724770690384 140284686949104 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20541] ppid=20478 vsize=13995836 CPUtime=0.51 cores=1,3,5,7
/proc/20481/task/20541/stat : 20541 (java) S 20478 20481 16548 0 -1 1077944384 1330 12437 0 0 43 1 5 2 20 0 15 0 45128036 14331736064 47170 18446744073709551615 4194304 4196468 140724770690384 140284685896560 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20542] ppid=20478 vsize=13995836 CPUtime=0.75 cores=1,3,5,7
/proc/20481/task/20542/stat : 20542 (java) S 20478 20481 16548 0 -1 1077944384 2763 12437 0 0 67 1 5 2 20 0 15 0 45128036 14331736064 47170 18446744073709551615 4194304 4196468 140724770690384 140284684843504 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20543] ppid=20478 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20543/stat : 20543 (java) S 20478 20481 16548 0 -1 1077944384 3 12437 0 0 0 0 5 2 20 0 15 0 45128036 14331736064 47170 18446744073709551615 4194304 4196468 140724770690384 140284683791200 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20544] ppid=20478 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20544/stat : 20544 (java) S 20478 20481 16548 0 -1 1077944384 10 12437 0 0 0 0 5 2 20 0 15 0 45128040 14331736064 47170 18446744073709551615 4194304 4196468 140724770690384 140284682738224 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 13995836
[startup+6.30068 s]
/proc/loadavg: 1.95 1.79 1.78 3/210 20544
/proc/meminfo: memFree=27483088/32770624 swapFree=0/300212
[pid=20481] ppid=20478 vsize=13999932 CPUtime=11.47 cores=1,3,5,7
/proc/20481/stat : 20481 (java) S 20478 20481 16548 0 -1 1077944320 52641 12437 0 0 1117 23 5 2 20 0 15 0 45128006 14335930368 90192 18446744073709551615 4194304 4196468 140724770690384 140724770672928 140285212511991 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
/proc/20481/statm: 3499983 90192 3462 1 0 3488597 0
[pid=20481/tid=20531] ppid=20478 vsize=13999932 CPUtime=5.33 cores=1,3,5,7
/proc/20481/task/20531/stat : 20531 (java) R 20478 20481 16548 0 -1 4202560 29818 12437 0 0 516 10 5 2 20 0 15 0 45128030 14335930368 90192 18446744073709551615 4194304 4196468 140724770690384 140285216742560 140284867300585 0 4 1 16800974 0 0 0 -1 5 0 0 65 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20532] ppid=20478 vsize=13999932 CPUtime=0.13 cores=1,3,5,7
/proc/20481/task/20532/stat : 20532 (java) S 20478 20481 16548 0 -1 1077944384 324 12437 0 0 5 1 5 2 20 0 15 0 45128031 14335930368 90192 18446744073709551615 4194304 4196468 140724770690384 140284812147728 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20533] ppid=20478 vsize=13999932 CPUtime=0.13 cores=1,3,5,7
/proc/20481/task/20533/stat : 20533 (java) S 20478 20481 16548 0 -1 1077944384 143 12437 0 0 5 1 5 2 20 0 15 0 45128031 14335930368 90192 18446744073709551615 4194304 4196468 140724770690384 140284811095184 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20534] ppid=20478 vsize=13999932 CPUtime=0.13 cores=1,3,5,7
/proc/20481/task/20534/stat : 20534 (java) S 20478 20481 16548 0 -1 1077944384 183 12437 0 0 5 1 5 2 20 0 15 0 45128031 14335930368 90192 18446744073709551615 4194304 4196468 140724770690384 140284810042128 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20535] ppid=20478 vsize=13999932 CPUtime=0.14 cores=1,3,5,7
/proc/20481/task/20535/stat : 20535 (java) S 20478 20481 16548 0 -1 1077944384 754 12437 0 0 6 1 5 2 20 0 15 0 45128031 14335930368 90192 18446744073709551615 4194304 4196468 140724770690384 140284808989584 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20536] ppid=20478 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/20481/task/20536/stat : 20536 (java) S 20478 20481 16548 0 -1 1077944384 1765 12437 0 0 2 0 5 2 20 0 15 0 45128032 14335930368 90192 18446744073709551615 4194304 4196468 140724770690384 140284691159280 140285212523138 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20537] ppid=20478 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20537/stat : 20537 (java) S 20478 20481 16548 0 -1 1077944384 56 12437 0 0 0 0 5 2 20 0 15 0 45128033 14335930368 90192 18446744073709551615 4194304 4196468 140724770690384 140284690105568 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20538] ppid=20478 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20538/stat : 20538 (java) S 20478 20481 16548 0 -1 1077944384 44 12437 0 0 0 0 5 2 20 0 15 0 45128033 14335930368 90192 18446744073709551615 4194304 4196468 140724770690384 140284689052416 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20539] ppid=20478 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20539/stat : 20539 (java) S 20478 20481 16548 0 -1 1077944384 3 12437 0 0 0 0 5 2 20 0 15 0 45128036 14335930368 90192 18446744073709551615 4194304 4196468 140724770690384 140284688000976 140285212530587 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20540] ppid=20478 vsize=13999932 CPUtime=2.33 cores=1,3,5,7
/proc/20481/task/20540/stat : 20540 (java) S 20478 20481 16548 0 -1 1077944384 6121 12437 0 0 225 1 5 2 20 0 15 0 45128036 14335930368 90192 18446744073709551615 4194304 4196468 140724770690384 140284686949104 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20541] ppid=20478 vsize=13999932 CPUtime=2.22 cores=1,3,5,7
/proc/20481/task/20541/stat : 20541 (java) S 20478 20481 16548 0 -1 1077944384 5071 12437 0 0 214 1 5 2 20 0 15 0 45128036 14335930368 90192 18446744073709551615 4194304 4196468 140724770690384 140284685896560 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20542] ppid=20478 vsize=13999932 CPUtime=1.42 cores=1,3,5,7
/proc/20481/task/20542/stat : 20542 (java) S 20478 20481 16548 0 -1 1077944384 6085 12437 0 0 133 2 5 2 20 0 15 0 45128036 14335930368 90192 18446744073709551615 4194304 4196468 140724770690384 140284684843504 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20543] ppid=20478 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20543/stat : 20543 (java) S 20478 20481 16548 0 -1 1077944384 3 12437 0 0 0 0 5 2 20 0 15 0 45128036 14335930368 90192 18446744073709551615 4194304 4196468 140724770690384 140284683791200 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20544] ppid=20478 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20544/stat : 20544 (java) S 20478 20481 16548 0 -1 1077944384 115 12437 0 0 0 0 5 2 20 0 15 0 45128040 14335930368 90192 18446744073709551615 4194304 4196468 140724770690384 140284682738224 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
Current children cumulated CPU time (s) 11.47
Current children cumulated vsize (KiB) 13999932
[startup+12.7007 s]
/proc/loadavg: 1.95 1.79 1.78 3/210 20545
/proc/meminfo: memFree=27195936/32770624 swapFree=0/300220
[pid=20481] ppid=20478 vsize=13999932 CPUtime=19.09 cores=1,3,5,7
/proc/20481/stat : 20481 (java) S 20478 20481 16548 0 -1 1077944320 60598 12437 0 0 1867 35 5 2 20 0 15 0 45128006 14335930368 179288 18446744073709551615 4194304 4196468 140724770690384 140724770672928 140285212511991 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
/proc/20481/statm: 3499983 179288 3462 1 0 3488597 0
[pid=20481/tid=20531] ppid=20478 vsize=13999932 CPUtime=11.67 cores=1,3,5,7
/proc/20481/task/20531/stat : 20531 (java) R 20478 20481 16548 0 -1 4202560 31703 12437 0 0 1145 15 5 2 20 0 15 0 45128030 14335930368 179288 18446744073709551615 4194304 4196468 140724770690384 140285216744752 140284862332783 0 4 1 16800974 0 0 0 -1 1 0 0 65 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20532] ppid=20478 vsize=13999932 CPUtime=0.16 cores=1,3,5,7
/proc/20481/task/20532/stat : 20532 (java) S 20478 20481 16548 0 -1 1077944384 613 12437 0 0 7 2 5 2 20 0 15 0 45128031 14335930368 179288 18446744073709551615 4194304 4196468 140724770690384 140284812147728 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20533] ppid=20478 vsize=13999932 CPUtime=0.16 cores=1,3,5,7
/proc/20481/task/20533/stat : 20533 (java) S 20478 20481 16548 0 -1 1077944384 177 12437 0 0 7 2 5 2 20 0 15 0 45128031 14335930368 179288 18446744073709551615 4194304 4196468 140724770690384 140284811095184 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20534] ppid=20478 vsize=13999932 CPUtime=0.17 cores=1,3,5,7
/proc/20481/task/20534/stat : 20534 (java) S 20478 20481 16548 0 -1 1077944384 294 12437 0 0 8 2 5 2 20 0 15 0 45128031 14335930368 179288 18446744073709551615 4194304 4196468 140724770690384 140284810042128 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20535] ppid=20478 vsize=13999932 CPUtime=0.18 cores=1,3,5,7
/proc/20481/task/20535/stat : 20535 (java) S 20478 20481 16548 0 -1 1077944384 818 12437 0 0 9 2 5 2 20 0 15 0 45128031 14335930368 179288 18446744073709551615 4194304 4196468 140724770690384 140284808989584 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20536] ppid=20478 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/20481/task/20536/stat : 20536 (java) S 20478 20481 16548 0 -1 1077944384 2145 12437 0 0 3 0 5 2 20 0 15 0 45128032 14335930368 179288 18446744073709551615 4194304 4196468 140724770690384 140284691159280 140285212523138 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20537] ppid=20478 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20537/stat : 20537 (java) S 20478 20481 16548 0 -1 1077944384 56 12437 0 0 0 0 5 2 20 0 15 0 45128033 14335930368 179288 18446744073709551615 4194304 4196468 140724770690384 140284690105568 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20538] ppid=20478 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20538/stat : 20538 (java) S 20478 20481 16548 0 -1 1077944384 44 12437 0 0 0 0 5 2 20 0 15 0 45128033 14335930368 179288 18446744073709551615 4194304 4196468 140724770690384 140284689052416 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20539] ppid=20478 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20539/stat : 20539 (java) S 20478 20481 16548 0 -1 1077944384 3 12437 0 0 0 0 5 2 20 0 15 0 45128036 14335930368 179288 18446744073709551615 4194304 4196468 140724770690384 140284688000976 140285212530587 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
################
# More data... #
################
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2452.7 s]
/proc/loadavg: 1.37 1.38 1.41 3/209 20836
/proc/meminfo: memFree=25547764/32770624 swapFree=0/300864
[pid=20481] ppid=20478 vsize=14004028 CPUtime=2520.02 cores=1,3,5,7
/proc/20481/stat : 20481 (java) S 20478 20481 16548 0 -1 1077944320 483096 12437 0 0 251619 376 5 2 20 0 15 0 45128006 14340124672 716716 18446744073709551615 4194304 4196468 140724770690384 140724770672928 140285212511991 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
/proc/20481/statm: 3501007 716716 3483 1 0 3489621 0
[pid=20481/tid=20531] ppid=20478 vsize=14004028 CPUtime=2428.77 cores=1,3,5,7
/proc/20481/task/20531/stat : 20531 (java) R 20478 20481 16548 0 -1 4202560 143926 12437 0 0 242791 79 5 2 20 0 15 0 45128030 14340124672 716716 18446744073709551615 4194304 4196468 140724770690384 140285216746160 140284873134796 0 4 1 16800974 0 0 0 -1 5 0 0 65 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20532] ppid=20478 vsize=14004028 CPUtime=14.37 cores=1,3,5,7
/proc/20481/task/20532/stat : 20532 (java) S 20478 20481 16548 0 -1 1077944384 45808 12437 0 0 1386 44 5 2 20 0 15 0 45128031 14340124672 716716 18446744073709551615 4194304 4196468 140724770690384 140284812147728 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20533] ppid=20478 vsize=14004028 CPUtime=14.36 cores=1,3,5,7
/proc/20481/task/20533/stat : 20533 (java) S 20478 20481 16548 0 -1 1077944384 43649 12437 0 0 1382 47 5 2 20 0 15 0 45128031 14340124672 716716 18446744073709551615 4194304 4196468 140724770690384 140284811095184 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20534] ppid=20478 vsize=14004028 CPUtime=14.38 cores=1,3,5,7
/proc/20481/task/20534/stat : 20534 (java) S 20478 20481 16548 0 -1 1077944384 40546 12437 0 0 1385 46 5 2 20 0 15 0 45128031 14340124672 716716 18446744073709551615 4194304 4196468 140724770690384 140284810042128 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20535] ppid=20478 vsize=14004028 CPUtime=14.34 cores=1,3,5,7
/proc/20481/task/20535/stat : 20535 (java) S 20478 20481 16548 0 -1 1077944384 43519 12437 0 0 1380 47 5 2 20 0 15 0 45128031 14340124672 716716 18446744073709551615 4194304 4196468 140724770690384 140284808989584 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20536] ppid=20478 vsize=14004028 CPUtime=6.73 cores=1,3,5,7
/proc/20481/task/20536/stat : 20536 (java) S 20478 20481 16548 0 -1 1077944384 36615 12437 0 0 626 40 5 2 20 0 15 0 45128032 14340124672 716716 18446744073709551615 4194304 4196468 140724770690384 140284691159280 140285212523138 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20537] ppid=20478 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20537/stat : 20537 (java) S 20478 20481 16548 0 -1 1077944384 61 12437 0 0 0 0 5 2 20 0 15 0 45128033 14340124672 716716 18446744073709551615 4194304 4196468 140724770690384 140284690105632 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20538] ppid=20478 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20538/stat : 20538 (java) S 20478 20481 16548 0 -1 1077944384 52 12437 0 0 0 0 5 2 20 0 15 0 45128033 14340124672 716716 18446744073709551615 4194304 4196468 140724770690384 140284689052416 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20539] ppid=20478 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20539/stat : 20539 (java) S 20478 20481 16548 0 -1 1077944384 3 12437 0 0 0 0 5 2 20 0 15 0 45128036 14340124672 716716 18446744073709551615 4194304 4196468 140724770690384 140284688000976 140285212530587 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20540] ppid=20478 vsize=14004028 CPUtime=10.91 cores=1,3,5,7
/proc/20481/task/20540/stat : 20540 (java) S 20478 20481 16548 0 -1 1077944384 42510 12437 0 0 1077 7 5 2 20 0 15 0 45128036 14340124672 716716 18446744073709551615 4194304 4196468 140724770690384 140284686949104 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20541] ppid=20478 vsize=14004028 CPUtime=11.39 cores=1,3,5,7
/proc/20481/task/20541/stat : 20541 (java) S 20478 20481 16548 0 -1 1077944384 42928 12437 0 0 1126 6 5 2 20 0 15 0 45128036 14340124672 716716 18446744073709551615 4194304 4196468 140724770690384 140284685896560 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20542] ppid=20478 vsize=14004028 CPUtime=3.81 cores=1,3,5,7
/proc/20481/task/20542/stat : 20542 (java) S 20478 20481 16548 0 -1 1077944384 39093 12437 0 0 365 9 5 2 20 0 15 0 45128036 14340124672 716716 18446744073709551615 4194304 4196468 140724770690384 140284684843504 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20543] ppid=20478 vsize=14004028 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20543/stat : 20543 (java) S 20478 20481 16548 0 -1 1077944384 3 12437 0 0 0 0 5 2 20 0 15 0 45128036 14340124672 716716 18446744073709551615 4194304 4196468 140724770690384 140284683791200 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20544] ppid=20478 vsize=14004028 CPUtime=1.48 cores=1,3,5,7
/proc/20481/task/20544/stat : 20544 (java) S 20478 20481 16548 0 -1 1077944384 2227 12437 0 0 59 82 5 2 20 0 15 0 45128040 14340124672 716716 18446744073709551615 4194304 4196468 140724770690384 140284682738224 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
Current children cumulated CPU time (s) 2520.02
Current children cumulated vsize (KiB) 14004028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20481 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2452.81 s]
/proc/loadavg: 1.37 1.38 1.41 3/209 20836
/proc/meminfo: memFree=25547764/32770624 swapFree=0/300864
[pid=20481] ppid=20478 vsize=14137156 CPUtime=2520.32 cores=1,3,5,7
/proc/20481/stat : 20481 (java) S 20478 20481 16548 0 -1 1077944320 496177 12437 0 0 251648 377 5 2 20 0 17 0 45128006 14476447744 718493 18446744073709551615 4194304 4196468 140724770690384 140724770672928 140285212511991 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
/proc/20481/statm: 3534289 718493 3483 1 0 3522903 0
[pid=20481/tid=20531] ppid=20478 vsize=14137156 CPUtime=2428.79 cores=1,3,5,7
/proc/20481/task/20531/stat : 20531 (java) S 20478 20481 16548 0 -1 1077944384 144999 12437 0 0 242792 80 5 2 20 0 17 0 45128030 14476447744 718493 18446744073709551615 4194304 4196468 140724770690384 140285216749712 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 65 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20532] ppid=20478 vsize=14137156 CPUtime=14.43 cores=1,3,5,7
/proc/20481/task/20532/stat : 20532 (java) R 20478 20481 16548 0 -1 4202560 45884 12437 0 0 1392 44 5 2 20 0 17 0 45128031 14476447744 718493 18446744073709551615 4194304 4196468 140724770690384 140284812147728 140285205140199 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20533] ppid=20478 vsize=14137156 CPUtime=14.42 cores=1,3,5,7
/proc/20481/task/20533/stat : 20533 (java) R 20478 20481 16548 0 -1 4202560 43768 12437 0 0 1388 47 5 2 20 0 17 0 45128031 14476447744 718493 18446744073709551615 4194304 4196468 140724770690384 140284811095184 140285197212749 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20534] ppid=20478 vsize=14137156 CPUtime=14.44 cores=1,3,5,7
/proc/20481/task/20534/stat : 20534 (java) R 20478 20481 16548 0 -1 4202560 40616 12437 0 0 1391 46 5 2 20 0 17 0 45128031 14476447744 718493 18446744073709551615 4194304 4196468 140724770690384 140284810042248 140285205140199 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20535] ppid=20478 vsize=14137156 CPUtime=14.41 cores=1,3,5,7
/proc/20481/task/20535/stat : 20535 (java) R 20478 20481 16548 0 -1 4202560 43643 12437 0 0 1386 48 5 2 20 0 17 0 45128031 14476447744 718493 18446744073709551615 4194304 4196468 140724770690384 140284808989704 140285205140199 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20536] ppid=20478 vsize=14137156 CPUtime=6.76 cores=1,3,5,7
/proc/20481/task/20536/stat : 20536 (java) S 20478 20481 16548 0 -1 1077944384 47613 12437 0 0 628 41 5 2 20 0 17 0 45128032 14476447744 718493 18446744073709551615 4194304 4196468 140724770690384 140284691157904 140285212522197 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20537] ppid=20478 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20537/stat : 20537 (java) S 20478 20481 16548 0 -1 1077944384 61 12437 0 0 0 0 5 2 20 0 17 0 45128033 14476447744 718493 18446744073709551615 4194304 4196468 140724770690384 140284690105632 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20538] ppid=20478 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20538/stat : 20538 (java) S 20478 20481 16548 0 -1 1077944384 52 12437 0 0 0 0 5 2 20 0 17 0 45128033 14476447744 718493 18446744073709551615 4194304 4196468 140724770690384 140284689052416 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20539] ppid=20478 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20539/stat : 20539 (java) S 20478 20481 16548 0 -1 1077944384 255 12437 0 0 0 0 5 2 20 0 17 0 45128036 14476447744 718493 18446744073709551615 4194304 4196468 140724770690384 140284688000976 140285212530587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20540] ppid=20478 vsize=14137156 CPUtime=10.91 cores=1,3,5,7
/proc/20481/task/20540/stat : 20540 (java) S 20478 20481 16548 0 -1 1077944384 42510 12437 0 0 1077 7 5 2 20 0 17 0 45128036 14476447744 718493 18446744073709551615 4194304 4196468 140724770690384 140284686949104 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20541] ppid=20478 vsize=14137156 CPUtime=11.39 cores=1,3,5,7
/proc/20481/task/20541/stat : 20541 (java) S 20478 20481 16548 0 -1 1077944384 42928 12437 0 0 1126 6 5 2 20 0 17 0 45128036 14476447744 718493 18446744073709551615 4194304 4196468 140724770690384 140284685896560 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20542] ppid=20478 vsize=14137156 CPUtime=3.81 cores=1,3,5,7
/proc/20481/task/20542/stat : 20542 (java) S 20478 20481 16548 0 -1 1077944384 39093 12437 0 0 365 9 5 2 20 0 17 0 45128036 14476447744 718493 18446744073709551615 4194304 4196468 140724770690384 140284684843504 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20543] ppid=20478 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20543/stat : 20543 (java) S 20478 20481 16548 0 -1 1077944384 3 12437 0 0 0 0 5 2 20 0 17 0 45128036 14476447744 718493 18446744073709551615 4194304 4196468 140724770690384 140284683791200 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20544] ppid=20478 vsize=14137156 CPUtime=1.48 cores=1,3,5,7
/proc/20481/task/20544/stat : 20544 (java) S 20478 20481 16548 0 -1 1077944384 2227 12437 0 0 59 82 5 2 20 0 17 0 45128040 14476447744 718493 18446744073709551615 4194304 4196468 140724770690384 140284682738224 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
Current children cumulated CPU time (s) 2520.32
Current children cumulated vsize (KiB) 14137156
[startup+2453.2 s]
/proc/loadavg: 1.37 1.38 1.41 6/211 20838
/proc/meminfo: memFree=25541232/32770624 swapFree=0/300864
[pid=20481] ppid=20478 vsize=14137156 CPUtime=2521.72 cores=1,3,5,7
/proc/20481/stat : 20481 (java) S 20478 20481 16548 0 -1 1077944320 496487 12437 0 0 251788 377 5 2 20 0 17 0 45128006 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140724770672928 140285212511991 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
/proc/20481/statm: 3534289 718603 3483 1 0 3522903 0
[pid=20481/tid=20531] ppid=20478 vsize=14137156 CPUtime=2428.79 cores=1,3,5,7
/proc/20481/task/20531/stat : 20531 (java) S 20478 20481 16548 0 -1 1077944384 144999 12437 0 0 242792 80 5 2 20 0 17 0 45128030 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140285216749712 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 65 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20532] ppid=20478 vsize=14137156 CPUtime=14.77 cores=1,3,5,7
/proc/20481/task/20532/stat : 20532 (java) S 20478 20481 16548 0 -1 1077944384 45889 12437 0 0 1426 44 5 2 20 0 17 0 45128031 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140284812147728 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20533] ppid=20478 vsize=14137156 CPUtime=14.76 cores=1,3,5,7
/proc/20481/task/20533/stat : 20533 (java) S 20478 20481 16548 0 -1 1077944384 43782 12437 0 0 1422 47 5 2 20 0 17 0 45128031 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140284811095184 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20534] ppid=20478 vsize=14137156 CPUtime=14.78 cores=1,3,5,7
/proc/20481/task/20534/stat : 20534 (java) S 20478 20481 16548 0 -1 1077944384 40631 12437 0 0 1425 46 5 2 20 0 17 0 45128031 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140284810042128 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20535] ppid=20478 vsize=14137156 CPUtime=14.75 cores=1,3,5,7
/proc/20481/task/20535/stat : 20535 (java) S 20478 20481 16548 0 -1 1077944384 43649 12437 0 0 1420 48 5 2 20 0 17 0 45128031 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140284808989584 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20536] ppid=20478 vsize=14137156 CPUtime=6.81 cores=1,3,5,7
/proc/20481/task/20536/stat : 20536 (java) R 20478 20481 16548 0 -1 4202560 47880 12437 0 0 633 41 5 2 20 0 17 0 45128032 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140284691157680 140285192138395 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20537] ppid=20478 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20537/stat : 20537 (java) S 20478 20481 16548 0 -1 1077944384 63 12437 0 0 0 0 5 2 20 0 17 0 45128033 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140284690105136 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20538] ppid=20478 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20538/stat : 20538 (java) S 20478 20481 16548 0 -1 1077944384 52 12437 0 0 0 0 5 2 20 0 17 0 45128033 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140284689052416 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20539] ppid=20478 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20539/stat : 20539 (java) S 20478 20481 16548 0 -1 1077944384 255 12437 0 0 0 0 5 2 20 0 17 0 45128036 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140284688000976 140285212530587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20540] ppid=20478 vsize=14137156 CPUtime=10.91 cores=1,3,5,7
/proc/20481/task/20540/stat : 20540 (java) S 20478 20481 16548 0 -1 1077944384 42510 12437 0 0 1077 7 5 2 20 0 17 0 45128036 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140284686949104 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20541] ppid=20478 vsize=14137156 CPUtime=11.39 cores=1,3,5,7
/proc/20481/task/20541/stat : 20541 (java) S 20478 20481 16548 0 -1 1077944384 42928 12437 0 0 1126 6 5 2 20 0 17 0 45128036 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140284685896560 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20542] ppid=20478 vsize=14137156 CPUtime=3.81 cores=1,3,5,7
/proc/20481/task/20542/stat : 20542 (java) S 20478 20481 16548 0 -1 1077944384 39093 12437 0 0 365 9 5 2 20 0 17 0 45128036 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140284684843504 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20543] ppid=20478 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20543/stat : 20543 (java) S 20478 20481 16548 0 -1 1077944384 3 12437 0 0 0 0 5 2 20 0 17 0 45128036 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140284683791200 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20544] ppid=20478 vsize=14137156 CPUtime=1.48 cores=1,3,5,7
/proc/20481/task/20544/stat : 20544 (java) S 20478 20481 16548 0 -1 1077944384 2227 12437 0 0 59 82 5 2 20 0 17 0 45128040 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140284682738224 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20837] ppid=20478 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20837/stat : 20837 (java) S 20478 20481 16548 0 -1 1077944384 338 12437 0 0 0 0 5 2 20 0 17 0 45373277 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140284650918256 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20838] ppid=20478 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20838/stat : 20838 (java) S 20478 20481 16548 0 -1 1077944384 30 12437 0 0 0 0 5 2 20 0 17 0 45373277 14476447744 718603 18446744073709551615 4194304 4196468 140724770690384 140284649865920 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
Current children cumulated CPU time (s) 2521.72
Current children cumulated vsize (KiB) 14137156
[startup+2453.3 s]
/proc/loadavg: 1.37 1.38 1.41 6/211 20838
/proc/meminfo: memFree=25541232/32770624 swapFree=0/300864
[pid=20481] ppid=20478 vsize=14137156 CPUtime=2522.05 cores=1,3,5,7
/proc/20481/stat : 20481 (java) S 20478 20481 16548 0 -1 1077944320 496697 12437 0 0 251820 378 5 2 20 0 17 0 45128006 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140724770672928 140285212511991 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
/proc/20481/statm: 3534289 718607 3483 1 0 3522903 0
[pid=20481/tid=20531] ppid=20478 vsize=14137156 CPUtime=2428.79 cores=1,3,5,7
/proc/20481/task/20531/stat : 20531 (java) R 20478 20481 16548 0 -1 4202560 145030 12437 0 0 242792 80 5 2 20 0 17 0 45128030 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140285216740576 140285194075560 0 4 1 16800974 0 0 0 -1 1 0 0 65 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20532] ppid=20478 vsize=14137156 CPUtime=14.84 cores=1,3,5,7
/proc/20481/task/20532/stat : 20532 (java) S 20478 20481 16548 0 -1 1077944384 45889 12437 0 0 1433 44 5 2 20 0 17 0 45128031 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140284812147728 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20533] ppid=20478 vsize=14137156 CPUtime=14.84 cores=1,3,5,7
/proc/20481/task/20533/stat : 20533 (java) S 20478 20481 16548 0 -1 1077944384 43789 12437 0 0 1430 47 5 2 20 0 17 0 45128031 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140284811095184 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20534] ppid=20478 vsize=14137156 CPUtime=14.85 cores=1,3,5,7
/proc/20481/task/20534/stat : 20534 (java) S 20478 20481 16548 0 -1 1077944384 40635 12437 0 0 1432 46 5 2 20 0 17 0 45128031 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140284810042128 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20535] ppid=20478 vsize=14137156 CPUtime=14.82 cores=1,3,5,7
/proc/20481/task/20535/stat : 20535 (java) S 20478 20481 16548 0 -1 1077944384 43650 12437 0 0 1427 48 5 2 20 0 17 0 45128031 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140284808989584 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20536] ppid=20478 vsize=14137156 CPUtime=6.83 cores=1,3,5,7
/proc/20481/task/20536/stat : 20536 (java) S 20478 20481 16548 0 -1 1077944384 47880 12437 0 0 635 41 5 2 20 0 17 0 45128032 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140284691159280 140285212523138 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20537] ppid=20478 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20537/stat : 20537 (java) S 20478 20481 16548 0 -1 1077944384 64 12437 0 0 0 0 5 2 20 0 17 0 45128033 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140284690105632 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20538] ppid=20478 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20538/stat : 20538 (java) S 20478 20481 16548 0 -1 1077944384 54 12437 0 0 0 0 5 2 20 0 17 0 45128033 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140284689052416 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20539] ppid=20478 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20539/stat : 20539 (java) S 20478 20481 16548 0 -1 1077944384 255 12437 0 0 0 0 5 2 20 0 17 0 45128036 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140284688000976 140285212530587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20540] ppid=20478 vsize=14137156 CPUtime=10.91 cores=1,3,5,7
/proc/20481/task/20540/stat : 20540 (java) R 20478 20481 16548 0 -1 4202560 42600 12437 0 0 1077 7 5 2 20 0 17 0 45128036 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140284686948992 140285192237991 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20541] ppid=20478 vsize=14137156 CPUtime=11.39 cores=1,3,5,7
/proc/20481/task/20541/stat : 20541 (java) S 20478 20481 16548 0 -1 1077944384 42928 12437 0 0 1126 6 5 2 20 0 17 0 45128036 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140284685896560 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20542] ppid=20478 vsize=14137156 CPUtime=3.81 cores=1,3,5,7
/proc/20481/task/20542/stat : 20542 (java) R 20478 20481 16548 0 -1 4202560 39173 12437 0 0 365 9 5 2 20 0 17 0 45128036 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140284684843392 140285212523926 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20543] ppid=20478 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20543/stat : 20543 (java) S 20478 20481 16548 0 -1 1077944384 3 12437 0 0 0 0 5 2 20 0 17 0 45128036 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140284683791200 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20544] ppid=20478 vsize=14137156 CPUtime=1.48 cores=1,3,5,7
/proc/20481/task/20544/stat : 20544 (java) S 20478 20481 16548 0 -1 1077944384 2227 12437 0 0 59 82 5 2 20 0 17 0 45128040 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140284682738224 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20837] ppid=20478 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20837/stat : 20837 (java) S 20478 20481 16548 0 -1 1077944384 338 12437 0 0 0 0 5 2 20 0 17 0 45373277 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140284650918256 140285212522197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
[pid=20481/tid=20838] ppid=20478 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20481/task/20838/stat : 20838 (java) S 20478 20481 16548 0 -1 1077944384 31 12437 0 0 0 0 5 2 20 0 17 0 45373277 14476447744 718607 18446744073709551615 4194304 4196468 140724770690384 140284649866224 140285212523138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11423744 140724770699216 140724770702001 140724770702001 140724770705359 0
Current children cumulated CPU time (s) 2522.05
Current children cumulated vsize (KiB) 14137156
Child status: 143
Real time (s): 2453.33
CPU time (s): 2522.1
CPU user time (s): 2518.27
CPU system time (s): 3.83075
CPU usage (%): 102.803
Max. virtual memory (cumulated for all children) (KiB): 14137156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.27
system time used= 3.83075
maximum resident set size= 3020856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 201139
involuntary context switches= 8272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.385 second user time and 12.6662 second system time
The end