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-4261739-1502403403/watcher-4261739-1502403403 -o /tmp/evaluation-result-4261739-1502403403/solver-4261739-1502403403 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502333976-23274 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 931748844 HOME/instance-4261739-1502403403.xml
pid=3132
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.04 2.02 2.05 3/188 3135
/proc/meminfo: memFree=30975816/32770624 swapFree=0/420808
[pid=3135] ppid=3132 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/3135/stat : 3135 (runsolver) D 3132 3135 1774 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 88155502 24240128 108 18446744073709551615 4194304 4338465 140722571534384 140722571532024 140449414550231 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 35704832 140722571538571 140722571539017 140722571539017 140722571542474 0
/proc/3135/statm: 5918 108 54 36 0 2156 0
[startup+0.105965 s]
/proc/loadavg: 2.04 2.02 2.05 3/188 3135
/proc/meminfo: memFree=30975816/32770624 swapFree=0/420808
[pid=3135] ppid=3132 vsize=28796 CPUtime=0.01 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 964 0 0 0 1 0 0 0 20 0 1 0 88155502 29487104 802 18446744073709551615 4194304 7396336 140736158891856 140736158885096 5880816 0 0 1 0 0 0 0 17 6 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 7199 802 612 782 0 215 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28796
[startup+0.200969 s]
/proc/loadavg: 2.04 2.02 2.05 3/188 3135
/proc/meminfo: memFree=30975816/32770624 swapFree=0/420808
[pid=3135] ppid=3132 vsize=29356 CPUtime=0.1 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 1218 0 0 0 10 0 0 0 20 0 1 0 88155502 30060544 1000 18446744073709551615 4194304 7396336 140736158891856 140736158881880 6163877 0 0 1 0 0 0 0 17 6 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 7339 1000 724 782 0 355 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29356
[startup+0.300967 s]
/proc/loadavg: 2.04 2.02 2.05 3/188 3135
/proc/meminfo: memFree=30975816/32770624 swapFree=0/420808
[pid=3135] ppid=3132 vsize=30176 CPUtime=0.2 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 1409 0 0 0 20 0 0 0 20 0 1 0 88155502 30900224 1236 18446744073709551615 4194304 7396336 140736158891856 140736158882328 6024384 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 7544 1236 724 782 0 560 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 30176
[startup+0.700282 s]
/proc/loadavg: 2.04 2.02 2.05 3/188 3135
/proc/meminfo: memFree=30975816/32770624 swapFree=0/420808
[pid=3135] ppid=3132 vsize=34176 CPUtime=0.6 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 2503 0 0 0 60 0 0 0 20 0 1 0 88155502 34996224 2263 18446744073709551615 4194304 7396336 140736158891856 140736158882408 6146741 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 8544 2263 724 782 0 1560 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 34176
[startup+1.50028 s]
/proc/loadavg: 2.04 2.02 2.05 3/189 3136
/proc/meminfo: memFree=30965508/32770624 swapFree=0/420812
[pid=3135] ppid=3132 vsize=38612 CPUtime=1.4 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 3598 0 0 0 140 0 0 0 20 0 1 0 88155502 39538688 3315 18446744073709551615 4194304 7396336 140736158891856 140736158882408 6180692 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 9653 3315 725 782 0 2669 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 38612
[startup+3.10028 s]
/proc/loadavg: 2.04 2.02 2.05 3/189 3136
/proc/meminfo: memFree=30950856/32770624 swapFree=0/420808
[pid=3135] ppid=3132 vsize=50664 CPUtime=2.99 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 8225 0 0 0 299 0 0 0 20 0 1 0 88155502 51879936 6355 18446744073709551615 4194304 7396336 140736158891856 140736158882408 6207590 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 12666 6355 725 782 0 5682 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 50664
[startup+6.30022 s]
/proc/loadavg: 2.04 2.02 2.05 3/189 3136
/proc/meminfo: memFree=30921900/32770624 swapFree=0/420808
[pid=3135] ppid=3132 vsize=62216 CPUtime=6.2 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 20052 0 0 0 619 1 0 0 20 0 1 0 88155502 63709184 9267 18446744073709551615 4194304 7396336 140736158891856 140736158886344 4252486 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15554 9267 778 782 0 8570 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 62216
[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 2.05 3/186 3136
/proc/meminfo: memFree=30894348/32770624 swapFree=0/420808
[pid=3135] ppid=3132 vsize=62412 CPUtime=12.6 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 26668 0 0 0 1259 1 0 0 20 0 1 0 88155502 63909888 9360 18446744073709551615 4194304 7396336 140736158891856 140736158886872 5165945 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15603 9360 780 782 0 8619 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 62412
[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 2.05 3/186 3137
/proc/meminfo: memFree=30844464/32770624 swapFree=0/420804
[pid=3135] ppid=3132 vsize=62412 CPUtime=25.4 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 39351 0 0 0 2538 2 0 0 20 0 1 0 88155502 63909888 9360 18446744073709551615 4194304 7396336 140736158891856 140736158886872 4581738 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15603 9360 780 782 0 8619 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 62412
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.05 3/185 3137
/proc/meminfo: memFree=30657228/32770624 swapFree=0/420800
[pid=3135] ppid=3132 vsize=62412 CPUtime=50.99 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 45743 0 0 0 5097 2 0 0 20 0 1 0 88155502 63909888 9362 18446744073709551615 4194304 7396336 140736158891856 140736158886872 4543790 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15603 9362 780 782 0 8619 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 62412
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/185 3139
/proc/meminfo: memFree=30567284/32770624 swapFree=0/420820
[pid=3135] ppid=3132 vsize=62412 CPUtime=102.19 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 52227 0 0 0 10216 3 0 0 20 0 1 0 88155502 63909888 9368 18446744073709551615 4194304 7396336 140736158891856 140736158886872 4543939 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15603 9368 780 782 0 8619 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 62412
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 3142
/proc/meminfo: memFree=30417088/32770624 swapFree=0/420832
[pid=3135] ppid=3132 vsize=62412 CPUtime=162.18 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 58686 0 0 0 16215 3 0 0 20 0 1 0 88155502 63909888 9373 18446744073709551615 4194304 7396336 140736158891856 140736158886872 5165805 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15603 9373 780 782 0 8619 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 62412
[startup+222.306 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 3145
/proc/meminfo: memFree=30320740/32770624 swapFree=0/420844
[pid=3135] ppid=3132 vsize=62412 CPUtime=222.19 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 65173 0 0 0 22215 4 0 0 20 0 1 0 88155502 63909888 9378 18446744073709551615 4194304 7396336 140736158891856 140736158886872 4399545 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15603 9378 780 782 0 8619 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 62412
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 3147
/proc/meminfo: memFree=30142888/32770624 swapFree=0/420864
[pid=3135] ppid=3132 vsize=62412 CPUtime=282.18 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 71635 0 0 0 28214 4 0 0 20 0 1 0 88155502 63909888 9386 18446744073709551615 4194304 7396336 140736158891856 140736158886872 4581738 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15603 9386 780 782 0 8619 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 62412
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 3150
/proc/meminfo: memFree=29739060/32770624 swapFree=0/420864
[pid=3135] ppid=3132 vsize=62412 CPUtime=342.18 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 78102 0 0 0 34214 4 0 0 20 0 1 0 88155502 63909888 9391 18446744073709551615 4194304 7396336 140736158891856 140736158886872 4581576 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15603 9391 780 782 0 8619 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 62412
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 3152
/proc/meminfo: memFree=29738968/32770624 swapFree=0/420888
[pid=3135] ppid=3132 vsize=62544 CPUtime=402.17 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 84553 0 0 0 40213 4 0 0 20 0 1 0 88155502 64045056 9396 18446744073709551615 4194304 7396336 140736158891856 140736158886264 4379138 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15636 9396 780 782 0 8652 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 62544
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 3169
/proc/meminfo: memFree=29735496/32770624 swapFree=0/420936
[pid=3135] ppid=3132 vsize=62544 CPUtime=462.16 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 91034 0 0 0 46212 4 0 0 20 0 1 0 88155502 64045056 9401 18446744073709551615 4194304 7396336 140736158891856 140736158886264 5586208 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15636 9401 780 782 0 8652 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 62544
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 3171
/proc/meminfo: memFree=29704444/32770624 swapFree=0/420944
[pid=3135] ppid=3132 vsize=62544 CPUtime=522.17 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 97511 0 0 0 52212 5 0 0 20 0 1 0 88155502 64045056 9406 18446744073709551615 4194304 7396336 140736158891856 140736158886264 5165805 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15636 9406 780 782 0 8652 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 62544
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3173
/proc/meminfo: memFree=29653492/32770624 swapFree=0/420960
[pid=3135] ppid=3132 vsize=62544 CPUtime=582.18 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 97548 0 0 0 58213 5 0 0 20 0 1 0 88155502 64045056 9406 18446744073709551615 4194304 7396336 140736158891856 140736158886264 5165805 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15636 9406 780 782 0 8652 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 62544
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 3228
/proc/meminfo: memFree=28802412/32770624 swapFree=0/421120
[pid=3135] ppid=3132 vsize=62808 CPUtime=1602.24 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 132798 0 0 0 160218 6 0 0 20 0 1 0 88155502 64315392 9472 18446744073709551615 4194304 7396336 140736158891856 140736158886264 5586259 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15702 9472 780 782 0 8718 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 62808
[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/189 3244
/proc/meminfo: memFree=28753368/32770624 swapFree=0/421132
[pid=3135] ppid=3132 vsize=62808 CPUtime=1662.25 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 132803 0 0 0 166219 6 0 0 20 0 1 0 88155502 64315392 9473 18446744073709551615 4194304 7396336 140736158891856 140736158886264 4406356 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15702 9473 780 782 0 8718 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 62808
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/189 3246
/proc/meminfo: memFree=28726680/32770624 swapFree=0/421156
[pid=3135] ppid=3132 vsize=62808 CPUtime=1722.25 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 133472 0 0 0 172219 6 0 0 20 0 1 0 88155502 64315392 9476 18446744073709551615 4194304 7396336 140736158891856 140736158886264 4249488 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15702 9476 780 782 0 8718 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 62808
[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/186 3248
/proc/meminfo: memFree=28697532/32770624 swapFree=0/421164
[pid=3135] ppid=3132 vsize=62808 CPUtime=1782.26 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 133473 0 0 0 178220 6 0 0 20 0 1 0 88155502 64315392 9476 18446744073709551615 4194304 7396336 140736158891856 140736158886264 5165805 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15702 9476 780 782 0 8718 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 62808
[startup+1842.3 s]
/proc/loadavg: 2.03 2.04 2.05 4/186 3250
/proc/meminfo: memFree=28665352/32770624 swapFree=0/421188
[pid=3135] ppid=3132 vsize=62808 CPUtime=1842.26 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 134146 0 0 0 184220 6 0 0 20 0 1 0 88155502 64315392 9480 18446744073709551615 4194304 7396336 140736158891856 140736158886264 4547298 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15702 9480 780 782 0 8718 0
Current children cumulated CPU time (s) 1842.26
Current children cumulated vsize (KiB) 62808
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 3253
/proc/meminfo: memFree=28407296/32770624 swapFree=0/421192
[pid=3135] ppid=3132 vsize=62808 CPUtime=1902.27 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 134146 0 0 0 190221 6 0 0 20 0 1 0 88155502 64315392 9480 18446744073709551615 4194304 7396336 140736158891856 140736158886264 4249738 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15702 9480 780 782 0 8718 0
Current children cumulated CPU time (s) 1902.27
Current children cumulated vsize (KiB) 62808
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 3255
/proc/meminfo: memFree=28364076/32770624 swapFree=0/421204
[pid=3135] ppid=3132 vsize=62808 CPUtime=1962.27 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 134812 0 0 0 196221 6 0 0 20 0 1 0 88155502 64315392 9481 18446744073709551615 4194304 7396336 140736158891856 140736158886264 5165842 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15702 9481 780 782 0 8718 0
Current children cumulated CPU time (s) 1962.27
Current children cumulated vsize (KiB) 62808
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 3257
/proc/meminfo: memFree=28330200/32770624 swapFree=0/421208
[pid=3135] ppid=3132 vsize=62808 CPUtime=2022.28 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 134820 0 0 0 202222 6 0 0 20 0 1 0 88155502 64315392 9481 18446744073709551615 4194304 7396336 140736158891856 140736158886264 5576291 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15702 9481 780 782 0 8718 0
Current children cumulated CPU time (s) 2022.28
Current children cumulated vsize (KiB) 62808
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 3260
/proc/meminfo: memFree=28264120/32770624 swapFree=0/421220
[pid=3135] ppid=3132 vsize=62948 CPUtime=2082.29 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 135511 0 0 0 208223 6 0 0 20 0 1 0 88155502 64458752 9490 18446744073709551615 4194304 7396336 140736158891856 140736158886360 5839276 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15737 9490 780 782 0 8753 0
Current children cumulated CPU time (s) 2082.29
Current children cumulated vsize (KiB) 62948
[startup+2142.3 s]
/proc/loadavg: 2.15 2.06 2.06 3/186 3262
/proc/meminfo: memFree=28218428/32770624 swapFree=0/421232
[pid=3135] ppid=3132 vsize=62948 CPUtime=2142.29 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 135511 0 0 0 214223 6 0 0 20 0 1 0 88155502 64458752 9490 18446744073709551615 4194304 7396336 140736158891856 140736158886360 4544006 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15737 9490 780 782 0 8753 0
Current children cumulated CPU time (s) 2142.29
Current children cumulated vsize (KiB) 62948
[startup+2202.31 s]
/proc/loadavg: 2.11 2.06 2.06 3/186 3265
/proc/meminfo: memFree=28195184/32770624 swapFree=0/421232
[pid=3135] ppid=3132 vsize=62948 CPUtime=2202.3 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 136192 0 0 0 220224 6 0 0 20 0 1 0 88155502 64458752 9494 18446744073709551615 4194304 7396336 140736158891856 140736158886360 5772207 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15737 9494 780 782 0 8753 0
Current children cumulated CPU time (s) 2202.3
Current children cumulated vsize (KiB) 62948
[startup+2262.3 s]
/proc/loadavg: 2.25 2.10 2.07 3/189 3281
/proc/meminfo: memFree=28161364/32770624 swapFree=0/421260
[pid=3135] ppid=3132 vsize=62948 CPUtime=2262.3 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 136195 0 0 0 226224 6 0 0 20 0 1 0 88155502 64458752 9494 18446744073709551615 4194304 7396336 140736158891856 140736158886360 5165821 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15737 9494 780 782 0 8753 0
Current children cumulated CPU time (s) 2262.3
Current children cumulated vsize (KiB) 62948
[startup+2322.3 s]
/proc/loadavg: 2.17 2.11 2.07 3/189 3283
/proc/meminfo: memFree=28130604/32770624 swapFree=0/421272
[pid=3135] ppid=3132 vsize=62948 CPUtime=2322.3 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 136886 0 0 0 232224 6 0 0 20 0 1 0 88155502 64458752 9497 18446744073709551615 4194304 7396336 140736158891856 140736158886360 5165928 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15737 9497 780 782 0 8753 0
Current children cumulated CPU time (s) 2322.3
Current children cumulated vsize (KiB) 62948
[startup+2382.3 s]
/proc/loadavg: 2.07 2.09 2.07 3/185 3285
/proc/meminfo: memFree=28109460/32770624 swapFree=0/421268
[pid=3135] ppid=3132 vsize=62948 CPUtime=2382.31 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 136888 0 0 0 238225 6 0 0 20 0 1 0 88155502 64458752 9497 18446744073709551615 4194304 7396336 140736158891856 140736158886360 5165842 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15737 9497 780 782 0 8753 0
Current children cumulated CPU time (s) 2382.31
Current children cumulated vsize (KiB) 62948
[startup+2442.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/186 3288
/proc/meminfo: memFree=28077224/32770624 swapFree=0/421284
[pid=3135] ppid=3132 vsize=62948 CPUtime=2442.31 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 137584 0 0 0 244225 6 0 0 20 0 1 0 88155502 64458752 9503 18446744073709551615 4194304 7396336 140736158891856 140736158886360 5165771 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15737 9503 780 782 0 8753 0
Current children cumulated CPU time (s) 2442.31
Current children cumulated vsize (KiB) 62948
[startup+2502.3 s]
/proc/loadavg: 1.94 2.05 2.05 2/182 3460
/proc/meminfo: memFree=31143848/32770624 swapFree=0/421336
[pid=3135] ppid=3132 vsize=62948 CPUtime=2502.32 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 137586 0 0 0 250226 6 0 0 20 0 1 0 88155502 64458752 9503 18446744073709551615 4194304 7396336 140736158891856 140736158886360 4581738 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15737 9503 780 782 0 8753 0
Current children cumulated CPU time (s) 2502.32
Current children cumulated vsize (KiB) 62948
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 1.89 2.03 2.04 3/186 3480
/proc/meminfo: memFree=31048812/32770624 swapFree=0/421328
[pid=3135] ppid=3132 vsize=62948 CPUtime=2520.02 cores=0,2,4,6
/proc/3135/stat : 3135 (MistralXCSP) R 3132 3135 1774 0 -1 4202496 138267 0 0 0 251996 6 0 0 20 0 1 0 88155502 64458752 9507 18446744073709551615 4194304 7396336 140736158891856 140736158886360 5165805 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 15937536 140736158896563 140736158896712 140736158896712 140736158900169 0
/proc/3135/statm: 15737 9507 780 782 0 8753 0
Current children cumulated CPU time (s) 2520.02
Current children cumulated vsize (KiB) 62948
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 3135 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2520.03
CPU user time (s): 2519.96
CPU system time (s): 0.069003
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 62948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.96
system time used= 0.069003
maximum resident set size= 38048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138303
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= 20
involuntary context switches= 1184
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82617 second user time and 10.4444 second system time
The end