runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242259-1500631229/watcher-4242259-1500631229 -o /tmp/evaluation-result-4242259-1500631229/solver-4242259-1500631229 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500623787-3606 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1327952534 HOME/instance-4242259-1500631229.xml
pid=6564
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.04 2.04 3/187 6567
/proc/meminfo: memFree=31614076/32770624 swapFree=6452/369796
[pid=6567] ppid=6564 vsize=29068 CPUtime=0 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 1036 0 0 0 0 0 0 0 20 0 1 0 16399900 29765632 802 33554432000 4194304 7402444 140735500160224 140735500157272 140564470344677 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 7267 802 618 784 0 281 0
[startup+0.100185 s]
/proc/loadavg: 2.03 2.04 2.04 3/187 6567
/proc/meminfo: memFree=31614076/32770624 swapFree=6452/369796
[pid=6567] ppid=6564 vsize=53616 CPUtime=0.08 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 7229 0 0 0 7 1 0 0 20 0 1 0 16399900 54902784 7024 33554432000 4194304 7402444 140735500160224 140735500150376 4234432 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 13404 7024 669 784 0 6418 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 53616
[startup+0.20044 s]
/proc/loadavg: 2.03 2.04 2.04 3/187 6567
/proc/meminfo: memFree=31614076/32770624 swapFree=6452/369796
[pid=6567] ppid=6564 vsize=58972 CPUtime=0.18 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 8625 0 0 0 17 1 0 0 20 0 1 0 16399900 60387328 8410 33554432000 4194304 7402444 140735500160224 140735500150000 6047226 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 14743 8410 686 784 0 7757 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 58972
[startup+0.300366 s]
/proc/loadavg: 2.03 2.04 2.04 3/187 6567
/proc/meminfo: memFree=31614076/32770624 swapFree=6452/369796
[pid=6567] ppid=6564 vsize=58972 CPUtime=0.28 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 8639 0 0 0 27 1 0 0 20 0 1 0 16399900 60387328 8476 33554432000 4194304 7402444 140735500160224 140735500150000 140564476538663 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 14743 8476 741 784 0 7757 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 58972
[startup+0.700355 s]
/proc/loadavg: 2.03 2.04 2.04 3/187 6567
/proc/meminfo: memFree=31614076/32770624 swapFree=6452/369796
[pid=6567] ppid=6564 vsize=67904 CPUtime=0.69 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 10888 0 0 0 67 2 0 0 20 0 1 0 16399900 69533696 10720 33554432000 4194304 7402444 140735500160224 140735500154856 4709606 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 16976 10720 773 784 0 9990 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67904
[startup+1.50031 s]
/proc/loadavg: 2.03 2.04 2.04 4/188 6568
/proc/meminfo: memFree=31573252/32770624 swapFree=6452/369812
[pid=6567] ppid=6564 vsize=68784 CPUtime=1.49 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 11115 0 0 0 147 2 0 0 20 0 1 0 16399900 70434816 10918 33554432000 4194304 7402444 140735500160224 140735500154856 4309158 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17196 10918 777 784 0 10210 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68784
[startup+3.10032 s]
/proc/loadavg: 2.03 2.04 2.04 3/188 6568
/proc/meminfo: memFree=31572880/32770624 swapFree=6452/369812
[pid=6567] ppid=6564 vsize=68916 CPUtime=3.09 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 15658 0 0 0 307 2 0 0 20 0 1 0 16399900 70569984 10970 33554432000 4194304 7402444 140735500160224 140735500154696 4308208 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17229 10970 781 784 0 10243 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68916
[startup+6.3003 s]
/proc/loadavg: 2.03 2.04 2.04 3/188 6568
/proc/meminfo: memFree=31572108/32770624 swapFree=6452/369812
[pid=6567] ppid=6564 vsize=69048 CPUtime=6.28 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 20313 0 0 0 626 2 0 0 20 0 1 0 16399900 70705152 11014 33554432000 4194304 7402444 140735500160224 140735500154584 5695885 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17262 11014 781 784 0 10276 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 69048
[startup+12.7003 s]
/proc/loadavg: 2.03 2.03 2.04 3/188 6568
/proc/meminfo: memFree=31572024/32770624 swapFree=6452/369828
[pid=6567] ppid=6564 vsize=69180 CPUtime=12.68 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 25028 0 0 0 1266 2 0 0 20 0 1 0 16399900 70840320 11061 33554432000 4194304 7402444 140735500160224 140735500154696 5698166 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17295 11061 781 784 0 10309 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 69180
[startup+25.5004 s]
/proc/loadavg: 2.02 2.03 2.04 3/188 6568
/proc/meminfo: memFree=31571776/32770624 swapFree=6452/369840
[pid=6567] ppid=6564 vsize=69312 CPUtime=25.48 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 34470 0 0 0 2546 2 0 0 20 0 1 0 16399900 70975488 11086 33554432000 4194304 7402444 140735500160224 140735500154696 5695885 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17328 11086 781 784 0 10342 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 69312
[startup+51.1004 s]
/proc/loadavg: 2.01 2.03 2.04 3/189 6592
/proc/meminfo: memFree=31569460/32770624 swapFree=6452/369860
[pid=6567] ppid=6564 vsize=69312 CPUtime=51.05 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 35396 0 0 0 5103 2 0 0 20 0 1 0 16399900 70975488 11097 33554432000 4194304 7402444 140735500160224 140735500154696 4747291 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17328 11097 781 784 0 10342 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 69312
[startup+102.3 s]
/proc/loadavg: 2.11 2.06 2.05 3/189 6593
/proc/meminfo: memFree=31570356/32770624 swapFree=6452/369900
[pid=6567] ppid=6564 vsize=69444 CPUtime=102.24 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 35797 0 0 0 10222 2 0 0 20 0 1 0 16399900 71110656 11106 33554432000 4194304 7402444 140735500160224 140735500154680 5871061 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11106 781 784 0 10375 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 69444
[startup+162.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/189 6594
/proc/meminfo: memFree=31570312/32770624 swapFree=6452/369936
[pid=6567] ppid=6564 vsize=69444 CPUtime=162.22 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 36188 0 0 0 16219 3 0 0 20 0 1 0 16399900 71110656 11116 33554432000 4194304 7402444 140735500160224 140735500154680 5764703 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11116 781 784 0 10375 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 69444
[startup+222.306 s]
/proc/loadavg: 2.03 2.05 2.05 3/189 6595
/proc/meminfo: memFree=31570216/32770624 swapFree=6452/369964
[pid=6567] ppid=6564 vsize=69444 CPUtime=222.2 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 36596 0 0 0 22217 3 0 0 20 0 1 0 16399900 71110656 11117 33554432000 4194304 7402444 140735500160224 140735500154680 5754011 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11117 781 784 0 10375 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 69444
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 6596
/proc/meminfo: memFree=31570260/32770624 swapFree=6452/369992
[pid=6567] ppid=6564 vsize=69444 CPUtime=282.18 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 36994 0 0 0 28215 3 0 0 20 0 1 0 16399900 71110656 11122 33554432000 4194304 7402444 140735500160224 140735500154680 5754011 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11122 781 784 0 10375 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 69444
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 6597
/proc/meminfo: memFree=31570164/32770624 swapFree=6452/370024
[pid=6567] ppid=6564 vsize=69444 CPUtime=342.15 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 37395 0 0 0 34212 3 0 0 20 0 1 0 16399900 71110656 11122 33554432000 4194304 7402444 140735500160224 140735500154680 5764624 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11122 781 784 0 10375 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 69444
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6598
/proc/meminfo: memFree=31570292/32770624 swapFree=6452/370052
[pid=6567] ppid=6564 vsize=69444 CPUtime=402.13 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 37800 0 0 0 40210 3 0 0 20 0 1 0 16399900 71110656 11123 33554432000 4194304 7402444 140735500160224 140735500154680 5871317 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11123 781 784 0 10375 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 69444
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6599
/proc/meminfo: memFree=31570296/32770624 swapFree=6452/370088
[pid=6567] ppid=6564 vsize=69444 CPUtime=462.11 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 38200 0 0 0 46208 3 0 0 20 0 1 0 16399900 71110656 11127 33554432000 4194304 7402444 140735500160224 140735500154680 5695885 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11127 781 784 0 10375 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 69444
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6600
/proc/meminfo: memFree=31570208/32770624 swapFree=6452/370120
[pid=6567] ppid=6564 vsize=69444 CPUtime=522.09 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 38601 0 0 0 52206 3 0 0 20 0 1 0 16399900 71110656 11127 33554432000 4194304 7402444 140735500160224 140735500154680 5698170 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11127 781 784 0 10375 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 69444
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6608
/proc/meminfo: memFree=31569788/32770624 swapFree=6452/370144
[pid=6567] ppid=6564 vsize=69444 CPUtime=582.07 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 39004 0 0 0 58204 3 0 0 20 0 1 0 16399900 71110656 11127 33554432000 4194304 7402444 140735500160224 140735500154680 5871085 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11127 781 784 0 10375 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 69444
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 6633
/proc/meminfo: memFree=31571540/32770624 swapFree=6452/370668
[pid=6567] ppid=6564 vsize=69444 CPUtime=1541.72 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 45504 0 0 0 154169 3 0 0 20 0 1 0 16399900 71110656 11135 33554432000 4194304 7402444 140735500160224 140735500154680 5695885 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11135 781 784 0 10375 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 69444
[startup+1602.3 s]
/proc/loadavg: 2.23 2.07 2.06 3/187 6634
/proc/meminfo: memFree=31571460/32770624 swapFree=6452/370700
[pid=6567] ppid=6564 vsize=69444 CPUtime=1601.7 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 45892 0 0 0 160167 3 0 0 20 0 1 0 16399900 71110656 11135 33554432000 4194304 7402444 140735500160224 140735500154680 5754000 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11135 781 784 0 10375 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 69444
[startup+1662.3 s]
/proc/loadavg: 2.09 2.06 2.06 3/187 6636
/proc/meminfo: memFree=31571376/32770624 swapFree=6452/370740
[pid=6567] ppid=6564 vsize=69444 CPUtime=1661.68 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 46286 0 0 0 166165 3 0 0 20 0 1 0 16399900 71110656 11135 33554432000 4194304 7402444 140735500160224 140735500154680 5696208 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11135 781 784 0 10375 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 69444
[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/187 6637
/proc/meminfo: memFree=31570796/32770624 swapFree=6452/370772
[pid=6567] ppid=6564 vsize=69444 CPUtime=1721.66 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 46660 0 0 0 172163 3 0 0 20 0 1 0 16399900 71110656 11135 33554432000 4194304 7402444 140735500160224 140735500154680 5871308 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11135 781 784 0 10375 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 69444
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 6645
/proc/meminfo: memFree=31569900/32770624 swapFree=6452/370808
[pid=6567] ppid=6564 vsize=69444 CPUtime=1781.63 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 47066 0 0 0 178160 3 0 0 20 0 1 0 16399900 71110656 11135 33554432000 4194304 7402444 140735500160224 140735500154680 5871245 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11135 781 784 0 10375 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 69444
[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 6646
/proc/meminfo: memFree=31571164/32770624 swapFree=6452/370836
[pid=6567] ppid=6564 vsize=69444 CPUtime=1841.62 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 47478 0 0 0 184158 4 0 0 20 0 1 0 16399900 71110656 11135 33554432000 4194304 7402444 140735500160224 140735500154680 5695885 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11135 781 784 0 10375 0
Current children cumulated CPU time (s) 1841.62
Current children cumulated vsize (KiB) 69444
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6647
/proc/meminfo: memFree=31571112/32770624 swapFree=6452/370872
[pid=6567] ppid=6564 vsize=69444 CPUtime=1901.6 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 47885 0 0 0 190156 4 0 0 20 0 1 0 16399900 71110656 11135 33554432000 4194304 7402444 140735500160224 140735500154680 4709371 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11135 781 784 0 10375 0
Current children cumulated CPU time (s) 1901.6
Current children cumulated vsize (KiB) 69444
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6648
/proc/meminfo: memFree=31570868/32770624 swapFree=6452/370904
[pid=6567] ppid=6564 vsize=69444 CPUtime=1961.58 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 48297 0 0 0 196154 4 0 0 20 0 1 0 16399900 71110656 11135 33554432000 4194304 7402444 140735500160224 140735500154680 5696137 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11135 781 784 0 10375 0
Current children cumulated CPU time (s) 1961.58
Current children cumulated vsize (KiB) 69444
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6649
/proc/meminfo: memFree=31570936/32770624 swapFree=6452/370932
[pid=6567] ppid=6564 vsize=69444 CPUtime=2021.56 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 48710 0 0 0 202152 4 0 0 20 0 1 0 16399900 71110656 11136 33554432000 4194304 7402444 140735500160224 140735500154680 5695885 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11136 781 784 0 10375 0
Current children cumulated CPU time (s) 2021.56
Current children cumulated vsize (KiB) 69444
[startup+2082.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/187 6650
/proc/meminfo: memFree=31570772/32770624 swapFree=6452/370964
[pid=6567] ppid=6564 vsize=69444 CPUtime=2081.54 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 49119 0 0 0 208150 4 0 0 20 0 1 0 16399900 71110656 11136 33554432000 4194304 7402444 140735500160224 140735500154680 5698138 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11136 781 784 0 10375 0
Current children cumulated CPU time (s) 2081.54
Current children cumulated vsize (KiB) 69444
[startup+2142.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/187 6651
/proc/meminfo: memFree=31570908/32770624 swapFree=6452/370992
[pid=6567] ppid=6564 vsize=69444 CPUtime=2141.52 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 49523 0 0 0 214148 4 0 0 20 0 1 0 16399900 71110656 11136 33554432000 4194304 7402444 140735500160224 140735500154680 5754048 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11136 781 784 0 10375 0
Current children cumulated CPU time (s) 2141.52
Current children cumulated vsize (KiB) 69444
[startup+2202.31 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 6652
/proc/meminfo: memFree=31571032/32770624 swapFree=6452/371020
[pid=6567] ppid=6564 vsize=69444 CPUtime=2201.5 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 49943 0 0 0 220146 4 0 0 20 0 1 0 16399900 71110656 11136 33554432000 4194304 7402444 140735500160224 140735500154680 5696253 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11136 781 784 0 10375 0
Current children cumulated CPU time (s) 2201.5
Current children cumulated vsize (KiB) 69444
[startup+2262.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/187 6653
/proc/meminfo: memFree=31570824/32770624 swapFree=6452/371060
[pid=6567] ppid=6564 vsize=69444 CPUtime=2261.47 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 50353 0 0 0 226143 4 0 0 20 0 1 0 16399900 71110656 11137 33554432000 4194304 7402444 140735500160224 140735500154680 5695885 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11137 781 784 0 10375 0
Current children cumulated CPU time (s) 2261.47
Current children cumulated vsize (KiB) 69444
[startup+2322.3 s]
/proc/loadavg: 1.97 2.03 2.04 4/187 6715
/proc/meminfo: memFree=31565236/32770624 swapFree=6452/371128
[pid=6567] ppid=6564 vsize=69444 CPUtime=2321.45 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 50764 0 0 0 232141 4 0 0 20 0 1 0 16399900 71110656 11137 33554432000 4194304 7402444 140735500160224 140735500154680 4709595 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11137 781 784 0 10375 0
Current children cumulated CPU time (s) 2321.45
Current children cumulated vsize (KiB) 69444
[startup+2382.3 s]
/proc/loadavg: 1.99 2.02 2.04 3/188 6724
/proc/meminfo: memFree=31564064/32770624 swapFree=6452/371180
[pid=6567] ppid=6564 vsize=69444 CPUtime=2381.43 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 51172 0 0 0 238139 4 0 0 20 0 1 0 16399900 71110656 11137 33554432000 4194304 7402444 140735500160224 140735500154680 4709390 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11137 781 784 0 10375 0
Current children cumulated CPU time (s) 2381.43
Current children cumulated vsize (KiB) 69444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.9 s]
/proc/loadavg: 1.99 2.02 2.04 3/188 6724
/proc/meminfo: memFree=31563816/32770624 swapFree=6452/371188
[pid=6567] ppid=6564 vsize=69444 CPUtime=2400.02 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 51578 0 0 0 239998 4 0 0 20 0 1 0 16399900 71110656 11137 33554432000 4194304 7402444 140735500160224 140735500154680 5695885 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11137 781 784 0 10375 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 69444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6567 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.9 s]
/proc/loadavg: 1.99 2.02 2.04 3/188 6724
/proc/meminfo: memFree=31563816/32770624 swapFree=6452/371188
[pid=6567] ppid=6564 vsize=69444 CPUtime=2400.02 cores=0,2,4,6
/proc/6567/stat : 6567 (MistralXCSP) R 6564 6567 3575 0 -1 4202496 51578 0 0 0 239998 4 0 0 20 0 1 0 16399900 71110656 11137 33554432000 4194304 7402444 140735500160224 140735500154680 5695885 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37969920 140735500162216 140735500162366 140735500162366 140735500165065 0
/proc/6567/statm: 17361 11137 781 784 0 10375 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 69444
Child status: 0
Real time (s): 2400.9
CPU time (s): 2400.03
CPU user time (s): 2399.99
CPU system time (s): 0.044983
CPU usage (%): 99.9638
Max. virtual memory (cumulated for all children) (KiB): 69444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.99
system time used= 0.044983
maximum resident set size= 44572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51614
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= 27
involuntary context switches= 121910
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39792 second user time and 9.36289 second system time
The end