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-4240531-1500640723/watcher-4240531-1500640723 -o /tmp/evaluation-result-4240531-1500640723/solver-4240531-1500640723 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500623778-4881 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1124387362 HOME/instance-4240531-1500640723.xml
pid=7625
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.05 2/185 7628
/proc/meminfo: memFree=31589200/32770624 swapFree=6428/423368
[pid=7628] ppid=7625 vsize=28804 CPUtime=0 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 970 0 0 0 0 0 0 0 20 0 1 0 17514174 29495296 736 33554432000 4194304 7402444 140728296866016 140728296863064 140584512678885 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 7201 802 620 784 0 215 0
[startup+0.100118 s]
/proc/loadavg: 2.00 2.02 2.05 2/185 7628
/proc/meminfo: memFree=31589200/32770624 swapFree=6428/423368
[pid=7628] ppid=7625 vsize=53220 CPUtime=0.09 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 7321 0 0 0 8 1 0 0 20 0 1 0 17514174 54497280 6943 33554432000 4194304 7402444 140728296866016 140728296861032 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13305 6943 702 784 0 6319 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53220
[startup+0.200366 s]
/proc/loadavg: 2.00 2.02 2.05 2/185 7628
/proc/meminfo: memFree=31589200/32770624 swapFree=6428/423368
[pid=7628] ppid=7625 vsize=53880 CPUtime=0.18 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 7511 0 0 0 17 1 0 0 20 0 1 0 17514174 55173120 7141 33554432000 4194304 7402444 140728296866016 140728296861032 5696195 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13470 7141 712 784 0 6484 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 53880
[startup+0.300329 s]
/proc/loadavg: 2.00 2.02 2.05 2/185 7628
/proc/meminfo: memFree=31589200/32770624 swapFree=6428/423368
[pid=7628] ppid=7625 vsize=54144 CPUtime=0.28 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 7545 0 0 0 27 1 0 0 20 0 1 0 17514174 55443456 7207 33554432000 4194304 7402444 140728296866016 140728296861032 5821690 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7207 712 784 0 6550 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 54144
[startup+0.700291 s]
/proc/loadavg: 2.00 2.02 2.05 2/185 7628
/proc/meminfo: memFree=31589200/32770624 swapFree=6428/423368
[pid=7628] ppid=7625 vsize=54144 CPUtime=0.68 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 7551 0 0 0 67 1 0 0 20 0 1 0 17514174 55443456 7207 33554432000 4194304 7402444 140728296866016 140728296861032 4377623 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7207 712 784 0 6550 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 54144
[startup+1.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 7682
/proc/meminfo: memFree=31558532/32770624 swapFree=6428/423328
[pid=7628] ppid=7625 vsize=54144 CPUtime=1.48 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 7551 0 0 0 147 1 0 0 20 0 1 0 17514174 55443456 7207 33554432000 4194304 7402444 140728296866016 140728296861032 5750496 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7207 712 784 0 6550 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 54144
[startup+3.1003 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 7682
/proc/meminfo: memFree=31557664/32770624 swapFree=6428/423328
[pid=7628] ppid=7625 vsize=54144 CPUtime=3.09 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 10267 0 0 0 307 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54144
[startup+6.30022 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 7682
/proc/meminfo: memFree=31557432/32770624 swapFree=6428/423328
[pid=7628] ppid=7625 vsize=54144 CPUtime=6.29 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 12971 0 0 0 627 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54144
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 7682
/proc/meminfo: memFree=31556784/32770624 swapFree=6428/423340
[pid=7628] ppid=7625 vsize=54144 CPUtime=12.69 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 15688 0 0 0 1267 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4466947 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54144
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 7746
/proc/meminfo: memFree=31552060/32770624 swapFree=6428/423384
[pid=7628] ppid=7625 vsize=54144 CPUtime=25.48 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 19585 0 0 0 2546 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54144
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 7747
/proc/meminfo: memFree=31551492/32770624 swapFree=6428/423404
[pid=7628] ppid=7625 vsize=54144 CPUtime=51.07 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 20062 0 0 0 5105 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4483986 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 54144
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 7756
/proc/meminfo: memFree=31550312/32770624 swapFree=6428/423448
[pid=7628] ppid=7625 vsize=54144 CPUtime=102.26 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 20536 0 0 0 10224 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4465443 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 54144
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 7757
/proc/meminfo: memFree=31550508/32770624 swapFree=6428/423488
[pid=7628] ppid=7625 vsize=54144 CPUtime=162.23 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 21035 0 0 0 16221 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 54144
[startup+222.306 s]
/proc/loadavg: 2.07 2.03 2.05 3/192 7758
/proc/meminfo: memFree=31550612/32770624 swapFree=6428/423516
[pid=7628] ppid=7625 vsize=54144 CPUtime=222.22 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 21508 0 0 0 22220 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 5754032 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 54144
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/193 7760
/proc/meminfo: memFree=31550648/32770624 swapFree=6428/423548
[pid=7628] ppid=7625 vsize=54144 CPUtime=282.2 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 21981 0 0 0 28218 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4463845 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 54144
[startup+342.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/193 7762
/proc/meminfo: memFree=31550692/32770624 swapFree=6428/423576
[pid=7628] ppid=7625 vsize=54144 CPUtime=342.18 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 22454 0 0 0 34216 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4465443 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 54144
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/192 7763
/proc/meminfo: memFree=31551228/32770624 swapFree=6428/423608
[pid=7628] ppid=7625 vsize=54144 CPUtime=402.17 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 22928 0 0 0 40215 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4484555 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 54144
[startup+462.3 s]
/proc/loadavg: 2.11 2.06 2.05 3/192 7764
/proc/meminfo: memFree=31550900/32770624 swapFree=6428/423644
[pid=7628] ppid=7625 vsize=54144 CPUtime=462.15 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 23401 0 0 0 46213 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4463806 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 54144
[startup+522.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/192 7765
/proc/meminfo: memFree=31550568/32770624 swapFree=6428/423676
[pid=7628] ppid=7625 vsize=54144 CPUtime=522.14 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 23873 0 0 0 52212 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4465470 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 54144
[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 7766
/proc/meminfo: memFree=31550540/32770624 swapFree=6428/423704
[pid=7628] ppid=7625 vsize=54144 CPUtime=582.12 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 24346 0 0 0 58210 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 54144
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/193 7846
/proc/meminfo: memFree=31550200/32770624 swapFree=6428/424272
[pid=7628] ppid=7625 vsize=54144 CPUtime=1541.86 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 31915 0 0 0 154184 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4463833 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 54144
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 7847
/proc/meminfo: memFree=31550468/32770624 swapFree=6428/424300
[pid=7628] ppid=7625 vsize=54144 CPUtime=1601.84 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 32388 0 0 0 160182 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4465443 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 54144
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 7848
/proc/meminfo: memFree=31550276/32770624 swapFree=6428/424336
[pid=7628] ppid=7625 vsize=54144 CPUtime=1661.82 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 32861 0 0 0 166180 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4484311 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 54144
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 7849
/proc/meminfo: memFree=31550104/32770624 swapFree=6428/424368
[pid=7628] ppid=7625 vsize=54144 CPUtime=1721.8 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 33334 0 0 0 172178 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4709418 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 54144
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 7850
/proc/meminfo: memFree=31549856/32770624 swapFree=6428/424396
[pid=7628] ppid=7625 vsize=54144 CPUtime=1781.79 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 33808 0 0 0 178177 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4463833 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 54144
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 7853
/proc/meminfo: memFree=31549928/32770624 swapFree=6428/424428
[pid=7628] ppid=7625 vsize=54144 CPUtime=1841.77 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 34282 0 0 0 184175 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 1841.77
Current children cumulated vsize (KiB) 54144
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 7862
/proc/meminfo: memFree=31549224/32770624 swapFree=6428/424464
[pid=7628] ppid=7625 vsize=54144 CPUtime=1901.75 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 34755 0 0 0 190173 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 1901.75
Current children cumulated vsize (KiB) 54144
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 7863
/proc/meminfo: memFree=31549920/32770624 swapFree=6428/424500
[pid=7628] ppid=7625 vsize=54144 CPUtime=1961.74 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 35228 0 0 0 196172 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4466976 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 1961.74
Current children cumulated vsize (KiB) 54144
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 7864
/proc/meminfo: memFree=31549464/32770624 swapFree=6428/424536
[pid=7628] ppid=7625 vsize=54144 CPUtime=2021.72 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 35701 0 0 0 202170 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4465470 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 2021.72
Current children cumulated vsize (KiB) 54144
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 7865
/proc/meminfo: memFree=31549864/32770624 swapFree=6428/424560
[pid=7628] ppid=7625 vsize=54144 CPUtime=2081.71 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 36176 0 0 0 208169 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 5818321 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 2081.71
Current children cumulated vsize (KiB) 54144
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 7866
/proc/meminfo: memFree=31549572/32770624 swapFree=6428/424592
[pid=7628] ppid=7625 vsize=54144 CPUtime=2141.69 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 36647 0 0 0 214167 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 5753888 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 2141.69
Current children cumulated vsize (KiB) 54144
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 7867
/proc/meminfo: memFree=31549648/32770624 swapFree=6428/424620
[pid=7628] ppid=7625 vsize=54144 CPUtime=2201.68 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 37116 0 0 0 220166 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4465465 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 2201.68
Current children cumulated vsize (KiB) 54144
[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/190 7868
/proc/meminfo: memFree=31549568/32770624 swapFree=6428/424660
[pid=7628] ppid=7625 vsize=54144 CPUtime=2261.66 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 37586 0 0 0 226164 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4463919 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 2261.66
Current children cumulated vsize (KiB) 54144
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 7869
/proc/meminfo: memFree=31549320/32770624 swapFree=6428/424688
[pid=7628] ppid=7625 vsize=54144 CPUtime=2321.65 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 37928 0 0 0 232163 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4463845 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 2321.65
Current children cumulated vsize (KiB) 54144
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 7870
/proc/meminfo: memFree=31548952/32770624 swapFree=6428/424716
[pid=7628] ppid=7625 vsize=54144 CPUtime=2381.63 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 38267 0 0 0 238161 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 4240688 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 2381.63
Current children cumulated vsize (KiB) 54144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 7870
/proc/meminfo: memFree=31549076/32770624 swapFree=6428/424724
[pid=7628] ppid=7625 vsize=54144 CPUtime=2400.03 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 38602 0 0 0 240001 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 54144
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 7628 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 7870
/proc/meminfo: memFree=31549076/32770624 swapFree=6428/424724
[pid=7628] ppid=7625 vsize=54144 CPUtime=2400.03 cores=1,3,5,7
/proc/7628/stat : 7628 (MistralXCSP) R 7625 7628 4849 0 -1 4202496 38602 0 0 0 240001 2 0 0 20 0 1 0 17514174 55443456 7228 33554432000 4194304 7402444 140728296866016 140728296861032 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 42737664 140728296871080 140728296871230 140728296871230 140728296873929 0
/proc/7628/statm: 13536 7228 712 784 0 6550 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 54144
Child status: 0
Real time (s): 2400.7
CPU time (s): 2400.04
CPU user time (s): 2400.01
CPU system time (s): 0.028992
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 54144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.028992
maximum resident set size= 28944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38644
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= 21
involuntary context switches= 120037
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.8738 second user time and 10.0202 second system time
The end