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-4260956-1502364965/watcher-4260956-1502364965 -o /tmp/evaluation-result-4260956-1502364965/solver-4260956-1502364965 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31365 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1539951060 HOME/instance-4260956-1502364965.xml
pid=5275
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.01 2.03 2.05 3/184 5278
/proc/meminfo: memFree=31228640/32770624 swapFree=0/441596
[pid=5278] ppid=5275 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5278/stat : 5278 (runsolver) D 5275 5278 9153 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 78407678 24240128 107 18446744073709551615 4194304 4338465 140726284472704 140726284470344 140564172088023 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 21258240 140726284480650 140726284481097 140726284481097 140726284484554 0
/proc/5278/statm: 5918 107 54 36 0 2156 0
[startup+0.100194 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 5278
/proc/meminfo: memFree=31228640/32770624 swapFree=0/441596
[pid=5278] ppid=5275 vsize=28664 CPUtime=0 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 940 0 0 0 0 0 0 0 20 0 1 0 78407678 29351936 736 18446744073709551615 4194304 7396336 140725684644976 140725684641976 6056074 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 7166 736 584 782 0 182 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28664
[startup+0.200331 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 5278
/proc/meminfo: memFree=31228640/32770624 swapFree=0/441596
[pid=5278] ppid=5275 vsize=29188 CPUtime=0.1 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1041 0 0 0 10 0 0 0 20 0 1 0 78407678 29888512 868 18446744073709551615 4194304 7396336 140725684644976 140725684641976 140311992257509 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 7297 868 613 782 0 313 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29188
[startup+0.300317 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 5278
/proc/meminfo: memFree=31228640/32770624 swapFree=0/441596
[pid=5278] ppid=5275 vsize=29644 CPUtime=0.2 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1191 0 0 0 20 0 0 0 20 0 1 0 78407678 30355456 983 18446744073709551615 4194304 7396336 140725684644976 140725684641976 140311992695808 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 7411 983 613 782 0 427 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 29644
[startup+0.700281 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 5278
/proc/meminfo: memFree=31228640/32770624 swapFree=0/441596
[pid=5278] ppid=5275 vsize=31480 CPUtime=0.6 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1794 0 0 0 60 0 0 0 20 0 1 0 78407678 32235520 1457 18446744073709551615 4194304 7396336 140725684644976 140725684641976 6195614 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 7870 1457 716 782 0 886 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 31480
[startup+1.50028 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 5279
/proc/meminfo: memFree=31224564/32770624 swapFree=0/441600
[pid=5278] ppid=5275 vsize=36104 CPUtime=1.4 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 2965 0 0 0 140 0 0 0 20 0 1 0 78407678 36970496 2645 18446744073709551615 4194304 7396336 140725684644976 140725684635400 140311992267639 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 9026 2645 716 782 0 2042 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 36104
[startup+3.10028 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 5279
/proc/meminfo: memFree=31219604/32770624 swapFree=0/441600
[pid=5278] ppid=5275 vsize=41324 CPUtime=3 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 4584 0 0 0 300 0 0 0 20 0 1 0 78407678 42315776 3914 18446744073709551615 4194304 7396336 140725684644976 140725684635480 6190247 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 10331 3914 716 782 0 3347 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 41324
[startup+6.30028 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 5279
/proc/meminfo: memFree=31205160/32770624 swapFree=0/441600
[pid=5278] ppid=5275 vsize=54880 CPUtime=6.2 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 10336 0 0 0 619 1 0 0 20 0 1 0 78407678 56197120 7284 18446744073709551615 4194304 7396336 140725684644976 140725684635720 140311998761856 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 13720 7284 716 782 0 6736 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 54880
[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 5279
/proc/meminfo: memFree=31176548/32770624 swapFree=0/441596
[pid=5278] ppid=5275 vsize=80748 CPUtime=12.6 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 23452 0 0 0 1257 3 0 0 20 0 1 0 78407678 82685952 13748 18446744073709551615 4194304 7396336 140725684644976 140725684636024 140311993004784 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 20187 13748 716 782 0 13203 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 80748
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 5280
/proc/meminfo: memFree=31136000/32770624 swapFree=0/441592
[pid=5278] ppid=5275 vsize=120076 CPUtime=25.4 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 35537 0 0 0 2536 4 0 0 20 0 1 0 78407678 122957824 23635 18446744073709551615 4194304 7396336 140725684644976 140725684635640 4566042 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 30019 23635 716 782 0 23035 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 120076
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 5280
/proc/meminfo: memFree=30848848/32770624 swapFree=0/441572
[pid=5278] ppid=5275 vsize=425120 CPUtime=50.99 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 140626 0 0 0 5082 17 0 0 20 0 1 0 78407678 435322880 99928 18446744073709551615 4194304 7396336 140725684644976 140725684639272 4320622 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 106280 99928 753 782 0 99296 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 425120
[startup+102.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/185 5282
/proc/meminfo: memFree=30576304/32770624 swapFree=0/441596
[pid=5278] ppid=5275 vsize=677488 CPUtime=102.19 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 307096 0 0 0 10190 29 0 0 20 0 1 0 78407678 693747712 163076 18446744073709551615 4194304 7396336 140725684644976 140725684639384 5575964 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 169372 163076 753 782 0 162388 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 677488
[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 5285
/proc/meminfo: memFree=30489676/32770624 swapFree=0/441624
[pid=5278] ppid=5275 vsize=764344 CPUtime=162.18 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 351532 0 0 0 16184 34 0 0 20 0 1 0 78407678 782688256 184778 18446744073709551615 4194304 7396336 140725684644976 140725684639256 4257837 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 191086 184778 753 782 0 184102 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 764344
[startup+222.307 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 5288
/proc/meminfo: memFree=30473252/32770624 swapFree=0/441640
[pid=5278] ppid=5275 vsize=780052 CPUtime=222.18 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 470552 0 0 0 22178 40 0 0 20 0 1 0 78407678 798773248 188744 18446744073709551615 4194304 7396336 140725684644976 140725684639400 4410259 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 195013 188744 753 782 0 188029 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 780052
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 5290
/proc/meminfo: memFree=30323224/32770624 swapFree=0/441660
[pid=5278] ppid=5275 vsize=928760 CPUtime=282.17 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 613021 0 0 0 28167 50 0 0 20 0 1 0 78407678 951050240 225883 18446744073709551615 4194304 7396336 140725684644976 140725684639256 4257799 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 232190 225883 753 782 0 225206 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 928760
[startup+342.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/186 5292
/proc/meminfo: memFree=30263360/32770624 swapFree=0/441672
[pid=5278] ppid=5275 vsize=988424 CPUtime=342.17 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 649299 0 0 0 34164 53 0 0 20 0 1 0 78407678 1012146176 240847 18446744073709551615 4194304 7396336 140725684644976 140725684639384 4406867 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 247106 240847 753 782 0 240122 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 988424
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 5295
/proc/meminfo: memFree=30216816/32770624 swapFree=0/441692
[pid=5278] ppid=5275 vsize=1035020 CPUtime=402.16 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 759896 0 0 0 40157 59 0 0 20 0 1 0 78407678 1059860480 252497 18446744073709551615 4194304 7396336 140725684644976 140725684639272 5605917 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 258755 252497 753 782 0 251771 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1035020
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 5297
/proc/meminfo: memFree=30136240/32770624 swapFree=0/441712
[pid=5278] ppid=5275 vsize=1115804 CPUtime=462.16 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 877080 0 0 0 46149 67 0 0 20 0 1 0 78407678 1142583296 272675 18446744073709551615 4194304 7396336 140725684644976 140725684639400 4257799 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 278951 272675 753 782 0 271967 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1115804
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 5314
/proc/meminfo: memFree=30112192/32770624 swapFree=0/441728
[pid=5278] ppid=5275 vsize=1134944 CPUtime=522.16 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 954030 0 0 0 52145 71 0 0 20 0 1 0 78407678 1162182656 277473 18446744073709551615 4194304 7396336 140725684644976 140725684639272 5586259 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 283736 277473 753 782 0 276752 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1134944
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 5316
/proc/meminfo: memFree=30114548/32770624 swapFree=0/441744
[pid=5278] ppid=5275 vsize=1135604 CPUtime=582.14 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1002827 0 0 0 58141 73 0 0 20 0 1 0 78407678 1162858496 277660 18446744073709551615 4194304 7396336 140725684644976 140725684639272 4257837 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 283901 277660 753 782 0 276917 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1135604
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5430
/proc/meminfo: memFree=29953672/32770624 swapFree=0/441980
[pid=5278] ppid=5275 vsize=1258232 CPUtime=1602.18 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1335421 0 0 0 160124 94 0 0 20 0 1 0 78407678 1288429568 308317 18446744073709551615 4194304 7396336 140725684644976 140725684639256 4581738 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 314558 308317 753 782 0 307574 0
Current children cumulated CPU time (s) 1602.18
Current children cumulated vsize (KiB) 1258232
[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/186 5432
/proc/meminfo: memFree=29941024/32770624 swapFree=0/441996
[pid=5278] ppid=5275 vsize=1271300 CPUtime=1662.18 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1344246 0 0 0 166123 95 0 0 20 0 1 0 78407678 1301811200 311579 18446744073709551615 4194304 7396336 140725684644976 140725684639272 4257799 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 317825 311579 753 782 0 310841 0
Current children cumulated CPU time (s) 1662.18
Current children cumulated vsize (KiB) 1271300
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/189 5448
/proc/meminfo: memFree=29932436/32770624 swapFree=0/442016
[pid=5278] ppid=5275 vsize=1274864 CPUtime=1722.19 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1352441 0 0 0 172123 96 0 0 20 0 1 0 78407678 1305460736 312472 18446744073709551615 4194304 7396336 140725684644976 140725684639256 4257837 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 318716 312472 753 782 0 311732 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 1274864
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 5450
/proc/meminfo: memFree=29933092/32770624 swapFree=0/442032
[pid=5278] ppid=5275 vsize=1277636 CPUtime=1782.19 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1361035 0 0 0 178122 97 0 0 20 0 1 0 78407678 1308299264 313143 18446744073709551615 4194304 7396336 140725684644976 140725684639256 4257799 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 319409 313143 753 782 0 312425 0
Current children cumulated CPU time (s) 1782.19
Current children cumulated vsize (KiB) 1277636
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 5452
/proc/meminfo: memFree=29931760/32770624 swapFree=0/442060
[pid=5278] ppid=5275 vsize=1279616 CPUtime=1842.2 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1370012 0 0 0 184122 98 0 0 20 0 1 0 78407678 1310326784 313646 18446744073709551615 4194304 7396336 140725684644976 140725684639384 4257799 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 319904 313646 753 782 0 312920 0
Current children cumulated CPU time (s) 1842.2
Current children cumulated vsize (KiB) 1279616
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 5455
/proc/meminfo: memFree=29931900/32770624 swapFree=0/442060
[pid=5278] ppid=5275 vsize=1279616 CPUtime=1902.2 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1378469 0 0 0 190122 98 0 0 20 0 1 0 78407678 1310326784 313646 18446744073709551615 4194304 7396336 140725684644976 140725684639384 4257837 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 319904 313646 753 782 0 312920 0
Current children cumulated CPU time (s) 1902.2
Current children cumulated vsize (KiB) 1279616
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5458
/proc/meminfo: memFree=29932412/32770624 swapFree=0/442080
[pid=5278] ppid=5275 vsize=1279616 CPUtime=1962.21 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1386927 0 0 0 196122 99 0 0 20 0 1 0 78407678 1310326784 313646 18446744073709551615 4194304 7396336 140725684644976 140725684639384 4406867 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 319904 313646 753 782 0 312920 0
Current children cumulated CPU time (s) 1962.21
Current children cumulated vsize (KiB) 1279616
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5461
/proc/meminfo: memFree=29932416/32770624 swapFree=0/442084
[pid=5278] ppid=5275 vsize=1279616 CPUtime=2022.21 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1395381 0 0 0 202121 100 0 0 20 0 1 0 78407678 1310326784 313646 18446744073709551615 4194304 7396336 140725684644976 140725684639384 5575964 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 319904 313646 753 782 0 312920 0
Current children cumulated CPU time (s) 2022.21
Current children cumulated vsize (KiB) 1279616
[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 5463
/proc/meminfo: memFree=29932540/32770624 swapFree=0/442104
[pid=5278] ppid=5275 vsize=1279616 CPUtime=2082.22 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1400108 0 0 0 208122 100 0 0 20 0 1 0 78407678 1310326784 313647 18446744073709551615 4194304 7396336 140725684644976 140725684639384 4257837 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 319904 313647 753 782 0 312920 0
Current children cumulated CPU time (s) 2082.22
Current children cumulated vsize (KiB) 1279616
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 5465
/proc/meminfo: memFree=29932044/32770624 swapFree=0/442124
[pid=5278] ppid=5275 vsize=1279748 CPUtime=2142.22 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1410300 0 0 0 214121 101 0 0 20 0 1 0 78407678 1310461952 313680 18446744073709551615 4194304 7396336 140725684644976 140725684639256 4257799 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 319937 313680 753 782 0 312953 0
Current children cumulated CPU time (s) 2142.22
Current children cumulated vsize (KiB) 1279748
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 5468
/proc/meminfo: memFree=29919520/32770624 swapFree=0/442140
[pid=5278] ppid=5275 vsize=1292684 CPUtime=2202.23 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1422056 0 0 0 220121 102 0 0 20 0 1 0 78407678 1323708416 316882 18446744073709551615 4194304 7396336 140725684644976 140725684639400 4406506 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 323171 316882 753 782 0 316187 0
Current children cumulated CPU time (s) 2202.23
Current children cumulated vsize (KiB) 1292684
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 5470
/proc/meminfo: memFree=29918172/32770624 swapFree=0/442148
[pid=5278] ppid=5275 vsize=1293608 CPUtime=2262.23 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1434234 0 0 0 226120 103 0 0 20 0 1 0 78407678 1324654592 317149 18446744073709551615 4194304 7396336 140725684644976 140725684639272 4406867 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 323402 317149 753 782 0 316418 0
Current children cumulated CPU time (s) 2262.23
Current children cumulated vsize (KiB) 1293608
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5486
/proc/meminfo: memFree=29913756/32770624 swapFree=0/442164
[pid=5278] ppid=5275 vsize=1293872 CPUtime=2322.23 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1440503 0 0 0 232120 103 0 0 20 0 1 0 78407678 1324924928 317217 18446744073709551615 4194304 7396336 140725684644976 140725684639256 5575964 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 323468 317217 753 782 0 316484 0
Current children cumulated CPU time (s) 2322.23
Current children cumulated vsize (KiB) 1293872
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5513
/proc/meminfo: memFree=29911024/32770624 swapFree=0/442196
[pid=5278] ppid=5275 vsize=1295192 CPUtime=2382.23 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1442438 0 0 0 238120 103 0 0 20 0 1 0 78407678 1326276608 317534 18446744073709551615 4194304 7396336 140725684644976 140725684639256 140311995692753 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 323798 317534 753 782 0 316814 0
Current children cumulated CPU time (s) 2382.23
Current children cumulated vsize (KiB) 1295192
[startup+2442.3 s]
/proc/loadavg: 2.15 2.06 2.06 3/185 5515
/proc/meminfo: memFree=29914864/32770624 swapFree=0/442204
[pid=5278] ppid=5275 vsize=1295192 CPUtime=2442.24 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1444057 0 0 0 244121 103 0 0 20 0 1 0 78407678 1326276608 317534 18446744073709551615 4194304 7396336 140725684644976 140725684639256 4407283 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 323798 317534 753 782 0 316814 0
Current children cumulated CPU time (s) 2442.24
Current children cumulated vsize (KiB) 1295192
[startup+2502.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/185 5517
/proc/meminfo: memFree=29913728/32770624 swapFree=0/442208
[pid=5278] ppid=5275 vsize=1297304 CPUtime=2502.24 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1446775 0 0 0 250121 103 0 0 20 0 1 0 78407678 1328439296 318084 18446744073709551615 4194304 7396336 140725684644976 140725684639256 4406356 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 324326 318084 753 782 0 317342 0
Current children cumulated CPU time (s) 2502.24
Current children cumulated vsize (KiB) 1297304
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 5517
/proc/meminfo: memFree=29913728/32770624 swapFree=0/442216
[pid=5278] ppid=5275 vsize=1297304 CPUtime=2519.94 cores=0,2,4,6
/proc/5278/stat : 5278 (MistralXCSP) R 5275 5278 9153 0 -1 4202496 1446904 0 0 0 251891 103 0 0 20 0 1 0 78407678 1328439296 318084 18446744073709551615 4194304 7396336 140725684644976 140725684639256 4582546 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 13520896 140725684650418 140725684650568 140725684650568 140725684654025 0
/proc/5278/statm: 324326 318084 753 782 0 317342 0
Current children cumulated CPU time (s) 2519.94
Current children cumulated vsize (KiB) 1297304
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 5278 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.96
CPU user time (s): 2518.91
CPU system time (s): 1.04307
CPU usage (%): 99.9981
Max. virtual memory (cumulated for all children) (KiB): 1297304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.91
system time used= 1.04307
maximum resident set size= 1272356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1446940
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= 321
involuntary context switches= 1094
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.03779 second user time and 11.2775 second system time
The end