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-4240329-1500623960/watcher-4240329-1500623960 -o /tmp/evaluation-result-4240329-1500623960/solver-4240329-1500623960 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500623787-3606 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1398780349 HOME/instance-4240329-1500623960.xml
pid=4067
running on 4 cores: 0,2,4,6
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.91 0.89 0.38 2/188 4070
/proc/meminfo: memFree=31103260/32770624 swapFree=6468/361336
[pid=4070] ppid=4067 vsize=28672 CPUtime=0 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 959 0 0 0 0 0 0 0 20 0 1 0 15673064 29360128 736 33554432000 4194304 7402444 140731362580032 140731362579536 140186140863461 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 7168 736 584 784 0 182 0
[startup+0.10017 s]
/proc/loadavg: 1.91 0.89 0.38 2/188 4070
/proc/meminfo: memFree=31103260/32770624 swapFree=6468/361336
[pid=4070] ppid=4067 vsize=29268 CPUtime=0.09 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 1089 0 0 0 9 0 0 0 20 0 1 0 15673064 29970432 868 33554432000 4194304 7402444 140731362580032 140731362573272 5888370 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 7317 868 629 784 0 331 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29268
[startup+0.200339 s]
/proc/loadavg: 1.91 0.89 0.38 2/188 4070
/proc/meminfo: memFree=31103260/32770624 swapFree=6468/361336
[pid=4070] ppid=4067 vsize=29988 CPUtime=0.19 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 1292 0 0 0 19 0 0 0 20 0 1 0 15673064 30707712 1064 33554432000 4194304 7402444 140731362580032 140731362573272 140186140863461 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 7497 1064 629 784 0 511 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29988
[startup+0.300318 s]
/proc/loadavg: 1.91 0.89 0.38 2/188 4070
/proc/meminfo: memFree=31103260/32770624 swapFree=6468/361336
[pid=4070] ppid=4067 vsize=31032 CPUtime=0.29 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 1591 0 0 0 29 0 0 0 20 0 1 0 15673064 31776768 1272 33554432000 4194304 7402444 140731362580032 140731362573272 140186140859198 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 7758 1272 629 784 0 772 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31032
[startup+0.700279 s]
/proc/loadavg: 1.91 0.89 0.38 2/188 4070
/proc/meminfo: memFree=31103260/32770624 swapFree=6468/361336
[pid=4070] ppid=4067 vsize=34308 CPUtime=0.69 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 2599 0 0 0 69 0 0 0 20 0 1 0 15673064 35131392 2084 33554432000 4194304 7402444 140731362580032 140731362573272 140186140859198 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 8577 2084 629 784 0 1591 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34308
[startup+1.50028 s]
/proc/loadavg: 1.92 0.91 0.39 3/189 4071
/proc/meminfo: memFree=31094668/32770624 swapFree=6468/361292
[pid=4070] ppid=4067 vsize=40728 CPUtime=1.49 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 4612 0 0 0 149 0 0 0 20 0 1 0 15673064 41705472 3708 33554432000 4194304 7402444 140731362580032 140731362573272 6143894 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 10182 3708 629 784 0 3196 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40728
[startup+3.10028 s]
/proc/loadavg: 1.92 0.91 0.39 3/189 4071
/proc/meminfo: memFree=31053568/32770624 swapFree=6468/361292
[pid=4070] ppid=4067 vsize=77676 CPUtime=3.09 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 21442 0 0 0 307 2 0 0 20 0 1 0 15673064 79540224 13039 33554432000 4194304 7402444 140731362580032 140731362573272 5888039 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 19419 13039 650 784 0 12433 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77676
[startup+6.30028 s]
/proc/loadavg: 1.92 0.91 0.39 3/189 4071
/proc/meminfo: memFree=31012008/32770624 swapFree=6468/361300
[pid=4070] ppid=4067 vsize=156388 CPUtime=6.28 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 42454 0 0 0 624 4 0 0 20 0 1 0 15673064 160141312 32449 33554432000 4194304 7402444 140731362580032 140731362573272 5882003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 39097 32449 650 784 0 32111 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 156388
[startup+12.7003 s]
/proc/loadavg: 1.93 0.95 0.40 3/189 4071
/proc/meminfo: memFree=30868620/32770624 swapFree=6468/361308
[pid=4070] ppid=4067 vsize=263452 CPUtime=12.69 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 69689 0 0 0 1261 8 0 0 20 0 1 0 15673064 269774848 59154 33554432000 4194304 7402444 140731362580032 140731362573272 5883869 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 65863 59154 650 784 0 58877 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 263452
[startup+25.5003 s]
/proc/loadavg: 1.94 0.98 0.42 3/189 4071
/proc/meminfo: memFree=30644720/32770624 swapFree=6468/361312
[pid=4070] ppid=4067 vsize=516232 CPUtime=25.48 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 131242 0 0 0 2533 15 0 0 20 0 1 0 15673064 528621568 122414 33554432000 4194304 7402444 140731362580032 140731362571496 5888974 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 129058 122414 651 784 0 122072 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 516232
[startup+51.1004 s]
/proc/loadavg: 2.11 1.10 0.47 3/190 4079
/proc/meminfo: memFree=30504368/32770624 swapFree=6468/361336
[pid=4070] ppid=4067 vsize=624336 CPUtime=51.07 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 257142 0 0 0 5083 24 0 0 20 0 1 0 15673064 639320064 149131 33554432000 4194304 7402444 140731362580032 140731362575384 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149131 685 784 0 149098 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 624336
[startup+102.3 s]
/proc/loadavg: 2.04 1.25 0.56 3/191 4103
/proc/meminfo: memFree=30503300/32770624 swapFree=6468/361368
[pid=4070] ppid=4067 vsize=624336 CPUtime=102.24 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 360521 0 0 0 10195 29 0 0 20 0 1 0 15673064 639320064 149131 33554432000 4194304 7402444 140731362580032 140731362575384 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149131 685 784 0 149098 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 624336
[startup+162.3 s]
/proc/loadavg: 2.02 1.38 0.65 3/190 4104
/proc/meminfo: memFree=30501644/32770624 swapFree=6468/361396
[pid=4070] ppid=4067 vsize=624336 CPUtime=162.19 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 466424 0 0 0 16186 33 0 0 20 0 1 0 15673064 639320064 149131 33554432000 4194304 7402444 140731362580032 140731362575384 4484606 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149131 685 784 0 149098 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 624336
[startup+222.306 s]
/proc/loadavg: 2.01 1.50 0.74 3/190 4105
/proc/meminfo: memFree=30501820/32770624 swapFree=6468/361436
[pid=4070] ppid=4067 vsize=624336 CPUtime=222.15 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 563087 0 0 0 22178 37 0 0 20 0 1 0 15673064 639320064 149131 33554432000 4194304 7402444 140731362580032 140731362575384 4484555 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149131 685 784 0 149098 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 624336
[startup+282.3 s]
/proc/loadavg: 2.00 1.59 0.81 3/189 4106
/proc/meminfo: memFree=30500696/32770624 swapFree=6468/361468
[pid=4070] ppid=4067 vsize=624336 CPUtime=282.11 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 638440 0 0 0 28170 41 0 0 20 0 1 0 15673064 639320064 149131 33554432000 4194304 7402444 140731362580032 140731362575384 5754037 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149131 685 784 0 149098 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 624336
[startup+342.3 s]
/proc/loadavg: 2.00 1.66 0.89 3/188 4107
/proc/meminfo: memFree=30499820/32770624 swapFree=6468/361496
[pid=4070] ppid=4067 vsize=624336 CPUtime=342.05 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 700397 0 0 0 34162 43 0 0 20 0 1 0 15673064 639320064 149131 33554432000 4194304 7402444 140731362580032 140731362575384 5753888 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149131 685 784 0 149098 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 624336
[startup+402.3 s]
/proc/loadavg: 2.00 1.72 0.96 3/187 4108
/proc/meminfo: memFree=30499524/32770624 swapFree=6468/361528
[pid=4070] ppid=4067 vsize=624336 CPUtime=402.01 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 740653 0 0 0 40155 46 0 0 20 0 1 0 15673064 639320064 149131 33554432000 4194304 7402444 140731362580032 140731362575384 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149131 685 784 0 149098 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 624336
[startup+462.3 s]
/proc/loadavg: 2.00 1.77 1.02 3/187 4109
/proc/meminfo: memFree=30498852/32770624 swapFree=6468/361556
[pid=4070] ppid=4067 vsize=624336 CPUtime=461.97 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 759822 0 0 0 46150 47 0 0 20 0 1 0 15673064 639320064 149131 33554432000 4194304 7402444 140731362580032 140731362575384 5754016 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149131 685 784 0 149098 0
Current children cumulated CPU time (s) 461.97
Current children cumulated vsize (KiB) 624336
[startup+522.3 s]
/proc/loadavg: 2.00 1.82 1.08 3/187 4110
/proc/meminfo: memFree=30498924/32770624 swapFree=6468/361588
[pid=4070] ppid=4067 vsize=624336 CPUtime=521.93 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 762053 0 0 0 52146 47 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 624336
[startup+582.3 s]
/proc/loadavg: 2.03 1.86 1.15 3/187 4111
/proc/meminfo: memFree=30499648/32770624 swapFree=6468/361624
[pid=4070] ppid=4067 vsize=624336 CPUtime=581.89 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 763183 0 0 0 58142 47 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 5754048 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 624336
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.02 2.02 1.71 3/187 4143
/proc/meminfo: memFree=30493180/32770624 swapFree=6468/362144
[pid=4070] ppid=4067 vsize=624336 CPUtime=1541.24 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 781668 0 0 0 154076 48 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 5754048 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 1541.24
Current children cumulated vsize (KiB) 624336
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.73 3/187 4144
/proc/meminfo: memFree=30493136/32770624 swapFree=6468/362180
[pid=4070] ppid=4067 vsize=624336 CPUtime=1601.19 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 782823 0 0 0 160071 48 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 1601.19
Current children cumulated vsize (KiB) 624336
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.75 3/187 4145
/proc/meminfo: memFree=30493120/32770624 swapFree=6468/362212
[pid=4070] ppid=4067 vsize=624336 CPUtime=1661.16 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 783938 0 0 0 166067 49 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 5754032 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 1661.16
Current children cumulated vsize (KiB) 624336
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/187 4147
/proc/meminfo: memFree=30493324/32770624 swapFree=6468/362244
[pid=4070] ppid=4067 vsize=624336 CPUtime=1721.12 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 785093 0 0 0 172063 49 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 4484551 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 1721.12
Current children cumulated vsize (KiB) 624336
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/187 4148
/proc/meminfo: memFree=30493156/32770624 swapFree=6468/362280
[pid=4070] ppid=4067 vsize=624336 CPUtime=1781.08 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 786225 0 0 0 178059 49 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 5754016 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 1781.08
Current children cumulated vsize (KiB) 624336
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/187 4156
/proc/meminfo: memFree=30491484/32770624 swapFree=6468/362312
[pid=4070] ppid=4067 vsize=624336 CPUtime=1841.04 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 787395 0 0 0 184055 49 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 5754000 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 1841.04
Current children cumulated vsize (KiB) 624336
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/187 4157
/proc/meminfo: memFree=30492128/32770624 swapFree=6468/362348
[pid=4070] ppid=4067 vsize=624336 CPUtime=1901 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 788555 0 0 0 190051 49 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 1901
Current children cumulated vsize (KiB) 624336
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/187 4158
/proc/meminfo: memFree=30492764/32770624 swapFree=6468/362376
[pid=4070] ppid=4067 vsize=624336 CPUtime=1960.95 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 789690 0 0 0 196046 49 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 1960.95
Current children cumulated vsize (KiB) 624336
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/187 4159
/proc/meminfo: memFree=30492828/32770624 swapFree=6468/362412
[pid=4070] ppid=4067 vsize=624336 CPUtime=2020.91 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 790784 0 0 0 202042 49 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 2020.91
Current children cumulated vsize (KiB) 624336
[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 1.84 3/187 4160
/proc/meminfo: memFree=30493656/32770624 swapFree=6468/362444
[pid=4070] ppid=4067 vsize=624336 CPUtime=2080.88 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 791979 0 0 0 208039 49 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 2080.88
Current children cumulated vsize (KiB) 624336
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 1.85 3/187 4161
/proc/meminfo: memFree=30493508/32770624 swapFree=6468/362472
[pid=4070] ppid=4067 vsize=624336 CPUtime=2140.83 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 793155 0 0 0 214034 49 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 5754022 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 2140.83
Current children cumulated vsize (KiB) 624336
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 1.86 3/187 4162
/proc/meminfo: memFree=30493360/32770624 swapFree=6468/362504
[pid=4070] ppid=4067 vsize=624336 CPUtime=2200.79 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 794289 0 0 0 220030 49 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 4484798 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 2200.79
Current children cumulated vsize (KiB) 624336
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.87 5/200 4378
/proc/meminfo: memFree=30931612/32770624 swapFree=6468/362568
[pid=4070] ppid=4067 vsize=624336 CPUtime=2260.76 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 795440 0 0 0 226026 50 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 5754027 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 2260.76
Current children cumulated vsize (KiB) 624336
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/187 4718
/proc/meminfo: memFree=25481332/32770624 swapFree=6468/362672
[pid=4070] ppid=4067 vsize=624336 CPUtime=2320.72 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 796582 0 0 0 232022 50 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 2320.72
Current children cumulated vsize (KiB) 624336
[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 1.89 3/187 4968
/proc/meminfo: memFree=30454432/32770624 swapFree=6468/364052
[pid=4070] ppid=4067 vsize=624336 CPUtime=2380.68 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 797716 0 0 0 238018 50 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 4484606 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 2380.68
Current children cumulated vsize (KiB) 624336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.7 s]
/proc/loadavg: 2.03 2.02 1.89 3/187 4969
/proc/meminfo: memFree=30454184/32770624 swapFree=6468/364084
[pid=4070] ppid=4067 vsize=624336 CPUtime=2400.07 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 798291 0 0 0 239957 50 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 624336
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 4070 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.7 s]
/proc/loadavg: 2.03 2.02 1.89 3/187 4969
/proc/meminfo: memFree=30454184/32770624 swapFree=6468/364084
[pid=4070] ppid=4067 vsize=624336 CPUtime=2400.07 cores=0,2,4,6
/proc/4070/stat : 4070 (MistralXCSP) R 4067 4070 3575 0 -1 4202496 798291 0 0 0 239957 50 0 0 20 0 1 0 15673064 639320064 149230 33554432000 4194304 7402444 140731362580032 140731362575384 4484558 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 23101440 140731362587816 140731362587966 140731362587966 140731362590665 0
/proc/4070/statm: 156084 149230 685 784 0 149098 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 624336
Child status: 0
Real time (s): 2401.7
CPU time (s): 2400.08
CPU user time (s): 2399.57
CPU system time (s): 0.509661
CPU usage (%): 99.9326
Max. virtual memory (cumulated for all children) (KiB): 624336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.58
system time used= 0.509661
maximum resident set size= 596952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 798330
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= 54
involuntary context switches= 121895
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00909 second user time and 10.8565 second system time
The end