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-4261669-1502381730/watcher-4261669-1502381730 -o /tmp/evaluation-result-4261669-1502381730/solver-4261669-1502381730 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25568 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 402127799 HOME/instance-4261669-1502381730.xml
pid=31940
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.00 2.00 2.03 2/189 31943
/proc/meminfo: memFree=31142240/32770624 swapFree=0/430084
[pid=31943] ppid=31940 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31943/stat : 31943 (runsolver) D 31940 31943 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 137825964 24240128 107 18446744073709551615 4194304 4338465 140734449681408 140734449679048 139770787164887 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 7995392 140734449688715 140734449689161 140734449689161 140734449692618 0
/proc/31943/statm: 5918 107 54 36 0 2156 0
[startup+0.100153 s]
/proc/loadavg: 2.00 2.00 2.03 2/189 31943
/proc/meminfo: memFree=31142240/32770624 swapFree=0/430084
[pid=31943] ppid=31940 vsize=29900 CPUtime=0 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 1221 0 0 0 0 0 0 0 20 0 1 0 137825964 30617600 1000 18446744073709551615 4194304 7396336 140724783545440 140724783542440 5882954 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 7475 1000 606 782 0 491 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 29900
[startup+0.200272 s]
/proc/loadavg: 2.00 2.00 2.03 2/189 31943
/proc/meminfo: memFree=31142240/32770624 swapFree=0/430084
[pid=31943] ppid=31940 vsize=97860 CPUtime=0.1 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 18620 0 0 0 8 2 0 0 20 0 1 0 137825964 100208640 18131 18446744073709551615 4194304 7396336 140724783545440 140724783542440 4566039 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 24465 18131 666 782 0 17481 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 97860
[startup+0.300332 s]
/proc/loadavg: 2.00 2.00 2.03 2/189 31943
/proc/meminfo: memFree=31142240/32770624 swapFree=0/430084
[pid=31943] ppid=31940 vsize=104072 CPUtime=0.2 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 20209 0 0 0 18 2 0 0 20 0 1 0 137825964 106569728 19655 18446744073709551615 4194304 7396336 140724783545440 140724783542440 4566048 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 26018 19655 666 782 0 19034 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 104072
[startup+0.700271 s]
/proc/loadavg: 2.00 2.00 2.03 2/189 31943
/proc/meminfo: memFree=31142240/32770624 swapFree=0/430084
[pid=31943] ppid=31940 vsize=126276 CPUtime=0.59 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 25542 0 0 0 57 2 0 0 20 0 1 0 137825964 129306624 25269 18446744073709551615 4194304 7396336 140724783545440 140724783535216 4566048 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 31569 25269 750 782 0 24585 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 126276
[startup+1.50029 s]
/proc/loadavg: 1.92 1.99 2.03 3/190 31944
/proc/meminfo: memFree=31033436/32770624 swapFree=0/430112
[pid=31943] ppid=31940 vsize=155964 CPUtime=1.39 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 32513 0 0 0 136 3 0 0 20 0 1 0 137825964 159707136 32776 18446744073709551615 4194304 7396336 140724783545440 140724783535336 140178992405477 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 39024 32776 785 782 0 32040 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 155964
[startup+3.10028 s]
/proc/loadavg: 1.92 1.99 2.03 3/190 31944
/proc/meminfo: memFree=30960552/32770624 swapFree=0/430112
[pid=31943] ppid=31940 vsize=216804 CPUtime=3 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 64855 0 0 0 293 7 0 0 20 0 1 0 137825964 222007296 47941 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5162982 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 54201 47941 790 782 0 47217 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 216804
[startup+6.30027 s]
/proc/loadavg: 1.92 1.99 2.03 3/190 31944
/proc/meminfo: memFree=30948144/32770624 swapFree=0/430116
[pid=31943] ppid=31940 vsize=222744 CPUtime=6.2 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 93322 0 0 0 611 9 0 0 20 0 1 0 137825964 228089856 49457 18446744073709551615 4194304 7396336 140724783545440 140724783539976 140178992405477 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 55686 49457 790 782 0 48702 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 222744
[startup+12.7003 s]
/proc/loadavg: 1.86 1.97 2.02 3/190 31944
/proc/meminfo: memFree=30945416/32770624 swapFree=0/430116
[pid=31943] ppid=31940 vsize=224592 CPUtime=12.6 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 121721 0 0 0 1249 11 0 0 20 0 1 0 137825964 229982208 49929 18446744073709551615 4194304 7396336 140724783545440 140724783539976 4581738 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 56148 49929 790 782 0 49164 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 224592
[startup+25.5003 s]
/proc/loadavg: 1.88 1.97 2.02 3/189 31945
/proc/meminfo: memFree=30944860/32770624 swapFree=0/430124
[pid=31943] ppid=31940 vsize=225648 CPUtime=25.4 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 178717 0 0 0 2527 13 0 0 20 0 1 0 137825964 231063552 50184 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5162969 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 56412 50184 790 782 0 49428 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 225648
[startup+51.1004 s]
/proc/loadavg: 1.92 1.97 2.02 3/189 31945
/proc/meminfo: memFree=30943868/32770624 swapFree=0/430120
[pid=31943] ppid=31940 vsize=226308 CPUtime=50.99 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 207703 0 0 0 5085 14 0 0 20 0 1 0 137825964 231739392 50350 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5163189 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 56577 50350 790 782 0 49593 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 226308
[startup+102.3 s]
/proc/loadavg: 1.84 1.95 2.01 3/186 31947
/proc/meminfo: memFree=30945976/32770624 swapFree=0/430148
[pid=31943] ppid=31940 vsize=226708 CPUtime=102.19 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 236789 0 0 0 10203 16 0 0 20 0 1 0 137825964 232148992 50440 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5705008 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 56677 50440 790 782 0 49693 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 226708
[startup+162.3 s]
/proc/loadavg: 1.94 1.96 2.01 3/186 31949
/proc/meminfo: memFree=30945676/32770624 swapFree=0/430156
[pid=31943] ppid=31940 vsize=226972 CPUtime=162.15 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 256369 0 0 0 16198 17 0 0 20 0 1 0 137825964 232419328 50505 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5162969 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 56743 50505 790 782 0 49759 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 226972
[startup+222.306 s]
/proc/loadavg: 1.98 1.96 2.01 3/186 31951
/proc/meminfo: memFree=30945996/32770624 swapFree=0/430160
[pid=31943] ppid=31940 vsize=227104 CPUtime=222.15 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 257909 0 0 0 22198 17 0 0 20 0 1 0 137825964 232554496 50543 18446744073709551615 4194304 7396336 140724783545440 140724783539976 4582143 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 56776 50543 790 782 0 49792 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 227104
[startup+282.3 s]
/proc/loadavg: 2.09 2.00 2.02 3/186 32014
/proc/meminfo: memFree=30496840/32770624 swapFree=0/430188
[pid=31943] ppid=31940 vsize=227368 CPUtime=282.14 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 259501 0 0 0 28197 17 0 0 20 0 1 0 137825964 232824832 50631 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5792030 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 56842 50631 790 782 0 49858 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 227368
[startup+342.3 s]
/proc/loadavg: 2.07 2.01 2.03 3/185 32016
/proc/meminfo: memFree=30488400/32770624 swapFree=0/430196
[pid=31943] ppid=31940 vsize=227764 CPUtime=342.14 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 261210 0 0 0 34197 17 0 0 20 0 1 0 137825964 233230336 50724 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5162982 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 56941 50724 790 782 0 49957 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 227764
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.03 3/185 32018
/proc/meminfo: memFree=30478264/32770624 swapFree=0/430208
[pid=31943] ppid=31940 vsize=229196 CPUtime=402.14 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 263256 0 0 0 40196 18 0 0 20 0 1 0 137825964 234696704 51070 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5791976 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 57299 51070 790 782 0 50315 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 229196
[startup+462.3 s]
/proc/loadavg: 1.93 2.00 2.02 3/185 32020
/proc/meminfo: memFree=30473716/32770624 swapFree=0/430228
[pid=31943] ppid=31940 vsize=229460 CPUtime=462.14 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 265344 0 0 0 46196 18 0 0 20 0 1 0 137825964 234967040 51126 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5162982 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 57365 51126 790 782 0 50381 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 229460
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.03 3/185 32022
/proc/meminfo: memFree=30467076/32770624 swapFree=0/430244
[pid=31943] ppid=31940 vsize=229724 CPUtime=522.13 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 267479 0 0 0 52195 18 0 0 20 0 1 0 137825964 235237376 51169 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5702740 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 57431 51169 790 782 0 50447 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 229724
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 32038
/proc/meminfo: memFree=30456996/32770624 swapFree=0/430240
[pid=31943] ppid=31940 vsize=229988 CPUtime=582.13 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 269651 0 0 0 58195 18 0 0 20 0 1 0 137825964 235507712 51227 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5792027 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 57497 51227 790 782 0 50513 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 229988
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 32089
/proc/meminfo: memFree=30411648/32770624 swapFree=0/430404
[pid=31943] ppid=31940 vsize=236456 CPUtime=1602.1 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 302131 0 0 0 160189 21 0 0 20 0 1 0 137825964 242130944 52903 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5686400 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59114 52903 790 782 0 52130 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 236456
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 32092
/proc/meminfo: memFree=30406684/32770624 swapFree=0/430408
[pid=31943] ppid=31940 vsize=236588 CPUtime=1662.1 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 303992 0 0 0 166189 21 0 0 20 0 1 0 137825964 242266112 52933 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5162969 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59147 52933 790 782 0 52163 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 236588
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 32094
/proc/meminfo: memFree=30402944/32770624 swapFree=0/430424
[pid=31943] ppid=31940 vsize=236720 CPUtime=1722.1 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 305882 0 0 0 172188 22 0 0 20 0 1 0 137825964 242401280 52951 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5586273 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59180 52951 790 782 0 52196 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 236720
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 32111
/proc/meminfo: memFree=30396948/32770624 swapFree=0/430472
[pid=31943] ppid=31940 vsize=236852 CPUtime=1782.1 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 307789 0 0 0 178188 22 0 0 20 0 1 0 137825964 242536448 52980 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5685066 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59213 52980 790 782 0 52229 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 236852
[startup+1842.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/185 32113
/proc/meminfo: memFree=30397768/32770624 swapFree=0/430464
[pid=31943] ppid=31940 vsize=237116 CPUtime=1842.1 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 309760 0 0 0 184188 22 0 0 20 0 1 0 137825964 242806784 53017 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5162982 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59279 53017 790 782 0 52295 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 237116
[startup+1902.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 32115
/proc/meminfo: memFree=30397648/32770624 swapFree=0/430480
[pid=31943] ppid=31940 vsize=237248 CPUtime=1902.1 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 311756 0 0 0 190188 22 0 0 20 0 1 0 137825964 242941952 53053 18446744073709551615 4194304 7396336 140724783545440 140724783539976 4547368 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59312 53053 790 782 0 52328 0
Current children cumulated CPU time (s) 1902.1
Current children cumulated vsize (KiB) 237248
[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 32118
/proc/meminfo: memFree=30397328/32770624 swapFree=0/430508
[pid=31943] ppid=31940 vsize=237380 CPUtime=1962.09 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 313286 0 0 0 196187 22 0 0 20 0 1 0 137825964 243077120 53115 18446744073709551615 4194304 7396336 140724783545440 140724783539976 4257607 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59345 53115 790 782 0 52361 0
Current children cumulated CPU time (s) 1962.09
Current children cumulated vsize (KiB) 237380
[startup+2022.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/186 32120
/proc/meminfo: memFree=30396676/32770624 swapFree=0/430516
[pid=31943] ppid=31940 vsize=237512 CPUtime=2022.09 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 314839 0 0 0 202187 22 0 0 20 0 1 0 137825964 243212288 53127 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5575300 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59378 53127 790 782 0 52394 0
Current children cumulated CPU time (s) 2022.09
Current children cumulated vsize (KiB) 237512
[startup+2082.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/185 32122
/proc/meminfo: memFree=30394856/32770624 swapFree=0/430528
[pid=31943] ppid=31940 vsize=237644 CPUtime=2082.1 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 316437 0 0 0 208188 22 0 0 20 0 1 0 137825964 243347456 53157 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5839276 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59411 53157 790 782 0 52427 0
Current children cumulated CPU time (s) 2082.1
Current children cumulated vsize (KiB) 237644
[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 32124
/proc/meminfo: memFree=30394792/32770624 swapFree=0/430544
[pid=31943] ppid=31940 vsize=237776 CPUtime=2142.09 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 318081 0 0 0 214187 22 0 0 20 0 1 0 137825964 243482624 53208 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5685156 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59444 53208 790 782 0 52460 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 237776
[startup+2202.31 s]
/proc/loadavg: 2.03 2.02 2.05 3/185 32126
/proc/meminfo: memFree=30393388/32770624 swapFree=0/430552
[pid=31943] ppid=31940 vsize=238172 CPUtime=2202.09 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 319803 0 0 0 220187 22 0 0 20 0 1 0 137825964 243888128 53262 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5576665 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59543 53262 790 782 0 52559 0
Current children cumulated CPU time (s) 2202.09
Current children cumulated vsize (KiB) 238172
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 32128
/proc/meminfo: memFree=30392156/32770624 swapFree=0/430568
[pid=31943] ppid=31940 vsize=238304 CPUtime=2262.08 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 321551 0 0 0 226186 22 0 0 20 0 1 0 137825964 244023296 53329 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5792027 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59576 53329 790 782 0 52592 0
Current children cumulated CPU time (s) 2262.08
Current children cumulated vsize (KiB) 238304
[startup+2322.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 32131
/proc/meminfo: memFree=30390624/32770624 swapFree=0/430576
[pid=31943] ppid=31940 vsize=238304 CPUtime=2322.08 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 323320 0 0 0 232186 22 0 0 20 0 1 0 137825964 244023296 53365 18446744073709551615 4194304 7396336 140724783545440 140724783539976 4249442 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59576 53365 790 782 0 52592 0
Current children cumulated CPU time (s) 2322.08
Current children cumulated vsize (KiB) 238304
[startup+2382.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 32147
/proc/meminfo: memFree=30383296/32770624 swapFree=0/430600
[pid=31943] ppid=31940 vsize=238436 CPUtime=2382.08 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 325134 0 0 0 238186 22 0 0 20 0 1 0 137825964 244158464 53380 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5792027 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59609 53380 790 782 0 52625 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 238436
[startup+2442.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 32149
/proc/meminfo: memFree=30386528/32770624 swapFree=0/430612
[pid=31943] ppid=31940 vsize=238700 CPUtime=2442.08 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 326984 0 0 0 244186 22 0 0 20 0 1 0 137825964 244428800 53416 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5163046 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59675 53416 790 782 0 52691 0
Current children cumulated CPU time (s) 2442.08
Current children cumulated vsize (KiB) 238700
[startup+2502.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 32151
/proc/meminfo: memFree=30385840/32770624 swapFree=0/430628
[pid=31943] ppid=31940 vsize=238832 CPUtime=2502.08 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 328358 0 0 0 250185 23 0 0 20 0 1 0 137825964 244563968 53456 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5162982 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59708 53456 790 782 0 52724 0
Current children cumulated CPU time (s) 2502.08
Current children cumulated vsize (KiB) 238832
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 32152
/proc/meminfo: memFree=30385680/32770624 swapFree=0/430644
[pid=31943] ppid=31940 vsize=238832 CPUtime=2519.78 cores=1,3,5,7
/proc/31943/stat : 31943 (MistralXCSP) R 31940 31943 4525 0 -1 4202496 329027 0 0 0 251955 23 0 0 20 0 1 0 137825964 244563968 53476 18446744073709551615 4194304 7396336 140724783545440 140724783539976 5707109 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 11268096 140724783546803 140724783546952 140724783546952 140724783550409 0
/proc/31943/statm: 59708 53476 790 782 0 52724 0
Current children cumulated CPU time (s) 2519.78
Current children cumulated vsize (KiB) 238832
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 31943 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.79
CPU user time (s): 2519.56
CPU system time (s): 0.233993
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 238832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.56
system time used= 0.233993
maximum resident set size= 213924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329062
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= 81
involuntary context switches= 2095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94855 second user time and 10.3612 second system time
The end