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-4261246-1502354833/watcher-4261246-1502354833 -o /tmp/evaluation-result-4261246-1502354833/solver-4261246-1502354833 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8162 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 733170318 HOME/instance-4261246-1502354833.xml
pid=11604
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.00 2.02 2.05 3/180 11607
/proc/meminfo: memFree=30935756/32770624 swapFree=0/523264
[pid=11607] ppid=11604 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/11607/stat : 11607 (runsolver) D 11604 11607 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 37676822 24240128 106 18446744073709551615 4194304 4338465 140731971569792 140731971567432 140351647224535 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 7954432 140731971571853 140731971572298 140731971572298 140731971575754 0
/proc/11607/statm: 5918 106 53 36 0 2156 0
[startup+0.100057 s]
/proc/loadavg: 2.00 2.02 2.05 3/180 11607
/proc/meminfo: memFree=30935756/32770624 swapFree=0/523264
[pid=11607] ppid=11604 vsize=9200 CPUtime=0 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4194304 171 0 0 0 0 0 0 0 20 0 1 0 37676822 9420800 40 18446744073709551615 4194304 7396336 140734501016400 140734501013640 140056679636838 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 2850 54 40 782 0 41 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9200
[startup+0.200258 s]
/proc/loadavg: 2.00 2.02 2.05 3/180 11607
/proc/meminfo: memFree=30935756/32770624 swapFree=0/523264
[pid=11607] ppid=11604 vsize=48112 CPUtime=0.09 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 6123 0 0 0 9 0 0 0 20 0 1 0 37676822 49266688 5654 18446744073709551615 4194304 7396336 140734501016400 140734501013400 4565880 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 12028 5654 672 782 0 5044 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48112
[startup+0.300346 s]
/proc/loadavg: 2.00 2.02 2.05 3/180 11607
/proc/meminfo: memFree=30935756/32770624 swapFree=0/523264
[pid=11607] ppid=11604 vsize=58332 CPUtime=0.2 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 8744 0 0 0 19 1 0 0 20 0 1 0 37676822 59731968 8205 18446744073709551615 4194304 7396336 140734501016400 140734501013400 4565880 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 14583 8205 674 782 0 7599 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 58332
[startup+0.700306 s]
/proc/loadavg: 2.00 2.02 2.05 3/180 11607
/proc/meminfo: memFree=30935756/32770624 swapFree=0/523264
[pid=11607] ppid=11604 vsize=89176 CPUtime=0.6 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 16137 0 0 0 58 2 0 0 20 0 1 0 37676822 91316224 15888 18446744073709551615 4194304 7396336 140734501016400 140734501006888 4566039 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 22294 15888 674 782 0 15310 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 89176
[startup+1.50024 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11608
/proc/meminfo: memFree=30860352/32770624 swapFree=0/523272
[pid=11607] ppid=11604 vsize=119912 CPUtime=1.39 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 23966 0 0 0 136 3 0 0 20 0 1 0 37676822 122789888 23557 18446744073709551615 4194304 7396336 140734501016400 140734501006888 4566032 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 29978 23557 674 782 0 22994 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 119912
[startup+3.10025 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11608
/proc/meminfo: memFree=30809380/32770624 swapFree=0/523272
[pid=11607] ppid=11604 vsize=202640 CPUtime=3 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 64228 0 0 0 293 7 0 0 20 0 1 0 37676822 207503360 44315 18446744073709551615 4194304 7396336 140734501016400 140734501006888 4566039 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 50660 44315 687 782 0 43676 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 202640
[startup+6.30028 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11608
/proc/meminfo: memFree=30752064/32770624 swapFree=0/523268
[pid=11607] ppid=11604 vsize=211044 CPUtime=6.19 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 100969 0 0 0 611 8 0 0 20 0 1 0 37676822 216109056 46442 18446744073709551615 4194304 7396336 140734501016400 140734501011752 5162982 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46442 720 782 0 45777 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 211044
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11608
/proc/meminfo: memFree=30751816/32770624 swapFree=0/523264
[pid=11607] ppid=11604 vsize=211044 CPUtime=12.6 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 130987 0 0 0 1250 10 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5162969 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 211044
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11608
/proc/meminfo: memFree=30751940/32770624 swapFree=0/523256
[pid=11607] ppid=11604 vsize=211044 CPUtime=25.39 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 189443 0 0 0 2526 13 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 4543790 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 211044
[startup+51.1004 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 11795
/proc/meminfo: memFree=31071604/32770624 swapFree=0/523316
[pid=11607] ppid=11604 vsize=211044 CPUtime=50.98 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 223948 0 0 0 5084 14 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5163042 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 211044
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 11856
/proc/meminfo: memFree=31068384/32770624 swapFree=0/523344
[pid=11607] ppid=11604 vsize=211044 CPUtime=102.15 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 244779 0 0 0 10199 16 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5162969 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 211044
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/181 11918
/proc/meminfo: memFree=30665720/32770624 swapFree=0/523368
[pid=11607] ppid=11604 vsize=211044 CPUtime=162.13 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 247973 0 0 0 16197 16 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5575227 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 211044
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 4/181 11920
/proc/meminfo: memFree=30651528/32770624 swapFree=0/523368
[pid=11607] ppid=11604 vsize=211044 CPUtime=222.14 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 249303 0 0 0 22198 16 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5162958 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 211044
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/181 11922
/proc/meminfo: memFree=30651512/32770624 swapFree=0/523368
[pid=11607] ppid=11604 vsize=211044 CPUtime=282.13 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 250665 0 0 0 28197 16 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 4542519 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 211044
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/181 11924
/proc/meminfo: memFree=30651424/32770624 swapFree=0/523364
[pid=11607] ppid=11604 vsize=211044 CPUtime=342.12 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 251893 0 0 0 34196 16 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5649755 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 211044
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 5/181 11926
/proc/meminfo: memFree=30650764/32770624 swapFree=0/523376
[pid=11607] ppid=11604 vsize=211044 CPUtime=402.12 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 253377 0 0 0 40196 16 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5162982 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 211044
[startup+462.3 s]
/proc/loadavg: 2.06 2.03 2.05 4/185 11943
/proc/meminfo: memFree=30645440/32770624 swapFree=0/523420
[pid=11607] ppid=11604 vsize=211044 CPUtime=462.12 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 254608 0 0 0 46196 16 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5162969 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 211044
[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.05 4/182 11945
/proc/meminfo: memFree=30648736/32770624 swapFree=0/523416
[pid=11607] ppid=11604 vsize=211044 CPUtime=522.12 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 256071 0 0 0 52195 17 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5839021 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 211044
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 4/182 11947
/proc/meminfo: memFree=30648736/32770624 swapFree=0/523420
[pid=11607] ppid=11604 vsize=211044 CPUtime=582.12 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 257421 0 0 0 58195 17 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5163042 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 211044
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.05 4/181 11997
/proc/meminfo: memFree=30649400/32770624 swapFree=0/523640
[pid=11607] ppid=11604 vsize=211044 CPUtime=1602.08 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 279778 0 0 0 160189 19 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 4246560 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 1602.08
Current children cumulated vsize (KiB) 211044
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 4/185 12014
/proc/meminfo: memFree=30644952/32770624 swapFree=0/523692
[pid=11607] ppid=11604 vsize=211044 CPUtime=1662.07 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 280645 0 0 0 166188 19 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 4246597 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 1662.07
Current children cumulated vsize (KiB) 211044
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 5/186 12041
/proc/meminfo: memFree=30644000/32770624 swapFree=0/523720
[pid=11607] ppid=11604 vsize=211044 CPUtime=1722.07 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 281511 0 0 0 172188 19 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 4317596 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 1722.07
Current children cumulated vsize (KiB) 211044
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/183 12043
/proc/meminfo: memFree=30647668/32770624 swapFree=0/523716
[pid=11607] ppid=11604 vsize=211044 CPUtime=1782.07 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 282376 0 0 0 178188 19 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5675072 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 1782.07
Current children cumulated vsize (KiB) 211044
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 4/183 12045
/proc/meminfo: memFree=30647792/32770624 swapFree=0/523736
[pid=11607] ppid=11604 vsize=211044 CPUtime=1842.06 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 284110 0 0 0 184187 19 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5162982 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 1842.06
Current children cumulated vsize (KiB) 211044
[startup+1902.3 s]
/proc/loadavg: 2.05 2.04 2.05 4/183 12047
/proc/meminfo: memFree=30648136/32770624 swapFree=0/523744
[pid=11607] ppid=11604 vsize=211044 CPUtime=1902.07 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 285366 0 0 0 190187 20 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5162969 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 1902.07
Current children cumulated vsize (KiB) 211044
[startup+1962.3 s]
/proc/loadavg: 2.20 2.08 2.06 4/182 12049
/proc/meminfo: memFree=30648640/32770624 swapFree=0/523752
[pid=11607] ppid=11604 vsize=211044 CPUtime=1962.06 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 286630 0 0 0 196186 20 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5586420 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 1962.06
Current children cumulated vsize (KiB) 211044
[startup+2022.3 s]
/proc/loadavg: 2.11 2.08 2.06 4/181 12051
/proc/meminfo: memFree=30648904/32770624 swapFree=0/523756
[pid=11607] ppid=11604 vsize=211044 CPUtime=2022.06 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 288010 0 0 0 202186 20 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5162969 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 2022.06
Current children cumulated vsize (KiB) 211044
[startup+2082.3 s]
/proc/loadavg: 2.04 2.06 2.05 4/181 12053
/proc/meminfo: memFree=30648916/32770624 swapFree=0/523772
[pid=11607] ppid=11604 vsize=211044 CPUtime=2082.06 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 289359 0 0 0 208186 20 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5162982 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 2082.06
Current children cumulated vsize (KiB) 211044
[startup+2142.3 s]
/proc/loadavg: 2.01 2.05 2.05 4/181 12055
/proc/meminfo: memFree=30649024/32770624 swapFree=0/523788
[pid=11607] ppid=11604 vsize=211044 CPUtime=2142.05 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 290590 0 0 0 214185 20 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5162969 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 2142.05
Current children cumulated vsize (KiB) 211044
[startup+2202.31 s]
/proc/loadavg: 2.01 2.04 2.05 4/181 12057
/proc/meminfo: memFree=30649148/32770624 swapFree=0/523796
[pid=11607] ppid=11604 vsize=211044 CPUtime=2202.06 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 291995 0 0 0 220186 20 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 4249732 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 2202.06
Current children cumulated vsize (KiB) 211044
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/185 12074
/proc/meminfo: memFree=30645624/32770624 swapFree=0/523836
[pid=11607] ppid=11604 vsize=211044 CPUtime=2262.05 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 293346 0 0 0 226185 20 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5162982 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 2262.05
Current children cumulated vsize (KiB) 211044
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/182 12076
/proc/meminfo: memFree=30648896/32770624 swapFree=0/523848
[pid=11607] ppid=11604 vsize=211044 CPUtime=2322.04 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 294669 0 0 0 232184 20 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5162982 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 2322.04
Current children cumulated vsize (KiB) 211044
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/182 12078
/proc/meminfo: memFree=30648524/32770624 swapFree=0/523864
[pid=11607] ppid=11604 vsize=211044 CPUtime=2382.04 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 295988 0 0 0 238184 20 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5162990 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 2382.04
Current children cumulated vsize (KiB) 211044
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/182 12080
/proc/meminfo: memFree=30647904/32770624 swapFree=0/523868
[pid=11607] ppid=11604 vsize=211044 CPUtime=2442.04 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 297225 0 0 0 244184 20 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5163207 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 2442.04
Current children cumulated vsize (KiB) 211044
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/182 12082
/proc/meminfo: memFree=30648028/32770624 swapFree=0/523868
[pid=11607] ppid=11604 vsize=211044 CPUtime=2502.04 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 298534 0 0 0 250184 20 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5162969 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 2502.04
Current children cumulated vsize (KiB) 211044
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 12084
/proc/meminfo: memFree=30648296/32770624 swapFree=0/523868
[pid=11607] ppid=11604 vsize=211044 CPUtime=2519.73 cores=1,3,5,7
/proc/11607/stat : 11607 (MistralXCSP) R 11604 11607 16590 0 -1 4202496 299727 0 0 0 251953 20 0 0 20 0 1 0 37676822 216109056 46445 18446744073709551615 4194304 7396336 140734501016400 140734501011032 5586398 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 25903104 140734501020084 140734501020233 140734501020233 140734501023689 0
/proc/11607/statm: 52761 46445 723 782 0 45777 0
Current children cumulated CPU time (s) 2519.73
Current children cumulated vsize (KiB) 211044
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 11607 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.75
CPU user time (s): 2519.54
CPU system time (s): 0.211991
CPU usage (%): 99.99
Max. virtual memory (cumulated for all children) (KiB): 211044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.54
system time used= 0.211991
maximum resident set size= 185808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299764
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= 71
involuntary context switches= 733
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.32348 second user time and 10.2375 second system time
The end