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-4261261-1502382685/watcher-4261261-1502382685 -o /tmp/evaluation-result-4261261-1502382685/solver-4261261-1502382685 -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 744998733 HOME/instance-4261261-1502382685.xml
pid=15668
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: 1.96 2.02 2.04 3/180 15671
/proc/meminfo: memFree=31269628/32770624 swapFree=0/530488
[pid=15671] ppid=15668 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15671/stat : 15671 (runsolver) D 15668 15671 16590 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 40462053 24240128 108 18446744073709551615 4194304 4338465 140736252386688 140736252384328 140641010356951 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 36933632 140736252395661 140736252396106 140736252396106 140736252399562 0
/proc/15671/statm: 5918 108 54 36 0 2156 0
[startup+0.102021 s]
/proc/loadavg: 1.96 2.02 2.04 3/180 15671
/proc/meminfo: memFree=31269628/32770624 swapFree=0/530488
[pid=15671] ppid=15668 vsize=37612 CPUtime=0 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 3205 0 0 0 0 0 0 0 20 0 1 0 40462053 38514688 3046 18446744073709551615 4194304 7396336 140722286550080 140722286543320 5887740 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 9403 3046 641 782 0 2419 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 37612
[startup+0.211061 s]
/proc/loadavg: 1.96 2.02 2.04 3/180 15671
/proc/meminfo: memFree=31269628/32770624 swapFree=0/530488
[pid=15671] ppid=15668 vsize=133020 CPUtime=0.11 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 27087 0 0 0 8 3 0 0 20 0 1 0 40462053 136212480 26872 18446744073709551615 4194304 7396336 140722286550080 140722286544616 4248775 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26872 670 782 0 26271 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 133020
[startup+0.300345 s]
/proc/loadavg: 1.96 2.02 2.04 3/180 15671
/proc/meminfo: memFree=31269628/32770624 swapFree=0/530488
[pid=15671] ppid=15668 vsize=133020 CPUtime=0.2 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 27087 0 0 0 17 3 0 0 20 0 1 0 40462053 136212480 26872 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5594293 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26872 670 782 0 26271 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 133020
[startup+0.700284 s]
/proc/loadavg: 1.96 2.02 2.04 3/180 15671
/proc/meminfo: memFree=31269628/32770624 swapFree=0/530488
[pid=15671] ppid=15668 vsize=133020 CPUtime=0.6 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 27087 0 0 0 57 3 0 0 20 0 1 0 40462053 136212480 26872 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5578099 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26872 670 782 0 26271 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 133020
[startup+1.50028 s]
/proc/loadavg: 1.97 2.02 2.04 3/181 15672
/proc/meminfo: memFree=31165172/32770624 swapFree=0/530476
[pid=15671] ppid=15668 vsize=133020 CPUtime=1.4 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 27087 0 0 0 137 3 0 0 20 0 1 0 40462053 136212480 26872 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5594166 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26872 670 782 0 26271 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 133020
[startup+3.10028 s]
/proc/loadavg: 1.97 2.02 2.04 3/181 15672
/proc/meminfo: memFree=31164924/32770624 swapFree=0/530476
[pid=15671] ppid=15668 vsize=133020 CPUtime=3 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 29024 0 0 0 297 3 0 0 20 0 1 0 40462053 136212480 26929 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5593904 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26929 674 782 0 26271 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 133020
[startup+6.30028 s]
/proc/loadavg: 1.97 2.02 2.04 3/181 15672
/proc/meminfo: memFree=31163540/32770624 swapFree=0/530472
[pid=15671] ppid=15668 vsize=133020 CPUtime=6.2 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 30964 0 0 0 617 3 0 0 20 0 1 0 40462053 136212480 26929 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5654035 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26929 674 782 0 26271 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 133020
[startup+12.7003 s]
/proc/loadavg: 1.97 2.02 2.04 3/181 15672
/proc/meminfo: memFree=31163664/32770624 swapFree=0/530472
[pid=15671] ppid=15668 vsize=133020 CPUtime=12.6 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 32905 0 0 0 1257 3 0 0 20 0 1 0 40462053 136212480 26929 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5575220 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26929 674 782 0 26271 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 133020
[startup+25.5003 s]
/proc/loadavg: 1.98 2.02 2.04 3/181 15672
/proc/meminfo: memFree=31163136/32770624 swapFree=0/530472
[pid=15671] ppid=15668 vsize=133020 CPUtime=25.39 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 35886 0 0 0 2535 4 0 0 20 0 1 0 40462053 136212480 26929 18446744073709551615 4194304 7396336 140722286550080 140722286544616 4317528 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26929 674 782 0 26271 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 133020
[startup+51.1003 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 15673
/proc/meminfo: memFree=31163104/32770624 swapFree=0/530468
[pid=15671] ppid=15668 vsize=133020 CPUtime=50.97 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 36901 0 0 0 5093 4 0 0 20 0 1 0 40462053 136212480 26929 18446744073709551615 4194304 7396336 140722286550080 140722286544616 4379209 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26929 674 782 0 26271 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 133020
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 15674
/proc/meminfo: memFree=31163752/32770624 swapFree=0/530476
[pid=15671] ppid=15668 vsize=133020 CPUtime=102.17 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 37132 0 0 0 10213 4 0 0 20 0 1 0 40462053 136212480 26929 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5594154 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26929 674 782 0 26271 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 133020
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15676
/proc/meminfo: memFree=31163548/32770624 swapFree=0/530480
[pid=15671] ppid=15668 vsize=133020 CPUtime=162.16 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 37350 0 0 0 16212 4 0 0 20 0 1 0 40462053 136212480 26929 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5594326 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26929 674 782 0 26271 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 133020
[startup+222.306 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 15693
/proc/meminfo: memFree=31158728/32770624 swapFree=0/530504
[pid=15671] ppid=15668 vsize=133020 CPUtime=222.16 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 37570 0 0 0 22212 4 0 0 20 0 1 0 40462053 136212480 26929 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5784553 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26929 674 782 0 26271 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 133020
[startup+282.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/182 15695
/proc/meminfo: memFree=31162992/32770624 swapFree=0/530508
[pid=15671] ppid=15668 vsize=133020 CPUtime=282.15 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 37789 0 0 0 28211 4 0 0 20 0 1 0 40462053 136212480 26929 18446744073709551615 4194304 7396336 140722286550080 140722286544616 4317290 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26929 674 782 0 26271 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 133020
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 15697
/proc/meminfo: memFree=31162752/32770624 swapFree=0/530520
[pid=15671] ppid=15668 vsize=133020 CPUtime=342.14 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 38008 0 0 0 34210 4 0 0 20 0 1 0 40462053 136212480 26929 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5586120 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26929 674 782 0 26271 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 133020
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 15699
/proc/meminfo: memFree=31163348/32770624 swapFree=0/530536
[pid=15671] ppid=15668 vsize=133020 CPUtime=402.14 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 38221 0 0 0 40210 4 0 0 20 0 1 0 40462053 136212480 26929 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5575200 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26929 674 782 0 26271 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 133020
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 15702
/proc/meminfo: memFree=31162728/32770624 swapFree=0/530548
[pid=15671] ppid=15668 vsize=133020 CPUtime=462.13 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 38441 0 0 0 46209 4 0 0 20 0 1 0 40462053 136212480 26929 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5594172 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26929 674 782 0 26271 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 133020
[startup+522.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 15704
/proc/meminfo: memFree=31162992/32770624 swapFree=0/530580
[pid=15671] ppid=15668 vsize=133020 CPUtime=522.13 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 38656 0 0 0 52209 4 0 0 20 0 1 0 40462053 136212480 26929 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5594331 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26929 674 782 0 26271 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 133020
[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 15706
/proc/meminfo: memFree=31162660/32770624 swapFree=0/530596
[pid=15671] ppid=15668 vsize=133020 CPUtime=582.12 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 38875 0 0 0 58208 4 0 0 20 0 1 0 40462053 136212480 26929 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5839252 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26929 674 782 0 26271 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 133020
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 15770
/proc/meminfo: memFree=31162156/32770624 swapFree=0/530808
[pid=15671] ppid=15668 vsize=133020 CPUtime=1602.03 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 42595 0 0 0 160199 4 0 0 20 0 1 0 40462053 136212480 26931 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5586558 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26931 674 782 0 26271 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 133020
[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/182 15772
/proc/meminfo: memFree=31161660/32770624 swapFree=0/530824
[pid=15671] ppid=15668 vsize=133020 CPUtime=1662.03 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 42816 0 0 0 166199 4 0 0 20 0 1 0 40462053 136212480 26931 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5594166 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26931 674 782 0 26271 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 133020
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 15774
/proc/meminfo: memFree=31162296/32770624 swapFree=0/530848
[pid=15671] ppid=15668 vsize=133020 CPUtime=1722.02 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 43031 0 0 0 172198 4 0 0 20 0 1 0 40462053 136212480 26931 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5653837 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26931 674 782 0 26271 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 133020
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15776
/proc/meminfo: memFree=31161676/32770624 swapFree=0/530856
[pid=15671] ppid=15668 vsize=133020 CPUtime=1782.01 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 43224 0 0 0 178197 4 0 0 20 0 1 0 40462053 136212480 26931 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5784838 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26931 674 782 0 26271 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 133020
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 15778
/proc/meminfo: memFree=31162380/32770624 swapFree=0/530860
[pid=15671] ppid=15668 vsize=133020 CPUtime=1842.01 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 43439 0 0 0 184197 4 0 0 20 0 1 0 40462053 136212480 26931 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5593928 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26931 674 782 0 26271 0
Current children cumulated CPU time (s) 1842.01
Current children cumulated vsize (KiB) 133020
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15780
/proc/meminfo: memFree=31162132/32770624 swapFree=0/530872
[pid=15671] ppid=15668 vsize=133020 CPUtime=1902 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 43623 0 0 0 190196 4 0 0 20 0 1 0 40462053 136212480 26931 18446744073709551615 4194304 7396336 140722286550080 140722286544616 4317507 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26931 674 782 0 26271 0
Current children cumulated CPU time (s) 1902
Current children cumulated vsize (KiB) 133020
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15782
/proc/meminfo: memFree=31162752/32770624 swapFree=0/530880
[pid=15671] ppid=15668 vsize=133020 CPUtime=1962 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 43877 0 0 0 196196 4 0 0 20 0 1 0 40462053 136212480 26931 18446744073709551615 4194304 7396336 140722286550080 140722286544616 4248752 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26931 674 782 0 26271 0
Current children cumulated CPU time (s) 1962
Current children cumulated vsize (KiB) 133020
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15798
/proc/meminfo: memFree=31158032/32770624 swapFree=0/530932
[pid=15671] ppid=15668 vsize=133020 CPUtime=2021.99 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 44099 0 0 0 202195 4 0 0 20 0 1 0 40462053 136212480 26932 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5593856 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26932 674 782 0 26271 0
Current children cumulated CPU time (s) 2021.99
Current children cumulated vsize (KiB) 133020
[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 15800
/proc/meminfo: memFree=31161420/32770624 swapFree=0/530944
[pid=15671] ppid=15668 vsize=133020 CPUtime=2081.99 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 44321 0 0 0 208195 4 0 0 20 0 1 0 40462053 136212480 26932 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5784775 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26932 674 782 0 26271 0
Current children cumulated CPU time (s) 2081.99
Current children cumulated vsize (KiB) 133020
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15802
/proc/meminfo: memFree=31161544/32770624 swapFree=0/530952
[pid=15671] ppid=15668 vsize=133020 CPUtime=2141.98 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 44543 0 0 0 214194 4 0 0 20 0 1 0 40462053 136212480 26932 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5594280 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26932 674 782 0 26271 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 133020
[startup+2202.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 15804
/proc/meminfo: memFree=31161800/32770624 swapFree=0/530956
[pid=15671] ppid=15668 vsize=133020 CPUtime=2201.98 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 44765 0 0 0 220194 4 0 0 20 0 1 0 40462053 136212480 26932 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5653837 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26932 674 782 0 26271 0
Current children cumulated CPU time (s) 2201.98
Current children cumulated vsize (KiB) 133020
[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 15806
/proc/meminfo: memFree=31161676/32770624 swapFree=0/530972
[pid=15671] ppid=15668 vsize=133020 CPUtime=2261.97 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 44988 0 0 0 226193 4 0 0 20 0 1 0 40462053 136212480 26932 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5784838 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26932 674 782 0 26271 0
Current children cumulated CPU time (s) 2261.97
Current children cumulated vsize (KiB) 133020
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15809
/proc/meminfo: memFree=31161892/32770624 swapFree=0/531000
[pid=15671] ppid=15668 vsize=133020 CPUtime=2321.97 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 45204 0 0 0 232193 4 0 0 20 0 1 0 40462053 136212480 26932 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5784543 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26932 674 782 0 26271 0
Current children cumulated CPU time (s) 2321.97
Current children cumulated vsize (KiB) 133020
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15811
/proc/meminfo: memFree=31161396/32770624 swapFree=0/531008
[pid=15671] ppid=15668 vsize=133020 CPUtime=2381.96 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 45428 0 0 0 238192 4 0 0 20 0 1 0 40462053 136212480 26932 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5593897 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26932 674 782 0 26271 0
Current children cumulated CPU time (s) 2381.96
Current children cumulated vsize (KiB) 133020
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15996
/proc/meminfo: memFree=31164532/32770624 swapFree=0/531092
[pid=15671] ppid=15668 vsize=133020 CPUtime=2441.96 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 45651 0 0 0 244192 4 0 0 20 0 1 0 40462053 136212480 26933 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5594326 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26933 674 782 0 26271 0
Current children cumulated CPU time (s) 2441.96
Current children cumulated vsize (KiB) 133020
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15999
/proc/meminfo: memFree=31165004/32770624 swapFree=0/531120
[pid=15671] ppid=15668 vsize=133020 CPUtime=2501.95 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 45869 0 0 0 250191 4 0 0 20 0 1 0 40462053 136212480 26933 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5594323 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26933 674 782 0 26271 0
Current children cumulated CPU time (s) 2501.95
Current children cumulated vsize (KiB) 133020
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16000
/proc/meminfo: memFree=31165128/32770624 swapFree=0/531128
[pid=15671] ppid=15668 vsize=133020 CPUtime=2519.65 cores=0,2,4,6
/proc/15671/stat : 15671 (MistralXCSP) R 15668 15671 16590 0 -1 4202496 46086 0 0 0 251961 4 0 0 20 0 1 0 40462053 136212480 26933 18446744073709551615 4194304 7396336 140722286550080 140722286544616 5784833 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 16801792 140722286555572 140722286555721 140722286555721 140722286559177 0
/proc/15671/statm: 33255 26933 674 782 0 26271 0
Current children cumulated CPU time (s) 2519.65
Current children cumulated vsize (KiB) 133020
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 15671 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.67
CPU user time (s): 2519.62
CPU system time (s): 0.049995
CPU usage (%): 99.9867
Max. virtual memory (cumulated for all children) (KiB): 133020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.62
system time used= 0.049995
maximum resident set size= 107760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46123
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= 50
involuntary context switches= 3153
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78568 second user time and 8.81305 second system time
The end