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 (10347 MiB free)
memory of node 1: 16384 MiB (12641 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299802-1532788848/watcher-4299802-1532788848 -o /tmp/evaluation-result-4299802-1532788848/solver-4299802-1532788848 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27430 --watchdog 2580 nacre_mini_release HOME/instance-4299802-1532788848.xml -ca -l100 -cm
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
Current StackSize limit: 8192 KiB
solver pid=29317, runsolver pid=29314
[startup+0.100159 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29318
/proc/meminfo: memFree=23535436/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=31320 memory=7272 CPUtime=0.1 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 2383 0 0 0 10 0 0 0 20 0 1 0 96447948 32071680 1818 33554432000 4194304 4933779 140734448844528 140734448841528 140062844050432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 7830 1818 558 181 0 1447 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31320 KiB
Current children cumulated memory: 7272 KiB
[startup+0.20958 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29318
/proc/meminfo: memFree=23514824/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=56160 memory=31056 CPUtime=0.21 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 8577 0 0 0 20 1 0 0 20 0 1 0 96447948 57507840 7764 33554432000 4194304 4933779 140734448844528 140734448841528 140062843612133 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 14040 7764 570 181 0 7657 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56160 KiB
Current children cumulated memory: 31056 KiB
[startup+0.309714 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29318
/proc/meminfo: memFree=23495848/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=72944 memory=46896 CPUtime=0.31 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 12502 0 0 0 29 2 0 0 20 0 1 0 96447948 74694656 11724 33554432000 4194304 4933779 140734448844528 140734448839128 4273636 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 18236 11724 570 181 0 11853 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 72944 KiB
Current children cumulated memory: 46896 KiB
[startup+0.70037 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29318
/proc/meminfo: memFree=23464972/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=123412 memory=93932 CPUtime=0.69 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 24878 0 0 0 65 4 0 0 20 0 1 0 96447948 126373888 23483 33554432000 4194304 4933779 140734448844528 140734448842104 4778416 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 30853 23483 570 181 0 24470 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 123412 KiB
Current children cumulated memory: 93932 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29318
/proc/meminfo: memFree=23402168/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=237984 memory=203772 CPUtime=1.49 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 52743 0 0 0 142 7 0 0 20 0 1 0 96447948 243695616 50943 33554432000 4194304 4933779 140734448844528 140734448839208 140062843609687 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 59496 50943 570 181 0 53113 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 237984 KiB
Current children cumulated memory: 203772 KiB
[startup+3.10955 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29318
/proc/meminfo: memFree=23338928/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=237984 memory=203912 CPUtime=3.1 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 97219 0 0 0 301 9 0 0 20 0 1 0 96447948 243695616 50978 33554432000 4194304 4933779 140734448844528 140734448843048 4377382 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 59496 50978 604 181 0 53113 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 237984 KiB
Current children cumulated memory: 203912 KiB
[startup+6.30039 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 29318
/proc/meminfo: memFree=23338508/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=237984 memory=203912 CPUtime=6.29 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 141918 0 0 0 618 11 0 0 20 0 1 0 96447948 243695616 50978 33554432000 4194304 4933779 140734448844528 140734448843048 140062844475958 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 59496 50978 604 181 0 53113 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 237984 KiB
Current children cumulated memory: 203912 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 29318
/proc/meminfo: memFree=23338280/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=237984 memory=203912 CPUtime=12.69 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 186960 0 0 0 1256 13 0 0 20 0 1 0 96447948 243695616 50978 33554432000 4194304 4933779 140734448844528 140734448843048 140062844477767 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 59496 50978 604 181 0 53113 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 237984 KiB
Current children cumulated memory: 203912 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 29318
/proc/meminfo: memFree=23337668/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=237984 memory=203912 CPUtime=25.49 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 261617 0 0 0 2532 17 0 0 20 0 1 0 96447948 243695616 50978 33554432000 4194304 4933779 140734448844528 140734448843048 140062843604496 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 59496 50978 604 181 0 53113 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 237984 KiB
Current children cumulated memory: 203912 KiB
[startup+51.1096 s]
/proc/loadavg: 1.96 2.00 2.04 3/188 29318
/proc/meminfo: memFree=23336916/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=237984 memory=203912 CPUtime=51.09 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 324876 0 0 0 5090 19 0 0 20 0 1 0 96447948 243695616 50978 33554432000 4194304 4933779 140734448844528 140734448843048 4377638 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 59496 50978 604 181 0 53113 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 237984 KiB
Current children cumulated memory: 203912 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 29319
/proc/meminfo: memFree=23324248/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=248160 memory=213856 CPUtime=102.29 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 376371 0 0 0 10205 24 0 0 20 0 1 0 96447948 254115840 53464 33554432000 4194304 4933779 140734448844528 140734448842296 140062844474375 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 62040 53464 604 181 0 55657 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 248160 KiB
Current children cumulated memory: 213856 KiB
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/188 29320
/proc/meminfo: memFree=23301324/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=266320 memory=232312 CPUtime=162.28 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 431115 0 0 0 16200 28 0 0 20 0 1 0 96447948 272711680 58078 33554432000 4194304 4933779 140734448844528 140734448842280 4377556 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 66580 58078 604 181 0 60197 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 266320 KiB
Current children cumulated memory: 232312 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/188 29321
/proc/meminfo: memFree=23285096/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=279220 memory=245388 CPUtime=222.27 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 487845 0 0 0 22194 33 0 0 20 0 1 0 96447948 285921280 61347 33554432000 4194304 4933779 140734448844528 140734448842280 4377487 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 69805 61347 604 181 0 63422 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 279220 KiB
Current children cumulated memory: 245388 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 29322
/proc/meminfo: memFree=23259344/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=294868 memory=267556 CPUtime=282.24 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 538890 0 0 0 28188 36 0 0 20 0 1 0 96447948 301944832 66889 33554432000 4194304 4933779 140734448844528 140734448842232 140062843611225 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 73717 66889 604 181 0 67334 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 294868 KiB
Current children cumulated memory: 267556 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29323
/proc/meminfo: memFree=23245084/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=303048 memory=279772 CPUtime=342.23 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 555232 0 0 0 34185 38 0 0 20 0 1 0 96447948 310321152 69943 33554432000 4194304 4933779 140734448844528 140734448842296 140062843604754 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 75762 69943 604 181 0 69379 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 303048 KiB
Current children cumulated memory: 279772 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29324
/proc/meminfo: memFree=23232792/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=311780 memory=288612 CPUtime=402.23 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 560662 0 0 0 40184 39 0 0 20 0 1 0 96447948 319262720 72153 33554432000 4194304 4933779 140734448844528 140734448842232 4376498 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 77945 72153 604 181 0 71562 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 311780 KiB
Current children cumulated memory: 288612 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29325
/proc/meminfo: memFree=23218196/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=320324 memory=296380 CPUtime=462.22 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 564748 0 0 0 46182 40 0 0 20 0 1 0 96447948 328011776 74095 33554432000 4194304 4933779 140734448844528 140734448842280 4437547 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 80081 74095 604 181 0 73698 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 320324 KiB
Current children cumulated memory: 296380 KiB
################
# More data... #
################
/proc/29317/statm: 103751 97891 604 181 0 97368 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 415004 KiB
Current children cumulated memory: 391564 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 29453
/proc/meminfo: memFree=22893040/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=420580 memory=397180 CPUtime=1782.15 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 681938 0 0 0 178158 57 0 0 20 0 1 0 96447948 430673920 99295 33554432000 4194304 4933779 140734448844528 140734448842280 140062843609638 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 105145 99295 604 181 0 98762 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 420580 KiB
Current children cumulated memory: 397180 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 29454
/proc/meminfo: memFree=22857656/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=424200 memory=400944 CPUtime=1842.14 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 687556 0 0 0 184157 57 0 0 20 0 1 0 96447948 434380800 100236 33554432000 4194304 4933779 140734448844528 140734448842232 4377379 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 106050 100236 604 181 0 99667 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 424200 KiB
Current children cumulated memory: 400944 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 29455
/proc/meminfo: memFree=22827896/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=426084 memory=402792 CPUtime=1902.14 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 694295 0 0 0 190156 58 0 0 20 0 1 0 96447948 436310016 100698 33554432000 4194304 4933779 140734448844528 140734448842232 4377382 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 106521 100698 604 181 0 100138 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 426084 KiB
Current children cumulated memory: 402792 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 29456
/proc/meminfo: memFree=22795380/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=427420 memory=404156 CPUtime=1962.13 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 699490 0 0 0 196155 58 0 0 20 0 1 0 96447948 437678080 101039 33554432000 4194304 4933779 140734448844528 140734448842280 140062844476455 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 106855 101039 604 181 0 100472 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 427420 KiB
Current children cumulated memory: 404156 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 29457
/proc/meminfo: memFree=22778436/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=429188 memory=405756 CPUtime=2022.13 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 700823 0 0 0 202154 59 0 0 20 0 1 0 96447948 439488512 101439 33554432000 4194304 4933779 140734448844528 140734448842232 4377379 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 107297 101439 604 181 0 100914 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 429188 KiB
Current children cumulated memory: 405756 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 29458
/proc/meminfo: memFree=22754504/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=430528 memory=407188 CPUtime=2082.13 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 702250 0 0 0 208154 59 0 0 20 0 1 0 96447948 440860672 101797 33554432000 4194304 4933779 140734448844528 140734448842232 4377638 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 107632 101797 604 181 0 101249 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 430528 KiB
Current children cumulated memory: 407188 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 29459
/proc/meminfo: memFree=22725188/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=433156 memory=409904 CPUtime=2142.13 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 704385 0 0 0 214153 60 0 0 20 0 1 0 96447948 443551744 102476 33554432000 4194304 4933779 140734448844528 140734448842232 4377628 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 108289 102476 604 181 0 101906 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 433156 KiB
Current children cumulated memory: 409904 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29460
/proc/meminfo: memFree=22696332/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=436956 memory=413632 CPUtime=2202.12 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 707200 0 0 0 220152 60 0 0 20 0 1 0 96447948 447442944 103408 33554432000 4194304 4933779 140734448844528 140734448842232 140062843604621 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 109239 103408 604 181 0 102856 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 436956 KiB
Current children cumulated memory: 413632 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29461
/proc/meminfo: memFree=22670736/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=439788 memory=416524 CPUtime=2262.11 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 710630 0 0 0 226151 60 0 0 20 0 1 0 96447948 450342912 104131 33554432000 4194304 4933779 140734448844528 140734448842280 140062843611222 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 109947 104131 604 181 0 103564 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 439788 KiB
Current children cumulated memory: 416524 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29463
/proc/meminfo: memFree=22640508/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=441668 memory=418360 CPUtime=2322.11 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 713974 0 0 0 232150 61 0 0 20 0 1 0 96447948 452268032 104590 33554432000 4194304 4933779 140734448844528 140734448842232 4377379 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 110417 104590 604 181 0 104034 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 441668 KiB
Current children cumulated memory: 418360 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29472
/proc/meminfo: memFree=22601504/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=443280 memory=420080 CPUtime=2382.11 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 717231 0 0 0 238150 61 0 0 20 0 1 0 96447948 453918720 105020 33554432000 4194304 4933779 140734448844528 140734448842232 4377379 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 110820 105020 604 181 0 104437 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 443280 KiB
Current children cumulated memory: 420080 KiB
[startup+2442.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 29473
/proc/meminfo: memFree=22584452/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=445780 memory=421564 CPUtime=2442.11 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 721124 0 0 0 244149 62 0 0 20 0 1 0 96447948 456478720 105391 33554432000 4194304 4933779 140734448844528 140734448842280 4377628 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 111445 105391 604 181 0 105062 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 445780 KiB
Current children cumulated memory: 421564 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 29474
/proc/meminfo: memFree=22564004/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=447388 memory=423040 CPUtime=2502.1 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 725371 0 0 0 250148 62 0 0 20 0 1 0 96447948 458125312 105760 33554432000 4194304 4933779 140734448844528 140734448842280 140062844476455 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 111847 105760 604 181 0 105464 0
Current children cumulated CPU time: 2502.1 s
Current children cumulated vsize: 447388 KiB
Current children cumulated memory: 423040 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.05 3/188 29475
/proc/meminfo: memFree=22562288/32770624 swapFree=67108860/67108860
[pid=29317] ppid=29314 vsize=447660 memory=423388 CPUtime=2519.81 cores=1,3,5,7
/proc/29317/stat : 29317 (nacre_mini_rele) R 29314 29317 27398 0 -1 4202496 725717 0 0 0 251919 62 0 0 20 0 1 0 96447948 458403840 105847 33554432000 4194304 4933779 140734448844528 140734448842232 4377379 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 12312576 140734448845976 140734448846076 140734448846076 140734448848834 0
/proc/29317/statm: 111915 105847 604 181 0 105532 0
Current children cumulated CPU time: 2519.81 s
Current children cumulated vsize: 447660 KiB
Current children cumulated memory: 423388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 29317 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.19 s, system=0.633967 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.02
CPU time (s): 2519.83
CPU user time (s): 2519.19
CPU system time (s): 0.633967
CPU usage (%): 99.9925
Max. virtual memory (cumulated for all children) (KiB): 447660
Max. memory (cumulated for all children) (KiB): 423388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.19
system time used= 0.633967
maximum resident set size= 423552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 725762
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= 75
involuntary context switches= 2115
# summary of solver processes directly reported to runsolver:
# pid: 29317
# total CPU time (s): 2519.83
# total CPU user time (s): 2519.19
# total CPU system time (s): 0.633967
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.90987 second user time and 19.8754 second system time
The end