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 (4945 MiB free)
memory of node 1: 16384 MiB (3180 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306244-1534070521/watcher-4306244-1534070521 -o /tmp/evaluation-result-4306244-1534070521/solver-4306244-1534070521 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534062958-15435 --watchdog 2580 BTD 12 2520 HOME/instance-4306244-1534070521.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=16258, runsolver pid=16255
[startup+0.100199 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 16259
/proc/meminfo: memFree=8309664/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=38008 memory=7700 CPUtime=0.1 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 2092 0 0 0 10 0 0 0 20 0 1 0 224615299 38920192 1925 33554432000 4194304 36388936 140725983112624 140725983112624 7651857 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 9502 1925 442 7861 0 1606 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38008 KiB
Current children cumulated memory: 7700 KiB
[startup+0.209698 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 16259
/proc/meminfo: memFree=8296768/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=44344 memory=14036 CPUtime=0.21 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 3677 0 0 0 21 0 0 0 20 0 1 0 224615299 45408256 3509 33554432000 4194304 36388936 140725983112624 140725983112624 7657254 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 11086 3509 442 7861 0 3190 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44344 KiB
Current children cumulated memory: 14036 KiB
[startup+0.309488 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 16259
/proc/meminfo: memFree=8285856/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=49888 memory=19580 CPUtime=0.31 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 5073 0 0 0 31 0 0 0 20 0 1 0 224615299 51085312 4895 33554432000 4194304 36388936 140725983112624 140725983112624 7934819 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 12472 4895 442 7861 0 4576 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 49888 KiB
Current children cumulated memory: 19580 KiB
[startup+0.700367 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 16259
/proc/meminfo: memFree=8264264/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=70084 memory=39908 CPUtime=0.69 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 10129 0 0 0 68 1 0 0 20 0 1 0 224615299 71766016 9977 33554432000 4194304 36388936 140725983112624 140725983112624 7657254 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 17521 9977 442 7861 0 9625 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 39908 KiB
[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 16259
/proc/meminfo: memFree=8214728/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99280 memory=68868 CPUtime=1.49 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 17348 0 0 0 147 2 0 0 20 0 1 0 224615299 101662720 17217 33554432000 4194304 36388936 140725983112624 140725983104680 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24820 17217 514 7861 0 16924 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 99280 KiB
Current children cumulated memory: 68868 KiB
[startup+3.10977 s]
/proc/loadavg: 1.92 2.00 2.04 3/192 16320
/proc/meminfo: memFree=8191004/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99280 memory=68888 CPUtime=3.1 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 27216 0 0 0 305 5 0 0 20 0 1 0 224615299 101662720 17222 33554432000 4194304 36388936 140725983112624 140725983104680 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24820 17222 516 7861 0 16924 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 99280 KiB
Current children cumulated memory: 68888 KiB
[startup+6.30033 s]
/proc/loadavg: 1.92 2.00 2.04 3/192 16320
/proc/meminfo: memFree=8190588/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99280 memory=68888 CPUtime=6.29 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 37075 0 0 0 619 10 0 0 20 0 1 0 224615299 101662720 17222 33554432000 4194304 36388936 140725983112624 140725983111464 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24820 17222 516 7861 0 16924 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 99280 KiB
Current children cumulated memory: 68888 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/192 16320
/proc/meminfo: memFree=8190588/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99280 memory=68888 CPUtime=12.69 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 46981 0 0 0 1252 17 0 0 20 0 1 0 224615299 101662720 17222 33554432000 4194304 36388936 140725983112624 140725983111464 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24820 17222 516 7861 0 16924 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 99280 KiB
Current children cumulated memory: 68888 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/192 16320
/proc/meminfo: memFree=8190588/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99280 memory=68888 CPUtime=25.49 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 66740 0 0 0 2515 34 0 0 20 0 1 0 224615299 101662720 17222 33554432000 4194304 36388936 140725983112624 140725983111464 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24820 17222 516 7861 0 16924 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 99280 KiB
Current children cumulated memory: 68888 KiB
[startup+51.1093 s]
/proc/loadavg: 1.96 2.00 2.04 3/192 16320
/proc/meminfo: memFree=8189832/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99280 memory=68900 CPUtime=51.1 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 76619 0 0 0 5050 60 0 0 20 0 1 0 224615299 101662720 17225 33554432000 4194304 36388936 140725983112624 140725983111464 4598870 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24820 17225 516 7861 0 16924 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 99280 KiB
Current children cumulated memory: 68900 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/192 16321
/proc/meminfo: memFree=8189632/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99280 memory=69192 CPUtime=102.27 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 79094 0 0 0 10090 137 0 0 20 0 1 0 224615299 101662720 17298 33554432000 4194304 36388936 140725983112624 140725983111464 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24820 17298 518 7861 0 16924 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 99280 KiB
Current children cumulated memory: 69192 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/193 16323
/proc/meminfo: memFree=8189440/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99280 memory=69192 CPUtime=162.27 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 79211 0 0 0 15994 233 0 0 20 0 1 0 224615299 101662720 17298 33554432000 4194304 36388936 140725983112624 140725983111464 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24820 17298 518 7861 0 16924 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 99280 KiB
Current children cumulated memory: 69192 KiB
[startup+222.3 s]
/proc/loadavg: 1.91 1.97 2.03 3/192 16567
/proc/meminfo: memFree=8189204/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99280 memory=69204 CPUtime=222.28 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 79328 0 0 0 21899 329 0 0 20 0 1 0 224615299 101662720 17301 33554432000 4194304 36388936 140725983112624 140725983111464 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24820 17301 518 7861 0 16924 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 99280 KiB
Current children cumulated memory: 69204 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 1.99 2.03 3/192 16568
/proc/meminfo: memFree=8188848/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99280 memory=69204 CPUtime=282.28 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 79333 0 0 0 27801 427 0 0 20 0 1 0 224615299 101662720 17301 33554432000 4194304 36388936 140725983112624 140725983111464 4661829 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24820 17301 518 7861 0 16924 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 99280 KiB
Current children cumulated memory: 69204 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 1.99 2.03 3/192 16569
/proc/meminfo: memFree=8188888/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99280 memory=69232 CPUtime=342.29 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 79460 0 0 0 33712 517 0 0 20 0 1 0 224615299 101662720 17308 33554432000 4194304 36388936 140725983112624 140725983111464 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24820 17308 518 7861 0 16924 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 99280 KiB
Current children cumulated memory: 69232 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/192 16570
/proc/meminfo: memFree=8188136/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99280 memory=69232 CPUtime=402.3 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 79465 0 0 0 39610 620 0 0 20 0 1 0 224615299 101662720 17308 33554432000 4194304 36388936 140725983112624 140725983111464 4617111 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24820 17308 518 7861 0 16924 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 99280 KiB
Current children cumulated memory: 69232 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/191 16571
/proc/meminfo: memFree=8188176/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99280 memory=69252 CPUtime=462.29 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 79590 0 0 0 45511 718 0 0 20 0 1 0 224615299 101662720 17313 33554432000 4194304 36388936 140725983112624 140725983111464 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24820 17313 518 7861 0 16924 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 99280 KiB
Current children cumulated memory: 69252 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/192 16580
/proc/meminfo: memFree=8187208/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99412 memory=69252 CPUtime=522.3 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 79592 0 0 0 51419 811 0 0 20 0 1 0 224615299 101797888 17313 33554432000 4194304 36388936 140725983112624 140725983111464 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24853 17313 518 7861 0 16957 0
Current children cumulated CPU time: 522.3 s
Current children cumulated vsize: 99412 KiB
Current children cumulated memory: 69252 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/192 16582
/proc/meminfo: memFree=8187824/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99412 memory=69260 CPUtime=582.3 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 79714 0 0 0 57324 906 0 0 20 0 1 0 224615299 101797888 17315 33554432000 4194304 36388936 140725983112624 140725983111464 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24853 17315 518 7861 0 16957 0
Current children cumulated CPU time: 582.3 s
Current children cumulated vsize: 99412 KiB
Current children cumulated memory: 69260 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/192 16583
/proc/meminfo: memFree=8188060/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99412 memory=69260 CPUtime=642.31 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 79716 0 0 0 63229 1002 0 0 20 0 1 0 224615299 101797888 17315 33554432000 4194304 36388936 140725983112624 140725983111464 4661832 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24853 17315 518 7861 0 16957 0
Current children cumulated CPU time: 642.31 s
Current children cumulated vsize: 99412 KiB
Current children cumulated memory: 69260 KiB
[startup+661.835 s]
# the end of solver process 16258 was just reported to runsolver
# cumulated CPU time of all completed processes: user=651.517 s, system=10.3397 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/192 16583
/proc/meminfo: memFree=8187936/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99412 memory=69260 CPUtime=652.81 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 79718 0 0 0 64263 1018 0 0 20 0 1 0 224615299 101797888 17315 33554432000 4194304 36388936 140725983112624 140725983111464 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24853 17315 518 7861 0 16957 0
Current children cumulated CPU time: 652.81 s
Current children cumulated vsize: 99412 KiB
Current children cumulated memory: 69260 KiB
[startup+656 s]*
/proc/loadavg: 2.00 1.99 2.03 3/192 16583
/proc/meminfo: memFree=8187936/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99412 memory=69260 CPUtime=656.02 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 79718 0 0 0 64579 1023 0 0 20 0 1 0 224615299 101797888 17315 33554432000 4194304 36388936 140725983112624 140725983111464 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24853 17315 518 7861 0 16957 0
Current children cumulated CPU time: 656.02 s
Current children cumulated vsize: 99412 KiB
Current children cumulated memory: 69260 KiB
[startup+659.2 s]
/proc/loadavg: 2.00 1.99 2.03 3/192 16583
/proc/meminfo: memFree=8187936/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99412 memory=69272 CPUtime=659.21 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 79833 0 0 0 64892 1029 0 0 20 0 1 0 224615299 101797888 17318 33554432000 4194304 36388936 140725983112624 140725983111464 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24853 17318 518 7861 0 16957 0
Current children cumulated CPU time: 659.21 s
Current children cumulated vsize: 99412 KiB
Current children cumulated memory: 69272 KiB
[startup+660.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/192 16583
/proc/meminfo: memFree=8187936/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99412 memory=69272 CPUtime=660.81 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 79836 0 0 0 65049 1032 0 0 20 0 1 0 224615299 101797888 17318 33554432000 4194304 36388936 140725983112624 140725983111464 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24853 17318 518 7861 0 16957 0
Current children cumulated CPU time: 660.81 s
Current children cumulated vsize: 99412 KiB
Current children cumulated memory: 69272 KiB
[startup+661.6 s]
/proc/loadavg: 2.00 1.99 2.03 3/192 16583
/proc/meminfo: memFree=8187936/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99412 memory=69272 CPUtime=661.61 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 79836 0 0 0 65128 1033 0 0 20 0 1 0 224615299 101797888 17318 33554432000 4194304 36388936 140725983112624 140725983111464 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24853 17318 518 7861 0 16957 0
Current children cumulated CPU time: 661.61 s
Current children cumulated vsize: 99412 KiB
Current children cumulated memory: 69272 KiB
[startup+661.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/192 16583
/proc/meminfo: memFree=8187936/32770624 swapFree=67108856/67108860
[pid=16258] ppid=16255 vsize=99412 memory=69272 CPUtime=661.81 cores=0,2,4,6
/proc/16258/stat : 16258 (BTD) R 16255 16258 15404 0 -1 4202496 79836 0 0 0 65148 1033 0 0 20 0 1 0 224615299 101797888 17318 33554432000 4194304 36388936 140725983112624 140725983111464 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 53829632 140725983118524 140725983118603 140725983118603 140725983121361 0
/proc/16258/statm: 24853 17318 518 7861 0 16957 0
Current children cumulated CPU time: 661.81 s
Current children cumulated vsize: 99412 KiB
Current children cumulated memory: 69272 KiB
Child status: 0
Real time (s): 661.835
CPU time (s): 661.857
CPU user time (s): 651.517
CPU system time (s): 10.3397
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 99412
Max. memory (cumulated for all children) (KiB): 69272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 651.517
system time used= 10.3397
maximum resident set size= 69272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79975
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33
involuntary context switches= 200
# summary of solver processes directly reported to runsolver:
# pid: 16258
# total CPU time (s): 661.857
# total CPU user time (s): 651.517
# total CPU system time (s): 10.3397
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.12401 second user time and 4.70009 second system time
The end