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-4239780-1500633458/watcher-4239780-1500633458 -o /tmp/evaluation-result-4239780-1500633458/solver-4239780-1500633458 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500623787-5991 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 706744611 HOME/instance-4239780-1500633458.xml
pid=7111
running on 4 cores: 1,3,5,7
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.00 2.01 2.05 2/186 7114
/proc/meminfo: memFree=31498932/32770624 swapFree=6372/271668
[pid=7114] ppid=7111 vsize=29204 CPUtime=0 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 1070 0 0 0 0 0 0 0 20 0 1 0 18026110 29904896 868 33554432000 4194304 7402444 140723887569936 140723887566984 140450584656869 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 7301 868 618 784 0 315 0
[startup+0.100118 s]
/proc/loadavg: 2.00 2.01 2.05 2/186 7114
/proc/meminfo: memFree=31498932/32770624 swapFree=6372/271668
[pid=7114] ppid=7111 vsize=29460 CPUtime=0.09 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 1227 0 0 0 9 0 0 0 20 0 1 0 18026110 30167040 1000 33554432000 4194304 7402444 140723887569936 140723887560632 6048622 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 7365 1000 673 784 0 379 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29460
[startup+0.200248 s]
/proc/loadavg: 2.00 2.01 2.05 2/186 7114
/proc/meminfo: memFree=31498932/32770624 swapFree=6372/271668
[pid=7114] ppid=7111 vsize=29584 CPUtime=0.19 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 1254 0 0 0 19 0 0 0 20 0 1 0 18026110 30294016 1085 33554432000 4194304 7402444 140723887569936 140723887560632 6048065 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 7396 1085 719 784 0 410 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29584
[startup+0.300199 s]
/proc/loadavg: 2.00 2.01 2.05 2/186 7114
/proc/meminfo: memFree=31498932/32770624 swapFree=6372/271668
[pid=7114] ppid=7111 vsize=30144 CPUtime=0.29 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 1399 0 0 0 29 0 0 0 20 0 1 0 18026110 30867456 1187 33554432000 4194304 7402444 140723887569936 140723887560632 6047432 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 7536 1187 724 784 0 550 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30144
[startup+0.700172 s]
/proc/loadavg: 2.00 2.01 2.05 2/186 7114
/proc/meminfo: memFree=31498932/32770624 swapFree=6372/271668
[pid=7114] ppid=7111 vsize=30144 CPUtime=0.69 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 1428 0 0 0 69 0 0 0 20 0 1 0 18026110 30867456 1253 33554432000 4194304 7402444 140723887569936 140723887560056 5905477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 7536 1253 726 784 0 550 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30144
[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7115
/proc/meminfo: memFree=31473436/32770624 swapFree=6372/271684
[pid=7114] ppid=7111 vsize=76008 CPUtime=1.49 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 12988 0 0 0 148 1 0 0 20 0 1 0 18026110 77832192 12702 33554432000 4194304 7402444 140723887569936 140723887561816 4731639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 19002 12702 735 784 0 12016 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76008
[startup+3.10025 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7115
/proc/meminfo: memFree=31444292/32770624 swapFree=6372/271684
[pid=7114] ppid=7111 vsize=84700 CPUtime=3.09 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 23113 0 0 0 307 2 0 0 20 0 1 0 18026110 86732800 14912 33554432000 4194304 7402444 140723887569936 140723887565112 4238492 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21175 14912 768 784 0 14189 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84700
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7115
/proc/meminfo: memFree=31439472/32770624 swapFree=6372/271692
[pid=7114] ppid=7111 vsize=87212 CPUtime=6.29 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 33104 0 0 0 626 3 0 0 20 0 1 0 18026110 89305088 15557 33554432000 4194304 7402444 140723887569936 140723887564520 4301209 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21803 15557 776 784 0 14817 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87212
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7115
/proc/meminfo: memFree=31439100/32770624 swapFree=6372/271692
[pid=7114] ppid=7111 vsize=87344 CPUtime=12.68 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 43467 0 0 0 1265 3 0 0 20 0 1 0 18026110 89440256 15588 33554432000 4194304 7402444 140723887569936 140723887564536 4238492 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21836 15588 776 784 0 14850 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 87344
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7115
/proc/meminfo: memFree=31438784/32770624 swapFree=6372/271708
[pid=7114] ppid=7111 vsize=87344 CPUtime=25.47 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 62526 0 0 0 2543 4 0 0 20 0 1 0 18026110 89440256 15598 33554432000 4194304 7402444 140723887569936 140723887564536 4238492 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21836 15598 776 784 0 14850 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 87344
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7115
/proc/meminfo: memFree=31438804/32770624 swapFree=6372/271724
[pid=7114] ppid=7111 vsize=87344 CPUtime=51.04 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 64038 0 0 0 5100 4 0 0 20 0 1 0 18026110 89440256 15602 33554432000 4194304 7402444 140723887569936 140723887564536 5818609 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21836 15602 776 784 0 14850 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 87344
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7177
/proc/meminfo: memFree=31434604/32770624 swapFree=6372/271800
[pid=7114] ppid=7111 vsize=87344 CPUtime=102.22 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 64600 0 0 0 10218 4 0 0 20 0 1 0 18026110 89440256 15603 33554432000 4194304 7402444 140723887569936 140723887564536 5327160 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21836 15603 776 784 0 14850 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 87344
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7185
/proc/meminfo: memFree=31433212/32770624 swapFree=6372/271864
[pid=7114] ppid=7111 vsize=87476 CPUtime=162.17 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 65184 0 0 0 16213 4 0 0 20 0 1 0 18026110 89575424 15619 33554432000 4194304 7402444 140723887569936 140723887564536 5327213 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21869 15619 776 784 0 14883 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 87476
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7186
/proc/meminfo: memFree=31428536/32770624 swapFree=6372/271916
[pid=7114] ppid=7111 vsize=87476 CPUtime=222.14 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 65773 0 0 0 22210 4 0 0 20 0 1 0 18026110 89575424 15636 33554432000 4194304 7402444 140723887569936 140723887564536 5871010 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21869 15636 776 784 0 14883 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 87476
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7187
/proc/meminfo: memFree=31429096/32770624 swapFree=6372/271976
[pid=7114] ppid=7111 vsize=87476 CPUtime=282.1 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 66362 0 0 0 28206 4 0 0 20 0 1 0 18026110 89575424 15642 33554432000 4194304 7402444 140723887569936 140723887564536 4301190 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21869 15642 776 784 0 14883 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 87476
[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 7188
/proc/meminfo: memFree=31428764/32770624 swapFree=6372/272008
[pid=7114] ppid=7111 vsize=87608 CPUtime=342.07 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 66993 0 0 0 34203 4 0 0 20 0 1 0 18026110 89710592 15663 33554432000 4194304 7402444 140723887569936 140723887564536 5750512 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21902 15663 776 784 0 14916 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 87608
[startup+402.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 7189
/proc/meminfo: memFree=31428392/32770624 swapFree=6372/272044
[pid=7114] ppid=7111 vsize=87740 CPUtime=402.04 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 67632 0 0 0 40199 5 0 0 20 0 1 0 18026110 89845760 15675 33554432000 4194304 7402444 140723887569936 140723887564536 5750450 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21935 15675 776 784 0 14949 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 87740
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 7190
/proc/meminfo: memFree=31428640/32770624 swapFree=6372/272068
[pid=7114] ppid=7111 vsize=87740 CPUtime=462.01 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 68260 0 0 0 46196 5 0 0 20 0 1 0 18026110 89845760 15683 33554432000 4194304 7402444 140723887569936 140723887564536 5871010 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21935 15683 776 784 0 14949 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 87740
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7191
/proc/meminfo: memFree=31428640/32770624 swapFree=6372/272104
[pid=7114] ppid=7111 vsize=87740 CPUtime=521.98 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 68879 0 0 0 52193 5 0 0 20 0 1 0 18026110 89845760 15685 33554432000 4194304 7402444 140723887569936 140723887564536 4238492 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21935 15685 776 784 0 14949 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 87740
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7192
/proc/meminfo: memFree=31428564/32770624 swapFree=6372/272128
[pid=7114] ppid=7111 vsize=87740 CPUtime=581.95 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 69513 0 0 0 58190 5 0 0 20 0 1 0 18026110 89845760 15685 33554432000 4194304 7402444 140723887569936 140723887564536 5327242 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21935 15685 776 784 0 14949 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 87740
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7248
/proc/meminfo: memFree=31426616/32770624 swapFree=6372/272644
[pid=7114] ppid=7111 vsize=87872 CPUtime=1481.45 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 77883 0 0 0 148140 5 0 0 20 0 1 0 18026110 89980928 15735 33554432000 4194304 7402444 140723887569936 140723887564520 5327213 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21968 15735 776 784 0 14982 0
Current children cumulated CPU time (s) 1481.45
Current children cumulated vsize (KiB) 87872
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7249
/proc/meminfo: memFree=31426864/32770624 swapFree=6372/272680
[pid=7114] ppid=7111 vsize=87872 CPUtime=1541.43 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 78262 0 0 0 154138 5 0 0 20 0 1 0 18026110 89980928 15735 33554432000 4194304 7402444 140723887569936 140723887564520 5871040 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21968 15735 776 784 0 14982 0
Current children cumulated CPU time (s) 1541.43
Current children cumulated vsize (KiB) 87872
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7250
/proc/meminfo: memFree=31426452/32770624 swapFree=6372/272712
[pid=7114] ppid=7111 vsize=87872 CPUtime=1601.39 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 78661 0 0 0 160134 5 0 0 20 0 1 0 18026110 89980928 15738 33554432000 4194304 7402444 140723887569936 140723887564520 4747284 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21968 15738 776 784 0 14982 0
Current children cumulated CPU time (s) 1601.39
Current children cumulated vsize (KiB) 87872
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7251
/proc/meminfo: memFree=31426344/32770624 swapFree=6372/272744
[pid=7114] ppid=7111 vsize=87872 CPUtime=1661.36 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 79052 0 0 0 166131 5 0 0 20 0 1 0 18026110 89980928 15740 33554432000 4194304 7402444 140723887569936 140723887564520 4238492 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 21968 15740 776 784 0 14982 0
Current children cumulated CPU time (s) 1661.36
Current children cumulated vsize (KiB) 87872
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7252
/proc/meminfo: memFree=31426732/32770624 swapFree=6372/272776
[pid=7114] ppid=7111 vsize=88004 CPUtime=1721.32 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 79455 0 0 0 172127 5 0 0 20 0 1 0 18026110 90116096 15741 33554432000 4194304 7402444 140723887569936 140723887564536 5750519 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 22001 15741 776 784 0 15015 0
Current children cumulated CPU time (s) 1721.32
Current children cumulated vsize (KiB) 88004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7253
/proc/meminfo: memFree=31426112/32770624 swapFree=6372/272804
[pid=7114] ppid=7111 vsize=88004 CPUtime=1781.29 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 79850 0 0 0 178124 5 0 0 20 0 1 0 18026110 90116096 15751 33554432000 4194304 7402444 140723887569936 140723887564536 4238492 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 22001 15751 776 784 0 15015 0
Current children cumulated CPU time (s) 1781.29
Current children cumulated vsize (KiB) 88004
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7254
/proc/meminfo: memFree=31426516/32770624 swapFree=6372/272840
[pid=7114] ppid=7111 vsize=88004 CPUtime=1841.26 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 80251 0 0 0 184121 5 0 0 20 0 1 0 18026110 90116096 15751 33554432000 4194304 7402444 140723887569936 140723887564536 4238508 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 22001 15751 776 784 0 15015 0
Current children cumulated CPU time (s) 1841.26
Current children cumulated vsize (KiB) 88004
[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 7255
/proc/meminfo: memFree=31426640/32770624 swapFree=6372/272880
[pid=7114] ppid=7111 vsize=88004 CPUtime=1901.23 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 80646 0 0 0 190118 5 0 0 20 0 1 0 18026110 90116096 15751 33554432000 4194304 7402444 140723887569936 140723887564536 5327193 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 22001 15751 776 784 0 15015 0
Current children cumulated CPU time (s) 1901.23
Current children cumulated vsize (KiB) 88004
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 7263
/proc/meminfo: memFree=31426392/32770624 swapFree=6372/272924
[pid=7114] ppid=7111 vsize=88004 CPUtime=1961.19 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 81041 0 0 0 196114 5 0 0 20 0 1 0 18026110 90116096 15751 33554432000 4194304 7402444 140723887569936 140723887564536 4237728 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 22001 15751 776 784 0 15015 0
Current children cumulated CPU time (s) 1961.19
Current children cumulated vsize (KiB) 88004
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7264
/proc/meminfo: memFree=31426792/32770624 swapFree=6372/272956
[pid=7114] ppid=7111 vsize=88004 CPUtime=2021.16 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 81448 0 0 0 202111 5 0 0 20 0 1 0 18026110 90116096 15754 33554432000 4194304 7402444 140723887569936 140723887564536 4249056 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 22001 15754 776 784 0 15015 0
Current children cumulated CPU time (s) 2021.16
Current children cumulated vsize (KiB) 88004
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7265
/proc/meminfo: memFree=31426792/32770624 swapFree=6372/272984
[pid=7114] ppid=7111 vsize=88004 CPUtime=2081.15 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 81845 0 0 0 208110 5 0 0 20 0 1 0 18026110 90116096 15754 33554432000 4194304 7402444 140723887569936 140723887564536 5750706 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 22001 15754 776 784 0 15015 0
Current children cumulated CPU time (s) 2081.15
Current children cumulated vsize (KiB) 88004
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7266
/proc/meminfo: memFree=31426544/32770624 swapFree=6372/273012
[pid=7114] ppid=7111 vsize=88004 CPUtime=2141.12 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 82242 0 0 0 214107 5 0 0 20 0 1 0 18026110 90116096 15754 33554432000 4194304 7402444 140723887569936 140723887564536 4238492 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 22001 15754 776 784 0 15015 0
Current children cumulated CPU time (s) 2141.12
Current children cumulated vsize (KiB) 88004
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7267
/proc/meminfo: memFree=31426776/32770624 swapFree=6372/273048
[pid=7114] ppid=7111 vsize=88004 CPUtime=2201.1 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 82655 0 0 0 220105 5 0 0 20 0 1 0 18026110 90116096 15754 33554432000 4194304 7402444 140723887569936 140723887564536 5750464 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 22001 15754 776 784 0 15015 0
Current children cumulated CPU time (s) 2201.1
Current children cumulated vsize (KiB) 88004
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7268
/proc/meminfo: memFree=31427024/32770624 swapFree=6372/273080
[pid=7114] ppid=7111 vsize=88004 CPUtime=2261.06 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 83061 0 0 0 226101 5 0 0 20 0 1 0 18026110 90116096 15763 33554432000 4194304 7402444 140723887569936 140723887564536 4238508 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 22001 15763 776 784 0 15015 0
Current children cumulated CPU time (s) 2261.06
Current children cumulated vsize (KiB) 88004
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7269
/proc/meminfo: memFree=31427040/32770624 swapFree=6372/273124
[pid=7114] ppid=7111 vsize=88004 CPUtime=2321.03 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 83476 0 0 0 232097 6 0 0 20 0 1 0 18026110 90116096 15763 33554432000 4194304 7402444 140723887569936 140723887564536 4301416 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 22001 15763 776 784 0 15015 0
Current children cumulated CPU time (s) 2321.03
Current children cumulated vsize (KiB) 88004
[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 7270
/proc/meminfo: memFree=31427052/32770624 swapFree=6372/273152
[pid=7114] ppid=7111 vsize=88004 CPUtime=2381 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 83890 0 0 0 238094 6 0 0 20 0 1 0 18026110 90116096 15768 33554432000 4194304 7402444 140723887569936 140723887564536 4747362 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 22001 15768 776 784 0 15015 0
Current children cumulated CPU time (s) 2381
Current children cumulated vsize (KiB) 88004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.41 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 7270
/proc/meminfo: memFree=31427176/32770624 swapFree=6372/273160
[pid=7114] ppid=7111 vsize=88004 CPUtime=2400.1 cores=1,3,5,7
/proc/7114/stat : 7114 (MistralXCSP) R 7111 7114 5959 0 -1 4202496 84301 0 0 0 240004 6 0 0 20 0 1 0 18026110 90116096 15768 33554432000 4194304 7402444 140723887569936 140723887564536 5327204 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 19816448 140723887576233 140723887576382 140723887576382 140723887579081 0
/proc/7114/statm: 22001 15768 776 784 0 15015 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 88004
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 7114 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2401.41
CPU time (s): 2400.1
CPU user time (s): 2400.04
CPU system time (s): 0.061966
CPU usage (%): 99.9456
Max. virtual memory (cumulated for all children) (KiB): 88004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.061966
maximum resident set size= 63096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84339
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= 30
involuntary context switches= 120783
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.14088 second user time and 10.3454 second system time
The end