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-4261269-1502371806/watcher-4261269-1502371806 -o /tmp/evaluation-result-4261269-1502371806/solver-4261269-1502371806 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25567 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2097049443 HOME/instance-4261269-1502371806.xml
pid=30626
running on 4 cores: 0,2,4,6
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.00 2.02 2.04 3/183 30629
/proc/meminfo: memFree=31186736/32770624 swapFree=0/428084
[pid=30629] ppid=30626 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/30629/stat : 30629 (runsolver) D 30626 30629 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 136833521 24240128 108 18446744073709551615 4194304 4338465 140729593171216 140729593168856 139988177232599 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 26869760 140729593180298 140729593180745 140729593180745 140729593184202 0
/proc/30629/statm: 5918 108 54 36 0 2156 0
[startup+0.100189 s]
/proc/loadavg: 2.00 2.02 2.04 3/183 30629
/proc/meminfo: memFree=31186736/32770624 swapFree=0/428084
[pid=30629] ppid=30626 vsize=28180 CPUtime=0 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 530 0 0 0 0 0 0 0 20 0 1 0 136833521 28856320 344 18446744073709551615 4194304 7396336 140727937583344 140727937580344 140237320530864 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 7095 344 287 782 0 111 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28180
[startup+0.200334 s]
/proc/loadavg: 2.00 2.02 2.04 3/183 30629
/proc/meminfo: memFree=31186736/32770624 swapFree=0/428084
[pid=30629] ppid=30626 vsize=56432 CPUtime=0.09 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 8034 0 0 0 9 0 0 0 20 0 1 0 136833521 57786368 7787 18446744073709551615 4194304 7396336 140727937583344 140727937580344 140237323211294 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 14108 7787 695 782 0 7124 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56432
[startup+0.300387 s]
/proc/loadavg: 2.00 2.02 2.04 3/183 30629
/proc/meminfo: memFree=31186736/32770624 swapFree=0/428084
[pid=30629] ppid=30626 vsize=64236 CPUtime=0.2 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 10095 0 0 0 19 1 0 0 20 0 1 0 136833521 65777664 9710 18446744073709551615 4194304 7396336 140727937583344 140727937580344 4565880 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 16059 9710 695 782 0 9075 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 64236
[startup+0.700294 s]
/proc/loadavg: 2.00 2.02 2.04 3/183 30629
/proc/meminfo: memFree=31186736/32770624 swapFree=0/428084
[pid=30629] ppid=30626 vsize=70036 CPUtime=0.59 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 11573 0 0 0 58 1 0 0 20 0 1 0 136833521 71716864 11162 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5701735 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17509 11162 728 782 0 10525 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 70036
[startup+1.50031 s]
/proc/loadavg: 2.00 2.02 2.04 3/184 30630
/proc/meminfo: memFree=31144924/32770624 swapFree=0/428096
[pid=30629] ppid=30626 vsize=70036 CPUtime=1.39 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 11573 0 0 0 138 1 0 0 20 0 1 0 136833521 71716864 11162 18446744073709551615 4194304 7396336 140727937583344 140727937577976 4404830 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17509 11162 728 782 0 10525 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 70036
[startup+3.10028 s]
/proc/loadavg: 2.00 2.02 2.04 3/184 30630
/proc/meminfo: memFree=31144676/32770624 swapFree=0/428096
[pid=30629] ppid=30626 vsize=70036 CPUtime=2.99 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 14553 0 0 0 298 1 0 0 20 0 1 0 136833521 71716864 11214 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5162969 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17509 11214 728 782 0 10525 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 70036
[startup+6.3003 s]
/proc/loadavg: 2.00 2.02 2.04 3/184 30630
/proc/meminfo: memFree=31144632/32770624 swapFree=0/428100
[pid=30629] ppid=30626 vsize=70036 CPUtime=6.19 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 20956 0 0 0 618 1 0 0 20 0 1 0 136833521 71716864 11215 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5839012 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17509 11215 729 782 0 10525 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 70036
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.04 3/184 30630
/proc/meminfo: memFree=31144260/32770624 swapFree=0/428104
[pid=30629] ppid=30626 vsize=70036 CPUtime=12.6 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 26111 0 0 0 1258 2 0 0 20 0 1 0 136833521 71716864 11215 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5163189 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17509 11215 729 782 0 10525 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 70036
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.04 3/184 30631
/proc/meminfo: memFree=31144300/32770624 swapFree=0/428096
[pid=30629] ppid=30626 vsize=70036 CPUtime=25.39 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 35862 0 0 0 2537 2 0 0 20 0 1 0 136833521 71716864 11215 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5575220 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17509 11215 729 782 0 10525 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 70036
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 30631
/proc/meminfo: memFree=31143984/32770624 swapFree=0/428084
[pid=30629] ppid=30626 vsize=70036 CPUtime=50.99 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 40966 0 0 0 5097 2 0 0 20 0 1 0 136833521 71716864 11215 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5163189 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17509 11215 729 782 0 10525 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 70036
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 30633
/proc/meminfo: memFree=31143240/32770624 swapFree=0/428096
[pid=30629] ppid=30626 vsize=70036 CPUtime=102.18 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 42449 0 0 0 10216 2 0 0 20 0 1 0 136833521 71716864 11227 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5841278 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17509 11227 729 782 0 10525 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 70036
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 30635
/proc/meminfo: memFree=31143208/32770624 swapFree=0/428108
[pid=30629] ppid=30626 vsize=70036 CPUtime=162.17 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 43049 0 0 0 16215 2 0 0 20 0 1 0 136833521 71716864 11227 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5162982 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17509 11227 729 782 0 10525 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 70036
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 30638
/proc/meminfo: memFree=31143524/32770624 swapFree=0/428112
[pid=30629] ppid=30626 vsize=70036 CPUtime=222.17 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 43639 0 0 0 22215 2 0 0 20 0 1 0 136833521 71716864 11227 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5839021 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17509 11227 729 782 0 10525 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 70036
[startup+282.3 s]
/proc/loadavg: 1.93 2.00 2.04 3/189 30655
/proc/meminfo: memFree=31139728/32770624 swapFree=0/428132
[pid=30629] ppid=30626 vsize=70036 CPUtime=282.16 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 44012 0 0 0 28214 2 0 0 20 0 1 0 136833521 71716864 11227 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5162982 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17509 11227 729 782 0 10525 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 70036
[startup+342.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/189 30657
/proc/meminfo: memFree=31139476/32770624 swapFree=0/428152
[pid=30629] ppid=30626 vsize=70036 CPUtime=342.15 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 44773 0 0 0 34213 2 0 0 20 0 1 0 136833521 71716864 11227 18446744073709551615 4194304 7396336 140727937583344 140727937577976 4542718 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17509 11227 729 782 0 10525 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 70036
[startup+402.3 s]
/proc/loadavg: 2.14 2.03 2.05 3/186 30659
/proc/meminfo: memFree=31142372/32770624 swapFree=0/428164
[pid=30629] ppid=30626 vsize=70036 CPUtime=402.15 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 45370 0 0 0 40213 2 0 0 20 0 1 0 136833521 71716864 11228 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5704353 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17509 11228 729 782 0 10525 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 70036
[startup+462.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/186 30661
/proc/meminfo: memFree=31142748/32770624 swapFree=0/428176
[pid=30629] ppid=30626 vsize=70036 CPUtime=462.15 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 45934 0 0 0 46213 2 0 0 20 0 1 0 136833521 71716864 11233 18446744073709551615 4194304 7396336 140727937583344 140727937577976 4582577 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17509 11233 729 782 0 10525 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 70036
[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 30663
/proc/meminfo: memFree=31143228/32770624 swapFree=0/428188
[pid=30629] ppid=30626 vsize=70036 CPUtime=522.14 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 46504 0 0 0 52212 2 0 0 20 0 1 0 136833521 71716864 11233 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5778367 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17509 11233 729 782 0 10525 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 70036
[startup+582.3 s]
/proc/loadavg: 2.11 2.06 2.05 3/184 30666
/proc/meminfo: memFree=31143716/32770624 swapFree=0/428196
[pid=30629] ppid=30626 vsize=70036 CPUtime=582.14 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 47140 0 0 0 58212 2 0 0 20 0 1 0 136833521 71716864 11233 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5703090 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17509 11233 729 782 0 10525 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 70036
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/186 30733
/proc/meminfo: memFree=31142192/32770624 swapFree=0/428356
[pid=30629] ppid=30626 vsize=70580 CPUtime=1602.07 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 57314 0 0 0 160204 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 4581342 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 1602.07
Current children cumulated vsize (KiB) 70580
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/186 30735
/proc/meminfo: memFree=31142504/32770624 swapFree=0/428360
[pid=30629] ppid=30626 vsize=70580 CPUtime=1662.07 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 57910 0 0 0 166204 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 4582512 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 1662.07
Current children cumulated vsize (KiB) 70580
[startup+1722.3 s]
/proc/loadavg: 1.93 1.98 2.03 3/186 30738
/proc/meminfo: memFree=31142756/32770624 swapFree=0/428368
[pid=30629] ppid=30626 vsize=70580 CPUtime=1722.06 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 58528 0 0 0 172203 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5163189 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 1722.06
Current children cumulated vsize (KiB) 70580
[startup+1782.3 s]
/proc/loadavg: 1.91 1.97 2.02 3/185 30740
/proc/meminfo: memFree=31142092/32770624 swapFree=0/428376
[pid=30629] ppid=30626 vsize=70580 CPUtime=1782.06 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 59135 0 0 0 178203 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 4581734 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 70580
[startup+1842.3 s]
/proc/loadavg: 1.97 1.98 2.02 3/185 30742
/proc/meminfo: memFree=31142080/32770624 swapFree=0/428380
[pid=30629] ppid=30626 vsize=70580 CPUtime=1842.05 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 59736 0 0 0 184202 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5839331 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 1842.05
Current children cumulated vsize (KiB) 70580
[startup+1902.3 s]
/proc/loadavg: 1.99 1.98 2.02 3/185 30744
/proc/meminfo: memFree=31142396/32770624 swapFree=0/428392
[pid=30629] ppid=30626 vsize=70580 CPUtime=1902.05 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 60114 0 0 0 190202 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5839331 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 1902.05
Current children cumulated vsize (KiB) 70580
[startup+1962.3 s]
/proc/loadavg: 2.16 2.03 2.04 3/185 30807
/proc/meminfo: memFree=31145060/32770624 swapFree=0/428420
[pid=30629] ppid=30626 vsize=70580 CPUtime=1962.04 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 60924 0 0 0 196201 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 4582098 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 1962.04
Current children cumulated vsize (KiB) 70580
[startup+2022.3 s]
/proc/loadavg: 2.06 2.03 2.04 3/184 30809
/proc/meminfo: memFree=31144536/32770624 swapFree=0/428436
[pid=30629] ppid=30626 vsize=70580 CPUtime=2022.04 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 61569 0 0 0 202201 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 4581576 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 2022.04
Current children cumulated vsize (KiB) 70580
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/188 30826
/proc/meminfo: memFree=31139464/32770624 swapFree=0/428448
[pid=30629] ppid=30626 vsize=70580 CPUtime=2082.04 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 62184 0 0 0 208201 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 4581738 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 2082.04
Current children cumulated vsize (KiB) 70580
[startup+2142.3 s]
/proc/loadavg: 1.93 2.00 2.03 3/188 30828
/proc/meminfo: memFree=31139372/32770624 swapFree=0/428452
[pid=30629] ppid=30626 vsize=70580 CPUtime=2142.03 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 62813 0 0 0 214200 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5578096 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 2142.03
Current children cumulated vsize (KiB) 70580
[startup+2202.31 s]
/proc/loadavg: 1.98 2.00 2.03 3/185 30830
/proc/meminfo: memFree=31142172/32770624 swapFree=0/428460
[pid=30629] ppid=30626 vsize=70580 CPUtime=2202.03 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 63404 0 0 0 220200 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5841278 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 2202.03
Current children cumulated vsize (KiB) 70580
[startup+2262.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/185 30832
/proc/meminfo: memFree=31143040/32770624 swapFree=0/428476
[pid=30629] ppid=30626 vsize=70580 CPUtime=2262.02 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 64044 0 0 0 226199 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5586201 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 2262.02
Current children cumulated vsize (KiB) 70580
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/185 30834
/proc/meminfo: memFree=31143416/32770624 swapFree=0/428476
[pid=30629] ppid=30626 vsize=70580 CPUtime=2322.02 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 64669 0 0 0 232199 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5839021 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 2322.02
Current children cumulated vsize (KiB) 70580
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/184 30837
/proc/meminfo: memFree=31142856/32770624 swapFree=0/428508
[pid=30629] ppid=30626 vsize=70580 CPUtime=2382.01 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 65284 0 0 0 238198 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5778236 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 2382.01
Current children cumulated vsize (KiB) 70580
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/184 30839
/proc/meminfo: memFree=31143076/32770624 swapFree=0/428524
[pid=30629] ppid=30626 vsize=70580 CPUtime=2442 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 65893 0 0 0 244197 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5578128 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 2442
Current children cumulated vsize (KiB) 70580
[startup+2502.3 s]
/proc/loadavg: 1.97 2.00 2.03 3/185 30842
/proc/meminfo: memFree=31143116/32770624 swapFree=0/428528
[pid=30629] ppid=30626 vsize=70580 CPUtime=2502 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 66292 0 0 0 250197 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5778252 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 2502
Current children cumulated vsize (KiB) 70580
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 1.98 2.00 2.03 3/185 30842
/proc/meminfo: memFree=31143116/32770624 swapFree=0/428528
[pid=30629] ppid=30626 vsize=70580 CPUtime=2519.7 cores=0,2,4,6
/proc/30629/stat : 30629 (MistralXCSP) R 30626 30629 4525 0 -1 4202496 66684 0 0 0 251967 3 0 0 20 0 1 0 136833521 72273920 11350 18446744073709551615 4194304 7396336 140727937583344 140727937577976 5778236 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 34701312 140727937589682 140727937589832 140727937589832 140727937593289 0
/proc/30629/statm: 17645 11350 729 782 0 10661 0
Current children cumulated CPU time (s) 2519.7
Current children cumulated vsize (KiB) 70580
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 30629 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.71
CPU user time (s): 2519.67
CPU system time (s): 0.040997
CPU usage (%): 99.9885
Max. virtual memory (cumulated for all children) (KiB): 70580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.67
system time used= 0.040997
maximum resident set size= 45428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66722
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= 23
involuntary context switches= 4207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41643 second user time and 9.01938 second system time
The end