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-4261368-1502347317/watcher-4261368-1502347317 -o /tmp/evaluation-result-4261368-1502347317/solver-4261368-1502347317 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2687 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 450969394 HOME/instance-4261368-1502347317.xml
pid=5000
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.02 2.02 2.05 3/180 5003
/proc/meminfo: memFree=31529468/32770624 swapFree=0/220308
[pid=5003] ppid=5000 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/5003/stat : 5003 (runsolver) D 5000 5003 15981 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 36927304 24240128 106 18446744073709551615 4194304 4338465 140722912225040 140722912222680 139753760678615 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 29798400 140722912231565 140722912232010 140722912232010 140722912235466 0
/proc/5003/statm: 5918 106 53 36 0 2156 0
[startup+0.100185 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 5003
/proc/meminfo: memFree=31529468/32770624 swapFree=0/220308
[pid=5003] ppid=5000 vsize=28796 CPUtime=0.02 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 1060 0 0 0 2 0 0 0 20 0 1 0 36927304 29487104 868 18446744073709551615 4194304 7396336 140726781433744 140726781423336 6009368 0 0 1 0 0 0 0 17 7 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7199 868 705 782 0 215 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 28796
[startup+0.201184 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 5003
/proc/meminfo: memFree=31529468/32770624 swapFree=0/220308
[pid=5003] ppid=5000 vsize=29184 CPUtime=0.12 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 1192 0 0 0 12 0 0 0 20 0 1 0 36927304 29884416 1031 18446744073709551615 4194304 7396336 140726781433744 140726781428344 5588191 0 0 1 16386 0 0 0 17 7 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1031 758 782 0 312 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 29184
[startup+0.300185 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 5003
/proc/meminfo: memFree=31529468/32770624 swapFree=0/220308
[pid=5003] ppid=5000 vsize=29184 CPUtime=0.22 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 1193 0 0 0 22 0 0 0 20 0 1 0 36927304 29884416 1031 18446744073709551615 4194304 7396336 140726781433744 140726781428344 4581576 0 0 1 16386 0 0 0 17 7 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1031 758 782 0 312 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 29184
[startup+0.700183 s]
/proc/loadavg: 2.02 2.02 2.05 3/180 5003
/proc/meminfo: memFree=31529468/32770624 swapFree=0/220308
[pid=5003] ppid=5000 vsize=29184 CPUtime=0.62 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 1194 0 0 0 62 0 0 0 20 0 1 0 36927304 29884416 1031 18446744073709551615 4194304 7396336 140726781433744 140726781428344 4320751 0 0 1 16386 0 0 0 17 7 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1031 758 782 0 312 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 29184
[startup+1.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 5004
/proc/meminfo: memFree=31528676/32770624 swapFree=0/220264
[pid=5003] ppid=5000 vsize=29184 CPUtime=1.41 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 1195 0 0 0 141 0 0 0 20 0 1 0 36927304 29884416 1031 18446744073709551615 4194304 7396336 140726781433744 140726781428344 5865851 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1031 758 782 0 312 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 29184
[startup+3.1003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 5004
/proc/meminfo: memFree=31528220/32770624 swapFree=0/220304
[pid=5003] ppid=5000 vsize=29184 CPUtime=3.01 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 1352 0 0 0 301 0 0 0 20 0 1 0 36927304 29884416 1036 18446744073709551615 4194304 7396336 140726781433744 140726781428344 4252003 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1036 759 782 0 312 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 29184
[startup+6.3003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 5005
/proc/meminfo: memFree=31527592/32770624 swapFree=0/220312
[pid=5003] ppid=5000 vsize=29184 CPUtime=6.21 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 1510 0 0 0 621 0 0 0 20 0 1 0 36927304 29884416 1037 18446744073709551615 4194304 7396336 140726781433744 140726781428344 5669245 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1037 759 782 0 312 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 29184
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 5005
/proc/meminfo: memFree=31527572/32770624 swapFree=0/220324
[pid=5003] ppid=5000 vsize=29184 CPUtime=12.61 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 1668 0 0 0 1261 0 0 0 20 0 1 0 36927304 29884416 1038 18446744073709551615 4194304 7396336 140726781433744 140726781428344 5869879 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1038 759 782 0 312 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 29184
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 5006
/proc/meminfo: memFree=31527816/32770624 swapFree=0/220336
[pid=5003] ppid=5000 vsize=29184 CPUtime=25.41 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 1986 0 0 0 2541 0 0 0 20 0 1 0 36927304 29884416 1039 18446744073709551615 4194304 7396336 140726781433744 140726781428344 4249511 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1039 759 782 0 312 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 29184
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 5006
/proc/meminfo: memFree=31528068/32770624 swapFree=0/220348
[pid=5003] ppid=5000 vsize=29184 CPUtime=51 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 2145 0 0 0 5100 0 0 0 20 0 1 0 36927304 29884416 1039 18446744073709551615 4194304 7396336 140726781433744 140726781428344 4249767 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1039 759 782 0 312 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 29184
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 5069
/proc/meminfo: memFree=31560376/32770624 swapFree=0/220404
[pid=5003] ppid=5000 vsize=29184 CPUtime=102.19 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 2305 0 0 0 10219 0 0 0 20 0 1 0 36927304 29884416 1039 18446744073709551615 4194304 7396336 140726781433744 140726781428344 5669568 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1039 759 782 0 312 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 29184
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/185 5086
/proc/meminfo: memFree=31556000/32770624 swapFree=0/220476
[pid=5003] ppid=5000 vsize=29184 CPUtime=162.17 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 2465 0 0 0 16217 0 0 0 20 0 1 0 36927304 29884416 1040 18446744073709551615 4194304 7396336 140726781433744 140726781428344 5575980 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1040 759 782 0 312 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 29184
[startup+222.306 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 5088
/proc/meminfo: memFree=31555368/32770624 swapFree=0/220496
[pid=5003] ppid=5000 vsize=29184 CPUtime=222.16 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 2625 0 0 0 22216 0 0 0 20 0 1 0 36927304 29884416 1040 18446744073709551615 4194304 7396336 140726781433744 140726781428344 4334000 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1040 759 782 0 312 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 29184
[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 5090
/proc/meminfo: memFree=31559392/32770624 swapFree=0/220520
[pid=5003] ppid=5000 vsize=29184 CPUtime=282.14 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 2785 0 0 0 28214 0 0 0 20 0 1 0 36927304 29884416 1040 18446744073709551615 4194304 7396336 140726781433744 140726781428344 4581738 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1040 759 782 0 312 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 29184
[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 5092
/proc/meminfo: memFree=31559268/32770624 swapFree=0/220548
[pid=5003] ppid=5000 vsize=29184 CPUtime=342.13 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 2945 0 0 0 34213 0 0 0 20 0 1 0 36927304 29884416 1040 18446744073709551615 4194304 7396336 140726781433744 140726781428344 4581822 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1040 759 782 0 312 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 29184
[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 5094
/proc/meminfo: memFree=31559764/32770624 swapFree=0/220576
[pid=5003] ppid=5000 vsize=29184 CPUtime=402.11 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 3105 0 0 0 40211 0 0 0 20 0 1 0 36927304 29884416 1040 18446744073709551615 4194304 7396336 140726781433744 140726781428344 139645484580877 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1040 759 782 0 312 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 29184
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 5096
/proc/meminfo: memFree=31559500/32770624 swapFree=0/220576
[pid=5003] ppid=5000 vsize=29184 CPUtime=462.1 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 3265 0 0 0 46210 0 0 0 20 0 1 0 36927304 29884416 1040 18446744073709551615 4194304 7396336 140726781433744 140726781428344 5865355 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1040 759 782 0 312 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 29184
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 5098
/proc/meminfo: memFree=31559832/32770624 swapFree=0/220640
[pid=5003] ppid=5000 vsize=29184 CPUtime=522.08 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 3425 0 0 0 52208 0 0 0 20 0 1 0 36927304 29884416 1040 18446744073709551615 4194304 7396336 140726781433744 140726781428344 5872197 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1040 759 782 0 312 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 29184
[startup+582.3 s]
/proc/loadavg: 2.10 2.06 2.05 3/181 5100
/proc/meminfo: memFree=31559336/32770624 swapFree=0/220668
[pid=5003] ppid=5000 vsize=29184 CPUtime=582.07 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 3585 0 0 0 58207 0 0 0 20 0 1 0 36927304 29884416 1040 18446744073709551615 4194304 7396336 140726781433744 140726781428344 5575980 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1040 759 782 0 312 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 29184
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5162
/proc/meminfo: memFree=31557012/32770624 swapFree=0/220984
[pid=5003] ppid=5000 vsize=29184 CPUtime=1601.82 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 6312 0 0 0 160182 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 4547237 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 29184
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5165
/proc/meminfo: memFree=31557868/32770624 swapFree=0/220992
[pid=5003] ppid=5000 vsize=29184 CPUtime=1661.81 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 6473 0 0 0 166181 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 4320839 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 29184
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 5167
/proc/meminfo: memFree=31558496/32770624 swapFree=0/220992
[pid=5003] ppid=5000 vsize=29184 CPUtime=1721.79 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 6634 0 0 0 172179 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 4388076 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 29184
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5170
/proc/meminfo: memFree=31557376/32770624 swapFree=0/220992
[pid=5003] ppid=5000 vsize=29184 CPUtime=1781.78 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 6795 0 0 0 178178 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 4257711 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 29184
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5173
/proc/meminfo: memFree=31557088/32770624 swapFree=0/221040
[pid=5003] ppid=5000 vsize=29184 CPUtime=1841.76 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 6956 0 0 0 184176 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 139645490770856 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 1841.76
Current children cumulated vsize (KiB) 29184
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5175
/proc/meminfo: memFree=31557212/32770624 swapFree=0/221056
[pid=5003] ppid=5000 vsize=29184 CPUtime=1901.75 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 7117 0 0 0 190175 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 5859032 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 1901.75
Current children cumulated vsize (KiB) 29184
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 5191
/proc/meminfo: memFree=31553448/32770624 swapFree=0/221072
[pid=5003] ppid=5000 vsize=29184 CPUtime=1961.73 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 7278 0 0 0 196173 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 139645484569088 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 1961.73
Current children cumulated vsize (KiB) 29184
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 5217
/proc/meminfo: memFree=31552536/32770624 swapFree=0/221116
[pid=5003] ppid=5000 vsize=29184 CPUtime=2021.72 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 7439 0 0 0 202172 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 5586784 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 2021.72
Current children cumulated vsize (KiB) 29184
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 5219
/proc/meminfo: memFree=31553460/32770624 swapFree=0/221176
[pid=5003] ppid=5000 vsize=29184 CPUtime=2081.71 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 7600 0 0 0 208171 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 4249511 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 2081.71
Current children cumulated vsize (KiB) 29184
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5221
/proc/meminfo: memFree=31557104/32770624 swapFree=0/221204
[pid=5003] ppid=5000 vsize=29184 CPUtime=2141.69 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 7761 0 0 0 214169 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 139645484564246 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 2141.69
Current children cumulated vsize (KiB) 29184
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5223
/proc/meminfo: memFree=31557800/32770624 swapFree=0/221236
[pid=5003] ppid=5000 vsize=29184 CPUtime=2201.68 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 7922 0 0 0 220168 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 5871233 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 2201.68
Current children cumulated vsize (KiB) 29184
[startup+2262.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/181 5225
/proc/meminfo: memFree=31557660/32770624 swapFree=0/221244
[pid=5003] ppid=5000 vsize=29184 CPUtime=2261.66 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 8083 0 0 0 226166 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 5605656 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 2261.66
Current children cumulated vsize (KiB) 29184
[startup+2322.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 5227
/proc/meminfo: memFree=31557928/32770624 swapFree=0/221300
[pid=5003] ppid=5000 vsize=29184 CPUtime=2321.64 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 8244 0 0 0 232164 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 5863440 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 2321.64
Current children cumulated vsize (KiB) 29184
[startup+2382.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/181 5229
/proc/meminfo: memFree=31556920/32770624 swapFree=0/221300
[pid=5003] ppid=5000 vsize=29184 CPUtime=2381.63 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 8405 0 0 0 238163 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 139645488006800 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 2381.63
Current children cumulated vsize (KiB) 29184
[startup+2442.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 5231
/proc/meminfo: memFree=31557172/32770624 swapFree=0/221316
[pid=5003] ppid=5000 vsize=29184 CPUtime=2441.61 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 8566 0 0 0 244161 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 5871674 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 2441.61
Current children cumulated vsize (KiB) 29184
[startup+2502.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 5233
/proc/meminfo: memFree=31556908/32770624 swapFree=0/221316
[pid=5003] ppid=5000 vsize=29184 CPUtime=2501.6 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 8727 0 0 0 250160 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 4581945 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 2501.6
Current children cumulated vsize (KiB) 29184
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 5233
/proc/meminfo: memFree=31556908/32770624 swapFree=0/221316
[pid=5003] ppid=5000 vsize=29184 CPUtime=2519.29 cores=1,3,5,7
/proc/5003/stat : 5003 (MistralXCSP) R 5000 5003 15981 0 -1 4202496 8887 0 0 0 251929 0 0 0 20 0 1 0 36927304 29884416 1041 18446744073709551615 4194304 7396336 140726781433744 140726781428344 4581576 0 0 1 16386 0 0 0 17 1 0 0 7 0 0 9496464 9501696 14184448 140726781440436 140726781440585 140726781440585 140726781444041 0
/proc/5003/statm: 7296 1041 759 782 0 312 0
Current children cumulated CPU time (s) 2519.29
Current children cumulated vsize (KiB) 29184
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 5003 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.3
CPU user time (s): 2519.3
CPU system time (s): 0.002999
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 29184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.3
system time used= 0.002999
maximum resident set size= 4184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8917
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= 7
involuntary context switches= 13251
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.60039 second user time and 8.31421 second system time
The end