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-4261731-1502402889/watcher-4261731-1502402889 -o /tmp/evaluation-result-4261731-1502402889/solver-4261731-1502402889 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8161 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1169981604 HOME/instance-4261731-1502402889.xml
pid=18422
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.01 2.02 2.05 3/181 18425
/proc/meminfo: memFree=31210260/32770624 swapFree=0/536588
[pid=18425] ppid=18422 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/18425/stat : 18425 (runsolver) D 18422 18425 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 42482415 24240128 106 18446744073709551615 4194304 4338465 140727148783952 140727148781592 140002806272727 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 34873344 140727148789900 140727148790346 140727148790346 140727148793802 0
/proc/18425/statm: 5918 106 53 36 0 2156 0
[startup+0.109286 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 18425
/proc/meminfo: memFree=31210260/32770624 swapFree=0/536588
[pid=18425] ppid=18422 vsize=28928 CPUtime=0 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 983 0 0 0 0 0 0 0 20 0 1 0 42482415 29622272 802 18446744073709551615 4194304 7396336 140729166958448 140729166951688 6047375 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 7232 802 606 782 0 248 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28928
[startup+0.2003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 18425
/proc/meminfo: memFree=31210260/32770624 swapFree=0/536588
[pid=18425] ppid=18422 vsize=29388 CPUtime=0.1 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 1074 0 0 0 10 0 0 0 20 0 1 0 42482415 30093312 868 18446744073709551615 4194304 7396336 140729166958448 140729166951688 5952384 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 7347 868 613 782 0 363 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29388
[startup+0.300321 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 18425
/proc/meminfo: memFree=31210260/32770624 swapFree=0/536588
[pid=18425] ppid=18422 vsize=29820 CPUtime=0.2 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 1319 0 0 0 20 0 0 0 20 0 1 0 42482415 30535680 1132 18446744073709551615 4194304 7396336 140729166958448 140729166951688 6181413 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 7455 1132 724 782 0 471 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 29820
[startup+0.700279 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 18425
/proc/meminfo: memFree=31210260/32770624 swapFree=0/536588
[pid=18425] ppid=18422 vsize=32380 CPUtime=0.59 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 1970 0 0 0 59 0 0 0 20 0 1 0 42482415 33157120 1752 18446744073709551615 4194304 7396336 140729166958448 140729166949144 140405529901639 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 8095 1752 724 782 0 1111 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 32380
[startup+1.50028 s]
/proc/loadavg: 1.92 2.01 2.04 3/182 18426
/proc/meminfo: memFree=31203092/32770624 swapFree=0/536588
[pid=18425] ppid=18422 vsize=38148 CPUtime=1.39 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 3487 0 0 0 139 0 0 0 20 0 1 0 42482415 39063552 3228 18446744073709551615 4194304 7396336 140729166958448 140729166949144 6181499 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 9537 3228 725 782 0 2553 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 38148
[startup+3.10028 s]
/proc/loadavg: 1.92 2.01 2.04 3/182 18426
/proc/meminfo: memFree=31192924/32770624 swapFree=0/536588
[pid=18425] ppid=18422 vsize=50424 CPUtime=3 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 8747 0 0 0 299 1 0 0 20 0 1 0 42482415 51634176 6302 18446744073709551615 4194304 7396336 140729166958448 140729166949000 6149318 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 12606 6302 725 782 0 5622 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 50424
[startup+6.30028 s]
/proc/loadavg: 1.92 2.01 2.04 3/182 18426
/proc/meminfo: memFree=31171516/32770624 swapFree=0/536588
[pid=18425] ppid=18422 vsize=79312 CPUtime=6.19 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 22471 0 0 0 617 2 0 0 20 0 1 0 42482415 81215488 13532 18446744073709551615 4194304 7396336 140729166958448 140729166949000 6180828 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 19828 13532 725 782 0 12844 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 79312
[startup+12.7003 s]
/proc/loadavg: 1.94 2.01 2.04 3/182 18426
/proc/meminfo: memFree=31130160/32770624 swapFree=0/536584
[pid=18425] ppid=18422 vsize=111428 CPUtime=12.59 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 32614 0 0 0 1256 3 0 0 20 0 1 0 42482415 114102272 21546 18446744073709551615 4194304 7396336 140729166958448 140729166949000 6190128 0 0 1 0 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 27857 21546 725 782 0 20873 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 111428
[startup+25.5003 s]
/proc/loadavg: 1.95 2.01 2.04 3/182 18426
/proc/meminfo: memFree=31107916/32770624 swapFree=0/536576
[pid=18425] ppid=18422 vsize=130620 CPUtime=25.39 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 81597 0 0 0 2534 5 0 0 20 0 1 0 42482415 133754880 26423 18446744073709551615 4194304 7396336 140729166958448 140729166953112 4252551 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 32655 26423 778 782 0 25671 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 130620
[startup+51.1004 s]
/proc/loadavg: 1.96 2.01 2.04 3/182 18426
/proc/meminfo: memFree=31105836/32770624 swapFree=0/536572
[pid=18425] ppid=18422 vsize=131416 CPUtime=50.97 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 98409 0 0 0 5091 6 0 0 20 0 1 0 42482415 134569984 26615 18446744073709551615 4194304 7396336 140729166958448 140729166953080 4252539 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 32854 26615 779 782 0 25870 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 131416
[startup+102.3 s]
/proc/loadavg: 1.95 1.99 2.03 3/182 18429
/proc/meminfo: memFree=31105916/32770624 swapFree=0/536576
[pid=18425] ppid=18422 vsize=131416 CPUtime=102.16 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 104587 0 0 0 10210 6 0 0 20 0 1 0 42482415 134569984 26632 18446744073709551615 4194304 7396336 140729166958448 140729166953080 5165805 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 32854 26632 779 782 0 25870 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 131416
[startup+162.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/182 18431
/proc/meminfo: memFree=31105852/32770624 swapFree=0/536600
[pid=18425] ppid=18422 vsize=132048 CPUtime=162.15 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 105973 0 0 0 16208 7 0 0 20 0 1 0 42482415 135217152 26769 18446744073709551615 4194304 7396336 140729166958448 140729166953464 4582512 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33012 26769 780 782 0 26028 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 132048
[startup+222.306 s]
/proc/loadavg: 1.99 1.99 2.03 3/182 18433
/proc/meminfo: memFree=31105856/32770624 swapFree=0/536616
[pid=18425] ppid=18422 vsize=132048 CPUtime=222.15 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 107219 0 0 0 22208 7 0 0 20 0 1 0 42482415 135217152 26769 18446744073709551615 4194304 7396336 140729166958448 140729166953464 5165842 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33012 26769 780 782 0 26028 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 132048
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 18436
/proc/meminfo: memFree=31106112/32770624 swapFree=0/536604
[pid=18425] ppid=18422 vsize=132048 CPUtime=282.14 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 108448 0 0 0 28207 7 0 0 20 0 1 0 42482415 135217152 26769 18446744073709551615 4194304 7396336 140729166958448 140729166953464 4379138 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33012 26769 780 782 0 26028 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 132048
[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.04 3/181 18438
/proc/meminfo: memFree=31105600/32770624 swapFree=0/536612
[pid=18425] ppid=18422 vsize=132048 CPUtime=342.13 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 109657 0 0 0 34206 7 0 0 20 0 1 0 42482415 135217152 26769 18446744073709551615 4194304 7396336 140729166958448 140729166953464 5165821 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33012 26769 780 782 0 26028 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 132048
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/184 18454
/proc/meminfo: memFree=31101532/32770624 swapFree=0/536620
[pid=18425] ppid=18422 vsize=132048 CPUtime=402.12 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 110908 0 0 0 40205 7 0 0 20 0 1 0 42482415 135217152 26769 18446744073709551615 4194304 7396336 140729166958448 140729166953464 5165842 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33012 26769 780 782 0 26028 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 132048
[startup+462.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/184 18483
/proc/meminfo: memFree=31099944/32770624 swapFree=0/536620
[pid=18425] ppid=18422 vsize=132048 CPUtime=462.12 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 112146 0 0 0 46205 7 0 0 20 0 1 0 42482415 135217152 26769 18446744073709551615 4194304 7396336 140729166958448 140729166953464 4252536 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33012 26769 780 782 0 26028 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 132048
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/182 18485
/proc/meminfo: memFree=31102536/32770624 swapFree=0/536632
[pid=18425] ppid=18422 vsize=132048 CPUtime=522.12 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 113397 0 0 0 52204 8 0 0 20 0 1 0 42482415 135217152 26769 18446744073709551615 4194304 7396336 140729166958448 140729166953464 4581738 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33012 26769 780 782 0 26028 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 132048
[startup+582.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 18487
/proc/meminfo: memFree=31103504/32770624 swapFree=0/536644
[pid=18425] ppid=18422 vsize=132048 CPUtime=582.12 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 114661 0 0 0 58204 8 0 0 20 0 1 0 42482415 135217152 26769 18446744073709551615 4194304 7396336 140729166958448 140729166953464 5165796 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33012 26769 780 782 0 26028 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 132048
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 18553
/proc/meminfo: memFree=31099452/32770624 swapFree=0/536864
[pid=18425] ppid=18422 vsize=132180 CPUtime=1602.02 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 136314 0 0 0 160193 9 0 0 20 0 1 0 42482415 135352320 26821 18446744073709551615 4194304 7396336 140729166958448 140729166952856 5165763 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33045 26821 780 782 0 26061 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 132180
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18555
/proc/meminfo: memFree=31101056/32770624 swapFree=0/536860
[pid=18425] ppid=18422 vsize=132180 CPUtime=1662.02 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 137605 0 0 0 166193 9 0 0 20 0 1 0 42482415 135352320 26821 18446744073709551615 4194304 7396336 140729166958448 140729166952856 4387935 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33045 26821 780 782 0 26061 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 132180
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18557
/proc/meminfo: memFree=31103012/32770624 swapFree=0/536868
[pid=18425] ppid=18422 vsize=132180 CPUtime=1722.01 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 138897 0 0 0 172192 9 0 0 20 0 1 0 42482415 135352320 26823 18446744073709551615 4194304 7396336 140729166958448 140729166952856 5610016 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33045 26823 780 782 0 26061 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 132180
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18559
/proc/meminfo: memFree=31102824/32770624 swapFree=0/536880
[pid=18425] ppid=18422 vsize=132180 CPUtime=1782 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 140196 0 0 0 178191 9 0 0 20 0 1 0 42482415 135352320 26824 18446744073709551615 4194304 7396336 140729166958448 140729166952856 5165800 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33045 26824 780 782 0 26061 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 132180
[startup+1842.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 18561
/proc/meminfo: memFree=31103456/32770624 swapFree=0/536880
[pid=18425] ppid=18422 vsize=132180 CPUtime=1841.99 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 141468 0 0 0 184190 9 0 0 20 0 1 0 42482415 135352320 26825 18446744073709551615 4194304 7396336 140729166958448 140729166952856 4245088 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33045 26825 780 782 0 26061 0
Current children cumulated CPU time (s) 1841.99
Current children cumulated vsize (KiB) 132180
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 18564
/proc/meminfo: memFree=31103900/32770624 swapFree=0/536876
[pid=18425] ppid=18422 vsize=132180 CPUtime=1902 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 142770 0 0 0 190190 10 0 0 20 0 1 0 42482415 135352320 26826 18446744073709551615 4194304 7396336 140729166958448 140729166952856 5586214 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33045 26826 780 782 0 26061 0
Current children cumulated CPU time (s) 1902
Current children cumulated vsize (KiB) 132180
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 18566
/proc/meminfo: memFree=31104368/32770624 swapFree=0/536892
[pid=18425] ppid=18422 vsize=132180 CPUtime=1961.99 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 144039 0 0 0 196189 10 0 0 20 0 1 0 42482415 135352320 26827 18446744073709551615 4194304 7396336 140729166958448 140729166952856 4245088 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33045 26827 780 782 0 26061 0
Current children cumulated CPU time (s) 1961.99
Current children cumulated vsize (KiB) 132180
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18568
/proc/meminfo: memFree=31104080/32770624 swapFree=0/536900
[pid=18425] ppid=18422 vsize=132180 CPUtime=2021.98 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 145393 0 0 0 202188 10 0 0 20 0 1 0 42482415 135352320 26830 18446744073709551615 4194304 7396336 140729166958448 140729166952856 4252450 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33045 26830 780 782 0 26061 0
Current children cumulated CPU time (s) 2021.98
Current children cumulated vsize (KiB) 132180
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18571
/proc/meminfo: memFree=31104324/32770624 swapFree=0/536912
[pid=18425] ppid=18422 vsize=132180 CPUtime=2081.98 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 146700 0 0 0 208188 10 0 0 20 0 1 0 42482415 135352320 26831 18446744073709551615 4194304 7396336 140729166958448 140729166952856 4253024 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33045 26831 780 782 0 26061 0
Current children cumulated CPU time (s) 2081.98
Current children cumulated vsize (KiB) 132180
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18573
/proc/meminfo: memFree=31104076/32770624 swapFree=0/536928
[pid=18425] ppid=18422 vsize=132180 CPUtime=2141.98 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 148007 0 0 0 214187 11 0 0 20 0 1 0 42482415 135352320 26833 18446744073709551615 4194304 7396336 140729166958448 140729166952856 4581459 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33045 26833 780 782 0 26061 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 132180
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 18590
/proc/meminfo: memFree=31099312/32770624 swapFree=0/536948
[pid=18425] ppid=18422 vsize=132312 CPUtime=2201.98 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 149305 0 0 0 220187 11 0 0 20 0 1 0 42482415 135487488 26835 18446744073709551615 4194304 7396336 140729166958448 140729166952936 4249698 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33078 26835 780 782 0 26094 0
Current children cumulated CPU time (s) 2201.98
Current children cumulated vsize (KiB) 132312
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 18592
/proc/meminfo: memFree=31101476/32770624 swapFree=0/536948
[pid=18425] ppid=18422 vsize=132312 CPUtime=2261.96 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 150607 0 0 0 226185 11 0 0 20 0 1 0 42482415 135487488 26837 18446744073709551615 4194304 7396336 140729166958448 140729166952936 5165842 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33078 26837 780 782 0 26094 0
Current children cumulated CPU time (s) 2261.96
Current children cumulated vsize (KiB) 132312
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 18594
/proc/meminfo: memFree=31102472/32770624 swapFree=0/536960
[pid=18425] ppid=18422 vsize=132312 CPUtime=2321.96 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 151942 0 0 0 232185 11 0 0 20 0 1 0 42482415 135487488 26845 18446744073709551615 4194304 7396336 140729166958448 140729166952936 5165928 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33078 26845 780 782 0 26094 0
Current children cumulated CPU time (s) 2321.96
Current children cumulated vsize (KiB) 132312
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 18596
/proc/meminfo: memFree=31103188/32770624 swapFree=0/536964
[pid=18425] ppid=18422 vsize=132312 CPUtime=2381.95 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 153255 0 0 0 238184 11 0 0 20 0 1 0 42482415 135487488 26851 18446744073709551615 4194304 7396336 140729166958448 140729166952936 4581738 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33078 26851 780 782 0 26094 0
Current children cumulated CPU time (s) 2381.95
Current children cumulated vsize (KiB) 132312
[startup+2442.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 18850
/proc/meminfo: memFree=31153852/32770624 swapFree=0/537048
[pid=18425] ppid=18422 vsize=132312 CPUtime=2441.94 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 154558 0 0 0 244183 11 0 0 20 0 1 0 42482415 135487488 26851 18446744073709551615 4194304 7396336 140729166958448 140729166952936 5165842 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33078 26851 780 782 0 26094 0
Current children cumulated CPU time (s) 2441.94
Current children cumulated vsize (KiB) 132312
[startup+2502.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 18852
/proc/meminfo: memFree=31153248/32770624 swapFree=0/537056
[pid=18425] ppid=18422 vsize=132312 CPUtime=2501.94 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 155891 0 0 0 250183 11 0 0 20 0 1 0 42482415 135487488 26853 18446744073709551615 4194304 7396336 140729166958448 140729166952936 4252450 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33078 26853 780 782 0 26094 0
Current children cumulated CPU time (s) 2501.94
Current children cumulated vsize (KiB) 132312
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 18852
/proc/meminfo: memFree=31153248/32770624 swapFree=0/537056
[pid=18425] ppid=18422 vsize=132312 CPUtime=2519.63 cores=0,2,4,6
/proc/18425/stat : 18425 (MistralXCSP) R 18422 18425 16590 0 -1 4202496 157138 0 0 0 251952 11 0 0 20 0 1 0 42482415 135487488 26855 18446744073709551615 4194304 7396336 140729166958448 140729166952936 5586242 0 0 1 16386 0 0 0 17 2 0 0 9 0 0 9496464 9501696 11075584 140729166967219 140729166967369 140729166967369 140729166970825 0
/proc/18425/statm: 33078 26855 780 782 0 26094 0
Current children cumulated CPU time (s) 2519.63
Current children cumulated vsize (KiB) 132312
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 18425 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.65
CPU user time (s): 2519.53
CPU system time (s): 0.120989
CPU usage (%): 99.986
Max. virtual memory (cumulated for all children) (KiB): 133972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.53
system time used= 0.120989
maximum resident set size= 108960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157175
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= 41
involuntary context switches= 3152
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21515 second user time and 9.85503 second system time
The end