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-4262493-1502446247/watcher-4262493-1502446247 -o /tmp/evaluation-result-4262493-1502446247/solver-4262493-1502446247 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502411410-19682 --watchdog 2580 bin/concrete HOME/instance-4262493-1502446247.xml
pid=28940
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: 2.08 2.09 1.81 5/194 28943
/proc/meminfo: memFree=19934400/32770624 swapFree=0/541256
[pid=28943] ppid=28940 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/28943/stat : 28943 (runsolver) D 28940 28943 19618 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 46818174 24240128 107 18446744073709551615 4194304 4338465 140731196443856 140731196441496 140705716327127 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 15761408 140731196444880 140731196445257 140731196445257 140731196448714 0
/proc/28943/statm: 5918 107 54 36 0 2156 0
[startup+0.100091 s]
/proc/loadavg: 2.08 2.09 1.81 5/194 28943
/proc/meminfo: memFree=19934400/32770624 swapFree=0/541256
[pid=28943] ppid=28940 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/28943/stat : 28943 (bash) S 28940 28943 19618 0 -1 4202496 855 6172 0 0 0 0 0 1 20 0 1 0 46818174 9867264 366 18446744073709551615 4194304 5098028 140735513428768 140735513422504 139634663644160 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 39034880 140735513432596 140735513432681 140735513432681 140735513436138 0
/proc/28943/statm: 2409 366 287 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200249 s]
/proc/loadavg: 2.08 2.09 1.81 5/194 28943
/proc/meminfo: memFree=19934400/32770624 swapFree=0/541256
[pid=28943] ppid=28940 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/28943/stat : 28943 (bash) S 28940 28943 19618 0 -1 4202496 896 6480 0 0 0 0 0 1 20 0 1 0 46818174 9867264 377 18446744073709551615 4194304 5098028 140735513428768 140735513422776 139634663644160 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 39034880 140735513432596 140735513432681 140735513432681 140735513436138 0
/proc/28943/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300363 s]
/proc/loadavg: 2.08 2.09 1.81 5/194 28943
/proc/meminfo: memFree=19934400/32770624 swapFree=0/541256
[pid=28943] ppid=28940 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/28943/stat : 28943 (bash) S 28940 28943 19618 0 -1 4202496 896 6480 0 0 0 0 0 1 20 0 1 0 46818174 9867264 377 18446744073709551615 4194304 5098028 140735513428768 140735513422776 139634663644160 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 39034880 140735513432596 140735513432681 140735513432681 140735513436138 0
/proc/28943/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.700282 s]
/proc/loadavg: 2.08 2.09 1.81 5/194 28943
/proc/meminfo: memFree=19934400/32770624 swapFree=0/541256
[pid=28943] ppid=28940 vsize=13974784 CPUtime=0.51 cores=1,3,5,7
/proc/28943/stat : 28943 (java) S 28940 28943 19618 0 -1 1077944320 13076 12662 0 0 40 4 5 2 20 0 15 0 46818174 14310178816 13313 18446744073709551615 4194304 4196468 140733029759616 140733029742160 140341155466999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
/proc/28943/statm: 3493696 13313 3058 1 0 3482965 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13974784
[startup+1.50165 s]
/proc/loadavg: 2.08 2.09 1.81 3/209 29006
/proc/meminfo: memFree=19853624/32770624 swapFree=0/541488
[pid=28943] ppid=28940 vsize=13985408 CPUtime=1.7 cores=1,3,5,7
/proc/28943/stat : 28943 (java) S 28940 28943 19618 0 -1 1077944320 28930 12662 0 0 155 8 5 2 20 0 15 0 46818174 14321057792 33132 18446744073709551615 4194304 4196468 140733029759616 140733029742160 140341155466999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
/proc/28943/statm: 3496352 33132 3337 1 0 3485525 0
[pid=28943/tid=28993] ppid=28940 vsize=13985408 CPUtime=1.19 cores=1,3,5,7
/proc/28943/task/28993/stat : 28993 (java) R 28940 28943 19618 0 -1 4202560 24109 12662 0 0 106 6 5 2 20 0 15 0 46818208 14321057792 33132 18446744073709551615 4194304 4196468 140733029759616 140341159695456 140340757667759 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28994] ppid=28940 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/28994/stat : 28994 (java) S 28940 28943 19618 0 -1 1077944384 1 12662 0 0 0 0 5 2 20 0 15 0 46818208 14321057792 33132 18446744073709551615 4194304 4196468 140733029759616 140341089900816 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28995] ppid=28940 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/28995/stat : 28995 (java) S 28940 28943 19618 0 -1 1077944384 1 12662 0 0 0 0 5 2 20 0 15 0 46818208 14321057792 33132 18446744073709551615 4194304 4196468 140733029759616 140341088848272 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28996] ppid=28940 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/28996/stat : 28996 (java) S 28940 28943 19618 0 -1 1077944384 1 12662 0 0 0 0 5 2 20 0 15 0 46818208 14321057792 33132 18446744073709551615 4194304 4196468 140733029759616 140341087795728 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28997] ppid=28940 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/28997/stat : 28997 (java) S 28940 28943 19618 0 -1 1077944384 2 12662 0 0 0 0 5 2 20 0 15 0 46818208 14321057792 33132 18446744073709551615 4194304 4196468 140733029759616 140341086743184 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28998] ppid=28940 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/28998/stat : 28998 (java) S 28940 28943 19618 0 -1 1077944384 5 12662 0 0 0 0 5 2 20 0 15 0 46818210 14321057792 33132 18446744073709551615 4194304 4196468 140733029759616 140340634028528 140341155478146 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28999] ppid=28940 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/28999/stat : 28999 (java) S 28940 28943 19618 0 -1 1077944384 33 12662 0 0 0 0 5 2 20 0 15 0 46818210 14321057792 33132 18446744073709551615 4194304 4196468 140733029759616 140340632974752 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29000] ppid=28940 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29000/stat : 29000 (java) S 28940 28943 19618 0 -1 1077944384 21 12662 0 0 0 0 5 2 20 0 15 0 46818210 14321057792 33132 18446744073709551615 4194304 4196468 140733029759616 140340631922160 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29001] ppid=28940 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29001/stat : 29001 (java) S 28940 28943 19618 0 -1 1077944384 3 12662 0 0 0 0 5 2 20 0 15 0 46818213 14321057792 33132 18446744073709551615 4194304 4196468 140733029759616 140340630870736 140341155485595 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29002] ppid=28940 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/28943/task/29002/stat : 29002 (java) R 28940 28943 19618 0 -1 4202560 1232 12662 0 0 18 0 5 2 20 0 15 0 46818213 14321057792 33132 18446744073709551615 4194304 4196468 140733029759616 140340629803872 140341140584093 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29003] ppid=28940 vsize=13985408 CPUtime=0.16 cores=1,3,5,7
/proc/28943/task/29003/stat : 29003 (java) S 28940 28943 19618 0 -1 1077944384 436 12662 0 0 9 0 5 2 20 0 15 0 46818213 14321057792 33132 18446744073709551615 4194304 4196468 140733029759616 140340628764784 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29004] ppid=28940 vsize=13985408 CPUtime=0.27 cores=1,3,5,7
/proc/28943/task/29004/stat : 29004 (java) R 28940 28943 19618 0 -1 4202560 917 12662 0 0 20 0 5 2 20 0 15 0 46818213 14321057792 33132 18446744073709551615 4194304 4196468 140733029759616 140340627712240 140341155488346 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29005] ppid=28940 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29005/stat : 29005 (java) S 28940 28943 19618 0 -1 1077944384 3 12662 0 0 0 0 5 2 20 0 15 0 46818213 14321057792 33132 18446744073709551615 4194304 4196468 140733029759616 140340626659936 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29006] ppid=28940 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29006/stat : 29006 (java) S 28940 28943 19618 0 -1 1077944384 11 12662 0 0 0 0 5 2 20 0 15 0 46818216 14321057792 33132 18446744073709551615 4194304 4196468 140733029759616 140340625607472 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 13985408
[startup+3.10068 s]
/proc/loadavg: 2.07 2.09 1.81 5/209 29006
/proc/meminfo: memFree=19756632/32770624 swapFree=0/541488
[pid=28943] ppid=28940 vsize=13995836 CPUtime=5.87 cores=1,3,5,7
/proc/28943/stat : 28943 (java) S 28940 28943 19618 0 -1 1077944320 43161 12662 0 0 555 25 5 2 20 0 15 0 46818174 14331736064 86169 18446744073709551615 4194304 4196468 140733029759616 140733029742160 140341155466999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
/proc/28943/statm: 3498959 86169 3463 1 0 3487573 0
[pid=28943/tid=28993] ppid=28940 vsize=13995836 CPUtime=2.68 cores=1,3,5,7
/proc/28943/task/28993/stat : 28993 (java) R 28940 28943 19618 0 -1 4202560 30479 12662 0 0 253 8 5 2 20 0 15 0 46818208 14331736064 86169 18446744073709551615 4194304 4196468 140733029759616 140341159699744 140341155478934 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28994] ppid=28940 vsize=13995836 CPUtime=0.14 cores=1,3,5,7
/proc/28943/task/28994/stat : 28994 (java) S 28940 28943 19618 0 -1 1077944384 287 12662 0 0 5 2 5 2 20 0 15 0 46818208 14331736064 86169 18446744073709551615 4194304 4196468 140733029759616 140341089900816 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28995] ppid=28940 vsize=13995836 CPUtime=0.14 cores=1,3,5,7
/proc/28943/task/28995/stat : 28995 (java) S 28940 28943 19618 0 -1 1077944384 122 12662 0 0 5 2 5 2 20 0 15 0 46818208 14331736064 86169 18446744073709551615 4194304 4196468 140733029759616 140341088848272 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28996] ppid=28940 vsize=13995836 CPUtime=0.14 cores=1,3,5,7
/proc/28943/task/28996/stat : 28996 (java) S 28940 28943 19618 0 -1 1077944384 108 12662 0 0 5 2 5 2 20 0 15 0 46818208 14331736064 86169 18446744073709551615 4194304 4196468 140733029759616 140341087795728 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28997] ppid=28940 vsize=13995836 CPUtime=0.14 cores=1,3,5,7
/proc/28943/task/28997/stat : 28997 (java) S 28940 28943 19618 0 -1 1077944384 148 12662 0 0 5 2 5 2 20 0 15 0 46818208 14331736064 86169 18446744073709551615 4194304 4196468 140733029759616 140341086743184 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28998] ppid=28940 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/28943/task/28998/stat : 28998 (java) S 28940 28943 19618 0 -1 1077944384 1885 12662 0 0 1 0 5 2 20 0 15 0 46818210 14331736064 86169 18446744073709551615 4194304 4196468 140733029759616 140340634028528 140341155478146 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28999] ppid=28940 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/28999/stat : 28999 (java) S 28940 28943 19618 0 -1 1077944384 55 12662 0 0 0 0 5 2 20 0 15 0 46818210 14331736064 86169 18446744073709551615 4194304 4196468 140733029759616 140340632974816 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29000] ppid=28940 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29000/stat : 29000 (java) S 28940 28943 19618 0 -1 1077944384 43 12662 0 0 0 0 5 2 20 0 15 0 46818210 14331736064 86169 18446744073709551615 4194304 4196468 140733029759616 140340631922176 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29001] ppid=28940 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29001/stat : 29001 (java) S 28940 28943 19618 0 -1 1077944384 3 12662 0 0 0 0 5 2 20 0 15 0 46818213 14331736064 86169 18446744073709551615 4194304 4196468 140733029759616 140340630870736 140341155485595 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29002] ppid=28940 vsize=13995836 CPUtime=1.18 cores=1,3,5,7
/proc/28943/task/29002/stat : 29002 (java) R 28940 28943 19618 0 -1 4202560 3616 12662 0 0 110 1 5 2 20 0 15 0 46818213 14331736064 86169 18446744073709551615 4194304 4196468 140733029759616 140340629796880 140341134743721 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29003] ppid=28940 vsize=13995836 CPUtime=0.93 cores=1,3,5,7
/proc/28943/task/29003/stat : 29003 (java) R 28940 28943 19618 0 -1 4202560 1459 12662 0 0 85 1 5 2 20 0 15 0 46818213 14331736064 86169 18446744073709551615 4194304 4196468 140733029759616 140340628757976 140341134898560 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29004] ppid=28940 vsize=13995836 CPUtime=0.88 cores=1,3,5,7
/proc/28943/task/29004/stat : 29004 (java) S 28940 28943 19618 0 -1 1077944384 2785 12662 0 0 80 1 5 2 20 0 15 0 46818213 14331736064 86169 18446744073709551615 4194304 4196468 140733029759616 140340627712240 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29005] ppid=28940 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29005/stat : 29005 (java) S 28940 28943 19618 0 -1 1077944384 3 12662 0 0 0 0 5 2 20 0 15 0 46818213 14331736064 86169 18446744073709551615 4194304 4196468 140733029759616 140340626659936 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29006] ppid=28940 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29006/stat : 29006 (java) S 28940 28943 19618 0 -1 1077944384 13 12662 0 0 0 0 5 2 20 0 15 0 46818216 14331736064 86169 18446744073709551615 4194304 4196468 140733029759616 140340625607472 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 13995836
[startup+6.30071 s]
/proc/loadavg: 2.07 2.09 1.81 3/209 29006
/proc/meminfo: memFree=19227968/32770624 swapFree=0/541492
[pid=28943] ppid=28940 vsize=13995836 CPUtime=13.37 cores=1,3,5,7
/proc/28943/stat : 28943 (java) S 28940 28943 19618 0 -1 1077944320 50958 12662 0 0 1278 52 5 2 20 0 15 0 46818174 14331736064 191860 18446744073709551615 4194304 4196468 140733029759616 140733029742160 140341155466999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
/proc/28943/statm: 3498959 191860 3474 1 0 3487573 0
[pid=28943/tid=28993] ppid=28940 vsize=13995836 CPUtime=5.67 cores=1,3,5,7
/proc/28943/task/28993/stat : 28993 (java) R 28940 28943 19618 0 -1 4202560 32619 12662 0 0 548 12 5 2 20 0 15 0 46818208 14331736064 191860 18446744073709551615 4194304 4196468 140733029759616 140341159701216 140340760749767 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28994] ppid=28940 vsize=13995836 CPUtime=0.35 cores=1,3,5,7
/proc/28943/task/28994/stat : 28994 (java) S 28940 28943 19618 0 -1 1077944384 601 12662 0 0 20 8 5 2 20 0 15 0 46818208 14331736064 191860 18446744073709551615 4194304 4196468 140733029759616 140341089900816 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28995] ppid=28940 vsize=13995836 CPUtime=0.34 cores=1,3,5,7
/proc/28943/task/28995/stat : 28995 (java) S 28940 28943 19618 0 -1 1077944384 363 12662 0 0 19 8 5 2 20 0 15 0 46818208 14331736064 191860 18446744073709551615 4194304 4196468 140733029759616 140341088848272 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28996] ppid=28940 vsize=13995836 CPUtime=0.35 cores=1,3,5,7
/proc/28943/task/28996/stat : 28996 (java) S 28940 28943 19618 0 -1 1077944384 859 12662 0 0 20 8 5 2 20 0 15 0 46818208 14331736064 191860 18446744073709551615 4194304 4196468 140733029759616 140341087795728 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28997] ppid=28940 vsize=13995836 CPUtime=0.34 cores=1,3,5,7
/proc/28943/task/28997/stat : 28997 (java) S 28940 28943 19618 0 -1 1077944384 327 12662 0 0 19 8 5 2 20 0 15 0 46818208 14331736064 191860 18446744073709551615 4194304 4196468 140733029759616 140341086743184 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28998] ppid=28940 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/28943/task/28998/stat : 28998 (java) S 28940 28943 19618 0 -1 1077944384 2224 12662 0 0 2 0 5 2 20 0 15 0 46818210 14331736064 191860 18446744073709551615 4194304 4196468 140733029759616 140340634028528 140341155478146 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28999] ppid=28940 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/28999/stat : 28999 (java) S 28940 28943 19618 0 -1 1077944384 55 12662 0 0 0 0 5 2 20 0 15 0 46818210 14331736064 191860 18446744073709551615 4194304 4196468 140733029759616 140340632974816 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29000] ppid=28940 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29000/stat : 29000 (java) S 28940 28943 19618 0 -1 1077944384 43 12662 0 0 0 0 5 2 20 0 15 0 46818210 14331736064 191860 18446744073709551615 4194304 4196468 140733029759616 140340631922176 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29001] ppid=28940 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29001/stat : 29001 (java) S 28940 28943 19618 0 -1 1077944384 3 12662 0 0 0 0 5 2 20 0 15 0 46818213 14331736064 191860 18446744073709551615 4194304 4196468 140733029759616 140340630870736 140341155485595 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29002] ppid=28940 vsize=13995836 CPUtime=2.9 cores=1,3,5,7
/proc/28943/task/29002/stat : 29002 (java) S 28940 28943 19618 0 -1 1077944384 5078 12662 0 0 282 1 5 2 20 0 15 0 46818213 14331736064 191860 18446744073709551615 4194304 4196468 140733029759616 140340629817328 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29003] ppid=28940 vsize=13995836 CPUtime=2.66 cores=1,3,5,7
/proc/28943/task/29003/stat : 29003 (java) S 28940 28943 19618 0 -1 1077944384 3160 12662 0 0 257 2 5 2 20 0 15 0 46818213 14331736064 191860 18446744073709551615 4194304 4196468 140733029759616 140340628764784 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29004] ppid=28940 vsize=13995836 CPUtime=1.15 cores=1,3,5,7
/proc/28943/task/29004/stat : 29004 (java) S 28940 28943 19618 0 -1 1077944384 3339 12662 0 0 107 1 5 2 20 0 15 0 46818213 14331736064 191860 18446744073709551615 4194304 4196468 140733029759616 140340627712240 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29005] ppid=28940 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29005/stat : 29005 (java) S 28940 28943 19618 0 -1 1077944384 3 12662 0 0 0 0 5 2 20 0 15 0 46818213 14331736064 191860 18446744073709551615 4194304 4196468 140733029759616 140340626659936 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29006] ppid=28940 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29006/stat : 29006 (java) S 28940 28943 19618 0 -1 1077944384 129 12662 0 0 0 0 5 2 20 0 15 0 46818216 14331736064 191860 18446744073709551615 4194304 4196468 140733029759616 140340625607472 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
Current children cumulated CPU time (s) 13.37
Current children cumulated vsize (KiB) 13995836
[startup+12.7007 s]
/proc/loadavg: 1.99 2.07 1.81 3/209 29006
/proc/meminfo: memFree=18245632/32770624 swapFree=0/541496
[pid=28943] ppid=28940 vsize=13997884 CPUtime=25.49 cores=1,3,5,7
/proc/28943/stat : 28943 (java) S 28940 28943 19618 0 -1 1077944320 76116 12662 0 0 2447 95 5 2 20 0 15 0 46818174 14333833216 438403 18446744073709551615 4194304 4196468 140733029759616 140733029742160 140341155466999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
/proc/28943/statm: 3499471 438403 3476 1 0 3488085 0
[pid=28943/tid=28993] ppid=28940 vsize=13997884 CPUtime=10.92 cores=1,3,5,7
/proc/28943/task/28993/stat : 28993 (java) R 28940 28943 19618 0 -1 4202560 37292 12662 0 0 1065 20 5 2 20 0 15 0 46818208 14333833216 438403 18446744073709551615 4194304 4196468 140733029759616 140341159701024 140340758686849 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28994] ppid=28940 vsize=13997884 CPUtime=1.34 cores=1,3,5,7
/proc/28943/task/28994/stat : 28994 (java) S 28940 28943 19618 0 -1 1077944384 983 12662 0 0 111 16 5 2 20 0 15 0 46818208 14333833216 438403 18446744073709551615 4194304 4196468 140733029759616 140341089900816 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28995] ppid=28940 vsize=13997884 CPUtime=1.32 cores=1,3,5,7
/proc/28943/task/28995/stat : 28995 (java) S 28940 28943 19618 0 -1 1077944384 596 12662 0 0 110 15 5 2 20 0 15 0 46818208 14333833216 438403 18446744073709551615 4194304 4196468 140733029759616 140341088848272 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28996] ppid=28940 vsize=13997884 CPUtime=1.33 cores=1,3,5,7
/proc/28943/task/28996/stat : 28996 (java) S 28940 28943 19618 0 -1 1077944384 1929 12662 0 0 110 16 5 2 20 0 15 0 46818208 14333833216 438403 18446744073709551615 4194304 4196468 140733029759616 140341087795728 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28997] ppid=28940 vsize=13997884 CPUtime=1.33 cores=1,3,5,7
/proc/28943/task/28997/stat : 28997 (java) S 28940 28943 19618 0 -1 1077944384 846 12662 0 0 110 16 5 2 20 0 15 0 46818208 14333833216 438403 18446744073709551615 4194304 4196468 140733029759616 140341086743184 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28998] ppid=28940 vsize=13997884 CPUtime=0.22 cores=1,3,5,7
/proc/28943/task/28998/stat : 28998 (java) S 28940 28943 19618 0 -1 1077944384 9411 12662 0 0 15 0 5 2 20 0 15 0 46818210 14333833216 438403 18446744073709551615 4194304 4196468 140733029759616 140340634028528 140341155478146 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28999] ppid=28940 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/28999/stat : 28999 (java) S 28940 28943 19618 0 -1 1077944384 57 12662 0 0 0 0 5 2 20 0 15 0 46818210 14333833216 438403 18446744073709551615 4194304 4196468 140733029759616 140340632974816 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29000] ppid=28940 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29000/stat : 29000 (java) S 28940 28943 19618 0 -1 1077944384 46 12662 0 0 0 0 5 2 20 0 15 0 46818210 14333833216 438403 18446744073709551615 4194304 4196468 140733029759616 140340631922176 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29001] ppid=28940 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29001/stat : 29001 (java) S 28940 28943 19618 0 -1 1077944384 3 12662 0 0 0 0 5 2 20 0 15 0 46818213 14333833216 438403 18446744073709551615 4194304 4196468 140733029759616 140340630870736 140341155485595 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
################
# More data... #
################
Solver just ended.
Dumping a history of the last processes samples
[startup+2276.8 s]
/proc/loadavg: 1.48 1.53 1.54 4/212 29418
/proc/meminfo: memFree=19881428/32770624 swapFree=0/542220
[pid=28943] ppid=28940 vsize=14133060 CPUtime=2521.2 cores=1,3,5,7
/proc/28943/stat : 28943 (java) S 28940 28943 19618 0 -1 1077944320 702332 12662 0 0 251631 482 5 2 20 0 17 0 46818174 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140733029742160 140341155466999 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
/proc/28943/statm: 3533265 1446752 3481 1 0 3521879 0
[pid=28943/tid=28993] ppid=28940 vsize=14133060 CPUtime=2195.91 cores=1,3,5,7
/proc/28943/task/28993/stat : 28993 (java) R 28940 28943 19618 0 -1 4202560 279233 12662 0 0 219498 86 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341159702160 140340757865986 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28994] ppid=28940 vsize=14133060 CPUtime=75.49 cores=1,3,5,7
/proc/28943/task/28994/stat : 28994 (java) S 28940 28943 19618 0 -1 1077944384 67147 12662 0 0 7469 73 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341089900816 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28995] ppid=28940 vsize=14133060 CPUtime=75.51 cores=1,3,5,7
/proc/28943/task/28995/stat : 28995 (java) S 28940 28943 19618 0 -1 1077944384 55542 12662 0 0 7472 72 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341088848272 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28996] ppid=28940 vsize=14133060 CPUtime=75.42 cores=1,3,5,7
/proc/28943/task/28996/stat : 28996 (java) S 28940 28943 19618 0 -1 1077944384 51577 12662 0 0 7472 63 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341087795728 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28997] ppid=28940 vsize=14133060 CPUtime=75.52 cores=1,3,5,7
/proc/28943/task/28997/stat : 28997 (java) S 28940 28943 19618 0 -1 1077944384 54749 12662 0 0 7472 73 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341086743184 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28998] ppid=28940 vsize=14133060 CPUtime=3.53 cores=1,3,5,7
/proc/28943/task/28998/stat : 28998 (java) S 28940 28943 19618 0 -1 1077944384 127226 12662 0 0 326 20 5 2 20 0 17 0 46818210 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340634028528 140341155478146 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28999] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/28999/stat : 28999 (java) S 28940 28943 19618 0 -1 1077944384 65 12662 0 0 0 0 5 2 20 0 17 0 46818210 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340632974816 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29000] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29000/stat : 29000 (java) S 28940 28943 19618 0 -1 1077944384 51 12662 0 0 0 0 5 2 20 0 17 0 46818210 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340631922176 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29001] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29001/stat : 29001 (java) S 28940 28943 19618 0 -1 1077944384 196 12662 0 0 0 0 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340630870736 140341155485595 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29002] ppid=28940 vsize=14133060 CPUtime=8.32 cores=1,3,5,7
/proc/28943/task/29002/stat : 29002 (java) S 28940 28943 19618 0 -1 1077944384 23246 12662 0 0 820 5 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340629817328 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29003] ppid=28940 vsize=14133060 CPUtime=7.94 cores=1,3,5,7
/proc/28943/task/29003/stat : 29003 (java) S 28940 28943 19618 0 -1 1077944384 23716 12662 0 0 783 4 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340628764784 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29004] ppid=28940 vsize=14133060 CPUtime=2.23 cores=1,3,5,7
/proc/28943/task/29004/stat : 29004 (java) S 28940 28943 19618 0 -1 1077944384 15987 12662 0 0 211 5 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340627712240 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29005] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29005/stat : 29005 (java) S 28940 28943 19618 0 -1 1077944384 3 12662 0 0 0 0 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340626659936 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29006] ppid=28940 vsize=14133060 CPUtime=1.85 cores=1,3,5,7
/proc/28943/task/29006/stat : 29006 (java) S 28940 28943 19618 0 -1 1077944384 1119 12662 0 0 84 94 5 2 20 0 17 0 46818216 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340625607472 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29417] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29417/stat : 29417 (java) S 28940 28943 19618 0 -1 1077944384 290 12662 0 0 0 0 5 2 20 0 17 0 47045745 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340036268656 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29418] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29418/stat : 29418 (java) S 28940 28943 19618 0 -1 1077944384 29 12662 0 0 0 0 5 2 20 0 17 0 47045745 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340035217136 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
Current children cumulated CPU time (s) 2521.2
Current children cumulated vsize (KiB) 14133060
[startup+2277.2 s]
/proc/loadavg: 1.48 1.53 1.54 4/212 29418
/proc/meminfo: memFree=19881148/32770624 swapFree=0/542216
[pid=28943] ppid=28940 vsize=14133060 CPUtime=2521.66 cores=1,3,5,7
/proc/28943/stat : 28943 (java) S 28940 28943 19618 0 -1 1077944320 702339 12662 0 0 251677 482 5 2 20 0 17 0 46818174 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140733029742160 140341155466999 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
/proc/28943/statm: 3533265 1446752 3481 1 0 3521879 0
[pid=28943/tid=28993] ppid=28940 vsize=14133060 CPUtime=2196.29 cores=1,3,5,7
/proc/28943/task/28993/stat : 28993 (java) R 28940 28943 19618 0 -1 4202560 279233 12662 0 0 219536 86 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341159702160 140340757866010 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28994] ppid=28940 vsize=14133060 CPUtime=75.51 cores=1,3,5,7
/proc/28943/task/28994/stat : 28994 (java) S 28940 28943 19618 0 -1 1077944384 67148 12662 0 0 7471 73 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341089900816 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28995] ppid=28940 vsize=14133060 CPUtime=75.53 cores=1,3,5,7
/proc/28943/task/28995/stat : 28995 (java) S 28940 28943 19618 0 -1 1077944384 55544 12662 0 0 7474 72 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341088848272 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28996] ppid=28940 vsize=14133060 CPUtime=75.44 cores=1,3,5,7
/proc/28943/task/28996/stat : 28996 (java) S 28940 28943 19618 0 -1 1077944384 51578 12662 0 0 7474 63 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341087795728 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28997] ppid=28940 vsize=14133060 CPUtime=75.54 cores=1,3,5,7
/proc/28943/task/28997/stat : 28997 (java) S 28940 28943 19618 0 -1 1077944384 54751 12662 0 0 7474 73 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341086743184 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28998] ppid=28940 vsize=14133060 CPUtime=3.53 cores=1,3,5,7
/proc/28943/task/28998/stat : 28998 (java) S 28940 28943 19618 0 -1 1077944384 127226 12662 0 0 326 20 5 2 20 0 17 0 46818210 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340634028528 140341155478146 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28999] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/28999/stat : 28999 (java) S 28940 28943 19618 0 -1 1077944384 65 12662 0 0 0 0 5 2 20 0 17 0 46818210 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340632974816 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29000] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29000/stat : 29000 (java) S 28940 28943 19618 0 -1 1077944384 51 12662 0 0 0 0 5 2 20 0 17 0 46818210 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340631922176 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29001] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29001/stat : 29001 (java) S 28940 28943 19618 0 -1 1077944384 196 12662 0 0 0 0 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340630870736 140341155485595 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29002] ppid=28940 vsize=14133060 CPUtime=8.32 cores=1,3,5,7
/proc/28943/task/29002/stat : 29002 (java) S 28940 28943 19618 0 -1 1077944384 23246 12662 0 0 820 5 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340629817328 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29003] ppid=28940 vsize=14133060 CPUtime=7.94 cores=1,3,5,7
/proc/28943/task/29003/stat : 29003 (java) S 28940 28943 19618 0 -1 1077944384 23716 12662 0 0 783 4 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340628764784 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29004] ppid=28940 vsize=14133060 CPUtime=2.23 cores=1,3,5,7
/proc/28943/task/29004/stat : 29004 (java) S 28940 28943 19618 0 -1 1077944384 15987 12662 0 0 211 5 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340627712240 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29005] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29005/stat : 29005 (java) S 28940 28943 19618 0 -1 1077944384 3 12662 0 0 0 0 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340626659936 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29006] ppid=28940 vsize=14133060 CPUtime=1.85 cores=1,3,5,7
/proc/28943/task/29006/stat : 29006 (java) S 28940 28943 19618 0 -1 1077944384 1119 12662 0 0 84 94 5 2 20 0 17 0 46818216 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340625607472 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29417] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29417/stat : 29417 (java) S 28940 28943 19618 0 -1 1077944384 290 12662 0 0 0 0 5 2 20 0 17 0 47045745 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340036268656 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29418] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29418/stat : 29418 (java) S 28940 28943 19618 0 -1 1077944384 30 12662 0 0 0 0 5 2 20 0 17 0 47045745 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340035217136 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
Current children cumulated CPU time (s) 2521.66
Current children cumulated vsize (KiB) 14133060
[startup+2277.6 s]
/proc/loadavg: 1.48 1.53 1.54 4/212 29418
/proc/meminfo: memFree=19881148/32770624 swapFree=0/542216
[pid=28943] ppid=28940 vsize=14133060 CPUtime=2522.06 cores=1,3,5,7
/proc/28943/stat : 28943 (java) S 28940 28943 19618 0 -1 1077944320 702339 12662 0 0 251717 482 5 2 20 0 17 0 46818174 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140733029742160 140341155466999 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
/proc/28943/statm: 3533265 1446752 3481 1 0 3521879 0
[pid=28943/tid=28993] ppid=28940 vsize=14133060 CPUtime=2196.69 cores=1,3,5,7
/proc/28943/task/28993/stat : 28993 (java) R 28940 28943 19618 0 -1 4202560 279233 12662 0 0 219576 86 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341159702160 140340757865998 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28994] ppid=28940 vsize=14133060 CPUtime=75.51 cores=1,3,5,7
/proc/28943/task/28994/stat : 28994 (java) S 28940 28943 19618 0 -1 1077944384 67148 12662 0 0 7471 73 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341089900816 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28995] ppid=28940 vsize=14133060 CPUtime=75.53 cores=1,3,5,7
/proc/28943/task/28995/stat : 28995 (java) S 28940 28943 19618 0 -1 1077944384 55544 12662 0 0 7474 72 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341088848272 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28996] ppid=28940 vsize=14133060 CPUtime=75.44 cores=1,3,5,7
/proc/28943/task/28996/stat : 28996 (java) S 28940 28943 19618 0 -1 1077944384 51578 12662 0 0 7474 63 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341087795728 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28997] ppid=28940 vsize=14133060 CPUtime=75.54 cores=1,3,5,7
/proc/28943/task/28997/stat : 28997 (java) S 28940 28943 19618 0 -1 1077944384 54751 12662 0 0 7474 73 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341086743184 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28998] ppid=28940 vsize=14133060 CPUtime=3.53 cores=1,3,5,7
/proc/28943/task/28998/stat : 28998 (java) S 28940 28943 19618 0 -1 1077944384 127226 12662 0 0 326 20 5 2 20 0 17 0 46818210 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340634028528 140341155478146 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28999] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/28999/stat : 28999 (java) S 28940 28943 19618 0 -1 1077944384 65 12662 0 0 0 0 5 2 20 0 17 0 46818210 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340632974816 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29000] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29000/stat : 29000 (java) S 28940 28943 19618 0 -1 1077944384 51 12662 0 0 0 0 5 2 20 0 17 0 46818210 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340631922176 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29001] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29001/stat : 29001 (java) S 28940 28943 19618 0 -1 1077944384 196 12662 0 0 0 0 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340630870736 140341155485595 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29002] ppid=28940 vsize=14133060 CPUtime=8.32 cores=1,3,5,7
/proc/28943/task/29002/stat : 29002 (java) S 28940 28943 19618 0 -1 1077944384 23246 12662 0 0 820 5 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340629817328 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29003] ppid=28940 vsize=14133060 CPUtime=7.94 cores=1,3,5,7
/proc/28943/task/29003/stat : 29003 (java) S 28940 28943 19618 0 -1 1077944384 23716 12662 0 0 783 4 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340628764784 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29004] ppid=28940 vsize=14133060 CPUtime=2.23 cores=1,3,5,7
/proc/28943/task/29004/stat : 29004 (java) S 28940 28943 19618 0 -1 1077944384 15987 12662 0 0 211 5 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340627712240 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29005] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29005/stat : 29005 (java) S 28940 28943 19618 0 -1 1077944384 3 12662 0 0 0 0 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340626659936 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29006] ppid=28940 vsize=14133060 CPUtime=1.85 cores=1,3,5,7
/proc/28943/task/29006/stat : 29006 (java) S 28940 28943 19618 0 -1 1077944384 1119 12662 0 0 84 94 5 2 20 0 17 0 46818216 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340625607472 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29417] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29417/stat : 29417 (java) S 28940 28943 19618 0 -1 1077944384 290 12662 0 0 0 0 5 2 20 0 17 0 47045745 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340036268656 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29418] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29418/stat : 29418 (java) S 28940 28943 19618 0 -1 1077944384 30 12662 0 0 0 0 5 2 20 0 17 0 47045745 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340035217136 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
Current children cumulated CPU time (s) 2522.06
Current children cumulated vsize (KiB) 14133060
[startup+2277.7 s]
/proc/loadavg: 1.48 1.53 1.54 4/212 29418
/proc/meminfo: memFree=19881148/32770624 swapFree=0/542216
[pid=28943] ppid=28940 vsize=14133060 CPUtime=2522.16 cores=1,3,5,7
/proc/28943/stat : 28943 (java) S 28940 28943 19618 0 -1 1077944320 702339 12662 0 0 251727 482 5 2 20 0 17 0 46818174 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140733029742160 140341155466999 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
/proc/28943/statm: 3533265 1446752 3481 1 0 3521879 0
[pid=28943/tid=28993] ppid=28940 vsize=14133060 CPUtime=2196.79 cores=1,3,5,7
/proc/28943/task/28993/stat : 28993 (java) R 28940 28943 19618 0 -1 4202560 279233 12662 0 0 219586 86 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341159702160 140340768420357 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28994] ppid=28940 vsize=14133060 CPUtime=75.51 cores=1,3,5,7
/proc/28943/task/28994/stat : 28994 (java) S 28940 28943 19618 0 -1 1077944384 67148 12662 0 0 7471 73 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341089900816 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28995] ppid=28940 vsize=14133060 CPUtime=75.53 cores=1,3,5,7
/proc/28943/task/28995/stat : 28995 (java) S 28940 28943 19618 0 -1 1077944384 55544 12662 0 0 7474 72 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341088848272 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28996] ppid=28940 vsize=14133060 CPUtime=75.44 cores=1,3,5,7
/proc/28943/task/28996/stat : 28996 (java) S 28940 28943 19618 0 -1 1077944384 51578 12662 0 0 7474 63 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341087795728 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28997] ppid=28940 vsize=14133060 CPUtime=75.54 cores=1,3,5,7
/proc/28943/task/28997/stat : 28997 (java) S 28940 28943 19618 0 -1 1077944384 54751 12662 0 0 7474 73 5 2 20 0 17 0 46818208 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140341086743184 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28998] ppid=28940 vsize=14133060 CPUtime=3.53 cores=1,3,5,7
/proc/28943/task/28998/stat : 28998 (java) S 28940 28943 19618 0 -1 1077944384 127226 12662 0 0 326 20 5 2 20 0 17 0 46818210 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340634028528 140341155478146 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=28999] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/28999/stat : 28999 (java) S 28940 28943 19618 0 -1 1077944384 65 12662 0 0 0 0 5 2 20 0 17 0 46818210 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340632974816 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29000] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29000/stat : 29000 (java) S 28940 28943 19618 0 -1 1077944384 51 12662 0 0 0 0 5 2 20 0 17 0 46818210 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340631922176 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29001] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29001/stat : 29001 (java) S 28940 28943 19618 0 -1 1077944384 196 12662 0 0 0 0 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340630870736 140341155485595 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29002] ppid=28940 vsize=14133060 CPUtime=8.32 cores=1,3,5,7
/proc/28943/task/29002/stat : 29002 (java) S 28940 28943 19618 0 -1 1077944384 23246 12662 0 0 820 5 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340629817328 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29003] ppid=28940 vsize=14133060 CPUtime=7.94 cores=1,3,5,7
/proc/28943/task/29003/stat : 29003 (java) S 28940 28943 19618 0 -1 1077944384 23716 12662 0 0 783 4 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340628764784 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29004] ppid=28940 vsize=14133060 CPUtime=2.23 cores=1,3,5,7
/proc/28943/task/29004/stat : 29004 (java) S 28940 28943 19618 0 -1 1077944384 15987 12662 0 0 211 5 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340627712240 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29005] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29005/stat : 29005 (java) S 28940 28943 19618 0 -1 1077944384 3 12662 0 0 0 0 5 2 20 0 17 0 46818213 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340626659936 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29006] ppid=28940 vsize=14133060 CPUtime=1.85 cores=1,3,5,7
/proc/28943/task/29006/stat : 29006 (java) S 28940 28943 19618 0 -1 1077944384 1119 12662 0 0 84 94 5 2 20 0 17 0 46818216 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340625607472 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29417] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29417/stat : 29417 (java) S 28940 28943 19618 0 -1 1077944384 290 12662 0 0 0 0 5 2 20 0 17 0 47045745 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340036268656 140341155477205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
[pid=28943/tid=29418] ppid=28940 vsize=14133060 CPUtime=0.07 cores=1,3,5,7
/proc/28943/task/29418/stat : 29418 (java) S 28940 28943 19618 0 -1 1077944384 30 12662 0 0 0 0 5 2 20 0 17 0 47045745 14472253440 1446752 18446744073709551615 4194304 4196468 140733029759616 140340035217136 140341155478146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140733029767120 140733029769905 140733029769905 140733029773263 0
Current children cumulated CPU time (s) 2522.16
Current children cumulated vsize (KiB) 14133060
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2277.74
CPU time (s): 2522.23
CPU user time (s): 2517.34
CPU system time (s): 4.88573
CPU usage (%): 110.734
Max. virtual memory (cumulated for all children) (KiB): 14133060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.34
system time used= 4.88573
maximum resident set size= 5787444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 715005
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94702
involuntary context switches= 6452
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1598 second user time and 13.819 second system time
The end