runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-321091-1176326594 -o ROOT/results/node38/solver-321091-1176326594 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/321091-1176326594/dewSatz /tmp/evaluation/321091-1176326594/instance-321091-1176326594.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: 0.99 0.97 0.91 3/64 7792
/proc/meminfo: memFree=1803840/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=690016 CPUtime=0
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 109 0 0 0 0 0 0 0 18 0 1 0 64826073 706576384 93 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134520148 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 172504 95 39 100 0 172401 0
[startup+0.101601 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 7792
/proc/meminfo: memFree=1803840/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=691600 CPUtime=0.09
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 732 0 0 0 9 0 0 0 18 0 1 0 64826073 708198400 716 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134594829 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 172900 716 39 100 0 172797 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 691600
[startup+0.20162 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 7792
/proc/meminfo: memFree=1803840/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=693184 CPUtime=0.19
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 1352 0 0 0 19 0 0 0 18 0 1 0 64826073 709820416 1336 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134574791 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 173296 1336 39 100 0 173193 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 693184
[startup+0.301639 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 7792
/proc/meminfo: memFree=1803840/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=694900 CPUtime=0.29
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 1978 0 0 0 28 1 0 0 19 0 1 0 64826073 711577600 1962 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134574791 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 173725 1962 39 100 0 173622 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 694900
[startup+0.701715 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 7792
/proc/meminfo: memFree=1803840/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=704244 CPUtime=0.69
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 15404 0 0 0 66 3 0 0 22 0 1 0 64826073 721145856 5300 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134515338 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 176061 5300 40 100 0 175958 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 704244
[startup+1.50187 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1780920/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=705272 CPUtime=1.49
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 15958 0 0 0 146 3 0 0 25 0 1 0 64826073 722198528 5728 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134515425 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 176318 5728 40 100 0 176215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 705272
[startup+3.10118 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1778744/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=709056 CPUtime=3.09
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 17068 0 0 0 305 4 0 0 25 0 1 0 64826073 726073344 6797 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517801 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 177264 6797 40 100 0 177161 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 709056
[startup+6.30179 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1774904/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=710720 CPUtime=6.29
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 17557 0 0 0 625 4 0 0 25 0 1 0 64826073 727777280 7264 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134520915 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 177680 7264 40 100 0 177577 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 710720
[startup+12.702 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1771320/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=715264 CPUtime=12.68
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 19078 0 0 0 1264 4 0 0 25 0 1 0 64826073 732430336 8648 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134515390 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 178816 8648 40 100 0 178713 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 715264
[startup+25.5015 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1764216/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=719320 CPUtime=25.48
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 20372 0 0 0 2543 5 0 0 25 0 1 0 64826073 736583680 9886 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517327 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 179830 9886 40 100 0 179727 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 719320
[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1759224/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=723436 CPUtime=51.08
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 21681 0 0 0 5102 6 0 0 25 0 1 0 64826073 740798464 11138 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517972 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 180859 11138 40 100 0 180756 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 723436
[startup+102.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1754040/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=727544 CPUtime=102.26
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 23040 0 0 0 10219 7 0 0 25 0 1 0 64826073 745005056 12434 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517188 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 181886 12434 40 100 0 181783 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 727544
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1750712/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=730264 CPUtime=162.23
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 23907 0 0 0 16215 8 0 0 25 0 1 0 64826073 747790336 13262 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517188 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 182566 13262 40 100 0 182463 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 730264
[startup+222.304 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1748792/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=731716 CPUtime=222.22
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 24411 0 0 0 22213 9 0 0 25 0 1 0 64826073 749277184 13743 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517339 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 182929 13743 40 100 0 182826 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 731716
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1747576/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=732740 CPUtime=282.19
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 24735 0 0 0 28210 9 0 0 25 0 1 0 64826073 750325760 14053 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517188 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 183185 14053 40 100 0 183082 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 732740
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1745720/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=734312 CPUtime=342.17
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 25208 0 0 0 34208 9 0 0 25 0 1 0 64826073 751935488 14505 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517253 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 183578 14505 40 100 0 183475 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 734312
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1744120/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=735612 CPUtime=402.15
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 25624 0 0 0 40205 10 0 0 25 0 1 0 64826073 753266688 14902 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517614 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 183903 14902 40 100 0 183800 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 735612
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1742200/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=737140 CPUtime=462.13
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 26102 0 0 0 46203 10 0 0 25 0 1 0 64826073 754831360 15361 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517221 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 184285 15361 40 100 0 184182 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 737140
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1741688/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=737436 CPUtime=522.11
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 26229 0 0 0 52200 11 0 0 25 0 1 0 64826073 755134464 15483 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517221 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 184359 15483 40 100 0 184256 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 737436
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1740664/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=738340 CPUtime=582.09
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 26495 0 0 0 58198 11 0 0 25 0 1 0 64826073 756060160 15737 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517260 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 184585 15737 40 100 0 184482 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 738340
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1740152/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=738756 CPUtime=642.07
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 26624 0 0 0 64196 11 0 0 25 0 1 0 64826073 756486144 15860 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517191 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 184689 15860 40 100 0 184586 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 738756
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1739512/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=739300 CPUtime=702.05
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 26789 0 0 0 70194 11 0 0 25 0 1 0 64826073 757043200 16019 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517289 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 184825 16019 40 100 0 184722 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 739300
[startup+762.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1739128/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=739568 CPUtime=762.03
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 26880 0 0 0 76192 11 0 0 25 0 1 0 64826073 757317632 16106 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517291 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 184892 16106 40 100 0 184789 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 739568
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1738808/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=739716 CPUtime=822.01
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 26947 0 0 0 82189 12 0 0 25 0 1 0 64826073 757469184 16170 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517188 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 184929 16170 40 100 0 184826 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 739716
[startup+882.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1738168/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=740268 CPUtime=881.99
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 27102 0 0 0 88187 12 0 0 25 0 1 0 64826073 758034432 16318 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517964 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 185067 16318 40 100 0 184964 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 740268
[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1737464/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=740828 CPUtime=941.96
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 27299 0 0 0 94184 12 0 0 25 0 1 0 64826073 758607872 16507 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517964 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 185207 16507 40 100 0 185104 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 740828
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1736952/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=741384 CPUtime=1001.94
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 27447 0 0 0 100182 12 0 0 25 0 1 0 64826073 759177216 16649 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517188 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 185346 16649 40 100 0 185243 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 741384
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1736312/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=741824 CPUtime=1061.93
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 27621 0 0 0 106180 13 0 0 25 0 1 0 64826073 759627776 16814 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517188 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 185456 16814 40 100 0 185353 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 741824
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1735736/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=742268 CPUtime=1121.9
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 27771 0 0 0 112177 13 0 0 25 0 1 0 64826073 760082432 16958 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517224 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 185567 16958 40 100 0 185464 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 742268
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1735416/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=742540 CPUtime=1181.88
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 27846 0 0 0 118175 13 0 0 25 0 1 0 64826073 760360960 17030 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517387 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 185635 17030 40 100 0 185532 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 742540
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 7793
/proc/meminfo: memFree=1735288/2055920 swapFree=4192812/4192956
[pid=7792] ppid=7790 vsize=742672 CPUtime=1200.08
/proc/7792/stat : 7792 (dewSatz) R 7790 7792 6044 0 -1 4194304 27871 0 0 0 119995 13 0 0 25 0 1 0 64826073 760496128 17054 18446744073709551615 134512640 134923568 4294956592 18446744073709551615 134517188 0 0 4096 0 0 0 0 17 1 0 0
/proc/7792/statm: 185668 17054 40 100 0 185565 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 742672
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.52
CPU time (s): 1200.11
CPU user time (s): 1199.95
CPU system time (s): 0.150977
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 742672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.95
system time used= 0.150977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27871
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= 6
involuntary context switches= 2720
runsolver used 0.874867 second user time and 2.41763 second system time
The end
Begin job on node38 on Wed Apr 11 21:23:14 UTC 2007
IDJOB= 321091
IDBENCH= 20519
IDSOLVER= 119
FILE ID= node38/321091-1176326594
PBS_JOBID= 4516695
Free space on /tmp= 66558 MiB
SOLVER NAME= DEWSATZ 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/babic/xinetd/itox_vc979.cnf
COMMAND LINE= /tmp/evaluation/321091-1176326594/dewSatz /tmp/evaluation/321091-1176326594/instance-321091-1176326594.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-321091-1176326594 -o ROOT/results/node38/solver-321091-1176326594 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/321091-1176326594/dewSatz /tmp/evaluation/321091-1176326594/instance-321091-1176326594.cnf
META MD5SUM SOLVER= 96edd87e369231aed4bad098c50e0080
MD5SUM BENCH= 0ebda2525041210e494c68044b8ad9a6
RANDOM SEED= 304381328
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node38.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.263
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.263
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: 1804248 kB
Buffers: 7504 kB
Cached: 131284 kB
SwapCached: 0 kB
Active: 69152 kB
Inactive: 96432 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1804248 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7148 kB
Writeback: 0 kB
Mapped: 36952 kB
Slab: 72008 kB
Committed_AS: 135276 kB
PageTables: 1512 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= 66558 MiB
End job on node38 on Wed Apr 11 21:43:17 UTC 2007