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-4242255-1500631197/watcher-4242255-1500631197 -o /tmp/evaluation-result-4242255-1500631197/solver-4242255-1500631197 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500623787-2266 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 74815426 HOME/instance-4242255-1500631197.xml
pid=3543
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: 1.99 2.01 2.04 3/186 3546
/proc/meminfo: memFree=28540116/32770624 swapFree=6532/355156
[pid=3546] ppid=3543 vsize=29088 CPUtime=0 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 1048 0 0 0 0 0 0 0 20 0 1 0 16398608 29786112 868 33554432000 4194304 7402444 140734243595200 140734243592248 140161925700581 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 7272 868 618 784 0 286 0
[startup+0.100178 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 3546
/proc/meminfo: memFree=28540116/32770624 swapFree=6532/355156
[pid=3546] ppid=3543 vsize=56664 CPUtime=0.09 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 7966 0 0 0 7 2 0 0 20 0 1 0 16398608 58023936 7753 33554432000 4194304 7402444 140734243595200 140734243586152 5746022 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 14166 7753 668 784 0 7180 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56664
[startup+0.200432 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 3546
/proc/meminfo: memFree=28540116/32770624 swapFree=6532/355156
[pid=3546] ppid=3543 vsize=100420 CPUtime=0.19 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 17412 0 0 0 16 3 0 0 20 0 1 0 16398608 102830080 18723 33554432000 4194304 7402444 140734243595200 140734243585800 5746022 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 25105 18723 670 784 0 18119 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 100420
[startup+0.300407 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 3546
/proc/meminfo: memFree=28540116/32770624 swapFree=6532/355156
[pid=3546] ppid=3543 vsize=148896 CPUtime=0.29 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 29531 0 0 0 25 4 0 0 20 0 1 0 16398608 152469504 30867 33554432000 4194304 7402444 140734243595200 140734243585736 5746022 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 37262 30867 670 784 0 30276 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 148896
[startup+0.700277 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 3546
/proc/meminfo: memFree=28540116/32770624 swapFree=6532/355156
[pid=3546] ppid=3543 vsize=196012 CPUtime=0.69 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 35272 0 0 0 64 5 0 0 20 0 1 0 16398608 200716288 42712 33554432000 4194304 7402444 140734243595200 140734243585784 6047417 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 49003 42712 742 784 0 42017 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 196012
[startup+1.50037 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 3547
/proc/meminfo: memFree=28356932/32770624 swapFree=6532/355148
[pid=3546] ppid=3543 vsize=227172 CPUtime=1.49 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 43159 0 0 0 143 6 0 0 20 0 1 0 16398608 232624128 50502 33554432000 4194304 7402444 140734243595200 140734243589672 4309177 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 56793 50502 768 784 0 49807 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 227172
[startup+3.10036 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 3547
/proc/meminfo: memFree=28339944/32770624 swapFree=6532/355148
[pid=3546] ppid=3543 vsize=231848 CPUtime=3.09 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 57575 0 0 0 302 7 0 0 20 0 1 0 16398608 237412352 51712 33554432000 4194304 7402444 140734243595200 140734243589832 5871228 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 57962 51712 775 784 0 50976 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 231848
[startup+6.30036 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 3554
/proc/meminfo: memFree=28335616/32770624 swapFree=6532/355148
[pid=3546] ppid=3543 vsize=232376 CPUtime=6.29 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 72066 0 0 0 621 8 0 0 20 0 1 0 16398608 237953024 51830 33554432000 4194304 7402444 140734243595200 140734243589672 4709606 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58094 51830 781 784 0 51108 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 232376
[startup+12.7004 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 3554
/proc/meminfo: memFree=28335020/32770624 swapFree=6532/355164
[pid=3546] ppid=3543 vsize=232376 CPUtime=12.68 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 87618 0 0 0 1260 8 0 0 20 0 1 0 16398608 237953024 51877 33554432000 4194304 7402444 140734243595200 140734243589672 5695885 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58094 51877 782 784 0 51108 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 232376
[startup+25.5004 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 3554
/proc/meminfo: memFree=28334244/32770624 swapFree=6532/355180
[pid=3546] ppid=3543 vsize=232508 CPUtime=25.48 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 113782 0 0 0 2538 10 0 0 20 0 1 0 16398608 238088192 51902 33554432000 4194304 7402444 140734243595200 140734243589624 5767576 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58127 51902 782 784 0 51141 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 232508
[startup+51.1004 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 3554
/proc/meminfo: memFree=28334368/32770624 swapFree=6532/355196
[pid=3546] ppid=3543 vsize=232640 CPUtime=51.07 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 131033 0 0 0 5096 11 0 0 20 0 1 0 16398608 238223360 51923 33554432000 4194304 7402444 140734243595200 140734243589672 4295556 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58160 51923 782 784 0 51174 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 232640
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 3577
/proc/meminfo: memFree=28332364/32770624 swapFree=6532/355232
[pid=3546] ppid=3543 vsize=232640 CPUtime=102.24 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 145669 0 0 0 10213 11 0 0 20 0 1 0 16398608 238223360 51936 33554432000 4194304 7402444 140734243595200 140734243589672 5698155 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58160 51936 782 784 0 51174 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 232640
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 3578
/proc/meminfo: memFree=28332928/32770624 swapFree=6532/355268
[pid=3546] ppid=3543 vsize=232640 CPUtime=162.21 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 160340 0 0 0 16209 12 0 0 20 0 1 0 16398608 238223360 51942 33554432000 4194304 7402444 140734243595200 140734243589672 4747383 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58160 51942 782 784 0 51174 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 232640
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 3579
/proc/meminfo: memFree=28333808/32770624 swapFree=6532/355296
[pid=3546] ppid=3543 vsize=232640 CPUtime=222.19 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 174946 0 0 0 22206 13 0 0 20 0 1 0 16398608 238223360 51943 33554432000 4194304 7402444 140734243595200 140734243589672 5695885 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58160 51943 782 784 0 51174 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 232640
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 3580
/proc/meminfo: memFree=28333964/32770624 swapFree=6532/355328
[pid=3546] ppid=3543 vsize=232772 CPUtime=282.15 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 189616 0 0 0 28201 14 0 0 20 0 1 0 16398608 238358528 51966 33554432000 4194304 7402444 140734243595200 140734243589672 4747176 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58193 51966 782 784 0 51207 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 232772
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 3581
/proc/meminfo: memFree=28333816/32770624 swapFree=6532/355360
[pid=3546] ppid=3543 vsize=232772 CPUtime=342.11 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 204300 0 0 0 34197 14 0 0 20 0 1 0 16398608 238358528 51966 33554432000 4194304 7402444 140734243595200 140734243589672 4709606 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58193 51966 782 784 0 51207 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 232772
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 3582
/proc/meminfo: memFree=28333644/32770624 swapFree=6532/355388
[pid=3546] ppid=3543 vsize=232772 CPUtime=402.08 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 218813 0 0 0 40193 15 0 0 20 0 1 0 16398608 238358528 51966 33554432000 4194304 7402444 140734243595200 140734243589672 5768060 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58193 51966 782 784 0 51207 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 232772
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 3583
/proc/meminfo: memFree=28333940/32770624 swapFree=6532/355428
[pid=3546] ppid=3543 vsize=232772 CPUtime=462.05 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 233481 0 0 0 46189 16 0 0 20 0 1 0 16398608 238358528 51968 33554432000 4194304 7402444 140734243595200 140734243589672 5768587 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58193 51968 782 784 0 51207 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 232772
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.04 3/187 3584
/proc/meminfo: memFree=28333968/32770624 swapFree=6532/355460
[pid=3546] ppid=3543 vsize=232772 CPUtime=522.02 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 248134 0 0 0 52185 17 0 0 20 0 1 0 16398608 238358528 51970 33554432000 4194304 7402444 140734243595200 140734243589672 4709606 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58193 51970 782 784 0 51207 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 232772
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/187 3585
/proc/meminfo: memFree=28333608/32770624 swapFree=6532/355484
[pid=3546] ppid=3543 vsize=232772 CPUtime=581.99 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 262805 0 0 0 58181 18 0 0 20 0 1 0 16398608 238358528 51971 33554432000 4194304 7402444 140734243595200 140734243589672 5767576 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58193 51971 782 784 0 51207 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 232772
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3616
/proc/meminfo: memFree=28332932/32770624 swapFree=6532/356004
[pid=3546] ppid=3543 vsize=232904 CPUtime=1541.51 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 497110 0 0 0 154118 33 0 0 20 0 1 0 16398608 238493696 51999 33554432000 4194304 7402444 140734243595200 140734243589432 4709390 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 51999 782 784 0 51240 0
Current children cumulated CPU time (s) 1541.51
Current children cumulated vsize (KiB) 232904
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3617
/proc/meminfo: memFree=28332928/32770624 swapFree=6532/356036
[pid=3546] ppid=3543 vsize=232904 CPUtime=1601.47 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 511816 0 0 0 160114 33 0 0 20 0 1 0 16398608 238493696 51999 33554432000 4194304 7402444 140734243595200 140734243589432 5768156 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 51999 782 784 0 51240 0
Current children cumulated CPU time (s) 1601.47
Current children cumulated vsize (KiB) 232904
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 3618
/proc/meminfo: memFree=28333228/32770624 swapFree=6532/356072
[pid=3546] ppid=3543 vsize=232904 CPUtime=1661.44 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 526484 0 0 0 166110 34 0 0 20 0 1 0 16398608 238493696 52000 33554432000 4194304 7402444 140734243595200 140734243589432 5871338 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 52000 782 784 0 51240 0
Current children cumulated CPU time (s) 1661.44
Current children cumulated vsize (KiB) 232904
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 3620
/proc/meminfo: memFree=28332796/32770624 swapFree=6532/356108
[pid=3546] ppid=3543 vsize=232904 CPUtime=1721.41 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 541115 0 0 0 172106 35 0 0 20 0 1 0 16398608 238493696 52000 33554432000 4194304 7402444 140734243595200 140734243589432 5696140 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 52000 782 784 0 51240 0
Current children cumulated CPU time (s) 1721.41
Current children cumulated vsize (KiB) 232904
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 3621
/proc/meminfo: memFree=28331576/32770624 swapFree=6532/356140
[pid=3546] ppid=3543 vsize=232904 CPUtime=1781.36 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 552623 0 0 0 178101 35 0 0 20 0 1 0 16398608 238493696 52000 33554432000 4194304 7402444 140734243595200 140734243589432 4709606 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 52000 782 784 0 51240 0
Current children cumulated CPU time (s) 1781.36
Current children cumulated vsize (KiB) 232904
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3629
/proc/meminfo: memFree=28330728/32770624 swapFree=6532/356180
[pid=3546] ppid=3543 vsize=232904 CPUtime=1841.29 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 561976 0 0 0 184094 35 0 0 20 0 1 0 16398608 238493696 52000 33554432000 4194304 7402444 140734243595200 140734243589432 5695876 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 52000 782 784 0 51240 0
Current children cumulated CPU time (s) 1841.29
Current children cumulated vsize (KiB) 232904
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3630
/proc/meminfo: memFree=28331464/32770624 swapFree=6532/356208
[pid=3546] ppid=3543 vsize=232904 CPUtime=1901.25 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 562280 0 0 0 190090 35 0 0 20 0 1 0 16398608 238493696 52000 33554432000 4194304 7402444 140734243595200 140734243589432 5698145 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 52000 782 784 0 51240 0
Current children cumulated CPU time (s) 1901.25
Current children cumulated vsize (KiB) 232904
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3631
/proc/meminfo: memFree=28332112/32770624 swapFree=6532/356244
[pid=3546] ppid=3543 vsize=232904 CPUtime=1961.22 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 562602 0 0 0 196087 35 0 0 20 0 1 0 16398608 238493696 52000 33554432000 4194304 7402444 140734243595200 140734243589432 5764694 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 52000 782 784 0 51240 0
Current children cumulated CPU time (s) 1961.22
Current children cumulated vsize (KiB) 232904
[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 3632
/proc/meminfo: memFree=28332116/32770624 swapFree=6532/356272
[pid=3546] ppid=3543 vsize=232904 CPUtime=2021.19 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 562937 0 0 0 202084 35 0 0 20 0 1 0 16398608 238493696 52000 33554432000 4194304 7402444 140734243595200 140734243589432 5877690 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 52000 782 784 0 51240 0
Current children cumulated CPU time (s) 2021.19
Current children cumulated vsize (KiB) 232904
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 3633
/proc/meminfo: memFree=28332364/32770624 swapFree=6532/356304
[pid=3546] ppid=3543 vsize=232904 CPUtime=2081.17 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 563270 0 0 0 208082 35 0 0 20 0 1 0 16398608 238493696 52003 33554432000 4194304 7402444 140734243595200 140734243589432 5767576 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 52003 782 784 0 51240 0
Current children cumulated CPU time (s) 2081.17
Current children cumulated vsize (KiB) 232904
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 3634
/proc/meminfo: memFree=28332240/32770624 swapFree=6532/356332
[pid=3546] ppid=3543 vsize=232904 CPUtime=2141.13 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 563605 0 0 0 214078 35 0 0 20 0 1 0 16398608 238493696 52005 33554432000 4194304 7402444 140734243595200 140734243589432 5767574 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 52005 782 784 0 51240 0
Current children cumulated CPU time (s) 2141.13
Current children cumulated vsize (KiB) 232904
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3635
/proc/meminfo: memFree=28332240/32770624 swapFree=6532/356360
[pid=3546] ppid=3543 vsize=232904 CPUtime=2201.11 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 563940 0 0 0 220076 35 0 0 20 0 1 0 16398608 238493696 52007 33554432000 4194304 7402444 140734243595200 140734243589432 5767576 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 52007 782 784 0 51240 0
Current children cumulated CPU time (s) 2201.11
Current children cumulated vsize (KiB) 232904
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3636
/proc/meminfo: memFree=28331992/32770624 swapFree=6532/356400
[pid=3546] ppid=3543 vsize=232904 CPUtime=2261.07 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 564276 0 0 0 226072 35 0 0 20 0 1 0 16398608 238493696 52008 33554432000 4194304 7402444 140734243595200 140734243589432 4709390 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 52008 782 784 0 51240 0
Current children cumulated CPU time (s) 2261.07
Current children cumulated vsize (KiB) 232904
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3698
/proc/meminfo: memFree=31109552/32770624 swapFree=6532/356488
[pid=3546] ppid=3543 vsize=232904 CPUtime=2321.04 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 564614 0 0 0 232069 35 0 0 20 0 1 0 16398608 238493696 52010 33554432000 4194304 7402444 140734243595200 140734243589432 4309136 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 52010 782 784 0 51240 0
Current children cumulated CPU time (s) 2321.04
Current children cumulated vsize (KiB) 232904
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3699
/proc/meminfo: memFree=30948888/32770624 swapFree=6532/356528
[pid=3546] ppid=3543 vsize=232904 CPUtime=2381.01 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 564952 0 0 0 238066 35 0 0 20 0 1 0 16398608 238493696 52010 33554432000 4194304 7402444 140734243595200 140734243589432 4223008 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 52010 782 784 0 51240 0
Current children cumulated CPU time (s) 2381.01
Current children cumulated vsize (KiB) 232904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3699
/proc/meminfo: memFree=30949204/32770624 swapFree=6532/356532
[pid=3546] ppid=3543 vsize=232904 CPUtime=2400.01 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 565285 0 0 0 239966 35 0 0 20 0 1 0 16398608 238493696 52011 33554432000 4194304 7402444 140734243595200 140734243589432 5698142 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 52011 782 784 0 51240 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 232904
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 3546 sig 9
??? kill -3546 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3699
/proc/meminfo: memFree=30949204/32770624 swapFree=6532/356532
[pid=3546] ppid=3543 vsize=232904 CPUtime=2400.01 cores=0,2,4,6
/proc/3546/stat : 3546 (MistralXCSP) R 3543 3546 2235 0 -1 4202496 565285 0 0 0 239966 35 0 0 20 0 1 0 16398608 238493696 52011 33554432000 4194304 7402444 140734243595200 140734243589432 5698142 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 15847424 140734243599530 140734243599678 140734243599678 140734243602377 0
/proc/3546/statm: 58226 52011 782 784 0 51240 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 232904
Child status: 0
Real time (s): 2401.31
CPU time (s): 2400.02
CPU user time (s): 2399.66
CPU system time (s): 0.360816
CPU usage (%): 99.9466
Max. virtual memory (cumulated for all children) (KiB): 232904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.66
system time used= 0.360816
maximum resident set size= 208068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 565320
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= 73
involuntary context switches= 120693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39156 second user time and 10.5435 second system time
The end