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 (15227 MiB free)
memory of node 1: 16384 MiB (12022 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391497-1568317783/watcher-4391497-1568317783 -o /tmp/evaluation-result-4391497-1568317783/solver-4391497-1568317783 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568306240-27781 --watchdog 2560 nacre_mini_release HOME/instance-4391497-1568317783.xml -ca -l100 -cm
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=30501, runsolver pid=30498
[startup+0.100116 s]*
/proc/loadavg: 2.14 2.09 2.06 3/203 30502
/proc/meminfo: memFree=27894032/32770624 swapFree=66965980/67108860
[pid=30501] ppid=30498 vsize=36536 memory=12952 CPUtime=0.1 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 3509 0 0 0 10 0 0 0 20 0 1 0 408027841 37412864 3238 33554432000 4194304 4935366 140727307926256 140727307923256 4251073 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 9134 3238 581 181 0 2751 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36536 KiB
Current children cumulated memory: 12952 KiB
[startup+0.209967 s]*
/proc/loadavg: 2.14 2.09 2.06 3/203 30502
/proc/meminfo: memFree=27891800/32770624 swapFree=66965980/67108860
[pid=30501] ppid=30498 vsize=38404 memory=14800 CPUtime=0.21 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 4005 0 0 0 21 0 0 0 20 0 1 0 408027841 39325696 3700 33554432000 4194304 4935366 140727307926256 140727307923256 4312448 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 9601 3700 593 181 0 3218 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38404 KiB
Current children cumulated memory: 14800 KiB
[startup+0.309799 s]*
/proc/loadavg: 2.14 2.09 2.06 3/203 30502
/proc/meminfo: memFree=27891676/32770624 swapFree=66965980/67108860
[pid=30501] ppid=30498 vsize=38404 memory=14800 CPUtime=0.31 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 4023 0 0 0 31 0 0 0 20 0 1 0 408027841 39325696 3700 33554432000 4194304 4935366 140727307926256 140727307924376 4365360 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 9601 3700 593 181 0 3218 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38404 KiB
Current children cumulated memory: 14800 KiB
[startup+0.700283 s]
/proc/loadavg: 2.14 2.09 2.06 3/203 30502
/proc/meminfo: memFree=27891744/32770624 swapFree=66965980/67108860
[pid=30501] ppid=30498 vsize=38536 memory=15064 CPUtime=0.69 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 4055 0 0 0 69 0 0 0 20 0 1 0 408027841 39460864 3766 33554432000 4194304 4935366 140727307926256 140727307924008 4365325 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 9634 3766 618 181 0 3251 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38536 KiB
Current children cumulated memory: 15064 KiB
[startup+1.5003 s]
/proc/loadavg: 2.14 2.09 2.06 3/203 30502
/proc/meminfo: memFree=27890628/32770624 swapFree=66965980/67108860
[pid=30501] ppid=30498 vsize=40120 memory=16648 CPUtime=1.49 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 4465 0 0 0 149 0 0 0 20 0 1 0 408027841 41082880 4162 33554432000 4194304 4935366 140727307926256 140727307924008 4365369 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 10030 4162 618 181 0 3647 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40120 KiB
Current children cumulated memory: 16648 KiB
[startup+3.11002 s]
/proc/loadavg: 2.13 2.09 2.06 3/203 30502
/proc/meminfo: memFree=27883004/32770624 swapFree=66965980/67108860
[pid=30501] ppid=30498 vsize=46112 memory=22560 CPUtime=3.1 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 9279 0 0 0 310 0 0 0 20 0 1 0 408027841 47218688 5640 33554432000 4194304 4935366 140727307926256 140727307924008 140377683116240 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 11528 5640 618 181 0 5145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 46112 KiB
Current children cumulated memory: 22560 KiB
[startup+6.3003 s]
/proc/loadavg: 2.13 2.09 2.06 3/203 30502
/proc/meminfo: memFree=27866208/32770624 swapFree=66965980/67108860
[pid=30501] ppid=30498 vsize=61688 memory=38164 CPUtime=6.28 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 17258 0 0 0 628 0 0 0 20 0 1 0 408027841 63168512 9541 33554432000 4194304 4935366 140727307926256 140727307923944 140377683232757 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 15422 9541 618 181 0 9039 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 61688 KiB
Current children cumulated memory: 38164 KiB
[startup+12.7003 s]
/proc/loadavg: 2.12 2.09 2.06 3/203 30502
/proc/meminfo: memFree=27821016/32770624 swapFree=66965980/67108860
[pid=30501] ppid=30498 vsize=105284 memory=81724 CPUtime=12.69 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 34626 0 0 0 1267 2 0 0 20 0 1 0 408027841 107810816 20431 33554432000 4194304 4935366 140727307926256 140727307923912 140377683231615 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 26321 20431 618 181 0 19938 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 105284 KiB
Current children cumulated memory: 81724 KiB
[startup+25.5003 s]
/proc/loadavg: 2.09 2.08 2.06 3/203 30502
/proc/meminfo: memFree=27749476/32770624 swapFree=66965980/67108860
[pid=30501] ppid=30498 vsize=164944 memory=141364 CPUtime=25.48 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 74222 0 0 0 2541 7 0 0 20 0 1 0 408027841 168902656 35341 33554432000 4194304 4935366 140727307926256 140727307924008 4461073 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 41236 35341 618 181 0 34853 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 164944 KiB
Current children cumulated memory: 141364 KiB
[startup+51.1102 s]
/proc/loadavg: 2.06 2.07 2.05 3/202 30505
/proc/meminfo: memFree=27623252/32770624 swapFree=66965980/67108860
[pid=30501] ppid=30498 vsize=260152 memory=236204 CPUtime=51.09 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 124666 0 0 0 5096 13 0 0 20 0 1 0 408027841 266395648 59051 33554432000 4194304 4935366 140727307926256 140727307924008 4418740 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 65038 59051 618 181 0 58655 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 260152 KiB
Current children cumulated memory: 236204 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/203 30516
/proc/meminfo: memFree=27403212/32770624 swapFree=66965984/67108860
[pid=30501] ppid=30498 vsize=440344 memory=416648 CPUtime=102.27 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 222945 0 0 0 10201 26 0 0 20 0 1 0 408027841 450912256 104162 33554432000 4194304 4935366 140727307926256 140727307924008 4461244 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 110086 104162 618 181 0 103703 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 440344 KiB
Current children cumulated memory: 416648 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/203 30520
/proc/meminfo: memFree=27168648/32770624 swapFree=66965984/67108860
[pid=30501] ppid=30498 vsize=622716 memory=599120 CPUtime=162.26 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 329612 0 0 0 16186 40 0 0 20 0 1 0 408027841 637661184 149780 33554432000 4194304 4935366 140727307926256 140727307924008 4450346 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 155679 149780 618 181 0 149296 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 622716 KiB
Current children cumulated memory: 599120 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/205 30527
/proc/meminfo: memFree=27019612/32770624 swapFree=66965984/67108860
[pid=30501] ppid=30498 vsize=739468 memory=716060 CPUtime=222.25 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 401359 0 0 0 22176 49 0 0 20 0 1 0 408027841 757215232 179015 33554432000 4194304 4935366 140727307926256 140727307924008 140377683116240 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 184867 179015 618 181 0 178484 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 739468 KiB
Current children cumulated memory: 716060 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/204 30531
/proc/meminfo: memFree=26838264/32770624 swapFree=66965984/67108860
[pid=30501] ppid=30498 vsize=864312 memory=839648 CPUtime=282.23 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 523500 0 0 0 28162 61 0 0 20 0 1 0 408027841 885055488 209912 33554432000 4194304 4935366 140727307926256 140727307923944 4416473 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 216078 209912 618 181 0 209695 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 864312 KiB
Current children cumulated memory: 839648 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/204 30535
/proc/meminfo: memFree=26640156/32770624 swapFree=66965984/67108860
[pid=30501] ppid=30498 vsize=1002068 memory=977412 CPUtime=342.22 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 642478 0 0 0 34149 73 0 0 20 0 1 0 408027841 1026117632 244353 33554432000 4194304 4935366 140727307926256 140727307923944 4429616 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 250517 244353 618 181 0 244134 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 1002068 KiB
Current children cumulated memory: 977412 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 30543
/proc/meminfo: memFree=26389076/32770624 swapFree=66965992/67108860
[pid=30501] ppid=30498 vsize=1165300 memory=1140836 CPUtime=402.22 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 809175 0 0 0 40131 91 0 0 20 0 1 0 408027841 1193267200 285209 33554432000 4194304 4935366 140727307926256 140727307924008 4331928 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 291325 285209 618 181 0 284942 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 1165300 KiB
Current children cumulated memory: 1140836 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/204 30547
/proc/meminfo: memFree=26222488/32770624 swapFree=66965992/67108860
[pid=30501] ppid=30498 vsize=1279184 memory=1254668 CPUtime=462.2 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 963123 0 0 0 46114 106 0 0 20 0 1 0 408027841 1309884416 313667 33554432000 4194304 4935366 140727307926256 140727307924008 4461244 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 319796 313667 618 181 0 313413 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 1279184 KiB
Current children cumulated memory: 1254668 KiB
################
# More data... #
################
/proc/30501/statm: 734960 728980 618 181 0 728577 0
Current children cumulated CPU time: 1661.94 s
Current children cumulated vsize: 2939840 KiB
Current children cumulated memory: 2915920 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 30753
/proc/meminfo: memFree=26368012/32770624 swapFree=66966008/67108860
[pid=30501] ppid=30498 vsize=3000092 memory=2976204 CPUtime=1721.92 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 7261009 0 0 0 171637 555 0 0 20 0 1 0 408027841 3072094208 744051 33554432000 4194304 4935366 140727307926256 140727307923944 4461250 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 750023 744051 618 181 0 743640 0
Current children cumulated CPU time: 1721.92 s
Current children cumulated vsize: 3000092 KiB
Current children cumulated memory: 2976204 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 30757
/proc/meminfo: memFree=26172664/32770624 swapFree=66966008/67108860
[pid=30501] ppid=30498 vsize=3032244 memory=3008384 CPUtime=1781.89 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 7640480 0 0 0 177612 577 0 0 20 0 1 0 408027841 3105017856 752096 33554432000 4194304 4935366 140727307926256 140727307924008 140377677793564 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 758061 752096 618 181 0 751678 0
Current children cumulated CPU time: 1781.89 s
Current children cumulated vsize: 3032244 KiB
Current children cumulated memory: 3008384 KiB
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/204 30763
/proc/meminfo: memFree=26011352/32770624 swapFree=66966008/67108860
[pid=30501] ppid=30498 vsize=3081160 memory=3057244 CPUtime=1841.87 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 8015667 0 0 0 183587 600 0 0 20 0 1 0 408027841 3155107840 764311 33554432000 4194304 4935366 140727307926256 140727307923944 140377683129517 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 770290 764311 618 181 0 763907 0
Current children cumulated CPU time: 1841.87 s
Current children cumulated vsize: 3081160 KiB
Current children cumulated memory: 3057244 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/203 30774
/proc/meminfo: memFree=25853100/32770624 swapFree=66966008/67108860
[pid=30501] ppid=30498 vsize=3140700 memory=3116784 CPUtime=1901.85 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 8375437 0 0 0 189558 627 0 0 20 0 1 0 408027841 3216076800 779196 33554432000 4194304 4935366 140727307926256 140727307924008 4407218 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 785175 779196 618 181 0 778792 0
Current children cumulated CPU time: 1901.85 s
Current children cumulated vsize: 3140700 KiB
Current children cumulated memory: 3116784 KiB
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/203 30778
/proc/meminfo: memFree=25701424/32770624 swapFree=66966008/67108860
[pid=30501] ppid=30498 vsize=3184128 memory=3160260 CPUtime=1961.83 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 8732320 0 0 0 195532 651 0 0 20 0 1 0 408027841 3260547072 790065 33554432000 4194304 4935366 140727307926256 140727307924008 140377677793540 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 796032 790065 618 181 0 789649 0
Current children cumulated CPU time: 1961.83 s
Current children cumulated vsize: 3184128 KiB
Current children cumulated memory: 3160260 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/203 30784
/proc/meminfo: memFree=25531732/32770624 swapFree=66966008/67108860
[pid=30501] ppid=30498 vsize=3242636 memory=3218828 CPUtime=2021.81 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 9086491 0 0 0 201504 677 0 0 20 0 1 0 408027841 3320459264 804707 33554432000 4194304 4935366 140727307926256 140727307923960 140377676930927 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 810659 804707 618 181 0 804276 0
Current children cumulated CPU time: 2021.81 s
Current children cumulated vsize: 3242636 KiB
Current children cumulated memory: 3218828 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/202 30788
/proc/meminfo: memFree=25372840/32770624 swapFree=66966008/67108860
[pid=30501] ppid=30498 vsize=3291444 memory=3267668 CPUtime=2081.79 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 9441087 0 0 0 207476 703 0 0 20 0 1 0 408027841 3370438656 816917 33554432000 4194304 4935366 140727307926256 140727307924008 4461073 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 822861 816917 618 181 0 816478 0
Current children cumulated CPU time: 2081.79 s
Current children cumulated vsize: 3291444 KiB
Current children cumulated memory: 3267668 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 30792
/proc/meminfo: memFree=25206872/32770624 swapFree=66966008/67108860
[pid=30501] ppid=30498 vsize=3338748 memory=3314988 CPUtime=2141.76 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 9798348 0 0 0 213450 726 0 0 20 0 1 0 408027841 3418877952 828747 33554432000 4194304 4935366 140727307926256 140727307923944 4365333 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 834687 828747 618 181 0 828304 0
Current children cumulated CPU time: 2141.76 s
Current children cumulated vsize: 3338748 KiB
Current children cumulated memory: 3314988 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 30799
/proc/meminfo: memFree=25104424/32770624 swapFree=66966012/67108860
[pid=30501] ppid=30498 vsize=3350244 memory=3326436 CPUtime=2201.75 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 10118981 0 0 0 219426 749 0 0 20 0 1 0 408027841 3430649856 831609 33554432000 4194304 4935366 140727307926256 140727307923944 4461191 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 837561 831609 618 181 0 831178 0
Current children cumulated CPU time: 2201.75 s
Current children cumulated vsize: 3350244 KiB
Current children cumulated memory: 3326436 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 30804
/proc/meminfo: memFree=24948852/32770624 swapFree=66966012/67108860
[pid=30501] ppid=30498 vsize=3414068 memory=3390196 CPUtime=2261.72 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 10459639 0 0 0 225401 771 0 0 20 0 1 0 408027841 3496005632 847549 33554432000 4194304 4935366 140727307926256 140727307923944 4461250 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 853517 847549 618 181 0 847134 0
Current children cumulated CPU time: 2261.72 s
Current children cumulated vsize: 3414068 KiB
Current children cumulated memory: 3390196 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 30808
/proc/meminfo: memFree=24794404/32770624 swapFree=66966012/67108860
[pid=30501] ppid=30498 vsize=3490204 memory=3466296 CPUtime=2321.7 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 10779910 0 0 0 231378 792 0 0 20 0 1 0 408027841 3573968896 866574 33554432000 4194304 4935366 140727307926256 140727307923960 140377677793580 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 872551 866574 618 181 0 866168 0
Current children cumulated CPU time: 2321.7 s
Current children cumulated vsize: 3490204 KiB
Current children cumulated memory: 3466296 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 30815
/proc/meminfo: memFree=24682412/32770624 swapFree=66966012/67108860
[pid=30501] ppid=30498 vsize=3508400 memory=3484552 CPUtime=2381.68 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 11091639 0 0 0 237356 812 0 0 20 0 1 0 408027841 3592601600 871138 33554432000 4194304 4935366 140727307926256 140727307924008 4461216 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 877100 871138 618 181 0 870717 0
Current children cumulated CPU time: 2381.68 s
Current children cumulated vsize: 3508400 KiB
Current children cumulated memory: 3484552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 30816
/proc/meminfo: memFree=24661028/32770624 swapFree=66966012/67108860
[pid=30501] ppid=30498 vsize=3510944 memory=3487056 CPUtime=2400.07 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 11150545 0 0 0 239192 815 0 0 20 0 1 0 408027841 3595206656 871764 33554432000 4194304 4935366 140727307926256 140727307923944 4407294 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 877736 871764 618 181 0 871353 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 3510944 KiB
Current children cumulated memory: 3487056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.8 s]
# the end of solver process 30501 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2391.92 s, system=8.25921 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 30816
/proc/meminfo: memFree=24661028/32770624 swapFree=66966012/67108860
[pid=30501] ppid=30498 vsize=3510944 memory=3487056 CPUtime=2400.07 cores=0,2,4,6
/proc/30501/stat : 30501 (nacre_mini_rele) R 30498 30501 25882 0 -1 4202496 11150545 0 0 0 239192 815 0 0 20 0 1 0 408027841 3595206656 871764 33554432000 4194304 4935366 140727307926256 140727307923944 4407294 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 37445632 140727307932673 140727307932773 140727307932773 140727307935682 0
/proc/30501/statm: 877736 871764 618 181 0 871353 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 3510944 KiB
Current children cumulated memory: 3487056 KiB
Child status: 0
Real time (s): 2400.8
CPU time (s): 2400.18
CPU user time (s): 2391.92
CPU system time (s): 8.25921
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 3510944
Max. memory (cumulated for all children) (KiB): 3487056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.92
system time used= 8.25921
maximum resident set size= 3487116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11150587
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= 629
involuntary context switches= 1961
# summary of solver processes directly reported to runsolver:
# pid: 30501
# total CPU time (s): 2400.18
# total CPU user time (s): 2391.92
# total CPU system time (s): 8.25921
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.96776 second user time and 19.3846 second system time
The end