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-4242641-1500657874/watcher-4242641-1500657874 -o /tmp/evaluation-result-4242641-1500657874/solver-4242641-1500657874 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500648176-2484 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 257727133 HOME/instance-4242641-1500657874.xml
pid=3964
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.90 1.98 2.03 2/242 3967
/proc/meminfo: memFree=31987368/32770624 swapFree=5780/211336
[pid=3967] ppid=3964 vsize=28976 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 1025 0 0 0 0 0 0 0 20 0 1 0 1055686 29671424 802 33554432000 4194304 7402444 140724387463424 140724387460472 6143905 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 7244 802 618 784 0 258 0
[startup+0.100124 s]
/proc/loadavg: 1.90 1.98 2.03 2/242 3967
/proc/meminfo: memFree=31987368/32770624 swapFree=5780/211336
[pid=3967] ppid=3964 vsize=44460 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 5130 0 0 0 8 0 0 0 20 0 1 0 1055686 45527040 4756 33554432000 4194304 7402444 140724387463424 140724387458440 140480098659301 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11115 4756 711 784 0 4129 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 44460
[startup+0.200312 s]
/proc/loadavg: 1.90 1.98 2.03 2/242 3967
/proc/meminfo: memFree=31987368/32770624 swapFree=5780/211336
[pid=3967] ppid=3964 vsize=45252 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 5325 0 0 0 18 1 0 0 20 0 1 0 1055686 46338048 4954 33554432000 4194304 7402444 140724387463424 140724387458440 4484571 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11313 4954 711 784 0 4327 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 45252
[startup+0.300264 s]
/proc/loadavg: 1.90 1.98 2.03 2/242 3967
/proc/meminfo: memFree=31987368/32770624 swapFree=5780/211336
[pid=3967] ppid=3964 vsize=45384 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 5366 0 0 0 28 1 0 0 20 0 1 0 1055686 46473216 5020 33554432000 4194304 7402444 140724387463424 140724387458440 5754048 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11346 5020 711 784 0 4360 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45384
[startup+0.700227 s]
/proc/loadavg: 1.90 1.98 2.03 2/242 3967
/proc/meminfo: memFree=31987368/32770624 swapFree=5780/211336
[pid=3967] ppid=3964 vsize=45516 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 5402 0 0 0 68 1 0 0 20 0 1 0 1055686 46608384 5020 33554432000 4194304 7402444 140724387463424 140724387458440 4378623 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5020 711 784 0 4393 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45516
[startup+1.50019 s]
/proc/loadavg: 1.91 1.98 2.03 3/243 4041
/proc/meminfo: memFree=32018868/32770624 swapFree=5780/211408
[pid=3967] ppid=3964 vsize=45516 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 5405 0 0 0 148 1 0 0 20 0 1 0 1055686 46608384 5020 33554432000 4194304 7402444 140724387463424 140724387458440 4484606 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5020 711 784 0 4393 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45516
[startup+3.10021 s]
/proc/loadavg: 1.91 1.98 2.03 3/243 4041
/proc/meminfo: memFree=32008300/32770624 swapFree=5780/211416
[pid=3967] ppid=3964 vsize=45516 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 8500 0 0 0 308 1 0 0 20 0 1 0 1055686 46608384 5085 33554432000 4194304 7402444 140724387463424 140724387458440 4484555 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5085 711 784 0 4393 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45516
[startup+6.30018 s]
/proc/loadavg: 1.91 1.98 2.03 3/243 4041
/proc/meminfo: memFree=32007816/32770624 swapFree=5780/211444
[pid=3967] ppid=3964 vsize=45516 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 11598 0 0 0 628 1 0 0 20 0 1 0 1055686 46608384 5086 33554432000 4194304 7402444 140724387463424 140724387458440 4747413 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5086 711 784 0 4393 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45516
[startup+12.7003 s]
/proc/loadavg: 1.92 1.98 2.03 3/243 4041
/proc/meminfo: memFree=32005972/32770624 swapFree=5780/211452
[pid=3967] ppid=3964 vsize=45516 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 14703 0 0 0 1267 1 0 0 20 0 1 0 1055686 46608384 5086 33554432000 4194304 7402444 140724387463424 140724387458440 4484611 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5086 711 784 0 4393 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45516
[startup+25.5003 s]
/proc/loadavg: 1.94 1.98 2.03 3/243 4041
/proc/meminfo: memFree=32005196/32770624 swapFree=5780/211460
[pid=3967] ppid=3964 vsize=45516 CPUtime=25.47 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 15671 0 0 0 2546 1 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 45516
[startup+51.1004 s]
/proc/loadavg: 1.96 1.99 2.03 3/243 4042
/proc/meminfo: memFree=32005576/32770624 swapFree=5780/211432
[pid=3967] ppid=3964 vsize=45516 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 16175 0 0 0 5106 1 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 5878058 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 45516
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/243 4043
/proc/meminfo: memFree=32005552/32770624 swapFree=5780/211484
[pid=3967] ppid=3964 vsize=45516 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 16656 0 0 0 10226 1 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 4484513 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 45516
[startup+162.3 s]
/proc/loadavg: 2.05 2.00 2.04 3/243 4044
/proc/meminfo: memFree=32005836/32770624 swapFree=5780/211520
[pid=3967] ppid=3964 vsize=45516 CPUtime=162.25 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 17140 0 0 0 16224 1 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 5758615 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 45516
[startup+222.308 s]
/proc/loadavg: 2.02 2.00 2.04 3/243 4046
/proc/meminfo: memFree=32005904/32770624 swapFree=5780/211548
[pid=3967] ppid=3964 vsize=45516 CPUtime=222.25 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 17622 0 0 0 22224 1 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 4248711 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 45516
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/243 4047
/proc/meminfo: memFree=32005936/32770624 swapFree=5780/211580
[pid=3967] ppid=3964 vsize=45516 CPUtime=282.23 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 18105 0 0 0 28222 1 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 4484544 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 45516
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/243 4055
/proc/meminfo: memFree=32005148/32770624 swapFree=5780/211616
[pid=3967] ppid=3964 vsize=45516 CPUtime=342.21 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 18589 0 0 0 34220 1 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 45516
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/243 4056
/proc/meminfo: memFree=32005512/32770624 swapFree=5780/211652
[pid=3967] ppid=3964 vsize=45516 CPUtime=402.21 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 19071 0 0 0 40220 1 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 5877898 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 45516
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/243 4057
/proc/meminfo: memFree=32005384/32770624 swapFree=5780/211684
[pid=3967] ppid=3964 vsize=45516 CPUtime=462.2 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 19558 0 0 0 46218 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 45516
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4058
/proc/meminfo: memFree=32005508/32770624 swapFree=5780/211724
[pid=3967] ppid=3964 vsize=45516 CPUtime=522.19 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 20052 0 0 0 52217 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 5754032 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 45516
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4059
/proc/meminfo: memFree=32005380/32770624 swapFree=5780/211752
[pid=3967] ppid=3964 vsize=45516 CPUtime=582.18 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 20535 0 0 0 58216 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 4484558 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 45516
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4091
/proc/meminfo: memFree=32001060/32770624 swapFree=5780/212032
[pid=3967] ppid=3964 vsize=45516 CPUtime=1542.01 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 28252 0 0 0 154199 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 4379234 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 45516
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4092
/proc/meminfo: memFree=32001372/32770624 swapFree=5780/212060
[pid=3967] ppid=3964 vsize=45516 CPUtime=1602 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 28729 0 0 0 160198 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 45516
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 4093
/proc/meminfo: memFree=32000976/32770624 swapFree=5780/212092
[pid=3967] ppid=3964 vsize=45516 CPUtime=1661.99 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 29203 0 0 0 166197 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 4484412 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 45516
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4094
/proc/meminfo: memFree=32000848/32770624 swapFree=5780/212120
[pid=3967] ppid=3964 vsize=45516 CPUtime=1721.98 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 29407 0 0 0 172196 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 4378600 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 45516
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 4095
/proc/meminfo: memFree=32000688/32770624 swapFree=5780/212148
[pid=3967] ppid=3964 vsize=45516 CPUtime=1781.97 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 29889 0 0 0 178195 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 4484415 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 45516
[startup+1842.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/243 4097
/proc/meminfo: memFree=32000712/32770624 swapFree=5780/212184
[pid=3967] ppid=3964 vsize=45516 CPUtime=1841.96 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 30370 0 0 0 184194 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 5754037 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 1841.96
Current children cumulated vsize (KiB) 45516
[startup+1902.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/243 4098
/proc/meminfo: memFree=32001732/32770624 swapFree=5780/212220
[pid=3967] ppid=3964 vsize=45516 CPUtime=1901.95 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 30862 0 0 0 190193 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 5877861 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 1901.95
Current children cumulated vsize (KiB) 45516
[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 4099
/proc/meminfo: memFree=32000412/32770624 swapFree=5780/212252
[pid=3967] ppid=3964 vsize=45516 CPUtime=1961.94 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 31344 0 0 0 196192 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 5754034 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 1961.94
Current children cumulated vsize (KiB) 45516
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 4101
/proc/meminfo: memFree=32000204/32770624 swapFree=5780/212284
[pid=3967] ppid=3964 vsize=45516 CPUtime=2021.93 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 31837 0 0 0 202191 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 4709470 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 2021.93
Current children cumulated vsize (KiB) 45516
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4102
/proc/meminfo: memFree=31999620/32770624 swapFree=5780/212316
[pid=3967] ppid=3964 vsize=45516 CPUtime=2081.92 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 32319 0 0 0 208190 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 4484776 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 2081.92
Current children cumulated vsize (KiB) 45516
[startup+2142.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 4110
/proc/meminfo: memFree=31999712/32770624 swapFree=5780/212352
[pid=3967] ppid=3964 vsize=45516 CPUtime=2141.9 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 32800 0 0 0 214188 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 4464330 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 2141.9
Current children cumulated vsize (KiB) 45516
[startup+2202.31 s]
/proc/loadavg: 2.03 2.02 2.05 3/244 4134
/proc/meminfo: memFree=31999848/32770624 swapFree=5780/212384
[pid=3967] ppid=3964 vsize=45516 CPUtime=2201.91 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 33058 0 0 0 220189 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 5754034 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 2201.91
Current children cumulated vsize (KiB) 45516
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4135
/proc/meminfo: memFree=31999872/32770624 swapFree=5780/212416
[pid=3967] ppid=3964 vsize=45516 CPUtime=2261.89 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 33546 0 0 0 226187 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 4484480 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 2261.89
Current children cumulated vsize (KiB) 45516
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/244 4136
/proc/meminfo: memFree=32000176/32770624 swapFree=5780/212444
[pid=3967] ppid=3964 vsize=45516 CPUtime=2321.88 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 34028 0 0 0 232186 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 140480102094480 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 2321.88
Current children cumulated vsize (KiB) 45516
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 4137
/proc/meminfo: memFree=32001628/32770624 swapFree=5780/212476
[pid=3967] ppid=3964 vsize=45516 CPUtime=2381.86 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 34510 0 0 0 238184 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 4484528 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 2381.86
Current children cumulated vsize (KiB) 45516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 4137
/proc/meminfo: memFree=32001868/32770624 swapFree=5780/212492
[pid=3967] ppid=3964 vsize=45516 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 34711 0 0 0 240004 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 5818210 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 45516
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 3967 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 4137
/proc/meminfo: memFree=32001868/32770624 swapFree=5780/212492
[pid=3967] ppid=3964 vsize=45516 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/3967/stat : 3967 (MistralXCSP) R 3964 3967 2452 0 -1 4202496 34711 0 0 0 240004 2 0 0 20 0 1 0 1055686 46608384 5087 33554432000 4194304 7402444 140724387463424 140724387458440 5818210 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 32739328 140724387472553 140724387472702 140724387472702 140724387475401 0
/proc/3967/statm: 11379 5087 711 784 0 4393 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 45516
Child status: 0
Real time (s): 2400.5
CPU time (s): 2400.07
CPU user time (s): 2400.05
CPU system time (s): 0.026995
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 45516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.026995
maximum resident set size= 20380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34752
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= 13
involuntary context switches= 120633
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.80096 second user time and 11.0046 second system time
The end