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 (15063 MiB free)
memory of node 1: 16384 MiB (15116 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391559-1568311305/watcher-4391559-1568311305 -o /tmp/evaluation-result-4391559-1568311305/solver-4391559-1568311305 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568306240-27782 --watchdog 2560 nacre_mini_release HOME/instance-4391559-1568311305.xml -ca -l100 -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=29137, runsolver pid=29134
Current StackSize limit: 8192 KiB
[startup+0.10064 s]*
/proc/loadavg: 2.00 1.99 1.99 3/206 29138
/proc/meminfo: memFree=30902084/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=29024 memory=5424 CPUtime=0.1 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 1630 0 0 0 10 0 0 0 20 0 1 0 407380040 29720576 1356 33554432000 4194304 4935366 140731449532800 140731449530568 140201081822181 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 7256 1356 613 181 0 873 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29024 KiB
Current children cumulated memory: 5424 KiB
[startup+0.2102 s]*
/proc/loadavg: 2.00 1.99 1.99 3/206 29138
/proc/meminfo: memFree=30900596/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=30352 memory=6744 CPUtime=0.21 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 1983 0 0 0 21 0 0 0 20 0 1 0 407380040 31080448 1686 33554432000 4194304 4935366 140731449532800 140731449530568 4426823 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 7588 1686 613 181 0 1205 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30352 KiB
Current children cumulated memory: 6744 KiB
[startup+0.309872 s]*
/proc/loadavg: 2.00 1.99 1.99 3/206 29138
/proc/meminfo: memFree=30899112/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=31960 memory=8328 CPUtime=0.3 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 2359 0 0 0 30 0 0 0 20 0 1 0 407380040 32727040 2082 33554432000 4194304 4935366 140731449532800 140731449530568 140201082677635 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 7990 2082 613 181 0 1607 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31960 KiB
Current children cumulated memory: 8328 KiB
[startup+0.700306 s]
/proc/loadavg: 2.00 1.99 1.99 3/206 29138
/proc/meminfo: memFree=30896136/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=36776 memory=13080 CPUtime=0.68 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 3571 0 0 0 68 0 0 0 20 0 1 0 407380040 37658624 3270 33554432000 4194304 4935366 140731449532800 140731449530568 140201081814844 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 9194 3270 613 181 0 2811 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36776 KiB
Current children cumulated memory: 13080 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 1.99 1.99 3/206 29138
/proc/meminfo: memFree=30890556/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=45664 memory=22056 CPUtime=1.49 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 5798 0 0 0 148 1 0 0 20 0 1 0 407380040 46759936 5514 33554432000 4194304 4935366 140731449532800 140731449530552 140201082677683 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 11416 5514 613 181 0 5033 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45664 KiB
Current children cumulated memory: 22056 KiB
[startup+3.10999 s]
/proc/loadavg: 2.00 1.99 1.99 3/207 29139
/proc/meminfo: memFree=30867544/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=64464 memory=40712 CPUtime=3.1 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 15063 0 0 0 308 2 0 0 20 0 1 0 407380040 66011136 10178 33554432000 4194304 4935366 140731449532800 140731449530552 140201082677627 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 16116 10178 613 181 0 9733 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 64464 KiB
Current children cumulated memory: 40712 KiB
[startup+6.30025 s]
/proc/loadavg: 2.00 1.99 1.99 3/207 29139
/proc/meminfo: memFree=30833888/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=100036 memory=76020 CPUtime=6.29 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 30521 0 0 0 625 4 0 0 20 0 1 0 407380040 102436864 19005 33554432000 4194304 4935366 140731449532800 140731449530552 140201082677627 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 25009 19005 613 181 0 18626 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 100036 KiB
Current children cumulated memory: 76020 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.99 3/207 29139
/proc/meminfo: memFree=30782248/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=155824 memory=132080 CPUtime=12.69 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 60002 0 0 0 1262 7 0 0 20 0 1 0 407380040 159563776 33020 33554432000 4194304 4935366 140731449532800 140731449530552 140201088023401 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 38956 33020 613 181 0 32573 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 155824 KiB
Current children cumulated memory: 132080 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.99 3/207 29140
/proc/meminfo: memFree=30714284/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=219576 memory=195428 CPUtime=25.49 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 128309 0 0 0 2537 12 0 0 20 0 1 0 407380040 224845824 48857 33554432000 4194304 4935366 140731449532800 140731449530552 140201082677627 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 54894 48857 613 181 0 48511 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 219576 KiB
Current children cumulated memory: 195428 KiB
[startup+51.1099 s]
/proc/loadavg: 2.00 1.99 1.99 3/206 29142
/proc/meminfo: memFree=30632272/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=295684 memory=271712 CPUtime=51.09 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 201703 0 0 0 5092 17 0 0 20 0 1 0 407380040 302780416 67928 33554432000 4194304 4935366 140731449532800 140731449530552 4461227 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 73921 67928 613 181 0 67538 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 295684 KiB
Current children cumulated memory: 271712 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/206 29146
/proc/meminfo: memFree=30518508/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=405744 memory=381688 CPUtime=102.28 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 299927 0 0 0 10200 28 0 0 20 0 1 0 407380040 415481856 95422 33554432000 4194304 4935366 140731449532800 140731449530552 4461250 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 101436 95422 613 181 0 95053 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 405744 KiB
Current children cumulated memory: 381688 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/206 29150
/proc/meminfo: memFree=30448408/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=472192 memory=446988 CPUtime=162.28 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 395346 0 0 0 16193 35 0 0 20 0 1 0 407380040 483524608 111747 33554432000 4194304 4935366 140731449532800 140731449530504 4427152 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 118048 111747 613 181 0 111665 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 472192 KiB
Current children cumulated memory: 446988 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/207 29156
/proc/meminfo: memFree=30377632/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=536128 memory=511012 CPUtime=222.26 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 497578 0 0 0 22183 43 0 0 20 0 1 0 407380040 548995072 127753 33554432000 4194304 4935366 140731449532800 140731449530504 140201088000208 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 134032 127753 613 181 0 127649 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 536128 KiB
Current children cumulated memory: 511012 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/206 29161
/proc/meminfo: memFree=30312896/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=597676 memory=572644 CPUtime=282.23 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 589063 0 0 0 28171 52 0 0 20 0 1 0 407380040 612020224 143161 33554432000 4194304 4935366 140731449532800 140731449530552 4427200 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 149419 143161 613 181 0 143036 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 597676 KiB
Current children cumulated memory: 572644 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/204 29166
/proc/meminfo: memFree=30279364/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=628720 memory=603320 CPUtime=342.21 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 630997 0 0 0 34165 56 0 0 20 0 1 0 407380040 643809280 150830 33554432000 4194304 4935366 140731449532800 140731449530552 4461261 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 157180 150830 613 181 0 150797 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 628720 KiB
Current children cumulated memory: 603320 KiB
[startup+402.3 s]
/proc/loadavg: 2.12 2.02 2.00 3/205 29172
/proc/meminfo: memFree=30227896/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=677016 memory=651848 CPUtime=402.18 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 697496 0 0 0 40157 61 0 0 20 0 1 0 407380040 693264384 162962 33554432000 4194304 4935366 140731449532800 140731449530312 4461218 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 169254 162962 613 181 0 162871 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 677016 KiB
Current children cumulated memory: 651848 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/204 29176
/proc/meminfo: memFree=30201640/32770624 swapFree=66965884/67108860
[pid=29137] ppid=29134 vsize=700760 memory=675708 CPUtime=462.17 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 751748 0 0 0 46150 67 0 0 20 0 1 0 407380040 717578240 168927 33554432000 4194304 4935366 140731449532800 140731449530488 140201088023351 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 175190 168927 613 181 0 168807 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 700760 KiB
Current children cumulated memory: 675708 KiB
################
# More data... #
################
/proc/29137/statm: 260704 254142 613 181 0 254321 0
Current children cumulated CPU time: 1602 s
Current children cumulated vsize: 1042816 KiB
Current children cumulated memory: 1016568 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/203 29350
/proc/meminfo: memFree=29864428/32770624 swapFree=66965908/67108860
[pid=29137] ppid=29134 vsize=1059192 memory=1032396 CPUtime=1662 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 1141610 0 0 0 166084 116 0 0 20 0 1 0 407380040 1084612608 258099 33554432000 4194304 4935366 140731449532800 140731449530504 4427206 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 264798 258099 613 181 0 258415 0
Current children cumulated CPU time: 1662 s
Current children cumulated vsize: 1059192 KiB
Current children cumulated memory: 1032396 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/202 29354
/proc/meminfo: memFree=29826548/32770624 swapFree=66965908/67108860
[pid=29137] ppid=29134 vsize=1077680 memory=1050876 CPUtime=1722 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 1152505 0 0 0 172082 118 0 0 20 0 1 0 407380040 1103544320 262719 33554432000 4194304 4935366 140731449532800 140731449530552 4332157 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 269420 262719 613 181 0 263037 0
Current children cumulated CPU time: 1722 s
Current children cumulated vsize: 1077680 KiB
Current children cumulated memory: 1050876 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/202 29365
/proc/meminfo: memFree=29792788/32770624 swapFree=66965916/67108860
[pid=29137] ppid=29134 vsize=1087144 memory=1060196 CPUtime=1781.99 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 1163862 0 0 0 178080 119 0 0 20 0 1 0 407380040 1113235456 265049 33554432000 4194304 4935366 140731449532800 140731449530504 4418767 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 271786 265049 613 181 0 265403 0
Current children cumulated CPU time: 1781.99 s
Current children cumulated vsize: 1087144 KiB
Current children cumulated memory: 1060196 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/204 29372
/proc/meminfo: memFree=29760020/32770624 swapFree=66965916/67108860
[pid=29137] ppid=29134 vsize=1103600 memory=1076604 CPUtime=1841.98 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 1179213 0 0 0 184077 121 0 0 20 0 1 0 407380040 1130086400 269151 33554432000 4194304 4935366 140731449532800 140731449530552 4328405 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 275900 269151 613 181 0 269517 0
Current children cumulated CPU time: 1841.98 s
Current children cumulated vsize: 1103600 KiB
Current children cumulated memory: 1076604 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/203 29376
/proc/meminfo: memFree=29732448/32770624 swapFree=66965916/67108860
[pid=29137] ppid=29134 vsize=1117568 memory=1090568 CPUtime=1901.99 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 1197013 0 0 0 190075 124 0 0 20 0 1 0 407380040 1144389632 272642 33554432000 4194304 4935366 140731449532800 140731449530504 140201088115807 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 279392 272642 613 181 0 273009 0
Current children cumulated CPU time: 1901.99 s
Current children cumulated vsize: 1117568 KiB
Current children cumulated memory: 1090568 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/203 29380
/proc/meminfo: memFree=29704808/32770624 swapFree=66965916/67108860
[pid=29137] ppid=29134 vsize=1124540 memory=1097580 CPUtime=1961.98 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 1214999 0 0 0 196073 125 0 0 20 0 1 0 407380040 1151528960 274395 33554432000 4194304 4935366 140731449532800 140731449530552 4461252 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 281135 274395 613 181 0 274752 0
Current children cumulated CPU time: 1961.98 s
Current children cumulated vsize: 1124540 KiB
Current children cumulated memory: 1097580 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/204 29386
/proc/meminfo: memFree=29679792/32770624 swapFree=66965916/67108860
[pid=29137] ppid=29134 vsize=1136312 memory=1109388 CPUtime=2021.98 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 1235100 0 0 0 202070 128 0 0 20 0 1 0 407380040 1163583488 277347 33554432000 4194304 4935366 140731449532800 140731449530504 4427189 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 284078 277347 613 181 0 277695 0
Current children cumulated CPU time: 2021.98 s
Current children cumulated vsize: 1136312 KiB
Current children cumulated memory: 1109388 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/203 29390
/proc/meminfo: memFree=29659384/32770624 swapFree=66965916/67108860
[pid=29137] ppid=29134 vsize=1149608 memory=1122740 CPUtime=2081.97 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 1259420 0 0 0 208067 130 0 0 20 0 1 0 407380040 1177198592 280685 33554432000 4194304 4935366 140731449532800 140731449530552 4461216 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 287402 280685 613 181 0 281019 0
Current children cumulated CPU time: 2081.97 s
Current children cumulated vsize: 1149608 KiB
Current children cumulated memory: 1122740 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/202 29394
/proc/meminfo: memFree=29639580/32770624 swapFree=66965916/67108860
[pid=29137] ppid=29134 vsize=1159300 memory=1132436 CPUtime=2141.97 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 1284010 0 0 0 214064 133 0 0 20 0 1 0 407380040 1187123200 283109 33554432000 4194304 4935366 140731449532800 140731449530504 4450160 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 289825 283109 613 181 0 283442 0
Current children cumulated CPU time: 2141.97 s
Current children cumulated vsize: 1159300 KiB
Current children cumulated memory: 1132436 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/203 29400
/proc/meminfo: memFree=29617316/32770624 swapFree=66965916/67108860
[pid=29137] ppid=29134 vsize=1172352 memory=1145432 CPUtime=2201.97 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 1311808 0 0 0 220062 135 0 0 20 0 1 0 407380040 1200488448 286358 33554432000 4194304 4935366 140731449532800 140731449530552 4461244 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 293088 286358 613 181 0 286705 0
Current children cumulated CPU time: 2201.97 s
Current children cumulated vsize: 1172352 KiB
Current children cumulated memory: 1145432 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/202 29404
/proc/meminfo: memFree=29579636/32770624 swapFree=66965916/67108860
[pid=29137] ppid=29134 vsize=1194348 memory=1169692 CPUtime=2261.95 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 1335960 0 0 0 226057 138 0 0 20 0 1 0 407380040 1223012352 292423 33554432000 4194304 4935366 140731449532800 140731449530552 4427513 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 298587 292423 613 181 0 292204 0
Current children cumulated CPU time: 2261.95 s
Current children cumulated vsize: 1194348 KiB
Current children cumulated memory: 1169692 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/203 29409
/proc/meminfo: memFree=29563044/32770624 swapFree=66965916/67108860
[pid=29137] ppid=29134 vsize=1204904 memory=1180376 CPUtime=2321.93 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 1345389 0 0 0 232053 140 0 0 20 0 1 0 407380040 1233821696 295094 33554432000 4194304 4935366 140731449532800 140731449530488 4461250 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 301226 295094 613 181 0 294843 0
Current children cumulated CPU time: 2321.93 s
Current children cumulated vsize: 1204904 KiB
Current children cumulated memory: 1180376 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/205 29423
/proc/meminfo: memFree=29547096/32770624 swapFree=66965920/67108860
[pid=29137] ppid=29134 vsize=1210140 memory=1185616 CPUtime=2381.92 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 1348628 0 0 0 238052 140 0 0 20 0 1 0 407380040 1239183360 296404 33554432000 4194304 4935366 140731449532800 140731449530552 140201082677635 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 302535 296404 613 181 0 296152 0
Current children cumulated CPU time: 2381.92 s
Current children cumulated vsize: 1210140 KiB
Current children cumulated memory: 1185616 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.03 3/204 29424
/proc/meminfo: memFree=29543552/32770624 swapFree=66965920/67108860
[pid=29137] ppid=29134 vsize=1210276 memory=1185832 CPUtime=2400.02 cores=1,3,5,7
/proc/29137/stat : 29137 (nacre_mini_rele) R 29134 29137 25882 0 -1 4202496 1348871 0 0 0 239862 140 0 0 20 0 1 0 407380040 1239322624 296458 33554432000 4194304 4935366 140731449532800 140731449530504 4461476 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10903552 140731449541633 140731449541733 140731449541733 140731449544642 0
/proc/29137/statm: 302569 296458 613 181 0 296186 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 1210276 KiB
Current children cumulated memory: 1185832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.41 s]
# the end of solver process 29137 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.62 s, system=1.40892 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.41
CPU time (s): 2400.03
CPU user time (s): 2398.62
CPU system time (s): 1.40892
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 1210276
Max. memory (cumulated for all children) (KiB): 1185832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.63
system time used= 1.40892
maximum resident set size= 1185892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1348937
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= 504
involuntary context switches= 2891
# summary of solver processes directly reported to runsolver:
# pid: 29137
# total CPU time (s): 2400.03
# total CPU user time (s): 2398.62
# total CPU system time (s): 1.40892
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.92092 second user time and 18.5058 second system time
The end