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-4260879-1502395798/watcher-4260879-1502395798 -o /tmp/evaluation-result-4260879-1502395798/solver-4260879-1502395798 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502333976-23275 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 263169496 HOME/instance-4260879-1502395798.xml
pid=923
running on 4 cores: 1,3,5,7
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 2.03 2.05 2/185 927
/proc/meminfo: memFree=30538580/32770624 swapFree=0/417964
[pid=927] ppid=923 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/927/stat : 927 (runsolver) D 923 927 1774 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 87395057 24240128 108 18446744073709551615 4194304 4338465 140722278141904 140722278139544 140711070479063 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 24342528 140722278150283 140722278150729 140722278150729 140722278154186 0
/proc/927/statm: 5918 108 54 36 0 2156 0
[startup+0.100106 s]
/proc/loadavg: 2.02 2.03 2.05 2/185 927
/proc/meminfo: memFree=30538580/32770624 swapFree=0/417964
[pid=927] ppid=923 vsize=28928 CPUtime=0 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 87395057 29622272 802 18446744073709551615 4194304 7396336 140723383203600 140723383200600 140554852490213 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 7232 802 608 782 0 248 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28928
[startup+0.20022 s]
/proc/loadavg: 2.02 2.03 2.05 2/185 927
/proc/meminfo: memFree=30538580/32770624 swapFree=0/417964
[pid=927] ppid=923 vsize=29740 CPUtime=0.1 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 1227 0 0 0 10 0 0 0 20 0 1 0 87395057 30453760 1007 18446744073709551615 4194304 7396336 140723383203600 140723383196840 140554852928512 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 7435 1007 612 782 0 451 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29740
[startup+0.300207 s]
/proc/loadavg: 2.02 2.03 2.05 2/185 927
/proc/meminfo: memFree=30538580/32770624 swapFree=0/417964
[pid=927] ppid=923 vsize=30520 CPUtime=0.2 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 1511 0 0 0 20 0 0 0 20 0 1 0 87395057 31252480 1185 18446744073709551615 4194304 7396336 140723383203600 140723383196840 140554852490213 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 7630 1185 612 782 0 646 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 30520
[startup+0.700184 s]
/proc/loadavg: 2.02 2.03 2.05 2/185 927
/proc/meminfo: memFree=30538580/32770624 swapFree=0/417964
[pid=927] ppid=923 vsize=34540 CPUtime=0.6 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 2414 0 0 0 60 0 0 0 20 0 1 0 87395057 35368960 1980 18446744073709551615 4194304 7396336 140723383203600 140723383196840 140554852490213 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 8635 1980 612 782 0 1651 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 34540
[startup+1.50017 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 928
/proc/meminfo: memFree=30529508/32770624 swapFree=0/418164
[pid=927] ppid=923 vsize=41044 CPUtime=1.4 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 3565 0 0 0 140 0 0 0 20 0 1 0 87395057 42029056 3401 18446744073709551615 4194304 7396336 140723383203600 140723383196840 140554852490213 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 10261 3401 612 782 0 3277 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 41044
[startup+3.10017 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 928
/proc/meminfo: memFree=30521188/32770624 swapFree=0/418164
[pid=927] ppid=923 vsize=54052 CPUtime=2.99 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 5796 0 0 0 299 0 0 0 20 0 1 0 87395057 55349248 6665 18446744073709551615 4194304 7396336 140723383203600 140723383196840 140554852490213 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 13513 6665 612 782 0 6529 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 54052
[startup+6.30017 s]
/proc/loadavg: 2.10 2.05 2.05 3/186 928
/proc/meminfo: memFree=30495564/32770624 swapFree=0/418156
[pid=927] ppid=923 vsize=80200 CPUtime=6.19 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 9872 0 0 0 616 3 0 0 20 0 1 0 87395057 82124800 12651 18446744073709551615 4194304 7396336 140723383203600 140723383196840 140554852490213 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 20050 12651 612 782 0 13066 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 80200
[startup+12.7003 s]
/proc/loadavg: 2.09 2.05 2.05 3/186 928
/proc/meminfo: memFree=30446080/32770624 swapFree=0/418156
[pid=927] ppid=923 vsize=508072 CPUtime=12.59 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 81126 0 0 0 1245 14 0 0 20 0 1 0 87395057 520265728 118104 18446744073709551615 4194304 7396336 140723383203600 140723383194904 140554852538272 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 127056 118104 642 782 0 120072 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 508072
[startup+25.5003 s]
/proc/loadavg: 1.99 2.03 2.04 3/186 928
/proc/meminfo: memFree=25761068/32770624 swapFree=0/418160
[pid=927] ppid=923 vsize=4796256 CPUtime=25.39 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 856539 0 0 0 2423 116 0 0 20 0 1 0 87395057 4911366144 1192803 18446744073709551615 4194304 7396336 140723383203600 140723383198952 5792030 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192803 763 782 0 1192080 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 4796256
[startup+51.1004 s]
/proc/loadavg: 1.99 2.02 2.04 3/186 929
/proc/meminfo: memFree=25760548/32770624 swapFree=0/418156
[pid=927] ppid=923 vsize=4796256 CPUtime=50.99 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 1014208 0 0 0 4975 124 0 0 20 0 1 0 87395057 4911366144 1192803 18446744073709551615 4194304 7396336 140723383203600 140723383198952 5792016 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192803 763 782 0 1192080 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 4796256
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/186 931
/proc/meminfo: memFree=25760480/32770624 swapFree=0/418176
[pid=927] ppid=923 vsize=4796256 CPUtime=102.19 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 1318599 0 0 0 10081 138 0 0 20 0 1 0 87395057 4911366144 1192803 18446744073709551615 4194304 7396336 140723383203600 140723383198952 4253040 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192803 763 782 0 1192080 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 4796256
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 934
/proc/meminfo: memFree=25759700/32770624 swapFree=0/418188
[pid=927] ppid=923 vsize=4796256 CPUtime=162.18 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 1688582 0 0 0 16065 153 0 0 20 0 1 0 87395057 4911366144 1192803 18446744073709551615 4194304 7396336 140723383203600 140723383198952 5792030 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192803 763 782 0 1192080 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 4796256
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 936
/proc/meminfo: memFree=25760876/32770624 swapFree=0/418192
[pid=927] ppid=923 vsize=4796256 CPUtime=222.18 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 2272348 0 0 0 22039 179 0 0 20 0 1 0 87395057 4911366144 1192803 18446744073709551615 4194304 7396336 140723383203600 140723383198952 5792030 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192803 763 782 0 1192080 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 4796256
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 957
/proc/meminfo: memFree=25756916/32770624 swapFree=0/418212
[pid=927] ppid=923 vsize=4796256 CPUtime=282.17 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 2834342 0 0 0 28015 202 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 5792043 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 4796256
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 983
/proc/meminfo: memFree=25754892/32770624 swapFree=0/418232
[pid=927] ppid=923 vsize=4796256 CPUtime=342.17 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 3374902 0 0 0 33992 225 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 4796256
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 986
/proc/meminfo: memFree=25755488/32770624 swapFree=0/418244
[pid=927] ppid=923 vsize=4796256 CPUtime=402.18 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 3769345 0 0 0 39974 244 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 4796256
[startup+462.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/186 988
/proc/meminfo: memFree=25757868/32770624 swapFree=0/418260
[pid=927] ppid=923 vsize=4796256 CPUtime=462.16 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 4495326 0 0 0 45942 274 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 4796256
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/187 991
/proc/meminfo: memFree=25757448/32770624 swapFree=0/418272
[pid=927] ppid=923 vsize=4796256 CPUtime=522.17 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 5034144 0 0 0 51921 296 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 4796256
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/185 993
/proc/meminfo: memFree=25757492/32770624 swapFree=0/418284
[pid=927] ppid=923 vsize=4796256 CPUtime=582.17 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 5485519 0 0 0 57902 315 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 4796256
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 1073
/proc/meminfo: memFree=25756916/32770624 swapFree=0/418516
[pid=927] ppid=923 vsize=4796256 CPUtime=1602.19 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 10797135 0 0 0 159673 546 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 5792016 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 4796256
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/186 1075
/proc/meminfo: memFree=25756976/32770624 swapFree=0/418532
[pid=927] ppid=923 vsize=4796256 CPUtime=1662.18 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 10995589 0 0 0 165664 554 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 4253003 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 1662.18
Current children cumulated vsize (KiB) 4796256
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 1078
/proc/meminfo: memFree=25757468/32770624 swapFree=0/418552
[pid=927] ppid=923 vsize=4796256 CPUtime=1722.19 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 11159223 0 0 0 171658 561 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 4252880 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 4796256
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 1081
/proc/meminfo: memFree=25757392/32770624 swapFree=0/418560
[pid=927] ppid=923 vsize=4796256 CPUtime=1782.19 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 11413639 0 0 0 177646 573 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 4253008 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 1782.19
Current children cumulated vsize (KiB) 4796256
[startup+1842.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/186 1083
/proc/meminfo: memFree=25757364/32770624 swapFree=0/418572
[pid=927] ppid=923 vsize=4796256 CPUtime=1842.2 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 11630475 0 0 0 183637 583 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 5792034 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 1842.2
Current children cumulated vsize (KiB) 4796256
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 1085
/proc/meminfo: memFree=25757696/32770624 swapFree=0/418584
[pid=927] ppid=923 vsize=4796256 CPUtime=1902.21 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 11762682 0 0 0 189633 588 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 4253026 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 1902.21
Current children cumulated vsize (KiB) 4796256
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 1088
/proc/meminfo: memFree=25757492/32770624 swapFree=0/418588
[pid=927] ppid=923 vsize=4796256 CPUtime=1962.21 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 11875483 0 0 0 195628 593 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 4252880 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 1962.21
Current children cumulated vsize (KiB) 4796256
[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 1090
/proc/meminfo: memFree=25757860/32770624 swapFree=0/418600
[pid=927] ppid=923 vsize=4796256 CPUtime=2022.22 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 11976892 0 0 0 201623 599 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 4252992 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 2022.22
Current children cumulated vsize (KiB) 4796256
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 1109
/proc/meminfo: memFree=25753332/32770624 swapFree=0/418632
[pid=927] ppid=923 vsize=4796256 CPUtime=2082.22 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 12040238 0 0 0 207621 601 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 2082.22
Current children cumulated vsize (KiB) 4796256
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/189 1111
/proc/meminfo: memFree=25753284/32770624 swapFree=0/418660
[pid=927] ppid=923 vsize=4796256 CPUtime=2142.22 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 12127461 0 0 0 213616 606 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 2142.22
Current children cumulated vsize (KiB) 4796256
[startup+2202.31 s]
/proc/loadavg: 2.09 2.05 2.05 3/185 1113
/proc/meminfo: memFree=25756132/32770624 swapFree=0/418676
[pid=927] ppid=923 vsize=4796256 CPUtime=2202.23 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 12164787 0 0 0 219615 608 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 4253008 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 2202.23
Current children cumulated vsize (KiB) 4796256
[startup+2262.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/186 1116
/proc/meminfo: memFree=25756292/32770624 swapFree=0/418684
[pid=927] ppid=923 vsize=4796256 CPUtime=2262.24 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 12263923 0 0 0 225611 613 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 4252882 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 2262.24
Current children cumulated vsize (KiB) 4796256
[startup+2322.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/186 1118
/proc/meminfo: memFree=25756928/32770624 swapFree=0/418688
[pid=927] ppid=923 vsize=4796256 CPUtime=2322.24 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 12318836 0 0 0 231609 615 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 5792016 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 2322.24
Current children cumulated vsize (KiB) 4796256
[startup+2382.3 s]
/proc/loadavg: 2.26 2.10 2.06 3/186 1745
/proc/meminfo: memFree=20066468/32770624 swapFree=0/419004
[pid=927] ppid=923 vsize=4796256 CPUtime=2382.24 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 12363330 0 0 0 237607 617 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 5792000 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 2382.24
Current children cumulated vsize (KiB) 4796256
[startup+2442.3 s]
/proc/loadavg: 2.06 2.07 2.05 3/186 1877
/proc/meminfo: memFree=24583216/32770624 swapFree=0/419076
[pid=927] ppid=923 vsize=4796256 CPUtime=2442.25 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 12396819 0 0 0 243606 619 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 2442.25
Current children cumulated vsize (KiB) 4796256
[startup+2502.3 s]
/proc/loadavg: 1.98 2.04 2.05 3/186 2064
/proc/meminfo: memFree=26286208/32770624 swapFree=0/419152
[pid=927] ppid=923 vsize=4796256 CPUtime=2502.25 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 12418776 0 0 0 249605 620 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 2502.25
Current children cumulated vsize (KiB) 4796256
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 1.99 2.04 2.05 3/185 2065
/proc/meminfo: memFree=26118000/32770624 swapFree=0/419160
[pid=927] ppid=923 vsize=4796256 CPUtime=2519.96 cores=1,3,5,7
/proc/927/stat : 927 (MistralXCSP) R 923 927 1774 0 -1 4202496 12419080 0 0 0 251375 621 0 0 20 0 1 0 87395057 4911366144 1192806 18446744073709551615 4194304 7396336 140723383203600 140723383198616 5792030 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 21024768 140723383210419 140723383210568 140723383210568 140723383214025 0
/proc/927/statm: 1199064 1192806 766 782 0 1192080 0
Current children cumulated CPU time (s) 2519.96
Current children cumulated vsize (KiB) 4796256
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 927 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.03
CPU time (s): 2520
CPU user time (s): 2513.76
CPU system time (s): 6.23844
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 4830188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.76
system time used= 6.23844
maximum resident set size= 4809888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12419121
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= 162
involuntary context switches= 865
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96645 second user time and 11.3339 second system time
The end