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-4261315-1502367133/watcher-4261315-1502367133 -o /tmp/evaluation-result-4261315-1502367133/solver-4261315-1502367133 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27115 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 957361211 HOME/instance-4261315-1502367133.xml
pid=31800
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: 1.96 2.00 2.04 2/180 31803
/proc/meminfo: memFree=31713616/32770624 swapFree=0/368584
[pid=31803] ppid=31800 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31803/stat : 31803 (runsolver) D 31800 31803 6971 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 25053989 24240128 105 18446744073709551615 4194304 4338465 140731525535632 140731525533272 140651803181783 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 8097792 140731525537932 140731525538378 140731525538378 140731525541834 0
/proc/31803/statm: 5918 105 52 36 0 2156 0
[startup+0.100133 s]
/proc/loadavg: 1.96 2.00 2.04 2/180 31803
/proc/meminfo: memFree=31713616/32770624 swapFree=0/368584
[pid=31803] ppid=31800 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31803/stat : 31803 (runsolver) D 31800 31803 6971 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 25053989 24240128 105 18446744073709551615 4194304 4338465 140731525535632 140731525533272 140651803181783 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 8097792 140731525537932 140731525538378 140731525538378 140731525541834 0
/proc/31803/statm: 5918 105 52 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200323 s]
/proc/loadavg: 1.96 2.00 2.04 2/180 31803
/proc/meminfo: memFree=31713616/32770624 swapFree=0/368584
[pid=31803] ppid=31800 vsize=36932 CPUtime=0.08 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 3060 0 0 0 8 0 0 0 20 0 1 0 25053989 37818368 2848 18446744073709551615 4194304 7396336 140728251941968 140728251938968 5839276 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2848 639 782 0 2249 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36932
[startup+0.300313 s]
/proc/loadavg: 1.96 2.00 2.04 2/180 31803
/proc/meminfo: memFree=31713616/32770624 swapFree=0/368584
[pid=31803] ppid=31800 vsize=36932 CPUtime=0.18 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 3060 0 0 0 18 0 0 0 20 0 1 0 25053989 37818368 2848 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4252891 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2848 639 782 0 2249 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 36932
[startup+0.700222 s]
/proc/loadavg: 1.96 2.00 2.04 2/180 31803
/proc/meminfo: memFree=31713616/32770624 swapFree=0/368584
[pid=31803] ppid=31800 vsize=36932 CPUtime=0.58 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 3060 0 0 0 58 0 0 0 20 0 1 0 25053989 37818368 2848 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4246562 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2848 639 782 0 2249 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 36932
[startup+1.50022 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 31804
/proc/meminfo: memFree=31705208/32770624 swapFree=0/368584
[pid=31803] ppid=31800 vsize=36932 CPUtime=1.38 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 3060 0 0 0 138 0 0 0 20 0 1 0 25053989 37818368 2848 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4543768 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2848 639 782 0 2249 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 36932
[startup+3.10022 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 31804
/proc/meminfo: memFree=31704836/32770624 swapFree=0/368584
[pid=31803] ppid=31800 vsize=36932 CPUtime=2.98 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 3296 0 0 0 298 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4245088 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 36932
[startup+6.30022 s]
/proc/loadavg: 1.97 2.00 2.04 3/181 31805
/proc/meminfo: memFree=31704900/32770624 swapFree=0/368596
[pid=31803] ppid=31800 vsize=36932 CPUtime=6.18 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 3532 0 0 0 618 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4246560 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 36932
[startup+12.7002 s]
/proc/loadavg: 1.97 2.00 2.04 3/181 31805
/proc/meminfo: memFree=31703528/32770624 swapFree=0/368600
[pid=31803] ppid=31800 vsize=36932 CPUtime=12.57 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 3648 0 0 0 1257 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 5791918 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 36932
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.05 3/181 31805
/proc/meminfo: memFree=31704024/32770624 swapFree=0/368596
[pid=31803] ppid=31800 vsize=36932 CPUtime=25.37 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 3874 0 0 0 2537 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 5576249 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 36932
[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.05 3/181 31866
/proc/meminfo: memFree=31696044/32770624 swapFree=0/368624
[pid=31803] ppid=31800 vsize=36932 CPUtime=50.97 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 3987 0 0 0 5097 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4582493 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 36932
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 31867
/proc/meminfo: memFree=31694412/32770624 swapFree=0/368628
[pid=31803] ppid=31800 vsize=36932 CPUtime=102.16 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 4100 0 0 0 10216 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4317402 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 36932
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 31884
/proc/meminfo: memFree=31689524/32770624 swapFree=0/368672
[pid=31803] ppid=31800 vsize=36932 CPUtime=162.15 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 4213 0 0 0 16215 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 5578160 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 36932
[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 31911
/proc/meminfo: memFree=31688040/32770624 swapFree=0/368704
[pid=31803] ppid=31800 vsize=36932 CPUtime=222.14 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 4326 0 0 0 22214 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4582252 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 36932
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/186 31913
/proc/meminfo: memFree=31688436/32770624 swapFree=0/368720
[pid=31803] ppid=31800 vsize=36932 CPUtime=282.13 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 4439 0 0 0 28213 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 5792030 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 36932
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 31915
/proc/meminfo: memFree=31692464/32770624 swapFree=0/368740
[pid=31803] ppid=31800 vsize=36932 CPUtime=342.12 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 4552 0 0 0 34212 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4590193 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 36932
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 31917
/proc/meminfo: memFree=31693196/32770624 swapFree=0/368768
[pid=31803] ppid=31800 vsize=36932 CPUtime=402.1 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 4665 0 0 0 40210 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 5792030 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 36932
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31919
/proc/meminfo: memFree=31693076/32770624 swapFree=0/368784
[pid=31803] ppid=31800 vsize=36932 CPUtime=462.09 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 4778 0 0 0 46209 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4249476 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 36932
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31921
/proc/meminfo: memFree=31693240/32770624 swapFree=0/368788
[pid=31803] ppid=31800 vsize=36932 CPUtime=522.08 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 4891 0 0 0 52208 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4317368 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 36932
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31923
/proc/meminfo: memFree=31693264/32770624 swapFree=0/368808
[pid=31803] ppid=31800 vsize=36932 CPUtime=582.07 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 5004 0 0 0 58207 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 5791979 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 36932
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31986
/proc/meminfo: memFree=31692464/32770624 swapFree=0/369148
[pid=31803] ppid=31800 vsize=36932 CPUtime=1601.9 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 6925 0 0 0 160190 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 5792137 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 36932
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31989
/proc/meminfo: memFree=31692340/32770624 swapFree=0/369156
[pid=31803] ppid=31800 vsize=36932 CPUtime=1661.89 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 7038 0 0 0 166189 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 5839327 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 36932
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31991
/proc/meminfo: memFree=31692240/32770624 swapFree=0/369156
[pid=31803] ppid=31800 vsize=36932 CPUtime=1721.88 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 7151 0 0 0 172188 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4404830 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 36932
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31993
/proc/meminfo: memFree=31691876/32770624 swapFree=0/369176
[pid=31803] ppid=31800 vsize=36932 CPUtime=1781.87 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 7264 0 0 0 178187 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 5575227 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 36932
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31996
/proc/meminfo: memFree=31691996/32770624 swapFree=0/369188
[pid=31803] ppid=31800 vsize=36932 CPUtime=1841.86 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 7377 0 0 0 184186 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4581743 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 1841.86
Current children cumulated vsize (KiB) 36932
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31998
/proc/meminfo: memFree=31691896/32770624 swapFree=0/369200
[pid=31803] ppid=31800 vsize=36932 CPUtime=1901.85 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 7490 0 0 0 190185 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4246562 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 1901.85
Current children cumulated vsize (KiB) 36932
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 32014
/proc/meminfo: memFree=31687748/32770624 swapFree=0/369248
[pid=31803] ppid=31800 vsize=36932 CPUtime=1961.84 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 7603 0 0 0 196184 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4582669 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 1961.84
Current children cumulated vsize (KiB) 36932
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 32016
/proc/meminfo: memFree=31687152/32770624 swapFree=0/369272
[pid=31803] ppid=31800 vsize=36932 CPUtime=2021.82 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 7675 0 0 0 202182 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4553878 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 2021.82
Current children cumulated vsize (KiB) 36932
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32018
/proc/meminfo: memFree=31690640/32770624 swapFree=0/369288
[pid=31803] ppid=31800 vsize=36932 CPUtime=2081.82 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 7829 0 0 0 208182 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 5792030 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 2081.82
Current children cumulated vsize (KiB) 36932
[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/180 32020
/proc/meminfo: memFree=31691936/32770624 swapFree=0/369312
[pid=31803] ppid=31800 vsize=36932 CPUtime=2141.8 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 7942 0 0 0 214180 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4317647 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 2141.8
Current children cumulated vsize (KiB) 36932
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 32023
/proc/meminfo: memFree=31691560/32770624 swapFree=0/369336
[pid=31803] ppid=31800 vsize=36932 CPUtime=2201.8 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 8055 0 0 0 220180 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4581498 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 2201.8
Current children cumulated vsize (KiB) 36932
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 32025
/proc/meminfo: memFree=31691336/32770624 swapFree=0/369356
[pid=31803] ppid=31800 vsize=36932 CPUtime=2261.78 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 8168 0 0 0 226178 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 5839340 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 2261.78
Current children cumulated vsize (KiB) 36932
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32027
/proc/meminfo: memFree=31691540/32770624 swapFree=0/369348
[pid=31803] ppid=31800 vsize=36932 CPUtime=2321.77 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 8281 0 0 0 232177 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4246560 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 2321.77
Current children cumulated vsize (KiB) 36932
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32029
/proc/meminfo: memFree=31691316/32770624 swapFree=0/369364
[pid=31803] ppid=31800 vsize=36932 CPUtime=2381.76 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 8394 0 0 0 238176 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 5791976 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 2381.76
Current children cumulated vsize (KiB) 36932
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32031
/proc/meminfo: memFree=31691588/32770624 swapFree=0/369372
[pid=31803] ppid=31800 vsize=36932 CPUtime=2441.75 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 8507 0 0 0 244175 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 5792043 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 2441.75
Current children cumulated vsize (KiB) 36932
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32033
/proc/meminfo: memFree=31691364/32770624 swapFree=0/369376
[pid=31803] ppid=31800 vsize=36932 CPUtime=2501.74 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 8620 0 0 0 250174 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 5792030 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 2501.74
Current children cumulated vsize (KiB) 36932
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32034
/proc/meminfo: memFree=31691460/32770624 swapFree=0/369384
[pid=31803] ppid=31800 vsize=36932 CPUtime=2519.44 cores=1,3,5,7
/proc/31803/stat : 31803 (MistralXCSP) R 31800 31803 6971 0 -1 4202496 8733 0 0 0 251944 0 0 0 20 0 1 0 25053989 37818368 2901 18446744073709551615 4194304 7396336 140728251941968 140728251937320 4252880 0 0 1 16386 0 0 0 17 1 0 0 10 0 0 9496464 9501696 31789056 140728251945396 140728251945545 140728251945545 140728251949001 0
/proc/31803/statm: 9233 2901 666 782 0 2249 0
Current children cumulated CPU time (s) 2519.44
Current children cumulated vsize (KiB) 36932
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 31803 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.45
CPU user time (s): 2519.44
CPU system time (s): 0.006998
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 36932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.44
system time used= 0.006998
maximum resident set size= 11632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8771
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= 11
involuntary context switches= 1893
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.20714 second user time and 7.70433 second system time
The end