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-4259461-1501661089/watcher-4259461-1501661089 -o /tmp/evaluation-result-4259461-1501661089/solver-4259461-1501661089 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501642693-29417 --watchdog 300 bin/concrete HOME/instance-4259461-1501661089.xml
pid=21423
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 2.38 1.91 1.75 3/194 21426
/proc/meminfo: memFree=30593144/32770624 swapFree=0/955624
[pid=21426] ppid=21423 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21426/stat : 21426 (runsolver) D 21423 21426 5678 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 14733578 24240128 108 18446744073709551615 4194304 4338465 140721548976144 140721548973784 139720684921559 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 9506816 140721548980432 140721548980806 140721548980806 140721548984266 0
/proc/21426/statm: 5918 108 54 36 0 2156 0
[startup+0.100441 s]
/proc/loadavg: 2.38 1.91 1.75 3/194 21426
/proc/meminfo: memFree=30593144/32770624 swapFree=0/955624
[pid=21426] ppid=21423 vsize=4308 CPUtime=0 cores=0,2,4,6
/proc/21426/stat : 21426 (concrete) R 21423 21426 5678 0 -1 4202496 255 0 0 0 0 0 0 0 20 0 1 0 14733578 4411392 87 18446744073709551615 4194304 4217516 140731653543424 140731653542584 140325443267063 0 0 1 0 0 0 0 17 0 0 0 9 0 0 6315208 6316640 25288704 140731653546501 140731653546599 140731653546599 140731653550059 0
/proc/21426/statm: 1077 87 69 6 0 79 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4308
[startup+0.200252 s]
/proc/loadavg: 2.38 1.91 1.75 3/194 21426
/proc/meminfo: memFree=30593144/32770624 swapFree=0/955624
[pid=21426] ppid=21423 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/21426/stat : 21426 (bash) S 21423 21426 5678 0 -1 4202496 890 6492 0 0 0 0 0 1 20 0 1 0 14733578 9867264 376 18446744073709551615 4194304 5098028 140725157486352 140725157480360 139725201861632 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 9 0 0 7196144 7232144 35913728 140725157487121 140725157487206 140725157487206 140725157490666 0
/proc/21426/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300332 s]
/proc/loadavg: 2.38 1.91 1.75 3/194 21426
/proc/meminfo: memFree=30593144/32770624 swapFree=0/955624
[pid=21426] ppid=21423 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/21426/stat : 21426 (java) S 21423 21426 5678 0 -1 1077944320 5742 12374 0 0 4 2 5 3 20 0 14 0 14733578 14241083392 5421 18446744073709551615 4194304 4196468 140725468620928 140725468603472 139707719667447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
/proc/21426/statm: 3476827 5421 2558 1 0 3466332 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308
[startup+0.703178 s]
/proc/loadavg: 2.38 1.91 1.75 3/194 21426
/proc/meminfo: memFree=30593144/32770624 swapFree=0/955624
[pid=21426] ppid=21423 vsize=13974784 CPUtime=0.61 cores=0,2,4,6
/proc/21426/stat : 21426 (java) S 21423 21426 5678 0 -1 1077944320 13616 12374 0 0 47 6 5 3 20 0 15 0 14733578 14310178816 14055 18446744073709551615 4194304 4196468 140725468620928 140725468603472 139707719667447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
/proc/21426/statm: 3493696 14055 3062 1 0 3482973 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 13974784
[startup+1.50066 s]
/proc/loadavg: 2.38 1.91 1.75 4/209 21489
/proc/meminfo: memFree=30451732/32770624 swapFree=0/955840
[pid=21426] ppid=21423 vsize=13985408 CPUtime=1.8 cores=0,2,4,6
/proc/21426/stat : 21426 (java) S 21423 21426 5678 0 -1 1077944320 27756 12374 0 0 163 9 5 3 20 0 15 0 14733578 14321057792 33816 18446744073709551615 4194304 4196468 140725468620928 140725468603472 139707719667447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
/proc/21426/statm: 3496352 33816 3328 1 0 3485533 0
[pid=21426/tid=21476] ppid=21423 vsize=13985408 CPUtime=1.27 cores=0,2,4,6
/proc/21426/task/21476/stat : 21476 (java) R 21423 21426 5678 0 -1 4202560 22435 12374 0 0 112 7 5 3 20 0 15 0 14733601 14321057792 33816 18446744073709551615 4194304 4196468 140725468620928 139707723900320 139707703711077 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21477] ppid=21423 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21477/stat : 21477 (java) S 21423 21426 5678 0 -1 1077944384 1 12374 0 0 0 0 5 3 20 0 15 0 14733602 14321057792 33816 18446744073709551615 4194304 4196468 140725468620928 139707639081872 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21478] ppid=21423 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21478/stat : 21478 (java) S 21423 21426 5678 0 -1 1077944384 1 12374 0 0 0 0 5 3 20 0 15 0 14733602 14321057792 33816 18446744073709551615 4194304 4196468 140725468620928 139707638029072 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21479] ppid=21423 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21479/stat : 21479 (java) S 21423 21426 5678 0 -1 1077944384 2 12374 0 0 0 0 5 3 20 0 15 0 14733602 14321057792 33816 18446744073709551615 4194304 4196468 140725468620928 139707636976784 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21480] ppid=21423 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21480/stat : 21480 (java) S 21423 21426 5678 0 -1 1077944384 2 12374 0 0 0 0 5 3 20 0 15 0 14733602 14321057792 33816 18446744073709551615 4194304 4196468 140725468620928 139707316956176 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21481] ppid=21423 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21481/stat : 21481 (java) S 21423 21426 5678 0 -1 1077944384 5 12374 0 0 0 0 5 3 20 0 15 0 14733603 14321057792 33816 18446744073709551615 4194304 4196468 140725468620928 139707198285936 139707719678594 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21482] ppid=21423 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21482/stat : 21482 (java) S 21423 21426 5678 0 -1 1077944384 33 12374 0 0 0 0 5 3 20 0 15 0 14733603 14321057792 33816 18446744073709551615 4194304 4196468 140725468620928 139707197231904 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21483] ppid=21423 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21483/stat : 21483 (java) S 21423 21426 5678 0 -1 1077944384 21 12374 0 0 0 0 5 3 20 0 15 0 14733604 14321057792 33816 18446744073709551615 4194304 4196468 140725468620928 139707196179568 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21484] ppid=21423 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21484/stat : 21484 (java) S 21423 21426 5678 0 -1 1077944384 3 12374 0 0 0 0 5 3 20 0 15 0 14733606 14321057792 33816 18446744073709551615 4194304 4196468 140725468620928 139707195127888 139707719686043 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21485] ppid=21423 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/21426/task/21485/stat : 21485 (java) S 21423 21426 5678 0 -1 1077944384 1230 12374 0 0 16 0 5 3 20 0 15 0 14733606 14321057792 33816 18446744073709551615 4194304 4196468 140725468620928 139707194075760 139707719678594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21486] ppid=21423 vsize=13985408 CPUtime=0.19 cores=0,2,4,6
/proc/21426/task/21486/stat : 21486 (java) S 21423 21426 5678 0 -1 1077944384 515 12374 0 0 11 0 5 3 20 0 15 0 14733606 14321057792 33816 18446744073709551615 4194304 4196468 140725468620928 139707193022960 139707719678594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21487] ppid=21423 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/21426/task/21487/stat : 21487 (java) R 21423 21426 5678 0 -1 4202560 1346 12374 0 0 22 0 5 3 20 0 15 0 14733606 14321057792 33816 18446744073709551615 4194304 4196468 140725468620928 139707191970672 139707705350851 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21488] ppid=21423 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21488/stat : 21488 (java) S 21423 21426 5678 0 -1 1077944384 3 12374 0 0 0 0 5 3 20 0 15 0 14733607 14321057792 33816 18446744073709551615 4194304 4196468 140725468620928 139707190918112 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21489] ppid=21423 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21489/stat : 21489 (java) S 21423 21426 5678 0 -1 1077944384 10 12374 0 0 0 0 5 3 20 0 15 0 14733613 14321057792 33816 18446744073709551615 4194304 4196468 140725468620928 139707189864880 139707719678594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 13985408
[startup+3.10063 s]
/proc/loadavg: 2.38 1.91 1.75 7/209 21489
/proc/meminfo: memFree=30351524/32770624 swapFree=0/955840
[pid=21426] ppid=21423 vsize=13997884 CPUtime=5.52 cores=0,2,4,6
/proc/21426/stat : 21426 (java) S 21423 21426 5678 0 -1 1077944320 48284 12374 0 0 526 18 5 3 20 0 15 0 14733578 14333833216 60785 18446744073709551615 4194304 4196468 140725468620928 140725468603472 139707719667447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
/proc/21426/statm: 3499471 60785 3437 1 0 3488093 0
[pid=21426/tid=21476] ppid=21423 vsize=13997884 CPUtime=2.83 cores=0,2,4,6
/proc/21426/task/21476/stat : 21476 (java) R 21423 21426 5678 0 -1 4202560 34944 12374 0 0 263 12 5 3 20 0 15 0 14733601 14333833216 60785 18446744073709551615 4194304 4196468 140725468620928 139707723896512 139707697669959 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21477] ppid=21423 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/21426/task/21477/stat : 21477 (java) S 21423 21426 5678 0 -1 1077944384 62 12374 0 0 1 0 5 3 20 0 15 0 14733602 14333833216 60785 18446744073709551615 4194304 4196468 140725468620928 139707639081872 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21478] ppid=21423 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/21426/task/21478/stat : 21478 (java) S 21423 21426 5678 0 -1 1077944384 47 12374 0 0 1 0 5 3 20 0 15 0 14733602 14333833216 60785 18446744073709551615 4194304 4196468 140725468620928 139707638029072 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21479] ppid=21423 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/21426/task/21479/stat : 21479 (java) S 21423 21426 5678 0 -1 1077944384 48 12374 0 0 1 0 5 3 20 0 15 0 14733602 14333833216 60785 18446744073709551615 4194304 4196468 140725468620928 139707636976784 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21480] ppid=21423 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/21426/task/21480/stat : 21480 (java) S 21423 21426 5678 0 -1 1077944384 203 12374 0 0 1 0 5 3 20 0 15 0 14733602 14333833216 60785 18446744073709551615 4194304 4196468 140725468620928 139707316956176 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21481] ppid=21423 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/21426/task/21481/stat : 21481 (java) S 21423 21426 5678 0 -1 1077944384 1328 12374 0 0 1 0 5 3 20 0 15 0 14733603 14333833216 60785 18446744073709551615 4194304 4196468 140725468620928 139707198285936 139707719678594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21482] ppid=21423 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21482/stat : 21482 (java) S 21423 21426 5678 0 -1 1077944384 57 12374 0 0 0 0 5 3 20 0 15 0 14733603 14333833216 60785 18446744073709551615 4194304 4196468 140725468620928 139707197231968 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21483] ppid=21423 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21483/stat : 21483 (java) S 21423 21426 5678 0 -1 1077944384 43 12374 0 0 0 0 5 3 20 0 15 0 14733604 14333833216 60785 18446744073709551615 4194304 4196468 140725468620928 139707196179584 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21484] ppid=21423 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21484/stat : 21484 (java) S 21423 21426 5678 0 -1 1077944384 3 12374 0 0 0 0 5 3 20 0 15 0 14733606 14333833216 60785 18446744073709551615 4194304 4196468 140725468620928 139707195127888 139707719686043 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21485] ppid=21423 vsize=13997884 CPUtime=0.96 cores=0,2,4,6
/proc/21426/task/21485/stat : 21485 (java) S 21423 21426 5678 0 -1 1077944384 2960 12374 0 0 87 1 5 3 20 0 15 0 14733606 14333833216 60785 18446744073709551615 4194304 4196468 140725468620928 139707194075760 139707719678594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21486] ppid=21423 vsize=13997884 CPUtime=0.83 cores=0,2,4,6
/proc/21426/task/21486/stat : 21486 (java) S 21423 21426 5678 0 -1 1077944384 1959 12374 0 0 74 1 5 3 20 0 15 0 14733606 14333833216 60785 18446744073709551615 4194304 4196468 140725468620928 139707193022960 139707719678594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21487] ppid=21423 vsize=13997884 CPUtime=1.03 cores=0,2,4,6
/proc/21426/task/21487/stat : 21487 (java) S 21423 21426 5678 0 -1 1077944384 4464 12374 0 0 94 1 5 3 20 0 15 0 14733606 14333833216 60785 18446744073709551615 4194304 4196468 140725468620928 139707191970672 139707719678594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21488] ppid=21423 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21488/stat : 21488 (java) S 21423 21426 5678 0 -1 1077944384 3 12374 0 0 0 0 5 3 20 0 15 0 14733607 14333833216 60785 18446744073709551615 4194304 4196468 140725468620928 139707190918112 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21489] ppid=21423 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21489/stat : 21489 (java) S 21423 21426 5678 0 -1 1077944384 13 12374 0 0 0 0 5 3 20 0 15 0 14733613 14333833216 60785 18446744073709551615 4194304 4196468 140725468620928 139707189864880 139707719678594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
Current children cumulated CPU time (s) 5.52
Current children cumulated vsize (KiB) 13997884
[startup+6.30901 s]
/proc/loadavg: 2.51 1.94 1.77 5/209 21489
/proc/meminfo: memFree=30096764/32770624 swapFree=0/955852
[pid=21426] ppid=21423 vsize=14069564 CPUtime=15.71 cores=0,2,4,6
/proc/21426/stat : 21426 (java) S 21423 21426 5678 0 -1 1077944320 92996 12374 0 0 1529 34 5 3 20 0 15 0 14733578 14407233536 113067 18446744073709551615 4194304 4196468 140725468620928 140725468603472 139707719667447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
/proc/21426/statm: 3517391 113067 3465 1 0 3506013 0
[pid=21426/tid=21476] ppid=21423 vsize=14069564 CPUtime=5.54 cores=0,2,4,6
/proc/21426/task/21476/stat : 21476 (java) S 21423 21426 5678 0 -1 1077944384 48559 12374 0 0 531 15 5 3 20 0 15 0 14733601 14407233536 113067 18446744073709551615 4194304 4196468 140725468620928 139707723905120 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21477] ppid=21423 vsize=14069564 CPUtime=0.42 cores=0,2,4,6
/proc/21426/task/21477/stat : 21477 (java) R 21423 21426 5678 0 -1 4202560 156 12374 0 0 33 1 5 3 20 0 15 0 14733602 14407233536 113067 18446744073709551615 4194304 4196468 140725468620928 139707639081872 139707704365020 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21478] ppid=21423 vsize=14069564 CPUtime=0.43 cores=0,2,4,6
/proc/21426/task/21478/stat : 21478 (java) R 21423 21426 5678 0 -1 4202560 1181 12374 0 0 34 1 5 3 20 0 15 0 14733602 14407233536 113067 18446744073709551615 4194304 4196468 140725468620928 139707638029272 139707701263905 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21479] ppid=21423 vsize=14069564 CPUtime=0.33 cores=0,2,4,6
/proc/21426/task/21479/stat : 21479 (java) R 21423 21426 5678 0 -1 4202560 170 12374 0 0 24 1 5 3 20 0 15 0 14733602 14407233536 113067 18446744073709551615 4194304 4196468 140725468620928 139707636976784 139707701264458 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21480] ppid=21423 vsize=14069564 CPUtime=0.36 cores=0,2,4,6
/proc/21426/task/21480/stat : 21480 (java) R 21423 21426 5678 0 -1 4202560 408 12374 0 0 27 1 5 3 20 0 15 0 14733602 14407233536 113067 18446744073709551615 4194304 4196468 140725468620928 139707316956064 139707704365086 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21481] ppid=21423 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/21426/task/21481/stat : 21481 (java) S 21423 21426 5678 0 -1 1077944384 11163 12374 0 0 12 1 5 3 20 0 15 0 14733603 14407233536 113067 18446744073709551615 4194304 4196468 140725468620928 139707198284336 139707719677653 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21482] ppid=21423 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21482/stat : 21482 (java) S 21423 21426 5678 0 -1 1077944384 59 12374 0 0 0 0 5 3 20 0 15 0 14733603 14407233536 113067 18446744073709551615 4194304 4196468 140725468620928 139707197231504 139707719678594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21483] ppid=21423 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21483/stat : 21483 (java) S 21423 21426 5678 0 -1 1077944384 44 12374 0 0 0 0 5 3 20 0 15 0 14733604 14407233536 113067 18446744073709551615 4194304 4196468 140725468620928 139707196179184 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21484] ppid=21423 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21484/stat : 21484 (java) S 21423 21426 5678 0 -1 1077944384 3 12374 0 0 0 0 5 3 20 0 15 0 14733606 14407233536 113067 18446744073709551615 4194304 4196468 140725468620928 139707195127888 139707719686043 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21485] ppid=21423 vsize=14069564 CPUtime=3.59 cores=0,2,4,6
/proc/21426/task/21485/stat : 21485 (java) S 21423 21426 5678 0 -1 1077944384 11448 12374 0 0 349 2 5 3 20 0 15 0 14733606 14407233536 113067 18446744073709551615 4194304 4196468 140725468620928 139707194062288 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21486] ppid=21423 vsize=14069564 CPUtime=3.23 cores=0,2,4,6
/proc/21426/task/21486/stat : 21486 (java) S 21423 21426 5678 0 -1 1077944384 8561 12374 0 0 312 3 5 3 20 0 15 0 14733606 14407233536 113067 18446744073709551615 4194304 4196468 140725468620928 139707193009488 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21487] ppid=21423 vsize=14069564 CPUtime=2.12 cores=0,2,4,6
/proc/21426/task/21487/stat : 21487 (java) S 21423 21426 5678 0 -1 1077944384 9055 12374 0 0 201 3 5 3 20 0 15 0 14733606 14407233536 113067 18446744073709551615 4194304 4196468 140725468620928 139707191970672 139707719678594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21488] ppid=21423 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21488/stat : 21488 (java) S 21423 21426 5678 0 -1 1077944384 3 12374 0 0 0 0 5 3 20 0 15 0 14733607 14407233536 113067 18446744073709551615 4194304 4196468 140725468620928 139707190918112 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21489] ppid=21423 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21489/stat : 21489 (java) S 21423 21426 5678 0 -1 1077944384 36 12374 0 0 0 0 5 3 20 0 15 0 14733613 14407233536 113067 18446744073709551615 4194304 4196468 140725468620928 139707189864880 139707719678594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
Current children cumulated CPU time (s) 15.71
Current children cumulated vsize (KiB) 14069564
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21426 sig 9
??? kill -21426 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4008 s]
/proc/loadavg: 2.51 1.94 1.77 5/209 21489
/proc/meminfo: memFree=30096764/32770624 swapFree=0/955852
[pid=21426] ppid=21423 vsize=14069564 CPUtime=15.97 cores=0,2,4,6
/proc/21426/stat : 21426 (java) S 21423 21426 5678 0 -1 1077944320 93463 12374 0 0 1555 34 5 3 20 0 15 0 14733578 14407233536 112126 18446744073709551615 4194304 4196468 140725468620928 140725468603472 139707719667447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
/proc/21426/statm: 3517391 112126 3466 1 0 3506013 0
[pid=21426/tid=21476] ppid=21423 vsize=14069564 CPUtime=5.6 cores=0,2,4,6
/proc/21426/task/21476/stat : 21476 (java) R 21423 21426 5678 0 -1 4202560 48766 12374 0 0 537 15 5 3 20 0 15 0 14733601 14407233536 112126 18446744073709551615 4194304 4196468 140725468620928 139707723894560 139707335571497 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21477] ppid=21423 vsize=14069564 CPUtime=0.44 cores=0,2,4,6
/proc/21426/task/21477/stat : 21477 (java) S 21423 21426 5678 0 -1 1077944384 157 12374 0 0 35 1 5 3 20 0 15 0 14733602 14407233536 112126 18446744073709551615 4194304 4196468 140725468620928 139707639081872 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21478] ppid=21423 vsize=14069564 CPUtime=0.44 cores=0,2,4,6
/proc/21426/task/21478/stat : 21478 (java) S 21423 21426 5678 0 -1 1077944384 1181 12374 0 0 35 1 5 3 20 0 15 0 14733602 14407233536 112126 18446744073709551615 4194304 4196468 140725468620928 139707638029072 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21479] ppid=21423 vsize=14069564 CPUtime=0.34 cores=0,2,4,6
/proc/21426/task/21479/stat : 21479 (java) S 21423 21426 5678 0 -1 1077944384 170 12374 0 0 25 1 5 3 20 0 15 0 14733602 14407233536 112126 18446744073709551615 4194304 4196468 140725468620928 139707636976784 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21480] ppid=21423 vsize=14069564 CPUtime=0.37 cores=0,2,4,6
/proc/21426/task/21480/stat : 21480 (java) S 21423 21426 5678 0 -1 1077944384 408 12374 0 0 28 1 5 3 20 0 15 0 14733602 14407233536 112126 18446744073709551615 4194304 4196468 140725468620928 139707316956176 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21481] ppid=21423 vsize=14069564 CPUtime=0.23 cores=0,2,4,6
/proc/21426/task/21481/stat : 21481 (java) S 21423 21426 5678 0 -1 1077944384 11163 12374 0 0 14 1 5 3 20 0 15 0 14733603 14407233536 112126 18446744073709551615 4194304 4196468 140725468620928 139707198285936 139707719678594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21482] ppid=21423 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21482/stat : 21482 (java) S 21423 21426 5678 0 -1 1077944384 60 12374 0 0 0 0 5 3 20 0 15 0 14733603 14407233536 112126 18446744073709551615 4194304 4196468 140725468620928 139707197231968 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21483] ppid=21423 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21483/stat : 21483 (java) S 21423 21426 5678 0 -1 1077944384 46 12374 0 0 0 0 5 3 20 0 15 0 14733604 14407233536 112126 18446744073709551615 4194304 4196468 140725468620928 139707196179584 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21484] ppid=21423 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21484/stat : 21484 (java) S 21423 21426 5678 0 -1 1077944384 3 12374 0 0 0 0 5 3 20 0 15 0 14733606 14407233536 112126 18446744073709551615 4194304 4196468 140725468620928 139707195127888 139707719686043 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21485] ppid=21423 vsize=14069564 CPUtime=3.65 cores=0,2,4,6
/proc/21426/task/21485/stat : 21485 (java) R 21423 21426 5678 0 -1 4202560 11569 12374 0 0 355 2 5 3 20 0 15 0 14733606 14407233536 112126 18446744073709551615 4194304 4196468 140725468620928 139707194062592 139707704777213 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21486] ppid=21423 vsize=14069564 CPUtime=3.29 cores=0,2,4,6
/proc/21426/task/21486/stat : 21486 (java) R 21423 21426 5678 0 -1 4202560 8691 12374 0 0 318 3 5 3 20 0 15 0 14733606 14407233536 112126 18446744073709551615 4194304 4196468 140725468620928 139707193014240 139707704264993 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21487] ppid=21423 vsize=14069564 CPUtime=2.13 cores=0,2,4,6
/proc/21426/task/21487/stat : 21487 (java) S 21423 21426 5678 0 -1 1077944384 9060 12374 0 0 202 3 5 3 20 0 15 0 14733606 14407233536 112126 18446744073709551615 4194304 4196468 140725468620928 139707191970672 139707719678594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21488] ppid=21423 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21488/stat : 21488 (java) S 21423 21426 5678 0 -1 1077944384 3 12374 0 0 0 0 5 3 20 0 15 0 14733607 14407233536 112126 18446744073709551615 4194304 4196468 140725468620928 139707190918112 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21489] ppid=21423 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21489/stat : 21489 (java) S 21423 21426 5678 0 -1 1077944384 36 12374 0 0 0 0 5 3 20 0 15 0 14733613 14407233536 112126 18446744073709551615 4194304 4196468 140725468620928 139707189864880 139707719678594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
Current children cumulated CPU time (s) 15.97
Current children cumulated vsize (KiB) 14069564
[startup+6.6006 s]
/proc/loadavg: 2.51 1.94 1.77 5/209 21489
/proc/meminfo: memFree=29986324/32770624 swapFree=0/955852
[pid=21426] ppid=21423 vsize=14069564 CPUtime=16.65 cores=0,2,4,6
/proc/21426/stat : 21426 (java) S 21423 21426 5678 0 -1 1077944320 94030 12374 0 0 1623 34 5 3 20 0 15 0 14733578 14407233536 112308 18446744073709551615 4194304 4196468 140725468620928 140725468603472 139707719667447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
/proc/21426/statm: 3517391 112308 3466 1 0 3506013 0
[pid=21426/tid=21476] ppid=21423 vsize=14069564 CPUtime=5.8 cores=0,2,4,6
/proc/21426/task/21476/stat : 21476 (java) R 21423 21426 5678 0 -1 4202560 48884 12374 0 0 557 15 5 3 20 0 15 0 14733601 14407233536 112308 18446744073709551615 4194304 4196468 140725468620928 139707723903648 139707335242258 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21477] ppid=21423 vsize=14069564 CPUtime=0.44 cores=0,2,4,6
/proc/21426/task/21477/stat : 21477 (java) S 21423 21426 5678 0 -1 1077944384 157 12374 0 0 35 1 5 3 20 0 15 0 14733602 14407233536 112308 18446744073709551615 4194304 4196468 140725468620928 139707639081872 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21478] ppid=21423 vsize=14069564 CPUtime=0.44 cores=0,2,4,6
/proc/21426/task/21478/stat : 21478 (java) S 21423 21426 5678 0 -1 1077944384 1181 12374 0 0 35 1 5 3 20 0 15 0 14733602 14407233536 112308 18446744073709551615 4194304 4196468 140725468620928 139707638029072 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21479] ppid=21423 vsize=14069564 CPUtime=0.34 cores=0,2,4,6
/proc/21426/task/21479/stat : 21479 (java) S 21423 21426 5678 0 -1 1077944384 170 12374 0 0 25 1 5 3 20 0 15 0 14733602 14407233536 112308 18446744073709551615 4194304 4196468 140725468620928 139707636976784 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21480] ppid=21423 vsize=14069564 CPUtime=0.37 cores=0,2,4,6
/proc/21426/task/21480/stat : 21480 (java) S 21423 21426 5678 0 -1 1077944384 408 12374 0 0 28 1 5 3 20 0 15 0 14733602 14407233536 112308 18446744073709551615 4194304 4196468 140725468620928 139707316956176 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21481] ppid=21423 vsize=14069564 CPUtime=0.23 cores=0,2,4,6
/proc/21426/task/21481/stat : 21481 (java) S 21423 21426 5678 0 -1 1077944384 11163 12374 0 0 14 1 5 3 20 0 15 0 14733603 14407233536 112308 18446744073709551615 4194304 4196468 140725468620928 139707198285936 139707719678594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21482] ppid=21423 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21482/stat : 21482 (java) S 21423 21426 5678 0 -1 1077944384 60 12374 0 0 0 0 5 3 20 0 15 0 14733603 14407233536 112308 18446744073709551615 4194304 4196468 140725468620928 139707197231968 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21483] ppid=21423 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21483/stat : 21483 (java) S 21423 21426 5678 0 -1 1077944384 46 12374 0 0 0 0 5 3 20 0 15 0 14733604 14407233536 112308 18446744073709551615 4194304 4196468 140725468620928 139707196179584 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21484] ppid=21423 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21484/stat : 21484 (java) S 21423 21426 5678 0 -1 1077944384 3 12374 0 0 0 0 5 3 20 0 15 0 14733606 14407233536 112308 18446744073709551615 4194304 4196468 140725468620928 139707195127888 139707719686043 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21485] ppid=21423 vsize=14069564 CPUtime=3.85 cores=0,2,4,6
/proc/21426/task/21485/stat : 21485 (java) R 21423 21426 5678 0 -1 4202560 11632 12374 0 0 375 2 5 3 20 0 15 0 14733606 14407233536 112308 18446744073709551615 4194304 4196468 140725468620928 139707194060832 139707704777470 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21486] ppid=21423 vsize=14069564 CPUtime=3.49 cores=0,2,4,6
/proc/21426/task/21486/stat : 21486 (java) R 21423 21426 5678 0 -1 4202560 8768 12374 0 0 338 3 5 3 20 0 15 0 14733606 14407233536 112308 18446744073709551615 4194304 4196468 140725468620928 139707193003920 139707705276127 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21487] ppid=21423 vsize=14069564 CPUtime=2.21 cores=0,2,4,6
/proc/21426/task/21487/stat : 21487 (java) R 21423 21426 5678 0 -1 1077944384 9369 12374 0 0 210 3 5 3 20 0 15 0 14733606 14407233536 112308 18446744073709551615 4194304 4196468 140725468620928 139707191970672 139707719678594 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21488] ppid=21423 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21488/stat : 21488 (java) S 21423 21426 5678 0 -1 1077944384 3 12374 0 0 0 0 5 3 20 0 15 0 14733607 14407233536 112308 18446744073709551615 4194304 4196468 140725468620928 139707190918112 139707719677653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
[pid=21426/tid=21489] ppid=21423 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21426/task/21489/stat : 21489 (java) S 21423 21426 5678 0 -1 1077944384 36 12374 0 0 0 0 5 3 20 0 15 0 14733613 14407233536 112308 18446744073709551615 4194304 4196468 140725468620928 139707189864880 139707719678594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27369472 140725468624845 140725468627630 140725468627630 140725468630991 0
Current children cumulated CPU time (s) 16.65
Current children cumulated vsize (KiB) 14069564
Child status: 0
Real time (s): 6.64971
CPU time (s): 16.7548
CPU user time (s): 16.359
CPU system time (s): 0.395877
CPU usage (%): 251.964
Max. virtual memory (cumulated for all children) (KiB): 14072068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.359
system time used= 0.395877
maximum resident set size= 454472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106606
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7960
involuntary context switches= 371
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036862 second user time and 0.039697 second system time
The end