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-4261681-1502344726/watcher-4261681-1502344726 -o /tmp/evaluation-result-4261681-1502344726/solver-4261681-1502344726 -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 1230019927 HOME/instance-4261681-1502344726.xml
pid=10101
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.35 2.11 2.08 6/193 10104
/proc/meminfo: memFree=31051240/32770624 swapFree=0/520528
[pid=10104] ppid=10101 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10104/stat : 10104 (runsolver) D 10101 10104 16590 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 36666095 24240128 108 18446744073709551615 4194304 4338465 140726508485888 140726508483528 140560905679575 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 10682368 140726508490892 140726508491338 140726508491338 140726508494794 0
/proc/10104/statm: 5918 108 54 36 0 2156 0
[startup+0.105824 s]
/proc/loadavg: 2.35 2.11 2.08 6/193 10104
/proc/meminfo: memFree=31051240/32770624 swapFree=0/520528
[pid=10104] ppid=10101 vsize=28796 CPUtime=0.01 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 1058 0 0 0 1 0 0 0 20 0 1 0 36666095 29487104 868 18446744073709551615 4194304 7396336 140736499963312 140736499953088 140207352813531 0 0 1 0 0 0 0 17 7 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 7199 868 679 782 0 215 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28796
[startup+0.200826 s]
/proc/loadavg: 2.35 2.11 2.08 6/193 10104
/proc/meminfo: memFree=31051240/32770624 swapFree=0/520528
[pid=10104] ppid=10101 vsize=33356 CPUtime=0.1 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 2281 0 0 0 10 0 0 0 20 0 1 0 36666095 34156544 2081 18446744073709551615 4194304 7396336 140736499963312 140736499958408 5575964 0 0 1 16386 0 0 0 17 7 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8339 2081 765 782 0 1355 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 33356
[startup+0.300824 s]
/proc/loadavg: 2.35 2.11 2.08 6/193 10104
/proc/meminfo: memFree=31051240/32770624 swapFree=0/520528
[pid=10104] ppid=10101 vsize=33356 CPUtime=0.2 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 2284 0 0 0 20 0 0 0 20 0 1 0 36666095 34156544 2081 18446744073709551615 4194304 7396336 140736499963312 140736499958408 5607528 0 0 1 16386 0 0 0 17 7 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8339 2081 765 782 0 1355 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 33356
[startup+0.700163 s]
/proc/loadavg: 2.35 2.11 2.08 6/193 10104
/proc/meminfo: memFree=31051240/32770624 swapFree=0/520528
[pid=10104] ppid=10101 vsize=33356 CPUtime=0.6 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 2297 0 0 0 60 0 0 0 20 0 1 0 36666095 34156544 2081 18446744073709551615 4194304 7396336 140736499963312 140736499958408 5576141 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8339 2081 765 782 0 1355 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 33356
[startup+1.50022 s]
/proc/loadavg: 2.35 2.11 2.08 3/194 10105
/proc/meminfo: memFree=30754928/32770624 swapFree=0/520552
[pid=10104] ppid=10101 vsize=33356 CPUtime=1.4 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 2306 0 0 0 140 0 0 0 20 0 1 0 36666095 34156544 2081 18446744073709551615 4194304 7396336 140736499963312 140736499958408 4379217 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8339 2081 765 782 0 1355 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 33356
[startup+3.10021 s]
/proc/loadavg: 2.35 2.11 2.08 6/197 10108
/proc/meminfo: memFree=30508700/32770624 swapFree=0/520556
[pid=10104] ppid=10101 vsize=33356 CPUtime=3 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 3024 0 0 0 300 0 0 0 20 0 1 0 36666095 34156544 2110 18446744073709551615 4194304 7396336 140736499963312 140736499958408 4249767 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8339 2110 766 782 0 1355 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 33356
[startup+6.30022 s]
/proc/loadavg: 2.32 2.10 2.07 3/181 10140
/proc/meminfo: memFree=31229292/32770624 swapFree=0/520556
[pid=10104] ppid=10101 vsize=33356 CPUtime=6.2 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 3768 0 0 0 620 0 0 0 20 0 1 0 36666095 34156544 2113 18446744073709551615 4194304 7396336 140736499963312 140736499958408 5162973 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8339 2113 766 782 0 1355 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 33356
[startup+12.7002 s]
/proc/loadavg: 2.29 2.10 2.07 3/181 10140
/proc/meminfo: memFree=31122456/32770624 swapFree=0/520564
[pid=10104] ppid=10101 vsize=33356 CPUtime=12.6 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 4491 0 0 0 1260 0 0 0 20 0 1 0 36666095 34156544 2114 18446744073709551615 4194304 7396336 140736499963312 140736499958408 4317563 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8339 2114 766 782 0 1355 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 33356
[startup+25.5003 s]
/proc/loadavg: 2.23 2.10 2.07 3/181 10140
/proc/meminfo: memFree=31028596/32770624 swapFree=0/520564
[pid=10104] ppid=10101 vsize=33356 CPUtime=25.4 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 4695 0 0 0 2540 0 0 0 20 0 1 0 36666095 34156544 2114 18446744073709551615 4194304 7396336 140736499963312 140736499958408 4320981 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8339 2114 766 782 0 1355 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 33356
[startup+51.1003 s]
/proc/loadavg: 2.15 2.09 2.07 3/181 10141
/proc/meminfo: memFree=30859624/32770624 swapFree=0/520548
[pid=10104] ppid=10101 vsize=33356 CPUtime=51 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 4801 0 0 0 5100 0 0 0 20 0 1 0 36666095 34156544 2114 18446744073709551615 4194304 7396336 140736499963312 140736499958408 4249451 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8339 2114 766 782 0 1355 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 33356
[startup+102.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/181 10142
/proc/meminfo: memFree=30856784/32770624 swapFree=0/520568
[pid=10104] ppid=10101 vsize=33356 CPUtime=102.2 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 4908 0 0 0 10220 0 0 0 20 0 1 0 36666095 34156544 2114 18446744073709551615 4194304 7396336 140736499963312 140736499958408 4249696 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8339 2114 766 782 0 1355 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 33356
[startup+162.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/181 10144
/proc/meminfo: memFree=30857024/32770624 swapFree=0/520576
[pid=10104] ppid=10101 vsize=33356 CPUtime=162.19 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 5011 0 0 0 16219 0 0 0 20 0 1 0 36666095 34156544 2114 18446744073709551615 4194304 7396336 140736499963312 140736499958408 4320960 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8339 2114 766 782 0 1355 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 33356
[startup+222.306 s]
/proc/loadavg: 2.01 2.05 2.05 3/181 10146
/proc/meminfo: memFree=30854240/32770624 swapFree=0/520592
[pid=10104] ppid=10101 vsize=33356 CPUtime=222.19 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 5112 0 0 0 22219 0 0 0 20 0 1 0 36666095 34156544 2114 18446744073709551615 4194304 7396336 140736499963312 140736499958408 5607439 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8339 2114 766 782 0 1355 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 33356
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 10148
/proc/meminfo: memFree=30853812/32770624 swapFree=0/520600
[pid=10104] ppid=10101 vsize=33356 CPUtime=282.19 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 5214 0 0 0 28219 0 0 0 20 0 1 0 36666095 34156544 2114 18446744073709551615 4194304 7396336 140736499963312 140736499958408 4581710 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8339 2114 766 782 0 1355 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 33356
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/185 10165
/proc/meminfo: memFree=30848696/32770624 swapFree=0/520636
[pid=10104] ppid=10101 vsize=33356 CPUtime=342.18 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 5317 0 0 0 34218 0 0 0 20 0 1 0 36666095 34156544 2114 18446744073709551615 4194304 7396336 140736499963312 140736499958408 4249440 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8339 2114 766 782 0 1355 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 33356
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 10167
/proc/meminfo: memFree=30848292/32770624 swapFree=0/520676
[pid=10104] ppid=10101 vsize=33356 CPUtime=402.18 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 5420 0 0 0 40218 0 0 0 20 0 1 0 36666095 34156544 2114 18446744073709551615 4194304 7396336 140736499963312 140736499958408 4581459 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8339 2114 766 782 0 1355 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 33356
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 10169
/proc/meminfo: memFree=30850572/32770624 swapFree=0/520688
[pid=10104] ppid=10101 vsize=33532 CPUtime=462.18 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 5541 0 0 0 46218 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 4581738 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 33532
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 10171
/proc/meminfo: memFree=30850880/32770624 swapFree=0/520704
[pid=10104] ppid=10101 vsize=33532 CPUtime=522.17 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 5644 0 0 0 52217 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 4581684 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 33532
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 10173
/proc/meminfo: memFree=30846844/32770624 swapFree=0/520720
[pid=10104] ppid=10101 vsize=33532 CPUtime=582.17 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 5747 0 0 0 58217 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 5163046 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 33532
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 10263
/proc/meminfo: memFree=30840236/32770624 swapFree=0/521036
[pid=10104] ppid=10101 vsize=33532 CPUtime=1602.12 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 7485 0 0 0 160212 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 5586528 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 33532
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 10265
/proc/meminfo: memFree=30843392/32770624 swapFree=0/521040
[pid=10104] ppid=10101 vsize=33532 CPUtime=1662.12 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 7588 0 0 0 166212 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 4582297 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 1662.12
Current children cumulated vsize (KiB) 33532
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 10267
/proc/meminfo: memFree=30843640/32770624 swapFree=0/521044
[pid=10104] ppid=10101 vsize=33532 CPUtime=1722.12 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 7691 0 0 0 172212 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 5607988 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 1722.12
Current children cumulated vsize (KiB) 33532
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 10269
/proc/meminfo: memFree=30844000/32770624 swapFree=0/521064
[pid=10104] ppid=10101 vsize=33532 CPUtime=1782.12 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 7795 0 0 0 178212 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 4399542 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 33532
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 10271
/proc/meminfo: memFree=30843692/32770624 swapFree=0/521080
[pid=10104] ppid=10101 vsize=33532 CPUtime=1842.11 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 7897 0 0 0 184211 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 4379111 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 1842.11
Current children cumulated vsize (KiB) 33532
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 10273
/proc/meminfo: memFree=30843696/32770624 swapFree=0/521096
[pid=10104] ppid=10101 vsize=33532 CPUtime=1902.11 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 8001 0 0 0 190211 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 4581731 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 1902.11
Current children cumulated vsize (KiB) 33532
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 10275
/proc/meminfo: memFree=30843696/32770624 swapFree=0/521104
[pid=10104] ppid=10101 vsize=33532 CPUtime=1962.11 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 8104 0 0 0 196211 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 5575980 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 1962.11
Current children cumulated vsize (KiB) 33532
[startup+2022.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 10277
/proc/meminfo: memFree=30843576/32770624 swapFree=0/521120
[pid=10104] ppid=10101 vsize=33532 CPUtime=2022.11 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 8206 0 0 0 202211 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 4582304 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 2022.11
Current children cumulated vsize (KiB) 33532
[startup+2082.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 10279
/proc/meminfo: memFree=30844040/32770624 swapFree=0/521136
[pid=10104] ppid=10101 vsize=33532 CPUtime=2082.11 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 8308 0 0 0 208211 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 5608048 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 2082.11
Current children cumulated vsize (KiB) 33532
[startup+2142.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/184 10295
/proc/meminfo: memFree=30839040/32770624 swapFree=0/521160
[pid=10104] ppid=10101 vsize=33532 CPUtime=2142.1 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 8409 0 0 0 214210 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 5575964 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 2142.1
Current children cumulated vsize (KiB) 33532
[startup+2202.31 s]
/proc/loadavg: 2.05 2.05 2.05 3/184 10297
/proc/meminfo: memFree=30839260/32770624 swapFree=0/521172
[pid=10104] ppid=10101 vsize=33532 CPUtime=2202.1 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 8511 0 0 0 220210 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 4379104 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 2202.1
Current children cumulated vsize (KiB) 33532
[startup+2262.3 s]
/proc/loadavg: 2.11 2.07 2.05 3/181 10299
/proc/meminfo: memFree=30842904/32770624 swapFree=0/521196
[pid=10104] ppid=10101 vsize=33532 CPUtime=2262.09 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 8613 0 0 0 226209 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 4379104 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 33532
[startup+2322.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/181 10301
/proc/meminfo: memFree=30842992/32770624 swapFree=0/521208
[pid=10104] ppid=10101 vsize=33532 CPUtime=2322.09 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 8716 0 0 0 232209 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 4249712 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 2322.09
Current children cumulated vsize (KiB) 33532
[startup+2382.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/181 10303
/proc/meminfo: memFree=30843200/32770624 swapFree=0/521228
[pid=10104] ppid=10101 vsize=33532 CPUtime=2382.09 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 8819 0 0 0 238209 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 4581738 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 2382.09
Current children cumulated vsize (KiB) 33532
[startup+2442.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/181 10306
/proc/meminfo: memFree=30843208/32770624 swapFree=0/521244
[pid=10104] ppid=10101 vsize=33532 CPUtime=2442.09 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 8922 0 0 0 244209 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 4399479 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 2442.09
Current children cumulated vsize (KiB) 33532
[startup+2502.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 10308
/proc/meminfo: memFree=30843456/32770624 swapFree=0/521260
[pid=10104] ppid=10101 vsize=33532 CPUtime=2502.08 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 9018 0 0 0 250208 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 4249767 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 2502.08
Current children cumulated vsize (KiB) 33532
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 10309
/proc/meminfo: memFree=30843456/32770624 swapFree=0/521260
[pid=10104] ppid=10101 vsize=33532 CPUtime=2519.78 cores=1,3,5,7
/proc/10104/stat : 10104 (MistralXCSP) R 10101 10104 16590 0 -1 4202496 9121 0 0 0 251978 0 0 0 20 0 1 0 36666095 34336768 2126 18446744073709551615 4194304 7396336 140736499963312 140736499957864 4379209 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 12324864 140736499970483 140736499970633 140736499970633 140736499974089 0
/proc/10104/statm: 8383 2126 766 782 0 1399 0
Current children cumulated CPU time (s) 2519.78
Current children cumulated vsize (KiB) 33532
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 10104 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.79
CPU user time (s): 2519.79
CPU system time (s): 0.001999
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 33532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.79
system time used= 0.001999
maximum resident set size= 8524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9157
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= 8
involuntary context switches= 664
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68634 second user time and 8.36061 second system time
The end