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-4260839-1502395197/watcher-4260839-1502395197 -o /tmp/evaluation-result-4260839-1502395197/solver-4260839-1502395197 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27114 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1544164564 HOME/instance-4260839-1502395197.xml
pid=4920
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.10 2.04 2.05 3/180 4923
/proc/meminfo: memFree=31687792/32770624 swapFree=0/378040
[pid=4923] ppid=4920 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4923/stat : 4923 (runsolver) D 4920 4923 6971 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 27860386 24240128 106 18446744073709551615 4194304 4338465 140735801763280 140735801760920 140588582871767 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 23171072 140735801766027 140735801766474 140735801766474 140735801769930 0
/proc/4923/statm: 5918 106 53 36 0 2156 0
[startup+0.100196 s]
/proc/loadavg: 2.10 2.04 2.05 3/180 4923
/proc/meminfo: memFree=31687792/32770624 swapFree=0/378040
[pid=4923] ppid=4920 vsize=29556 CPUtime=0.02 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 1228 0 0 0 2 0 0 0 20 0 1 0 27860386 30265344 936 18446744073709551615 4194304 7396336 140721970424208 140721970421208 139925577637381 0 0 1 0 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 7389 936 615 782 0 405 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29556
[startup+0.20034 s]
/proc/loadavg: 2.10 2.04 2.05 3/180 4923
/proc/meminfo: memFree=31687792/32770624 swapFree=0/378040
[pid=4923] ppid=4920 vsize=33584 CPUtime=0.12 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 2542 0 0 0 12 0 0 0 20 0 1 0 27860386 34390016 1811 18446744073709551615 4194304 7396336 140721970424208 140721970421208 139925577637316 0 0 1 0 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 8396 1811 615 782 0 1412 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 33584
[startup+0.300354 s]
/proc/loadavg: 2.10 2.04 2.05 3/180 4923
/proc/meminfo: memFree=31687792/32770624 swapFree=0/378040
[pid=4923] ppid=4920 vsize=40056 CPUtime=0.21 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 4798 0 0 0 21 0 0 0 20 0 1 0 27860386 41017344 3523 18446744073709551615 4194304 7396336 140721970424208 140721970415096 139925570901920 0 0 1 0 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 10053 3523 646 782 0 3069 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 40056
[startup+0.700345 s]
/proc/loadavg: 2.10 2.04 2.05 3/180 4923
/proc/meminfo: memFree=31687792/32770624 swapFree=0/378040
[pid=4923] ppid=4920 vsize=74632 CPUtime=0.62 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 13438 0 0 0 61 1 0 0 20 0 1 0 27860386 76423168 12169 18446744073709551615 4194304 7396336 140721970424208 140721970415096 6349758 0 0 1 0 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 18658 12169 646 782 0 11674 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 74632
[startup+1.50036 s]
/proc/loadavg: 2.10 2.04 2.05 3/181 4924
/proc/meminfo: memFree=31609040/32770624 swapFree=0/378052
[pid=4923] ppid=4920 vsize=132944 CPUtime=1.41 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 26683 0 0 0 138 3 0 0 20 0 1 0 27860386 136134656 26935 18446744073709551615 4194304 7396336 140721970424208 140721970415080 5792043 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 33236 26935 767 782 0 26252 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 132944
[startup+3.10036 s]
/proc/loadavg: 2.09 2.04 2.05 5/181 4924
/proc/meminfo: memFree=31581316/32770624 swapFree=0/378052
[pid=4923] ppid=4920 vsize=135324 CPUtime=3.02 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 43885 0 0 0 298 4 0 0 20 0 1 0 27860386 138571776 27535 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5792027 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 33831 27535 767 782 0 26847 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 135324
[startup+6.30036 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 4924
/proc/meminfo: memFree=31578548/32770624 swapFree=0/378052
[pid=4923] ppid=4920 vsize=139020 CPUtime=6.21 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 60417 0 0 0 616 5 0 0 20 0 1 0 27860386 142356480 28465 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5165771 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 34755 28465 767 782 0 27771 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 139020
[startup+12.7004 s]
/proc/loadavg: 2.07 2.04 2.05 3/181 4924
/proc/meminfo: memFree=31572224/32770624 swapFree=0/378052
[pid=4923] ppid=4920 vsize=142056 CPUtime=12.61 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 77090 0 0 0 1255 6 0 0 20 0 1 0 27860386 145465344 29182 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 35514 29182 767 782 0 28530 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 142056
[startup+25.5004 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 4924
/proc/meminfo: memFree=31570580/32770624 swapFree=0/378052
[pid=4923] ppid=4920 vsize=143640 CPUtime=25.4 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 108205 0 0 0 2532 8 0 0 20 0 1 0 27860386 147087360 29620 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5649694 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 35910 29620 767 782 0 28926 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 143640
[startup+51.1004 s]
/proc/loadavg: 2.12 2.05 2.05 3/181 4925
/proc/meminfo: memFree=31568812/32770624 swapFree=0/378056
[pid=4923] ppid=4920 vsize=145368 CPUtime=50.99 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 117656 0 0 0 5091 8 0 0 20 0 1 0 27860386 148856832 30036 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 36342 30036 767 782 0 29358 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 145368
[startup+102.3 s]
/proc/loadavg: 2.16 2.08 2.06 3/181 4927
/proc/meminfo: memFree=31567888/32770624 swapFree=0/378080
[pid=4923] ppid=4920 vsize=146028 CPUtime=102.18 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 118625 0 0 0 10210 8 0 0 20 0 1 0 27860386 149532672 30203 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 36507 30203 767 782 0 29523 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 146028
[startup+162.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/181 4929
/proc/meminfo: memFree=31566640/32770624 swapFree=0/378080
[pid=4923] ppid=4920 vsize=147116 CPUtime=162.17 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 119984 0 0 0 16209 8 0 0 20 0 1 0 27860386 150646784 30465 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 36779 30465 767 782 0 29795 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 147116
[startup+222.306 s]
/proc/loadavg: 2.05 2.07 2.05 3/181 4931
/proc/meminfo: memFree=31566172/32770624 swapFree=0/378100
[pid=4923] ppid=4920 vsize=147380 CPUtime=222.18 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 121222 0 0 0 22210 8 0 0 20 0 1 0 27860386 150917120 30551 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5792027 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 36845 30551 767 782 0 29861 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 147380
[startup+282.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/185 4948
/proc/meminfo: memFree=31562380/32770624 swapFree=0/378116
[pid=4923] ppid=4920 vsize=147512 CPUtime=282.17 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 121936 0 0 0 28209 8 0 0 20 0 1 0 27860386 151052288 30578 18446744073709551615 4194304 7396336 140721970424208 140721970418744 4249442 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 36878 30578 767 782 0 29894 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 147512
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 4950
/proc/meminfo: memFree=31562256/32770624 swapFree=0/378116
[pid=4923] ppid=4920 vsize=147644 CPUtime=342.16 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 122690 0 0 0 34208 8 0 0 20 0 1 0 27860386 151187456 30605 18446744073709551615 4194304 7396336 140721970424208 140721970418744 4249474 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 36911 30605 767 782 0 29927 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 147644
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/182 4952
/proc/meminfo: memFree=31566172/32770624 swapFree=0/378116
[pid=4923] ppid=4920 vsize=147776 CPUtime=402.16 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 123449 0 0 0 40208 8 0 0 20 0 1 0 27860386 151322624 30636 18446744073709551615 4194304 7396336 140721970424208 140721970418744 4581679 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 36944 30636 767 782 0 29960 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 147776
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 4954
/proc/meminfo: memFree=31566172/32770624 swapFree=0/378120
[pid=4923] ppid=4920 vsize=147776 CPUtime=462.16 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 124204 0 0 0 46208 8 0 0 20 0 1 0 27860386 151322624 30645 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 36944 30645 767 782 0 29960 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 147776
[startup+522.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 4956
/proc/meminfo: memFree=31566420/32770624 swapFree=0/378132
[pid=4923] ppid=4920 vsize=147776 CPUtime=522.16 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 124971 0 0 0 52208 8 0 0 20 0 1 0 27860386 151322624 30645 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5575980 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 36944 30645 767 782 0 29960 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 147776
[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 4959
/proc/meminfo: memFree=31566312/32770624 swapFree=0/378160
[pid=4923] ppid=4920 vsize=147776 CPUtime=582.15 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 125749 0 0 0 58207 8 0 0 20 0 1 0 27860386 151322624 30662 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 36944 30662 767 782 0 29960 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 147776
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5048
/proc/meminfo: memFree=31564132/32770624 swapFree=0/378504
[pid=4923] ppid=4920 vsize=148436 CPUtime=1602.12 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 140201 0 0 0 160203 9 0 0 20 0 1 0 27860386 151998464 30821 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37109 30821 767 782 0 30125 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 148436
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5050
/proc/meminfo: memFree=31564584/32770624 swapFree=0/378520
[pid=4923] ppid=4920 vsize=148436 CPUtime=1662.12 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 141102 0 0 0 166203 9 0 0 20 0 1 0 27860386 151998464 30822 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5792027 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37109 30822 767 782 0 30125 0
Current children cumulated CPU time (s) 1662.12
Current children cumulated vsize (KiB) 148436
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5052
/proc/meminfo: memFree=31564824/32770624 swapFree=0/378520
[pid=4923] ppid=4920 vsize=148568 CPUtime=1722.12 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 141547 0 0 0 172203 9 0 0 20 0 1 0 27860386 152133632 30823 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37142 30823 767 782 0 30158 0
Current children cumulated CPU time (s) 1722.12
Current children cumulated vsize (KiB) 148568
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5054
/proc/meminfo: memFree=31564576/32770624 swapFree=0/378520
[pid=4923] ppid=4920 vsize=148568 CPUtime=1782.13 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 142030 0 0 0 178203 10 0 0 20 0 1 0 27860386 152133632 30858 18446744073709551615 4194304 7396336 140721970424208 140721970418744 4526142 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37142 30858 767 782 0 30158 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 148568
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5056
/proc/meminfo: memFree=31564964/32770624 swapFree=0/378532
[pid=4923] ppid=4920 vsize=148568 CPUtime=1842.12 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 142255 0 0 0 184202 10 0 0 20 0 1 0 27860386 152133632 30858 18446744073709551615 4194304 7396336 140721970424208 140721970418744 4249447 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37142 30858 767 782 0 30158 0
Current children cumulated CPU time (s) 1842.12
Current children cumulated vsize (KiB) 148568
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5058
/proc/meminfo: memFree=31565088/32770624 swapFree=0/378548
[pid=4923] ppid=4920 vsize=148568 CPUtime=1902.12 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 142478 0 0 0 190202 10 0 0 20 0 1 0 27860386 152133632 30858 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5792027 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37142 30858 767 782 0 30158 0
Current children cumulated CPU time (s) 1902.12
Current children cumulated vsize (KiB) 148568
[startup+1962.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 5060
/proc/meminfo: memFree=31565208/32770624 swapFree=0/378564
[pid=4923] ppid=4920 vsize=148568 CPUtime=1962.12 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 142698 0 0 0 196202 10 0 0 20 0 1 0 27860386 152133632 30858 18446744073709551615 4194304 7396336 140721970424208 140721970418744 4252880 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37142 30858 767 782 0 30158 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 148568
[startup+2022.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 5062
/proc/meminfo: memFree=31565088/32770624 swapFree=0/378576
[pid=4923] ppid=4920 vsize=148700 CPUtime=2022.12 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 143425 0 0 0 202202 10 0 0 20 0 1 0 27860386 152268800 30858 18446744073709551615 4194304 7396336 140721970424208 140721970418744 4406743 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37175 30858 767 782 0 30191 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 148700
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 5078
/proc/meminfo: memFree=31561324/32770624 swapFree=0/378600
[pid=4923] ppid=4920 vsize=148700 CPUtime=2082.12 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 143912 0 0 0 208202 10 0 0 20 0 1 0 27860386 152268800 30880 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5792027 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37175 30880 767 782 0 30191 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 148700
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 5080
/proc/meminfo: memFree=31561324/32770624 swapFree=0/378616
[pid=4923] ppid=4920 vsize=148700 CPUtime=2142.12 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 144397 0 0 0 214202 10 0 0 20 0 1 0 27860386 152268800 30880 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5792078 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37175 30880 767 782 0 30191 0
Current children cumulated CPU time (s) 2142.12
Current children cumulated vsize (KiB) 148700
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5082
/proc/meminfo: memFree=31565064/32770624 swapFree=0/378644
[pid=4923] ppid=4920 vsize=148700 CPUtime=2202.12 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 144876 0 0 0 220202 10 0 0 20 0 1 0 27860386 152268800 30881 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5792027 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37175 30881 767 782 0 30191 0
Current children cumulated CPU time (s) 2202.12
Current children cumulated vsize (KiB) 148700
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5144
/proc/meminfo: memFree=31573392/32770624 swapFree=0/378660
[pid=4923] ppid=4920 vsize=148700 CPUtime=2262.11 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 145366 0 0 0 226201 10 0 0 20 0 1 0 27860386 152268800 30881 18446744073709551615 4194304 7396336 140721970424208 140721970418744 4249442 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37175 30881 767 782 0 30191 0
Current children cumulated CPU time (s) 2262.11
Current children cumulated vsize (KiB) 148700
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 5146
/proc/meminfo: memFree=31573144/32770624 swapFree=0/378700
[pid=4923] ppid=4920 vsize=148700 CPUtime=2322.11 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 145849 0 0 0 232201 10 0 0 20 0 1 0 27860386 152268800 30883 18446744073709551615 4194304 7396336 140721970424208 140721970418744 4547359 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37175 30883 767 782 0 30191 0
Current children cumulated CPU time (s) 2322.11
Current children cumulated vsize (KiB) 148700
[startup+2382.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 5149
/proc/meminfo: memFree=31571960/32770624 swapFree=0/378712
[pid=4923] ppid=4920 vsize=148700 CPUtime=2382.11 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 146343 0 0 0 238201 10 0 0 20 0 1 0 27860386 152268800 30883 18446744073709551615 4194304 7396336 140721970424208 140721970418744 4253029 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37175 30883 767 782 0 30191 0
Current children cumulated CPU time (s) 2382.11
Current children cumulated vsize (KiB) 148700
[startup+2442.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 5151
/proc/meminfo: memFree=31572084/32770624 swapFree=0/378740
[pid=4923] ppid=4920 vsize=148700 CPUtime=2442.1 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 146836 0 0 0 244200 10 0 0 20 0 1 0 27860386 152268800 30885 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5165882 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37175 30885 767 782 0 30191 0
Current children cumulated CPU time (s) 2442.1
Current children cumulated vsize (KiB) 148700
[startup+2502.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/181 5153
/proc/meminfo: memFree=31571836/32770624 swapFree=0/378752
[pid=4923] ppid=4920 vsize=148700 CPUtime=2502.1 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 147332 0 0 0 250200 10 0 0 20 0 1 0 27860386 152268800 30886 18446744073709551615 4194304 7396336 140721970424208 140721970418744 5792248 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37175 30886 767 782 0 30191 0
Current children cumulated CPU time (s) 2502.1
Current children cumulated vsize (KiB) 148700
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.10 2.06 2.05 3/181 5154
/proc/meminfo: memFree=31572060/32770624 swapFree=0/378768
[pid=4923] ppid=4920 vsize=148700 CPUtime=2519.8 cores=0,2,4,6
/proc/4923/stat : 4923 (MistralXCSP) R 4920 4923 6971 0 -1 4202496 147823 0 0 0 251970 10 0 0 20 0 1 0 27860386 152268800 30889 18446744073709551615 4194304 7396336 140721970424208 140721970418744 4262544 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 13832192 140721970430387 140721970430537 140721970430537 140721970433993 0
/proc/4923/statm: 37175 30889 767 782 0 30191 0
Current children cumulated CPU time (s) 2519.8
Current children cumulated vsize (KiB) 148700
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 4923 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.81
CPU user time (s): 2519.71
CPU system time (s): 0.102996
CPU usage (%): 99.9924
Max. virtual memory (cumulated for all children) (KiB): 148700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.71
system time used= 0.102996
maximum resident set size= 123556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148378
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= 56
involuntary context switches= 3152
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89356 second user time and 10.3542 second system time
The end