0.00/0.00 c Parsing...
0.00/0.43 c ==============================================================================
0.00/0.43 c | | ORIGINAL | LEARNT | |
0.00/0.43 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.43 c ==============================================================================
0.00/0.43 c | 0 | 564648 1317512 | 169394 0 0 nan | 0.000 % |
2.71/2.73 c | 0 | 423113 1189990 | -- 0 -- -- | -- | -141533/-127517
2.71/2.73 c ==============================================================================
2.71/2.73 c Result : #vars: 97638 #clauses: 423113 #literals: 1189990
2.71/2.73 c CPU time: 2.6 s
2.71/2.73 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1778992-1243518182/watcher-1778992-1243518182 -o /tmp/evaluation-result-1778992-1243518182/solver-1778992-1243518182 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1778992-1243518182.cnf aimd 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 4.07 4.49 4.54 3/96 2830
/proc/meminfo: memFree=2931400/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2416 CPUtime=0
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1105919431 2473984 274 4294967295 134512640 135169312 3214359744 3214358280 3085209326 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2830/statm: 604 274 231 161 0 43 0
[startup+0.086813 s]
/proc/loadavg: 4.07 4.49 4.54 3/96 2830
/proc/meminfo: memFree=2931400/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2416 CPUtime=0
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1105919431 2473984 274 4294967295 134512640 135169312 3214359744 3214358280 3085209326 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2830/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416
[startup+0.116811 s]
/proc/loadavg: 4.07 4.49 4.54 3/96 2830
/proc/meminfo: memFree=2931400/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2416 CPUtime=0
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1105919431 2473984 274 4294967295 134512640 135169312 3214359744 3214358280 3085209326 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2830/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416
[startup+0.316797 s]
/proc/loadavg: 4.07 4.49 4.54 3/96 2830
/proc/meminfo: memFree=2931400/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2416 CPUtime=0
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1105919431 2473984 274 4294967295 134512640 135169312 3214359744 3214358280 3085209326 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2830/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416
[startup+0.71677 s]
/proc/loadavg: 4.07 4.49 4.54 3/96 2830
/proc/meminfo: memFree=2931400/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2416 CPUtime=0
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1105919431 2473984 274 4294967295 134512640 135169312 3214359744 3214358280 3085209326 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2830/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416
[startup+1.51672 s]
/proc/loadavg: 4.07 4.49 4.54 2/98 2832
/proc/meminfo: memFree=2840380/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2416 CPUtime=0
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1105919431 2473984 274 4294967295 134512640 135169312 3214359744 3214358280 3085209326 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2830/statm: 604 274 231 161 0 43 0
[pid=2831] ppid=2830 vsize=102132 CPUtime=1.51
/proc/2831/stat : 2831 (SatElite) R 2830 2830 1628 0 -1 4202496 24509 0 0 0 138 13 0 0 20 0 1 0 1105919431 104583168 22848 4294967295 134512640 135034092 3214462112 3214458108 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2831/statm: 25533 22848 67 128 0 25403 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 104548
[startup+3.11661 s]
/proc/loadavg: 4.07 4.49 4.54 2/98 2832
/proc/meminfo: memFree=2830988/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2416 CPUtime=0
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1105919431 2473984 274 4294967295 134512640 135169312 3214359744 3214358280 3085209326 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2830/statm: 604 274 231 161 0 43 0
[pid=2831] ppid=2830 vsize=102876 CPUtime=3.11
/proc/2831/stat : 2831 (SatElite) R 2830 2830 1628 0 -1 4202496 25870 0 0 0 296 15 0 0 25 0 1 0 1105919431 105345024 23159 4294967295 134512640 135034092 3214462112 3214456996 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2831/statm: 25719 23159 67 128 0 25589 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 105292
[startup+6.3164 s]
/proc/loadavg: 4.06 4.48 4.54 6/101 2837
/proc/meminfo: memFree=2780808/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2420 CPUtime=3.23
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 369 25874 0 0 0 0 307 16 18 0 1 0 1105919431 2478080 275 4294967295 134512640 135169312 3214359744 3214355960 3085209326 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2830/statm: 605 275 231 161 0 44 0
[pid=2833] ppid=2830 vsize=171892 CPUtime=9.39
/proc/2833/stat : 2833 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202496 34722 0 0 0 888 51 0 0 16 0 4 0 1105919755 176017408 34598 4294967295 134512640 135305190 3216260736 3216258452 134840070 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/2833/statm: 42973 34598 79 194 0 42777 0
[pid=2833/tid=2835] ppid=2830 vsize=171892 CPUtime=2.12
/proc/2833/task/2835/stat : 2835 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 1181 0 0 0 203 9 0 0 15 0 4 0 1105919836 176017408 34598 4294967295 134512640 135305190 3216260736 3042364608 134528206 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=171892 CPUtime=2.18
/proc/2833/task/2836/stat : 2836 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 1251 0 0 0 208 10 0 0 16 0 4 0 1105919836 176017408 34598 4294967295 134512640 135305190 3216260736 3033975616 134551808 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2833/tid=2837] ppid=2830 vsize=171892 CPUtime=2.12
/proc/2833/task/2837/stat : 2837 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 1285 0 0 0 203 9 0 0 16 0 4 0 1105919836 176017408 34598 4294967295 134512640 135305190 3216260736 3025587392 134528837 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 174312
[startup+12.716 s]
/proc/loadavg: 4.14 4.49 4.54 7/101 2837
/proc/meminfo: memFree=2768684/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2420 CPUtime=3.23
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 369 25874 0 0 0 0 307 16 18 0 1 0 1105919431 2478080 275 4294967295 134512640 135169312 3214359744 3214355960 3085209326 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2830/statm: 605 275 231 161 0 44 0
[pid=2833] ppid=2830 vsize=182284 CPUtime=34.91
/proc/2833/stat : 2833 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202496 37155 0 0 0 3433 58 0 0 16 0 4 0 1105919755 186658816 37031 4294967295 134512640 135305190 3216260736 3216258664 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/2833/statm: 45571 37031 79 194 0 45375 0
[pid=2833/tid=2835] ppid=2830 vsize=182284 CPUtime=8.5
/proc/2833/task/2835/stat : 2835 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 1857 0 0 0 839 11 0 0 16 0 4 0 1105919836 186658816 37031 4294967295 134512640 135305190 3216260736 3042364272 134551978 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=182284 CPUtime=8.55
/proc/2833/task/2836/stat : 2836 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 1578 0 0 0 843 12 0 0 25 0 4 0 1105919836 186658816 37031 4294967295 134512640 135305190 3216260736 3033975616 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2833/tid=2837] ppid=2830 vsize=182284 CPUtime=8.51
/proc/2833/task/2837/stat : 2837 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 1799 0 0 0 841 10 0 0 18 0 4 0 1105919836 186658816 37031 4294967295 134512640 135305190 3216260736 3025587392 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38.14
Current children cumulated vsize (KiB) 184704
[startup+25.5151 s]
/proc/loadavg: 4.19 4.48 4.54 5/101 2850
/proc/meminfo: memFree=2754652/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2420 CPUtime=3.23
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 369 25874 0 0 0 0 307 16 18 0 1 0 1105919431 2478080 275 4294967295 134512640 135169312 3214359744 3214355960 3085209326 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2830/statm: 605 275 231 161 0 44 0
[pid=2833] ppid=2830 vsize=195040 CPUtime=86
/proc/2833/stat : 2833 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202496 40245 0 0 0 8541 59 0 0 25 0 4 0 1105919755 199720960 40121 4294967295 134512640 135305190 3216260736 3216258912 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/2833/statm: 48760 40121 79 194 0 48564 0
[pid=2833/tid=2835] ppid=2830 vsize=195040 CPUtime=21.26
/proc/2833/task/2835/stat : 2835 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 2604 0 0 0 2115 11 0 0 25 0 4 0 1105919836 199720960 40121 4294967295 134512640 135305190 3216260736 3042364608 134530638 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=195040 CPUtime=21.32
/proc/2833/task/2836/stat : 2836 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 1583 0 0 0 2120 12 0 0 25 0 4 0 1105919836 199720960 40121 4294967295 134512640 135305190 3216260736 3033975616 134551703 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2833/tid=2837] ppid=2830 vsize=195040 CPUtime=21.28
/proc/2833/task/2837/stat : 2837 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 3125 0 0 0 2117 11 0 0 25 0 4 0 1105919836 199720960 40121 4294967295 134512640 135305190 3216260736 3025587392 134528548 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 89.23
Current children cumulated vsize (KiB) 197460
[startup+51.1134 s]
/proc/loadavg: 4.18 4.45 4.53 5/101 3036
/proc/meminfo: memFree=2738288/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2420 CPUtime=3.23
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 369 25874 0 0 0 0 307 16 18 0 1 0 1105919431 2478080 275 4294967295 134512640 135169312 3214359744 3214355960 3085209326 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2830/statm: 605 275 231 161 0 44 0
[pid=2833] ppid=2830 vsize=210728 CPUtime=187.75
/proc/2833/stat : 2833 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202496 44262 0 0 0 18698 77 0 0 25 0 4 0 1105919755 215785472 44138 4294967295 134512640 135305190 3216260736 3216258616 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/2833/statm: 52682 44138 79 194 0 52486 0
[pid=2833/tid=2835] ppid=2830 vsize=210728 CPUtime=46.68
/proc/2833/task/2835/stat : 2835 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 3346 0 0 0 4650 18 0 0 25 0 4 0 1105919836 215785472 44138 4294967295 134512640 135305190 3216260736 3042364608 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=210728 CPUtime=46.72
/proc/2833/task/2836/stat : 2836 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 2029 0 0 0 4657 15 0 0 25 0 4 0 1105919836 215785472 44138 4294967295 134512640 135305190 3216260736 3033976000 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2833/tid=2837] ppid=2830 vsize=210728 CPUtime=46.69
/proc/2833/task/2837/stat : 2837 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 4800 0 0 0 4653 16 0 0 25 0 4 0 1105919836 215785472 44138 4294967295 134512640 135305190 3216260736 3025587392 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 190.98
Current children cumulated vsize (KiB) 213148
[startup+102.31 s]
/proc/loadavg: 4.23 4.43 4.51 5/101 3042
/proc/meminfo: memFree=2724164/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2420 CPUtime=3.23
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 369 25874 0 0 0 0 307 16 18 0 1 0 1105919431 2478080 275 4294967295 134512640 135169312 3214359744 3214355960 3085209326 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2830/statm: 605 275 231 161 0 44 0
[pid=2833] ppid=2830 vsize=226880 CPUtime=392.19
/proc/2833/stat : 2833 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202496 48059 0 0 0 39123 96 0 0 25 0 4 0 1105919755 232325120 47934 4294967295 134512640 135305190 3216260736 3216258628 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/2833/statm: 56720 47934 79 194 0 56524 0
[pid=2833/tid=2835] ppid=2830 vsize=226880 CPUtime=97.67
/proc/2833/task/2835/stat : 2835 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 4167 0 0 0 9745 22 0 0 25 0 4 0 1105919836 232325120 47934 4294967295 134512640 135305190 3216260736 3042364352 134541918 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=226880 CPUtime=97.92
/proc/2833/task/2836/stat : 2836 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 2574 0 0 0 9776 16 0 0 25 0 4 0 1105919836 232325120 47934 4294967295 134512640 135305190 3216260736 3033975616 134551919 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2833/tid=2837] ppid=2830 vsize=226880 CPUtime=97.86
/proc/2833/task/2837/stat : 2837 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 6206 0 0 0 9763 23 0 0 25 0 4 0 1105919836 232325120 47934 4294967295 134512640 135305190 3216260736 3025587392 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 395.42
Current children cumulated vsize (KiB) 229300
[startup+162.316 s]
/proc/loadavg: 4.14 4.36 4.48 5/101 3233
/proc/meminfo: memFree=2697452/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2420 CPUtime=3.23
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 369 25874 0 0 0 0 307 16 18 0 1 0 1105919431 2478080 275 4294967295 134512640 135169312 3214359744 3214355960 3085209326 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2830/statm: 605 275 231 161 0 44 0
[pid=2833] ppid=2830 vsize=253876 CPUtime=631.57
/proc/2833/stat : 2833 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202496 54635 0 0 0 63026 131 0 0 25 0 4 0 1105919755 259969024 54481 4294967295 134512640 135305190 3216260736 3216258912 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2833/statm: 63469 54481 79 194 0 63273 0
[pid=2833/tid=2835] ppid=2830 vsize=253876 CPUtime=157.61
/proc/2833/task/2835/stat : 2835 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 5400 0 0 0 15735 26 0 0 25 0 4 0 1105919836 259969024 54481 4294967295 134512640 135305190 3216260736 3042364608 134530561 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=253876 CPUtime=157.88
/proc/2833/task/2836/stat : 2836 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 4371 0 0 0 15760 28 0 0 25 0 4 0 1105919836 259969024 54481 4294967295 134512640 135305190 3216260736 3033975680 134554425 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2833/tid=2837] ppid=2830 vsize=253876 CPUtime=157.71
/proc/2833/task/2837/stat : 2837 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 8113 0 0 0 15741 30 0 0 25 0 4 0 1105919836 259969024 54481 4294967295 134512640 135305190 3216260736 3025587392 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 634.8
Current children cumulated vsize (KiB) 256296
[startup+222.312 s]
/proc/loadavg: 4.24 4.37 4.48 5/101 3435
/proc/meminfo: memFree=2665932/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2420 CPUtime=3.23
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 369 25874 0 0 0 0 307 16 18 0 1 0 1105919431 2478080 275 4294967295 134512640 135169312 3214359744 3214355960 3085209326 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2830/statm: 605 275 231 161 0 44 0
[pid=2833] ppid=2830 vsize=286872 CPUtime=870.95
/proc/2833/stat : 2833 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202496 62730 0 0 0 86938 157 0 0 25 0 4 0 1105919755 293756928 62576 4294967295 134512640 135305190 3216260736 3216258912 134528406 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2833/statm: 71718 62576 79 194 0 71522 0
[pid=2833/tid=2835] ppid=2830 vsize=286872 CPUtime=217.21
/proc/2833/task/2835/stat : 2835 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 6658 0 0 0 21691 30 0 0 25 0 4 0 1105919836 293756928 62576 4294967295 134512640 135305190 3216260736 3042364272 134551697 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=286872 CPUtime=217.87
/proc/2833/task/2836/stat : 2836 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 7826 0 0 0 21752 35 0 0 25 0 4 0 1105919836 293756928 62576 4294967295 134512640 135305190 3216260736 3033975616 134551659 0 0 0 3 0 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/2833/task/2837/stat : 2837 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 15289 0 0 0 51594 70 0 0 25 0 4 0 1105919836 368574464 80715 4294967295 134512640 135305190 3216260736 3025587388 134570423 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2070.8
Current children cumulated vsize (KiB) 362356
[startup+582.317 s]
/proc/loadavg: 4.45 4.43 4.45 6/101 4581
/proc/meminfo: memFree=2561052/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2420 CPUtime=3.23
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 369 25874 0 0 0 0 307 16 18 0 1 0 1105919431 2478080 275 4294967295 134512640 135169312 3214359744 3214355960 3085209326 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2830/statm: 605 275 231 161 0 44 0
[pid=2833] ppid=2830 vsize=390656 CPUtime=2306.86
/proc/2833/stat : 2833 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202496 88708 0 0 0 230390 296 0 0 25 0 4 0 1105919755 400031744 88554 4294967295 134512640 135305190 3216260736 3216258912 134528480 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2833/statm: 97664 88554 79 194 0 97468 0
[pid=2833/tid=2835] ppid=2830 vsize=390656 CPUtime=576.67
/proc/2833/task/2835/stat : 2835 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 11934 0 0 0 57613 54 0 0 25 0 4 0 1105919836 400031744 88554 4294967295 134512640 135305190 3216260736 3042364608 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=390656 CPUtime=577.17
/proc/2833/task/2836/stat : 2836 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 13810 0 0 0 57646 71 0 0 25 0 4 0 1105919836 400031744 88554 4294967295 134512640 135305190 3216260736 3033975680 134552926 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2833/tid=2837] ppid=2830 vsize=390656 CPUtime=576.42
/proc/2833/task/2837/stat : 2837 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 17237 0 0 0 57570 72 0 0 25 0 4 0 1105919836 400031744 88554 4294967295 134512640 135305190 3216260736 3025587056 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2310.09
Current children cumulated vsize (KiB) 393076
[startup+642.313 s]
/proc/loadavg: 4.27 4.39 4.44 6/101 4770
/proc/meminfo: memFree=2555348/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2420 CPUtime=3.23
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 369 25874 0 0 0 0 307 16 18 0 1 0 1105919431 2478080 275 4294967295 134512640 135169312 3214359744 3214355960 3085209326 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2830/statm: 605 275 231 161 0 44 0
[pid=2833] ppid=2830 vsize=397080 CPUtime=2545.94
/proc/2833/stat : 2833 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202496 90153 0 0 0 254277 317 0 0 25 0 4 0 1105919755 406609920 89999 4294967295 134512640 135305190 3216260736 3216258912 134528480 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2833/statm: 99270 89999 79 194 0 99074 0
[pid=2833/tid=2835] ppid=2830 vsize=397080 CPUtime=636.44
/proc/2833/task/2835/stat : 2835 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 12193 0 0 0 63587 57 0 0 25 0 4 0 1105919836 406609920 89999 4294967295 134512640 135305190 3216260736 3042364608 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=397080 CPUtime=636.97
/proc/2833/task/2836/stat : 2836 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 14437 0 0 0 63621 76 0 0 25 0 4 0 1105919836 406609920 89999 4294967295 134512640 135305190 3216260736 3033976000 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2833/tid=2837] ppid=2830 vsize=397080 CPUtime=636.31
/proc/2833/task/2837/stat : 2837 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 17562 0 0 0 63553 78 0 0 25 0 4 0 1105919836 406609920 89999 4294967295 134512640 135305190 3216260736 3025587120 134557325 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2549.17
Current children cumulated vsize (KiB) 399500
[startup+702.309 s]
/proc/loadavg: 4.64 4.48 4.46 5/101 4957
/proc/meminfo: memFree=2519504/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2420 CPUtime=3.23
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 369 25874 0 0 0 0 307 16 18 0 1 0 1105919431 2478080 275 4294967295 134512640 135169312 3214359744 3214355960 3085209326 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2830/statm: 605 275 231 161 0 44 0
[pid=2833] ppid=2830 vsize=434832 CPUtime=2785.48
/proc/2833/stat : 2833 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202496 99309 0 0 0 278205 343 0 0 25 0 4 0 1105919755 445267968 99155 4294967295 134512640 135305190 3216260736 3216258912 134528768 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2833/statm: 108708 99155 79 194 0 108512 0
[pid=2833/tid=2835] ppid=2830 vsize=434832 CPUtime=696.42
/proc/2833/task/2835/stat : 2835 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 14061 0 0 0 69580 62 0 0 25 0 4 0 1105919836 445267968 99155 4294967295 134512640 135305190 3216260736 3042364276 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=434832 CPUtime=696.92
/proc/2833/task/2836/stat : 2836 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 17250 0 0 0 69613 79 0 0 25 0 4 0 1105919836 445267968 99155 4294967295 134512640 135305190 3216260736 3033976000 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2833/tid=2837] ppid=2830 vsize=434832 CPUtime=696.21
/proc/2833/task/2837/stat : 2837 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 19857 0 0 0 69536 85 0 0 25 0 4 0 1105919836 445267968 99155 4294967295 134512640 135305190 3216260736 3025587392 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2788.71
Current children cumulated vsize (KiB) 437252
[startup+762.315 s]
/proc/loadavg: 4.57 4.49 4.47 6/101 5144
/proc/meminfo: memFree=2507336/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2420 CPUtime=3.23
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 369 25874 0 0 0 0 307 16 18 0 1 0 1105919431 2478080 275 4294967295 134512640 135169312 3214359744 3214355960 3085209326 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2830/statm: 605 275 231 161 0 44 0
[pid=2833] ppid=2830 vsize=445872 CPUtime=3025.03
/proc/2833/stat : 2833 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202496 102277 0 0 0 302128 375 0 0 25 0 4 0 1105919755 456572928 102123 4294967295 134512640 135305190 3216260736 3216258912 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2833/statm: 111468 102123 79 194 0 111272 0
[pid=2833/tid=2835] ppid=2830 vsize=445872 CPUtime=756.39
/proc/2833/task/2835/stat : 2835 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 14366 0 0 0 75570 69 0 0 25 0 4 0 1105919836 456572928 102123 4294967295 134512640 135305190 3216260736 3042364608 134528341 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=445872 CPUtime=756.88
/proc/2833/task/2836/stat : 2836 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 19009 0 0 0 75600 88 0 0 25 0 4 0 1105919836 456572928 102123 4294967295 134512640 135305190 3216260736 3033976000 134528536 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2833/tid=2837] ppid=2830 vsize=445872 CPUtime=755.95
/proc/2833/task/2837/stat : 2837 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 20368 0 0 0 75501 94 0 0 25 0 4 0 1105919836 456572928 102123 4294967295 134512640 135305190 3216260736 3025587056 134551729 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3028.26
Current children cumulated vsize (KiB) 448292
[startup+822.311 s]
/proc/loadavg: 4.40 4.47 4.46 5/101 5332
/proc/meminfo: memFree=2480328/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2420 CPUtime=3.23
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 369 25874 0 0 0 0 307 16 18 0 1 0 1105919431 2478080 275 4294967295 134512640 135169312 3214359744 3214355960 3085209326 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2830/statm: 605 275 231 161 0 44 0
[pid=2833] ppid=2830 vsize=472784 CPUtime=3264.53
/proc/2833/stat : 2833 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202496 108977 0 0 0 326056 397 0 0 25 0 4 0 1105919755 484130816 108823 4294967295 134512640 135305190 3216260736 3216258912 134528319 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2833/statm: 118196 108823 79 194 0 118000 0
[pid=2833/tid=2835] ppid=2830 vsize=472784 CPUtime=816.38
/proc/2833/task/2835/stat : 2835 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 15617 0 0 0 81566 72 0 0 25 0 4 0 1105919836 484130816 108823 4294967295 134512640 135305190 3216260736 3042364608 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=472784 CPUtime=816.6
/proc/2833/task/2836/stat : 2836 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 21222 0 0 0 81559 101 0 0 25 0 4 0 1105919836 484130816 108823 4294967295 134512640 135305190 3216260736 3033976000 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2833/tid=2837] ppid=2830 vsize=472784 CPUtime=815.86
/proc/2833/task/2837/stat : 2837 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 21959 0 0 0 81487 99 0 0 25 0 4 0 1105919836 484130816 108823 4294967295 134512640 135305190 3216260736 3025587120 134557370 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3267.76
Current children cumulated vsize (KiB) 475204
[startup+882.307 s]
/proc/loadavg: 4.37 4.46 4.45 5/101 5524
/proc/meminfo: memFree=2469664/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2420 CPUtime=3.23
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 369 25874 0 0 0 0 307 16 18 0 1 0 1105919431 2478080 275 4294967295 134512640 135169312 3214359744 3214355960 3085209326 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2830/statm: 605 275 231 161 0 44 0
[pid=2833] ppid=2830 vsize=484248 CPUtime=3503.93
/proc/2833/stat : 2833 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202496 111667 0 0 0 349977 416 0 0 25 0 4 0 1105919755 495869952 111513 4294967295 134512640 135305190 3216260736 3216258912 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/2833/statm: 121062 111513 79 194 0 120866 0
[pid=2833/tid=2835] ppid=2830 vsize=484248 CPUtime=876.31
/proc/2833/task/2835/stat : 2835 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 16203 0 0 0 87555 76 0 0 25 0 4 0 1105919836 495869952 111513 4294967295 134512640 135305190 3216260736 3042364608 134528872 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=484248 CPUtime=876.51
/proc/2833/task/2836/stat : 2836 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 22794 0 0 0 87544 107 0 0 25 0 4 0 1105919836 495869952 111513 4294967295 134512640 135305190 3216260736 3033975680 134553384 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2833/tid=2837] ppid=2830 vsize=484248 CPUtime=875.74
/proc/2833/task/2837/stat : 2837 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 22342 0 0 0 87470 104 0 0 25 0 4 0 1105919836 495869952 111513 4294967295 134512640 135305190 3216260736 3025587392 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3507.16
Current children cumulated vsize (KiB) 486668
[startup+942.303 s]
/proc/loadavg: 4.46 4.48 4.45 6/101 5713
/proc/meminfo: memFree=2460240/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2420 CPUtime=3.23
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 369 25874 0 0 0 0 307 16 18 0 1 0 1105919431 2478080 275 4294967295 134512640 135169312 3214359744 3214355960 3085209326 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2830/statm: 605 275 231 161 0 44 0
[pid=2833] ppid=2830 vsize=493264 CPUtime=3743.31
/proc/2833/stat : 2833 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202496 113966 0 0 0 373900 431 0 0 25 0 4 0 1105919755 505102336 113812 4294967295 134512640 135305190 3216260736 3216258912 134530721 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2833/statm: 123316 113812 79 194 0 123120 0
[pid=2833/tid=2835] ppid=2830 vsize=493264 CPUtime=936.27
/proc/2833/task/2835/stat : 2835 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 16363 0 0 0 93548 79 0 0 25 0 4 0 1105919836 505102336 113812 4294967295 134512640 135305190 3216260736 3042364360 134839991 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=493264 CPUtime=936.45
/proc/2833/task/2836/stat : 2836 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 24164 0 0 0 93534 111 0 0 25 0 4 0 1105919836 505102336 113812 4294967295 134512640 135305190 3216260736 3033976000 134528576 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2833/tid=2837] ppid=2830 vsize=493264 CPUtime=935.34
/proc/2833/task/2837/stat : 2837 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 22898 0 0 0 93423 111 0 0 25 0 4 0 1105919836 505102336 113812 4294967295 134512640 135305190 3216260736 3025587392 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3746.54
Current children cumulated vsize (KiB) 495684
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.41 4.45 4.45 5/101 5899
/proc/meminfo: memFree=2427968/3368532 swapFree=1954076/1959888
[pid=2830] ppid=2828 vsize=2420 CPUtime=3.23
/proc/2830/stat : 2830 (manysat.sh) S 2828 2830 1628 0 -1 4194304 369 25874 0 0 0 0 307 16 18 0 1 0 1105919431 2478080 275 4294967295 134512640 135169312 3214359744 3214355960 3085209326 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2830/statm: 605 275 231 161 0 44 0
[pid=2833] ppid=2830 vsize=524976 CPUtime=3973.71
/proc/2833/stat : 2833 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202496 122028 0 0 0 396915 456 0 0 25 0 4 0 1105919755 537575424 121874 4294967295 134512640 135305190 3216260736 3216258912 134528503 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/2833/statm: 131244 121874 79 194 0 131048 0
[pid=2833/tid=2835] ppid=2830 vsize=524976 CPUtime=993.85
/proc/2833/task/2835/stat : 2835 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 17680 0 0 0 99302 83 0 0 25 0 4 0 1105919836 537575424 121874 4294967295 134512640 135305190 3216260736 3042364608 134528548 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=2833/tid=2836] ppid=2830 vsize=524976 CPUtime=994.14
/proc/2833/task/2836/stat : 2836 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 27422 0 0 0 99294 120 0 0 25 0 4 0 1105919836 537575424 121874 4294967295 134512640 135305190 3216260736 3033975944 134840070 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2833/tid=2837] ppid=2830 vsize=524976 CPUtime=992.95
/proc/2833/task/2837/stat : 2837 (manysat1.1_stat) R 2830 2830 1628 0 -1 4202560 24815 0 0 0 99177 118 0 0 25 0 4 0 1105919836 537575424 121874 4294967295 134512640 135305190 3216260736 3025587392 134528837 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3976.94
Current children cumulated vsize (KiB) 527396
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)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2830 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=70000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=160000
# CPU time returned by wait4() is 3.23
# while last known CPU time is 3976.94
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.05
CPU time (s): 3976.94
CPU user time (s): 3972.22
CPU system time (s): 4.72
CPU usage (%): 397.675
Max. virtual memory (cumulated for all children) (KiB): 527396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.07
system time used= 0.16
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26243
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= 8
runsolver used 0 second user time and 0 second system time
The end
Begin job on tipi44 at 2009-05-28 15:43:02
IDJOB=1778992
IDBENCH=70789
IDSOLVER=626
FILE ID=tipi44/1778992-1243518182
PBS_JOBID=
Free space on /tmp= 15884 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/smulo/smulo128.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1778992-1243518182/watcher-1778992-1243518182 -o /tmp/evaluation-result-1778992-1243518182/solver-1778992-1243518182 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1778992-1243518182.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= c5685247c8f21e8da88f42049fffdb13
RANDOM SEED= 1810008608
Linux tipi44 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.42
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.10
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.16
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 2931400 kB
Buffers: 140656 kB
Cached: 189068 kB
SwapCached: 2180 kB
Active: 114372 kB
Inactive: 225232 kB
HighTotal: 2489216 kB
HighFree: 2288244 kB
LowTotal: 879316 kB
LowFree: 643156 kB
SwapTotal: 1959888 kB
SwapFree: 1954076 kB
Dirty: 11656 kB
Writeback: 0 kB
AnonPages: 8940 kB
Mapped: 3316 kB
Slab: 87576 kB
SReclaimable: 77232 kB
SUnreclaim: 10344 kB
PageTables: 492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88084 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15868 MiB
End job on tipi44 at 2009-05-28 15:59:45