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-4259763-1501997462/watcher-4259763-1501997462 -o /tmp/evaluation-result-4259763-1501997462/solver-4259763-1501997462 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501995163-16060 --watchdog 300 bin/concrete HOME/instance-4259763-1501997462.xml
pid=18027
running on 4 cores: 1,3,5,7
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: 1.48 1.44 1.53 2/198 18030
/proc/meminfo: memFree=30694944/32770624 swapFree=0/298504
[pid=18030] ppid=18027 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18030/stat : 18030 (runsolver) D 18027 18030 30500 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 47561502 24240128 106 18446744073709551615 4194304 4338465 140737450048192 140737450045832 140629903442647 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 30470144 140737450053846 140737450054220 140737450054220 140737450057674 0
/proc/18030/statm: 5918 106 53 36 0 2156 0
[startup+0.109162 s]
/proc/loadavg: 1.48 1.44 1.53 2/198 18030
/proc/meminfo: memFree=30694944/32770624 swapFree=0/298504
[pid=18030] ppid=18027 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/18030/stat : 18030 (bash) S 18027 18030 30500 0 -1 4202496 897 6479 0 0 0 0 0 1 20 0 1 0 47561502 9867264 377 18446744073709551615 4194304 5098028 140726856476720 140726856470728 139673134783488 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 4 0 0 7196144 7232144 21438464 140726856483351 140726856483436 140726856483436 140726856486890 0
/proc/18030/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200314 s]
/proc/loadavg: 1.48 1.44 1.53 2/198 18030
/proc/meminfo: memFree=30694944/32770624 swapFree=0/298504
[pid=18030] ppid=18027 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/18030/stat : 18030 (bash) S 18027 18030 30500 0 -1 4202496 897 6479 0 0 0 0 0 1 20 0 1 0 47561502 9867264 377 18446744073709551615 4194304 5098028 140726856476720 140726856470728 139673134783488 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 4 0 0 7196144 7232144 21438464 140726856483351 140726856483436 140726856483436 140726856486890 0
/proc/18030/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300252 s]
/proc/loadavg: 1.48 1.44 1.53 2/198 18030
/proc/meminfo: memFree=30694944/32770624 swapFree=0/298504
[pid=18030] ppid=18027 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/18030/stat : 18030 (java) S 18027 18030 30500 0 -1 1077944320 5825 12659 0 0 5 1 5 2 20 0 14 0 47561502 14241083392 5502 18446744073709551615 4194304 4196468 140728722531696 140728722514240 140144966442743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
/proc/18030/statm: 3476827 5502 2569 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.700173 s]
/proc/loadavg: 1.48 1.44 1.53 2/198 18030
/proc/meminfo: memFree=30694944/32770624 swapFree=0/298504
[pid=18030] ppid=18027 vsize=13975808 CPUtime=0.56 cores=1,3,5,7
/proc/18030/stat : 18030 (java) S 18027 18030 30500 0 -1 1077944320 13428 12659 0 0 46 3 5 2 20 0 15 0 47561502 14311227392 14150 18446744073709551615 4194304 4196468 140728722531696 140728722514240 140144966442743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
/proc/18030/statm: 3493952 14150 3066 1 0 3483221 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 13975808
[startup+1.50061 s]
/proc/loadavg: 1.60 1.46 1.54 3/213 18093
/proc/meminfo: memFree=30605448/32770624 swapFree=0/298516
[pid=18030] ppid=18027 vsize=13985408 CPUtime=1.81 cores=1,3,5,7
/proc/18030/stat : 18030 (java) S 18027 18030 30500 0 -1 1077944320 27307 12659 0 0 167 7 5 2 20 0 15 0 47561502 14321057792 33866 18446744073709551615 4194304 4196468 140728722531696 140728722514240 140144966442743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
/proc/18030/statm: 3496352 33866 3340 1 0 3485525 0
[pid=18030/tid=18080] ppid=18027 vsize=13985408 CPUtime=1.24 cores=1,3,5,7
/proc/18030/task/18080/stat : 18080 (java) R 18027 18030 30500 0 -1 4202560 21502 12659 0 0 112 5 5 2 20 0 15 0 47561524 14321057792 33866 18446744073709551615 4194304 4196468 140728722531696 140144970652256 140144950523230 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18081] ppid=18027 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18081/stat : 18081 (java) S 18027 18030 30500 0 -1 1077944384 1 12659 0 0 0 0 5 2 20 0 15 0 47561525 14321057792 33866 18446744073709551615 4194304 4196468 140728722531696 140144923408784 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18082] ppid=18027 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18082/stat : 18082 (java) S 18027 18030 30500 0 -1 1077944384 1 12659 0 0 0 0 5 2 20 0 15 0 47561525 14321057792 33866 18446744073709551615 4194304 4196468 140728722531696 140144922355984 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18083] ppid=18027 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18083/stat : 18083 (java) S 18027 18030 30500 0 -1 1077944384 1 12659 0 0 0 0 5 2 20 0 15 0 47561525 14321057792 33866 18446744073709551615 4194304 4196468 140728722531696 140144921303696 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18084] ppid=18027 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18084/stat : 18084 (java) S 18027 18030 30500 0 -1 1077944384 2 12659 0 0 0 0 5 2 20 0 15 0 47561525 14321057792 33866 18446744073709551615 4194304 4196468 140728722531696 140144920250896 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18085] ppid=18027 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18085/stat : 18085 (java) S 18027 18030 30500 0 -1 1077944384 5 12659 0 0 0 0 5 2 20 0 15 0 47561526 14321057792 33866 18446744073709551615 4194304 4196468 140728722531696 140144444160624 140144966453890 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18086] ppid=18027 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18086/stat : 18086 (java) S 18027 18030 30500 0 -1 1077944384 34 12659 0 0 0 0 5 2 20 0 15 0 47561527 14321057792 33866 18446744073709551615 4194304 4196468 140728722531696 140144443106592 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18087] ppid=18027 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18087/stat : 18087 (java) S 18027 18030 30500 0 -1 1077944384 21 12659 0 0 0 0 5 2 20 0 15 0 47561527 14321057792 33866 18446744073709551615 4194304 4196468 140728722531696 140144442054256 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18088] ppid=18027 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18088/stat : 18088 (java) S 18027 18030 30500 0 -1 1077944384 3 12659 0 0 0 0 5 2 20 0 15 0 47561530 14321057792 33866 18446744073709551615 4194304 4196468 140728722531696 140144441002576 140144966461339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18089] ppid=18027 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/18030/task/18089/stat : 18089 (java) S 18027 18030 30500 0 -1 1077944384 946 12659 0 0 16 0 5 2 20 0 15 0 47561530 14321057792 33866 18446744073709551615 4194304 4196468 140728722531696 140144439949424 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18090] ppid=18027 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/18030/task/18090/stat : 18090 (java) S 18027 18030 30500 0 -1 1077944384 1333 12659 0 0 16 0 5 2 20 0 15 0 47561530 14321057792 33866 18446744073709551615 4194304 4196468 140728722531696 140144438896624 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18091] ppid=18027 vsize=13985408 CPUtime=0.28 cores=1,3,5,7
/proc/18030/task/18091/stat : 18091 (java) S 18027 18030 30500 0 -1 1077944384 1293 12659 0 0 21 0 5 2 20 0 15 0 47561530 14321057792 33866 18446744073709551615 4194304 4196468 140728722531696 140144437844336 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18092] ppid=18027 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18092/stat : 18092 (java) S 18027 18030 30500 0 -1 1077944384 3 12659 0 0 0 0 5 2 20 0 15 0 47561530 14321057792 33866 18446744073709551615 4194304 4196468 140728722531696 140144436791776 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18093] ppid=18027 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18093/stat : 18093 (java) S 18027 18030 30500 0 -1 1077944384 8 12659 0 0 0 0 5 2 20 0 15 0 47561539 14321057792 33866 18446744073709551615 4194304 4196468 140728722531696 140144435739568 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 13985408
[startup+3.10057 s]
/proc/loadavg: 1.60 1.46 1.54 5/213 18093
/proc/meminfo: memFree=30522264/32770624 swapFree=0/298516
[pid=18030] ppid=18027 vsize=13997884 CPUtime=5.4 cores=1,3,5,7
/proc/18030/stat : 18030 (java) S 18027 18030 30500 0 -1 1077944320 49316 12659 0 0 519 14 5 2 20 0 15 0 47561502 14333833216 53690 18446744073709551615 4194304 4196468 140728722531696 140728722514240 140144966442743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
/proc/18030/statm: 3499471 53690 3447 1 0 3488085 0
[pid=18030/tid=18080] ppid=18027 vsize=13997884 CPUtime=2.8 cores=1,3,5,7
/proc/18030/task/18080/stat : 18080 (java) R 18027 18030 30500 0 -1 4202560 34743 12659 0 0 265 8 5 2 20 0 15 0 47561524 14333833216 53690 18446744073709551615 4194304 4196468 140728722531696 140144970676624 140144966454678 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18081] ppid=18027 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18081/stat : 18081 (java) S 18027 18030 30500 0 -1 1077944384 49 12659 0 0 0 0 5 2 20 0 15 0 47561525 14333833216 53690 18446744073709551615 4194304 4196468 140728722531696 140144923408784 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18082] ppid=18027 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/18030/task/18082/stat : 18082 (java) S 18027 18030 30500 0 -1 1077944384 47 12659 0 0 1 0 5 2 20 0 15 0 47561525 14333833216 53690 18446744073709551615 4194304 4196468 140728722531696 140144922355984 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18083] ppid=18027 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/18030/task/18083/stat : 18083 (java) S 18027 18030 30500 0 -1 1077944384 57 12659 0 0 1 0 5 2 20 0 15 0 47561525 14333833216 53690 18446744073709551615 4194304 4196468 140728722531696 140144921303696 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18084] ppid=18027 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/18030/task/18084/stat : 18084 (java) S 18027 18030 30500 0 -1 1077944384 204 12659 0 0 1 0 5 2 20 0 15 0 47561525 14333833216 53690 18446744073709551615 4194304 4196468 140728722531696 140144920250896 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18085] ppid=18027 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/18030/task/18085/stat : 18085 (java) S 18027 18030 30500 0 -1 1077944384 1784 12659 0 0 1 0 5 2 20 0 15 0 47561526 14333833216 53690 18446744073709551615 4194304 4196468 140728722531696 140144444160624 140144966453890 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18086] ppid=18027 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18086/stat : 18086 (java) S 18027 18030 30500 0 -1 1077944384 56 12659 0 0 0 0 5 2 20 0 15 0 47561527 14333833216 53690 18446744073709551615 4194304 4196468 140728722531696 140144443106656 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18087] ppid=18027 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18087/stat : 18087 (java) S 18027 18030 30500 0 -1 1077944384 43 12659 0 0 0 0 5 2 20 0 15 0 47561527 14333833216 53690 18446744073709551615 4194304 4196468 140728722531696 140144442054272 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18088] ppid=18027 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18088/stat : 18088 (java) S 18027 18030 30500 0 -1 1077944384 3 12659 0 0 0 0 5 2 20 0 15 0 47561530 14333833216 53690 18446744073709551615 4194304 4196468 140728722531696 140144441002576 140144966461339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18089] ppid=18027 vsize=13997884 CPUtime=0.67 cores=1,3,5,7
/proc/18030/task/18089/stat : 18089 (java) S 18027 18030 30500 0 -1 1077944384 1657 12659 0 0 59 1 5 2 20 0 15 0 47561530 14333833216 53690 18446744073709551615 4194304 4196468 140728722531696 140144439949424 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18090] ppid=18027 vsize=13997884 CPUtime=1.02 cores=1,3,5,7
/proc/18030/task/18090/stat : 18090 (java) S 18027 18030 30500 0 -1 1077944384 4713 12659 0 0 94 1 5 2 20 0 15 0 47561530 14333833216 53690 18446744073709551615 4194304 4196468 140728722531696 140144438896624 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18091] ppid=18027 vsize=13997884 CPUtime=1.01 cores=1,3,5,7
/proc/18030/task/18091/stat : 18091 (java) R 18027 18030 30500 0 -1 4202560 3794 12659 0 0 93 1 5 2 20 0 15 0 47561530 14333833216 53690 18446744073709551615 4194304 4196468 140728722531696 140144437844336 140144958679870 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18092] ppid=18027 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18092/stat : 18092 (java) S 18027 18030 30500 0 -1 1077944384 3 12659 0 0 0 0 5 2 20 0 15 0 47561530 14333833216 53690 18446744073709551615 4194304 4196468 140728722531696 140144436791776 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18093] ppid=18027 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18093/stat : 18093 (java) S 18027 18030 30500 0 -1 1077944384 11 12659 0 0 0 0 5 2 20 0 15 0 47561539 14333833216 53690 18446744073709551615 4194304 4196468 140728722531696 140144435739568 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 13997884
[startup+6.30072 s]
/proc/loadavg: 1.80 1.51 1.56 6/213 18093
/proc/meminfo: memFree=30337096/32770624 swapFree=0/298504
[pid=18030] ppid=18027 vsize=14071612 CPUtime=15.15 cores=1,3,5,7
/proc/18030/stat : 18030 (java) S 18027 18030 30500 0 -1 1077944320 76183 12659 0 0 1484 24 5 2 20 0 15 0 47561502 14409330688 95308 18446744073709551615 4194304 4196468 140728722531696 140728722514240 140144966442743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
/proc/18030/statm: 3517903 95308 3477 1 0 3506517 0
[pid=18030/tid=18080] ppid=18027 vsize=14071612 CPUtime=5.91 cores=1,3,5,7
/proc/18030/task/18080/stat : 18080 (java) R 18027 18030 30500 0 -1 4202560 44996 12659 0 0 572 12 5 2 20 0 15 0 47561524 14409330688 95308 18446744073709551615 4194304 4196468 140728722531696 140144970673248 140144619037187 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18081] ppid=18027 vsize=14071612 CPUtime=0.12 cores=1,3,5,7
/proc/18030/task/18081/stat : 18081 (java) S 18027 18030 30500 0 -1 1077944384 171 12659 0 0 5 0 5 2 20 0 15 0 47561525 14409330688 95308 18446744073709551615 4194304 4196468 140728722531696 140144923408784 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18082] ppid=18027 vsize=14071612 CPUtime=0.11 cores=1,3,5,7
/proc/18030/task/18082/stat : 18082 (java) S 18027 18030 30500 0 -1 1077944384 80 12659 0 0 4 0 5 2 20 0 15 0 47561525 14409330688 95308 18446744073709551615 4194304 4196468 140728722531696 140144922355984 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18083] ppid=18027 vsize=14071612 CPUtime=0.12 cores=1,3,5,7
/proc/18030/task/18083/stat : 18083 (java) S 18027 18030 30500 0 -1 1077944384 967 12659 0 0 5 0 5 2 20 0 15 0 47561525 14409330688 95308 18446744073709551615 4194304 4196468 140728722531696 140144921303696 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18084] ppid=18027 vsize=14071612 CPUtime=0.12 cores=1,3,5,7
/proc/18030/task/18084/stat : 18084 (java) S 18027 18030 30500 0 -1 1077944384 281 12659 0 0 4 1 5 2 20 0 15 0 47561525 14409330688 95308 18446744073709551615 4194304 4196468 140728722531696 140144920250896 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18085] ppid=18027 vsize=14071612 CPUtime=0.11 cores=1,3,5,7
/proc/18030/task/18085/stat : 18085 (java) S 18027 18030 30500 0 -1 1077944384 2427 12659 0 0 4 0 5 2 20 0 15 0 47561526 14409330688 95308 18446744073709551615 4194304 4196468 140728722531696 140144444160624 140144966453890 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18086] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18086/stat : 18086 (java) S 18027 18030 30500 0 -1 1077944384 56 12659 0 0 0 0 5 2 20 0 15 0 47561527 14409330688 95308 18446744073709551615 4194304 4196468 140728722531696 140144443106720 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18087] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18087/stat : 18087 (java) S 18027 18030 30500 0 -1 1077944384 43 12659 0 0 0 0 5 2 20 0 15 0 47561527 14409330688 95308 18446744073709551615 4194304 4196468 140728722531696 140144442054272 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18088] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18088/stat : 18088 (java) S 18027 18030 30500 0 -1 1077944384 3 12659 0 0 0 0 5 2 20 0 15 0 47561530 14409330688 95308 18446744073709551615 4194304 4196468 140728722531696 140144441002576 140144966461339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18089] ppid=18027 vsize=14071612 CPUtime=3.15 cores=1,3,5,7
/proc/18030/task/18089/stat : 18089 (java) R 18027 18030 30500 0 -1 4202560 5267 12659 0 0 307 1 5 2 20 0 15 0 47561530 14409330688 95308 18446744073709551615 4194304 4196468 140728722531696 140144439940752 140144947965658 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18090] ppid=18027 vsize=14071612 CPUtime=3.72 cores=1,3,5,7
/proc/18030/task/18090/stat : 18090 (java) R 18027 18030 30500 0 -1 4202560 12142 12659 0 0 363 2 5 2 20 0 15 0 47561530 14409330688 95308 18446744073709551615 4194304 4196468 140728722531696 140144438886336 140144950000147 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18091] ppid=18027 vsize=14071612 CPUtime=2.23 cores=1,3,5,7
/proc/18030/task/18091/stat : 18091 (java) S 18027 18030 30500 0 -1 1077944384 7581 12659 0 0 213 3 5 2 20 0 15 0 47561530 14409330688 95308 18446744073709551615 4194304 4196468 140728722531696 140144437844336 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18092] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18092/stat : 18092 (java) S 18027 18030 30500 0 -1 1077944384 3 12659 0 0 0 0 5 2 20 0 15 0 47561530 14409330688 95308 18446744073709551615 4194304 4196468 140728722531696 140144436791776 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18093] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18093/stat : 18093 (java) S 18027 18030 30500 0 -1 1077944384 12 12659 0 0 0 0 5 2 20 0 15 0 47561539 14409330688 95308 18446744073709551615 4194304 4196468 140728722531696 140144435739568 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
Current children cumulated CPU time (s) 15.15
Current children cumulated vsize (KiB) 14071612
[startup+12.7007 s]
/proc/loadavg: 1.89 1.53 1.56 3/213 18093
/proc/meminfo: memFree=30022116/32770624 swapFree=0/298516
[pid=18030] ppid=18027 vsize=14071612 CPUtime=23.26 cores=1,3,5,7
/proc/18030/stat : 18030 (java) S 18027 18030 30500 0 -1 1077944320 87342 12659 0 0 2279 40 5 2 20 0 15 0 47561502 14409330688 197434 18446744073709551615 4194304 4196468 140728722531696 140728722514240 140144966442743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
/proc/18030/statm: 3517903 197434 3480 1 0 3506517 0
[pid=18030/tid=18080] ppid=18027 vsize=14071612 CPUtime=12.21 cores=1,3,5,7
/proc/18030/task/18080/stat : 18080 (java) R 18027 18030 30500 0 -1 4202560 46679 12659 0 0 1197 17 5 2 20 0 15 0 47561524 14409330688 197434 18446744073709551615 4194304 4196468 140728722531696 140144970676400 140144951652976 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18081] ppid=18027 vsize=14071612 CPUtime=0.2 cores=1,3,5,7
/proc/18030/task/18081/stat : 18081 (java) S 18027 18030 30500 0 -1 1077944384 255 12659 0 0 11 2 5 2 20 0 15 0 47561525 14409330688 197434 18446744073709551615 4194304 4196468 140728722531696 140144923408784 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18082] ppid=18027 vsize=14071612 CPUtime=0.19 cores=1,3,5,7
/proc/18030/task/18082/stat : 18082 (java) S 18027 18030 30500 0 -1 1077944384 565 12659 0 0 10 2 5 2 20 0 15 0 47561525 14409330688 197434 18446744073709551615 4194304 4196468 140728722531696 140144922355984 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18083] ppid=18027 vsize=14071612 CPUtime=0.21 cores=1,3,5,7
/proc/18030/task/18083/stat : 18083 (java) S 18027 18030 30500 0 -1 1077944384 1722 12659 0 0 11 3 5 2 20 0 15 0 47561525 14409330688 197434 18446744073709551615 4194304 4196468 140728722531696 140144921303696 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18084] ppid=18027 vsize=14071612 CPUtime=0.19 cores=1,3,5,7
/proc/18030/task/18084/stat : 18084 (java) S 18027 18030 30500 0 -1 1077944384 384 12659 0 0 9 3 5 2 20 0 15 0 47561525 14409330688 197434 18446744073709551615 4194304 4196468 140728722531696 140144920250896 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18085] ppid=18027 vsize=14071612 CPUtime=0.13 cores=1,3,5,7
/proc/18030/task/18085/stat : 18085 (java) S 18027 18030 30500 0 -1 1077944384 2931 12659 0 0 6 0 5 2 20 0 15 0 47561526 14409330688 197434 18446744073709551615 4194304 4196468 140728722531696 140144444160624 140144966453890 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18086] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18086/stat : 18086 (java) S 18027 18030 30500 0 -1 1077944384 56 12659 0 0 0 0 5 2 20 0 15 0 47561527 14409330688 197434 18446744073709551615 4194304 4196468 140728722531696 140144443106720 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18087] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18087/stat : 18087 (java) S 18027 18030 30500 0 -1 1077944384 43 12659 0 0 0 0 5 2 20 0 15 0 47561527 14409330688 197434 18446744073709551615 4194304 4196468 140728722531696 140144442054272 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18088] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18088/stat : 18088 (java) S 18027 18030 30500 0 -1 1077944384 3 12659 0 0 0 0 5 2 20 0 15 0 47561530 14409330688 197434 18446744073709551615 4194304 4196468 140728722531696 140144441002576 140144966461339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
################
# More data... #
################
/proc/18030/task/18092/stat : 18092 (java) S 18027 18030 30500 0 -1 1077944384 3 12659 0 0 0 0 5 2 20 0 15 0 47561530 14409330688 350875 18446744073709551615 4194304 4196468 140728722531696 140144436791776 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18093] ppid=18027 vsize=14071612 CPUtime=0.12 cores=1,3,5,7
/proc/18030/task/18093/stat : 18093 (java) S 18027 18030 30500 0 -1 1077944384 126 12659 0 0 2 3 5 2 20 0 15 0 47561539 14409330688 350875 18446744073709551615 4194304 4196468 140728722531696 140144435739568 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
Current children cumulated CPU time (s) 114.32
Current children cumulated vsize (KiB) 14071612
[startup+162.301 s]
/proc/loadavg: 1.38 1.51 1.56 3/215 18227
/proc/meminfo: memFree=29308820/32770624 swapFree=0/298604
[pid=18030] ppid=18027 vsize=14071612 CPUtime=175.14 cores=1,3,5,7
/proc/18030/stat : 18030 (java) S 18027 18030 30500 0 -1 1077944320 120513 12659 0 0 17436 71 5 2 20 0 15 0 47561502 14409330688 346472 18446744073709551615 4194304 4196468 140728722531696 140728722514240 140144966442743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
/proc/18030/statm: 3517903 346472 3482 1 0 3506517 0
[pid=18030/tid=18080] ppid=18027 vsize=14071612 CPUtime=161.04 cores=1,3,5,7
/proc/18030/task/18080/stat : 18080 (java) R 18027 18030 30500 0 -1 4202560 54115 12659 0 0 16069 28 5 2 20 0 15 0 47561524 14409330688 346472 18446744073709551615 4194304 4196468 140728722531696 140144970676320 140144600290870 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18081] ppid=18027 vsize=14071612 CPUtime=0.62 cores=1,3,5,7
/proc/18030/task/18081/stat : 18081 (java) S 18027 18030 30500 0 -1 1077944384 465 12659 0 0 49 6 5 2 20 0 15 0 47561525 14409330688 346472 18446744073709551615 4194304 4196468 140728722531696 140144923408784 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18082] ppid=18027 vsize=14071612 CPUtime=0.61 cores=1,3,5,7
/proc/18030/task/18082/stat : 18082 (java) S 18027 18030 30500 0 -1 1077944384 1943 12659 0 0 49 5 5 2 20 0 15 0 47561525 14409330688 346472 18446744073709551615 4194304 4196468 140728722531696 140144922355984 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18083] ppid=18027 vsize=14071612 CPUtime=0.62 cores=1,3,5,7
/proc/18030/task/18083/stat : 18083 (java) S 18027 18030 30500 0 -1 1077944384 4896 12659 0 0 49 6 5 2 20 0 15 0 47561525 14409330688 346472 18446744073709551615 4194304 4196468 140728722531696 140144921303696 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18084] ppid=18027 vsize=14071612 CPUtime=0.61 cores=1,3,5,7
/proc/18030/task/18084/stat : 18084 (java) S 18027 18030 30500 0 -1 1077944384 2930 12659 0 0 48 6 5 2 20 0 15 0 47561525 14409330688 346472 18446744073709551615 4194304 4196468 140728722531696 140144920250896 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18085] ppid=18027 vsize=14071612 CPUtime=0.44 cores=1,3,5,7
/proc/18030/task/18085/stat : 18085 (java) S 18027 18030 30500 0 -1 1077944384 4256 12659 0 0 34 3 5 2 20 0 15 0 47561526 14409330688 346472 18446744073709551615 4194304 4196468 140728722531696 140144444160624 140144966453890 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18086] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18086/stat : 18086 (java) S 18027 18030 30500 0 -1 1077944384 56 12659 0 0 0 0 5 2 20 0 15 0 47561527 14409330688 346472 18446744073709551615 4194304 4196468 140728722531696 140144443106720 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18087] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18087/stat : 18087 (java) S 18027 18030 30500 0 -1 1077944384 43 12659 0 0 0 0 5 2 20 0 15 0 47561527 14409330688 346472 18446744073709551615 4194304 4196468 140728722531696 140144442054272 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18088] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18088/stat : 18088 (java) S 18027 18030 30500 0 -1 1077944384 3 12659 0 0 0 0 5 2 20 0 15 0 47561530 14409330688 346472 18446744073709551615 4194304 4196468 140728722531696 140144441002576 140144966461339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18089] ppid=18027 vsize=14071612 CPUtime=4.34 cores=1,3,5,7
/proc/18030/task/18089/stat : 18089 (java) S 18027 18030 30500 0 -1 1077944384 12229 12659 0 0 425 2 5 2 20 0 15 0 47561530 14409330688 346472 18446744073709551615 4194304 4196468 140728722531696 140144439949424 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18090] ppid=18027 vsize=14071612 CPUtime=4.87 cores=1,3,5,7
/proc/18030/task/18090/stat : 18090 (java) S 18027 18030 30500 0 -1 1077944384 21575 12659 0 0 477 3 5 2 20 0 15 0 47561530 14409330688 346472 18446744073709551615 4194304 4196468 140728722531696 140144438896624 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18091] ppid=18027 vsize=14071612 CPUtime=2.35 cores=1,3,5,7
/proc/18030/task/18091/stat : 18091 (java) S 18027 18030 30500 0 -1 1077944384 15691 12659 0 0 224 4 5 2 20 0 15 0 47561530 14409330688 346472 18446744073709551615 4194304 4196468 140728722531696 140144437844336 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18092] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18092/stat : 18092 (java) S 18027 18030 30500 0 -1 1077944384 3 12659 0 0 0 0 5 2 20 0 15 0 47561530 14409330688 346472 18446744073709551615 4194304 4196468 140728722531696 140144436791776 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18093] ppid=18027 vsize=14071612 CPUtime=0.15 cores=1,3,5,7
/proc/18030/task/18093/stat : 18093 (java) S 18027 18030 30500 0 -1 1077944384 154 12659 0 0 3 5 5 2 20 0 15 0 47561539 14409330688 346472 18446744073709551615 4194304 4196468 140728722531696 140144435739568 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
Current children cumulated CPU time (s) 175.14
Current children cumulated vsize (KiB) 14071612
[startup+222.307 s]
/proc/loadavg: 1.37 1.47 1.54 3/217 18243
/proc/meminfo: memFree=29318296/32770624 swapFree=0/298708
[pid=18030] ppid=18027 vsize=14071612 CPUtime=236.07 cores=1,3,5,7
/proc/18030/stat : 18030 (java) S 18027 18030 30500 0 -1 1077944320 125873 12659 0 0 23520 80 5 2 20 0 15 0 47561502 14409330688 345397 18446744073709551615 4194304 4196468 140728722531696 140728722514240 140144966442743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
/proc/18030/statm: 3517903 345397 3482 1 0 3506517 0
[pid=18030/tid=18080] ppid=18027 vsize=14071612 CPUtime=220.47 cores=1,3,5,7
/proc/18030/task/18080/stat : 18080 (java) R 18027 18030 30500 0 -1 4202560 56236 12659 0 0 22011 29 5 2 20 0 15 0 47561524 14409330688 345397 18446744073709551615 4194304 4196468 140728722531696 140144970676592 140144951652584 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18081] ppid=18027 vsize=14071612 CPUtime=0.94 cores=1,3,5,7
/proc/18030/task/18081/stat : 18081 (java) S 18027 18030 30500 0 -1 1077944384 1681 12659 0 0 79 8 5 2 20 0 15 0 47561525 14409330688 345397 18446744073709551615 4194304 4196468 140728722531696 140144923408784 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18082] ppid=18027 vsize=14071612 CPUtime=0.93 cores=1,3,5,7
/proc/18030/task/18082/stat : 18082 (java) S 18027 18030 30500 0 -1 1077944384 2000 12659 0 0 79 7 5 2 20 0 15 0 47561525 14409330688 345397 18446744073709551615 4194304 4196468 140728722531696 140144922355984 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18083] ppid=18027 vsize=14071612 CPUtime=0.94 cores=1,3,5,7
/proc/18030/task/18083/stat : 18083 (java) S 18027 18030 30500 0 -1 1077944384 6110 12659 0 0 79 8 5 2 20 0 15 0 47561525 14409330688 345397 18446744073709551615 4194304 4196468 140728722531696 140144921303696 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18084] ppid=18027 vsize=14071612 CPUtime=0.92 cores=1,3,5,7
/proc/18030/task/18084/stat : 18084 (java) S 18027 18030 30500 0 -1 1077944384 2975 12659 0 0 77 8 5 2 20 0 15 0 47561525 14409330688 345397 18446744073709551615 4194304 4196468 140728722531696 140144920250896 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18085] ppid=18027 vsize=14071612 CPUtime=0.67 cores=1,3,5,7
/proc/18030/task/18085/stat : 18085 (java) S 18027 18030 30500 0 -1 1077944384 4917 12659 0 0 56 4 5 2 20 0 15 0 47561526 14409330688 345397 18446744073709551615 4194304 4196468 140728722531696 140144444160624 140144966453890 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18086] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18086/stat : 18086 (java) S 18027 18030 30500 0 -1 1077944384 56 12659 0 0 0 0 5 2 20 0 15 0 47561527 14409330688 345397 18446744073709551615 4194304 4196468 140728722531696 140144443106720 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18087] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18087/stat : 18087 (java) S 18027 18030 30500 0 -1 1077944384 43 12659 0 0 0 0 5 2 20 0 15 0 47561527 14409330688 345397 18446744073709551615 4194304 4196468 140728722531696 140144442054272 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18088] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18088/stat : 18088 (java) S 18027 18030 30500 0 -1 1077944384 3 12659 0 0 0 0 5 2 20 0 15 0 47561530 14409330688 345397 18446744073709551615 4194304 4196468 140728722531696 140144441002576 140144966461339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18089] ppid=18027 vsize=14071612 CPUtime=4.34 cores=1,3,5,7
/proc/18030/task/18089/stat : 18089 (java) S 18027 18030 30500 0 -1 1077944384 12231 12659 0 0 425 2 5 2 20 0 15 0 47561530 14409330688 345397 18446744073709551615 4194304 4196468 140728722531696 140144439949424 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18090] ppid=18027 vsize=14071612 CPUtime=4.87 cores=1,3,5,7
/proc/18030/task/18090/stat : 18090 (java) S 18027 18030 30500 0 -1 1077944384 21579 12659 0 0 477 3 5 2 20 0 15 0 47561530 14409330688 345397 18446744073709551615 4194304 4196468 140728722531696 140144438896624 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18091] ppid=18027 vsize=14071612 CPUtime=2.35 cores=1,3,5,7
/proc/18030/task/18091/stat : 18091 (java) S 18027 18030 30500 0 -1 1077944384 15693 12659 0 0 224 4 5 2 20 0 15 0 47561530 14409330688 345397 18446744073709551615 4194304 4196468 140728722531696 140144437844336 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18092] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18092/stat : 18092 (java) S 18027 18030 30500 0 -1 1077944384 3 12659 0 0 0 0 5 2 20 0 15 0 47561530 14409330688 345397 18446744073709551615 4194304 4196468 140728722531696 140144436791776 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18093] ppid=18027 vsize=14071612 CPUtime=0.18 cores=1,3,5,7
/proc/18030/task/18093/stat : 18093 (java) S 18027 18030 30500 0 -1 1077944384 192 12659 0 0 4 7 5 2 20 0 15 0 47561539 14409330688 345397 18446744073709551615 4194304 4196468 140728722531696 140144435739568 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
Current children cumulated CPU time (s) 236.07
Current children cumulated vsize (KiB) 14071612
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.28 1.45 1.53 3/217 18244
/proc/meminfo: memFree=29318852/32770624 swapFree=0/298728
[pid=18030] ppid=18027 vsize=14071612 CPUtime=254.04 cores=1,3,5,7
/proc/18030/stat : 18030 (java) S 18027 18030 30500 0 -1 1077944320 128126 12659 0 0 25315 82 5 2 20 0 15 0 47561502 14409330688 345424 18446744073709551615 4194304 4196468 140728722531696 140728722514240 140144966442743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
/proc/18030/statm: 3517903 345424 3482 1 0 3506517 0
[pid=18030/tid=18080] ppid=18027 vsize=14071612 CPUtime=237.98 cores=1,3,5,7
/proc/18030/task/18080/stat : 18080 (java) R 18027 18030 30500 0 -1 4202560 57033 12659 0 0 23762 29 5 2 20 0 15 0 47561524 14409330688 345424 18446744073709551615 4194304 4196468 140728722531696 140144970676592 140144947849042 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18081] ppid=18027 vsize=14071612 CPUtime=1.03 cores=1,3,5,7
/proc/18030/task/18081/stat : 18081 (java) S 18027 18030 30500 0 -1 1077944384 1830 12659 0 0 88 8 5 2 20 0 15 0 47561525 14409330688 345424 18446744073709551615 4194304 4196468 140728722531696 140144923408784 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18082] ppid=18027 vsize=14071612 CPUtime=1.02 cores=1,3,5,7
/proc/18030/task/18082/stat : 18082 (java) S 18027 18030 30500 0 -1 1077944384 2024 12659 0 0 87 8 5 2 20 0 15 0 47561525 14409330688 345424 18446744073709551615 4194304 4196468 140728722531696 140144922355984 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18083] ppid=18027 vsize=14071612 CPUtime=1.03 cores=1,3,5,7
/proc/18030/task/18083/stat : 18083 (java) S 18027 18030 30500 0 -1 1077944384 6134 12659 0 0 88 8 5 2 20 0 15 0 47561525 14409330688 345424 18446744073709551615 4194304 4196468 140728722531696 140144921303696 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18084] ppid=18027 vsize=14071612 CPUtime=1.01 cores=1,3,5,7
/proc/18030/task/18084/stat : 18084 (java) S 18027 18030 30500 0 -1 1077944384 4137 12659 0 0 86 8 5 2 20 0 15 0 47561525 14409330688 345424 18446744073709551615 4194304 4196468 140728722531696 140144920250896 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18085] ppid=18027 vsize=14071612 CPUtime=0.75 cores=1,3,5,7
/proc/18030/task/18085/stat : 18085 (java) S 18027 18030 30500 0 -1 1077944384 5006 12659 0 0 63 5 5 2 20 0 15 0 47561526 14409330688 345424 18446744073709551615 4194304 4196468 140728722531696 140144444160624 140144966453890 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18086] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18086/stat : 18086 (java) S 18027 18030 30500 0 -1 1077944384 56 12659 0 0 0 0 5 2 20 0 15 0 47561527 14409330688 345424 18446744073709551615 4194304 4196468 140728722531696 140144443106720 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18087] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18087/stat : 18087 (java) S 18027 18030 30500 0 -1 1077944384 43 12659 0 0 0 0 5 2 20 0 15 0 47561527 14409330688 345424 18446744073709551615 4194304 4196468 140728722531696 140144442054272 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18088] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18088/stat : 18088 (java) S 18027 18030 30500 0 -1 1077944384 3 12659 0 0 0 0 5 2 20 0 15 0 47561530 14409330688 345424 18446744073709551615 4194304 4196468 140728722531696 140144441002576 140144966461339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18089] ppid=18027 vsize=14071612 CPUtime=4.34 cores=1,3,5,7
/proc/18030/task/18089/stat : 18089 (java) S 18027 18030 30500 0 -1 1077944384 12231 12659 0 0 425 2 5 2 20 0 15 0 47561530 14409330688 345424 18446744073709551615 4194304 4196468 140728722531696 140144439949424 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18090] ppid=18027 vsize=14071612 CPUtime=4.87 cores=1,3,5,7
/proc/18030/task/18090/stat : 18090 (java) S 18027 18030 30500 0 -1 1077944384 21579 12659 0 0 477 3 5 2 20 0 15 0 47561530 14409330688 345424 18446744073709551615 4194304 4196468 140728722531696 140144438896624 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18091] ppid=18027 vsize=14071612 CPUtime=2.35 cores=1,3,5,7
/proc/18030/task/18091/stat : 18091 (java) S 18027 18030 30500 0 -1 1077944384 15693 12659 0 0 224 4 5 2 20 0 15 0 47561530 14409330688 345424 18446744073709551615 4194304 4196468 140728722531696 140144437844336 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18092] ppid=18027 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18092/stat : 18092 (java) S 18027 18030 30500 0 -1 1077944384 3 12659 0 0 0 0 5 2 20 0 15 0 47561530 14409330688 345424 18446744073709551615 4194304 4196468 140728722531696 140144436791776 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18093] ppid=18027 vsize=14071612 CPUtime=0.2 cores=1,3,5,7
/proc/18030/task/18093/stat : 18093 (java) S 18027 18030 30500 0 -1 1077944384 200 12659 0 0 5 8 5 2 20 0 15 0 47561539 14409330688 345424 18446744073709551615 4194304 4196468 140728722531696 140144435739568 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
Current children cumulated CPU time (s) 254.04
Current children cumulated vsize (KiB) 14071612
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 18030 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.201 s]
/proc/loadavg: 1.28 1.45 1.53 3/217 18244
/proc/meminfo: memFree=29318852/32770624 swapFree=0/298728
[pid=18030] ppid=18027 vsize=14204740 CPUtime=254.57 cores=1,3,5,7
/proc/18030/stat : 18030 (java) S 18027 18030 30500 0 -1 1077944320 142461 12659 0 0 25366 84 5 2 20 0 17 0 47561502 14545653760 347228 18446744073709551615 4194304 4196468 140728722531696 140728722514240 140144966442743 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
/proc/18030/statm: 3551185 347228 3482 1 0 3539799 0
[pid=18030/tid=18080] ppid=18027 vsize=14204740 CPUtime=237.99 cores=1,3,5,7
/proc/18030/task/18080/stat : 18080 (java) S 18027 18030 30500 0 -1 1077944384 58146 12659 0 0 23763 29 5 2 20 0 17 0 47561524 14545653760 347228 18446744073709551615 4194304 4196468 140728722531696 140144970680528 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18081] ppid=18027 vsize=14204740 CPUtime=1.14 cores=1,3,5,7
/proc/18030/task/18081/stat : 18081 (java) S 18027 18030 30500 0 -1 1077944384 1877 12659 0 0 99 8 5 2 20 0 17 0 47561525 14545653760 347228 18446744073709551615 4194304 4196468 140728722531696 140144923408784 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18082] ppid=18027 vsize=14204740 CPUtime=1.13 cores=1,3,5,7
/proc/18030/task/18082/stat : 18082 (java) S 18027 18030 30500 0 -1 1077944384 2058 12659 0 0 98 8 5 2 20 0 17 0 47561525 14545653760 347228 18446744073709551615 4194304 4196468 140728722531696 140144922355984 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18083] ppid=18027 vsize=14204740 CPUtime=1.14 cores=1,3,5,7
/proc/18030/task/18083/stat : 18083 (java) S 18027 18030 30500 0 -1 1077944384 6208 12659 0 0 99 8 5 2 20 0 17 0 47561525 14545653760 347228 18446744073709551615 4194304 4196468 140728722531696 140144921303696 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18084] ppid=18027 vsize=14204740 CPUtime=1.13 cores=1,3,5,7
/proc/18030/task/18084/stat : 18084 (java) S 18027 18030 30500 0 -1 1077944384 4208 12659 0 0 97 9 5 2 20 0 17 0 47561525 14545653760 347228 18446744073709551615 4194304 4196468 140728722531696 140144920250896 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18085] ppid=18027 vsize=14204740 CPUtime=0.82 cores=1,3,5,7
/proc/18030/task/18085/stat : 18085 (java) R 18027 18030 30500 0 -1 4202560 17388 12659 0 0 70 5 5 2 20 0 17 0 47561526 14545653760 347228 18446744073709551615 4194304 4196468 140728722531696 140144444159024 140144952134443 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18086] ppid=18027 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18086/stat : 18086 (java) S 18027 18030 30500 0 -1 1077944384 58 12659 0 0 0 0 5 2 20 0 17 0 47561527 14545653760 347228 18446744073709551615 4194304 4196468 140728722531696 140144443106224 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18087] ppid=18027 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18087/stat : 18087 (java) S 18027 18030 30500 0 -1 1077944384 43 12659 0 0 0 0 5 2 20 0 17 0 47561527 14545653760 347228 18446744073709551615 4194304 4196468 140728722531696 140144442054272 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18088] ppid=18027 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18088/stat : 18088 (java) S 18027 18030 30500 0 -1 1077944384 254 12659 0 0 0 0 5 2 20 0 17 0 47561530 14545653760 347228 18446744073709551615 4194304 4196468 140728722531696 140144441002576 140144966461339 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18089] ppid=18027 vsize=14204740 CPUtime=4.34 cores=1,3,5,7
/proc/18030/task/18089/stat : 18089 (java) S 18027 18030 30500 0 -1 1077944384 12231 12659 0 0 425 2 5 2 20 0 17 0 47561530 14545653760 347228 18446744073709551615 4194304 4196468 140728722531696 140144439949424 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18090] ppid=18027 vsize=14204740 CPUtime=4.87 cores=1,3,5,7
/proc/18030/task/18090/stat : 18090 (java) S 18027 18030 30500 0 -1 1077944384 21579 12659 0 0 477 3 5 2 20 0 17 0 47561530 14545653760 347228 18446744073709551615 4194304 4196468 140728722531696 140144438896624 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18091] ppid=18027 vsize=14204740 CPUtime=2.35 cores=1,3,5,7
/proc/18030/task/18091/stat : 18091 (java) S 18027 18030 30500 0 -1 1077944384 15693 12659 0 0 224 4 5 2 20 0 17 0 47561530 14545653760 347228 18446744073709551615 4194304 4196468 140728722531696 140144437844336 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18092] ppid=18027 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/18030/task/18092/stat : 18092 (java) S 18027 18030 30500 0 -1 1077944384 3 12659 0 0 0 0 5 2 20 0 17 0 47561530 14545653760 347228 18446744073709551615 4194304 4196468 140728722531696 140144436791776 140144966452949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
[pid=18030/tid=18093] ppid=18027 vsize=14204740 CPUtime=0.2 cores=1,3,5,7
/proc/18030/task/18093/stat : 18093 (java) S 18027 18030 30500 0 -1 1077944384 200 12659 0 0 5 8 5 2 20 0 17 0 47561539 14545653760 347228 18446744073709551615 4194304 4196468 140728722531696 140144435739568 140144966453890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25792512 140728722536403 140728722539188 140728722539188 140728722542543 0
Current children cumulated CPU time (s) 254.57
Current children cumulated vsize (KiB) 14204740
Child status: 143
Real time (s): 240.276
CPU time (s): 254.729
CPU user time (s): 253.842
CPU system time (s): 0.887323
CPU usage (%): 106.015
Max. virtual memory (cumulated for all children) (KiB): 14204740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.842
system time used= 0.887323
maximum resident set size= 1502468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155464
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25649
involuntary context switches= 629
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24629 second user time and 1.37809 second system time
The end