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-4262710-1502477919/watcher-4262710-1502477919 -o /tmp/evaluation-result-4262710-1502477919/solver-4262710-1502477919 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580 bin/concrete HOME/instance-4262710-1502477919.xml
pid=23579
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.51 1.50 1.50 2/197 23582
/proc/meminfo: memFree=29779004/32770624 swapFree=0/455812
[pid=23582] ppid=23579 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23582/stat : 23582 (runsolver) D 23579 23582 4896 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 147444775 24240128 108 18446744073709551615 4194304 4338465 140726539386640 140726539384280 140303919301335 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 32485376 140726539395281 140726539395657 140726539395657 140726539399114 0
/proc/23582/statm: 5918 108 54 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 1.51 1.50 1.50 2/197 23582
/proc/meminfo: memFree=29779004/32770624 swapFree=0/455812
[pid=23582] ppid=23579 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/23582/stat : 23582 (bash) R 23579 23582 4896 0 -1 4202496 691 3536 0 0 0 0 0 0 20 0 1 0 147444775 9736192 351 18446744073709551615 4194304 5098028 140729790045520 140729790043160 139898745913087 0 0 5 65536 0 0 0 17 3 0 0 8 0 0 7196144 7232144 12066816 140729790050836 140729790050921 140729790050921 140729790054378 0
/proc/23582/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200305 s]
/proc/loadavg: 1.51 1.50 1.50 2/197 23582
/proc/meminfo: memFree=29779004/32770624 swapFree=0/455812
[pid=23582] ppid=23579 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/23582/stat : 23582 (bash) S 23579 23582 4896 0 -1 4202496 891 6486 0 0 0 0 0 1 20 0 1 0 147444775 9867264 377 18446744073709551615 4194304 5098028 140729790045520 140729790039528 139898746358784 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 12066816 140729790050836 140729790050921 140729790050921 140729790054378 0
/proc/23582/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300245 s]
/proc/loadavg: 1.51 1.50 1.50 2/197 23582
/proc/meminfo: memFree=29779004/32770624 swapFree=0/455812
[pid=23582] ppid=23579 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23579 23582 4896 0 -1 1077944320 5792 12477 0 0 6 0 4 3 20 0 14 0 147444775 14241083392 6008 18446744073709551615 4194304 4196468 140725038309360 140725038291904 140504539451127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
/proc/23582/statm: 3476827 6008 2562 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.700315 s]
/proc/loadavg: 1.51 1.50 1.50 2/197 23582
/proc/meminfo: memFree=29779004/32770624 swapFree=0/455812
[pid=23582] ppid=23579 vsize=13974784 CPUtime=0.61 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23579 23582 4896 0 -1 1077944320 13769 12477 0 0 50 4 4 3 20 0 15 0 147444775 14310178816 14781 18446744073709551615 4194304 4196468 140725038309360 140725038291904 140504539451127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
/proc/23582/statm: 3493696 14781 3075 1 0 3482965 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 13974784
[startup+1.50061 s]
/proc/loadavg: 1.51 1.50 1.50 3/213 23646
/proc/meminfo: memFree=29684920/32770624 swapFree=0/455820
[pid=23582] ppid=23579 vsize=13985408 CPUtime=1.82 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23579 23582 4896 0 -1 1077944320 25489 12477 0 0 168 7 4 3 20 0 15 0 147444775 14321057792 34414 18446744073709551615 4194304 4196468 140725038309360 140725038291904 140504539451127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
/proc/23582/statm: 3496352 34414 3338 1 0 3485525 0
[pid=23582/tid=23632] ppid=23579 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/23582/task/23632/stat : 23632 (java) R 23579 23582 4896 0 -1 4202560 20414 12477 0 0 115 6 4 3 20 0 15 0 147444797 14321057792 34414 18446744073709551615 4194304 4196468 140725038309360 140504543684096 140504539463062 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23633] ppid=23579 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23633/stat : 23633 (java) S 23579 23582 4896 0 -1 1077944384 1 12477 0 0 0 0 4 3 20 0 15 0 147444797 14321057792 34414 18446744073709551615 4194304 4196468 140725038309360 140504496417168 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23634] ppid=23579 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23634/stat : 23634 (java) S 23579 23582 4896 0 -1 1077944384 1 12477 0 0 0 0 4 3 20 0 15 0 147444797 14321057792 34414 18446744073709551615 4194304 4196468 140725038309360 140504495364368 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23635] ppid=23579 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23635/stat : 23635 (java) S 23579 23582 4896 0 -1 1077944384 1 12477 0 0 0 0 4 3 20 0 15 0 147444797 14321057792 34414 18446744073709551615 4194304 4196468 140725038309360 140504494312080 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23636] ppid=23579 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23636/stat : 23636 (java) S 23579 23582 4896 0 -1 1077944384 2 12477 0 0 0 0 4 3 20 0 15 0 147444797 14321057792 34414 18446744073709551615 4194304 4196468 140725038309360 140504493259280 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23637] ppid=23579 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23637/stat : 23637 (java) S 23579 23582 4896 0 -1 1077944384 5 12477 0 0 0 0 4 3 20 0 15 0 147444799 14321057792 34463 18446744073709551615 4194304 4196468 140725038309360 140504085183088 140504539462274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23638] ppid=23579 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23638/stat : 23638 (java) S 23579 23582 4896 0 -1 1077944384 13 12477 0 0 0 0 4 3 20 0 15 0 147444799 14321057792 34463 18446744073709551615 4194304 4196468 140725038309360 140503454836000 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23639] ppid=23579 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23639/stat : 23639 (java) S 23579 23582 4896 0 -1 1077944384 21 12477 0 0 0 0 4 3 20 0 15 0 147444799 14321057792 34463 18446744073709551615 4194304 4196468 140725038309360 140503453783664 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23640] ppid=23579 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23640/stat : 23640 (java) S 23579 23582 4896 0 -1 1077944384 3 12477 0 0 0 0 4 3 20 0 15 0 147444802 14321057792 34463 18446744073709551615 4194304 4196468 140725038309360 140503452731984 140504539469723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23641] ppid=23579 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/23582/task/23641/stat : 23641 (java) S 23579 23582 4896 0 -1 1077944384 846 12477 0 0 13 0 4 3 20 0 15 0 147444802 14321057792 34463 18446744073709551615 4194304 4196468 140725038309360 140503451678832 140504539462274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23642] ppid=23579 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/23582/task/23642/stat : 23642 (java) S 23579 23582 4896 0 -1 1077944384 775 12477 0 0 16 0 4 3 20 0 15 0 147444802 14321057792 34463 18446744073709551615 4194304 4196468 140725038309360 140503450626032 140504539462274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23643] ppid=23579 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/23582/task/23643/stat : 23643 (java) S 23579 23582 4896 0 -1 1077944384 1250 12477 0 0 22 0 4 3 20 0 15 0 147444802 14321057792 34463 18446744073709551615 4194304 4196468 140725038309360 140503449573744 140504539462274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23644] ppid=23579 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23644/stat : 23644 (java) S 23579 23582 4896 0 -1 1077944384 3 12477 0 0 0 0 4 3 20 0 15 0 147444802 14321057792 34463 18446744073709551615 4194304 4196468 140725038309360 140503448521184 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23645] ppid=23579 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23645/stat : 23645 (java) S 23579 23582 4896 0 -1 1077944384 3 12477 0 0 0 0 4 3 20 0 15 0 147444809 14321057792 34463 18446744073709551615 4194304 4196468 140725038309360 140503447468976 140504539462274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 13985408
[startup+3.10094 s]
/proc/loadavg: 1.79 1.56 1.52 5/213 23646
/proc/meminfo: memFree=29608732/32770624 swapFree=0/455820
[pid=23582] ppid=23579 vsize=13995836 CPUtime=5.39 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23579 23582 4896 0 -1 1077944320 37390 12477 0 0 513 19 4 3 20 0 15 0 147444775 14331736064 76850 18446744073709551615 4194304 4196468 140725038309360 140725038291904 140504539451127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
/proc/23582/statm: 3498959 76850 3454 1 0 3487573 0
[pid=23582/tid=23632] ppid=23579 vsize=13995836 CPUtime=2.82 cores=1,3,5,7
/proc/23582/task/23632/stat : 23632 (java) S 23579 23582 4896 0 -1 1077944384 28238 12477 0 0 264 11 4 3 20 0 15 0 147444797 14331736064 76850 18446744073709551615 4194304 4196468 140725038309360 140504543682560 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23633] ppid=23579 vsize=13995836 CPUtime=0.1 cores=1,3,5,7
/proc/23582/task/23633/stat : 23633 (java) R 23579 23582 4896 0 -1 4202560 117 12477 0 0 2 1 4 3 20 0 15 0 147444797 14331736064 76850 18446744073709551615 4194304 4196468 140725038309360 140504496417168 140504524478974 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23634] ppid=23579 vsize=13995836 CPUtime=0.1 cores=1,3,5,7
/proc/23582/task/23634/stat : 23634 (java) R 23579 23582 4896 0 -1 4202560 57 12477 0 0 2 1 4 3 20 0 15 0 147444797 14331736064 76850 18446744073709551615 4194304 4196468 140725038309360 140504495364368 140504524479010 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23635] ppid=23579 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/23582/task/23635/stat : 23635 (java) R 23579 23582 4896 0 -1 4202560 62 12477 0 0 2 0 4 3 20 0 15 0 147444797 14331736064 76850 18446744073709551615 4194304 4196468 140725038309360 140504494312280 140504524479010 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23636] ppid=23579 vsize=13995836 CPUtime=0.1 cores=1,3,5,7
/proc/23582/task/23636/stat : 23636 (java) R 23579 23582 4896 0 -1 4202560 256 12477 0 0 2 1 4 3 20 0 15 0 147444797 14331736064 76850 18446744073709551615 4194304 4196468 140725038309360 140504493259280 140504524478992 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23637] ppid=23579 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/23582/task/23637/stat : 23637 (java) S 23579 23582 4896 0 -1 1077944384 630 12477 0 0 1 0 4 3 20 0 15 0 147444799 14331736064 76850 18446744073709551615 4194304 4196468 140725038309360 140504085181600 140504539461333 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23638] ppid=23579 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23638/stat : 23638 (java) S 23579 23582 4896 0 -1 1077944384 14 12477 0 0 0 0 4 3 20 0 15 0 147444799 14331736064 77362 18446744073709551615 4194304 4196468 140725038309360 140503454836064 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23639] ppid=23579 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23639/stat : 23639 (java) S 23579 23582 4896 0 -1 1077944384 43 12477 0 0 0 0 4 3 20 0 15 0 147444799 14331736064 77362 18446744073709551615 4194304 4196468 140725038309360 140503453783680 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23640] ppid=23579 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23640/stat : 23640 (java) S 23579 23582 4896 0 -1 1077944384 3 12477 0 0 0 0 4 3 20 0 15 0 147444802 14331736064 77362 18446744073709551615 4194304 4196468 140725038309360 140503452731984 140504539469723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23641] ppid=23579 vsize=13995836 CPUtime=0.79 cores=1,3,5,7
/proc/23582/task/23641/stat : 23641 (java) S 23579 23582 4896 0 -1 1077944384 1651 12477 0 0 72 0 4 3 20 0 15 0 147444802 14331736064 77362 18446744073709551615 4194304 4196468 140725038309360 140503451663824 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23642] ppid=23579 vsize=13995836 CPUtime=0.85 cores=1,3,5,7
/proc/23582/task/23642/stat : 23642 (java) S 23579 23582 4896 0 -1 1077944384 1356 12477 0 0 78 0 4 3 20 0 15 0 147444802 14331736064 77362 18446744073709551615 4194304 4196468 140725038309360 140503450607264 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23643] ppid=23579 vsize=13995836 CPUtime=0.93 cores=1,3,5,7
/proc/23582/task/23643/stat : 23643 (java) S 23579 23582 4896 0 -1 1077944384 2806 12477 0 0 85 1 4 3 20 0 15 0 147444802 14331736064 77362 18446744073709551615 4194304 4196468 140725038309360 140503449573744 140504539462274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23644] ppid=23579 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23644/stat : 23644 (java) S 23579 23582 4896 0 -1 1077944384 3 12477 0 0 0 0 4 3 20 0 15 0 147444802 14331736064 77362 18446744073709551615 4194304 4196468 140725038309360 140503448521184 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23645] ppid=23579 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23645/stat : 23645 (java) S 23579 23582 4896 0 -1 1077944384 3 12477 0 0 0 0 4 3 20 0 15 0 147444809 14331736064 77362 18446744073709551615 4194304 4196468 140725038309360 140503447468976 140504539462274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 13995836
[startup+6.30091 s]
/proc/loadavg: 1.79 1.56 1.52 3/213 23646
/proc/meminfo: memFree=28879824/32770624 swapFree=0/455820
[pid=23582] ppid=23579 vsize=13997884 CPUtime=11.53 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23579 23582 4896 0 -1 1077944320 57656 12477 0 0 1054 92 4 3 20 0 15 0 147444775 14333833216 260843 18446744073709551615 4194304 4196468 140725038309360 140725038291904 140504539451127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
/proc/23582/statm: 3499471 260843 3464 1 0 3488085 0
[pid=23582/tid=23632] ppid=23579 vsize=13997884 CPUtime=5.17 cores=1,3,5,7
/proc/23582/task/23632/stat : 23632 (java) R 23579 23582 4896 0 -1 4202560 40918 12477 0 0 495 15 4 3 20 0 15 0 147444797 14333833216 260843 18446744073709551615 4194304 4196468 140725038309360 140504543678808 140504167950178 0 4 1 16800974 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23633] ppid=23579 vsize=13997884 CPUtime=0.75 cores=1,3,5,7
/proc/23582/task/23633/stat : 23633 (java) S 23579 23582 4896 0 -1 1077944384 453 12477 0 0 50 18 4 3 20 0 15 0 147444797 14333833216 260843 18446744073709551615 4194304 4196468 140725038309360 140504496417168 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23634] ppid=23579 vsize=13997884 CPUtime=0.75 cores=1,3,5,7
/proc/23582/task/23634/stat : 23634 (java) S 23579 23582 4896 0 -1 1077944384 523 12477 0 0 51 17 4 3 20 0 15 0 147444797 14333833216 260843 18446744073709551615 4194304 4196468 140725038309360 140504495364368 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23635] ppid=23579 vsize=13997884 CPUtime=0.74 cores=1,3,5,7
/proc/23582/task/23635/stat : 23635 (java) S 23579 23582 4896 0 -1 1077944384 655 12477 0 0 50 17 4 3 20 0 15 0 147444797 14333833216 260843 18446744073709551615 4194304 4196468 140725038309360 140504494312080 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23636] ppid=23579 vsize=13997884 CPUtime=0.74 cores=1,3,5,7
/proc/23582/task/23636/stat : 23636 (java) S 23579 23582 4896 0 -1 1077944384 873 12477 0 0 50 17 4 3 20 0 15 0 147444797 14333833216 260843 18446744073709551615 4194304 4196468 140725038309360 140504493259280 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23637] ppid=23579 vsize=13997884 CPUtime=0.27 cores=1,3,5,7
/proc/23582/task/23637/stat : 23637 (java) S 23579 23582 4896 0 -1 1077944384 4272 12477 0 0 20 0 4 3 20 0 15 0 147444799 14333833216 260843 18446744073709551615 4194304 4196468 140725038309360 140504085183088 140504539462274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23638] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23638/stat : 23638 (java) S 23579 23582 4896 0 -1 1077944384 14 12477 0 0 0 0 4 3 20 0 15 0 147444799 14333833216 260843 18446744073709551615 4194304 4196468 140725038309360 140503454836064 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23639] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23639/stat : 23639 (java) S 23579 23582 4896 0 -1 1077944384 43 12477 0 0 0 0 4 3 20 0 15 0 147444799 14333833216 260843 18446744073709551615 4194304 4196468 140725038309360 140503453783680 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23640] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23640/stat : 23640 (java) S 23579 23582 4896 0 -1 1077944384 3 12477 0 0 0 0 4 3 20 0 15 0 147444802 14333833216 260843 18446744073709551615 4194304 4196468 140725038309360 140503452731984 140504539469723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23641] ppid=23579 vsize=13997884 CPUtime=1.22 cores=1,3,5,7
/proc/23582/task/23641/stat : 23641 (java) S 23579 23582 4896 0 -1 1077944384 2092 12477 0 0 115 0 4 3 20 0 15 0 147444802 14333833216 260843 18446744073709551615 4194304 4196468 140725038309360 140503451678832 140504539462274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23642] ppid=23579 vsize=13997884 CPUtime=1.29 cores=1,3,5,7
/proc/23582/task/23642/stat : 23642 (java) S 23579 23582 4896 0 -1 1077944384 1900 12477 0 0 121 1 4 3 20 0 15 0 147444802 14333833216 260843 18446744073709551615 4194304 4196468 140725038309360 140503450626032 140504539462274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23643] ppid=23579 vsize=13997884 CPUtime=1.07 cores=1,3,5,7
/proc/23582/task/23643/stat : 23643 (java) S 23579 23582 4896 0 -1 1077944384 3706 12477 0 0 98 2 4 3 20 0 15 0 147444802 14333833216 260843 18446744073709551615 4194304 4196468 140725038309360 140503449573744 140504539462274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23644] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23644/stat : 23644 (java) S 23579 23582 4896 0 -1 1077944384 3 12477 0 0 0 0 4 3 20 0 15 0 147444802 14333833216 260843 18446744073709551615 4194304 4196468 140725038309360 140503448521184 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23645] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23645/stat : 23645 (java) S 23579 23582 4896 0 -1 1077944384 50 12477 0 0 0 0 4 3 20 0 15 0 147444809 14333833216 260843 18446744073709551615 4194304 4196468 140725038309360 140503447468976 140504539462274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
Current children cumulated CPU time (s) 11.53
Current children cumulated vsize (KiB) 13997884
[startup+12.7007 s]
/proc/loadavg: 1.75 1.56 1.52 6/213 23646
/proc/meminfo: memFree=27624544/32770624 swapFree=0/455816
[pid=23582] ppid=23579 vsize=13997884 CPUtime=20.91 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23579 23582 4896 0 -1 1077944320 62017 12477 0 0 1894 190 4 3 20 0 15 0 147444775 14333833216 544619 18446744073709551615 4194304 4196468 140725038309360 140725038291904 140504539451127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
/proc/23582/statm: 3499471 544619 3464 1 0 3488085 0
[pid=23582/tid=23632] ppid=23579 vsize=13997884 CPUtime=10.75 cores=1,3,5,7
/proc/23582/task/23632/stat : 23632 (java) R 23579 23582 4896 0 -1 4202560 42151 12477 0 0 1051 17 4 3 20 0 15 0 147444797 14333833216 544619 18446744073709551615 4194304 4196468 140725038309360 140504543680840 140504176479686 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23633] ppid=23579 vsize=13997884 CPUtime=1.55 cores=1,3,5,7
/proc/23582/task/23633/stat : 23633 (java) S 23579 23582 4896 0 -1 1077944384 1074 12477 0 0 106 42 4 3 20 0 15 0 147444797 14333833216 544619 18446744073709551615 4194304 4196468 140725038309360 140504496417168 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23634] ppid=23579 vsize=13997884 CPUtime=1.53 cores=1,3,5,7
/proc/23582/task/23634/stat : 23634 (java) S 23579 23582 4896 0 -1 1077944384 920 12477 0 0 106 40 4 3 20 0 15 0 147444797 14333833216 544619 18446744073709551615 4194304 4196468 140725038309360 140504495364368 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23635] ppid=23579 vsize=13997884 CPUtime=1.54 cores=1,3,5,7
/proc/23582/task/23635/stat : 23635 (java) S 23579 23582 4896 0 -1 1077944384 1070 12477 0 0 105 42 4 3 20 0 15 0 147444797 14333833216 544619 18446744073709551615 4194304 4196468 140725038309360 140504494312080 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23636] ppid=23579 vsize=13997884 CPUtime=1.54 cores=1,3,5,7
/proc/23582/task/23636/stat : 23636 (java) S 23579 23582 4896 0 -1 1077944384 1428 12477 0 0 106 41 4 3 20 0 15 0 147444797 14333833216 544619 18446744073709551615 4194304 4196468 140725038309360 140504493259280 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23637] ppid=23579 vsize=13997884 CPUtime=0.28 cores=1,3,5,7
/proc/23582/task/23637/stat : 23637 (java) S 23579 23582 4896 0 -1 1077944384 4801 12477 0 0 21 0 4 3 20 0 15 0 147444799 14333833216 544619 18446744073709551615 4194304 4196468 140725038309360 140504085183088 140504539462274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23638] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23638/stat : 23638 (java) S 23579 23582 4896 0 -1 1077944384 14 12477 0 0 0 0 4 3 20 0 15 0 147444799 14333833216 544619 18446744073709551615 4194304 4196468 140725038309360 140503454836064 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23639] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23639/stat : 23639 (java) S 23579 23582 4896 0 -1 1077944384 43 12477 0 0 0 0 4 3 20 0 15 0 147444799 14333833216 544619 18446744073709551615 4194304 4196468 140725038309360 140503453783680 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23640] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23640/stat : 23640 (java) S 23579 23582 4896 0 -1 1077944384 3 12477 0 0 0 0 4 3 20 0 15 0 147444802 14333833216 544619 18446744073709551615 4194304 4196468 140725038309360 140503452731984 140504539469723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
################
# More data... #
################
/proc/23582/task/23644/stat : 23644 (java) S 23579 23582 4896 0 -1 1077944384 3 12477 0 0 0 0 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503448521184 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23645] ppid=23579 vsize=13997884 CPUtime=0.59 cores=1,3,5,7
/proc/23582/task/23645/stat : 23645 (java) S 23579 23582 4896 0 -1 1077944384 614 12477 0 0 25 27 4 3 20 0 15 0 147444809 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503447468976 140504539462274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
Current children cumulated CPU time (s) 2520.2
Current children cumulated vsize (KiB) 13997884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -23582
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23582 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+932.801 s]
/proc/loadavg: 4.51 3.87 2.74 6/213 23695
/proc/meminfo: memFree=18071480/32770624 swapFree=0/455984
[pid=23582] ppid=23579 vsize=13997884 CPUtime=2521.76 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23579 23582 4896 0 -1 1077944320 566208 12477 0 0 251111 1058 4 3 20 0 15 0 147444775 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140725038291904 140504539451127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
/proc/23582/statm: 3499471 2923546 3464 1 0 3488085 0
[pid=23582/tid=23632] ppid=23579 vsize=13997884 CPUtime=336.19 cores=1,3,5,7
/proc/23582/task/23632/stat : 23632 (java) S 23579 23582 4896 0 -1 1077944384 80756 12477 0 0 33584 28 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504543682624 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23633] ppid=23579 vsize=13997884 CPUtime=532.73 cores=1,3,5,7
/proc/23582/task/23633/stat : 23633 (java) R 23579 23582 4896 0 -1 4202560 55591 12477 0 0 53032 234 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504496416752 140504532079335 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23634] ppid=23579 vsize=13997884 CPUtime=531.65 cores=1,3,5,7
/proc/23582/task/23634/stat : 23634 (java) R 23579 23582 4896 0 -1 4202560 47986 12477 0 0 52915 243 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504495364264 140504532079335 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23635] ppid=23579 vsize=13997884 CPUtime=531.53 cores=1,3,5,7
/proc/23582/task/23635/stat : 23635 (java) R 23579 23582 4896 0 -1 4202560 57028 12477 0 0 52882 264 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504494311968 140504524401732 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23636] ppid=23579 vsize=13997884 CPUtime=531.14 cores=1,3,5,7
/proc/23582/task/23636/stat : 23636 (java) R 23579 23582 4896 0 -1 4202560 52234 12477 0 0 52853 254 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504493258864 140504532079335 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23637] ppid=23579 vsize=13997884 CPUtime=53.67 cores=1,3,5,7
/proc/23582/task/23637/stat : 23637 (java) S 23579 23582 4896 0 -1 1077944384 240951 12477 0 0 5347 13 4 3 20 0 15 0 147444799 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504085181408 140504539461333 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23638] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23638/stat : 23638 (java) S 23579 23582 4896 0 -1 1077944384 14 12477 0 0 0 0 4 3 20 0 15 0 147444799 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503454836064 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23639] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23639/stat : 23639 (java) S 23579 23582 4896 0 -1 1077944384 43 12477 0 0 0 0 4 3 20 0 15 0 147444799 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503453783680 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23640] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23640/stat : 23640 (java) S 23579 23582 4896 0 -1 1077944384 5 12477 0 0 0 0 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503452731632 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23641] ppid=23579 vsize=13997884 CPUtime=1.71 cores=1,3,5,7
/proc/23582/task/23641/stat : 23641 (java) S 23579 23582 4896 0 -1 1077944384 7332 12477 0 0 163 1 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503451678880 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23642] ppid=23579 vsize=13997884 CPUtime=1.75 cores=1,3,5,7
/proc/23582/task/23642/stat : 23642 (java) S 23579 23582 4896 0 -1 1077944384 5645 12477 0 0 167 1 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503450626080 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23643] ppid=23579 vsize=13997884 CPUtime=1.33 cores=1,3,5,7
/proc/23582/task/23643/stat : 23643 (java) S 23579 23582 4896 0 -1 1077944384 15854 12477 0 0 122 4 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503449573504 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23644] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23644/stat : 23644 (java) S 23579 23582 4896 0 -1 1077944384 3 12477 0 0 0 0 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503448521184 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23645] ppid=23579 vsize=13997884 CPUtime=0.59 cores=1,3,5,7
/proc/23582/task/23645/stat : 23645 (java) S 23579 23582 4896 0 -1 1077944384 614 12477 0 0 25 27 4 3 20 0 15 0 147444809 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503447468976 140504539462274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
Current children cumulated CPU time (s) 2521.76
Current children cumulated vsize (KiB) 13997884
[startup+933.601 s]
/proc/loadavg: 4.51 3.87 2.74 6/213 23695
/proc/meminfo: memFree=18071480/32770624 swapFree=0/455984
[pid=23582] ppid=23579 vsize=13997884 CPUtime=2524.85 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23579 23582 4896 0 -1 1077944320 566285 12477 0 0 251419 1059 4 3 20 0 15 0 147444775 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140725038291904 140504539451127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
/proc/23582/statm: 3499471 2923546 3464 1 0 3488085 0
[pid=23582/tid=23632] ppid=23579 vsize=13997884 CPUtime=336.19 cores=1,3,5,7
/proc/23582/task/23632/stat : 23632 (java) S 23579 23582 4896 0 -1 1077944384 80756 12477 0 0 33584 28 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504543682624 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23633] ppid=23579 vsize=13997884 CPUtime=533.49 cores=1,3,5,7
/proc/23582/task/23633/stat : 23633 (java) S 23579 23582 4896 0 -1 1077944384 55591 12477 0 0 53108 234 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504496416752 140504539462274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23634] ppid=23579 vsize=13997884 CPUtime=532.41 cores=1,3,5,7
/proc/23582/task/23634/stat : 23634 (java) R 23579 23582 4896 0 -1 4202560 47986 12477 0 0 52991 243 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504495364264 140504532079335 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23635] ppid=23579 vsize=13997884 CPUtime=532.32 cores=1,3,5,7
/proc/23582/task/23635/stat : 23635 (java) R 23579 23582 4896 0 -1 4202560 57105 12477 0 0 52961 264 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504494311968 140504524148902 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23636] ppid=23579 vsize=13997884 CPUtime=531.9 cores=1,3,5,7
/proc/23582/task/23636/stat : 23636 (java) R 23579 23582 4896 0 -1 4202560 52234 12477 0 0 52929 254 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504493258864 140504532079335 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23637] ppid=23579 vsize=13997884 CPUtime=53.67 cores=1,3,5,7
/proc/23582/task/23637/stat : 23637 (java) S 23579 23582 4896 0 -1 1077944384 240951 12477 0 0 5347 13 4 3 20 0 15 0 147444799 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504085181408 140504539461333 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23638] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23638/stat : 23638 (java) S 23579 23582 4896 0 -1 1077944384 14 12477 0 0 0 0 4 3 20 0 15 0 147444799 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503454836064 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23639] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23639/stat : 23639 (java) S 23579 23582 4896 0 -1 1077944384 43 12477 0 0 0 0 4 3 20 0 15 0 147444799 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503453783680 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23640] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23640/stat : 23640 (java) S 23579 23582 4896 0 -1 1077944384 5 12477 0 0 0 0 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503452731632 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23641] ppid=23579 vsize=13997884 CPUtime=1.71 cores=1,3,5,7
/proc/23582/task/23641/stat : 23641 (java) S 23579 23582 4896 0 -1 1077944384 7332 12477 0 0 163 1 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503451678880 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23642] ppid=23579 vsize=13997884 CPUtime=1.75 cores=1,3,5,7
/proc/23582/task/23642/stat : 23642 (java) S 23579 23582 4896 0 -1 1077944384 5645 12477 0 0 167 1 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503450626080 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23643] ppid=23579 vsize=13997884 CPUtime=1.33 cores=1,3,5,7
/proc/23582/task/23643/stat : 23643 (java) S 23579 23582 4896 0 -1 1077944384 15854 12477 0 0 122 4 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503449573504 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23644] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23644/stat : 23644 (java) S 23579 23582 4896 0 -1 1077944384 3 12477 0 0 0 0 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503448521184 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23645] ppid=23579 vsize=13997884 CPUtime=0.59 cores=1,3,5,7
/proc/23582/task/23645/stat : 23645 (java) S 23579 23582 4896 0 -1 1077944384 614 12477 0 0 25 27 4 3 20 0 15 0 147444809 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503447468976 140504539462274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
Current children cumulated CPU time (s) 2524.85
Current children cumulated vsize (KiB) 13997884
[startup+934.007 s]
/proc/loadavg: 4.51 3.87 2.74 6/213 23695
/proc/meminfo: memFree=18071480/32770624 swapFree=0/455984
[pid=23582] ppid=23579 vsize=13997884 CPUtime=2526.41 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23579 23582 4896 0 -1 1077944320 566292 12477 0 0 251575 1059 4 3 20 0 15 0 147444775 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140725038291904 140504539451127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
/proc/23582/statm: 3499471 2923546 3464 1 0 3488085 0
[pid=23582/tid=23632] ppid=23579 vsize=13997884 CPUtime=336.19 cores=1,3,5,7
/proc/23582/task/23632/stat : 23632 (java) S 23579 23582 4896 0 -1 1077944384 80756 12477 0 0 33584 28 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504543682624 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23633] ppid=23579 vsize=13997884 CPUtime=533.88 cores=1,3,5,7
/proc/23582/task/23633/stat : 23633 (java) R 23579 23582 4896 0 -1 4202560 55591 12477 0 0 53147 234 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504496416752 140504532079335 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23634] ppid=23579 vsize=13997884 CPUtime=532.79 cores=1,3,5,7
/proc/23582/task/23634/stat : 23634 (java) R 23579 23582 4896 0 -1 4202560 47986 12477 0 0 53029 243 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504495364264 140504532079335 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23635] ppid=23579 vsize=13997884 CPUtime=532.73 cores=1,3,5,7
/proc/23582/task/23635/stat : 23635 (java) R 23579 23582 4896 0 -1 4202560 57112 12477 0 0 53002 264 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504494311968 140504524148766 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23636] ppid=23579 vsize=13997884 CPUtime=532.29 cores=1,3,5,7
/proc/23582/task/23636/stat : 23636 (java) R 23579 23582 4896 0 -1 4202560 52234 12477 0 0 52968 254 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504493258864 140504532079335 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23637] ppid=23579 vsize=13997884 CPUtime=53.67 cores=1,3,5,7
/proc/23582/task/23637/stat : 23637 (java) S 23579 23582 4896 0 -1 1077944384 240951 12477 0 0 5347 13 4 3 20 0 15 0 147444799 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504085181408 140504539461333 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23638] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23638/stat : 23638 (java) S 23579 23582 4896 0 -1 1077944384 14 12477 0 0 0 0 4 3 20 0 15 0 147444799 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503454836064 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23639] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23639/stat : 23639 (java) S 23579 23582 4896 0 -1 1077944384 43 12477 0 0 0 0 4 3 20 0 15 0 147444799 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503453783680 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23640] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23640/stat : 23640 (java) S 23579 23582 4896 0 -1 1077944384 5 12477 0 0 0 0 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503452731632 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23641] ppid=23579 vsize=13997884 CPUtime=1.71 cores=1,3,5,7
/proc/23582/task/23641/stat : 23641 (java) S 23579 23582 4896 0 -1 1077944384 7332 12477 0 0 163 1 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503451678880 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23642] ppid=23579 vsize=13997884 CPUtime=1.75 cores=1,3,5,7
/proc/23582/task/23642/stat : 23642 (java) S 23579 23582 4896 0 -1 1077944384 5645 12477 0 0 167 1 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503450626080 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23643] ppid=23579 vsize=13997884 CPUtime=1.33 cores=1,3,5,7
/proc/23582/task/23643/stat : 23643 (java) S 23579 23582 4896 0 -1 1077944384 15854 12477 0 0 122 4 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503449573504 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23644] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23644/stat : 23644 (java) S 23579 23582 4896 0 -1 1077944384 3 12477 0 0 0 0 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503448521184 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23645] ppid=23579 vsize=13997884 CPUtime=0.59 cores=1,3,5,7
/proc/23582/task/23645/stat : 23645 (java) S 23579 23582 4896 0 -1 1077944384 614 12477 0 0 25 27 4 3 20 0 15 0 147444809 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503447468976 140504539462274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
Current children cumulated CPU time (s) 2526.41
Current children cumulated vsize (KiB) 13997884
[startup+934.401 s]
/proc/loadavg: 4.51 3.87 2.74 6/213 23695
/proc/meminfo: memFree=18071480/32770624 swapFree=0/455984
[pid=23582] ppid=23579 vsize=13997884 CPUtime=2527.94 cores=1,3,5,7
/proc/23582/stat : 23582 (java) S 23579 23582 4896 0 -1 1077944320 566306 12477 0 0 251727 1060 4 3 20 0 15 0 147444775 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140725038291904 140504539451127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
/proc/23582/statm: 3499471 2923546 3464 1 0 3488085 0
[pid=23582/tid=23632] ppid=23579 vsize=13997884 CPUtime=336.19 cores=1,3,5,7
/proc/23582/task/23632/stat : 23632 (java) S 23579 23582 4896 0 -1 1077944384 80756 12477 0 0 33584 28 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504543682624 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23633] ppid=23579 vsize=13997884 CPUtime=534.26 cores=1,3,5,7
/proc/23582/task/23633/stat : 23633 (java) R 23579 23582 4896 0 -1 4202560 55591 12477 0 0 53185 234 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504496416752 140504532079335 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23634] ppid=23579 vsize=13997884 CPUtime=533.17 cores=1,3,5,7
/proc/23582/task/23634/stat : 23634 (java) R 23579 23582 4896 0 -1 1077944384 47986 12477 0 0 53066 244 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504495363952 140504539462274 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23635] ppid=23579 vsize=13997884 CPUtime=533.12 cores=1,3,5,7
/proc/23582/task/23635/stat : 23635 (java) R 23579 23582 4896 0 -1 4202560 57126 12477 0 0 53041 264 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504494311968 140504524436423 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23636] ppid=23579 vsize=13997884 CPUtime=532.67 cores=1,3,5,7
/proc/23582/task/23636/stat : 23636 (java) R 23579 23582 4896 0 -1 4202560 52234 12477 0 0 53005 255 4 3 20 0 15 0 147444797 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504493258864 140504532079335 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23637] ppid=23579 vsize=13997884 CPUtime=53.67 cores=1,3,5,7
/proc/23582/task/23637/stat : 23637 (java) S 23579 23582 4896 0 -1 1077944384 240951 12477 0 0 5347 13 4 3 20 0 15 0 147444799 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140504085181408 140504539461333 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23638] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23638/stat : 23638 (java) S 23579 23582 4896 0 -1 1077944384 14 12477 0 0 0 0 4 3 20 0 15 0 147444799 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503454836064 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23639] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23639/stat : 23639 (java) S 23579 23582 4896 0 -1 1077944384 43 12477 0 0 0 0 4 3 20 0 15 0 147444799 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503453783680 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23640] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23640/stat : 23640 (java) S 23579 23582 4896 0 -1 1077944384 5 12477 0 0 0 0 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503452731632 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23641] ppid=23579 vsize=13997884 CPUtime=1.71 cores=1,3,5,7
/proc/23582/task/23641/stat : 23641 (java) S 23579 23582 4896 0 -1 1077944384 7332 12477 0 0 163 1 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503451678880 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23642] ppid=23579 vsize=13997884 CPUtime=1.75 cores=1,3,5,7
/proc/23582/task/23642/stat : 23642 (java) S 23579 23582 4896 0 -1 1077944384 5645 12477 0 0 167 1 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503450626080 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23643] ppid=23579 vsize=13997884 CPUtime=1.33 cores=1,3,5,7
/proc/23582/task/23643/stat : 23643 (java) S 23579 23582 4896 0 -1 1077944384 15854 12477 0 0 122 4 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503449573504 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23644] ppid=23579 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23582/task/23644/stat : 23644 (java) S 23579 23582 4896 0 -1 1077944384 3 12477 0 0 0 0 4 3 20 0 15 0 147444802 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503448521184 140504539461333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
[pid=23582/tid=23645] ppid=23579 vsize=13997884 CPUtime=0.59 cores=1,3,5,7
/proc/23582/task/23645/stat : 23645 (java) S 23579 23582 4896 0 -1 1077944384 614 12477 0 0 25 27 4 3 20 0 15 0 147444809 14333833216 2923546 18446744073709551615 4194304 4196468 140725038309360 140503447468976 140504539462274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17387520 140725038315472 140725038318257 140725038318257 140725038321615 0
Current children cumulated CPU time (s) 2527.94
Current children cumulated vsize (KiB) 13997884
Child ended because it received signal 9 (SIGKILL)
Real time (s): 934.457
CPU time (s): 2528.04
CPU user time (s): 2517.34
CPU system time (s): 10.6921
CPU usage (%): 270.535
Max. virtual memory (cumulated for all children) (KiB): 13997884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.34
system time used= 10.6921
maximum resident set size= 11694440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 578786
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62558
involuntary context switches= 21255
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.20564 second user time and 6.20219 second system time
The end