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-4260991-1502378758/watcher-4260991-1502378758 -o /tmp/evaluation-result-4260991-1502378758/solver-4260991-1502378758 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502331912-20756 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1400012150 HOME/instance-4260991-1502378758.xml
pid=28497
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: 1.93 2.02 2.04 3/185 28500
/proc/meminfo: memFree=30633964/32770624 swapFree=0/546092
[pid=28500] ppid=28497 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/28500/stat : 28500 (runsolver) D 28497 28500 31388 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 85382089 24240128 106 18446744073709551615 4194304 4338465 140724464076928 140724464074568 140349825483479 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 24592384 140724464078986 140724464079433 140724464079433 140724464082890 0
/proc/28500/statm: 5918 106 53 36 0 2156 0
[startup+0.100158 s]
/proc/loadavg: 1.93 2.02 2.04 3/185 28500
/proc/meminfo: memFree=30633964/32770624 swapFree=0/546092
[pid=28500] ppid=28497 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/28500/stat : 28500 (runsolver) D 28497 28500 31388 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 85382089 24240128 106 18446744073709551615 4194304 4338465 140724464076928 140724464074568 140349825483479 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 24592384 140724464078986 140724464079433 140724464079433 140724464082890 0
/proc/28500/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200364 s]
/proc/loadavg: 1.93 2.02 2.04 3/185 28500
/proc/meminfo: memFree=30633964/32770624 swapFree=0/546092
[pid=28500] ppid=28497 vsize=28788 CPUtime=0.08 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1047 0 0 0 8 0 0 0 20 0 1 0 85382089 29478912 875 18446744073709551615 4194304 7396336 140724761193984 140724761189000 4581459 0 0 1 16386 0 0 0 17 7 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 875 694 782 0 213 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28788
[startup+0.300366 s]
/proc/loadavg: 1.93 2.02 2.04 3/185 28500
/proc/meminfo: memFree=30633964/32770624 swapFree=0/546092
[pid=28500] ppid=28497 vsize=28788 CPUtime=0.18 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1047 0 0 0 18 0 0 0 20 0 1 0 85382089 29478912 875 18446744073709551615 4194304 7396336 140724761193984 140724761189000 5774399 0 0 1 16386 0 0 0 17 7 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 875 694 782 0 213 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 28788
[startup+0.700226 s]
/proc/loadavg: 1.93 2.02 2.04 3/185 28500
/proc/meminfo: memFree=30633964/32770624 swapFree=0/546092
[pid=28500] ppid=28497 vsize=28788 CPUtime=0.58 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1047 0 0 0 58 0 0 0 20 0 1 0 85382089 29478912 875 18446744073709551615 4194304 7396336 140724761193984 140724761189000 4249727 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 875 694 782 0 213 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 28788
[startup+1.50022 s]
/proc/loadavg: 1.93 2.02 2.04 3/186 28501
/proc/meminfo: memFree=30632988/32770624 swapFree=0/546140
[pid=28500] ppid=28497 vsize=28788 CPUtime=1.38 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1047 0 0 0 138 0 0 0 20 0 1 0 85382089 29478912 875 18446744073709551615 4194304 7396336 140724761193984 140724761189000 4249722 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 875 694 782 0 213 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 28788
[startup+3.10022 s]
/proc/loadavg: 1.93 2.02 2.04 3/186 28501
/proc/meminfo: memFree=30632616/32770624 swapFree=0/546140
[pid=28500] ppid=28497 vsize=28788 CPUtime=2.98 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1100 0 0 0 298 0 0 0 20 0 1 0 85382089 29478912 875 18446744073709551615 4194304 7396336 140724761193984 140724761189000 4582542 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 875 694 782 0 213 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 28788
[startup+6.30022 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 28501
/proc/meminfo: memFree=30632024/32770624 swapFree=0/546096
[pid=28500] ppid=28497 vsize=28788 CPUtime=6.18 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1153 0 0 0 618 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 5774419 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 28788
[startup+12.7002 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 28501
/proc/meminfo: memFree=30631944/32770624 swapFree=0/546100
[pid=28500] ppid=28497 vsize=28788 CPUtime=12.58 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1206 0 0 0 1258 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 5772942 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 28788
[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 28501
/proc/meminfo: memFree=30631944/32770624 swapFree=0/546096
[pid=28500] ppid=28497 vsize=28788 CPUtime=25.38 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1312 0 0 0 2538 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 5772949 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 28788
[startup+51.1003 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 28502
/proc/meminfo: memFree=30631824/32770624 swapFree=0/546088
[pid=28500] ppid=28497 vsize=28788 CPUtime=50.98 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1365 0 0 0 5098 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 4582433 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 28788
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 28505
/proc/meminfo: memFree=30631616/32770624 swapFree=0/546108
[pid=28500] ppid=28497 vsize=28788 CPUtime=102.19 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1418 0 0 0 10219 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 4257640 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 28788
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28508
/proc/meminfo: memFree=30631552/32770624 swapFree=0/546136
[pid=28500] ppid=28497 vsize=28788 CPUtime=162.19 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1471 0 0 0 16219 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 5578128 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 28788
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28510
/proc/meminfo: memFree=30631012/32770624 swapFree=0/546144
[pid=28500] ppid=28497 vsize=28788 CPUtime=222.19 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1524 0 0 0 22219 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 5771331 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 28788
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28512
/proc/meminfo: memFree=30631708/32770624 swapFree=0/546164
[pid=28500] ppid=28497 vsize=28788 CPUtime=282.19 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1524 0 0 0 28219 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 4320832 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 28788
[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 28514
/proc/meminfo: memFree=30630972/32770624 swapFree=0/546176
[pid=28500] ppid=28497 vsize=28788 CPUtime=342.19 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1577 0 0 0 34219 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 5620577 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 28788
[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 28516
/proc/meminfo: memFree=30630736/32770624 swapFree=0/546204
[pid=28500] ppid=28497 vsize=28788 CPUtime=402.19 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1577 0 0 0 40219 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 4581774 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 28788
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28500 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 2.03 2.02 2.05 3/185 28516
/proc/meminfo: memFree=30630616/32770624 swapFree=0/546196
[pid=28500] ppid=28497 vsize=28788 CPUtime=409.49 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1577 0 0 0 40949 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 4543818 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 409.49
Current children cumulated vsize (KiB) 28788
[startup+422.4 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 28517
/proc/meminfo: memFree=30630512/32770624 swapFree=0/546212
[pid=28500] ppid=28497 vsize=28788 CPUtime=422.3 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1630 0 0 0 42230 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 4320832 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 422.3
Current children cumulated vsize (KiB) 28788
[startup+435.2 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 28517
/proc/meminfo: memFree=30630512/32770624 swapFree=0/546212
[pid=28500] ppid=28497 vsize=28788 CPUtime=435.1 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1630 0 0 0 43510 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 5620516 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 435.1
Current children cumulated vsize (KiB) 28788
[startup+441.6 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 28517
/proc/meminfo: memFree=30630512/32770624 swapFree=0/546212
[pid=28500] ppid=28497 vsize=28788 CPUtime=441.5 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1630 0 0 0 44150 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 5619687 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 441.5
Current children cumulated vsize (KiB) 28788
[startup+444.8 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 28517
/proc/meminfo: memFree=30630512/32770624 swapFree=0/546212
[pid=28500] ppid=28497 vsize=28788 CPUtime=444.7 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1630 0 0 0 44470 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 4249734 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 444.7
Current children cumulated vsize (KiB) 28788
[startup+446.4 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 28517
/proc/meminfo: memFree=30630512/32770624 swapFree=0/546212
[pid=28500] ppid=28497 vsize=28788 CPUtime=446.3 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1630 0 0 0 44630 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 4249696 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 446.3
Current children cumulated vsize (KiB) 28788
[startup+446.8 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 28517
/proc/meminfo: memFree=30630512/32770624 swapFree=0/546212
[pid=28500] ppid=28497 vsize=28788 CPUtime=446.7 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1630 0 0 0 44670 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 5771264 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 446.7
Current children cumulated vsize (KiB) 28788
[startup+447 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 28517
/proc/meminfo: memFree=30630512/32770624 swapFree=0/546212
[pid=28500] ppid=28497 vsize=28788 CPUtime=446.9 cores=1,3,5,7
/proc/28500/stat : 28500 (MistralXCSP) R 28497 28500 31388 0 -1 4202496 1630 0 0 0 44690 0 0 0 20 0 1 0 85382089 29478912 888 18446744073709551615 4194304 7396336 140724761193984 140724761189000 4249703 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 19218432 140724761199026 140724761199176 140724761199176 140724761202633 0
/proc/28500/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 446.9
Current children cumulated vsize (KiB) 28788
Child status: 0
Real time (s): 447.018
CPU time (s): 446.922
CPU user time (s): 446.918
CPU system time (s): 0.003659
CPU usage (%): 99.9784
Max. virtual memory (cumulated for all children) (KiB): 28788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 446.918
system time used= 0.003659
maximum resident set size= 3588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1721
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= 8
involuntary context switches= 121
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.962531 second user time and 1.58697 second system time
The end