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-4261141-1502336876/watcher-4261141-1502336876 -o /tmp/evaluation-result-4261141-1502336876/solver-4261141-1502336876 -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 1736618340 HOME/instance-4261141-1502336876.xml
pid=25889
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 1.99 1.98 3/184 25892
/proc/meminfo: memFree=31221988/32770624 swapFree=0/421420
[pid=25892] ppid=25889 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25892/stat : 25892 (runsolver) D 25889 25892 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 133340562 24240128 108 18446744073709551615 4194304 4338465 140721747275216 140721747272856 140705643193047 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 39870464 140721747284106 140721747284553 140721747284553 140721747288010 0
/proc/25892/statm: 5918 108 54 36 0 2156 0
[startup+0.100196 s]
/proc/loadavg: 2.00 1.99 1.98 3/184 25892
/proc/meminfo: memFree=31221988/32770624 swapFree=0/421420
[pid=25892] ppid=25889 vsize=29192 CPUtime=0.01 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 1152 0 0 0 1 0 0 0 20 0 1 0 133340562 29892608 934 18446744073709551615 4194304 7396336 140727936475344 140727936472344 6190308 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 7298 934 652 782 0 314 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29192
[startup+0.200332 s]
/proc/loadavg: 2.00 1.99 1.98 3/184 25892
/proc/meminfo: memFree=31221988/32770624 swapFree=0/421420
[pid=25892] ppid=25889 vsize=29324 CPUtime=0.11 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 1196 0 0 0 11 0 0 0 20 0 1 0 133340562 30027776 1000 18446744073709551615 4194304 7396336 140727936475344 140727936472344 140236895993627 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 7331 1000 710 782 0 347 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 29324
[startup+0.300313 s]
/proc/loadavg: 2.00 1.99 1.98 3/184 25892
/proc/meminfo: memFree=31221988/32770624 swapFree=0/421420
[pid=25892] ppid=25889 vsize=29468 CPUtime=0.21 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 1221 0 0 0 21 0 0 0 20 0 1 0 133340562 30175232 1000 18446744073709551615 4194304 7396336 140727936475344 140727936472344 6207464 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 7367 1000 710 782 0 383 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 29468
[startup+0.700278 s]
/proc/loadavg: 2.00 1.99 1.98 3/184 25892
/proc/meminfo: memFree=31221988/32770624 swapFree=0/421420
[pid=25892] ppid=25889 vsize=30152 CPUtime=0.61 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 1410 0 0 0 61 0 0 0 20 0 1 0 133340562 30875648 1188 18446744073709551615 4194304 7396336 140727936475344 140727936472344 140236902784624 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 7538 1188 717 782 0 554 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 30152
[startup+1.50028 s]
/proc/loadavg: 2.00 1.99 1.98 3/185 25893
/proc/meminfo: memFree=31203300/32770624 swapFree=0/421436
[pid=25892] ppid=25889 vsize=37960 CPUtime=1.41 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 3507 0 0 0 141 0 0 0 20 0 1 0 133340562 38871040 3211 18446744073709551615 4194304 7396336 140727936475344 140727936469928 5608997 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 9490 3211 766 782 0 2506 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 37960
[startup+3.10028 s]
/proc/loadavg: 2.00 1.99 1.98 3/185 25893
/proc/meminfo: memFree=31202888/32770624 swapFree=0/421436
[pid=25892] ppid=25889 vsize=37960 CPUtime=3.01 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 5395 0 0 0 301 0 0 0 20 0 1 0 133340562 38871040 3268 18446744073709551615 4194304 7396336 140727936475344 140727936469928 4581608 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 9490 3268 768 782 0 2506 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 37960
[startup+6.30028 s]
/proc/loadavg: 2.00 1.99 1.98 3/185 25893
/proc/meminfo: memFree=31202472/32770624 swapFree=0/421424
[pid=25892] ppid=25889 vsize=38104 CPUtime=6.21 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 7302 0 0 0 621 0 0 0 20 0 1 0 133340562 39018496 3272 18446744073709551615 4194304 7396336 140727936475344 140727936470008 5608763 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 9526 3272 768 782 0 2542 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 38104
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.98 3/185 25893
/proc/meminfo: memFree=31198744/32770624 swapFree=0/421420
[pid=25892] ppid=25889 vsize=40608 CPUtime=12.6 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 10119 0 0 0 1260 0 0 0 20 0 1 0 133340562 41582592 3895 18446744073709551615 4194304 7396336 140727936475344 140727936469688 4245092 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 10152 3895 771 782 0 3168 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 40608
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.98 3/186 25894
/proc/meminfo: memFree=31195008/32770624 swapFree=0/421424
[pid=25892] ppid=25889 vsize=44504 CPUtime=25.4 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 14158 0 0 0 2540 0 0 0 20 0 1 0 133340562 45572096 4854 18446744073709551615 4194304 7396336 140727936475344 140727936469848 4407476 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11126 4854 771 782 0 4142 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 44504
[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 1.98 3/186 25894
/proc/meminfo: memFree=31190492/32770624 swapFree=0/421412
[pid=25892] ppid=25889 vsize=45032 CPUtime=51 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 16344 0 0 0 5099 1 0 0 20 0 1 0 133340562 46112768 4982 18446744073709551615 4194304 7396336 140727936475344 140727936469688 5575980 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11258 4982 771 782 0 4274 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 45032
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/185 25896
/proc/meminfo: memFree=31186896/32770624 swapFree=0/421424
[pid=25892] ppid=25889 vsize=45296 CPUtime=102.2 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 18530 0 0 0 10219 1 0 0 20 0 1 0 133340562 46383104 5074 18446744073709551615 4194304 7396336 140727936475344 140727936469688 4245092 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11324 5074 771 782 0 4340 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 45296
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/185 25898
/proc/meminfo: memFree=31185556/32770624 swapFree=0/421424
[pid=25892] ppid=25889 vsize=45956 CPUtime=162.19 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 19572 0 0 0 16218 1 0 0 20 0 1 0 133340562 47058944 5230 18446744073709551615 4194304 7396336 140727936475344 140727936470360 4407280 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11489 5230 771 782 0 4505 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 45956
[startup+222.3 s]
/proc/loadavg: 1.90 1.96 1.97 3/185 25900
/proc/meminfo: memFree=31185512/32770624 swapFree=0/421428
[pid=25892] ppid=25889 vsize=46088 CPUtime=222.19 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 20558 0 0 0 22218 1 0 0 20 0 1 0 133340562 47194112 5286 18446744073709551615 4194304 7396336 140727936475344 140727936470360 4249440 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11522 5286 771 782 0 4538 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 46088
[startup+282.3 s]
/proc/loadavg: 1.98 1.96 1.97 3/185 25902
/proc/meminfo: memFree=31185016/32770624 swapFree=0/421440
[pid=25892] ppid=25889 vsize=46088 CPUtime=282.18 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 21468 0 0 0 28217 1 0 0 20 0 1 0 133340562 47194112 5290 18446744073709551615 4194304 7396336 140727936475344 140727936470360 4379209 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11522 5290 771 782 0 4538 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 46088
[startup+342.3 s]
/proc/loadavg: 2.21 2.02 1.98 3/184 25904
/proc/meminfo: memFree=31185160/32770624 swapFree=0/421444
[pid=25892] ppid=25889 vsize=46088 CPUtime=342.18 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 22391 0 0 0 34217 1 0 0 20 0 1 0 133340562 47194112 5295 18446744073709551615 4194304 7396336 140727936475344 140727936470360 4249495 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11522 5295 771 782 0 4538 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 46088
[startup+402.3 s]
/proc/loadavg: 2.08 2.01 1.98 3/187 25920
/proc/meminfo: memFree=31180612/32770624 swapFree=0/421480
[pid=25892] ppid=25889 vsize=46088 CPUtime=402.17 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 23301 0 0 0 40216 1 0 0 20 0 1 0 133340562 47194112 5299 18446744073709551615 4194304 7396336 140727936475344 140727936470360 4581491 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11522 5299 771 782 0 4538 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 46088
[startup+462.306 s]
/proc/loadavg: 2.03 2.01 1.98 3/187 25922
/proc/meminfo: memFree=31180400/32770624 swapFree=0/421488
[pid=25892] ppid=25889 vsize=46088 CPUtime=462.17 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 24216 0 0 0 46216 1 0 0 20 0 1 0 133340562 47194112 5299 18446744073709551615 4194304 7396336 140727936475344 140727936470360 5608781 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11522 5299 771 782 0 4538 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 46088
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/184 25924
/proc/meminfo: memFree=31184228/32770624 swapFree=0/421508
[pid=25892] ppid=25889 vsize=46088 CPUtime=522.16 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 25128 0 0 0 52215 1 0 0 20 0 1 0 133340562 47194112 5299 18446744073709551615 4194304 7396336 140727936475344 140727936470360 4379197 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11522 5299 771 782 0 4538 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 46088
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 1.99 3/185 25927
/proc/meminfo: memFree=31184700/32770624 swapFree=0/421528
[pid=25892] ppid=25889 vsize=46088 CPUtime=582.16 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 26041 0 0 0 58215 1 0 0 20 0 1 0 133340562 47194112 5299 18446744073709551615 4194304 7396336 140727936475344 140727936470360 4404811 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11522 5299 771 782 0 4538 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 46088
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/188 25995
/proc/meminfo: memFree=31179980/32770624 swapFree=0/421704
[pid=25892] ppid=25889 vsize=46352 CPUtime=1602.09 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 41968 0 0 0 160207 2 0 0 20 0 1 0 133340562 47464448 5337 18446744073709551615 4194304 7396336 140727936475344 140727936469816 4406356 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5337 771 782 0 4604 0
Current children cumulated CPU time (s) 1602.09
Current children cumulated vsize (KiB) 46352
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 26022
/proc/meminfo: memFree=31178164/32770624 swapFree=0/421728
[pid=25892] ppid=25889 vsize=46352 CPUtime=1662.09 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 42915 0 0 0 166207 2 0 0 20 0 1 0 133340562 47464448 5337 18446744073709551615 4194304 7396336 140727936475344 140727936469816 4257703 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5337 771 782 0 4604 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 46352
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 26024
/proc/meminfo: memFree=31179184/32770624 swapFree=0/421748
[pid=25892] ppid=25889 vsize=46352 CPUtime=1722.08 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 43856 0 0 0 172206 2 0 0 20 0 1 0 133340562 47464448 5337 18446744073709551615 4194304 7396336 140727936475344 140727936469816 5609005 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5337 771 782 0 4604 0
Current children cumulated CPU time (s) 1722.08
Current children cumulated vsize (KiB) 46352
[startup+1782.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/186 26026
/proc/meminfo: memFree=31181620/32770624 swapFree=0/421760
[pid=25892] ppid=25889 vsize=46352 CPUtime=1782.08 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 44806 0 0 0 178206 2 0 0 20 0 1 0 133340562 47464448 5359 18446744073709551615 4194304 7396336 140727936475344 140727936469816 4406506 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5359 771 782 0 4604 0
Current children cumulated CPU time (s) 1782.08
Current children cumulated vsize (KiB) 46352
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/186 26028
/proc/meminfo: memFree=31182328/32770624 swapFree=0/421772
[pid=25892] ppid=25889 vsize=46352 CPUtime=1842.07 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 45267 0 0 0 184205 2 0 0 20 0 1 0 133340562 47464448 5359 18446744073709551615 4194304 7396336 140727936475344 140727936469816 4257671 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5359 771 782 0 4604 0
Current children cumulated CPU time (s) 1842.07
Current children cumulated vsize (KiB) 46352
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 26030
/proc/meminfo: memFree=31182844/32770624 swapFree=0/421784
[pid=25892] ppid=25889 vsize=46352 CPUtime=1902.06 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 45725 0 0 0 190204 2 0 0 20 0 1 0 133340562 47464448 5359 18446744073709551615 4194304 7396336 140727936475344 140727936469816 5608992 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5359 771 782 0 4604 0
Current children cumulated CPU time (s) 1902.06
Current children cumulated vsize (KiB) 46352
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 26032
/proc/meminfo: memFree=31183080/32770624 swapFree=0/421792
[pid=25892] ppid=25889 vsize=46352 CPUtime=1962.06 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 46182 0 0 0 196204 2 0 0 20 0 1 0 133340562 47464448 5359 18446744073709551615 4194304 7396336 140727936475344 140727936469816 4257837 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5359 771 782 0 4604 0
Current children cumulated CPU time (s) 1962.06
Current children cumulated vsize (KiB) 46352
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 26034
/proc/meminfo: memFree=31183552/32770624 swapFree=0/421808
[pid=25892] ppid=25889 vsize=46352 CPUtime=2022.05 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 46645 0 0 0 202203 2 0 0 20 0 1 0 133340562 47464448 5359 18446744073709551615 4194304 7396336 140727936475344 140727936469816 4257837 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5359 771 782 0 4604 0
Current children cumulated CPU time (s) 2022.05
Current children cumulated vsize (KiB) 46352
[startup+2082.3 s]
/proc/loadavg: 1.89 1.98 1.99 3/186 26038
/proc/meminfo: memFree=31183368/32770624 swapFree=0/421816
[pid=25892] ppid=25889 vsize=46352 CPUtime=2082.05 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 47105 0 0 0 208203 2 0 0 20 0 1 0 133340562 47464448 5359 18446744073709551615 4194304 7396336 140727936475344 140727936469816 4246592 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5359 771 782 0 4604 0
Current children cumulated CPU time (s) 2082.05
Current children cumulated vsize (KiB) 46352
[startup+2142.3 s]
/proc/loadavg: 1.96 1.99 1.99 3/186 26040
/proc/meminfo: memFree=31183868/32770624 swapFree=0/421824
[pid=25892] ppid=25889 vsize=46352 CPUtime=2142.04 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 47563 0 0 0 214202 2 0 0 20 0 1 0 133340562 47464448 5359 18446744073709551615 4194304 7396336 140727936475344 140727936469816 4581576 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5359 771 782 0 4604 0
Current children cumulated CPU time (s) 2142.04
Current children cumulated vsize (KiB) 46352
[startup+2202.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/190 26057
/proc/meminfo: memFree=31178584/32770624 swapFree=0/421844
[pid=25892] ppid=25889 vsize=46352 CPUtime=2202.04 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 48022 0 0 0 220202 2 0 0 20 0 1 0 133340562 47464448 5359 18446744073709551615 4194304 7396336 140727936475344 140727936469816 4406460 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5359 771 782 0 4604 0
Current children cumulated CPU time (s) 2202.04
Current children cumulated vsize (KiB) 46352
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/190 26059
/proc/meminfo: memFree=31178968/32770624 swapFree=0/421848
[pid=25892] ppid=25889 vsize=46352 CPUtime=2262.03 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 48475 0 0 0 226201 2 0 0 20 0 1 0 133340562 47464448 5359 18446744073709551615 4194304 7396336 140727936475344 140727936469816 4581479 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5359 771 782 0 4604 0
Current children cumulated CPU time (s) 2262.03
Current children cumulated vsize (KiB) 46352
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/187 26061
/proc/meminfo: memFree=31182704/32770624 swapFree=0/421860
[pid=25892] ppid=25889 vsize=46352 CPUtime=2322.03 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 48930 0 0 0 232201 2 0 0 20 0 1 0 133340562 47464448 5359 18446744073709551615 4194304 7396336 140727936475344 140727936469816 4581738 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5359 771 782 0 4604 0
Current children cumulated CPU time (s) 2322.03
Current children cumulated vsize (KiB) 46352
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/185 26063
/proc/meminfo: memFree=31182492/32770624 swapFree=0/421876
[pid=25892] ppid=25889 vsize=46352 CPUtime=2382.02 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 49378 0 0 0 238200 2 0 0 20 0 1 0 133340562 47464448 5359 18446744073709551615 4194304 7396336 140727936475344 140727936469816 4581723 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5359 771 782 0 4604 0
Current children cumulated CPU time (s) 2382.02
Current children cumulated vsize (KiB) 46352
[startup+2442.31 s]
/proc/loadavg: 2.00 1.99 1.99 3/185 26065
/proc/meminfo: memFree=31182960/32770624 swapFree=0/421884
[pid=25892] ppid=25889 vsize=46352 CPUtime=2442.03 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 49833 0 0 0 244201 2 0 0 20 0 1 0 133340562 47464448 5359 18446744073709551615 4194304 7396336 140727936475344 140727936469816 4249442 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5359 771 782 0 4604 0
Current children cumulated CPU time (s) 2442.03
Current children cumulated vsize (KiB) 46352
[startup+2502.3 s]
/proc/loadavg: 1.95 1.97 1.98 3/184 26067
/proc/meminfo: memFree=31183364/32770624 swapFree=0/421896
[pid=25892] ppid=25889 vsize=46352 CPUtime=2502.02 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 50282 0 0 0 250200 2 0 0 20 0 1 0 133340562 47464448 5359 18446744073709551615 4194304 7396336 140727936475344 140727936469816 5575964 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5359 771 782 0 4604 0
Current children cumulated CPU time (s) 2502.02
Current children cumulated vsize (KiB) 46352
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 1.96 1.97 1.98 3/184 26067
/proc/meminfo: memFree=31183364/32770624 swapFree=0/421900
[pid=25892] ppid=25889 vsize=46352 CPUtime=2519.71 cores=0,2,4,6
/proc/25892/stat : 25892 (MistralXCSP) R 25889 25892 4525 0 -1 4202496 50726 0 0 0 251969 2 0 0 20 0 1 0 133340562 47464448 5359 18446744073709551615 4194304 7396336 140727936475344 140727936469816 4407057 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 19369984 140727936483762 140727936483912 140727936483912 140727936487369 0
/proc/25892/statm: 11588 5359 771 782 0 4604 0
Current children cumulated CPU time (s) 2519.71
Current children cumulated vsize (KiB) 46352
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 25892 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.73
CPU user time (s): 2519.7
CPU system time (s): 0.028997
CPU usage (%): 99.9892
Max. virtual memory (cumulated for all children) (KiB): 46352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.7
system time used= 0.028997
maximum resident set size= 21456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50764
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= 13
involuntary context switches= 4004
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65503 second user time and 10.8228 second system time
The end