runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-297561-1178827301 -o ROOT/results/node13/solver-297561-1178827301 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/297561-1178827301/MiraXTv2_dyn /tmp/evaluation/297561-1178827301/instance-297561-1178827301.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.84 1.83 1.50 3/83 10296
/proc/meminfo: memFree=1831712/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=3920 CPUtime=0
/proc/10296/stat : 10296 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194304 307 0 0 0 0 0 0 0 18 0 1 0 330647969 4014080 282 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 12314235 0 0 4096 0 0 0 0 17 0 0 0
/proc/10296/statm: 980 283 206 20 0 338 0
[startup+0.085208 s]
/proc/loadavg: 1.84 1.83 1.50 3/83 10296
/proc/meminfo: memFree=1831712/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=4872 CPUtime=0.07
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 493 0 0 0 7 0 0 0 18 0 2 0 330647969 4988928 468 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 1218 468 218 20 0 576 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4872
[startup+0.101209 s]
/proc/loadavg: 1.84 1.83 1.50 3/83 10296
/proc/meminfo: memFree=1831712/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=4872 CPUtime=0.09
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 511 0 0 0 9 0 0 0 18 0 2 0 330647969 4988928 486 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 1218 486 218 20 0 576 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4872
[startup+0.301253 s]
/proc/loadavg: 1.84 1.83 1.50 3/83 10296
/proc/meminfo: memFree=1831712/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=6264 CPUtime=0.29
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 714 0 0 0 29 0 0 0 18 0 2 0 330647969 6414336 689 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 1566 689 218 20 0 924 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6264
[startup+0.701338 s]
/proc/loadavg: 1.84 1.83 1.50 3/83 10296
/proc/meminfo: memFree=1831712/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=7400 CPUtime=0.69
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 1024 0 0 0 69 0 0 0 18 0 2 0 330647969 7577600 999 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 1850 999 218 20 0 1208 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7400
[startup+1.50151 s]
/proc/loadavg: 1.84 1.83 1.50 2/85 10298
/proc/meminfo: memFree=1827600/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=8772 CPUtime=1.49
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 1372 0 0 0 149 0 0 0 18 0 2 0 330647969 8982528 1347 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 2193 1347 218 20 0 1551 0
[pid=10296/tid=10298] ppid=10294 vsize=8772 CPUtime=1.48
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 1019 0 0 0 148 0 0 0 25 0 2 0 330647971 8982528 1347 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526342 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8772
[startup+3.10285 s]
/proc/loadavg: 1.84 1.83 1.50 2/85 10298
/proc/meminfo: memFree=1826128/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=11316 CPUtime=3.09
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 2006 0 0 0 308 1 0 0 18 0 2 0 330647969 11587584 1981 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 2829 1981 218 20 0 2187 0
[pid=10296/tid=10298] ppid=10294 vsize=11316 CPUtime=3.08
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 1653 0 0 0 307 1 0 0 25 0 2 0 330647971 11587584 1981 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526691 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11316
[startup+6.30153 s]
/proc/loadavg: 1.77 1.81 1.50 2/85 10302
/proc/meminfo: memFree=1821648/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=13764 CPUtime=6.29
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 2683 0 0 0 627 2 0 0 18 0 2 0 330647969 14094336 2622 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 3441 2622 218 20 0 2799 0
[pid=10296/tid=10298] ppid=10294 vsize=13764 CPUtime=6.28
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 2330 0 0 0 627 1 0 0 25 0 2 0 330647971 14094336 2622 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526703 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13764
[startup+12.7019 s]
/proc/loadavg: 1.71 1.80 1.50 2/85 10306
/proc/meminfo: memFree=1816160/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=19752 CPUtime=12.67
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 4311 0 0 0 1263 4 0 0 18 0 2 0 330647969 20226048 4165 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 4938 4165 218 20 0 4296 0
[pid=10296/tid=10298] ppid=10294 vsize=19752 CPUtime=12.66
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 3958 0 0 0 1263 3 0 0 25 0 2 0 330647971 20226048 4165 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526308 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 19752
[startup+25.5016 s]
/proc/loadavg: 1.55 1.76 1.49 2/79 10328
/proc/meminfo: memFree=1811544/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=24916 CPUtime=25.46
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 5815 0 0 0 2540 6 0 0 18 0 2 0 330647969 25513984 5440 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 6229 5440 218 20 0 5587 0
[pid=10296/tid=10298] ppid=10294 vsize=24916 CPUtime=25.46
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 5462 0 0 0 2540 6 0 0 25 0 2 0 330647971 25513984 5440 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526461 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 24916
[startup+51.1011 s]
/proc/loadavg: 1.36 1.70 1.47 2/79 10328
/proc/meminfo: memFree=1809056/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=27508 CPUtime=51.05
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 6846 0 0 0 5098 7 0 0 18 0 2 0 330647969 28168192 6068 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 6877 6068 218 20 0 6235 0
[pid=10296/tid=10298] ppid=10294 vsize=27508 CPUtime=51.04
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 6493 0 0 0 5097 7 0 0 25 0 2 0 330647971 28168192 6068 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 27508
[startup+102.306 s]
/proc/loadavg: 1.16 1.59 1.45 2/79 10328
/proc/meminfo: memFree=1805600/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=30824 CPUtime=102.2
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 8330 0 0 0 10212 8 0 0 18 0 2 0 330647969 31563776 6903 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 7706 6903 218 20 0 7064 0
[pid=10296/tid=10298] ppid=10294 vsize=30824 CPUtime=102.2
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 7977 0 0 0 10212 8 0 0 25 0 2 0 330647971 31563776 6903 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 30824
[startup+162.302 s]
/proc/loadavg: 1.06 1.48 1.42 2/79 10328
/proc/meminfo: memFree=1804256/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=31820 CPUtime=162.16
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 9385 0 0 0 16207 9 0 0 18 0 2 0 330647969 32583680 7202 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 7955 7202 218 20 0 7313 0
[pid=10296/tid=10298] ppid=10294 vsize=31820 CPUtime=162.16
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 9032 0 0 0 16207 9 0 0 25 0 2 0 330647971 32583680 7202 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526301 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 31820
[startup+222.302 s]
/proc/loadavg: 1.02 1.39 1.39 2/79 10328
/proc/meminfo: memFree=1803488/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=32776 CPUtime=222.12
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 10417 0 0 0 22202 10 0 0 18 0 2 0 330647969 33562624 7452 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 8194 7452 218 20 0 7552 0
[pid=10296/tid=10298] ppid=10294 vsize=32776 CPUtime=222.1
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 10064 0 0 0 22201 9 0 0 25 0 2 0 330647971 33562624 7452 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134520286 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 32776
[startup+282.301 s]
/proc/loadavg: 1.00 1.31 1.36 2/79 10328
/proc/meminfo: memFree=1802464/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=33992 CPUtime=282.07
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 11551 0 0 0 28197 10 0 0 18 0 2 0 330647969 34807808 7694 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 8498 7694 218 20 0 7856 0
[pid=10296/tid=10298] ppid=10294 vsize=33992 CPUtime=282.06
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 11198 0 0 0 28196 10 0 0 25 0 2 0 330647971 34807808 7694 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526686 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 33992
[startup+342.301 s]
/proc/loadavg: 1.00 1.26 1.33 2/79 10328
/proc/meminfo: memFree=1801504/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=34972 CPUtime=342.03
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 12535 0 0 0 34192 11 0 0 18 0 2 0 330647969 35811328 7926 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 8743 7926 218 20 0 8101 0
[pid=10296/tid=10298] ppid=10294 vsize=34972 CPUtime=342.03
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 12182 0 0 0 34192 11 0 0 25 0 2 0 330647971 35811328 7926 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 34972
[startup+402.301 s]
/proc/loadavg: 1.00 1.21 1.31 2/79 10328
/proc/meminfo: memFree=1800672/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=35940 CPUtime=401.99
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 13447 0 0 0 40188 11 0 0 18 0 2 0 330647969 36802560 8157 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 8985 8157 218 20 0 8343 0
[pid=10296/tid=10298] ppid=10294 vsize=35940 CPUtime=401.98
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 13094 0 0 0 40187 11 0 0 25 0 2 0 330647971 36802560 8157 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526473 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 35940
[startup+462.302 s]
/proc/loadavg: 1.00 1.17 1.29 2/79 10328
/proc/meminfo: memFree=1800288/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=36508 CPUtime=461.95
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 14253 0 0 0 46183 12 0 0 18 0 2 0 330647969 37384192 8271 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 9127 8271 218 20 0 8485 0
[pid=10296/tid=10298] ppid=10294 vsize=36508 CPUtime=461.94
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 13900 0 0 0 46183 11 0 0 25 0 2 0 330647971 37384192 8271 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526272 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 461.95
Current children cumulated vsize (KiB) 36508
[startup+522.302 s]
/proc/loadavg: 1.00 1.13 1.27 2/79 10328
/proc/meminfo: memFree=1800032/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=36804 CPUtime=521.89
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 15132 0 0 0 52177 12 0 0 18 0 2 0 330647969 37687296 8357 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 9201 8357 218 20 0 8559 0
[pid=10296/tid=10298] ppid=10294 vsize=36804 CPUtime=521.89
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 14779 0 0 0 52177 12 0 0 25 0 2 0 330647971 37687296 8357 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526686 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 521.89
Current children cumulated vsize (KiB) 36804
[startup+582.302 s]
/proc/loadavg: 1.00 1.11 1.25 2/79 10328
/proc/meminfo: memFree=1799456/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=37360 CPUtime=581.86
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 16002 0 0 0 58173 13 0 0 18 0 2 0 330647969 38256640 8507 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 9340 8507 218 20 0 8698 0
[pid=10296/tid=10298] ppid=10294 vsize=37360 CPUtime=581.85
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 15649 0 0 0 58172 13 0 0 25 0 2 0 330647971 38256640 8507 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526691 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 581.86
Current children cumulated vsize (KiB) 37360
[startup+642.301 s]
/proc/loadavg: 1.00 1.08 1.23 2/79 10328
/proc/meminfo: memFree=1798880/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=37800 CPUtime=641.82
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 16883 0 0 0 64168 14 0 0 18 0 2 0 330647969 38707200 8656 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 9450 8656 218 20 0 8808 0
[pid=10296/tid=10298] ppid=10294 vsize=37800 CPUtime=641.8
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 16530 0 0 0 64167 13 0 0 25 0 2 0 330647971 38707200 8656 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 641.82
Current children cumulated vsize (KiB) 37800
[startup+702.301 s]
/proc/loadavg: 1.00 1.07 1.21 2/79 10328
/proc/meminfo: memFree=1798240/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=38216 CPUtime=701.77
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 17737 0 0 0 70163 14 0 0 18 0 2 0 330647969 39133184 8768 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 9554 8768 218 20 0 8912 0
[pid=10296/tid=10298] ppid=10294 vsize=38216 CPUtime=701.76
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 17384 0 0 0 70162 14 0 0 25 0 2 0 330647971 39133184 8768 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526293 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 701.77
Current children cumulated vsize (KiB) 38216
[startup+762.306 s]
/proc/loadavg: 1.00 1.05 1.20 2/79 10328
/proc/meminfo: memFree=1797856/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=38648 CPUtime=761.74
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 18600 0 0 0 76159 15 0 0 18 0 2 0 330647969 39575552 8877 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 9662 8877 218 20 0 9020 0
[pid=10296/tid=10298] ppid=10294 vsize=38648 CPUtime=761.72
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 18247 0 0 0 76158 14 0 0 25 0 2 0 330647971 39575552 8877 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 761.74
Current children cumulated vsize (KiB) 38648
[startup+822.302 s]
/proc/loadavg: 1.00 1.04 1.18 2/79 10328
/proc/meminfo: memFree=1797664/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=38804 CPUtime=821.67
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 19416 0 0 0 82152 15 0 0 18 0 2 0 330647969 39735296 8930 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 9701 8930 218 20 0 9059 0
[pid=10296/tid=10298] ppid=10294 vsize=38804 CPUtime=821.67
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 19063 0 0 0 82152 15 0 0 25 0 2 0 330647971 39735296 8930 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 821.67
Current children cumulated vsize (KiB) 38804
[startup+882.303 s]
/proc/loadavg: 1.00 1.03 1.17 2/79 10328
/proc/meminfo: memFree=1797344/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=39264 CPUtime=881.64
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 20193 0 0 0 88148 16 0 0 18 0 2 0 330647969 40206336 9033 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 9816 9033 218 20 0 9174 0
[pid=10296/tid=10298] ppid=10294 vsize=39264 CPUtime=881.63
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 19840 0 0 0 88147 16 0 0 25 0 2 0 330647971 40206336 9033 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 881.64
Current children cumulated vsize (KiB) 39264
[startup+942.301 s]
/proc/loadavg: 1.00 1.02 1.16 2/79 10328
/proc/meminfo: memFree=1797216/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=39432 CPUtime=941.58
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 21026 0 0 0 94142 16 0 0 18 0 2 0 330647969 40378368 9088 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 9858 9088 218 20 0 9216 0
[pid=10296/tid=10298] ppid=10294 vsize=39432 CPUtime=941.57
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 20673 0 0 0 94141 16 0 0 25 0 2 0 330647971 40378368 9088 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526473 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 941.58
Current children cumulated vsize (KiB) 39432
[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.14 2/79 10328
/proc/meminfo: memFree=1797024/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=39572 CPUtime=1001.54
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 21729 0 0 0 100137 17 0 0 18 0 2 0 330647969 40521728 9103 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 9893 9103 218 20 0 9251 0
[pid=10296/tid=10298] ppid=10294 vsize=39572 CPUtime=1001.53
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 21376 0 0 0 100136 17 0 0 25 0 2 0 330647971 40521728 9103 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526413 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1001.54
Current children cumulated vsize (KiB) 39572
[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.13 2/79 10328
/proc/meminfo: memFree=1796832/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=40360 CPUtime=1061.49
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 22478 0 0 0 106132 17 0 0 18 0 2 0 330647969 41328640 9159 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 10090 9159 218 20 0 9448 0
[pid=10296/tid=10298] ppid=10294 vsize=40360 CPUtime=1061.49
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 22125 0 0 0 106132 17 0 0 25 0 2 0 330647971 41328640 9159 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1061.49
Current children cumulated vsize (KiB) 40360
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/79 10328
/proc/meminfo: memFree=1796704/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=40492 CPUtime=1121.46
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 23304 0 0 0 112128 18 0 0 18 0 2 0 330647969 41463808 9185 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 10123 9185 218 20 0 9481 0
[pid=10296/tid=10298] ppid=10294 vsize=40492 CPUtime=1121.44
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 22951 0 0 0 112127 17 0 0 25 0 2 0 330647971 41463808 9185 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1121.46
Current children cumulated vsize (KiB) 40492
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/79 10328
/proc/meminfo: memFree=1796512/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=40664 CPUtime=1181.41
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 24058 0 0 0 118123 18 0 0 18 0 2 0 330647969 41639936 9232 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 10166 9232 218 20 0 9524 0
[pid=10296/tid=10298] ppid=10294 vsize=40664 CPUtime=1181.4
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 23705 0 0 0 118122 18 0 0 25 0 2 0 330647971 41639936 9232 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1181.41
Current children cumulated vsize (KiB) 40664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.9 s]
/proc/loadavg: 1.00 1.00 1.11 2/79 10328
/proc/meminfo: memFree=1796448/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=40664 CPUtime=1200
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 24364 0 0 0 119982 18 0 0 18 0 2 0 330647969 41639936 9233 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 10166 9233 218 20 0 9524 0
[pid=10296/tid=10298] ppid=10294 vsize=40664 CPUtime=1200
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 24011 0 0 0 119982 18 0 0 25 0 2 0 330647971 41639936 9233 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134525941 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 40664
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.9 s]
/proc/loadavg: 1.00 1.00 1.11 2/79 10328
/proc/meminfo: memFree=1796448/2055920 swapFree=4159364/4192956
[pid=10296] ppid=10294 vsize=40664 CPUtime=1200
/proc/10296/stat : 10296 (MiraXTv2_dyn) S 10294 10296 8891 0 -1 4194304 24364 0 0 0 119982 18 0 0 18 0 2 0 330647969 41639936 9233 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/10296/statm: 10166 9233 218 20 0 9524 0
[pid=10296/tid=10298] ppid=10294 vsize=40664 CPUtime=1200
/proc/10296/task/10298/stat : 10298 (MiraXTv2_dyn) R 10294 10296 8891 0 -1 4194368 24011 0 0 0 119982 18 0 0 25 0 2 0 330647971 41639936 9233 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134525941 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 40664
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.92
CPU time (s): 1200.03
CPU user time (s): 1199.83
CPU system time (s): 0.19597
CPU usage (%): 99.9259
Max. virtual memory (cumulated for all children) (KiB): 40896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.83
system time used= 0.19597
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24364
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= 27272
runsolver used 1.3278 second user time and 3.05454 second system time
The end
Begin job on node13 on Thu May 10 20:01:41 UTC 2007
IDJOB= 297561
IDBENCH= 19964
IDSOLVER= 129
FILE ID= node13/297561-1178827301
PBS_JOBID= 5250971
Free space on /tmp= 66561 MiB
SOLVER NAME= MiraXT v2
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v550/unif-k3-r4.26-v550-c2343-S1073303884-15.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/297561-1178827301/MiraXTv2_dyn /tmp/evaluation/297561-1178827301/instance-297561-1178827301.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-297561-1178827301 -o ROOT/results/node13/solver-297561-1178827301 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/297561-1178827301/MiraXTv2_dyn /tmp/evaluation/297561-1178827301/instance-297561-1178827301.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 0577e850c93565cf0b1a3d4bebd7841c
RANDOM SEED= 995584792
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node13.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.259
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.259
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: 1832000 kB
Buffers: 38264 kB
Cached: 97896 kB
SwapCached: 12828 kB
Active: 97856 kB
Inactive: 62296 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1832000 kB
SwapTotal: 4192956 kB
SwapFree: 4159364 kB
Dirty: 3988 kB
Writeback: 0 kB
Mapped: 31320 kB
Slab: 48792 kB
Committed_AS: 9745996 kB
PageTables: 2116 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= 66561 MiB
End job on node13 on Thu May 10 20:21:44 UTC 2007