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-4261736-1502403384/watcher-4261736-1502403384 -o /tmp/evaluation-result-4261736-1502403384/solver-4261736-1502403384 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31365 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1240983323 HOME/instance-4261736-1502403384.xml
pid=11667
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.24 2.06 2.06 2/189 11670
/proc/meminfo: memFree=31112016/32770624 swapFree=0/457616
[pid=11670] ppid=11667 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/11670/stat : 11670 (runsolver) D 11667 11670 9153 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 82249568 24240128 106 18446744073709551615 4194304 4338465 140732828916256 140732828913896 140177814913751 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 14159872 140732828917898 140732828918345 140732828918345 140732828921802 0
/proc/11670/statm: 5918 106 53 36 0 2156 0
[startup+0.100105 s]
/proc/loadavg: 2.24 2.06 2.06 2/189 11670
/proc/meminfo: memFree=31112016/32770624 swapFree=0/457616
[pid=11670] ppid=11667 vsize=30568 CPUtime=0.03 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 1404 0 0 0 3 0 0 0 20 0 1 0 82249568 31301632 1222 18446744073709551615 4194304 7396336 140723199024720 140723199021720 5881244 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 7642 1222 610 782 0 658 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 30568
[startup+0.200225 s]
/proc/loadavg: 2.24 2.06 2.06 2/189 11670
/proc/meminfo: memFree=31112016/32770624 swapFree=0/457616
[pid=11670] ppid=11667 vsize=31028 CPUtime=0.13 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 1491 0 0 0 13 0 0 0 20 0 1 0 82249568 31772672 1288 18446744073709551615 4194304 7396336 140723199024720 140723199021720 5917304 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 7757 1288 614 782 0 773 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 31028
[startup+0.300199 s]
/proc/loadavg: 2.24 2.06 2.06 2/189 11670
/proc/meminfo: memFree=31112016/32770624 swapFree=0/457616
[pid=11670] ppid=11667 vsize=31352 CPUtime=0.23 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 1604 0 0 0 23 0 0 0 20 0 1 0 82249568 32104448 1373 18446744073709551615 4194304 7396336 140723199024720 140723199017960 6047394 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 7838 1373 614 782 0 854 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 31352
[startup+0.700169 s]
/proc/loadavg: 2.24 2.06 2.06 2/189 11670
/proc/meminfo: memFree=31112016/32770624 swapFree=0/457616
[pid=11670] ppid=11667 vsize=32528 CPUtime=0.63 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 2003 0 0 0 63 0 0 0 20 0 1 0 82249568 33308672 1648 18446744073709551615 4194304 7396336 140723199024720 140723199017960 5887719 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 8132 1648 614 782 0 1148 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 32528
[startup+1.50017 s]
/proc/loadavg: 2.24 2.06 2.06 3/190 11671
/proc/meminfo: memFree=31107124/32770624 swapFree=0/457612
[pid=11670] ppid=11667 vsize=34880 CPUtime=1.42 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 2799 0 0 0 142 0 0 0 20 0 1 0 82249568 35717120 2266 18446744073709551615 4194304 7396336 140723199024720 140723199017960 5882103 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 8720 2266 614 782 0 1736 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 34880
[startup+3.10021 s]
/proc/loadavg: 2.24 2.06 2.06 3/190 11671
/proc/meminfo: memFree=31103528/32770624 swapFree=0/457612
[pid=11670] ppid=11667 vsize=39716 CPUtime=3.02 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 4462 0 0 0 301 1 0 0 20 0 1 0 82249568 40669184 3503 18446744073709551615 4194304 7396336 140723199024720 140723199017960 139628952273095 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 9929 3503 614 782 0 2945 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 39716
[startup+6.30022 s]
/proc/loadavg: 2.22 2.06 2.06 3/190 11671
/proc/meminfo: memFree=31092208/32770624 swapFree=0/457604
[pid=11670] ppid=11667 vsize=55268 CPUtime=6.22 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 7850 0 0 0 618 4 0 0 20 0 1 0 82249568 56594432 6154 18446744073709551615 4194304 7396336 140723199024720 140723199017960 5924159 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 13817 6154 614 782 0 6833 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 55268
[startup+12.7003 s]
/proc/loadavg: 2.21 2.06 2.06 3/188 11671
/proc/meminfo: memFree=31072612/32770624 swapFree=0/457604
[pid=11670] ppid=11667 vsize=80360 CPUtime=12.62 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 12055 0 0 0 1257 5 0 0 20 0 1 0 82249568 82288640 10894 18446744073709551615 4194304 7396336 140723199024720 140723199017960 4221280 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 20090 10894 614 782 0 13106 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 80360
[startup+25.5003 s]
/proc/loadavg: 2.16 2.06 2.06 3/187 11671
/proc/meminfo: memFree=30999948/32770624 swapFree=0/457604
[pid=11670] ppid=11667 vsize=157536 CPUtime=25.42 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 31490 0 0 0 2533 9 0 0 20 0 1 0 82249568 161316864 30795 18446744073709551615 4194304 7396336 140723199024720 140723199015272 6164324 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 39384 30795 725 782 0 32400 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 157536
[startup+51.1003 s]
/proc/loadavg: 2.11 2.05 2.06 3/186 11673
/proc/meminfo: memFree=30862824/32770624 swapFree=0/457604
[pid=11670] ppid=11667 vsize=289960 CPUtime=51.01 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 72497 0 0 0 5088 13 0 0 20 0 1 0 82249568 296919040 63944 18446744073709551615 4194304 7396336 140723199024720 140723199015272 6009409 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 72490 63944 725 782 0 65506 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 289960
[startup+102.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/186 11674
/proc/meminfo: memFree=30620704/32770624 swapFree=0/457612
[pid=11670] ppid=11667 vsize=530276 CPUtime=102.21 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 160608 0 0 0 10198 23 0 0 20 0 1 0 82249568 543002624 124028 18446744073709551615 4194304 7396336 140723199024720 140723199015272 5940879 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 132569 124028 725 782 0 125585 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 530276
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 11676
/proc/meminfo: memFree=30468620/32770624 swapFree=0/457624
[pid=11670] ppid=11667 vsize=682500 CPUtime=162.22 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 197123 0 0 0 16194 28 0 0 20 0 1 0 82249568 698880000 162039 18446744073709551615 4194304 7396336 140723199024720 140723199015272 139628956045029 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 170625 162039 725 782 0 163641 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 682500
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 11678
/proc/meminfo: memFree=30349244/32770624 swapFree=0/457640
[pid=11670] ppid=11667 vsize=804300 CPUtime=222.22 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 226901 0 0 0 22190 32 0 0 20 0 1 0 82249568 823603200 192526 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4566032 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 201075 192526 725 782 0 194091 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 804300
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 11680
/proc/meminfo: memFree=30247656/32770624 swapFree=0/457644
[pid=11670] ppid=11667 vsize=903316 CPUtime=282.22 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 254957 0 0 0 28186 36 0 0 20 0 1 0 82249568 924995584 217302 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4566039 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 225829 217302 725 782 0 218845 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 903316
[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 11683
/proc/meminfo: memFree=30082980/32770624 swapFree=0/457660
[pid=11670] ppid=11667 vsize=1069712 CPUtime=342.21 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 276907 0 0 0 34181 40 0 0 20 0 1 0 82249568 1095385088 258919 18446744073709551615 4194304 7396336 140723199024720 140723199015272 139628952641352 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 267428 258919 725 782 0 260444 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1069712
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 11686
/proc/meminfo: memFree=29724548/32770624 swapFree=0/457672
[pid=11670] ppid=11667 vsize=1425620 CPUtime=402.21 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 407714 0 0 0 40169 52 0 0 20 0 1 0 82249568 1459834880 347864 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4566032 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 356405 347864 725 782 0 349421 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1425620
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/189 11704
/proc/meminfo: memFree=29718748/32770624 swapFree=0/457680
[pid=11670] ppid=11667 vsize=1425620 CPUtime=462.21 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 448306 0 0 0 46166 55 0 0 20 0 1 0 82249568 1459834880 347864 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4565872 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 356405 347864 725 782 0 349421 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1425620
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 11706
/proc/meminfo: memFree=29714048/32770624 swapFree=0/457672
[pid=11670] ppid=11667 vsize=1436344 CPUtime=522.21 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 454701 0 0 0 52165 56 0 0 20 0 1 0 82249568 1470816256 350493 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4566036 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 359086 350493 725 782 0 352102 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1436344
[startup+582.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 11708
/proc/meminfo: memFree=29649220/32770624 swapFree=0/457692
[pid=11670] ppid=11667 vsize=1499440 CPUtime=582.21 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 470382 0 0 0 58163 58 0 0 20 0 1 0 82249568 1535426560 366334 18446744073709551615 4194304 7396336 140723199024720 140723199015272 6091588 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 374860 366334 725 782 0 367876 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 1499440
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/188 11840
/proc/meminfo: memFree=28429352/32770624 swapFree=0/457972
[pid=11670] ppid=11667 vsize=2426664 CPUtime=1662.23 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 652013 0 0 0 166138 85 0 0 20 0 1 0 82249568 2484903936 598066 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4566039 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 606666 598066 725 782 0 599682 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 2426664
[startup+1722.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/189 11843
/proc/meminfo: memFree=28388308/32770624 swapFree=0/457992
[pid=11670] ppid=11667 vsize=2462792 CPUtime=1722.23 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 659375 0 0 0 172137 86 0 0 20 0 1 0 82249568 2521899008 607134 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4566053 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 615698 607134 725 782 0 608714 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 2462792
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 11845
/proc/meminfo: memFree=28360364/32770624 swapFree=0/458012
[pid=11670] ppid=11667 vsize=2493788 CPUtime=1782.24 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 666994 0 0 0 178137 87 0 0 20 0 1 0 82249568 2553638912 614908 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4566039 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 623447 614908 725 782 0 616463 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 2493788
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 11847
/proc/meminfo: memFree=28333032/32770624 swapFree=0/458024
[pid=11670] ppid=11667 vsize=2521040 CPUtime=1842.23 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 673502 0 0 0 184135 88 0 0 20 0 1 0 82249568 2581544960 621694 18446744073709551615 4194304 7396336 140723199024720 140723199015272 6181086 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 630260 621694 725 782 0 623276 0
Current children cumulated CPU time (s) 1842.23
Current children cumulated vsize (KiB) 2521040
[startup+1902.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 11849
/proc/meminfo: memFree=28294088/32770624 swapFree=0/458032
[pid=11670] ppid=11667 vsize=2556176 CPUtime=1902.25 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 680492 0 0 0 190136 89 0 0 20 0 1 0 82249568 2617524224 630481 18446744073709551615 4194304 7396336 140723199024720 140723199015272 139628956040115 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 639044 630481 725 782 0 632060 0
Current children cumulated CPU time (s) 1902.25
Current children cumulated vsize (KiB) 2556176
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 11851
/proc/meminfo: memFree=28035392/32770624 swapFree=0/458032
[pid=11670] ppid=11667 vsize=2813464 CPUtime=1962.24 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 688752 0 0 0 196129 95 0 0 20 0 1 0 82249568 2880987136 694824 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4565884 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 703366 694824 725 782 0 696382 0
Current children cumulated CPU time (s) 1962.24
Current children cumulated vsize (KiB) 2813464
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 11854
/proc/meminfo: memFree=27996144/32770624 swapFree=0/458040
[pid=11670] ppid=11667 vsize=2854096 CPUtime=2022.24 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 695832 0 0 0 202128 96 0 0 20 0 1 0 82249568 2922594304 704959 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4566039 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 713524 704959 725 782 0 706540 0
Current children cumulated CPU time (s) 2022.24
Current children cumulated vsize (KiB) 2854096
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 11856
/proc/meminfo: memFree=27978768/32770624 swapFree=0/458052
[pid=11670] ppid=11667 vsize=2870644 CPUtime=2082.24 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 705123 0 0 0 208127 97 0 0 20 0 1 0 82249568 2939539456 709147 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4565876 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 717661 709147 725 782 0 710677 0
Current children cumulated CPU time (s) 2082.24
Current children cumulated vsize (KiB) 2870644
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 11858
/proc/meminfo: memFree=27917592/32770624 swapFree=0/458056
[pid=11670] ppid=11667 vsize=2931956 CPUtime=2142.24 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 713939 0 0 0 214125 99 0 0 20 0 1 0 82249568 3002322944 724396 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4565872 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 732989 724396 725 782 0 726005 0
Current children cumulated CPU time (s) 2142.24
Current children cumulated vsize (KiB) 2931956
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 11861
/proc/meminfo: memFree=27886644/32770624 swapFree=0/458068
[pid=11670] ppid=11667 vsize=2962784 CPUtime=2202.24 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 719401 0 0 0 220124 100 0 0 20 0 1 0 82249568 3033890816 732160 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4566048 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 740696 732160 725 782 0 733712 0
Current children cumulated CPU time (s) 2202.24
Current children cumulated vsize (KiB) 2962784
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 11877
/proc/meminfo: memFree=27858752/32770624 swapFree=0/458092
[pid=11670] ppid=11667 vsize=2986304 CPUtime=2262.25 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 725924 0 0 0 226124 101 0 0 20 0 1 0 82249568 3057975296 738038 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4566036 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 746576 738038 725 782 0 739592 0
Current children cumulated CPU time (s) 2262.25
Current children cumulated vsize (KiB) 2986304
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 11879
/proc/meminfo: memFree=27834976/32770624 swapFree=0/458108
[pid=11670] ppid=11667 vsize=3010376 CPUtime=2322.24 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 731428 0 0 0 232123 101 0 0 20 0 1 0 82249568 3082625024 744020 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4566048 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 752594 744020 725 782 0 745610 0
Current children cumulated CPU time (s) 2322.24
Current children cumulated vsize (KiB) 3010376
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 11881
/proc/meminfo: memFree=27809884/32770624 swapFree=0/458116
[pid=11670] ppid=11667 vsize=3036948 CPUtime=2382.25 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 740107 0 0 0 238123 102 0 0 20 0 1 0 82249568 3109834752 750699 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4565876 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 759237 750699 725 782 0 752253 0
Current children cumulated CPU time (s) 2382.25
Current children cumulated vsize (KiB) 3036948
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 11883
/proc/meminfo: memFree=27784000/32770624 swapFree=0/458120
[pid=11670] ppid=11667 vsize=3063224 CPUtime=2442.25 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 747672 0 0 0 244123 102 0 0 20 0 1 0 82249568 3136741376 757286 18446744073709551615 4194304 7396336 140723199024720 140723199015272 139628952547878 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 765806 757286 725 782 0 758822 0
Current children cumulated CPU time (s) 2442.25
Current children cumulated vsize (KiB) 3063224
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 11886
/proc/meminfo: memFree=27745396/32770624 swapFree=0/458132
[pid=11670] ppid=11667 vsize=3102112 CPUtime=2502.25 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 755038 0 0 0 250121 104 0 0 20 0 1 0 82249568 3176562688 766985 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4566039 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 775528 766985 725 782 0 768544 0
Current children cumulated CPU time (s) 2502.25
Current children cumulated vsize (KiB) 3102112
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 11887
/proc/meminfo: memFree=27739304/32770624 swapFree=0/458132
[pid=11670] ppid=11667 vsize=3108340 CPUtime=2519.95 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 755600 0 0 0 251891 104 0 0 20 0 1 0 82249568 3182940160 768544 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4566039 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 777085 768544 725 782 0 770101 0
Current children cumulated CPU time (s) 2519.95
Current children cumulated vsize (KiB) 3108340
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 11670 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 11887
/proc/meminfo: memFree=27739304/32770624 swapFree=0/458132
[pid=11670] ppid=11667 vsize=3108340 CPUtime=2519.95 cores=0,2,4,6
/proc/11670/stat : 11670 (MistralXCSP) R 11667 11670 9153 0 -1 4202496 755600 0 0 0 251891 104 0 0 20 0 1 0 82249568 3182940160 768544 18446744073709551615 4194304 7396336 140723199024720 140723199015272 4566039 0 0 1 0 0 0 0 17 2 0 0 6 0 0 9496464 9501696 11628544 140723199025586 140723199025736 140723199025736 140723199029193 0
/proc/11670/statm: 777085 768544 725 782 0 770101 0
Current children cumulated CPU time (s) 2519.95
Current children cumulated vsize (KiB) 3108340
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.03
CPU time (s): 2519.99
CPU user time (s): 2518.92
CPU system time (s): 1.06602
CPU usage (%): 99.9984
Max. virtual memory (cumulated for all children) (KiB): 3108340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.92
system time used= 1.06602
maximum resident set size= 3074176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 755600
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= 67
involuntary context switches= 3171
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86419 second user time and 11.2009 second system time
The end