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-4260844-1502392771/watcher-4260844-1502392771 -o /tmp/evaluation-result-4260844-1502392771/solver-4260844-1502392771 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8161 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 436859137 HOME/instance-4260844-1502392771.xml
pid=16956
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16959
/proc/meminfo: memFree=31132612/32770624 swapFree=0/533280
[pid=16959] ppid=16956 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/16959/stat : 16959 (runsolver) D 16956 16959 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 41470642 24240128 106 18446744073709551615 4194304 4338465 140722141608176 140722141605816 140679954121431 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 24420352 140722141610125 140722141610570 140722141610570 140722141614026 0
/proc/16959/statm: 5918 106 53 36 0 2156 0
[startup+0.100196 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16959
/proc/meminfo: memFree=31132612/32770624 swapFree=0/533280
[pid=16959] ppid=16956 vsize=29192 CPUtime=0.01 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 1070 0 0 0 1 0 0 0 20 0 1 0 41470642 29892608 900 18446744073709551615 4194304 7396336 140720592528096 140720592525096 140444952161732 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 7298 900 615 782 0 314 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29192
[startup+0.200334 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16959
/proc/meminfo: memFree=31132612/32770624 swapFree=0/533280
[pid=16959] ppid=16956 vsize=31352 CPUtime=0.11 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 2064 0 0 0 11 0 0 0 20 0 1 0 41470642 32104448 1301 18446744073709551615 4194304 7396336 140720592528096 140720592525096 140444945816576 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 7838 1301 615 782 0 854 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 31352
[startup+0.300322 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16959
/proc/meminfo: memFree=31132612/32770624 swapFree=0/533280
[pid=16959] ppid=16956 vsize=38664 CPUtime=0.2 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 4118 0 0 0 20 0 0 0 20 0 1 0 41470642 39591936 2719 18446744073709551615 4194304 7396336 140720592528096 140720592518936 140444945378277 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 9666 2719 624 782 0 2682 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 38664
[startup+0.700322 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16959
/proc/meminfo: memFree=31132612/32770624 swapFree=0/533280
[pid=16959] ppid=16956 vsize=67428 CPUtime=0.6 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 11337 0 0 0 59 1 0 0 20 0 1 0 41470642 69046272 9913 18446744073709551615 4194304 7396336 140720592528096 140720592518936 6318046 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 16857 9913 647 782 0 9873 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 67428
[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 16960
/proc/meminfo: memFree=31071660/32770624 swapFree=0/533304
[pid=16959] ppid=16956 vsize=119848 CPUtime=1.4 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 24441 0 0 0 137 3 0 0 20 0 1 0 41470642 122724352 23047 18446744073709551615 4194304 7396336 140720592528096 140720592518552 140444946302548 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 29962 23047 647 782 0 22978 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 119848
[startup+3.10035 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 16960
/proc/meminfo: memFree=30987408/32770624 swapFree=0/533304
[pid=16959] ppid=16956 vsize=174220 CPUtime=3.01 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 59368 0 0 0 295 6 0 0 20 0 1 0 41470642 178401280 37129 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5791949 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 43555 37129 768 782 0 36571 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 174220
[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 16960
/proc/meminfo: memFree=30984188/32770624 swapFree=0/533296
[pid=16959] ppid=16956 vsize=177652 CPUtime=6.2 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 84777 0 0 0 613 7 0 0 20 0 1 0 41470642 181915648 37954 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 44413 37954 768 782 0 37429 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 177652
[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 16961
/proc/meminfo: memFree=30982436/32770624 swapFree=0/533292
[pid=16959] ppid=16956 vsize=178972 CPUtime=12.6 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 109720 0 0 0 1251 9 0 0 20 0 1 0 41470642 183267328 38287 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 44743 38287 768 782 0 37759 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 178972
[startup+25.5004 s]
/proc/loadavg: 2.14 2.05 2.06 3/182 16961
/proc/meminfo: memFree=30976760/32770624 swapFree=0/533296
[pid=16959] ppid=16956 vsize=184252 CPUtime=25.4 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 161620 0 0 0 2529 11 0 0 20 0 1 0 41470642 188674048 39564 18446744073709551615 4194304 7396336 140720592528096 140720592522632 4317601 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 46063 39564 768 782 0 39079 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 184252
[startup+51.1004 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 16961
/proc/meminfo: memFree=30974448/32770624 swapFree=0/533296
[pid=16959] ppid=16956 vsize=187552 CPUtime=50.99 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 188959 0 0 0 5087 12 0 0 20 0 1 0 41470642 192053248 40399 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 46888 40399 768 782 0 39904 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 187552
[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 16963
/proc/meminfo: memFree=30969532/32770624 swapFree=0/533308
[pid=16959] ppid=16956 vsize=189820 CPUtime=102.18 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 209201 0 0 0 10205 13 0 0 20 0 1 0 41470642 194375680 40973 18446744073709551615 4194304 7396336 140720592528096 140720592522760 4581710 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 47455 40973 768 782 0 40471 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 189820
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 16965
/proc/meminfo: memFree=30966972/32770624 swapFree=0/533320
[pid=16959] ppid=16956 vsize=192196 CPUtime=162.16 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 217641 0 0 0 16202 14 0 0 20 0 1 0 41470642 196808704 41564 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48049 41564 768 782 0 41065 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 192196
[startup+222.306 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 16967
/proc/meminfo: memFree=30965608/32770624 swapFree=0/533324
[pid=16959] ppid=16956 vsize=192592 CPUtime=222.16 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 218941 0 0 0 22202 14 0 0 20 0 1 0 41470642 197214208 41697 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48148 41697 768 782 0 41164 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 192592
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 16984
/proc/meminfo: memFree=30960848/32770624 swapFree=0/533372
[pid=16959] ppid=16956 vsize=193252 CPUtime=282.15 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 220409 0 0 0 28201 14 0 0 20 0 1 0 41470642 197890048 41859 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792034 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48313 41859 768 782 0 41329 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 193252
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 16986
/proc/meminfo: memFree=30960040/32770624 swapFree=0/533392
[pid=16959] ppid=16956 vsize=193252 CPUtime=342.14 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 221861 0 0 0 34200 14 0 0 20 0 1 0 41470642 197890048 41887 18446744073709551615 4194304 7396336 140720592528096 140720592522632 4317390 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48313 41887 768 782 0 41329 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 193252
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 16988
/proc/meminfo: memFree=30962628/32770624 swapFree=0/533404
[pid=16959] ppid=16956 vsize=193516 CPUtime=402.13 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 223001 0 0 0 40199 14 0 0 20 0 1 0 41470642 198160384 41893 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48379 41893 768 782 0 41395 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 193516
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 16990
/proc/meminfo: memFree=30962504/32770624 swapFree=0/533408
[pid=16959] ppid=16956 vsize=193780 CPUtime=462.12 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 224082 0 0 0 46198 14 0 0 20 0 1 0 41470642 198430720 41985 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5791926 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48445 41985 768 782 0 41461 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 193780
[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 16992
/proc/meminfo: memFree=30962876/32770624 swapFree=0/533420
[pid=16959] ppid=16956 vsize=194044 CPUtime=522.13 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 225222 0 0 0 52198 15 0 0 20 0 1 0 41470642 198701056 42037 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48511 42037 768 782 0 41527 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 194044
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 16994
/proc/meminfo: memFree=30962148/32770624 swapFree=0/533440
[pid=16959] ppid=16956 vsize=194440 CPUtime=582.12 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 226471 0 0 0 58197 15 0 0 20 0 1 0 41470642 199106560 42149 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48610 42149 768 782 0 41626 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 194440
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/181 17059
/proc/meminfo: memFree=30958172/32770624 swapFree=0/533728
[pid=16959] ppid=16956 vsize=195760 CPUtime=1602.03 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 243184 0 0 0 160187 16 0 0 20 0 1 0 41470642 200458240 42477 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48940 42477 768 782 0 41956 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 195760
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 17061
/proc/meminfo: memFree=30958596/32770624 swapFree=0/533732
[pid=16959] ppid=16956 vsize=195760 CPUtime=1662.02 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 244244 0 0 0 166186 16 0 0 20 0 1 0 41470642 200458240 42495 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48940 42495 768 782 0 41956 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 195760
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 17063
/proc/meminfo: memFree=30958472/32770624 swapFree=0/533744
[pid=16959] ppid=16956 vsize=195760 CPUtime=1722.01 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 244794 0 0 0 172185 16 0 0 20 0 1 0 41470642 200458240 42495 18446744073709551615 4194304 7396336 140720592528096 140720592522632 4406552 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48940 42495 768 782 0 41956 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 195760
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 17065
/proc/meminfo: memFree=30958472/32770624 swapFree=0/533756
[pid=16959] ppid=16956 vsize=195760 CPUtime=1782.01 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 245348 0 0 0 178185 16 0 0 20 0 1 0 41470642 200458240 42496 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792180 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48940 42496 768 782 0 41956 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 195760
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 17067
/proc/meminfo: memFree=30958596/32770624 swapFree=0/533780
[pid=16959] ppid=16956 vsize=195760 CPUtime=1842 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 245905 0 0 0 184184 16 0 0 20 0 1 0 41470642 200458240 42501 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48940 42501 768 782 0 41956 0
Current children cumulated CPU time (s) 1842
Current children cumulated vsize (KiB) 195760
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17069
/proc/meminfo: memFree=30959096/32770624 swapFree=0/533788
[pid=16959] ppid=16956 vsize=195760 CPUtime=1902 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 246458 0 0 0 190184 16 0 0 20 0 1 0 41470642 200458240 42504 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792063 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48940 42504 768 782 0 41956 0
Current children cumulated CPU time (s) 1902
Current children cumulated vsize (KiB) 195760
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17071
/proc/meminfo: memFree=30959096/32770624 swapFree=0/533792
[pid=16959] ppid=16956 vsize=195760 CPUtime=1961.99 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 247010 0 0 0 196183 16 0 0 20 0 1 0 41470642 200458240 42504 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48940 42504 768 782 0 41956 0
Current children cumulated CPU time (s) 1961.99
Current children cumulated vsize (KiB) 195760
[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 17073
/proc/meminfo: memFree=30959716/32770624 swapFree=0/533796
[pid=16959] ppid=16956 vsize=195760 CPUtime=2021.99 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 247560 0 0 0 202183 16 0 0 20 0 1 0 41470642 200458240 42504 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48940 42504 768 782 0 41956 0
Current children cumulated CPU time (s) 2021.99
Current children cumulated vsize (KiB) 195760
[startup+2082.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/184 17089
/proc/meminfo: memFree=30955744/32770624 swapFree=0/533840
[pid=16959] ppid=16956 vsize=195760 CPUtime=2081.99 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 248125 0 0 0 208183 16 0 0 20 0 1 0 41470642 200458240 42504 18446744073709551615 4194304 7396336 140720592528096 140720592522632 4252992 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48940 42504 768 782 0 41956 0
Current children cumulated CPU time (s) 2081.99
Current children cumulated vsize (KiB) 195760
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 17091
/proc/meminfo: memFree=30955904/32770624 swapFree=0/533872
[pid=16959] ppid=16956 vsize=195760 CPUtime=2141.98 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 248688 0 0 0 214182 16 0 0 20 0 1 0 41470642 200458240 42510 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48940 42510 768 782 0 41956 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 195760
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17093
/proc/meminfo: memFree=30959360/32770624 swapFree=0/533876
[pid=16959] ppid=16956 vsize=195760 CPUtime=2201.98 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 249257 0 0 0 220182 16 0 0 20 0 1 0 41470642 200458240 42513 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792030 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48940 42513 768 782 0 41956 0
Current children cumulated CPU time (s) 2201.98
Current children cumulated vsize (KiB) 195760
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17095
/proc/meminfo: memFree=30958292/32770624 swapFree=0/533892
[pid=16959] ppid=16956 vsize=195760 CPUtime=2261.96 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 249824 0 0 0 226180 16 0 0 20 0 1 0 41470642 200458240 42513 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5791906 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48940 42513 768 782 0 41956 0
Current children cumulated CPU time (s) 2261.96
Current children cumulated vsize (KiB) 195760
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17097
/proc/meminfo: memFree=30957796/32770624 swapFree=0/533900
[pid=16959] ppid=16956 vsize=195892 CPUtime=2321.96 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 250410 0 0 0 232180 16 0 0 20 0 1 0 41470642 200593408 42528 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48973 42528 768 782 0 41989 0
Current children cumulated CPU time (s) 2321.96
Current children cumulated vsize (KiB) 195892
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17099
/proc/meminfo: memFree=30958044/32770624 swapFree=0/533920
[pid=16959] ppid=16956 vsize=195892 CPUtime=2381.95 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 251001 0 0 0 238179 16 0 0 20 0 1 0 41470642 200593408 42532 18446744073709551615 4194304 7396336 140720592528096 140720592522632 4406460 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48973 42532 768 782 0 41989 0
Current children cumulated CPU time (s) 2381.95
Current children cumulated vsize (KiB) 195892
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17162
/proc/meminfo: memFree=31004072/32770624 swapFree=0/533980
[pid=16959] ppid=16956 vsize=195892 CPUtime=2441.95 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 251590 0 0 0 244179 16 0 0 20 0 1 0 41470642 200593408 42534 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5165816 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48973 42534 768 782 0 41989 0
Current children cumulated CPU time (s) 2441.95
Current children cumulated vsize (KiB) 195892
[startup+2502.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 17164
/proc/meminfo: memFree=31002744/32770624 swapFree=0/534000
[pid=16959] ppid=16956 vsize=195892 CPUtime=2501.94 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 252183 0 0 0 250178 16 0 0 20 0 1 0 41470642 200593408 42535 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5792027 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48973 42535 768 782 0 41989 0
Current children cumulated CPU time (s) 2501.94
Current children cumulated vsize (KiB) 195892
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 17164
/proc/meminfo: memFree=31002000/32770624 swapFree=0/533996
[pid=16959] ppid=16956 vsize=195892 CPUtime=2519.64 cores=0,2,4,6
/proc/16959/stat : 16959 (MistralXCSP) R 16956 16959 16590 0 -1 4202496 252449 0 0 0 251948 16 0 0 20 0 1 0 41470642 200593408 42541 18446744073709551615 4194304 7396336 140720592528096 140720592522632 5791906 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 41213952 140720592531892 140720592532041 140720592532041 140720592535497 0
/proc/16959/statm: 48973 42541 768 782 0 41989 0
Current children cumulated CPU time (s) 2519.64
Current children cumulated vsize (KiB) 195892
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 16959 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2519.65
CPU user time (s): 2519.49
CPU system time (s): 0.168985
CPU usage (%): 99.9862
Max. virtual memory (cumulated for all children) (KiB): 195892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.49
system time used= 0.168985
maximum resident set size= 170164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252486
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= 66
involuntary context switches= 3152
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4581 second user time and 10.9132 second system time
The end