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-4261117-1502334354/watcher-4261117-1502334354 -o /tmp/evaluation-result-4261117-1502334354/solver-4261117-1502334354 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25567 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2002247310 HOME/instance-4261117-1502334354.xml
pid=25591
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.02 1.99 1.96 4/186 25596
/proc/meminfo: memFree=31220004/32770624 swapFree=0/420924
[pid=25596] ppid=25591 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25596/stat : 25596 (runsolver) D 25591 25596 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 133088364 24240128 107 18446744073709551615 4194304 4338465 140721077522976 140721077520616 139934668210903 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 39989248 140721077526666 140721077527113 140721077527113 140721077530570 0
/proc/25596/statm: 5918 107 54 36 0 2156 0
[startup+0.100105 s]
/proc/loadavg: 2.02 1.99 1.96 4/186 25596
/proc/meminfo: memFree=31220004/32770624 swapFree=0/420924
[pid=25596] ppid=25591 vsize=28796 CPUtime=0.01 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 1062 0 0 0 1 0 0 0 20 0 1 0 133088364 29487104 868 18446744073709551615 4194304 7396336 140734572204176 140734572201176 5952095 0 0 1 0 0 0 0 17 0 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 7199 868 678 782 0 215 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28796
[startup+0.200215 s]
/proc/loadavg: 2.02 1.99 1.96 4/186 25596
/proc/meminfo: memFree=31220004/32770624 swapFree=0/420924
[pid=25596] ppid=25591 vsize=28924 CPUtime=0.11 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 1099 0 0 0 11 0 0 0 20 0 1 0 133088364 29618176 922 18446744073709551615 4194304 7396336 140734572204176 140734572201176 140719845106576 0 0 1 0 0 0 0 17 0 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 7231 922 714 782 0 247 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 28924
[startup+0.300199 s]
/proc/loadavg: 2.02 1.99 1.96 4/186 25596
/proc/meminfo: memFree=31220004/32770624 swapFree=0/420924
[pid=25596] ppid=25591 vsize=31108 CPUtime=0.21 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 1670 0 0 0 21 0 0 0 20 0 1 0 133088364 31854592 1502 18446744073709551615 4194304 7396336 140734572204176 140734572201176 5165821 0 0 1 16386 0 0 0 17 0 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 7777 1502 750 782 0 793 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 31108
[startup+0.700172 s]
/proc/loadavg: 2.02 1.99 1.96 4/186 25596
/proc/meminfo: memFree=31220004/32770624 swapFree=0/420924
[pid=25596] ppid=25591 vsize=31108 CPUtime=0.61 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 1707 0 0 0 61 0 0 0 20 0 1 0 133088364 31854592 1502 18446744073709551615 4194304 7396336 140734572204176 140734572199528 4320622 0 0 1 16386 0 0 0 17 0 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 7777 1502 750 782 0 793 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 31108
[startup+1.50017 s]
/proc/loadavg: 2.02 1.99 1.96 4/188 25598
/proc/meminfo: memFree=31196448/32770624 swapFree=0/420936
[pid=25596] ppid=25591 vsize=31108 CPUtime=1.41 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 1708 0 0 0 141 0 0 0 20 0 1 0 133088364 31854592 1502 18446744073709551615 4194304 7396336 140734572204176 140734572199528 5608772 0 0 1 16386 0 0 0 17 0 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 7777 1502 750 782 0 793 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 31108
[startup+3.10017 s]
/proc/loadavg: 2.02 1.99 1.96 4/188 25598
/proc/meminfo: memFree=31162528/32770624 swapFree=0/420936
[pid=25596] ppid=25591 vsize=31108 CPUtime=3.01 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 2230 0 0 0 301 0 0 0 20 0 1 0 133088364 31854592 1550 18446744073709551615 4194304 7396336 140734572204176 140734572199528 4581726 0 0 1 16386 0 0 0 17 0 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 7777 1550 766 782 0 793 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 31108
[startup+6.30017 s]
/proc/loadavg: 2.01 1.99 1.96 4/188 25598
/proc/meminfo: memFree=31157608/32770624 swapFree=0/420936
[pid=25596] ppid=25591 vsize=31108 CPUtime=6.21 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 2756 0 0 0 621 0 0 0 20 0 1 0 133088364 31854592 1550 18446744073709551615 4194304 7396336 140734572204176 140734572199528 5575314 0 0 1 16386 0 0 0 17 0 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 7777 1550 766 782 0 793 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 31108
[startup+12.7002 s]
/proc/loadavg: 2.01 1.99 1.96 4/186 25598
/proc/meminfo: memFree=31158528/32770624 swapFree=0/420936
[pid=25596] ppid=25591 vsize=31108 CPUtime=12.61 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 3279 0 0 0 1261 0 0 0 20 0 1 0 133088364 31854592 1550 18446744073709551615 4194304 7396336 140734572204176 140734572199528 4581608 0 0 1 16386 0 0 0 17 0 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 7777 1550 766 782 0 793 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 31108
[startup+25.5058 s]
/proc/loadavg: 1.94 1.98 1.95 4/185 25598
/proc/meminfo: memFree=31160296/32770624 swapFree=0/420920
[pid=25596] ppid=25591 vsize=31108 CPUtime=25.42 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 4327 0 0 0 2542 0 0 0 20 0 1 0 133088364 31854592 1550 18446744073709551615 4194304 7396336 140734572204176 140734572199528 4581634 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 7777 1550 766 782 0 793 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 31108
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.95 4/185 25598
/proc/meminfo: memFree=31159456/32770624 swapFree=0/420920
[pid=25596] ppid=25591 vsize=31108 CPUtime=51.01 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 4854 0 0 0 5101 0 0 0 20 0 1 0 133088364 31854592 1550 18446744073709551615 4194304 7396336 140734572204176 140734572199528 5165945 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 7777 1550 766 782 0 793 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 31108
[startup+102.3 s]
/proc/loadavg: 2.06 2.00 1.96 4/185 25600
/proc/meminfo: memFree=31158868/32770624 swapFree=0/420924
[pid=25596] ppid=25591 vsize=32428 CPUtime=102.2 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 5745 0 0 0 10220 0 0 0 20 0 1 0 133088364 33206272 1807 18446744073709551615 4194304 7396336 140734572204176 140734572199192 4407487 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8107 1807 769 782 0 1123 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 32428
[startup+162.3 s]
/proc/loadavg: 1.97 1.99 1.95 4/185 25602
/proc/meminfo: memFree=31157952/32770624 swapFree=0/420940
[pid=25596] ppid=25591 vsize=32692 CPUtime=162.2 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 6702 0 0 0 16220 0 0 0 20 0 1 0 133088364 33476608 1913 18446744073709551615 4194304 7396336 140734572204176 140734572198664 140719838907365 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8173 1913 769 782 0 1189 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 32692
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.95 4/185 25605
/proc/meminfo: memFree=31157836/32770624 swapFree=0/420952
[pid=25596] ppid=25591 vsize=32692 CPUtime=222.2 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 7183 0 0 0 22220 0 0 0 20 0 1 0 133088364 33476608 1937 18446744073709551615 4194304 7396336 140734572204176 140734572198664 4379197 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8173 1937 769 782 0 1189 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 32692
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/185 25607
/proc/meminfo: memFree=31158308/32770624 swapFree=0/420960
[pid=25596] ppid=25591 vsize=32692 CPUtime=282.19 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 7662 0 0 0 28219 0 0 0 20 0 1 0 133088364 33476608 1945 18446744073709551615 4194304 7396336 140734572204176 140734572198664 4406486 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8173 1945 769 782 0 1189 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 32692
[startup+342.306 s]
/proc/loadavg: 2.00 1.99 1.95 4/184 25609
/proc/meminfo: memFree=31157920/32770624 swapFree=0/420968
[pid=25596] ppid=25591 vsize=32692 CPUtime=342.19 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 8146 0 0 0 34219 0 0 0 20 0 1 0 133088364 33476608 1947 18446744073709551615 4194304 7396336 140734572204176 140734572198664 4249440 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8173 1947 769 782 0 1189 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 32692
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/184 25612
/proc/meminfo: memFree=31157976/32770624 swapFree=0/420980
[pid=25596] ppid=25591 vsize=32824 CPUtime=402.18 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 8637 0 0 0 40218 0 0 0 20 0 1 0 133088364 33611776 1948 18446744073709551615 4194304 7396336 140734572204176 140734572198424 5609008 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8206 1948 769 782 0 1222 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 32824
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/184 25614
/proc/meminfo: memFree=31158272/32770624 swapFree=0/420988
[pid=25596] ppid=25591 vsize=32824 CPUtime=462.18 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 9126 0 0 0 46218 0 0 0 20 0 1 0 133088364 33611776 1955 18446744073709551615 4194304 7396336 140734572204176 140734572198424 4407057 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8206 1955 769 782 0 1222 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 32824
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/188 25631
/proc/meminfo: memFree=31153284/32770624 swapFree=0/421008
[pid=25596] ppid=25591 vsize=32824 CPUtime=522.17 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 9625 0 0 0 52217 0 0 0 20 0 1 0 133088364 33611776 1963 18446744073709551615 4194304 7396336 140734572204176 140734572198424 4406960 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8206 1963 769 782 0 1222 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 32824
[startup+582.3 s]
/proc/loadavg: 1.97 1.97 1.95 4/188 25657
/proc/meminfo: memFree=31151644/32770624 swapFree=0/421028
[pid=25596] ppid=25591 vsize=32824 CPUtime=582.16 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 10116 0 0 0 58216 0 0 0 20 0 1 0 133088364 33611776 1963 18446744073709551615 4194304 7396336 140734572204176 140734572198424 5575952 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8206 1963 769 782 0 1222 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 32824
################
# More data... #
################
[startup+1662.31 s]
/proc/loadavg: 2.03 2.03 1.99 4/185 25710
/proc/meminfo: memFree=31156828/32770624 swapFree=0/421224
[pid=25596] ppid=25591 vsize=32956 CPUtime=1662.1 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 19390 0 0 0 166209 1 0 0 20 0 1 0 133088364 33746944 1994 18446744073709551615 4194304 7396336 140734572204176 140734572198424 5609002 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 1994 769 782 0 1255 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 32956
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.99 4/188 25726
/proc/meminfo: memFree=31151712/32770624 swapFree=0/421236
[pid=25596] ppid=25591 vsize=32956 CPUtime=1722.09 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 19877 0 0 0 172208 1 0 0 20 0 1 0 133088364 33746944 1994 18446744073709551615 4194304 7396336 140734572204176 140734572198424 5586330 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 1994 769 782 0 1255 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 32956
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.99 4/188 25728
/proc/meminfo: memFree=31151592/32770624 swapFree=0/421252
[pid=25596] ppid=25591 vsize=32956 CPUtime=1782.09 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 20405 0 0 0 178208 1 0 0 20 0 1 0 133088364 33746944 1994 18446744073709551615 4194304 7396336 140734572204176 140734572198424 5575964 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 1994 769 782 0 1255 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 32956
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.99 4/184 25730
/proc/meminfo: memFree=31154760/32770624 swapFree=0/421264
[pid=25596] ppid=25591 vsize=32956 CPUtime=1842.08 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 20926 0 0 0 184207 1 0 0 20 0 1 0 133088364 33746944 1995 18446744073709551615 4194304 7396336 140734572204176 140734572198424 140719842342602 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 1995 769 782 0 1255 0
Current children cumulated CPU time (s) 1842.08
Current children cumulated vsize (KiB) 32956
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.99 4/184 25732
/proc/meminfo: memFree=31154872/32770624 swapFree=0/421292
[pid=25596] ppid=25591 vsize=32956 CPUtime=1902.08 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 21478 0 0 0 190207 1 0 0 20 0 1 0 133088364 33746944 1995 18446744073709551615 4194304 7396336 140734572204176 140734572199192 4407073 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 1995 769 782 0 1255 0
Current children cumulated CPU time (s) 1902.08
Current children cumulated vsize (KiB) 32956
[startup+1962.3 s]
/proc/loadavg: 1.98 2.01 1.99 4/184 25734
/proc/meminfo: memFree=31155740/32770624 swapFree=0/421308
[pid=25596] ppid=25591 vsize=32956 CPUtime=1962.07 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 22006 0 0 0 196206 1 0 0 20 0 1 0 133088364 33746944 2001 18446744073709551615 4194304 7396336 140734572204176 140734572199192 4257837 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 2001 769 782 0 1255 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 32956
[startup+2022.3 s]
/proc/loadavg: 1.94 2.00 1.98 4/184 25737
/proc/meminfo: memFree=31155828/32770624 swapFree=0/421320
[pid=25596] ppid=25591 vsize=32956 CPUtime=2022.07 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 22539 0 0 0 202206 1 0 0 20 0 1 0 133088364 33746944 2001 18446744073709551615 4194304 7396336 140734572204176 140734572199192 4257837 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 2001 769 782 0 1255 0
Current children cumulated CPU time (s) 2022.07
Current children cumulated vsize (KiB) 32956
[startup+2082.3 s]
/proc/loadavg: 1.98 2.00 1.98 4/185 25740
/proc/meminfo: memFree=31156312/32770624 swapFree=0/421332
[pid=25596] ppid=25591 vsize=32956 CPUtime=2082.06 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 23075 0 0 0 208205 1 0 0 20 0 1 0 133088364 33746944 2002 18446744073709551615 4194304 7396336 140734572204176 140734572199192 4407456 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 2002 769 782 0 1255 0
Current children cumulated CPU time (s) 2082.06
Current children cumulated vsize (KiB) 32956
[startup+2142.3 s]
/proc/loadavg: 1.99 2.00 1.98 4/185 25742
/proc/meminfo: memFree=31156348/32770624 swapFree=0/421348
[pid=25596] ppid=25591 vsize=32956 CPUtime=2142.06 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 23604 0 0 0 214205 1 0 0 20 0 1 0 133088364 33746944 2003 18446744073709551615 4194304 7396336 140734572204176 140734572199192 4257837 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 2003 769 782 0 1255 0
Current children cumulated CPU time (s) 2142.06
Current children cumulated vsize (KiB) 32956
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/185 25745
/proc/meminfo: memFree=31156204/32770624 swapFree=0/421356
[pid=25596] ppid=25591 vsize=32956 CPUtime=2202.06 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 24132 0 0 0 220205 1 0 0 20 0 1 0 133088364 33746944 2003 18446744073709551615 4194304 7396336 140734572204176 140734572199192 4317633 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 2003 769 782 0 1255 0
Current children cumulated CPU time (s) 2202.06
Current children cumulated vsize (KiB) 32956
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/185 25747
/proc/meminfo: memFree=31156168/32770624 swapFree=0/421364
[pid=25596] ppid=25591 vsize=32956 CPUtime=2262.05 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 24662 0 0 0 226204 1 0 0 20 0 1 0 133088364 33746944 2003 18446744073709551615 4194304 7396336 140734572204176 140734572199192 4406337 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 2003 769 782 0 1255 0
Current children cumulated CPU time (s) 2262.05
Current children cumulated vsize (KiB) 32956
[startup+2322.31 s]
/proc/loadavg: 2.00 2.00 1.98 4/189 25764
/proc/meminfo: memFree=31152248/32770624 swapFree=0/421368
[pid=25596] ppid=25591 vsize=32956 CPUtime=2322.05 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 25191 0 0 0 232204 1 0 0 20 0 1 0 133088364 33746944 2003 18446744073709551615 4194304 7396336 140734572204176 140734572199192 4249442 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 2003 769 782 0 1255 0
Current children cumulated CPU time (s) 2322.05
Current children cumulated vsize (KiB) 32956
[startup+2382.3 s]
/proc/loadavg: 1.95 1.98 1.98 4/188 25766
/proc/meminfo: memFree=31151984/32770624 swapFree=0/421376
[pid=25596] ppid=25591 vsize=32956 CPUtime=2382.04 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 25720 0 0 0 238203 1 0 0 20 0 1 0 133088364 33746944 2003 18446744073709551615 4194304 7396336 140734572204176 140734572199192 4406506 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 2003 769 782 0 1255 0
Current children cumulated CPU time (s) 2382.04
Current children cumulated vsize (KiB) 32956
[startup+2442.3 s]
/proc/loadavg: 1.98 1.99 1.98 4/185 25768
/proc/meminfo: memFree=31154760/32770624 swapFree=0/421388
[pid=25596] ppid=25591 vsize=32956 CPUtime=2442.04 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 26249 0 0 0 244203 1 0 0 20 0 1 0 133088364 33746944 2003 18446744073709551615 4194304 7396336 140734572204176 140734572199192 5609174 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 2003 769 782 0 1255 0
Current children cumulated CPU time (s) 2442.04
Current children cumulated vsize (KiB) 32956
[startup+2502.3 s]
/proc/loadavg: 1.99 1.99 1.98 4/185 25770
/proc/meminfo: memFree=31155224/32770624 swapFree=0/421392
[pid=25596] ppid=25591 vsize=32956 CPUtime=2502.03 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 26778 0 0 0 250202 1 0 0 20 0 1 0 133088364 33746944 2003 18446744073709551615 4194304 7396336 140734572204176 140734572199192 4249495 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 2003 769 782 0 1255 0
Current children cumulated CPU time (s) 2502.03
Current children cumulated vsize (KiB) 32956
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 1.99 1.98 4/185 25771
/proc/meminfo: memFree=31155348/32770624 swapFree=0/421388
[pid=25596] ppid=25591 vsize=32956 CPUtime=2519.73 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 27306 0 0 0 251972 1 0 0 20 0 1 0 133088364 33746944 2003 18446744073709551615 4194304 7396336 140734572204176 140734572199192 4246602 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 2003 769 782 0 1255 0
Current children cumulated CPU time (s) 2519.73
Current children cumulated vsize (KiB) 32956
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 25596 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520 s]
/proc/loadavg: 2.00 1.99 1.98 4/185 25771
/proc/meminfo: memFree=31155348/32770624 swapFree=0/421388
[pid=25596] ppid=25591 vsize=32956 CPUtime=2519.73 cores=0,2,4,6
/proc/25596/stat : 25596 (MistralXCSP) R 25591 25596 4525 0 -1 4202496 27306 0 0 0 251972 1 0 0 20 0 1 0 133088364 33746944 2003 18446744073709551615 4194304 7396336 140734572204176 140734572199192 4246602 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 36630528 140734572208562 140734572208712 140734572208712 140734572212169 0
/proc/25596/statm: 8239 2003 769 782 0 1255 0
Current children cumulated CPU time (s) 2519.73
Current children cumulated vsize (KiB) 32956
Child status: 0
Real time (s): 2520
CPU time (s): 2519.74
CPU user time (s): 2519.73
CPU system time (s): 0.015998
CPU usage (%): 99.9898
Max. virtual memory (cumulated for all children) (KiB): 32956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.73
system time used= 0.015998
maximum resident set size= 8032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27343
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= 10
involuntary context switches= 3886
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.23589 second user time and 8.8689 second system time
The end