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-4242647-1500657893/watcher-4242647-1500657893 -o /tmp/evaluation-result-4242647-1500657893/solver-4242647-1500657893 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500648178-2496 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 166034625 HOME/instance-4242647-1500657893.xml
pid=3973
running on 8 cores: 0,2,4,6,8,10,12,14
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.04 2.01 2.04 3/242 3976
/proc/meminfo: memFree=32003260/32770624 swapFree=5804/211012
[pid=3976] ppid=3973 vsize=30464 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 1464 0 0 0 0 0 0 0 20 0 1 0 1057995 31195136 1264 33554432000 4194304 7402444 140732158014144 140732158005656 140427827084384 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1264 690 784 0 630 0
[startup+0.100125 s]
/proc/loadavg: 2.04 2.01 2.04 3/242 3976
/proc/meminfo: memFree=32003260/32770624 swapFree=5804/211012
[pid=3976] ppid=3973 vsize=30464 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 1499 0 0 0 9 0 0 0 20 0 1 0 1057995 31195136 1330 33554432000 4194304 7402444 140732158014144 140732158009160 4747183 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1330 709 784 0 630 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30464
[startup+0.200256 s]
/proc/loadavg: 2.04 2.01 2.04 3/242 3976
/proc/meminfo: memFree=32003260/32770624 swapFree=5804/211012
[pid=3976] ppid=3973 vsize=30464 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 1499 0 0 0 19 0 0 0 20 0 1 0 1057995 31195136 1330 33554432000 4194304 7402444 140732158014144 140732158009160 4248695 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1330 709 784 0 630 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30464
[startup+0.300208 s]
/proc/loadavg: 2.04 2.01 2.04 3/242 3976
/proc/meminfo: memFree=32003260/32770624 swapFree=5804/211012
[pid=3976] ppid=3973 vsize=30464 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 1499 0 0 0 29 0 0 0 20 0 1 0 1057995 31195136 1330 33554432000 4194304 7402444 140732158014144 140732158009160 5877986 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1330 709 784 0 630 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30464
[startup+0.700177 s]
/proc/loadavg: 2.04 2.01 2.04 3/242 3976
/proc/meminfo: memFree=32003260/32770624 swapFree=5804/211012
[pid=3976] ppid=3973 vsize=30464 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 1499 0 0 0 69 0 0 0 20 0 1 0 1057995 31195136 1330 33554432000 4194304 7402444 140732158014144 140732158009160 5754016 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1330 709 784 0 630 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30464
[startup+1.50018 s]
/proc/loadavg: 2.04 2.01 2.04 3/243 3977
/proc/meminfo: memFree=32000352/32770624 swapFree=5804/211020
[pid=3976] ppid=3973 vsize=30464 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 1499 0 0 0 149 0 0 0 20 0 1 0 1057995 31195136 1330 33554432000 4194304 7402444 140732158014144 140732158009160 4484571 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1330 709 784 0 630 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30464
[startup+3.10018 s]
/proc/loadavg: 2.04 2.01 2.04 3/243 3977
/proc/meminfo: memFree=31999856/32770624 swapFree=5804/211020
[pid=3976] ppid=3973 vsize=30464 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 1728 0 0 0 309 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 5872774 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30464
[startup+6.30018 s]
/proc/loadavg: 2.04 2.01 2.04 3/243 3977
/proc/meminfo: memFree=31998912/32770624 swapFree=5804/211020
[pid=3976] ppid=3973 vsize=30464 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 1952 0 0 0 629 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4484558 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30464
[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 2.04 3/243 3978
/proc/meminfo: memFree=31999416/32770624 swapFree=5804/211016
[pid=3976] ppid=3973 vsize=30464 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 2181 0 0 0 1269 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 5877779 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30464
[startup+25.5002 s]
/proc/loadavg: 2.03 2.01 2.04 3/243 3978
/proc/meminfo: memFree=31999292/32770624 swapFree=5804/211036
[pid=3976] ppid=3973 vsize=30464 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 2629 0 0 0 2548 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4747374 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30464
[startup+51.1002 s]
/proc/loadavg: 2.09 2.03 2.05 3/243 3978
/proc/meminfo: memFree=31999664/32770624 swapFree=5804/211048
[pid=3976] ppid=3973 vsize=30464 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 2853 0 0 0 5107 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 5871069 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30464
[startup+102.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/243 3979
/proc/meminfo: memFree=31999796/32770624 swapFree=5804/211092
[pid=3976] ppid=3973 vsize=30464 CPUtime=102.26 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 3077 0 0 0 10226 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 5871069 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 30464
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 3980
/proc/meminfo: memFree=32000248/32770624 swapFree=5804/211124
[pid=3976] ppid=3973 vsize=30464 CPUtime=162.23 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 3301 0 0 0 16223 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4484602 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 30464
[startup+222.308 s]
/proc/loadavg: 2.01 2.01 2.05 3/243 3982
/proc/meminfo: memFree=32000708/32770624 swapFree=5804/211172
[pid=3976] ppid=3973 vsize=30464 CPUtime=222.22 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 3525 0 0 0 22222 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4377616 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 30464
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 3983
/proc/meminfo: memFree=32000956/32770624 swapFree=5804/211216
[pid=3976] ppid=3973 vsize=30464 CPUtime=282.19 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 3749 0 0 0 28219 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4484558 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 30464
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 3991
/proc/meminfo: memFree=31999380/32770624 swapFree=5804/211256
[pid=3976] ppid=3973 vsize=30464 CPUtime=342.17 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 3973 0 0 0 34217 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 5750759 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 30464
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 3992
/proc/meminfo: memFree=31999496/32770624 swapFree=5804/211292
[pid=3976] ppid=3973 vsize=30464 CPUtime=402.14 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 4196 0 0 0 40214 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4484555 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 30464
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 3993
/proc/meminfo: memFree=31999276/32770624 swapFree=5804/211328
[pid=3976] ppid=3973 vsize=30464 CPUtime=462.12 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 4421 0 0 0 46212 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4484415 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 30464
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 3994
/proc/meminfo: memFree=31999376/32770624 swapFree=5804/211368
[pid=3976] ppid=3973 vsize=30464 CPUtime=522.1 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 4645 0 0 0 52210 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4484388 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 30464
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 3995
/proc/meminfo: memFree=31998980/32770624 swapFree=5804/211408
[pid=3976] ppid=3973 vsize=30464 CPUtime=582.08 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 4869 0 0 0 58208 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4484504 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 30464
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4026
/proc/meminfo: memFree=31995400/32770624 swapFree=5804/211808
[pid=3976] ppid=3973 vsize=30464 CPUtime=1541.73 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 8452 0 0 0 154173 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4484562 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 30464
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4027
/proc/meminfo: memFree=31995260/32770624 swapFree=5804/211840
[pid=3976] ppid=3973 vsize=30464 CPUtime=1601.71 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 8676 0 0 0 160171 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4529236 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 30464
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4028
/proc/meminfo: memFree=31995704/32770624 swapFree=5804/211876
[pid=3976] ppid=3973 vsize=30464 CPUtime=1661.68 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 8900 0 0 0 166168 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4484544 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 30464
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4029
/proc/meminfo: memFree=31995716/32770624 swapFree=5804/211908
[pid=3976] ppid=3973 vsize=30464 CPUtime=1721.66 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 9123 0 0 0 172166 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4484753 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 30464
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4030
/proc/meminfo: memFree=31996288/32770624 swapFree=5804/211952
[pid=3976] ppid=3973 vsize=30464 CPUtime=1781.64 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 9346 0 0 0 178164 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4747106 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 30464
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4032
/proc/meminfo: memFree=31995464/32770624 swapFree=5804/211988
[pid=3976] ppid=3973 vsize=30464 CPUtime=1841.62 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 9569 0 0 0 184162 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4747291 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 1841.62
Current children cumulated vsize (KiB) 30464
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4033
/proc/meminfo: memFree=31995332/32770624 swapFree=5804/212028
[pid=3976] ppid=3973 vsize=30464 CPUtime=1901.6 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 9793 0 0 0 190160 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4484614 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 1901.6
Current children cumulated vsize (KiB) 30464
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4034
/proc/meminfo: memFree=31995472/32770624 swapFree=5804/212060
[pid=3976] ppid=3973 vsize=30464 CPUtime=1961.57 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 10017 0 0 0 196157 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4378386 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 1961.57
Current children cumulated vsize (KiB) 30464
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4036
/proc/meminfo: memFree=31995816/32770624 swapFree=5804/212096
[pid=3976] ppid=3973 vsize=30464 CPUtime=2021.55 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 10241 0 0 0 202155 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 5753888 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 2021.55
Current children cumulated vsize (KiB) 30464
[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4037
/proc/meminfo: memFree=31996108/32770624 swapFree=5804/212148
[pid=3976] ppid=3973 vsize=30464 CPUtime=2081.54 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 10464 0 0 0 208154 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 5870983 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 2081.54
Current children cumulated vsize (KiB) 30464
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 4046
/proc/meminfo: memFree=31995800/32770624 swapFree=5804/212188
[pid=3976] ppid=3973 vsize=30464 CPUtime=2141.51 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 10689 0 0 0 214151 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 5818398 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 2141.51
Current children cumulated vsize (KiB) 30464
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/245 4070
/proc/meminfo: memFree=31996040/32770624 swapFree=5804/212224
[pid=3976] ppid=3973 vsize=30464 CPUtime=2201.49 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 10913 0 0 0 220149 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 5870996 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 2201.49
Current children cumulated vsize (KiB) 30464
[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/245 4071
/proc/meminfo: memFree=31997252/32770624 swapFree=5804/212260
[pid=3976] ppid=3973 vsize=30464 CPUtime=2261.46 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 11137 0 0 0 226146 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 5754022 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 2261.46
Current children cumulated vsize (KiB) 30464
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/245 4204
/proc/meminfo: memFree=31797392/32770624 swapFree=5804/212672
[pid=3976] ppid=3973 vsize=30464 CPUtime=2321.44 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 11361 0 0 0 232144 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 4379264 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 2321.44
Current children cumulated vsize (KiB) 30464
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/245 4205
/proc/meminfo: memFree=31369228/32770624 swapFree=5804/212732
[pid=3976] ppid=3973 vsize=30464 CPUtime=2381.41 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 11585 0 0 0 238141 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 5877927 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 2381.41
Current children cumulated vsize (KiB) 30464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 4205
/proc/meminfo: memFree=31309056/32770624 swapFree=5804/212740
[pid=3976] ppid=3973 vsize=30464 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 11809 0 0 0 240000 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 5874850 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 30464
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 3976 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 4205
/proc/meminfo: memFree=31309056/32770624 swapFree=5804/212740
[pid=3976] ppid=3973 vsize=30464 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/3976/stat : 3976 (MistralXCSP) R 3973 3976 2464 0 -1 4202496 11809 0 0 0 240000 0 0 0 20 0 1 0 1057995 31195136 1331 33554432000 4194304 7402444 140732158014144 140732158009160 5874850 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 30879744 140732158018729 140732158018878 140732158018878 140732158021577 0
/proc/3976/statm: 7616 1331 709 784 0 630 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 30464
Child status: 0
Real time (s): 2400.9
CPU time (s): 2400.01
CPU user time (s): 2400.01
CPU system time (s): 0.004998
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 30464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.004998
maximum resident set size= 5356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11848
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= 10
involuntary context switches= 120648
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.762 second user time and 10.1304 second system time
The end