runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-329135-1178887926 -o ROOT/results/node16/solver-329135-1178887926 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/329135-1178887926/MiraXTv2_dyn /tmp/evaluation/329135-1178887926/instance-329135-1178887926.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.04 1.01 1.00 3/77 664
/proc/meminfo: memFree=1704072/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=3788 CPUtime=0
/proc/664/stat : 664 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 336710308 3878912 351 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/664/statm: 947 359 202 20 0 305 0
[startup+0.030024 s]
/proc/loadavg: 1.04 1.01 1.00 3/77 664
/proc/meminfo: memFree=1704072/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=5280 CPUtime=0.02
/proc/664/stat : 664 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194304 892 0 0 0 2 0 0 0 18 0 1 0 336710308 5406720 867 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 7640699 0 0 4096 0 0 0 0 17 0 0 0
/proc/664/statm: 1320 867 206 20 0 678 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5280
[startup+0.101008 s]
/proc/loadavg: 1.04 1.01 1.00 3/77 664
/proc/meminfo: memFree=1704072/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=10044 CPUtime=0.09
/proc/664/stat : 664 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194304 2011 0 0 0 8 1 0 0 18 0 1 0 336710308 10285056 1986 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 7640699 0 0 4096 0 0 0 0 17 0 0 0
/proc/664/statm: 2511 1986 206 20 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10044
[startup+0.301964 s]
/proc/loadavg: 1.04 1.01 1.00 3/77 664
/proc/meminfo: memFree=1704072/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=18508 CPUtime=0.29
/proc/664/stat : 664 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194304 4038 0 0 0 27 2 0 0 20 0 1 0 336710308 18952192 4013 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134574224 0 0 4096 0 0 0 0 17 0 0 0
/proc/664/statm: 4627 4014 207 20 0 3985 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18508
[startup+0.70188 s]
/proc/loadavg: 1.04 1.01 1.00 3/77 664
/proc/meminfo: memFree=1704072/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=26140 CPUtime=0.69
/proc/664/stat : 664 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194304 5812 0 0 0 66 3 0 0 24 0 1 0 336710308 26767360 5787 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134583964 0 0 4096 0 0 0 0 17 0 0 0
/proc/664/statm: 6535 5787 207 20 0 5893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26140
[startup+1.50271 s]
/proc/loadavg: 1.04 1.01 1.00 2/79 666
/proc/meminfo: memFree=1673912/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=49360 CPUtime=1.49
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 9049 0 0 0 145 4 0 0 25 0 2 0 336710308 50544640 8354 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 12340 8354 218 20 0 11698 0
[pid=664/tid=666] ppid=662 vsize=49360 CPUtime=0.55
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 2918 0 0 0 54 1 0 0 25 0 2 0 336710402 50544640 8354 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526017 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49360
[startup+3.10137 s]
/proc/loadavg: 1.04 1.01 1.00 2/79 666
/proc/meminfo: memFree=1671096/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=49492 CPUtime=3.09
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 9087 0 0 0 305 4 0 0 25 0 2 0 336710308 50679808 8392 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 12373 8392 218 20 0 11731 0
[pid=664/tid=666] ppid=662 vsize=49492 CPUtime=2.15
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 2956 0 0 0 214 1 0 0 25 0 2 0 336710402 50679808 8392 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134525974 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49492
[startup+6.30169 s]
/proc/loadavg: 1.19 1.04 1.01 2/79 666
/proc/meminfo: memFree=1670648/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=49976 CPUtime=6.29
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 9694 0 0 0 624 5 0 0 25 0 2 0 336710308 51175424 8695 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 12494 8695 218 20 0 11852 0
[pid=664/tid=666] ppid=662 vsize=49976 CPUtime=5.34
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 3563 0 0 0 533 1 0 0 25 0 2 0 336710402 51175424 8695 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49976
[startup+12.7013 s]
/proc/loadavg: 1.18 1.04 1.01 2/79 666
/proc/meminfo: memFree=1661880/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=59352 CPUtime=12.68
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 12126 0 0 0 1262 6 0 0 25 0 2 0 336710308 60776448 11127 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 14838 11127 218 20 0 14196 0
[pid=664/tid=666] ppid=662 vsize=59352 CPUtime=11.74
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 5995 0 0 0 1171 3 0 0 25 0 2 0 336710402 60776448 11127 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 7640699 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 59352
[startup+25.5016 s]
/proc/loadavg: 1.14 1.04 1.01 2/79 666
/proc/meminfo: memFree=1639864/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=79444 CPUtime=25.48
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 17447 0 0 0 2538 10 0 0 25 0 2 0 336710308 81350656 16322 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 19861 16322 218 20 0 19219 0
[pid=664/tid=666] ppid=662 vsize=79444 CPUtime=24.54
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 11316 0 0 0 2447 7 0 0 25 0 2 0 336710402 81350656 16322 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79444
[startup+51.1012 s]
/proc/loadavg: 1.09 1.04 1.01 2/79 666
/proc/meminfo: memFree=1612472/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=107044 CPUtime=51.06
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 24536 0 0 0 5091 15 0 0 25 0 2 0 336710308 109613056 23299 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 26761 23299 218 20 0 26119 0
[pid=664/tid=666] ppid=662 vsize=107044 CPUtime=50.11
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 18405 0 0 0 5000 11 0 0 25 0 2 0 336710402 109613056 23299 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526689 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 107044
[startup+102.306 s]
/proc/loadavg: 1.04 1.03 1.00 2/79 666
/proc/meminfo: memFree=1574648/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=143092 CPUtime=102.25
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 33772 0 0 0 10204 21 0 0 25 0 2 0 336710308 146526208 32410 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 35773 32410 218 20 0 35131 0
[pid=664/tid=666] ppid=662 vsize=143092 CPUtime=101.3
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 27641 0 0 0 10113 17 0 0 25 0 2 0 336710402 146526208 32410 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 143092
[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/79 666
/proc/meminfo: memFree=1551928/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=165620 CPUtime=162.23
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 39488 0 0 0 16197 26 0 0 25 0 2 0 336710308 169594880 38054 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 41405 38054 218 20 0 40763 0
[pid=664/tid=666] ppid=662 vsize=165620 CPUtime=161.28
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 33357 0 0 0 16106 22 0 0 25 0 2 0 336710402 169594880 38054 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526691 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 165620
[startup+222.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/79 666
/proc/meminfo: memFree=1522744/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=194640 CPUtime=222.2
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 46993 0 0 0 22190 30 0 0 25 0 2 0 336710308 199311360 45339 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 48660 45339 218 20 0 48018 0
[pid=664/tid=666] ppid=662 vsize=194640 CPUtime=221.26
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 40862 0 0 0 22099 27 0 0 25 0 2 0 336710402 199311360 45339 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 194640
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 666
/proc/meminfo: memFree=1522680/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=194640 CPUtime=282.18
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 47012 0 0 0 28188 30 0 0 25 0 2 0 336710308 199311360 45358 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 48660 45358 218 20 0 48018 0
[pid=664/tid=666] ppid=662 vsize=194640 CPUtime=281.24
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 40881 0 0 0 28097 27 0 0 25 0 2 0 336710402 199311360 45358 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526689 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 194640
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 666
/proc/meminfo: memFree=1522680/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=194640 CPUtime=342.17
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 47018 0 0 0 34187 30 0 0 25 0 2 0 336710308 199311360 45364 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 48660 45364 218 20 0 48018 0
[pid=664/tid=666] ppid=662 vsize=194640 CPUtime=341.23
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 40887 0 0 0 34096 27 0 0 25 0 2 0 336710402 199311360 45364 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134529989 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 194640
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 666
/proc/meminfo: memFree=1522680/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=194640 CPUtime=402.14
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 47022 0 0 0 40184 30 0 0 25 0 2 0 336710308 199311360 45368 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 48660 45368 218 20 0 48018 0
[pid=664/tid=666] ppid=662 vsize=194640 CPUtime=401.2
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 40891 0 0 0 40093 27 0 0 25 0 2 0 336710402 199311360 45368 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526275 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 194640
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 666
/proc/meminfo: memFree=1522680/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=194640 CPUtime=462.12
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 47032 0 0 0 46181 31 0 0 25 0 2 0 336710308 199311360 45378 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 48660 45378 218 20 0 48018 0
[pid=664/tid=666] ppid=662 vsize=194640 CPUtime=461.17
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 40901 0 0 0 46090 27 0 0 25 0 2 0 336710402 199311360 45378 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526648 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 194640
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 666
/proc/meminfo: memFree=1504120/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=214320 CPUtime=522.11
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 52197 0 0 0 52177 34 0 0 25 0 2 0 336710308 219463680 50300 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 53580 50300 218 20 0 52938 0
[pid=664/tid=666] ppid=662 vsize=214320 CPUtime=521.16
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 46066 0 0 0 52086 30 0 0 25 0 2 0 336710402 219463680 50300 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526691 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 214320
[startup+582.303 s]
/proc/loadavg: 1.04 1.01 1.00 2/85 838
/proc/meminfo: memFree=1490632/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=225176 CPUtime=582.09
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 55016 0 0 0 58161 48 0 0 25 0 2 0 336710308 230580224 53038 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 56294 53038 218 20 0 55652 0
[pid=664/tid=666] ppid=662 vsize=225176 CPUtime=581.14
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 48885 0 0 0 58070 44 0 0 25 0 2 0 336710402 230580224 53038 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526275 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 225176
[startup+642.303 s]
/proc/loadavg: 1.01 1.01 1.00 2/79 864
/proc/meminfo: memFree=1491704/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=225688 CPUtime=642.08
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 55020 0 0 0 64159 49 0 0 25 0 2 0 336710308 231104512 53042 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 56422 53042 218 20 0 55780 0
[pid=664/tid=666] ppid=662 vsize=225688 CPUtime=641.14
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 48889 0 0 0 64068 46 0 0 25 0 2 0 336710402 231104512 53042 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526275 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 225688
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 864
/proc/meminfo: memFree=1479800/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=237704 CPUtime=702.06
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 58097 0 0 0 70154 52 0 0 25 0 2 0 336710308 243408896 56037 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 59426 56037 218 20 0 58784 0
[pid=664/tid=666] ppid=662 vsize=237704 CPUtime=701.11
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 51966 0 0 0 70063 48 0 0 25 0 2 0 336710402 243408896 56037 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 237704
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 864
/proc/meminfo: memFree=1476856/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=241040 CPUtime=762.05
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 59095 0 0 0 76152 53 0 0 25 0 2 0 336710308 246824960 56871 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 60260 56871 218 20 0 59618 0
[pid=664/tid=666] ppid=662 vsize=241040 CPUtime=761.1
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 52964 0 0 0 76061 49 0 0 25 0 2 0 336710402 246824960 56871 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134525974 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 241040
[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 864
/proc/meminfo: memFree=1448120/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=269436 CPUtime=822.01
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 66261 0 0 0 82143 58 0 0 25 0 2 0 336710308 275902464 63955 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 67359 63955 218 20 0 66717 0
[pid=664/tid=666] ppid=662 vsize=269436 CPUtime=821.06
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 60130 0 0 0 82052 54 0 0 25 0 2 0 336710402 275902464 63955 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526691 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 269436
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 864
/proc/meminfo: memFree=1415096/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=302704 CPUtime=882
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 74685 0 0 0 88135 65 0 0 25 0 2 0 336710308 309968896 72297 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 75676 72297 218 20 0 75034 0
[pid=664/tid=666] ppid=662 vsize=302704 CPUtime=881.05
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 68554 0 0 0 88044 61 0 0 25 0 2 0 336710402 309968896 72297 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 302704
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 864
/proc/meminfo: memFree=1372856/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=344492 CPUtime=941.98
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 85199 0 0 0 94127 71 0 0 25 0 2 0 336710308 352759808 82729 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 86123 82729 218 20 0 85481 0
[pid=664/tid=666] ppid=662 vsize=344492 CPUtime=941.04
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 79068 0 0 0 94036 68 0 0 25 0 2 0 336710402 352759808 82729 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526686 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 344492
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 864
/proc/meminfo: memFree=1364664/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=352580 CPUtime=1001.96
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 87389 0 0 0 100123 73 0 0 25 0 2 0 336710308 361041920 84755 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 88145 84755 218 20 0 87503 0
[pid=664/tid=666] ppid=662 vsize=352580 CPUtime=1001.01
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 81258 0 0 0 100032 69 0 0 25 0 2 0 336710402 361041920 84755 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 352580
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 864
/proc/meminfo: memFree=1364792/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=352580 CPUtime=1061.93
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 87390 0 0 0 106120 73 0 0 25 0 2 0 336710308 361041920 84756 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 88145 84756 218 20 0 87503 0
[pid=664/tid=666] ppid=662 vsize=352580 CPUtime=1060.98
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 81259 0 0 0 106029 69 0 0 25 0 2 0 336710402 361041920 84756 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 352580
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 864
/proc/meminfo: memFree=1364856/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=352580 CPUtime=1121.92
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 87391 0 0 0 112119 73 0 0 25 0 2 0 336710308 361041920 84757 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 88145 84757 218 20 0 87503 0
[pid=664/tid=666] ppid=662 vsize=352580 CPUtime=1120.97
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 81260 0 0 0 112028 69 0 0 25 0 2 0 336710402 361041920 84757 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526261 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 352580
[startup+1182.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/79 864
/proc/meminfo: memFree=1364856/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=352580 CPUtime=1181.89
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 87392 0 0 0 118116 73 0 0 25 0 2 0 336710308 361041920 84758 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 88145 84758 218 20 0 87503 0
[pid=664/tid=666] ppid=662 vsize=352580 CPUtime=1180.95
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 81261 0 0 0 118025 70 0 0 25 0 2 0 336710402 361041920 84758 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526691 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 352580
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.03 1.01 1.00 2/79 864
/proc/meminfo: memFree=1354616/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=363012 CPUtime=1200.09
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 89987 0 0 0 119935 74 0 0 25 0 2 0 336710308 371724288 87353 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 90753 87353 218 20 0 90111 0
[pid=664/tid=666] ppid=662 vsize=363012 CPUtime=1199.15
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 83856 0 0 0 119844 71 0 0 25 0 2 0 336710402 371724288 87353 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134517942 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 363012
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.03 1.01 1.00 2/79 864
/proc/meminfo: memFree=1354616/2055920 swapFree=4143412/4192956
[pid=664] ppid=662 vsize=363012 CPUtime=1200.09
/proc/664/stat : 664 (MiraXTv2_dyn) S 662 664 32397 0 -1 4194304 89987 0 0 0 119935 74 0 0 25 0 2 0 336710308 371724288 87353 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/664/statm: 90753 87353 218 20 0 90111 0
[pid=664/tid=666] ppid=662 vsize=363012 CPUtime=1199.15
/proc/664/task/666/stat : 666 (MiraXTv2_dyn) R 662 664 32397 0 -1 4194368 83856 0 0 0 119844 71 0 0 25 0 2 0 336710402 371724288 87353 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134517942 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 363012
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.57
CPU time (s): 1200.16
CPU user time (s): 1199.36
CPU system time (s): 0.803877
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 363012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.36
system time used= 0.803877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89990
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= 13
involuntary context switches= 30045
runsolver used 1.35379 second user time and 3.04754 second system time
The end
Begin job on node16 on Fri May 11 12:52:07 UTC 2007
IDJOB= 329135
IDBENCH= 20532
IDSOLVER= 129
FILE ID= node16/329135-1178887926
PBS_JOBID= 5251067
Free space on /tmp= 66553 MiB
SOLVER NAME= MiraXT v2
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k50.cnf
COMMAND LINE= /tmp/evaluation/329135-1178887926/MiraXTv2_dyn /tmp/evaluation/329135-1178887926/instance-329135-1178887926.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-329135-1178887926 -o ROOT/results/node16/solver-329135-1178887926 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/329135-1178887926/MiraXTv2_dyn /tmp/evaluation/329135-1178887926/instance-329135-1178887926.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 18bfff146478ee5369d7f8a59c6fe709
RANDOM SEED= 521372704
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node16.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1704224 kB
Buffers: 48740 kB
Cached: 211152 kB
SwapCached: 18024 kB
Active: 171528 kB
Inactive: 116976 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1704224 kB
SwapTotal: 4192956 kB
SwapFree: 4143412 kB
Dirty: 7528 kB
Writeback: 0 kB
Mapped: 33632 kB
Slab: 48668 kB
Committed_AS: 14249784 kB
PageTables: 1848 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66553 MiB
End job on node16 on Fri May 11 13:12:09 UTC 2007