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 (10675 MiB free)
memory of node 1: 16384 MiB (12155 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299946-1532792490/watcher-4299946-1532792490 -o /tmp/evaluation-result-4299946-1532792490/solver-4299946-1532792490 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27429 --watchdog 2580 nacre_mini_release HOME/instance-4299946-1532792490.xml -ca -l100 -cm
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
solver pid=29694, runsolver pid=29691
Current StackSize limit: 8192 KiB
[startup+0.100197 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29695
/proc/meminfo: memFree=23375340/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=29684 memory=6104 CPUtime=0.1 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 1749 0 0 0 10 0 0 0 20 0 1 0 96812167 30396416 1526 33554432000 4194304 4933779 140720397158288 140720397155288 140367059422014 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 7421 1526 612 181 0 1038 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29684 KiB
Current children cumulated memory: 6104 KiB
[startup+0.209691 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29695
/proc/meminfo: memFree=23373448/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=31792 memory=8328 CPUtime=0.21 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 2288 0 0 0 21 0 0 0 20 0 1 0 96812167 32555008 2082 33554432000 4194304 4933779 140720397158288 140720397155288 140367059426277 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 7948 2082 612 181 0 1565 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31792 KiB
Current children cumulated memory: 8328 KiB
[startup+0.309255 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29695
/proc/meminfo: memFree=23371300/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=33792 memory=10304 CPUtime=0.3 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 2763 0 0 0 30 0 0 0 20 0 1 0 96812167 34603008 2576 33554432000 4194304 4933779 140720397158288 140720397155288 140367065617584 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 8448 2576 612 181 0 2065 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33792 KiB
Current children cumulated memory: 10304 KiB
[startup+0.700356 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29695
/proc/meminfo: memFree=23367580/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=40800 memory=17140 CPUtime=0.69 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 4506 0 0 0 68 1 0 0 20 0 1 0 96812167 41779200 4285 33554432000 4194304 4933779 140720397158288 140720397155288 140367059426277 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 10200 4285 612 181 0 3817 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40800 KiB
Current children cumulated memory: 17140 KiB
[startup+1.50039 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29695
/proc/meminfo: memFree=23358652/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=55348 memory=31692 CPUtime=1.49 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 8181 0 0 0 147 2 0 0 20 0 1 0 96812167 56676352 7923 33554432000 4194304 4933779 140720397158288 140720397156040 4393121 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 13870 7923 612 181 0 7487 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55348 KiB
Current children cumulated memory: 31692 KiB
[startup+3.10961 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 29695
/proc/meminfo: memFree=23337920/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=67260 memory=43588 CPUtime=3.1 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 19680 0 0 0 307 3 0 0 20 0 1 0 96812167 68874240 10897 33554432000 4194304 4933779 140720397158288 140720397155992 4423402 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 16815 10897 612 181 0 10432 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 67260 KiB
Current children cumulated memory: 43588 KiB
[startup+6.30039 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 29695
/proc/meminfo: memFree=23321280/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=84364 memory=60892 CPUtime=6.28 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 35370 0 0 0 624 4 0 0 20 0 1 0 96812167 86388736 15223 33554432000 4194304 4933779 140720397158288 140720397156040 140367060170146 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 21091 15223 612 181 0 14708 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 84364 KiB
Current children cumulated memory: 60892 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 29695
/proc/meminfo: memFree=23289528/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=112924 memory=88948 CPUtime=12.68 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 59259 0 0 0 1262 6 0 0 20 0 1 0 96812167 115634176 22237 33554432000 4194304 4933779 140720397158288 140720397155976 4388395 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 28231 22237 612 181 0 21848 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 112924 KiB
Current children cumulated memory: 88948 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 29695
/proc/meminfo: memFree=23257736/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=141456 memory=117640 CPUtime=25.48 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 107296 0 0 0 2538 10 0 0 20 0 1 0 96812167 144850944 29410 33554432000 4194304 4933779 140720397158288 140720397155992 4437564 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 35364 29410 612 181 0 28981 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 141456 KiB
Current children cumulated memory: 117640 KiB
[startup+51.1098 s]
/proc/loadavg: 1.96 2.00 2.04 3/188 29695
/proc/meminfo: memFree=23092404/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=296660 memory=272932 CPUtime=51.1 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 198033 0 0 0 5089 21 0 0 20 0 1 0 96812167 303779840 68233 33554432000 4194304 4933779 140720397158288 140720397155976 4335693 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 74165 68233 612 181 0 67782 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 296660 KiB
Current children cumulated memory: 272932 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 29696
/proc/meminfo: memFree=22989856/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=386708 memory=361624 CPUtime=102.28 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 288656 0 0 0 10199 29 0 0 20 0 1 0 96812167 395988992 90406 33554432000 4194304 4933779 140720397158288 140720397155976 4437547 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 96677 90406 612 181 0 90294 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 386708 KiB
Current children cumulated memory: 361624 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 29697
/proc/meminfo: memFree=22662252/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=699912 memory=675132 CPUtime=162.28 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 466867 0 0 0 16182 46 0 0 20 0 1 0 96812167 716709888 168783 33554432000 4194304 4933779 140720397158288 140720397156040 140367060281723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 174978 168783 612 181 0 168595 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 699912 KiB
Current children cumulated memory: 675132 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 29698
/proc/meminfo: memFree=22599888/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=745800 memory=720964 CPUtime=222.28 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 529717 0 0 0 22176 52 0 0 20 0 1 0 96812167 763699200 180241 33554432000 4194304 4933779 140720397158288 140720397155976 4437547 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 186450 180241 612 181 0 180067 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 745800 KiB
Current children cumulated memory: 720964 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 29699
/proc/meminfo: memFree=22580736/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=750592 memory=725796 CPUtime=282.27 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 634626 0 0 0 28167 60 0 0 20 0 1 0 96812167 768606208 181449 33554432000 4194304 4933779 140720397158288 140720397155976 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 187648 181449 612 181 0 181265 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 750592 KiB
Current children cumulated memory: 725796 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 29700
/proc/meminfo: memFree=22566860/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=752956 memory=727960 CPUtime=342.27 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 734012 0 0 0 34159 68 0 0 20 0 1 0 96812167 771026944 181990 33554432000 4194304 4933779 140720397158288 140720397155976 4475930 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 188239 181990 612 181 0 181856 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 752956 KiB
Current children cumulated memory: 727960 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 29701
/proc/meminfo: memFree=22548856/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=758852 memory=733824 CPUtime=402.23 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 834501 0 0 0 40148 75 0 0 20 0 1 0 96812167 777064448 183456 33554432000 4194304 4933779 140720397158288 140720397156040 4437581 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 189713 183456 612 181 0 183330 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 758852 KiB
Current children cumulated memory: 733824 KiB
[startup+462.3 s]
/proc/loadavg: 2.28 2.06 2.06 3/187 29702
/proc/meminfo: memFree=22514268/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=780504 memory=755460 CPUtime=462.19 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 930298 0 0 0 46135 84 0 0 20 0 1 0 96812167 799236096 188865 33554432000 4194304 4933779 140720397158288 140720397155976 140367060281723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 195126 188865 612 181 0 188743 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 780504 KiB
Current children cumulated memory: 755460 KiB
################
# More data... #
################
/proc/29694/statm: 253088 246024 612 181 0 246705 0
Current children cumulated CPU time: 1721.89 s
Current children cumulated vsize: 1012352 KiB
Current children cumulated memory: 984096 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29770
/proc/meminfo: memFree=22039212/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=1014268 memory=985760 CPUtime=1781.88 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 1515869 0 0 0 178044 144 0 0 20 0 1 0 96812167 1038610432 246440 33554432000 4194304 4933779 140720397158288 140720397155976 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 253567 246440 612 181 0 247184 0
Current children cumulated CPU time: 1781.88 s
Current children cumulated vsize: 1014268 KiB
Current children cumulated memory: 985760 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29832
/proc/meminfo: memFree=22669436/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=1015420 memory=986828 CPUtime=1841.88 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 1545815 0 0 0 184041 147 0 0 20 0 1 0 96812167 1039790080 246707 33554432000 4194304 4933779 140720397158288 140720397155976 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 253855 246707 612 181 0 247472 0
Current children cumulated CPU time: 1841.88 s
Current children cumulated vsize: 1015420 KiB
Current children cumulated memory: 986828 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29833
/proc/meminfo: memFree=22579776/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=1016384 memory=987604 CPUtime=1901.88 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 1575802 0 0 0 190037 151 0 0 20 0 1 0 96812167 1040777216 246901 33554432000 4194304 4933779 140720397158288 140720397155976 140367060281779 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 254096 246901 612 181 0 247713 0
Current children cumulated CPU time: 1901.88 s
Current children cumulated vsize: 1016384 KiB
Current children cumulated memory: 987604 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29834
/proc/meminfo: memFree=22525684/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=1020992 memory=994212 CPUtime=1961.84 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 1601443 0 0 0 196030 154 0 0 20 0 1 0 96812167 1045495808 248553 33554432000 4194304 4933779 140720397158288 140720397156040 4475930 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 255248 248553 612 181 0 248865 0
Current children cumulated CPU time: 1961.84 s
Current children cumulated vsize: 1020992 KiB
Current children cumulated memory: 994212 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29835
/proc/meminfo: memFree=22484660/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=1024800 memory=1000376 CPUtime=2021.82 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 1608311 0 0 0 202027 155 0 0 20 0 1 0 96812167 1049395200 250094 33554432000 4194304 4933779 140720397158288 140720397155976 4388646 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 256200 250094 612 181 0 249817 0
Current children cumulated CPU time: 2021.82 s
Current children cumulated vsize: 1024800 KiB
Current children cumulated memory: 1000376 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29836
/proc/meminfo: memFree=22451464/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=1030524 memory=1005832 CPUtime=2081.81 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 1612041 0 0 0 208026 155 0 0 20 0 1 0 96812167 1055256576 251458 33554432000 4194304 4933779 140720397158288 140720397155992 4437496 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 257631 251458 612 181 0 251248 0
Current children cumulated CPU time: 2081.81 s
Current children cumulated vsize: 1030524 KiB
Current children cumulated memory: 1005832 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29837
/proc/meminfo: memFree=22413052/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=1043080 memory=1018344 CPUtime=2141.81 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 1619482 0 0 0 214024 157 0 0 20 0 1 0 96812167 1068113920 254586 33554432000 4194304 4933779 140720397158288 140720397156040 4437564 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 260770 254586 612 181 0 254387 0
Current children cumulated CPU time: 2141.81 s
Current children cumulated vsize: 1043080 KiB
Current children cumulated memory: 1018344 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29838
/proc/meminfo: memFree=22359860/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=1065484 memory=1040676 CPUtime=2201.81 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 1632213 0 0 0 220022 159 0 0 20 0 1 0 96812167 1091055616 260169 33554432000 4194304 4933779 140720397158288 140720397155992 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 266371 260169 612 181 0 259988 0
Current children cumulated CPU time: 2201.81 s
Current children cumulated vsize: 1065484 KiB
Current children cumulated memory: 1040676 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29839
/proc/meminfo: memFree=22321556/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=1083596 memory=1058544 CPUtime=2261.8 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 1648898 0 0 0 226019 161 0 0 20 0 1 0 96812167 1109602304 264636 33554432000 4194304 4933779 140720397158288 140720397156040 4437570 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 270899 264636 612 181 0 264516 0
Current children cumulated CPU time: 2261.8 s
Current children cumulated vsize: 1083596 KiB
Current children cumulated memory: 1058544 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29848
/proc/meminfo: memFree=22301908/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=1087832 memory=1062844 CPUtime=2321.8 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 1664290 0 0 0 232017 163 0 0 20 0 1 0 96812167 1113939968 265711 33554432000 4194304 4933779 140720397158288 140720397156040 4362686 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 271958 265711 612 181 0 265575 0
Current children cumulated CPU time: 2321.8 s
Current children cumulated vsize: 1087832 KiB
Current children cumulated memory: 1062844 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29849
/proc/meminfo: memFree=22281820/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=1094320 memory=1069328 CPUtime=2381.79 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 1681640 0 0 0 238014 165 0 0 20 0 1 0 96812167 1120583680 267332 33554432000 4194304 4933779 140720397158288 140720397155992 4437581 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 273580 267332 612 181 0 267197 0
Current children cumulated CPU time: 2381.79 s
Current children cumulated vsize: 1094320 KiB
Current children cumulated memory: 1069328 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29850
/proc/meminfo: memFree=22256588/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=1096812 memory=1071720 CPUtime=2441.79 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 1698902 0 0 0 244013 166 0 0 20 0 1 0 96812167 1123135488 267930 33554432000 4194304 4933779 140720397158288 140720397155976 4437389 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 274203 267930 612 181 0 267820 0
Current children cumulated CPU time: 2441.79 s
Current children cumulated vsize: 1096812 KiB
Current children cumulated memory: 1071720 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29851
/proc/meminfo: memFree=22226704/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=1111220 memory=1086068 CPUtime=2501.78 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 1717918 0 0 0 250010 168 0 0 20 0 1 0 96812167 1137889280 271517 33554432000 4194304 4933779 140720397158288 140720397155992 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 277805 271517 612 181 0 271422 0
Current children cumulated CPU time: 2501.78 s
Current children cumulated vsize: 1111220 KiB
Current children cumulated memory: 1086068 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29851
/proc/meminfo: memFree=22224224/32770624 swapFree=67108860/67108860
[pid=29694] ppid=29691 vsize=1111220 memory=1086124 CPUtime=2519.49 cores=0,2,4,6
/proc/29694/stat : 29694 (nacre_mini_rele) R 29691 29694 27398 0 -1 4202496 1723171 0 0 0 251780 169 0 0 20 0 1 0 96812167 1137889280 271531 33554432000 4194304 4933779 140720397158288 140720397155992 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 32501760 140720397161624 140720397161724 140720397161724 140720397164482 0
/proc/29694/statm: 277805 271531 612 181 0 271422 0
Current children cumulated CPU time: 2519.49 s
Current children cumulated vsize: 1111220 KiB
Current children cumulated memory: 1086124 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 29694 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.8 s, system=1.70786 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.51
CPU user time (s): 2517.8
CPU system time (s): 1.70786
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 1111220
Max. memory (cumulated for all children) (KiB): 1086124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.8
system time used= 1.70786
maximum resident set size= 1086180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1723214
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= 488
involuntary context switches= 3155
# summary of solver processes directly reported to runsolver:
# pid: 29694
# total CPU time (s): 2519.51
# total CPU user time (s): 2517.8
# total CPU system time (s): 1.70786
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0814 second user time and 18.4863 second system time
The end