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-4261243-1502354424/watcher-4261243-1502354424 -o /tmp/evaluation-result-4261243-1502354424/solver-4261243-1502354424 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20548 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1777167443 HOME/instance-4261243-1502354424.xml
pid=25536
running on 4 cores: 1,3,5,7
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.06 2.04 2.05 3/180 25539
/proc/meminfo: memFree=31313040/32770624 swapFree=0/479304
[pid=25539] ppid=25536 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/25539/stat : 25539 (runsolver) D 25536 25539 4057 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 37663266 24240128 108 18446744073709551615 4194304 4338465 140731317857952 140731317855592 139710405845719 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 16211968 140731317866635 140731317867082 140731317867082 140731317870538 0
/proc/25539/statm: 5918 108 54 36 0 2156 0
[startup+0.100137 s]
/proc/loadavg: 2.06 2.04 2.05 3/180 25539
/proc/meminfo: memFree=31313040/32770624 swapFree=0/479304
[pid=25539] ppid=25536 vsize=28792 CPUtime=0 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 927 0 0 0 0 0 0 0 20 0 1 0 37663266 29483008 763 18446744073709551615 4194304 7396336 140727890255952 140727890252952 140064871488485 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 7198 763 591 782 0 214 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28792
[startup+0.200269 s]
/proc/loadavg: 2.06 2.04 2.05 3/180 25539
/proc/meminfo: memFree=31313040/32770624 swapFree=0/479304
[pid=25539] ppid=25536 vsize=45844 CPUtime=0.09 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 4382 0 0 0 9 0 0 0 20 0 1 0 37663266 46944256 4982 18446744073709551615 4194304 7396336 140727890255952 140727890252952 140064871488485 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 11461 4982 608 782 0 4477 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45844
[startup+0.300351 s]
/proc/loadavg: 2.06 2.04 2.05 3/180 25539
/proc/meminfo: memFree=31313040/32770624 swapFree=0/479304
[pid=25539] ppid=25536 vsize=52576 CPUtime=0.19 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 6065 0 0 0 19 0 0 0 20 0 1 0 37663266 53837824 6698 18446744073709551615 4194304 7396336 140727890255952 140727890247352 140064871488485 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 13144 6698 608 782 0 6160 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 52576
[startup+0.700272 s]
/proc/loadavg: 2.06 2.04 2.05 3/180 25539
/proc/meminfo: memFree=31313040/32770624 swapFree=0/479304
[pid=25539] ppid=25536 vsize=79504 CPUtime=0.59 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 12824 0 0 0 58 1 0 0 20 0 1 0 37663266 81412096 13430 18446744073709551615 4194304 7396336 140727890255952 140727890247352 140064871488485 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 19876 13430 608 782 0 12892 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 79504
[startup+1.50029 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 25540
/proc/meminfo: memFree=31236432/32770624 swapFree=0/479056
[pid=25539] ppid=25536 vsize=123724 CPUtime=1.39 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 23872 0 0 0 137 2 0 0 20 0 1 0 37663266 126693376 24518 18446744073709551615 4194304 7396336 140727890255952 140727890247352 140064871488485 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 30931 24518 608 782 0 23947 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 123724
[startup+3.1003 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 25540
/proc/meminfo: memFree=31123580/32770624 swapFree=0/479056
[pid=25539] ppid=25536 vsize=506688 CPUtime=2.99 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 115721 0 0 0 285 14 0 0 20 0 1 0 37663266 518848512 120057 18446744073709551615 4194304 7396336 140727890255952 140727890247288 140064878281227 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 126672 120057 608 782 0 119688 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 506688
[startup+6.30025 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 25540
/proc/meminfo: memFree=30493436/32770624 swapFree=0/479052
[pid=25539] ppid=25536 vsize=856884 CPUtime=6.19 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 182745 0 0 0 595 24 0 0 20 0 1 0 37663266 877449216 204970 18446744073709551615 4194304 7396336 140727890255952 140727890249192 5932745 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 214221 204970 668 782 0 207237 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 856884
[startup+12.7003 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 25540
/proc/meminfo: memFree=30493176/32770624 swapFree=0/479048
[pid=25539] ppid=25536 vsize=856884 CPUtime=12.6 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 193112 0 0 0 1235 25 0 0 20 0 1 0 37663266 877449216 205033 18446744073709551615 4194304 7396336 140727890255952 140727890245728 6056590 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 214221 205033 731 782 0 207237 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 856884
[startup+25.5003 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 25540
/proc/meminfo: memFree=30493424/32770624 swapFree=0/479044
[pid=25539] ppid=25536 vsize=856884 CPUtime=25.4 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 209384 0 0 0 2514 26 0 0 20 0 1 0 37663266 877449216 205033 18446744073709551615 4194304 7396336 140727890255952 140727890245728 6324247 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 214221 205033 731 782 0 207237 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 856884
[startup+51.1003 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 25540
/proc/meminfo: memFree=30489084/32770624 swapFree=0/479036
[pid=25539] ppid=25536 vsize=861768 CPUtime=51 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 229675 0 0 0 5073 27 0 0 20 0 1 0 37663266 882450432 206235 18446744073709551615 4194304 7396336 140727890255952 140727890246600 5952078 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 215442 206235 731 782 0 208458 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 861768
[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 25543
/proc/meminfo: memFree=30418100/32770624 swapFree=0/479048
[pid=25539] ppid=25536 vsize=931496 CPUtime=102.2 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 260948 0 0 0 10190 30 0 0 20 0 1 0 37663266 953851904 223700 18446744073709551615 4194304 7396336 140727890255952 140727890246600 5920154 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 232874 223700 731 782 0 225890 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 931496
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 25545
/proc/meminfo: memFree=30355612/32770624 swapFree=0/479064
[pid=25539] ppid=25536 vsize=996328 CPUtime=162.2 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 292088 0 0 0 16185 35 0 0 20 0 1 0 37663266 1020239872 239895 18446744073709551615 4194304 7396336 140727890255952 140727890246600 140064878276994 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 249082 239895 731 782 0 242098 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 996328
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 25561
/proc/meminfo: memFree=30263396/32770624 swapFree=0/479080
[pid=25539] ppid=25536 vsize=1080436 CPUtime=222.21 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 328711 0 0 0 22182 39 0 0 20 0 1 0 37663266 1106366464 260933 18446744073709551615 4194304 7396336 140727890255952 140727890246600 6163576 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 270109 260933 731 782 0 263125 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1080436
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 25563
/proc/meminfo: memFree=30191752/32770624 swapFree=0/479100
[pid=25539] ppid=25536 vsize=1152484 CPUtime=282.21 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 351920 0 0 0 28178 43 0 0 20 0 1 0 37663266 1180143616 278947 18446744073709551615 4194304 7396336 140727890255952 140727890246600 6181120 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 288121 278947 731 782 0 281137 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1152484
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 25565
/proc/meminfo: memFree=30142516/32770624 swapFree=0/479116
[pid=25539] ppid=25536 vsize=1203808 CPUtime=342.21 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 372824 0 0 0 34176 45 0 0 20 0 1 0 37663266 1232699392 291790 18446744073709551615 4194304 7396336 140727890255952 140727890246600 140064877974322 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 300952 291790 731 782 0 293968 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1203808
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 25567
/proc/meminfo: memFree=30081436/32770624 swapFree=0/479128
[pid=25539] ppid=25536 vsize=1265216 CPUtime=402.21 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 396759 0 0 0 40172 49 0 0 20 0 1 0 37663266 1295581184 307134 18446744073709551615 4194304 7396336 140727890255952 140727890246600 4566039 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 316304 307134 731 782 0 309320 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1265216
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25569
/proc/meminfo: memFree=30046140/32770624 swapFree=0/479140
[pid=25539] ppid=25536 vsize=1300248 CPUtime=462.21 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 413668 0 0 0 46170 51 0 0 20 0 1 0 37663266 1331453952 315880 18446744073709551615 4194304 7396336 140727890255952 140727890246600 6189978 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 325062 315880 731 782 0 318078 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1300248
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25571
/proc/meminfo: memFree=29974688/32770624 swapFree=0/479156
[pid=25539] ppid=25536 vsize=1371884 CPUtime=522.22 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 437109 0 0 0 52166 56 0 0 20 0 1 0 37663266 1404809216 333809 18446744073709551615 4194304 7396336 140727890255952 140727890246600 140064871481068 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 342971 333809 731 782 0 335987 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 1371884
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25573
/proc/meminfo: memFree=29844840/32770624 swapFree=0/479168
[pid=25539] ppid=25536 vsize=1501336 CPUtime=582.22 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 463595 0 0 0 58162 60 0 0 20 0 1 0 37663266 1537368064 366119 18446744073709551615 4194304 7396336 140727890255952 140727890246600 140064871481144 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 375334 366119 731 782 0 368350 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 1501336
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25635
/proc/meminfo: memFree=29267372/32770624 swapFree=0/479424
[pid=25539] ppid=25536 vsize=2087616 CPUtime=1602.3 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 597933 0 0 0 160146 84 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 5575227 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 2087616
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25637
/proc/meminfo: memFree=29267868/32770624 swapFree=0/479416
[pid=25539] ppid=25536 vsize=2087616 CPUtime=1662.31 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 598674 0 0 0 166147 84 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 4246597 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 2087616
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 25640
/proc/meminfo: memFree=29267744/32770624 swapFree=0/479432
[pid=25539] ppid=25536 vsize=2087616 CPUtime=1722.31 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 599409 0 0 0 172147 84 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 4245088 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 2087616
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 25642
/proc/meminfo: memFree=29267868/32770624 swapFree=0/479468
[pid=25539] ppid=25536 vsize=2087616 CPUtime=1782.32 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 600195 0 0 0 178148 84 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 5162982 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 2087616
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 25644
/proc/meminfo: memFree=29267992/32770624 swapFree=0/479464
[pid=25539] ppid=25536 vsize=2087616 CPUtime=1842.32 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 600982 0 0 0 184148 84 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 5162933 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 1842.32
Current children cumulated vsize (KiB) 2087616
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25647
/proc/meminfo: memFree=29267372/32770624 swapFree=0/479468
[pid=25539] ppid=25536 vsize=2087616 CPUtime=1902.33 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 601765 0 0 0 190149 84 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 4246597 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 1902.33
Current children cumulated vsize (KiB) 2087616
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25649
/proc/meminfo: memFree=29267744/32770624 swapFree=0/479496
[pid=25539] ppid=25536 vsize=2087616 CPUtime=1962.33 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 602501 0 0 0 196149 84 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 5162969 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 1962.33
Current children cumulated vsize (KiB) 2087616
[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 25666
/proc/meminfo: memFree=29262124/32770624 swapFree=0/479504
[pid=25539] ppid=25536 vsize=2087616 CPUtime=2022.34 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 603227 0 0 0 202150 84 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 5162969 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 2022.34
Current children cumulated vsize (KiB) 2087616
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 25692
/proc/meminfo: memFree=29262716/32770624 swapFree=0/479564
[pid=25539] ppid=25536 vsize=2087616 CPUtime=2082.35 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 603945 0 0 0 208151 84 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 5162969 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 2082.35
Current children cumulated vsize (KiB) 2087616
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 25694
/proc/meminfo: memFree=29263228/32770624 swapFree=0/479588
[pid=25539] ppid=25536 vsize=2087616 CPUtime=2142.35 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 604730 0 0 0 214151 84 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 5163046 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 2142.35
Current children cumulated vsize (KiB) 2087616
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 25696
/proc/meminfo: memFree=29267148/32770624 swapFree=0/479608
[pid=25539] ppid=25536 vsize=2087616 CPUtime=2202.36 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 605499 0 0 0 220152 84 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 5578150 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 2202.36
Current children cumulated vsize (KiB) 2087616
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 25758
/proc/meminfo: memFree=28956348/32770624 swapFree=0/479612
[pid=25539] ppid=25536 vsize=2087616 CPUtime=2262.37 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 606221 0 0 0 226152 85 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 5162982 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 2262.37
Current children cumulated vsize (KiB) 2087616
[startup+2322.3 s]
/proc/loadavg: 2.24 2.08 2.06 3/181 25760
/proc/meminfo: memFree=28840244/32770624 swapFree=0/479620
[pid=25539] ppid=25536 vsize=2087616 CPUtime=2322.37 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 606946 0 0 0 232152 85 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 5162969 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 2322.37
Current children cumulated vsize (KiB) 2087616
[startup+2382.3 s]
/proc/loadavg: 2.09 2.06 2.06 3/181 25762
/proc/meminfo: memFree=28839764/32770624 swapFree=0/479616
[pid=25539] ppid=25536 vsize=2087616 CPUtime=2382.38 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 607781 0 0 0 238153 85 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 4246607 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 2382.38
Current children cumulated vsize (KiB) 2087616
[startup+2442.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/181 25764
/proc/meminfo: memFree=28839764/32770624 swapFree=0/479620
[pid=25539] ppid=25536 vsize=2087616 CPUtime=2442.39 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 608576 0 0 0 244154 85 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 5162982 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 2442.39
Current children cumulated vsize (KiB) 2087616
[startup+2502.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 25766
/proc/meminfo: memFree=28839640/32770624 swapFree=0/479640
[pid=25539] ppid=25536 vsize=2087616 CPUtime=2502.39 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 609336 0 0 0 250154 85 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 5839314 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 2502.39
Current children cumulated vsize (KiB) 2087616
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.08 2.06 2.05 3/181 25767
/proc/meminfo: memFree=28839764/32770624 swapFree=0/479664
[pid=25539] ppid=25536 vsize=2087616 CPUtime=2520.09 cores=1,3,5,7
/proc/25539/stat : 25539 (MistralXCSP) R 25536 25539 4057 0 -1 4202496 609476 0 0 0 251924 85 0 0 20 0 1 0 37663266 2137718784 510197 18446744073709551615 4194304 7396336 140727890255952 140727890250584 5162969 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 40665088 140727890260403 140727890260553 140727890260553 140727890264009 0
/proc/25539/statm: 521904 510197 772 782 0 514920 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 2087616
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 25539 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2520.11
CPU user time (s): 2519.25
CPU system time (s): 0.858075
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2087616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.25
system time used= 0.858075
maximum resident set size= 2040808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 609510
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= 63
involuntary context switches= 1108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66725 second user time and 10.4693 second system time
The end