runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-320599-1173048237 -o ROOT/results/node15/solver-320599-1173048237 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/320599-1173048237/dewSatz /tmp/evaluation/320599-1173048237/instance-320599-1173048237.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.98 1.00 0.98 3/77 4574
/proc/meminfo: memFree=720520/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=690016 CPUtime=0
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 95 0 0 0 0 0 0 0 18 0 1 0 324778127 706576384 79 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134520265 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 172504 79 39 100 0 172401 0
[startup+0.0727169 s]
/proc/loadavg: 0.98 1.00 0.98 3/77 4574
/proc/meminfo: memFree=720520/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=691072 CPUtime=0.06
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 535 0 0 0 6 0 0 0 18 0 1 0 324778127 707657728 519 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134574791 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 172768 519 39 100 0 172665 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 691072
[startup+0.101721 s]
/proc/loadavg: 0.98 1.00 0.98 3/77 4574
/proc/meminfo: memFree=720520/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=691468 CPUtime=0.09
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 718 0 0 0 9 0 0 0 18 0 1 0 324778127 708063232 702 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134594829 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 172867 703 39 100 0 172764 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 691468
[startup+0.301756 s]
/proc/loadavg: 0.98 1.00 0.98 3/77 4574
/proc/meminfo: memFree=720520/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=694504 CPUtime=0.29
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 1965 0 0 0 27 2 0 0 19 0 1 0 324778127 711172096 1949 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134520276 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 173626 1949 39 100 0 173523 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 694504
[startup+0.701824 s]
/proc/loadavg: 0.98 1.00 0.98 3/77 4574
/proc/meminfo: memFree=720520/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=700576 CPUtime=0.69
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 4407 0 0 0 66 3 0 0 23 0 1 0 324778127 717389824 4391 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134574791 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 175144 4391 39 100 0 175041 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 700576
[startup+1.50196 s]
/proc/loadavg: 0.98 1.00 0.98 2/78 4575
/proc/meminfo: memFree=695680/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=728080 CPUtime=1.49
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 24377 0 0 0 140 9 0 0 25 0 1 0 324778127 745553920 13953 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134520619 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 182020 13953 40 100 0 181917 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 728080
[startup+3.10123 s]
/proc/loadavg: 0.98 1.00 0.98 2/78 4575
/proc/meminfo: memFree=663040/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=729628 CPUtime=3.09
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 24840 0 0 0 299 10 0 0 25 0 1 0 324778127 747139072 14375 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134520619 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 182407 14375 40 100 0 182304 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 729628
[startup+6.30178 s]
/proc/loadavg: 1.07 1.01 0.99 2/78 4575
/proc/meminfo: memFree=662216/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=730056 CPUtime=6.28
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 25107 0 0 0 618 10 0 0 25 0 1 0 324778127 747577344 14562 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134520619 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 182514 14562 40 100 0 182411 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 730056
[startup+12.7019 s]
/proc/loadavg: 1.06 1.01 0.99 2/78 4575
/proc/meminfo: memFree=659336/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=732872 CPUtime=12.68
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 25837 0 0 0 1258 10 0 0 25 0 1 0 324778127 750460928 15273 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134520619 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 183218 15273 40 100 0 183115 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 732872
[startup+25.5011 s]
/proc/loadavg: 1.05 1.01 0.99 2/78 4575
/proc/meminfo: memFree=659144/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=733156 CPUtime=25.48
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 25936 0 0 0 2537 11 0 0 25 0 1 0 324778127 750751744 15372 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134520619 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 183289 15372 40 100 0 183186 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 733156
[startup+51.1015 s]
/proc/loadavg: 1.03 1.01 0.99 2/78 4575
/proc/meminfo: memFree=658504/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=733860 CPUtime=51.07
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 26102 0 0 0 5096 11 0 0 25 0 1 0 324778127 751472640 15538 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134520619 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 183465 15538 40 100 0 183362 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 733860
[startup+102.305 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 4575
/proc/meminfo: memFree=657480/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=734844 CPUtime=102.26
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 26357 0 0 0 10214 12 0 0 25 0 1 0 324778127 752480256 15793 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134520619 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 183711 15793 40 100 0 183608 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 734844
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 4575
/proc/meminfo: memFree=656520/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=735828 CPUtime=162.23
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 26591 0 0 0 16211 12 0 0 25 0 1 0 324778127 753487872 16027 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134520619 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 183957 16027 40 100 0 183854 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 735828
[startup+222.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 4575
/proc/meminfo: memFree=655624/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=736672 CPUtime=222.22
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 26803 0 0 0 22208 14 0 0 25 0 1 0 324778127 754352128 16239 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134517221 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 184168 16239 40 100 0 184065 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 736672
[startup+282.301 s]
/proc/loadavg: 1.18 1.05 1.01 2/78 4575
/proc/meminfo: memFree=654920/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=737376 CPUtime=282.19
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 26991 0 0 0 28205 14 0 0 25 0 1 0 324778127 755073024 16427 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134517188 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 184344 16427 40 100 0 184241 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 737376
[startup+342.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/78 4575
/proc/meminfo: memFree=654152/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=738080 CPUtime=342.17
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 27161 0 0 0 34202 15 0 0 25 0 1 0 324778127 755793920 16597 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134515351 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 184520 16597 40 100 0 184417 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 738080
[startup+402.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 4575
/proc/meminfo: memFree=653576/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=738784 CPUtime=402.15
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 27317 0 0 0 40199 16 0 0 25 0 1 0 324778127 756514816 16753 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134517221 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 184696 16753 40 100 0 184593 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 738784
[startup+462.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 4575
/proc/meminfo: memFree=653000/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=739344 CPUtime=462.13
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 27462 0 0 0 46197 16 0 0 25 0 1 0 324778127 757088256 16898 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134520619 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 184836 16898 40 100 0 184733 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 739344
[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 4575
/proc/meminfo: memFree=652488/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=739908 CPUtime=522.11
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 27606 0 0 0 52194 17 0 0 25 0 1 0 324778127 757665792 17042 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134517219 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 184977 17042 40 100 0 184874 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 739908
[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 4575
/proc/meminfo: memFree=651976/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=740472 CPUtime=582.09
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 27738 0 0 0 58191 18 0 0 25 0 1 0 324778127 758243328 17174 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134517795 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 185118 17174 40 100 0 185015 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 740472
[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 4575
/proc/meminfo: memFree=651464/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=740892 CPUtime=642.07
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 27859 0 0 0 64189 18 0 0 25 0 1 0 324778127 758673408 17295 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134517188 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 185223 17295 40 100 0 185120 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 740892
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4575
/proc/meminfo: memFree=650952/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=741316 CPUtime=702.05
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 27974 0 0 0 70186 19 0 0 25 0 1 0 324778127 759107584 17410 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134517188 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 185329 17410 40 100 0 185226 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 741316
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4575
/proc/meminfo: memFree=650504/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=741736 CPUtime=762.03
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 28082 0 0 0 76183 20 0 0 25 0 1 0 324778127 759537664 17518 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134515361 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 185434 17518 40 100 0 185331 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 741736
[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4575
/proc/meminfo: memFree=650056/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=742160 CPUtime=822.01
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 28184 0 0 0 82181 20 0 0 25 0 1 0 324778127 759971840 17620 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134517188 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 185540 17620 40 100 0 185437 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 742160
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4575
/proc/meminfo: memFree=611144/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=766568 CPUtime=881.98
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 38495 0 0 0 88174 24 0 0 25 0 1 0 324778127 784965632 27326 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134532837 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 191642 27326 43 100 0 191539 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 766568
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4575
/proc/meminfo: memFree=610440/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=766568 CPUtime=941.97
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 38793 0 0 0 94172 25 0 0 25 0 1 0 324778127 784965632 27518 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134530215 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 191642 27518 43 100 0 191539 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 766568
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4575
/proc/meminfo: memFree=610120/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=766568 CPUtime=1001.94
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 38868 0 0 0 100169 25 0 0 25 0 1 0 324778127 784965632 27589 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134531650 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 191642 27589 43 100 0 191539 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 766568
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 4691
/proc/meminfo: memFree=608456/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=766568 CPUtime=1061.85
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 38996 0 0 0 106159 26 0 0 25 0 1 0 324778127 784965632 27717 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134531650 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 191642 27717 43 100 0 191539 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 766568
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4773
/proc/meminfo: memFree=608264/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=766568 CPUtime=1121.78
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 39324 0 0 0 112151 27 0 0 25 0 1 0 324778127 784965632 28028 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134531650 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 191642 28028 43 100 0 191539 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 766568
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4773
/proc/meminfo: memFree=606856/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=766568 CPUtime=1181.77
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 39687 0 0 0 118149 28 0 0 25 0 1 0 324778127 784965632 28390 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134532602 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 191642 28390 43 100 0 191539 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 766568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4773
/proc/meminfo: memFree=605256/2055920 swapFree=4191880/4192956
[pid=4574] ppid=4572 vsize=766568 CPUtime=1200.06
/proc/4574/stat : 4574 (dewSatz) R 4572 4574 4033 0 -1 4194304 40077 0 0 0 119978 28 0 0 25 0 1 0 324778127 784965632 28780 18446744073709551615 134512640 134923568 4294956704 18446744073709551615 134532087 0 0 4096 0 0 0 0 17 1 0 0
/proc/4574/statm: 191642 28780 43 100 0 191539 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 766568
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.63
CPU time (s): 1200.09
CPU user time (s): 1199.79
CPU system time (s): 0.301954
CPU usage (%): 99.9555
Max. virtual memory (cumulated for all children) (KiB): 766568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.79
system time used= 0.301954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40077
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= 20386
runsolver used 1.40079 second user time and 2.97455 second system time
The end
Begin job on node15 on Sun Mar 4 22:43:58 UTC 2007
IDJOB= 320599
IDBENCH= 20507
IDSOLVER= 119
FILE ID= node15/320599-1173048237
PBS_JOBID= 4012262
Free space on /tmp= 66464 MiB
SOLVER NAME= DEWSATZ 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/narain/clauses-4.cnf
COMMAND LINE= /tmp/evaluation/320599-1173048237/dewSatz /tmp/evaluation/320599-1173048237/instance-320599-1173048237.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-320599-1173048237 -o ROOT/results/node15/solver-320599-1173048237 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/320599-1173048237/dewSatz /tmp/evaluation/320599-1173048237/instance-320599-1173048237.cnf
META MD5SUM SOLVER= 96edd87e369231aed4bad098c50e0080
MD5SUM BENCH= 47aea57a75df97a09b0fd4dea46085be
RANDOM SEED= 477860279
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node15.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.276
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.276
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: 720928 kB
Buffers: 49020 kB
Cached: 1136560 kB
SwapCached: 408 kB
Active: 672644 kB
Inactive: 591564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 720928 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 19220 kB
Writeback: 0 kB
Mapped: 88420 kB
Slab: 56212 kB
Committed_AS: 1258664 kB
PageTables: 1844 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= 66464 MiB
End job on node15 on Sun Mar 4 23:04:00 UTC 2007