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-4240438-1500639747/watcher-4240438-1500639747 -o /tmp/evaluation-result-4240438-1500639747/solver-4240438-1500639747 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500623778-2774 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 234267211 HOME/instance-4240438-1500639747.xml
pid=5057
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.10 2.04 2.05 3/186 5060
/proc/meminfo: memFree=31428788/32770624 swapFree=6176/586024
[pid=5060] ppid=5057 vsize=28856 CPUtime=0 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 972 0 0 0 0 0 0 0 20 0 1 0 17251232 29548544 802 33554432000 4194304 7402444 140734857320832 140734857317880 140579757382629 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 7214 802 617 784 0 228 0
[startup+0.10012 s]
/proc/loadavg: 2.10 2.04 2.05 3/186 5060
/proc/meminfo: memFree=31428788/32770624 swapFree=6176/586024
[pid=5060] ppid=5057 vsize=43260 CPUtime=0.09 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 4924 0 0 0 9 0 0 0 20 0 1 0 17251232 44298240 4407 33554432000 4194304 7402444 140734857320832 140734857312632 140579757382629 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 10815 4407 620 784 0 3829 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43260
[startup+0.200317 s]
/proc/loadavg: 2.10 2.04 2.05 3/186 5060
/proc/meminfo: memFree=31428788/32770624 swapFree=6176/586024
[pid=5060] ppid=5057 vsize=56264 CPUtime=0.19 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 8281 0 0 0 18 1 0 0 20 0 1 0 17251232 57614336 7784 33554432000 4194304 7402444 140734857320832 140734857311224 4731480 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 14066 7784 729 784 0 7080 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 56264
[startup+0.300301 s]
/proc/loadavg: 2.10 2.04 2.05 3/186 5060
/proc/meminfo: memFree=31428788/32770624 swapFree=6176/586024
[pid=5060] ppid=5057 vsize=72812 CPUtime=0.29 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 11768 0 0 0 27 2 0 0 20 0 1 0 17251232 74559488 11890 33554432000 4194304 7402444 140734857320832 140734857311224 4731480 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 18203 11890 729 784 0 11217 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72812
[startup+0.700239 s]
/proc/loadavg: 2.10 2.04 2.05 3/186 5060
/proc/meminfo: memFree=31428788/32770624 swapFree=6176/586024
[pid=5060] ppid=5057 vsize=106376 CPUtime=0.69 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 20153 0 0 0 66 3 0 0 20 0 1 0 17251232 108929024 20298 33554432000 4194304 7402444 140734857320832 140734857311464 4731642 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 26594 20298 729 784 0 19608 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106376
[startup+1.50023 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 5061
/proc/meminfo: memFree=31334328/32770624 swapFree=6176/586084
[pid=5060] ppid=5057 vsize=136152 CPUtime=1.49 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 27576 0 0 0 144 5 0 0 20 0 1 0 17251232 139419648 27689 33554432000 4194304 7402444 140734857320832 140734857311224 4731639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 34038 27689 729 784 0 27052 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 136152
[startup+3.10019 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 5061
/proc/meminfo: memFree=31264128/32770624 swapFree=6176/586084
[pid=5060] ppid=5057 vsize=202512 CPUtime=3.09 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 64233 0 0 0 301 8 0 0 20 0 1 0 17251232 207372288 44279 33554432000 4194304 7402444 140734857320832 140734857311224 4731639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 50628 44279 729 784 0 43642 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 202512
[startup+6.30018 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 5061
/proc/meminfo: memFree=31214712/32770624 swapFree=6176/586084
[pid=5060] ppid=5057 vsize=259924 CPUtime=6.28 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 96195 0 0 0 617 11 0 0 20 0 1 0 17251232 266162176 58679 33554432000 4194304 7402444 140734857320832 140734857311224 4731632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 64981 58679 731 784 0 57995 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 259924
[startup+12.7002 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 5061
/proc/meminfo: memFree=31124964/32770624 swapFree=6176/586084
[pid=5060] ppid=5057 vsize=339800 CPUtime=12.68 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 125113 0 0 0 1253 15 0 0 20 0 1 0 17251232 347955200 78656 33554432000 4194304 7402444 140734857320832 140734857311256 4731653 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 84950 78656 731 784 0 77964 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 339800
[startup+25.5002 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 5061
/proc/meminfo: memFree=30892748/32770624 swapFree=6176/586084
[pid=5060] ppid=5057 vsize=561320 CPUtime=25.47 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 232298 0 0 0 2525 22 0 0 20 0 1 0 17251232 574791680 134065 33554432000 4194304 7402444 140734857320832 140734857311144 4731632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 140330 134065 731 784 0 133344 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 561320
[startup+51.1003 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 5061
/proc/meminfo: memFree=30793636/32770624 swapFree=6176/586076
[pid=5060] ppid=5057 vsize=662628 CPUtime=51.07 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 284430 0 0 0 5081 26 0 0 20 0 1 0 17251232 678531072 159311 33554432000 4194304 7402444 140734857320832 140734857311224 4731632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 165657 159311 731 784 0 158671 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 662628
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 5062
/proc/meminfo: memFree=30544900/32770624 swapFree=6176/586112
[pid=5060] ppid=5057 vsize=908556 CPUtime=102.26 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 348158 0 0 0 10192 34 0 0 20 0 1 0 17251232 930361344 220824 33554432000 4194304 7402444 140734857320832 140734857311224 4731648 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 227139 220824 731 784 0 220153 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 908556
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5064
/proc/meminfo: memFree=30240080/32770624 swapFree=6176/586148
[pid=5060] ppid=5057 vsize=1215296 CPUtime=162.25 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 416266 0 0 0 16182 43 0 0 20 0 1 0 17251232 1244463104 297508 33554432000 4194304 7402444 140734857320832 140734857312024 4731472 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 303824 297508 736 784 0 296838 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1215296
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5065
/proc/meminfo: memFree=29785704/32770624 swapFree=6176/586176
[pid=5060] ppid=5057 vsize=1666632 CPUtime=222.22 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 676039 0 0 0 22158 64 0 0 20 0 1 0 17251232 1706631168 410420 33554432000 4194304 7402444 140734857320832 140734857316184 5327204 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416658 410420 765 784 0 409672 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1666632
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5066
/proc/meminfo: memFree=29785612/32770624 swapFree=6176/586204
[pid=5060] ppid=5057 vsize=1666500 CPUtime=282.17 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 804436 0 0 0 28145 72 0 0 20 0 1 0 17251232 1706496000 410387 33554432000 4194304 7402444 140734857320832 140734857316008 5327336 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410387 765 784 0 409639 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 1666500
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5068
/proc/meminfo: memFree=29786032/32770624 swapFree=6176/586248
[pid=5060] ppid=5057 vsize=1666500 CPUtime=342.09 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 978995 0 0 0 34129 80 0 0 20 0 1 0 17251232 1706496000 410395 33554432000 4194304 7402444 140734857320832 140734857316008 5872796 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410395 773 784 0 409639 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 1666500
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5069
/proc/meminfo: memFree=29786052/32770624 swapFree=6176/586292
[pid=5060] ppid=5057 vsize=1666500 CPUtime=402.03 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1093713 0 0 0 40117 86 0 0 20 0 1 0 17251232 1706496000 410395 33554432000 4194304 7402444 140734857320832 140734857316008 5327213 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410395 773 784 0 409639 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 1666500
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 5078
/proc/meminfo: memFree=29776724/32770624 swapFree=6176/586324
[pid=5060] ppid=5057 vsize=1666500 CPUtime=461.96 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1220386 0 0 0 46102 94 0 0 20 0 1 0 17251232 1706496000 410395 33554432000 4194304 7402444 140734857320832 140734857316008 5746100 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410395 773 784 0 409639 0
Current children cumulated CPU time (s) 461.96
Current children cumulated vsize (KiB) 1666500
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 5079
/proc/meminfo: memFree=29776820/32770624 swapFree=6176/586368
[pid=5060] ppid=5057 vsize=1666500 CPUtime=521.88 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1299121 0 0 0 52090 98 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5327213 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 521.88
Current children cumulated vsize (KiB) 1666500
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5080
/proc/meminfo: memFree=29777204/32770624 swapFree=6176/586392
[pid=5060] ppid=5057 vsize=1666500 CPUtime=581.82 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1333832 0 0 0 58081 101 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5327213 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 581.82
Current children cumulated vsize (KiB) 1666500
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 5171
/proc/meminfo: memFree=29657844/32770624 swapFree=6176/587068
[pid=5060] ppid=5057 vsize=1666500 CPUtime=1541.19 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1386423 0 0 0 154014 105 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5327213 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 1541.19
Current children cumulated vsize (KiB) 1666500
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 5172
/proc/meminfo: memFree=29658752/32770624 swapFree=6176/587092
[pid=5060] ppid=5057 vsize=1666500 CPUtime=1601.15 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1387346 0 0 0 160010 105 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5327204 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 1601.15
Current children cumulated vsize (KiB) 1666500
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5181
/proc/meminfo: memFree=29657748/32770624 swapFree=6176/587120
[pid=5060] ppid=5057 vsize=1666500 CPUtime=1661.12 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1388267 0 0 0 166006 106 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5327213 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 1661.12
Current children cumulated vsize (KiB) 1666500
[startup+1722.3 s]
/proc/loadavg: 2.11 2.05 2.05 3/187 5182
/proc/meminfo: memFree=29658072/32770624 swapFree=6176/587168
[pid=5060] ppid=5057 vsize=1666500 CPUtime=1721.08 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1389080 0 0 0 172002 106 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5747605 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 1721.08
Current children cumulated vsize (KiB) 1666500
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 5183
/proc/meminfo: memFree=29657932/32770624 swapFree=6176/587204
[pid=5060] ppid=5057 vsize=1666500 CPUtime=1781.04 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1389798 0 0 0 177998 106 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5747613 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 1781.04
Current children cumulated vsize (KiB) 1666500
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 5184
/proc/meminfo: memFree=29657980/32770624 swapFree=6176/587252
[pid=5060] ppid=5057 vsize=1666500 CPUtime=1841.01 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1390654 0 0 0 183995 106 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5327204 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 1841.01
Current children cumulated vsize (KiB) 1666500
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 5185
/proc/meminfo: memFree=29657856/32770624 swapFree=6176/587288
[pid=5060] ppid=5057 vsize=1666500 CPUtime=1900.97 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1391486 0 0 0 189991 106 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5327242 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 1900.97
Current children cumulated vsize (KiB) 1666500
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5187
/proc/meminfo: memFree=29658216/32770624 swapFree=6176/587312
[pid=5060] ppid=5057 vsize=1666500 CPUtime=1960.93 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1392373 0 0 0 195987 106 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5327213 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 1960.93
Current children cumulated vsize (KiB) 1666500
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5188
/proc/meminfo: memFree=29657852/32770624 swapFree=6176/587348
[pid=5060] ppid=5057 vsize=1666500 CPUtime=2020.89 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1393576 0 0 0 201983 106 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5327213 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 2020.89
Current children cumulated vsize (KiB) 1666500
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5189
/proc/meminfo: memFree=29658104/32770624 swapFree=6176/587376
[pid=5060] ppid=5057 vsize=1666500 CPUtime=2080.86 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1394423 0 0 0 207980 106 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5327213 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 2080.86
Current children cumulated vsize (KiB) 1666500
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5191
/proc/meminfo: memFree=29658220/32770624 swapFree=6176/587416
[pid=5060] ppid=5057 vsize=1666500 CPUtime=2140.83 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1395412 0 0 0 213976 107 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5747600 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 2140.83
Current children cumulated vsize (KiB) 1666500
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5192
/proc/meminfo: memFree=29657516/32770624 swapFree=6176/587452
[pid=5060] ppid=5057 vsize=1666500 CPUtime=2200.8 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1396553 0 0 0 219973 107 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5747610 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 2200.8
Current children cumulated vsize (KiB) 1666500
[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 5201
/proc/meminfo: memFree=29656716/32770624 swapFree=6176/587492
[pid=5060] ppid=5057 vsize=1666500 CPUtime=2260.75 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1397567 0 0 0 225968 107 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5746096 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 2260.75
Current children cumulated vsize (KiB) 1666500
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 5225
/proc/meminfo: memFree=29656380/32770624 swapFree=6176/587524
[pid=5060] ppid=5057 vsize=1666500 CPUtime=2320.72 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1398384 0 0 0 231965 107 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5327204 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 2320.72
Current children cumulated vsize (KiB) 1666500
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 5226
/proc/meminfo: memFree=29656520/32770624 swapFree=6176/587564
[pid=5060] ppid=5057 vsize=1666500 CPUtime=2380.68 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1399292 0 0 0 237961 107 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5327204 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 2380.68
Current children cumulated vsize (KiB) 1666500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 5226
/proc/meminfo: memFree=29656644/32770624 swapFree=6176/587572
[pid=5060] ppid=5057 vsize=1666500 CPUtime=2400.07 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1399357 0 0 0 239900 107 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5747605 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 1666500
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 5060 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 5226
/proc/meminfo: memFree=29656644/32770624 swapFree=6176/587572
[pid=5060] ppid=5057 vsize=1666500 CPUtime=2400.07 cores=1,3,5,7
/proc/5060/stat : 5060 (MistralXCSP) R 5057 5060 2742 0 -1 4202496 1399357 0 0 0 239900 107 0 0 20 0 1 0 17251232 1706496000 410396 33554432000 4194304 7402444 140734857320832 140734857316008 5747605 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9500608 9505824 24498176 140734857327785 140734857327934 140734857327934 140734857330633 0
/proc/5060/statm: 416625 410396 774 784 0 409639 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 1666500
Child status: 0
Real time (s): 2401.71
CPU time (s): 2400.08
CPU user time (s): 2399
CPU system time (s): 1.08036
CPU usage (%): 99.9323
Max. virtual memory (cumulated for all children) (KiB): 1675984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399
system time used= 1.08036
maximum resident set size= 1650908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1399395
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= 280
involuntary context switches= 120788
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.43205 second user time and 10.3909 second system time
The end