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 (1203 MiB free)
memory of node 1: 16384 MiB (1547 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304116-1534011180/watcher-4304116-1534011180 -o /tmp/evaluation-result-4304116-1534011180/solver-4304116-1534011180 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1533991001-7337 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1443148153 HOME/instance-4304116-1534011180.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9601, runsolver pid=9598
Current StackSize limit: 8192 KiB
[startup+0.100218 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 9602
/proc/meminfo: memFree=2800732/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=48412 memory=22392 CPUtime=0.1 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 6072 0 0 0 10 0 0 0 20 0 1 0 218681250 49573888 5598 33554432000 4194304 7499544 140737414603936 140737414600936 140692849888229 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 12103 5598 622 807 0 5094 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 22392 KiB
[startup+0.209912 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 9602
/proc/meminfo: memFree=2792376/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=54016 memory=28464 CPUtime=0.2 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 7570 0 0 0 20 0 0 0 20 0 1 0 218681250 55312384 7116 33554432000 4194304 7499544 140737414603936 140737414594696 140692849888229 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 13504 7116 702 807 0 6495 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54016 KiB
Current children cumulated memory: 28464 KiB
[startup+0.309587 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 9602
/proc/meminfo: memFree=2790276/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=55948 memory=30312 CPUtime=0.3 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 8028 0 0 0 30 0 0 0 20 0 1 0 218681250 57290752 7578 33554432000 4194304 7499544 140737414603936 140737414594696 5894727 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 13987 7578 704 807 0 6978 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 55948 KiB
Current children cumulated memory: 30312 KiB
[startup+0.703541 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9602
/proc/meminfo: memFree=2783992/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=68560 memory=42992 CPUtime=0.7 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 11247 0 0 0 69 1 0 0 20 0 1 0 218681250 70205440 10748 33554432000 4194304 7499544 140737414603936 140737414594696 140692856680986 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 17140 10748 704 807 0 10131 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 68560 KiB
Current children cumulated memory: 42992 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9602
/proc/meminfo: memFree=2767872/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=93092 memory=67544 CPUtime=1.49 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 17377 0 0 0 147 2 0 0 20 0 1 0 218681250 95326208 16886 33554432000 4194304 7499544 140737414603936 140737414594856 5877045 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 23273 16886 721 807 0 16264 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 93092 KiB
Current children cumulated memory: 67544 KiB
[startup+3.10954 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9602
/proc/meminfo: memFree=2716280/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=133312 memory=107672 CPUtime=3.1 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 28759 0 0 0 307 3 0 0 20 0 1 0 218681250 136511488 26918 33554432000 4194304 7499544 140737414603936 140737414597176 5880054 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 33328 26918 721 807 0 26319 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 133312 KiB
Current children cumulated memory: 107672 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9602
/proc/meminfo: memFree=2638688/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=214652 memory=189224 CPUtime=6.28 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 51560 0 0 0 622 6 0 0 20 0 1 0 218681250 219803648 47306 33554432000 4194304 7499544 140737414603936 140737414595400 5882070 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 53663 47306 722 807 0 46654 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 214652 KiB
Current children cumulated memory: 189224 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9602
/proc/meminfo: memFree=2484700/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=378988 memory=353416 CPUtime=12.69 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 96203 0 0 0 1256 13 0 0 20 0 1 0 218681250 388083712 88354 33554432000 4194304 7499544 140737414603936 140737414595400 5880047 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 94747 88354 722 807 0 87738 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 378988 KiB
Current children cumulated memory: 353416 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9602
/proc/meminfo: memFree=2152392/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=704740 memory=679260 CPUtime=25.49 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 181316 0 0 0 2524 25 0 0 20 0 1 0 218681250 721653760 169815 33554432000 4194304 7499544 140737414603936 140737414597176 5882051 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 176185 169815 722 807 0 169176 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 704740 KiB
Current children cumulated memory: 679260 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9602
/proc/meminfo: memFree=1489984/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=1355816 memory=1330200 CPUtime=51.09 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 347989 0 0 0 5061 48 0 0 20 0 1 0 218681250 1388355584 332550 33554432000 4194304 7499544 140737414603936 140737414597176 5880025 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 338954 332550 722 807 0 331945 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1355816 KiB
Current children cumulated memory: 1330200 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9603
/proc/meminfo: memFree=430988/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2409760 memory=2384288 CPUtime=102.28 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 858144 0 0 0 10119 109 0 0 20 0 1 0 218681250 2467594240 596072 33554432000 4194304 7499544 140737414603936 140737414598392 5790974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 602440 596072 763 807 0 595431 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2409760 KiB
Current children cumulated memory: 2384288 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9668
/proc/meminfo: memFree=382288/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2415964 memory=2390704 CPUtime=162.26 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 1094580 0 0 0 16096 130 0 0 20 0 1 0 218681250 2473947136 597676 33554432000 4194304 7499544 140737414603936 140737414598360 5790974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 603991 597676 763 807 0 596982 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2415964 KiB
Current children cumulated memory: 2390704 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9669
/proc/meminfo: memFree=211040/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2416492 memory=2391260 CPUtime=222.26 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 1361504 0 0 0 22065 161 0 0 20 0 1 0 218681250 2474487808 597815 33554432000 4194304 7499544 140737414603936 140737414598472 5163917 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 604123 597815 763 807 0 597114 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2416492 KiB
Current children cumulated memory: 2391260 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9670
/proc/meminfo: memFree=202820/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2424952 memory=2399728 CPUtime=282.24 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 1649397 0 0 0 28038 186 0 0 20 0 1 0 218681250 2483150848 599932 33554432000 4194304 7499544 140737414603936 140737414598472 5585070 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 606238 599932 763 807 0 599229 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2424952 KiB
Current children cumulated memory: 2399728 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9671
/proc/meminfo: memFree=199768/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2427724 memory=2402460 CPUtime=342.25 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 1869415 0 0 0 34019 206 0 0 20 0 1 0 218681250 2485989376 600615 33554432000 4194304 7499544 140737414603936 140737414598392 5576304 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 606931 600615 763 807 0 599922 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2427724 KiB
Current children cumulated memory: 2402460 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9672
/proc/meminfo: memFree=198668/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2427724 memory=2402492 CPUtime=402.24 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 2164817 0 0 0 39995 229 0 0 20 0 1 0 218681250 2485989376 600623 33554432000 4194304 7499544 140737414603936 140737414598392 4317690 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 606931 600623 763 807 0 599922 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2427724 KiB
Current children cumulated memory: 2402492 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 9682
/proc/meminfo: memFree=198636/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2427724 memory=2402540 CPUtime=462.23 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 2435523 0 0 0 45972 251 0 0 20 0 1 0 218681250 2485989376 600635 33554432000 4194304 7499544 140737414603936 140737414598392 5770032 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 606931 600635 763 807 0 599922 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 2427724 KiB
Current children cumulated memory: 2402540 KiB
################
# More data... #
################
/proc/meminfo: memFree=295492/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2428516 memory=2403344 CPUtime=1782.13 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 5934475 0 0 0 177684 529 0 0 20 0 1 0 218681250 2486800384 600836 33554432000 4194304 7499544 140737414603936 140737414598472 4404988 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 607129 600836 763 807 0 600120 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 2428516 KiB
Current children cumulated memory: 2403344 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 9722
/proc/meminfo: memFree=291484/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2432244 memory=2407076 CPUtime=1842.12 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 6138516 0 0 0 183667 545 0 0 20 0 1 0 218681250 2490617856 601769 33554432000 4194304 7499544 140737414603936 140737414598472 5790974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 608061 601769 763 807 0 601052 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 2432244 KiB
Current children cumulated memory: 2407076 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9723
/proc/meminfo: memFree=289888/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2433960 memory=2408788 CPUtime=1902.12 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 6369086 0 0 0 189647 565 0 0 20 0 1 0 218681250 2492375040 602197 33554432000 4194304 7499544 140737414603936 140737414598472 5770261 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 608490 602197 763 807 0 601481 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 2433960 KiB
Current children cumulated memory: 2408788 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9724
/proc/meminfo: memFree=289168/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2434752 memory=2409548 CPUtime=1962.11 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 6539427 0 0 0 195632 579 0 0 20 0 1 0 218681250 2493186048 602387 33554432000 4194304 7499544 140737414603936 140737414598344 5770088 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 608688 602387 763 807 0 601679 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 2434752 KiB
Current children cumulated memory: 2409548 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9725
/proc/meminfo: memFree=288560/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2435412 memory=2410124 CPUtime=2022.1 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 6699873 0 0 0 201620 590 0 0 20 0 1 0 218681250 2493861888 602531 33554432000 4194304 7499544 140737414603936 140737414598472 4249975 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 608853 602531 763 807 0 601844 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 2435412 KiB
Current children cumulated memory: 2410124 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9726
/proc/meminfo: memFree=288312/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2435412 memory=2410244 CPUtime=2082.1 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 6906065 0 0 0 207604 606 0 0 20 0 1 0 218681250 2493861888 602561 33554432000 4194304 7499544 140737414603936 140737414598472 140692853323497 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 608853 602561 763 807 0 601844 0
Current children cumulated CPU time: 2082.1 s
Current children cumulated vsize: 2435412 KiB
Current children cumulated memory: 2410244 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9727
/proc/meminfo: memFree=288188/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2435412 memory=2410244 CPUtime=2142.1 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 6995800 0 0 0 213597 613 0 0 20 0 1 0 218681250 2493861888 602561 33554432000 4194304 7499544 140737414603936 140737414598472 4253248 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 608853 602561 763 807 0 601844 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 2435412 KiB
Current children cumulated memory: 2410244 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9728
/proc/meminfo: memFree=288064/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2435412 memory=2410244 CPUtime=2202.09 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 7108574 0 0 0 219589 620 0 0 20 0 1 0 218681250 2493861888 602561 33554432000 4194304 7499544 140737414603936 140737414598472 4249975 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 608853 602561 763 807 0 601844 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 2435412 KiB
Current children cumulated memory: 2410244 KiB
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 9737
/proc/meminfo: memFree=287100/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2435412 memory=2410244 CPUtime=2262.08 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 7144765 0 0 0 225585 623 0 0 20 0 1 0 218681250 2493861888 602561 33554432000 4194304 7499544 140737414603936 140737414598472 5790974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 608853 602561 763 807 0 601844 0
Current children cumulated CPU time: 2262.08 s
Current children cumulated vsize: 2435412 KiB
Current children cumulated memory: 2410244 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 9738
/proc/meminfo: memFree=287224/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2435412 memory=2410244 CPUtime=2322.08 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 7288464 0 0 0 231573 635 0 0 20 0 1 0 218681250 2493861888 602561 33554432000 4194304 7499544 140737414603936 140737414598472 4253253 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 608853 602561 763 807 0 601844 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 2435412 KiB
Current children cumulated memory: 2410244 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 9739
/proc/meminfo: memFree=287276/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2435544 memory=2410252 CPUtime=2382.08 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 7371482 0 0 0 237566 642 0 0 20 0 1 0 218681250 2493997056 602563 33554432000 4194304 7499544 140737414603936 140737414598360 4249975 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 608886 602563 763 807 0 601877 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 2435544 KiB
Current children cumulated memory: 2410252 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 9740
/proc/meminfo: memFree=287416/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2435544 memory=2410252 CPUtime=2442.07 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 7480978 0 0 0 243556 651 0 0 20 0 1 0 218681250 2493997056 602563 33554432000 4194304 7499544 140737414603936 140737414598360 4249975 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 608886 602563 763 807 0 601877 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 2435544 KiB
Current children cumulated memory: 2410252 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 9741
/proc/meminfo: memFree=287416/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2435544 memory=2410256 CPUtime=2502.06 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 7633073 0 0 0 249543 663 0 0 20 0 1 0 218681250 2493997056 602564 33554432000 4194304 7499544 140737414603936 140737414598360 5163917 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 608886 602564 763 807 0 601877 0
Current children cumulated CPU time: 2502.06 s
Current children cumulated vsize: 2435544 KiB
Current children cumulated memory: 2410256 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.05 3/188 9741
/proc/meminfo: memFree=287416/32770624 swapFree=67108860/67108860
[pid=9601] ppid=9598 vsize=2435544 memory=2410256 CPUtime=2519.77 cores=0,2,4,6
/proc/9601/stat : 9601 (MistralXCSP) R 9598 9601 7304 0 -1 4202496 7684370 0 0 0 251309 668 0 0 20 0 1 0 218681250 2493997056 602564 33554432000 4194304 7499544 140737414603936 140737414598360 4258061 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 14114816 140737414612077 140737414612227 140737414612227 140737414614985 0
/proc/9601/statm: 608886 602564 763 807 0 601877 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 2435544 KiB
Current children cumulated memory: 2410256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.15 s]
# the end of solver process 9601 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.1 s, system=6.82645 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.11 s]*
/proc/loadavg: 2.00 2.02 2.05 3/188 9741
/proc/meminfo: memFree=2039936/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 2520.15
CPU time (s): 2519.93
CPU user time (s): 2513.1
CPU system time (s): 6.82645
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (KiB): 2435544
Max. memory (cumulated for all children) (KiB): 2410256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.1
system time used= 6.82645
maximum resident set size= 2410276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7684400
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= 39
involuntary context switches= 3159
# summary of solver processes directly reported to runsolver:
# pid: 9601
# total CPU time (s): 2519.93
# total CPU user time (s): 2513.1
# total CPU system time (s): 6.82645
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8028 second user time and 18.1959 second system time
The end