runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15083 MiB free)
memory of node 1: 16384 MiB (15396 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273693-1502675971/watcher-4273693-1502675971 -o /tmp/evaluation-result-4273693-1502675971/solver-4273693-1502675971 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1560056440 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273693-1502675971.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9789, runsolver pid=9786
Current StackSize limit: 8192 KiB
[startup+0.100111 s]*
/proc/loadavg: 1.15 1.39 1.50 3/199 9790
/proc/meminfo: memFree=31205120/32770624 swapFree=67108860/67108860
[pid=9789] ppid=9786 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/9789/stat : 9789 (runsolver) D 9786 9789 8289 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 115412292 34791424 114 18446744073709551615 4194304 4346622 140732342359168 140732342355800 140592452747991 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6446216 6449568 23375872 140732342362177 140732342362660 140732342362660 140732342366154 0
/proc/9789/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209241 s]*
/proc/loadavg: 1.15 1.39 1.50 3/199 9790
/proc/meminfo: memFree=31197240/32770624 swapFree=67108860/67108860
[pid=9789] ppid=9786 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/9789/stat : 9789 (runsolver) D 9786 9789 8289 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 115412292 34791424 114 18446744073709551615 4194304 4346622 140732342359168 140732342355800 140592452747991 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6446216 6449568 23375872 140732342362177 140732342362660 140732342362660 140732342366154 0
/proc/9789/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.308928 s]*
/proc/loadavg: 1.15 1.39 1.50 2/199 9790
/proc/meminfo: memFree=31185888/32770624 swapFree=67108860/67108860
[pid=9789] ppid=9786 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/9789/stat : 9789 (runsolver) D 9786 9789 8289 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 115412292 34791424 114 18446744073709551615 4194304 4346622 140732342359168 140732342355800 140592452747991 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6446216 6449568 23375872 140732342362177 140732342362660 140732342362660 140732342366154 0
/proc/9789/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.700284 s]
/proc/loadavg: 1.15 1.39 1.50 3/199 9790
/proc/meminfo: memFree=31172300/32770624 swapFree=67108860/67108860
[pid=9789] ppid=9786 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/9789/stat : 9789 (runsolver) D 9786 9789 8289 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 115412292 34791424 114 18446744073709551615 4194304 4346622 140732342359168 140732342355800 140592452747991 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6446216 6449568 23375872 140732342362177 140732342362660 140732342362660 140732342366154 0
/proc/9789/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+1.50071 s]
/proc/loadavg: 1.15 1.39 1.50 6/213 9804
/proc/meminfo: memFree=31110076/32770624 swapFree=67108860/67108860
[pid=9789] ppid=9786 vsize=13977988 memory=71828 CPUtime=1.21 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9786 9789 8289 0 -1 1077944320 13623 0 0 0 116 5 0 0 20 0 15 0 115412292 14313459712 17957 18446744073709551615 4194304 4196468 140736185435232 140736185417776 139878619770615 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 79 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
/proc/9789/statm: 3494497 17957 3739 1 0 3483271 0
[pid=9789/tid=9791] ppid=9786 vsize=13977988 memory=8199 CPUtime=0.62 cores=1,3,5,7
/proc/9789/task/9791/stat : 9791 (java) R 9786 9789 8289 0 -1 4202560 9989 0 0 0 59 3 0 0 20 0 15 0 115412372 14313459712 17957 18446744073709551615 4194304 4196468 140736185435232 139878624007424 139878246494204 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9792] ppid=9786 vsize=13977988 memory=22998 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9786 9789 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115412373 14313459712 17957 18446744073709551615 4194304 4196468 140736185435232 139878576736784 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9793] ppid=9786 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9786 9789 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115412373 14313459712 17957 18446744073709551615 4194304 4196468 140736185435232 139878575684240 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9794] ppid=9786 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9786 9789 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115412373 14313459712 17957 18446744073709551615 4194304 4196468 140736185435232 139878574631184 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9795] ppid=9786 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9786 9789 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115412373 14313459712 17957 18446744073709551615 4194304 4196468 140736185435232 139878573578640 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9796] ppid=9786 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9786 9789 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 115412374 14313459712 17957 18446744073709551615 4194304 4196468 140736185435232 139878165424880 139878619781762 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9797] ppid=9786 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9786 9789 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115412374 14313459712 17957 18446744073709551615 4194304 4196468 140736185435232 139878164371104 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9798] ppid=9786 vsize=13977988 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9786 9789 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115412375 14313459712 17957 18446744073709551615 4194304 4196468 140736185435232 139878163318000 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9799] ppid=9786 vsize=13977988 memory=-6654766457281626051 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9786 9789 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115412377 14313459712 17957 18446744073709551615 4194304 4196468 140736185435232 139878162266576 139878619789211 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9800] ppid=9786 vsize=13977988 memory=7745778391755139659 CPUtime=0.14 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) S 9786 9789 8289 0 -1 1077944384 756 0 0 0 14 0 0 0 20 0 15 0 115412377 14313459712 17957 18446744073709551615 4194304 4196468 140736185435232 139878161213680 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9801] ppid=9786 vsize=13977988 memory=1401637097735671167 CPUtime=0.13 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9786 9789 8289 0 -1 1077944384 574 0 0 0 13 0 0 0 20 0 15 0 115412377 14313459712 17957 18446744073709551615 4194304 4196468 140736185435232 139878092237168 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9802] ppid=9786 vsize=13977988 memory=-2752621353146282308 CPUtime=0.28 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) R 9786 9789 8289 0 -1 4202560 923 0 0 0 28 0 0 0 20 0 15 0 115412377 14313459712 17957 18446744073709551615 4194304 4196468 140736185435232 139878091178496 139878601180623 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9803] ppid=9786 vsize=13977988 memory=7589811549992019301 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9786 9789 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115412377 14313459712 17957 18446744073709551615 4194304 4196468 140736185435232 139878090131808 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9804] ppid=9786 vsize=13977988 memory=8025788835569559914 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9804/stat : 9804 (java) S 9786 9789 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115412384 14313459712 17957 18446744073709551615 4194304 4196468 140736185435232 139878089079856 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 71828 KiB
[startup+3.11044 s]
/proc/loadavg: 1.46 1.45 1.52 5/213 9804
/proc/meminfo: memFree=30828980/32770624 swapFree=67108860/67108860
[pid=9789] ppid=9786 vsize=13982084 memory=180336 CPUtime=5.94 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9786 9789 8289 0 -1 1077944320 39659 0 0 0 581 13 0 0 20 0 15 0 115412292 14317654016 45084 18446744073709551615 4194304 4196468 140736185435232 140736185417776 139878619770615 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 79 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
/proc/9789/statm: 3495521 45084 3767 1 0 3484295 0
[pid=9789/tid=9791] ppid=9786 vsize=13982084 memory=121324 CPUtime=2.22 cores=1,3,5,7
/proc/9789/task/9791/stat : 9791 (java) R 9786 9789 8289 0 -1 4202560 14605 0 0 0 216 6 0 0 20 0 15 0 115412372 14317654016 45084 18446744073709551615 4194304 4196468 140736185435232 139878624005584 139878250983859 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9792] ppid=9786 vsize=13982084 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9786 9789 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115412373 14317654016 45084 18446744073709551615 4194304 4196468 140736185435232 139878576736784 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9793] ppid=9786 vsize=13982084 memory=844 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9786 9789 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115412373 14317654016 45084 18446744073709551615 4194304 4196468 140736185435232 139878575684240 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9794] ppid=9786 vsize=13982084 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9786 9789 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115412373 14317654016 45084 18446744073709551615 4194304 4196468 140736185435232 139878574631184 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9795] ppid=9786 vsize=13982084 memory=2380 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9786 9789 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115412373 14317654016 45084 18446744073709551615 4194304 4196468 140736185435232 139878573578640 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9796] ppid=9786 vsize=13982084 memory=196300 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9786 9789 8289 0 -1 1077944384 487 0 0 0 0 0 0 0 20 0 15 0 115412374 14317654016 45084 18446744073709551615 4194304 4196468 140736185435232 139878165424880 139878619781762 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9797] ppid=9786 vsize=13982084 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9786 9789 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115412374 14317654016 45084 18446744073709551615 4194304 4196468 140736185435232 139878164371104 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9798] ppid=9786 vsize=13982084 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9786 9789 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115412375 14317654016 45084 18446744073709551615 4194304 4196468 140736185435232 139878163318000 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9799] ppid=9786 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9786 9789 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115412377 14317654016 45084 18446744073709551615 4194304 4196468 140736185435232 139878162266576 139878619789211 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9800] ppid=9786 vsize=13982084 memory=2276 CPUtime=1.51 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) R 9786 9789 8289 0 -1 4202560 8055 0 0 0 148 3 0 0 20 0 15 0 115412377 14317654016 45084 18446744073709551615 4194304 4196468 140736185435232 139878161206168 139878601315096 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9801] ppid=9786 vsize=13982084 memory=5012 CPUtime=1.48 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) R 9786 9789 8289 0 -1 4202560 7388 0 0 0 147 1 0 0 20 0 15 0 115412377 14317654016 45084 18446744073709551615 4194304 4196468 140736185435232 139878092228448 139878603157520 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9802] ppid=9786 vsize=13982084 memory=7680170660397595203 CPUtime=0.7 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9786 9789 8289 0 -1 1077944384 7736 0 0 0 69 1 0 0 20 0 15 0 115412377 14317654016 45084 18446744073709551615 4194304 4196468 140736185435232 139878091184112 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9803] ppid=9786 vsize=13982084 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9786 9789 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115412377 14317654016 45084 18446744073709551615 4194304 4196468 140736185435232 139878090131808 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9804] ppid=9786 vsize=13982084 memory=792 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9804/stat : 9804 (java) S 9786 9789 8289 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 115412384 14317654016 45084 18446744073709551615 4194304 4196468 140736185435232 139878089079856 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 180336 KiB
[startup+6.3006 s]
/proc/loadavg: 1.46 1.45 1.52 3/213 9804
/proc/meminfo: memFree=30801512/32770624 swapFree=67108860/67108860
[pid=9789] ppid=9786 vsize=13982084 memory=238596 CPUtime=12.65 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9786 9789 8289 0 -1 1077944320 53732 0 0 0 1245 20 0 0 20 0 15 0 115412292 14317654016 59649 18446744073709551615 4194304 4196468 140736185435232 140736185417776 139878619770615 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 79 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
/proc/9789/statm: 3495521 59649 3780 1 0 3484295 0
[pid=9789/tid=9791] ppid=9786 vsize=13982084 memory=301741412146487087 CPUtime=5.4 cores=1,3,5,7
/proc/9789/task/9791/stat : 9791 (java) R 9786 9789 8289 0 -1 4202560 15178 0 0 0 533 7 0 0 20 0 15 0 115412372 14317654016 59649 18446744073709551615 4194304 4196468 140736185435232 139878624005728 139878253295270 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9792] ppid=9786 vsize=13982084 memory=15257047626132798 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9786 9789 8289 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 15 0 115412373 14317654016 59649 18446744073709551615 4194304 4196468 140736185435232 139878576736784 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9793] ppid=9786 vsize=13982084 memory=-5228248973278402355 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9786 9789 8289 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 115412373 14317654016 59649 18446744073709551615 4194304 4196468 140736185435232 139878575684240 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9794] ppid=9786 vsize=13982084 memory=8174669131789008915 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9786 9789 8289 0 -1 1077944384 886 0 0 0 0 0 0 0 20 0 15 0 115412373 14317654016 59649 18446744073709551615 4194304 4196468 140736185435232 139878574631184 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9795] ppid=9786 vsize=13982084 memory=-8253362762721552512 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9786 9789 8289 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 115412373 14317654016 59649 18446744073709551615 4194304 4196468 140736185435232 139878573578640 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9796] ppid=9786 vsize=13982084 memory=-8962857967774121925 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9786 9789 8289 0 -1 1077944384 976 0 0 0 0 0 0 0 20 0 15 0 115412374 14317654016 59649 18446744073709551615 4194304 4196468 140736185435232 139878165424880 139878619781762 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9797] ppid=9786 vsize=13982084 memory=-7819220407477041013 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9786 9789 8289 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 115412374 14317654016 59649 18446744073709551615 4194304 4196468 140736185435232 139878164371104 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9798] ppid=9786 vsize=13982084 memory=2257 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9786 9789 8289 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 115412375 14317654016 59649 18446744073709551615 4194304 4196468 140736185435232 139878163318000 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9799] ppid=9786 vsize=13982084 memory=281184663890944 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9786 9789 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115412377 14317654016 59649 18446744073709551615 4194304 4196468 140736185435232 139878162266576 139878619789211 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9800] ppid=9786 vsize=13982084 memory=281184663825752 CPUtime=3.19 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) S 9786 9789 8289 0 -1 1077944384 12666 0 0 0 312 7 0 0 20 0 15 0 115412377 14317654016 59649 18446744073709551615 4194304 4196468 140736185435232 139878161213680 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9801] ppid=9786 vsize=13982084 memory=7444843076533644388 CPUtime=3.23 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9786 9789 8289 0 -1 1077944384 13224 0 0 0 321 2 0 0 20 0 15 0 115412377 14317654016 59649 18446744073709551615 4194304 4196468 140736185435232 139878092237168 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9802] ppid=9786 vsize=13982084 memory=7161964096087349091 CPUtime=0.75 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9786 9789 8289 0 -1 1077944384 8835 0 0 0 74 1 0 0 20 0 15 0 115412377 14317654016 59649 18446744073709551615 4194304 4196468 140736185435232 139878091184112 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9803] ppid=9786 vsize=13982084 memory=6369050182363080806 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9786 9789 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115412377 14317654016 59649 18446744073709551615 4194304 4196468 140736185435232 139878090131808 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9804] ppid=9786 vsize=13982084 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9804/stat : 9804 (java) S 9786 9789 8289 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 15 0 115412384 14317654016 59649 18446744073709551615 4194304 4196468 140736185435232 139878089079856 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 238596 KiB
[startup+12.7006 s]
/proc/loadavg: 1.50 1.46 1.52 3/213 9804
/proc/meminfo: memFree=30791424/32770624 swapFree=67108860/67108860
[pid=9789] ppid=9786 vsize=13982084 memory=245240 CPUtime=19.44 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9786 9789 8289 0 -1 1077944320 55553 0 0 0 1924 20 0 0 20 0 15 0 115412292 14317654016 61310 18446744073709551615 4194304 4196468 140736185435232 140736185417776 139878619770615 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 79 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
/proc/9789/statm: 3495521 61310 3793 1 0 3484295 0
[pid=9789/tid=9791] ppid=9786 vsize=13982084 memory=8540 CPUtime=11.79 cores=1,3,5,7
/proc/9789/task/9791/stat : 9791 (java) R 9786 9789 8289 0 -1 4202560 15369 0 0 0 1172 7 0 0 20 0 15 0 115412372 14317654016 61310 18446744073709551615 4194304 4196468 140736185435232 139878624006112 139878253295669 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9792] ppid=9786 vsize=13982084 memory=5787213848656569433 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9786 9789 8289 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 15 0 115412373 14317654016 61310 18446744073709551615 4194304 4196468 140736185435232 139878576736784 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9793] ppid=9786 vsize=13982084 memory=6082209584144471650 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9786 9789 8289 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 115412373 14317654016 61310 18446744073709551615 4194304 4196468 140736185435232 139878575684240 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9794] ppid=9786 vsize=13982084 memory=5860423748260227158 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9786 9789 8289 0 -1 1077944384 953 0 0 0 0 0 0 0 20 0 15 0 115412373 14317654016 61310 18446744073709551615 4194304 4196468 140736185435232 139878574631184 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9795] ppid=9786 vsize=13982084 memory=7451894300419320161 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9786 9789 8289 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 115412373 14317654016 61310 18446744073709551615 4194304 4196468 140736185435232 139878573578640 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
################
# More data... #
################
/proc/9789/task/9791/stat : 9791 (java) R 9786 9789 8289 0 -1 4202560 24553 0 0 0 237940 11 0 0 20 0 15 0 115412372 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878624008976 139878251854853 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9792] ppid=9786 vsize=13982084 memory=1008 CPUtime=0.94 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9786 9789 8289 0 -1 1077944384 2399 0 0 0 89 5 0 0 20 0 15 0 115412373 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878576736784 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9793] ppid=9786 vsize=13982084 memory=2012 CPUtime=0.94 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9786 9789 8289 0 -1 1077944384 3021 0 0 0 90 4 0 0 20 0 15 0 115412373 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878575684240 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9794] ppid=9786 vsize=13982084 memory=11140 CPUtime=0.94 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9786 9789 8289 0 -1 1077944384 5399 0 0 0 90 4 0 0 20 0 15 0 115412373 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878574631184 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9795] ppid=9786 vsize=13982084 memory=5788 CPUtime=0.94 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9786 9789 8289 0 -1 1077944384 4076 0 0 0 89 5 0 0 20 0 15 0 115412373 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878573578640 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9796] ppid=9786 vsize=13982084 memory=4612 CPUtime=0.67 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9786 9789 8289 0 -1 1077944384 6101 0 0 0 60 7 0 0 20 0 15 0 115412374 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878165424880 139878619781762 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9797] ppid=9786 vsize=13982084 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9786 9789 8289 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 115412374 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878164371168 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9798] ppid=9786 vsize=13982084 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9786 9789 8289 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 115412375 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878163318016 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9799] ppid=9786 vsize=13982084 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9786 9789 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115412377 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878162266576 139878619789211 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9800] ppid=9786 vsize=13982084 memory=15825482134324680 CPUtime=3.49 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) S 9786 9789 8289 0 -1 1077944384 18091 0 0 0 341 8 0 0 20 0 15 0 115412377 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878161213680 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9801] ppid=9786 vsize=13982084 memory=288283368414801334 CPUtime=3.65 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9786 9789 8289 0 -1 1077944384 17124 0 0 0 363 2 0 0 20 0 15 0 115412377 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878092237168 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9802] ppid=9786 vsize=13982084 memory=2012 CPUtime=0.8 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9786 9789 8289 0 -1 1077944384 11049 0 0 0 78 2 0 0 20 0 15 0 115412377 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878091184112 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9803] ppid=9786 vsize=13982084 memory=11140 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9786 9789 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115412377 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878090131808 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9804] ppid=9786 vsize=13982084 memory=5788 CPUtime=0.47 cores=1,3,5,7
/proc/9789/task/9804/stat : 9804 (java) S 9786 9789 8289 0 -1 1077944384 990 0 0 0 18 29 0 0 20 0 15 0 115412384 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878089079856 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
Current children cumulated CPU time: 2392.45 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 210332 KiB
[startup+2442.3 s]
/proc/loadavg: 1.62 1.54 1.55 3/213 9982
/proc/meminfo: memFree=30849040/32770624 swapFree=67108860/67108860
[pid=9789] ppid=9786 vsize=13982084 memory=210332 CPUtime=2452.53 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9786 9789 8289 0 -1 1077944320 94841 0 0 0 245185 68 0 0 20 0 15 0 115412292 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 140736185417776 139878619770615 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 79 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
/proc/9789/statm: 3495521 52583 3793 1 0 3484295 0
[pid=9789/tid=9791] ppid=9786 vsize=13982084 memory=288230617509003574 CPUtime=2439.44 cores=1,3,5,7
/proc/9789/task/9791/stat : 9791 (java) R 9786 9789 8289 0 -1 4202560 24796 0 0 0 243933 11 0 0 20 0 15 0 115412372 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878624008784 139878251853091 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9792] ppid=9786 vsize=13982084 memory=15825482134324680 CPUtime=0.96 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9786 9789 8289 0 -1 1077944384 2404 0 0 0 91 5 0 0 20 0 15 0 115412373 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878576736784 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9793] ppid=9786 vsize=13982084 memory=7373352817559363648 CPUtime=0.97 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9786 9789 8289 0 -1 1077944384 3079 0 0 0 93 4 0 0 20 0 15 0 115412373 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878575684240 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9794] ppid=9786 vsize=13982084 memory=7373352817559363648 CPUtime=0.96 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9786 9789 8289 0 -1 1077944384 5468 0 0 0 92 4 0 0 20 0 15 0 115412373 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878574631184 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9795] ppid=9786 vsize=13982084 memory=7373352817559363648 CPUtime=0.97 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9786 9789 8289 0 -1 1077944384 4111 0 0 0 92 5 0 0 20 0 15 0 115412373 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878573578640 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9796] ppid=9786 vsize=13982084 memory=7373352817559363648 CPUtime=0.69 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9786 9789 8289 0 -1 1077944384 6285 0 0 0 62 7 0 0 20 0 15 0 115412374 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878165424880 139878619781762 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9797] ppid=9786 vsize=13982084 memory=4639924115538006630 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9786 9789 8289 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 115412374 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878164371168 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9798] ppid=9786 vsize=13982084 memory=4639924115538006630 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9786 9789 8289 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 115412375 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878163318016 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9799] ppid=9786 vsize=13982084 memory=7800344859672537426 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9786 9789 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115412377 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878162266576 139878619789211 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9800] ppid=9786 vsize=13982084 memory=7589240748751480640 CPUtime=3.49 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) S 9786 9789 8289 0 -1 1077944384 18093 0 0 0 341 8 0 0 20 0 15 0 115412377 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878161213680 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9801] ppid=9786 vsize=13982084 memory=7589240748751479616 CPUtime=3.65 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9786 9789 8289 0 -1 1077944384 17126 0 0 0 363 2 0 0 20 0 15 0 115412377 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878092237168 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9802] ppid=9786 vsize=13982084 memory=6010425776822829159 CPUtime=0.8 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9786 9789 8289 0 -1 1077944384 11051 0 0 0 78 2 0 0 20 0 15 0 115412377 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878091184112 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9803] ppid=9786 vsize=13982084 memory=7800344859672537426 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9786 9789 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115412377 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878090131808 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9804] ppid=9786 vsize=13982084 memory=210332 CPUtime=0.48 cores=1,3,5,7
/proc/9789/task/9804/stat : 9804 (java) S 9786 9789 8289 0 -1 1077944384 996 0 0 0 18 30 0 0 20 0 15 0 115412384 14317654016 52583 18446744073709551615 4194304 4196468 140736185435232 139878089079856 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
Current children cumulated CPU time: 2452.53 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 210332 KiB
[startup+2502.3 s]
/proc/loadavg: 1.33 1.46 1.52 3/213 9984
/proc/meminfo: memFree=30847316/32770624 swapFree=67108860/67108860
[pid=9789] ppid=9786 vsize=13982084 memory=212380 CPUtime=2512.61 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9786 9789 8289 0 -1 1077944320 94909 0 0 0 251192 69 0 0 20 0 15 0 115412292 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 140736185417776 139878619770615 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 79 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
/proc/9789/statm: 3495521 53095 3793 1 0 3484295 0
[pid=9789/tid=9791] ppid=9786 vsize=13982084 memory=288230617509003574 CPUtime=2499.38 cores=1,3,5,7
/proc/9789/task/9791/stat : 9791 (java) R 9786 9789 8289 0 -1 4202560 24832 0 0 0 249927 11 0 0 20 0 15 0 115412372 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878624008848 139878251853834 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9792] ppid=9786 vsize=13982084 memory=15825482134324680 CPUtime=0.99 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9786 9789 8289 0 -1 1077944384 2406 0 0 0 94 5 0 0 20 0 15 0 115412373 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878576736784 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9793] ppid=9786 vsize=13982084 memory=0 CPUtime=1 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9786 9789 8289 0 -1 1077944384 3094 0 0 0 96 4 0 0 20 0 15 0 115412373 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878575684240 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9794] ppid=9786 vsize=13982084 memory=281184663765232 CPUtime=0.99 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9786 9789 8289 0 -1 1077944384 5468 0 0 0 95 4 0 0 20 0 15 0 115412373 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878574631184 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9795] ppid=9786 vsize=13982084 memory=576461251985632562 CPUtime=1 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9786 9789 8289 0 -1 1077944384 4111 0 0 0 95 5 0 0 20 0 15 0 115412373 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878573578640 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9796] ppid=9786 vsize=13982084 memory=288287774984110920 CPUtime=0.72 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9786 9789 8289 0 -1 1077944384 6294 0 0 0 64 8 0 0 20 0 15 0 115412374 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878165424880 139878619781762 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9797] ppid=9786 vsize=13982084 memory=4053357972196585504 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9786 9789 8289 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 115412374 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878164371168 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9798] ppid=9786 vsize=13982084 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9786 9789 8289 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 115412375 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878163318016 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9799] ppid=9786 vsize=13982084 memory=288287774984110920 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9786 9789 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115412377 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878162266576 139878619789211 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9800] ppid=9786 vsize=13982084 memory=288287774984110920 CPUtime=3.49 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) S 9786 9789 8289 0 -1 1077944384 18093 0 0 0 341 8 0 0 20 0 15 0 115412377 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878161213680 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9801] ppid=9786 vsize=13982084 memory=576461251985632562 CPUtime=3.65 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9786 9789 8289 0 -1 1077944384 17126 0 0 0 363 2 0 0 20 0 15 0 115412377 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878092237168 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9802] ppid=9786 vsize=13982084 memory=288287774984110920 CPUtime=0.8 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9786 9789 8289 0 -1 1077944384 11051 0 0 0 78 2 0 0 20 0 15 0 115412377 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878091184112 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9803] ppid=9786 vsize=13982084 memory=288287774984110920 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9786 9789 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115412377 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878090131808 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9804] ppid=9786 vsize=13982084 memory=7680170660397595203 CPUtime=0.5 cores=1,3,5,7
/proc/9789/task/9804/stat : 9804 (java) S 9786 9789 8289 0 -1 1077944384 1002 0 0 0 19 31 0 0 20 0 15 0 115412384 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878089079856 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
Current children cumulated CPU time: 2512.61 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 212380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.7 s]
/proc/loadavg: 1.43 1.47 1.53 3/213 9984
/proc/meminfo: memFree=30847488/32770624 swapFree=67108860/67108860
[pid=9789] ppid=9786 vsize=13982084 memory=212380 CPUtime=2520.03 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9786 9789 8289 0 -1 1077944320 94921 0 0 0 251934 69 0 0 20 0 15 0 115412292 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 140736185417776 139878619770615 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 79 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
/proc/9789/statm: 3495521 53095 3793 1 0 3484295 0
[pid=9789/tid=9791] ppid=9786 vsize=13982084 memory=1296 CPUtime=2506.77 cores=1,3,5,7
/proc/9789/task/9791/stat : 9791 (java) R 9786 9789 8289 0 -1 4202560 24836 0 0 0 250666 11 0 0 20 0 15 0 115412372 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878624008784 139878251855782 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9792] ppid=9786 vsize=13982084 memory=2440 CPUtime=1 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9786 9789 8289 0 -1 1077944384 2406 0 0 0 95 5 0 0 20 0 15 0 115412373 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878576736784 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9793] ppid=9786 vsize=13982084 memory=1724 CPUtime=1 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9786 9789 8289 0 -1 1077944384 3094 0 0 0 96 4 0 0 20 0 15 0 115412373 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878575684240 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9794] ppid=9786 vsize=13982084 memory=792 CPUtime=1 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9786 9789 8289 0 -1 1077944384 5468 0 0 0 96 4 0 0 20 0 15 0 115412373 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878574631184 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9795] ppid=9786 vsize=13982084 memory=1716 CPUtime=1 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9786 9789 8289 0 -1 1077944384 4111 0 0 0 95 5 0 0 20 0 15 0 115412373 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878573578640 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9796] ppid=9786 vsize=13982084 memory=1228 CPUtime=0.72 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9786 9789 8289 0 -1 1077944384 6298 0 0 0 64 8 0 0 20 0 15 0 115412374 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878165424880 139878619781762 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9797] ppid=9786 vsize=13982084 memory=14356 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9786 9789 8289 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 115412374 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878164371168 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9798] ppid=9786 vsize=13982084 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9786 9789 8289 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 115412375 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878163318016 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9799] ppid=9786 vsize=13982084 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9786 9789 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115412377 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878162266576 139878619789211 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9800] ppid=9786 vsize=13982084 memory=7680170660397595203 CPUtime=3.49 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) S 9786 9789 8289 0 -1 1077944384 18093 0 0 0 341 8 0 0 20 0 15 0 115412377 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878161213680 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9801] ppid=9786 vsize=13982084 memory=5788 CPUtime=3.65 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9786 9789 8289 0 -1 1077944384 17126 0 0 0 363 2 0 0 20 0 15 0 115412377 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878092237168 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9802] ppid=9786 vsize=13982084 memory=4612 CPUtime=0.8 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9786 9789 8289 0 -1 1077944384 11051 0 0 0 78 2 0 0 20 0 15 0 115412377 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878091184112 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9803] ppid=9786 vsize=13982084 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9786 9789 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115412377 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878090131808 139878619780821 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
[pid=9789/tid=9804] ppid=9786 vsize=13982084 memory=1200 CPUtime=0.5 cores=1,3,5,7
/proc/9789/task/9804/stat : 9804 (java) S 9786 9789 8289 0 -1 1077944384 1006 0 0 0 19 31 0 0 20 0 15 0 115412384 14317654016 53095 18446744073709551615 4194304 4196468 140736185435232 139878089079856 139878619781762 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140736185442670 140736185442857 140736185442857 140736185446351 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 212380 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.71 s]
# the end of solver process 9789 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.35 s, system=0.693297 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2509.71
CPU time (s): 2520.04
CPU user time (s): 2519.35
CPU system time (s): 0.693297
CPU usage (%): 100.412
Max. virtual memory (cumulated for all children) (KiB): 13984356
Max. memory (cumulated for all children) (KiB): 249684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.35
system time used= 0.693297
maximum resident set size= 249688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95106
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75378
involuntary context switches= 3250
# summary of solver processes directly reported to runsolver:
# pid: 9789
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.35
# total CPU system time (s): 0.693297
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3439 second user time and 19.7216 second system time
The end