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-4262368-1502436913/watcher-4262368-1502436913 -o /tmp/evaluation-result-4262368-1502436913/solver-4262368-1502436913 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13072 --watchdog 2580 bin/concrete HOME/instance-4262368-1502436913.xml
pid=20172
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.18 1.31 1.35 4/202 20175
/proc/meminfo: memFree=30505104/32770624 swapFree=0/460332
[pid=20175] ppid=20172 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20175/stat : 20175 (runsolver) D 20172 20175 13007 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 85602521 24240128 108 18446744073709551615 4194304 4338465 140736402178016 140736402175656 139746516189911 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 15446016 140736402186448 140736402186825 140736402186825 140736402190282 0
/proc/20175/statm: 5918 108 54 36 0 2156 0
[startup+0.100148 s]
/proc/loadavg: 1.18 1.31 1.35 4/202 20175
/proc/meminfo: memFree=30505104/32770624 swapFree=0/460332
[pid=20175] ppid=20172 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/20175/stat : 20175 (bash) S 20172 20175 13007 0 -1 4202496 896 6480 0 0 0 0 0 1 20 0 1 0 85602521 9867264 371 18446744073709551615 4194304 5098028 140735949980240 140735949974248 140644852898816 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 6 0 0 7196144 7232144 37543936 140735949984276 140735949984361 140735949984361 140735949987818 0
/proc/20175/statm: 2409 371 291 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200295 s]
/proc/loadavg: 1.18 1.31 1.35 4/202 20175
/proc/meminfo: memFree=30505104/32770624 swapFree=0/460332
[pid=20175] ppid=20172 vsize=13441360 CPUtime=0.09 cores=1,3,5,7
/proc/20175/stat : 20175 (java) S 20172 20175 13007 0 -1 1077944320 4624 12457 0 0 2 0 5 2 20 0 7 0 85602521 13763952640 4435 18446744073709551615 4194304 4196468 140732901795296 140732901777840 140031090425591 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
/proc/20175/statm: 3360340 4435 2017 1 0 3349837 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13441360
[startup+0.301965 s]
/proc/loadavg: 1.18 1.31 1.35 4/202 20175
/proc/meminfo: memFree=30505104/32770624 swapFree=0/460332
[pid=20175] ppid=20172 vsize=13974356 CPUtime=0.22 cores=1,3,5,7
/proc/20175/stat : 20175 (java) S 20172 20175 13007 0 -1 1077944320 6828 12457 0 0 14 1 5 2 20 0 15 0 85602521 14309740544 8499 18446744073709551615 4194304 4196468 140732901795296 140732901777840 140031090425591 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
/proc/20175/statm: 3493589 8499 2936 1 0 3482965 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 13974356
[startup+0.70026 s]
/proc/loadavg: 1.18 1.31 1.35 4/202 20175
/proc/meminfo: memFree=30505104/32770624 swapFree=0/460332
[pid=20175] ppid=20172 vsize=13974784 CPUtime=0.74 cores=1,3,5,7
/proc/20175/stat : 20175 (java) S 20172 20175 13007 0 -1 1077944320 14052 12457 0 0 63 4 5 2 20 0 15 0 85602521 14310178816 15496 18446744073709551615 4194304 4196468 140732901795296 140732901777840 140031090425591 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
/proc/20175/statm: 3493696 15496 3131 1 0 3482965 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 13974784
[startup+1.50061 s]
/proc/loadavg: 1.17 1.30 1.35 3/217 20238
/proc/meminfo: memFree=30401888/32770624 swapFree=0/460356
[pid=20175] ppid=20172 vsize=13985408 CPUtime=1.99 cores=1,3,5,7
/proc/20175/stat : 20175 (java) S 20172 20175 13007 0 -1 1077944320 26961 12457 0 0 182 10 5 2 20 0 15 0 85602521 14321057792 43371 18446744073709551615 4194304 4196468 140732901795296 140732901777840 140031090425591 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
/proc/20175/statm: 3496352 43371 3373 1 0 3485525 0
[pid=20175/tid=20225] ppid=20172 vsize=13985408 CPUtime=1.31 cores=1,3,5,7
/proc/20175/task/20225/stat : 20225 (java) R 20172 20175 13007 0 -1 4202560 20501 12457 0 0 118 6 5 2 20 0 15 0 85602538 14321057792 43371 18446744073709551615 4194304 4196468 140732901795296 140031094653264 140031073783894 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20226] ppid=20172 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20226/stat : 20226 (java) S 20172 20175 13007 0 -1 1077944384 44 12457 0 0 0 0 5 2 20 0 15 0 85602539 14321057792 43371 18446744073709551615 4194304 4196468 140732901795296 140031047391504 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20227] ppid=20172 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20175/task/20227/stat : 20227 (java) S 20172 20175 13007 0 -1 1077944384 35 12457 0 0 1 0 5 2 20 0 15 0 85602539 14321057792 43371 18446744073709551615 4194304 4196468 140732901795296 140031046338960 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20228] ppid=20172 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20228/stat : 20228 (java) S 20172 20175 13007 0 -1 1077944384 173 12457 0 0 0 0 5 2 20 0 15 0 85602539 14321057792 43371 18446744073709551615 4194304 4196468 140732901795296 140031045286416 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20229] ppid=20172 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20175/task/20229/stat : 20229 (java) S 20172 20175 13007 0 -1 1077944384 43 12457 0 0 1 0 5 2 20 0 15 0 85602539 14321057792 43371 18446744073709551615 4194304 4196468 140732901795296 140031044233872 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20230] ppid=20172 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20175/task/20230/stat : 20230 (java) S 20172 20175 13007 0 -1 1077944384 643 12457 0 0 1 0 5 2 20 0 15 0 85602540 14321057792 43371 18446744073709551615 4194304 4196468 140732901795296 140030636087792 140031090436738 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20231] ppid=20172 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20231/stat : 20231 (java) S 20172 20175 13007 0 -1 1077944384 34 12457 0 0 0 0 5 2 20 0 15 0 85602541 14321057792 43371 18446744073709551615 4194304 4196468 140732901795296 140030635034080 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20232] ppid=20172 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20232/stat : 20232 (java) S 20172 20175 13007 0 -1 1077944384 22 12457 0 0 0 0 5 2 20 0 15 0 85602541 14321057792 43371 18446744073709551615 4194304 4196468 140732901795296 140030633981440 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20233] ppid=20172 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20233/stat : 20233 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 15 0 85602544 14321057792 43371 18446744073709551615 4194304 4196468 140732901795296 140030632930000 140031090444187 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20234] ppid=20172 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/20175/task/20234/stat : 20234 (java) S 20172 20175 13007 0 -1 1077944384 1375 12457 0 0 17 0 5 2 20 0 15 0 85602544 14321057792 43371 18446744073709551615 4194304 4196468 140732901795296 140030631876592 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20235] ppid=20172 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/20175/task/20235/stat : 20235 (java) R 20172 20175 13007 0 -1 4202560 610 12457 0 0 15 0 5 2 20 0 15 0 85602544 14321057792 43371 18446744073709551615 4194304 4196468 140732901795296 140030001790480 140031071970185 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20236] ppid=20172 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/20175/task/20236/stat : 20236 (java) S 20172 20175 13007 0 -1 1077944384 1317 12457 0 0 24 0 5 2 20 0 15 0 85602544 14321057792 43371 18446744073709551615 4194304 4196468 140732901795296 140030000748784 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20237] ppid=20172 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20237/stat : 20237 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 15 0 85602544 14321057792 43371 18446744073709551615 4194304 4196468 140732901795296 140029999696480 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20238] ppid=20172 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20238/stat : 20238 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 15 0 85602547 14321057792 43371 18446744073709551615 4194304 4196468 140732901795296 140029998644016 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 13985408
[startup+3.1016 s]
/proc/loadavg: 1.17 1.30 1.35 4/217 20238
/proc/meminfo: memFree=30330420/32770624 swapFree=0/460356
[pid=20175] ppid=20172 vsize=14001980 CPUtime=5.56 cores=1,3,5,7
/proc/20175/stat : 20175 (java) S 20172 20175 13007 0 -1 1077944320 40249 12457 0 0 534 15 5 2 20 0 15 0 85602521 14338027520 61236 18446744073709551615 4194304 4196468 140732901795296 140732901777840 140031090425591 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
/proc/20175/statm: 3500495 61236 3442 1 0 3489109 0
[pid=20175/tid=20225] ppid=20172 vsize=14001980 CPUtime=2.87 cores=1,3,5,7
/proc/20175/task/20225/stat : 20225 (java) R 20172 20175 13007 0 -1 4202560 29513 12457 0 0 271 9 5 2 20 0 15 0 85602538 14338027520 61236 18446744073709551615 4194304 4196468 140732901795296 140031094659200 140031070700894 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20226] ppid=20172 vsize=14001980 CPUtime=0.09 cores=1,3,5,7
/proc/20175/task/20226/stat : 20226 (java) S 20172 20175 13007 0 -1 1077944384 53 12457 0 0 2 0 5 2 20 0 15 0 85602539 14338027520 61236 18446744073709551615 4194304 4196468 140732901795296 140031047391504 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20227] ppid=20172 vsize=14001980 CPUtime=0.09 cores=1,3,5,7
/proc/20175/task/20227/stat : 20227 (java) S 20172 20175 13007 0 -1 1077944384 49 12457 0 0 2 0 5 2 20 0 15 0 85602539 14338027520 61236 18446744073709551615 4194304 4196468 140732901795296 140031046338960 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20228] ppid=20172 vsize=14001980 CPUtime=0.09 cores=1,3,5,7
/proc/20175/task/20228/stat : 20228 (java) S 20172 20175 13007 0 -1 1077944384 179 12457 0 0 2 0 5 2 20 0 15 0 85602539 14338027520 61236 18446744073709551615 4194304 4196468 140732901795296 140031045286416 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20229] ppid=20172 vsize=14001980 CPUtime=0.09 cores=1,3,5,7
/proc/20175/task/20229/stat : 20229 (java) S 20172 20175 13007 0 -1 1077944384 56 12457 0 0 2 0 5 2 20 0 15 0 85602539 14338027520 61236 18446744073709551615 4194304 4196468 140732901795296 140031044233872 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20230] ppid=20172 vsize=14001980 CPUtime=0.1 cores=1,3,5,7
/proc/20175/task/20230/stat : 20230 (java) S 20172 20175 13007 0 -1 1077944384 825 12457 0 0 3 0 5 2 20 0 15 0 85602540 14338027520 61236 18446744073709551615 4194304 4196468 140732901795296 140030636087792 140031090436738 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20231] ppid=20172 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20231/stat : 20231 (java) S 20172 20175 13007 0 -1 1077944384 34 12457 0 0 0 0 5 2 20 0 15 0 85602541 14338027520 61236 18446744073709551615 4194304 4196468 140732901795296 140030635034080 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20232] ppid=20172 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20232/stat : 20232 (java) S 20172 20175 13007 0 -1 1077944384 22 12457 0 0 0 0 5 2 20 0 15 0 85602541 14338027520 61236 18446744073709551615 4194304 4196468 140732901795296 140030633981440 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20233] ppid=20172 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20233/stat : 20233 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 15 0 85602544 14338027520 61236 18446744073709551615 4194304 4196468 140732901795296 140030632930000 140031090444187 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20234] ppid=20172 vsize=14001980 CPUtime=0.96 cores=1,3,5,7
/proc/20175/task/20234/stat : 20234 (java) R 20172 20175 13007 0 -1 4202560 3085 12457 0 0 88 1 5 2 20 0 15 0 85602544 14338027520 61236 18446744073709551615 4194304 4196468 140732901795296 140030631859744 140031069644259 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20235] ppid=20172 vsize=14001980 CPUtime=0.71 cores=1,3,5,7
/proc/20175/task/20235/stat : 20235 (java) R 20172 20175 13007 0 -1 4202560 1239 12457 0 0 64 0 5 2 20 0 15 0 85602544 14338027520 61236 18446744073709551615 4194304 4196468 140732901795296 140030001783024 140031071127069 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20236] ppid=20172 vsize=14001980 CPUtime=1.02 cores=1,3,5,7
/proc/20175/task/20236/stat : 20236 (java) S 20172 20175 13007 0 -1 1077944384 3030 12457 0 0 95 0 5 2 20 0 15 0 85602544 14338027520 61236 18446744073709551615 4194304 4196468 140732901795296 140030000748784 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20237] ppid=20172 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20237/stat : 20237 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 15 0 85602544 14338027520 61236 18446744073709551615 4194304 4196468 140732901795296 140029999696480 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20238] ppid=20172 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20238/stat : 20238 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 15 0 85602547 14338027520 61236 18446744073709551615 4194304 4196468 140732901795296 140029998644016 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
Current children cumulated CPU time (s) 5.56
Current children cumulated vsize (KiB) 14001980
[startup+6.30066 s]
/proc/loadavg: 1.17 1.30 1.35 3/217 20238
/proc/meminfo: memFree=30152420/32770624 swapFree=0/460356
[pid=20175] ppid=20172 vsize=14067516 CPUtime=11.52 cores=1,3,5,7
/proc/20175/stat : 20175 (java) S 20172 20175 13007 0 -1 1077944320 63557 12457 0 0 1124 21 5 2 20 0 15 0 85602521 14405136384 99430 18446744073709551615 4194304 4196468 140732901795296 140732901777840 140031090425591 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
/proc/20175/statm: 3516879 99430 3467 1 0 3505493 0
[pid=20175/tid=20225] ppid=20172 vsize=14067516 CPUtime=6.04 cores=1,3,5,7
/proc/20175/task/20225/stat : 20225 (java) R 20172 20175 13007 0 -1 4202560 38318 12457 0 0 585 12 5 2 20 0 15 0 85602538 14405136384 99430 18446744073709551615 4194304 4196468 140732901795296 140031094659328 140031071268608 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20226] ppid=20172 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/20175/task/20226/stat : 20226 (java) S 20172 20175 13007 0 -1 1077944384 111 12457 0 0 3 1 5 2 20 0 15 0 85602539 14405136384 99430 18446744073709551615 4194304 4196468 140732901795296 140031047391504 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20227] ppid=20172 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/20175/task/20227/stat : 20227 (java) S 20172 20175 13007 0 -1 1077944384 56 12457 0 0 3 0 5 2 20 0 15 0 85602539 14405136384 99430 18446744073709551615 4194304 4196468 140732901795296 140031046338960 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20228] ppid=20172 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/20175/task/20228/stat : 20228 (java) S 20172 20175 13007 0 -1 1077944384 191 12457 0 0 3 0 5 2 20 0 15 0 85602539 14405136384 99430 18446744073709551615 4194304 4196468 140732901795296 140031045286416 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20229] ppid=20172 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/20175/task/20229/stat : 20229 (java) S 20172 20175 13007 0 -1 1077944384 264 12457 0 0 3 0 5 2 20 0 15 0 85602539 14405136384 99430 18446744073709551615 4194304 4196468 140732901795296 140031044233872 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20230] ppid=20172 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/20175/task/20230/stat : 20230 (java) S 20172 20175 13007 0 -1 1077944384 992 12457 0 0 3 0 5 2 20 0 15 0 85602540 14405136384 99430 18446744073709551615 4194304 4196468 140732901795296 140030636087792 140031090436738 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20231] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20231/stat : 20231 (java) S 20172 20175 13007 0 -1 1077944384 38 12457 0 0 0 0 5 2 20 0 15 0 85602541 14405136384 99430 18446744073709551615 4194304 4196468 140732901795296 140030635034080 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20232] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20232/stat : 20232 (java) S 20172 20175 13007 0 -1 1077944384 29 12457 0 0 0 0 5 2 20 0 15 0 85602541 14405136384 99430 18446744073709551615 4194304 4196468 140732901795296 140030633981440 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20233] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20233/stat : 20233 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 15 0 85602544 14405136384 99430 18446744073709551615 4194304 4196468 140732901795296 140030632930000 140031090444187 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20234] ppid=20172 vsize=14067516 CPUtime=2.24 cores=1,3,5,7
/proc/20175/task/20234/stat : 20234 (java) S 20172 20175 13007 0 -1 1077944384 11419 12457 0 0 215 2 5 2 20 0 15 0 85602544 14405136384 99430 18446744073709551615 4194304 4196468 140732901795296 140030631876592 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20235] ppid=20172 vsize=14067516 CPUtime=1.97 cores=1,3,5,7
/proc/20175/task/20235/stat : 20235 (java) S 20172 20175 13007 0 -1 1077944384 4175 12457 0 0 189 1 5 2 20 0 15 0 85602544 14405136384 99430 18446744073709551615 4194304 4196468 140732901795296 140030001801328 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20236] ppid=20172 vsize=14067516 CPUtime=1.23 cores=1,3,5,7
/proc/20175/task/20236/stat : 20236 (java) S 20172 20175 13007 0 -1 1077944384 4681 12457 0 0 115 1 5 2 20 0 15 0 85602544 14405136384 99430 18446744073709551615 4194304 4196468 140732901795296 140030000748784 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20237] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20237/stat : 20237 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 15 0 85602544 14405136384 99430 18446744073709551615 4194304 4196468 140732901795296 140029999696480 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20238] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20238/stat : 20238 (java) S 20172 20175 13007 0 -1 1077944384 1122 12457 0 0 0 0 5 2 20 0 15 0 85602547 14405136384 99430 18446744073709551615 4194304 4196468 140732901795296 140029998644016 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (KiB) 14067516
[startup+12.7007 s]
/proc/loadavg: 1.14 1.29 1.34 3/217 20238
/proc/meminfo: memFree=29966716/32770624 swapFree=0/460352
[pid=20175] ppid=20172 vsize=14067516 CPUtime=18.03 cores=1,3,5,7
/proc/20175/stat : 20175 (java) S 20172 20175 13007 0 -1 1077944320 66642 12457 0 0 1770 26 5 2 20 0 15 0 85602521 14405136384 146189 18446744073709551615 4194304 4196468 140732901795296 140732901777840 140031090425591 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
/proc/20175/statm: 3516879 146189 3471 1 0 3505493 0
[pid=20175/tid=20225] ppid=20172 vsize=14067516 CPUtime=12.41 cores=1,3,5,7
/proc/20175/task/20225/stat : 20225 (java) R 20172 20175 13007 0 -1 4202560 39188 12457 0 0 1220 14 5 2 20 0 15 0 85602538 14405136384 146189 18446744073709551615 4194304 4196468 140732901795296 140031094659920 140030725419471 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20226] ppid=20172 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/20175/task/20226/stat : 20226 (java) S 20172 20175 13007 0 -1 1077944384 154 12457 0 0 3 1 5 2 20 0 15 0 85602539 14405136384 146189 18446744073709551615 4194304 4196468 140732901795296 140031047391504 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20227] ppid=20172 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/20175/task/20227/stat : 20227 (java) S 20172 20175 13007 0 -1 1077944384 949 12457 0 0 3 1 5 2 20 0 15 0 85602539 14405136384 146189 18446744073709551615 4194304 4196468 140732901795296 140031046338960 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20228] ppid=20172 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/20175/task/20228/stat : 20228 (java) S 20172 20175 13007 0 -1 1077944384 266 12457 0 0 4 1 5 2 20 0 15 0 85602539 14405136384 146189 18446744073709551615 4194304 4196468 140732901795296 140031045286416 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20229] ppid=20172 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/20175/task/20229/stat : 20229 (java) S 20172 20175 13007 0 -1 1077944384 426 12457 0 0 4 1 5 2 20 0 15 0 85602539 14405136384 146189 18446744073709551615 4194304 4196468 140732901795296 140031044233872 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20230] ppid=20172 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/20175/task/20230/stat : 20230 (java) S 20172 20175 13007 0 -1 1077944384 1098 12457 0 0 4 0 5 2 20 0 15 0 85602540 14405136384 146189 18446744073709551615 4194304 4196468 140732901795296 140030636087792 140031090436738 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20231] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20231/stat : 20231 (java) S 20172 20175 13007 0 -1 1077944384 38 12457 0 0 0 0 5 2 20 0 15 0 85602541 14405136384 146189 18446744073709551615 4194304 4196468 140732901795296 140030635034080 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20232] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20232/stat : 20232 (java) S 20172 20175 13007 0 -1 1077944384 29 12457 0 0 0 0 5 2 20 0 15 0 85602541 14405136384 146189 18446744073709551615 4194304 4196468 140732901795296 140030633981440 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20233] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20233/stat : 20233 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 15 0 85602544 14405136384 146189 18446744073709551615 4194304 4196468 140732901795296 140030632930000 140031090444187 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
################
# More data... #
################
/proc/20175/task/20237/stat : 20237 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 15 0 85602544 14405136384 189332 18446744073709551615 4194304 4196468 140732901795296 140029999696480 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20238] ppid=20172 vsize=14067516 CPUtime=1.46 cores=1,3,5,7
/proc/20175/task/20238/stat : 20238 (java) S 20172 20175 13007 0 -1 1077944384 1748 12457 0 0 61 78 5 2 20 0 15 0 85602547 14405136384 189332 18446744073709551615 4194304 4196468 140732901795296 140029998644016 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
Current children cumulated CPU time (s) 2359.68
Current children cumulated vsize (KiB) 14067516
[startup+2382.3 s]
/proc/loadavg: 1.49 1.39 1.34 3/217 20516
/proc/meminfo: memFree=29660204/32770624 swapFree=0/460832
[pid=20175] ppid=20172 vsize=14067516 CPUtime=2420.58 cores=1,3,5,7
/proc/20175/stat : 20175 (java) S 20172 20175 13007 0 -1 1077944320 145013 12457 0 0 241677 374 5 2 20 0 15 0 85602521 14405136384 189360 18446744073709551615 4194304 4196468 140732901795296 140732901777840 140031090425591 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
/proc/20175/statm: 3516879 189360 3471 1 0 3505493 0
[pid=20175/tid=20225] ppid=20172 vsize=14067516 CPUtime=2356.09 cores=1,3,5,7
/proc/20175/task/20225/stat : 20225 (java) R 20172 20175 13007 0 -1 4202560 73139 12457 0 0 235552 50 5 2 20 0 15 0 85602538 14405136384 189360 18446744073709551615 4194304 4196468 140732901795296 140031094660016 140031074740828 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20226] ppid=20172 vsize=14067516 CPUtime=11.73 cores=1,3,5,7
/proc/20175/task/20226/stat : 20226 (java) S 20172 20175 13007 0 -1 1077944384 7053 12457 0 0 1097 69 5 2 20 0 15 0 85602539 14405136384 189360 18446744073709551615 4194304 4196468 140732901795296 140031047391504 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20227] ppid=20172 vsize=14067516 CPUtime=11.72 cores=1,3,5,7
/proc/20175/task/20227/stat : 20227 (java) S 20172 20175 13007 0 -1 1077944384 9841 12457 0 0 1098 67 5 2 20 0 15 0 85602539 14405136384 189360 18446744073709551615 4194304 4196468 140732901795296 140031046338960 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20228] ppid=20172 vsize=14067516 CPUtime=11.75 cores=1,3,5,7
/proc/20175/task/20228/stat : 20228 (java) S 20172 20175 13007 0 -1 1077944384 7847 12457 0 0 1110 58 5 2 20 0 15 0 85602539 14405136384 189360 18446744073709551615 4194304 4196468 140732901795296 140031045286416 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20229] ppid=20172 vsize=14067516 CPUtime=11.76 cores=1,3,5,7
/proc/20175/task/20229/stat : 20229 (java) S 20172 20175 13007 0 -1 1077944384 8750 12457 0 0 1106 63 5 2 20 0 15 0 85602539 14405136384 189360 18446744073709551615 4194304 4196468 140732901795296 140031044233872 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20230] ppid=20172 vsize=14067516 CPUtime=10.98 cores=1,3,5,7
/proc/20175/task/20230/stat : 20230 (java) S 20172 20175 13007 0 -1 1077944384 8356 12457 0 0 1029 62 5 2 20 0 15 0 85602540 14405136384 189360 18446744073709551615 4194304 4196468 140732901795296 140030636087792 140031090436738 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20231] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20231/stat : 20231 (java) S 20172 20175 13007 0 -1 1077944384 38 12457 0 0 0 0 5 2 20 0 15 0 85602541 14405136384 189360 18446744073709551615 4194304 4196468 140732901795296 140030635034080 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20232] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20232/stat : 20232 (java) S 20172 20175 13007 0 -1 1077944384 29 12457 0 0 0 0 5 2 20 0 15 0 85602541 14405136384 189360 18446744073709551615 4194304 4196468 140732901795296 140030633981440 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20233] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20233/stat : 20233 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 15 0 85602544 14405136384 189360 18446744073709551615 4194304 4196468 140732901795296 140030632930000 140031090444187 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20234] ppid=20172 vsize=14067516 CPUtime=2.29 cores=1,3,5,7
/proc/20175/task/20234/stat : 20234 (java) S 20172 20175 13007 0 -1 1077944384 12982 12457 0 0 220 2 5 2 20 0 15 0 85602544 14405136384 189360 18446744073709551615 4194304 4196468 140732901795296 140030631876592 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20235] ppid=20172 vsize=14067516 CPUtime=2.01 cores=1,3,5,7
/proc/20175/task/20235/stat : 20235 (java) S 20172 20175 13007 0 -1 1077944384 5478 12457 0 0 193 1 5 2 20 0 15 0 85602544 14405136384 189360 18446744073709551615 4194304 4196468 140732901795296 140030001801328 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20236] ppid=20172 vsize=14067516 CPUtime=1.25 cores=1,3,5,7
/proc/20175/task/20236/stat : 20236 (java) S 20172 20175 13007 0 -1 1077944384 7586 12457 0 0 117 1 5 2 20 0 15 0 85602544 14405136384 189360 18446744073709551615 4194304 4196468 140732901795296 140030000748784 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20237] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20237/stat : 20237 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 15 0 85602544 14405136384 189360 18446744073709551615 4194304 4196468 140732901795296 140029999696480 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20238] ppid=20172 vsize=14067516 CPUtime=1.48 cores=1,3,5,7
/proc/20175/task/20238/stat : 20238 (java) S 20172 20175 13007 0 -1 1077944384 1754 12457 0 0 62 79 5 2 20 0 15 0 85602547 14405136384 189360 18446744073709551615 4194304 4196468 140732901795296 140029998644016 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
Current children cumulated CPU time (s) 2420.58
Current children cumulated vsize (KiB) 14067516
[startup+2442.3 s]
/proc/loadavg: 1.40 1.38 1.34 4/217 20542
/proc/meminfo: memFree=29626312/32770624 swapFree=0/460880
[pid=20175] ppid=20172 vsize=14067516 CPUtime=2481.46 cores=1,3,5,7
/proc/20175/stat : 20175 (java) S 20172 20175 13007 0 -1 1077944320 146092 12457 0 0 247757 382 5 2 20 0 15 0 85602521 14405136384 189902 18446744073709551615 4194304 4196468 140732901795296 140732901777840 140031090425591 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
/proc/20175/statm: 3516879 189902 3471 1 0 3505493 0
[pid=20175/tid=20225] ppid=20172 vsize=14067516 CPUtime=2415.42 cores=1,3,5,7
/proc/20175/task/20225/stat : 20225 (java) R 20172 20175 13007 0 -1 4202560 73890 12457 0 0 241484 51 5 2 20 0 15 0 85602538 14405136384 189902 18446744073709551615 4194304 4196468 140732901795296 140031094659968 140030725635256 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20226] ppid=20172 vsize=14067516 CPUtime=12.04 cores=1,3,5,7
/proc/20175/task/20226/stat : 20226 (java) S 20172 20175 13007 0 -1 1077944384 7076 12457 0 0 1127 70 5 2 20 0 15 0 85602539 14405136384 189902 18446744073709551615 4194304 4196468 140732901795296 140031047391504 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20227] ppid=20172 vsize=14067516 CPUtime=12.04 cores=1,3,5,7
/proc/20175/task/20227/stat : 20227 (java) S 20172 20175 13007 0 -1 1077944384 9865 12457 0 0 1128 69 5 2 20 0 15 0 85602539 14405136384 189902 18446744073709551615 4194304 4196468 140732901795296 140031046338960 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20228] ppid=20172 vsize=14067516 CPUtime=12.05 cores=1,3,5,7
/proc/20175/task/20228/stat : 20228 (java) S 20172 20175 13007 0 -1 1077944384 7884 12457 0 0 1139 59 5 2 20 0 15 0 85602539 14405136384 189902 18446744073709551615 4194304 4196468 140732901795296 140031045286416 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20229] ppid=20172 vsize=14067516 CPUtime=12.07 cores=1,3,5,7
/proc/20175/task/20229/stat : 20229 (java) S 20172 20175 13007 0 -1 1077944384 8808 12457 0 0 1135 65 5 2 20 0 15 0 85602539 14405136384 189902 18446744073709551615 4194304 4196468 140732901795296 140031044233872 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20230] ppid=20172 vsize=14067516 CPUtime=11.26 cores=1,3,5,7
/proc/20175/task/20230/stat : 20230 (java) S 20172 20175 13007 0 -1 1077944384 8524 12457 0 0 1056 63 5 2 20 0 15 0 85602540 14405136384 189902 18446744073709551615 4194304 4196468 140732901795296 140030636087792 140031090436738 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20231] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20231/stat : 20231 (java) S 20172 20175 13007 0 -1 1077944384 38 12457 0 0 0 0 5 2 20 0 15 0 85602541 14405136384 189902 18446744073709551615 4194304 4196468 140732901795296 140030635034080 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20232] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20232/stat : 20232 (java) S 20172 20175 13007 0 -1 1077944384 29 12457 0 0 0 0 5 2 20 0 15 0 85602541 14405136384 189902 18446744073709551615 4194304 4196468 140732901795296 140030633981440 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20233] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20233/stat : 20233 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 15 0 85602544 14405136384 189902 18446744073709551615 4194304 4196468 140732901795296 140030632930000 140031090444187 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20234] ppid=20172 vsize=14067516 CPUtime=2.3 cores=1,3,5,7
/proc/20175/task/20234/stat : 20234 (java) S 20172 20175 13007 0 -1 1077944384 12984 12457 0 0 221 2 5 2 20 0 15 0 85602544 14405136384 189902 18446744073709551615 4194304 4196468 140732901795296 140030631876592 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20235] ppid=20172 vsize=14067516 CPUtime=2.01 cores=1,3,5,7
/proc/20175/task/20235/stat : 20235 (java) S 20172 20175 13007 0 -1 1077944384 5478 12457 0 0 193 1 5 2 20 0 15 0 85602544 14405136384 189902 18446744073709551615 4194304 4196468 140732901795296 140030001801328 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20236] ppid=20172 vsize=14067516 CPUtime=1.25 cores=1,3,5,7
/proc/20175/task/20236/stat : 20236 (java) S 20172 20175 13007 0 -1 1077944384 7586 12457 0 0 117 1 5 2 20 0 15 0 85602544 14405136384 189902 18446744073709551615 4194304 4196468 140732901795296 140030000748784 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20237] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20237/stat : 20237 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 15 0 85602544 14405136384 189902 18446744073709551615 4194304 4196468 140732901795296 140029999696480 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20238] ppid=20172 vsize=14067516 CPUtime=1.52 cores=1,3,5,7
/proc/20175/task/20238/stat : 20238 (java) S 20172 20175 13007 0 -1 1077944384 1769 12457 0 0 63 82 5 2 20 0 15 0 85602547 14405136384 189902 18446744073709551615 4194304 4196468 140732901795296 140029998644016 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
Current children cumulated CPU time (s) 2481.46
Current children cumulated vsize (KiB) 14067516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2480.3 s]
/proc/loadavg: 1.31 1.36 1.33 3/217 20543
/proc/meminfo: memFree=29627300/32770624 swapFree=0/460884
[pid=20175] ppid=20172 vsize=14067516 CPUtime=2520.05 cores=1,3,5,7
/proc/20175/stat : 20175 (java) S 20172 20175 13007 0 -1 1077944320 146710 12457 0 0 251612 386 5 2 20 0 15 0 85602521 14405136384 189918 18446744073709551615 4194304 4196468 140732901795296 140732901777840 140031090425591 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
/proc/20175/statm: 3516879 189918 3471 1 0 3505493 0
[pid=20175/tid=20225] ppid=20172 vsize=14067516 CPUtime=2452.98 cores=1,3,5,7
/proc/20175/task/20225/stat : 20225 (java) R 20172 20175 13007 0 -1 4202560 74205 12457 0 0 245240 51 5 2 20 0 15 0 85602538 14405136384 189918 18446744073709551615 4194304 4196468 140732901795296 140031094659808 140030725090850 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20226] ppid=20172 vsize=14067516 CPUtime=12.25 cores=1,3,5,7
/proc/20175/task/20226/stat : 20226 (java) S 20172 20175 13007 0 -1 1077944384 7084 12457 0 0 1147 71 5 2 20 0 15 0 85602539 14405136384 189918 18446744073709551615 4194304 4196468 140732901795296 140031047391504 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20227] ppid=20172 vsize=14067516 CPUtime=12.24 cores=1,3,5,7
/proc/20175/task/20227/stat : 20227 (java) S 20172 20175 13007 0 -1 1077944384 9876 12457 0 0 1147 70 5 2 20 0 15 0 85602539 14405136384 189918 18446744073709551615 4194304 4196468 140732901795296 140031046338960 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20228] ppid=20172 vsize=14067516 CPUtime=12.26 cores=1,3,5,7
/proc/20175/task/20228/stat : 20228 (java) S 20172 20175 13007 0 -1 1077944384 8090 12457 0 0 1159 60 5 2 20 0 15 0 85602539 14405136384 189918 18446744073709551615 4194304 4196468 140732901795296 140031045286416 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20229] ppid=20172 vsize=14067516 CPUtime=12.27 cores=1,3,5,7
/proc/20175/task/20229/stat : 20229 (java) S 20172 20175 13007 0 -1 1077944384 8863 12457 0 0 1155 65 5 2 20 0 15 0 85602539 14405136384 189918 18446744073709551615 4194304 4196468 140732901795296 140031044233872 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20230] ppid=20172 vsize=14067516 CPUtime=11.45 cores=1,3,5,7
/proc/20175/task/20230/stat : 20230 (java) S 20172 20175 13007 0 -1 1077944384 8540 12457 0 0 1074 64 5 2 20 0 15 0 85602540 14405136384 189918 18446744073709551615 4194304 4196468 140732901795296 140030636087792 140031090436738 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20231] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20231/stat : 20231 (java) S 20172 20175 13007 0 -1 1077944384 38 12457 0 0 0 0 5 2 20 0 15 0 85602541 14405136384 189918 18446744073709551615 4194304 4196468 140732901795296 140030635034080 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20232] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20232/stat : 20232 (java) S 20172 20175 13007 0 -1 1077944384 29 12457 0 0 0 0 5 2 20 0 15 0 85602541 14405136384 189918 18446744073709551615 4194304 4196468 140732901795296 140030633981440 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20233] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20233/stat : 20233 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 15 0 85602544 14405136384 189918 18446744073709551615 4194304 4196468 140732901795296 140030632930000 140031090444187 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20234] ppid=20172 vsize=14067516 CPUtime=2.3 cores=1,3,5,7
/proc/20175/task/20234/stat : 20234 (java) S 20172 20175 13007 0 -1 1077944384 12984 12457 0 0 221 2 5 2 20 0 15 0 85602544 14405136384 189918 18446744073709551615 4194304 4196468 140732901795296 140030631876592 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20235] ppid=20172 vsize=14067516 CPUtime=2.01 cores=1,3,5,7
/proc/20175/task/20235/stat : 20235 (java) S 20172 20175 13007 0 -1 1077944384 5479 12457 0 0 193 1 5 2 20 0 15 0 85602544 14405136384 189918 18446744073709551615 4194304 4196468 140732901795296 140030001801328 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20236] ppid=20172 vsize=14067516 CPUtime=1.25 cores=1,3,5,7
/proc/20175/task/20236/stat : 20236 (java) S 20172 20175 13007 0 -1 1077944384 7588 12457 0 0 117 1 5 2 20 0 15 0 85602544 14405136384 189918 18446744073709551615 4194304 4196468 140732901795296 140030000748784 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20237] ppid=20172 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20237/stat : 20237 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 15 0 85602544 14405136384 189918 18446744073709551615 4194304 4196468 140732901795296 140029999696480 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20238] ppid=20172 vsize=14067516 CPUtime=1.54 cores=1,3,5,7
/proc/20175/task/20238/stat : 20238 (java) S 20172 20175 13007 0 -1 1077944384 1773 12457 0 0 64 83 5 2 20 0 15 0 85602547 14405136384 189918 18446744073709551615 4194304 4196468 140732901795296 140029998644016 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 14067516
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 20175 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2480.41 s]
/proc/loadavg: 1.31 1.36 1.33 3/217 20543
/proc/meminfo: memFree=29627300/32770624 swapFree=0/460884
[pid=20175] ppid=20172 vsize=14200644 CPUtime=2520.34 cores=1,3,5,7
/proc/20175/stat : 20175 (java) S 20172 20175 13007 0 -1 1077944320 153362 12457 0 0 251640 387 5 2 20 0 17 0 85602521 14541459456 191581 18446744073709551615 4194304 4196468 140732901795296 140732901777840 140031090425591 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
/proc/20175/statm: 3550161 191581 3471 1 0 3538775 0
[pid=20175/tid=20225] ppid=20172 vsize=14200644 CPUtime=2452.99 cores=1,3,5,7
/proc/20175/task/20225/stat : 20225 (java) S 20172 20175 13007 0 -1 1077944384 74646 12457 0 0 245241 51 5 2 20 0 17 0 85602538 14541459456 191581 18446744073709551615 4194304 4196468 140732901795296 140031094663264 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20226] ppid=20172 vsize=14200644 CPUtime=12.31 cores=1,3,5,7
/proc/20175/task/20226/stat : 20226 (java) S 20172 20175 13007 0 -1 1077944384 7087 12457 0 0 1153 71 5 2 20 0 17 0 85602539 14541459456 191581 18446744073709551615 4194304 4196468 140732901795296 140031047391504 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20227] ppid=20172 vsize=14200644 CPUtime=12.3 cores=1,3,5,7
/proc/20175/task/20227/stat : 20227 (java) S 20172 20175 13007 0 -1 1077944384 9890 12457 0 0 1153 70 5 2 20 0 17 0 85602539 14541459456 191581 18446744073709551615 4194304 4196468 140732901795296 140031046338960 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20228] ppid=20172 vsize=14200644 CPUtime=12.33 cores=1,3,5,7
/proc/20175/task/20228/stat : 20228 (java) S 20172 20175 13007 0 -1 1077944384 8096 12457 0 0 1166 60 5 2 20 0 17 0 85602539 14541459456 191581 18446744073709551615 4194304 4196468 140732901795296 140031045286416 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20229] ppid=20172 vsize=14200644 CPUtime=12.34 cores=1,3,5,7
/proc/20175/task/20229/stat : 20229 (java) S 20172 20175 13007 0 -1 1077944384 8870 12457 0 0 1161 66 5 2 20 0 17 0 85602539 14541459456 191581 18446744073709551615 4194304 4196468 140732901795296 140031044233872 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20230] ppid=20172 vsize=14200644 CPUtime=11.48 cores=1,3,5,7
/proc/20175/task/20230/stat : 20230 (java) R 20172 20175 13007 0 -1 4202560 14071 12457 0 0 1076 65 5 2 20 0 17 0 85602540 14541459456 191581 18446744073709551615 4194304 4196468 140732901795296 140030636086192 140031074780201 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20231] ppid=20172 vsize=14200644 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20231/stat : 20231 (java) S 20172 20175 13007 0 -1 1077944384 39 12457 0 0 0 0 5 2 20 0 17 0 85602541 14541459456 191581 18446744073709551615 4194304 4196468 140732901795296 140030635033984 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20232] ppid=20172 vsize=14200644 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20232/stat : 20232 (java) S 20172 20175 13007 0 -1 1077944384 29 12457 0 0 0 0 5 2 20 0 17 0 85602541 14541459456 191581 18446744073709551615 4194304 4196468 140732901795296 140030633981440 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20233] ppid=20172 vsize=14200644 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20233/stat : 20233 (java) S 20172 20175 13007 0 -1 1077944384 99 12457 0 0 0 0 5 2 20 0 17 0 85602544 14541459456 191581 18446744073709551615 4194304 4196468 140732901795296 140030632930000 140031090444187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20234] ppid=20172 vsize=14200644 CPUtime=2.3 cores=1,3,5,7
/proc/20175/task/20234/stat : 20234 (java) S 20172 20175 13007 0 -1 1077944384 12984 12457 0 0 221 2 5 2 20 0 17 0 85602544 14541459456 191581 18446744073709551615 4194304 4196468 140732901795296 140030631876592 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20235] ppid=20172 vsize=14200644 CPUtime=2.01 cores=1,3,5,7
/proc/20175/task/20235/stat : 20235 (java) S 20172 20175 13007 0 -1 1077944384 5479 12457 0 0 193 1 5 2 20 0 17 0 85602544 14541459456 191581 18446744073709551615 4194304 4196468 140732901795296 140030001801328 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20236] ppid=20172 vsize=14200644 CPUtime=1.25 cores=1,3,5,7
/proc/20175/task/20236/stat : 20236 (java) S 20172 20175 13007 0 -1 1077944384 8023 12457 0 0 117 1 5 2 20 0 17 0 85602544 14541459456 191581 18446744073709551615 4194304 4196468 140732901795296 140030000743104 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20237] ppid=20172 vsize=14200644 CPUtime=0.07 cores=1,3,5,7
/proc/20175/task/20237/stat : 20237 (java) S 20172 20175 13007 0 -1 1077944384 3 12457 0 0 0 0 5 2 20 0 17 0 85602544 14541459456 191581 18446744073709551615 4194304 4196468 140732901795296 140029999696480 140031090435797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
[pid=20175/tid=20238] ppid=20172 vsize=14200644 CPUtime=1.54 cores=1,3,5,7
/proc/20175/task/20238/stat : 20238 (java) S 20172 20175 13007 0 -1 1077944384 1773 12457 0 0 64 83 5 2 20 0 17 0 85602547 14541459456 191581 18446744073709551615 4194304 4196468 140732901795296 140029998644016 140031090436738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31825920 140732901803984 140732901806769 140732901806769 140732901810127 0
Current children cumulated CPU time (s) 2520.34
Current children cumulated vsize (KiB) 14200644
Child status: 143
Real time (s): 2480.5
CPU time (s): 2520.53
CPU user time (s): 2516.62
CPU system time (s): 3.90788
CPU usage (%): 101.614
Max. virtual memory (cumulated for all children) (KiB): 14200644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.62
system time used= 3.90788
maximum resident set size= 766968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165897
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 312859
involuntary context switches= 9011
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8181 second user time and 15.5252 second system time
The end