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-4260994-1502378779/watcher-4260994-1502378779 -o /tmp/evaluation-result-4260994-1502378779/solver-4260994-1502378779 -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 385280524 HOME/instance-4260994-1502378779.xml
pid=31551
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.01 2.05 2/184 31554
/proc/meminfo: memFree=31064164/32770624 swapFree=0/429412
[pid=31554] ppid=31551 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31554/stat : 31554 (runsolver) D 31551 31554 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 137530865 24240128 107 18446744073709551615 4194304 4338465 140724017366288 140724017363928 140457818694359 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 32145408 140724017369227 140724017369673 140724017369673 140724017373130 0
/proc/31554/statm: 5918 107 54 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 2.00 2.01 2.05 2/184 31554
/proc/meminfo: memFree=31064164/32770624 swapFree=0/429412
[pid=31554] ppid=31551 vsize=28788 CPUtime=0 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1044 0 0 0 0 0 0 0 20 0 1 0 137530865 29478912 875 18446744073709551615 4194304 7396336 140724205818208 140724205815208 5773811 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 875 694 782 0 213 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28788
[startup+0.200261 s]
/proc/loadavg: 2.00 2.01 2.05 2/184 31554
/proc/meminfo: memFree=31064164/32770624 swapFree=0/429412
[pid=31554] ppid=31551 vsize=28788 CPUtime=0.1 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1047 0 0 0 10 0 0 0 20 0 1 0 137530865 29478912 875 18446744073709551615 4194304 7396336 140724205818208 140724205815208 4379189 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 875 694 782 0 213 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 28788
[startup+0.300246 s]
/proc/loadavg: 2.00 2.01 2.05 2/184 31554
/proc/meminfo: memFree=31064164/32770624 swapFree=0/429412
[pid=31554] ppid=31551 vsize=28788 CPUtime=0.2 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1047 0 0 0 20 0 0 0 20 0 1 0 137530865 29478912 875 18446744073709551615 4194304 7396336 140724205818208 140724205815208 5774384 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 875 694 782 0 213 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 28788
[startup+0.700222 s]
/proc/loadavg: 2.00 2.01 2.05 2/184 31554
/proc/meminfo: memFree=31064164/32770624 swapFree=0/429412
[pid=31554] ppid=31551 vsize=28788 CPUtime=0.6 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1047 0 0 0 60 0 0 0 20 0 1 0 137530865 29478912 875 18446744073709551615 4194304 7396336 140724205818208 140724205815208 4249456 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 875 694 782 0 213 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 28788
[startup+1.50021 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31555
/proc/meminfo: memFree=31063652/32770624 swapFree=0/429432
[pid=31554] ppid=31551 vsize=28788 CPUtime=1.4 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1047 0 0 0 140 0 0 0 20 0 1 0 137530865 29478912 875 18446744073709551615 4194304 7396336 140724205818208 140724205813224 4582271 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 875 694 782 0 213 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 28788
[startup+3.10022 s]
/proc/loadavg: 1.92 2.00 2.04 3/185 31555
/proc/meminfo: memFree=31063284/32770624 swapFree=0/429432
[pid=31554] ppid=31551 vsize=28788 CPUtime=3 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1100 0 0 0 300 0 0 0 20 0 1 0 137530865 29478912 875 18446744073709551615 4194304 7396336 140724205818208 140724205813224 4582542 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 875 694 782 0 213 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 28788
[startup+6.30022 s]
/proc/loadavg: 1.92 2.00 2.04 3/185 31555
/proc/meminfo: memFree=31062680/32770624 swapFree=0/429428
[pid=31554] ppid=31551 vsize=28788 CPUtime=6.2 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1153 0 0 0 620 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 5839344 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 28788
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/185 31555
/proc/meminfo: memFree=31062508/32770624 swapFree=0/429424
[pid=31554] ppid=31551 vsize=28788 CPUtime=12.6 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1206 0 0 0 1260 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 5771377 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 28788
[startup+25.5002 s]
/proc/loadavg: 1.95 2.00 2.04 3/185 31556
/proc/meminfo: memFree=31062632/32770624 swapFree=0/429424
[pid=31554] ppid=31551 vsize=28788 CPUtime=25.4 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1312 0 0 0 2540 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 4581726 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 28788
[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.04 3/185 31556
/proc/meminfo: memFree=31062880/32770624 swapFree=0/429420
[pid=31554] ppid=31551 vsize=28788 CPUtime=51 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1365 0 0 0 5100 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 4249471 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 28788
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/185 31558
/proc/meminfo: memFree=31062992/32770624 swapFree=0/429440
[pid=31554] ppid=31551 vsize=28788 CPUtime=102.2 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1418 0 0 0 10220 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 4249703 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 28788
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/186 31561
/proc/meminfo: memFree=31062548/32770624 swapFree=0/429460
[pid=31554] ppid=31551 vsize=28788 CPUtime=162.19 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1471 0 0 0 16219 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 5839021 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/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.00 2.04 3/185 31563
/proc/meminfo: memFree=31062528/32770624 swapFree=0/429464
[pid=31554] ppid=31551 vsize=28788 CPUtime=222.2 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1524 0 0 0 22220 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 5771336 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 28788
[startup+282.3 s]
/proc/loadavg: 2.10 2.03 2.05 3/185 31565
/proc/meminfo: memFree=31062780/32770624 swapFree=0/429480
[pid=31554] ppid=31551 vsize=28788 CPUtime=282.19 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1577 0 0 0 28219 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 5772165 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/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.04 2.02 2.05 3/185 31567
/proc/meminfo: memFree=31062868/32770624 swapFree=0/429492
[pid=31554] ppid=31551 vsize=28788 CPUtime=342.19 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1630 0 0 0 34219 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 4249734 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/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: 1.95 2.00 2.04 3/185 31569
/proc/meminfo: memFree=31062872/32770624 swapFree=0/429500
[pid=31554] ppid=31551 vsize=28788 CPUtime=402.19 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1683 0 0 0 40219 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 5165842 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/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 31554 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 1.95 2.00 2.04 3/184 31569
/proc/meminfo: memFree=31062888/32770624 swapFree=0/429492
[pid=31554] ppid=31551 vsize=28788 CPUtime=409.49 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1683 0 0 0 40949 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 5774448 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/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: 1.96 2.00 2.04 3/184 31570
/proc/meminfo: memFree=31062764/32770624 swapFree=0/429504
[pid=31554] ppid=31551 vsize=28788 CPUtime=422.3 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1736 0 0 0 42230 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 5774037 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 422.3
Current children cumulated vsize (KiB) 28788
[startup+425.6 s]
/proc/loadavg: 1.96 2.00 2.04 3/184 31570
/proc/meminfo: memFree=31062764/32770624 swapFree=0/429504
[pid=31554] ppid=31551 vsize=28788 CPUtime=425.49 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1736 0 0 0 42549 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 5839340 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 425.49
Current children cumulated vsize (KiB) 28788
[startup+427.2 s]
/proc/loadavg: 1.96 2.00 2.04 3/184 31570
/proc/meminfo: memFree=31062888/32770624 swapFree=0/429504
[pid=31554] ppid=31551 vsize=28788 CPUtime=427.09 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1736 0 0 0 42709 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 5165945 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 427.09
Current children cumulated vsize (KiB) 28788
[startup+428.006 s]
/proc/loadavg: 1.96 2.00 2.04 3/184 31570
/proc/meminfo: memFree=31062888/32770624 swapFree=0/429504
[pid=31554] ppid=31551 vsize=28788 CPUtime=427.9 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1736 0 0 0 42790 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 5772915 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 427.9
Current children cumulated vsize (KiB) 28788
[startup+428.4 s]
/proc/loadavg: 1.96 2.00 2.04 3/184 31570
/proc/meminfo: memFree=31062888/32770624 swapFree=0/429504
[pid=31554] ppid=31551 vsize=28788 CPUtime=428.29 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1736 0 0 0 42829 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 5586201 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 428.29
Current children cumulated vsize (KiB) 28788
[startup+428.6 s]
/proc/loadavg: 1.96 2.00 2.04 3/184 31570
/proc/meminfo: memFree=31062888/32770624 swapFree=0/429504
[pid=31554] ppid=31551 vsize=28788 CPUtime=428.49 cores=1,3,5,7
/proc/31554/stat : 31554 (MistralXCSP) R 31551 31554 4525 0 -1 4202496 1736 0 0 0 42849 0 0 0 20 0 1 0 137530865 29478912 888 18446744073709551615 4194304 7396336 140724205818208 140724205813224 5771317 0 0 1 16386 0 0 0 17 5 0 0 9 0 0 9496464 9501696 24551424 140724205822387 140724205822536 140724205822536 140724205825993 0
/proc/31554/statm: 7197 888 704 782 0 213 0
Current children cumulated CPU time (s) 428.49
Current children cumulated vsize (KiB) 28788
Child status: 0
Real time (s): 428.675
CPU time (s): 428.576
CPU user time (s): 428.57
CPU system time (s): 0.005999
CPU usage (%): 99.9771
Max. virtual memory (cumulated for all children) (KiB): 28788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 428.57
system time used= 0.005999
maximum resident set size= 3556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1828
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= 122
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.08919 second user time and 1.3859 second system time
The end