0.00/0.00 c Parsing...
0.92/0.94 c ==============================================================================
0.92/0.94 c | | ORIGINAL | LEARNT | |
0.92/0.94 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.92/0.94 c ==============================================================================
0.92/0.94 c | 0 | 1214401 2831586 | 364320 0 0 nan | 0.000 % |
6.72/6.75 c | 0 | 540614 1448055 | -- 0 -- -- | -- | -422902/-817661
6.72/6.75 c ==============================================================================
6.72/6.75 c Result : #vars: 89502 #clauses: 540614 #literals: 1448055
6.72/6.75 c CPU time: 6.53 s
6.72/6.75 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775764-1243501640/watcher-1775764-1243501640 -o /tmp/evaluation-result-1775764-1243501640/solver-1775764-1243501640 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775764-1243501640.cnf aimd 1
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.09 4.42 4.38 4/99 8939
/proc/meminfo: memFree=3144252/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2416 CPUtime=0
/proc/8938/stat : 8938 (manysat.sh) R 8936 8938 28360 0 -1 4194304 334 0 0 0 0 0 0 0 19 0 1 0 931740937 2473984 274 4294967295 134512640 135169312 3215869488 3215867964 3085588340 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/8938/statm: 604 274 231 161 0 43 0
[pid=8939] ppid=8938 vsize=2684 CPUtime=0.01
/proc/8939/stat : 8939 (SatElite) R 8938 8938 28360 0 -1 4202496 618 0 0 0 1 0 0 0 19 0 1 0 931740938 2748416 554 4294967295 134512640 135034092 3216746192 3216742536 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8939/statm: 671 557 49 128 0 541 0
[startup+0.062559 s]
/proc/loadavg: 4.09 4.42 4.38 4/99 8939
/proc/meminfo: memFree=3144252/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2416 CPUtime=0
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 931740937 2473984 274 4294967295 134512640 135169312 3215869488 3215868024 3085586158 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/8938/statm: 604 274 231 161 0 43 0
[pid=8939] ppid=8938 vsize=13844 CPUtime=0.07
/proc/8939/stat : 8939 (SatElite) R 8938 8938 28360 0 -1 4202496 3143 0 0 0 4 3 0 0 22 0 1 0 931740938 14176256 3079 4294967295 134512640 135034092 3216746192 3216742536 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8939/statm: 3461 3080 49 128 0 3331 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16260
[startup+0.116529 s]
/proc/loadavg: 4.09 4.42 4.38 4/99 8939
/proc/meminfo: memFree=3144252/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2416 CPUtime=0
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 931740937 2473984 274 4294967295 134512640 135169312 3215869488 3215868024 3085586158 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/8938/statm: 604 274 231 161 0 43 0
[pid=8939] ppid=8938 vsize=38160 CPUtime=0.12
/proc/8939/stat : 8939 (SatElite) R 8938 8938 28360 0 -1 4202496 6723 0 0 0 8 4 0 0 22 0 1 0 931740938 39075840 6659 4294967295 134512640 135034092 3216746192 3216742152 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8939/statm: 9540 6660 49 128 0 9410 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 40576
[startup+0.312538 s]
/proc/loadavg: 4.09 4.42 4.38 4/99 8939
/proc/meminfo: memFree=3144252/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2416 CPUtime=0
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 931740937 2473984 274 4294967295 134512640 135169312 3215869488 3215868024 3085586158 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/8938/statm: 604 274 231 161 0 43 0
[pid=8939] ppid=8938 vsize=57400 CPUtime=0.32
/proc/8939/stat : 8939 (SatElite) R 8938 8938 28360 0 -1 4202496 13670 0 0 0 25 7 0 0 23 0 1 0 931740938 58777600 13606 4294967295 134512640 135034092 3216746192 3216742536 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8939/statm: 14350 13606 49 128 0 14220 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 59816
[startup+0.712503 s]
/proc/loadavg: 4.09 4.42 4.38 4/99 8939
/proc/meminfo: memFree=3144252/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2416 CPUtime=0
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 931740937 2473984 274 4294967295 134512640 135169312 3215869488 3215868024 3085586158 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/8938/statm: 604 274 231 161 0 43 0
[pid=8939] ppid=8938 vsize=119064 CPUtime=0.72
/proc/8939/stat : 8939 (SatElite) R 8938 8938 28360 0 -1 4202496 22825 0 0 0 61 11 0 0 25 0 1 0 931740938 121921536 22761 4294967295 134512640 135034092 3216746192 3216742536 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8939/statm: 29766 22762 50 128 0 29636 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 121480
[startup+1.51244 s]
/proc/loadavg: 4.09 4.42 4.38 2/100 8941
/proc/meminfo: memFree=3030944/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2416 CPUtime=0
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 931740937 2473984 274 4294967295 134512640 135169312 3215869488 3215868024 3085586158 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/8938/statm: 604 274 231 161 0 43 0
[pid=8939] ppid=8938 vsize=156004 CPUtime=1.52
/proc/8939/stat : 8939 (SatElite) R 8938 8938 28360 0 -1 4202496 33628 0 0 0 137 15 0 0 25 0 1 0 931740938 159748096 30571 4294967295 134512640 135034092 3216746192 3216742188 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8939/statm: 39001 30571 67 128 0 38871 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 158420
[startup+3.11231 s]
/proc/loadavg: 4.09 4.42 4.38 3/100 8941
/proc/meminfo: memFree=3013232/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2416 CPUtime=0
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 931740937 2473984 274 4294967295 134512640 135169312 3215869488 3215868024 3085586158 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/8938/statm: 604 274 231 161 0 43 0
[pid=8939] ppid=8938 vsize=167944 CPUtime=3.12
/proc/8939/stat : 8939 (SatElite) R 8938 8938 28360 0 -1 4202496 35929 0 0 0 295 17 0 0 25 0 1 0 931740938 171974656 32635 4294967295 134512640 135034092 3216746192 3216742432 134566297 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8939/statm: 41986 32635 67 128 0 41856 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 170360
[startup+6.31205 s]
/proc/loadavg: 3.84 4.36 4.36 2/100 8942
/proc/meminfo: memFree=3007668/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2416 CPUtime=0
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 931740937 2473984 274 4294967295 134512640 135169312 3215869488 3215868024 3085586158 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/8938/statm: 604 274 231 161 0 43 0
[pid=8939] ppid=8938 vsize=168968 CPUtime=6.32
/proc/8939/stat : 8939 (SatElite) R 8938 8938 28360 0 -1 4202496 45215 0 0 0 612 20 0 0 25 0 1 0 931740938 173023232 32801 4294967295 134512640 135034092 3216746192 3216742188 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8939/statm: 42242 32801 67 128 0 42112 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 171384
[startup+12.7115 s]
/proc/loadavg: 3.61 4.30 4.34 6/103 8946
/proc/meminfo: memFree=2978296/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2420 CPUtime=7.41
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 369 53497 0 0 0 0 715 26 18 0 1 0 931740937 2478080 275 4294967295 134512640 135169312 3215869488 3215865704 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8938/statm: 605 275 231 161 0 44 0
[pid=8943] ppid=8938 vsize=180656 CPUtime=17.1
/proc/8943/stat : 8943 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202496 37615 0 0 0 1656 54 0 0 17 0 4 0 931741678 184991744 37501 4294967295 134512640 135305190 3217881104 3217878944 134551746 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/8943/statm: 45164 37501 79 194 0 44968 0
[pid=8943/tid=8944] ppid=8938 vsize=180656 CPUtime=3.94
/proc/8943/task/8944/stat : 8944 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 776 0 0 0 383 11 0 0 16 0 4 0 931741791 184991744 37501 4294967295 134512640 135305190 3217881104 3044330688 134528248 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8943/tid=8945] ppid=8938 vsize=180656 CPUtime=3.98
/proc/8943/task/8945/stat : 8945 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 721 0 0 0 383 15 0 0 17 0 4 0 931741791 184991744 37501 4294967295 134512640 135305190 3217881104 3035942080 134528252 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8943/tid=8946] ppid=8938 vsize=180656 CPUtime=3.98
/proc/8943/task/8946/stat : 8946 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 828 0 0 0 390 8 0 0 17 0 4 0 931741791 184991744 37501 4294967295 134512640 135305190 3217881104 3027553136 134551653 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.51
Current children cumulated vsize (KiB) 183076
[startup+25.5105 s]
/proc/loadavg: 3.91 4.34 4.35 6/103 8947
/proc/meminfo: memFree=2976376/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2420 CPUtime=7.41
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 369 53497 0 0 0 0 715 26 18 0 1 0 931740937 2478080 275 4294967295 134512640 135169312 3215869488 3215865704 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8938/statm: 605 275 231 161 0 44 0
[pid=8943] ppid=8938 vsize=181836 CPUtime=68.19
/proc/8943/stat : 8943 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202496 38038 0 0 0 6765 54 0 0 25 0 4 0 931741678 186200064 37924 4294967295 134512640 135305190 3217881104 3217879280 134528256 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/8943/statm: 45459 37924 79 194 0 45263 0
[pid=8943/tid=8944] ppid=8938 vsize=181836 CPUtime=16.74
/proc/8943/task/8944/stat : 8944 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 836 0 0 0 1663 11 0 0 25 0 4 0 931741791 186200064 37924 4294967295 134512640 135305190 3217881104 3044330416 134557484 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8943/tid=8945] ppid=8938 vsize=181836 CPUtime=16.71
/proc/8943/task/8945/stat : 8945 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 897 0 0 0 1656 15 0 0 25 0 4 0 931741791 186200064 37924 4294967295 134512640 135305190 3217881104 3035941696 134551939 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8943/tid=8946] ppid=8938 vsize=181836 CPUtime=16.74
/proc/8943/task/8946/stat : 8946 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 939 0 0 0 1666 8 0 0 25 0 4 0 931741791 186200064 37924 4294967295 134512640 135305190 3217881104 3027553472 134528480 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 75.6
Current children cumulated vsize (KiB) 184256
[startup+51.1084 s]
/proc/loadavg: 4.22 4.37 4.36 6/103 9133
/proc/meminfo: memFree=2963636/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2420 CPUtime=7.41
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 369 53497 0 0 0 0 715 26 18 0 1 0 931740937 2478080 275 4294967295 134512640 135169312 3215869488 3215865704 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8938/statm: 605 275 231 161 0 44 0
[pid=8943] ppid=8938 vsize=195048 CPUtime=170.12
/proc/8943/stat : 8943 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202496 41138 0 0 0 16949 63 0 0 25 0 4 0 931741678 199729152 40998 4294967295 134512640 135305190 3217881104 3217879280 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/8943/statm: 48762 40998 79 194 0 48566 0
[pid=8943/tid=8944] ppid=8938 vsize=195048 CPUtime=42.18
/proc/8943/task/8944/stat : 8944 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 1337 0 0 0 4202 16 0 0 25 0 4 0 931741791 199729152 40998 4294967295 134512640 135305190 3217881104 3044330688 134528523 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8943/tid=8945] ppid=8938 vsize=195048 CPUtime=42.12
/proc/8943/task/8945/stat : 8945 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 1928 0 0 0 4196 16 0 0 25 0 4 0 931741791 199729152 40998 4294967295 134512640 135305190 3217881104 3035942080 134528832 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8943/tid=8946] ppid=8938 vsize=195048 CPUtime=42.26
/proc/8943/task/8946/stat : 8946 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 1875 0 0 0 4217 9 0 0 25 0 4 0 931741791 199729152 40998 4294967295 134512640 135305190 3217881104 3027553472 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 177.53
Current children cumulated vsize (KiB) 197468
[startup+102.314 s]
/proc/loadavg: 4.22 4.35 4.35 5/103 9137
/proc/meminfo: memFree=2934768/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2420 CPUtime=7.41
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 369 53497 0 0 0 0 715 26 18 0 1 0 931740937 2478080 275 4294967295 134512640 135169312 3215869488 3215865704 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8938/statm: 605 275 231 161 0 44 0
[pid=8943] ppid=8938 vsize=224888 CPUtime=374.69
/proc/8943/stat : 8943 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202496 48587 0 0 0 37391 78 0 0 25 0 4 0 931741678 230285312 48447 4294967295 134512640 135305190 3217881104 3217879280 134528551 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/8943/statm: 56222 48447 79 194 0 56026 0
[pid=8943/tid=8944] ppid=8938 vsize=224888 CPUtime=93.38
/proc/8943/task/8944/stat : 8944 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 2660 0 0 0 9317 21 0 0 25 0 4 0 931741791 230285312 48447 4294967295 134512640 135305190 3217881104 3044330688 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8943/tid=8945] ppid=8938 vsize=224888 CPUtime=93.33
/proc/8943/task/8945/stat : 8945 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 4875 0 0 0 9313 20 0 0 25 0 4 0 931741791 230285312 48447 4294967295 134512640 135305190 3217881104 3035941760 134553259 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8943/tid=8946] ppid=8938 vsize=224888 CPUtime=93.24
/proc/8943/task/8946/stat : 8946 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 3657 0 0 0 9311 13 0 0 25 0 4 0 931741791 230285312 48447 4294967295 134512640 135305190 3217881104 3027553472 134528277 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 382.1
Current children cumulated vsize (KiB) 227308
[startup+162.309 s]
/proc/loadavg: 4.50 4.39 4.37 5/103 9328
/proc/meminfo: memFree=2914788/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2420 CPUtime=7.41
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 369 53497 0 0 0 0 715 26 18 0 1 0 931740937 2478080 275 4294967295 134512640 135169312 3215869488 3215865704 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8938/statm: 605 275 231 161 0 44 0
[pid=8943] ppid=8938 vsize=244824 CPUtime=614.04
/proc/8943/stat : 8943 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202496 53417 0 0 0 61308 96 0 0 25 0 4 0 931741678 250699776 53277 4294967295 134512640 135305190 3217881104 3217879280 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/8943/statm: 61206 53277 79 194 0 61010 0
[pid=8943/tid=8944] ppid=8938 vsize=244824 CPUtime=153.28
/proc/8943/task/8944/stat : 8944 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 3380 0 0 0 15306 22 0 0 25 0 4 0 931741791 250699776 53277 4294967295 134512640 135305190 3217881104 3044330688 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8943/tid=8945] ppid=8938 vsize=244824 CPUtime=153.09
/proc/8943/task/8945/stat : 8945 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 7115 0 0 0 15286 23 0 0 25 0 4 0 931741791 250699776 53277 4294967295 134512640 135305190 3217881104 3035942080 134528539 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8943/tid=8946] ppid=8938 vsize=244824 CPUtime=153.11
/proc/8943/task/8946/stat : 8946 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 4708 0 0 0 15290 21 0 0 25 0 4 0 931741791 250699776 53277 4294967295 134512640 135305190 3217881104 3027553472 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 621.45
Current children cumulated vsize (KiB) 247244
[startup+222.305 s]
/proc/loadavg: 4.53 4.41 4.37 5/103 9515
/proc/meminfo: memFree=2884912/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2420 CPUtime=7.41
################
# More data... #
################
/proc/8943/task/8946/stat : 8946 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 13092 0 0 0 51163 46 0 0 25 0 4 0 931741791 396001280 87779 4294967295 134512640 135305190 3217881104 3027553136 134551776 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2058.24
Current children cumulated vsize (KiB) 389140
[startup+582.305 s]
/proc/loadavg: 4.41 4.43 4.38 5/103 10652
/proc/meminfo: memFree=2770576/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2420 CPUtime=7.41
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 369 53497 0 0 0 0 715 26 18 0 1 0 931740937 2478080 275 4294967295 134512640 135169312 3215869488 3215865704 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8938/statm: 605 275 231 161 0 44 0
[pid=8943] ppid=8938 vsize=392744 CPUtime=2290.26
/proc/8943/stat : 8943 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202496 89333 0 0 0 228770 256 0 0 25 0 4 0 931741678 402169856 89182 4294967295 134512640 135305190 3217881104 3217879280 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/8943/statm: 98186 89182 79 194 0 97990 0
[pid=8943/tid=8944] ppid=8938 vsize=392744 CPUtime=571.93
/proc/8943/task/8944/stat : 8944 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 11735 0 0 0 57125 68 0 0 25 0 4 0 931741791 402169856 89182 4294967295 134512640 135305190 3217881104 3044330688 134528603 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=8943/tid=8945] ppid=8938 vsize=392744 CPUtime=572.26
/proc/8943/task/8945/stat : 8945 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 18376 0 0 0 57164 62 0 0 25 0 4 0 931741791 402169856 89182 4294967295 134512640 135305190 3217881104 3035942080 134528480 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8943/tid=8946] ppid=8938 vsize=392744 CPUtime=572.01
/proc/8943/task/8946/stat : 8946 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 13267 0 0 0 57151 50 0 0 25 0 4 0 931741791 402169856 89182 4294967295 134512640 135305190 3217881104 3027553136 134551930 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2297.67
Current children cumulated vsize (KiB) 395164
[startup+642.31 s]
/proc/loadavg: 4.56 4.48 4.40 5/103 10839
/proc/meminfo: memFree=2740592/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2420 CPUtime=7.41
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 369 53497 0 0 0 0 715 26 18 0 1 0 931740937 2478080 275 4294967295 134512640 135169312 3215869488 3215865704 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8938/statm: 605 275 231 161 0 44 0
[pid=8943] ppid=8938 vsize=424140 CPUtime=2529.46
/proc/8943/stat : 8943 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202496 96894 0 0 0 252664 282 0 0 25 0 4 0 931741678 434319360 96743 4294967295 134512640 135305190 3217881104 3217879280 134528512 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/8943/statm: 106035 96743 79 194 0 105839 0
[pid=8943/tid=8944] ppid=8938 vsize=424140 CPUtime=631.84
/proc/8943/task/8944/stat : 8944 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 13825 0 0 0 63111 73 0 0 25 0 4 0 931741791 434319360 96743 4294967295 134512640 135305190 3217881104 3044330688 134528410 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=8943/tid=8945] ppid=8938 vsize=424140 CPUtime=632.24
/proc/8943/task/8945/stat : 8945 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 19667 0 0 0 63159 65 0 0 25 0 4 0 931741791 434319360 96743 4294967295 134512640 135305190 3217881104 3035942080 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8943/tid=8946] ppid=8938 vsize=424140 CPUtime=631.77
/proc/8943/task/8946/stat : 8946 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 15579 0 0 0 63122 55 0 0 25 0 4 0 931741791 434319360 96743 4294967295 134512640 135305190 3217881104 3027553264 134547909 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2536.87
Current children cumulated vsize (KiB) 426560
[startup+702.315 s]
/proc/loadavg: 4.53 4.50 4.41 5/103 11028
/proc/meminfo: memFree=2719540/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2420 CPUtime=7.41
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 369 53497 0 0 0 0 715 26 18 0 1 0 931740937 2478080 275 4294967295 134512640 135169312 3215869488 3215865704 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8938/statm: 605 275 231 161 0 44 0
[pid=8943] ppid=8938 vsize=444700 CPUtime=2769.05
/proc/8943/stat : 8943 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202496 102041 0 0 0 276599 306 0 0 25 0 4 0 931741678 455372800 101890 4294967295 134512640 135305190 3217881104 3217879008 134557484 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/8943/statm: 111175 101890 79 194 0 110979 0
[pid=8943/tid=8944] ppid=8938 vsize=444700 CPUtime=691.76
/proc/8943/task/8944/stat : 8944 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 15221 0 0 0 69094 82 0 0 25 0 4 0 931741791 455372800 101890 4294967295 134512640 135305190 3217881104 3044330688 134528341 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8943/tid=8945] ppid=8938 vsize=444700 CPUtime=692.23
/proc/8943/task/8945/stat : 8945 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 20577 0 0 0 69154 69 0 0 25 0 4 0 931741791 455372800 101890 4294967295 134512640 135305190 3217881104 3035942080 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8943/tid=8946] ppid=8938 vsize=444700 CPUtime=691.62
/proc/8943/task/8946/stat : 8946 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 17142 0 0 0 69100 62 0 0 25 0 4 0 931741791 455372800 101890 4294967295 134512640 135305190 3217881104 3027553472 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2776.46
Current children cumulated vsize (KiB) 447120
[startup+762.321 s]
/proc/loadavg: 4.61 4.54 4.43 5/103 11215
/proc/meminfo: memFree=2715916/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2420 CPUtime=7.41
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 369 53497 0 0 0 0 715 26 18 0 1 0 931740937 2478080 275 4294967295 134512640 135169312 3215869488 3215865704 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8938/statm: 605 275 231 161 0 44 0
[pid=8943] ppid=8938 vsize=449500 CPUtime=3008.54
/proc/8943/stat : 8943 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202496 102842 0 0 0 300517 337 0 0 25 0 4 0 931741678 460288000 102691 4294967295 134512640 135305190 3217881104 3217879008 134556770 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8943/statm: 112375 102691 79 194 0 112179 0
[pid=8943/tid=8944] ppid=8938 vsize=449500 CPUtime=751.52
/proc/8943/task/8944/stat : 8944 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 15247 0 0 0 75064 88 0 0 25 0 4 0 931741791 460288000 102691 4294967295 134512640 135305190 3217881104 3044330688 134528195 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8943/tid=8945] ppid=8938 vsize=449500 CPUtime=751.99
/proc/8943/task/8945/stat : 8945 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 21332 0 0 0 75122 77 0 0 25 0 4 0 931741791 460288000 102691 4294967295 134512640 135305190 3217881104 3035942080 134528548 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8943/tid=8946] ppid=8938 vsize=449500 CPUtime=751.61
/proc/8943/task/8946/stat : 8946 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 17142 0 0 0 75093 68 0 0 25 0 4 0 931741791 460288000 102691 4294967295 134512640 135305190 3217881104 3027553472 134528503 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3015.95
Current children cumulated vsize (KiB) 451920
[startup+822.316 s]
/proc/loadavg: 4.65 4.57 4.45 6/103 11402
/proc/meminfo: memFree=2691344/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2420 CPUtime=7.41
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 369 53497 0 0 0 0 715 26 18 0 1 0 931740937 2478080 275 4294967295 134512640 135169312 3215869488 3215865704 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8938/statm: 605 275 231 161 0 44 0
[pid=8943] ppid=8938 vsize=476264 CPUtime=3247.82
/proc/8943/stat : 8943 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202496 109410 0 0 0 324426 356 0 0 25 0 4 0 931741678 487694336 109259 4294967295 134512640 135305190 3217881104 3217879280 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8943/statm: 119066 109259 79 194 0 118870 0
[pid=8943/tid=8944] ppid=8938 vsize=476264 CPUtime=811.09
/proc/8943/task/8944/stat : 8944 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 16804 0 0 0 81016 93 0 0 25 0 4 0 931741791 487694336 109259 4294967295 134512640 135305190 3217881104 3044330352 134551681 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8943/tid=8945] ppid=8938 vsize=476264 CPUtime=811.9
/proc/8943/task/8945/stat : 8945 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 22536 0 0 0 81107 83 0 0 25 0 4 0 931741791 487694336 109259 4294967295 134512640 135305190 3217881104 3035942080 134528559 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8943/tid=8946] ppid=8938 vsize=476264 CPUtime=811.59
/proc/8943/task/8946/stat : 8946 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 19287 0 0 0 81090 69 0 0 25 0 4 0 931741791 487694336 109259 4294967295 134512640 135305190 3217881104 3027553136 134551697 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3255.23
Current children cumulated vsize (KiB) 478684
[startup+882.311 s]
/proc/loadavg: 4.55 4.54 4.44 5/103 11591
/proc/meminfo: memFree=2670408/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2420 CPUtime=7.41
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 369 53497 0 0 0 0 715 26 18 0 1 0 931740937 2478080 275 4294967295 134512640 135169312 3215869488 3215865704 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8938/statm: 605 275 231 161 0 44 0
[pid=8943] ppid=8938 vsize=498480 CPUtime=3487.26
/proc/8943/stat : 8943 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202496 114446 0 0 0 348348 378 0 0 25 0 4 0 931741678 510443520 114295 4294967295 134512640 135305190 3217881104 3217879280 134528503 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8943/statm: 124620 114295 79 194 0 124424 0
[pid=8943/tid=8944] ppid=8938 vsize=498480 CPUtime=870.85
/proc/8943/task/8944/stat : 8944 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 18105 0 0 0 86989 96 0 0 25 0 4 0 931741791 510443520 114295 4294967295 134512640 135305190 3217881104 3044330548 134846187 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8943/tid=8945] ppid=8938 vsize=498480 CPUtime=871.69
/proc/8943/task/8945/stat : 8945 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 23585 0 0 0 87077 92 0 0 25 0 4 0 931741791 510443520 114295 4294967295 134512640 135305190 3217881104 3035942080 134528263 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8943/tid=8946] ppid=8938 vsize=498480 CPUtime=871.54
/proc/8943/task/8946/stat : 8946 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 20645 0 0 0 87080 74 0 0 25 0 4 0 931741791 510443520 114295 4294967295 134512640 135305190 3217881104 3027553472 134528256 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3494.67
Current children cumulated vsize (KiB) 500900
[startup+942.306 s]
/proc/loadavg: 4.39 4.50 4.44 5/103 11782
/proc/meminfo: memFree=2656868/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2420 CPUtime=7.41
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 369 53497 0 0 0 0 715 26 18 0 1 0 931740937 2478080 275 4294967295 134512640 135169312 3215869488 3215865704 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8938/statm: 605 275 231 161 0 44 0
[pid=8943] ppid=8938 vsize=510884 CPUtime=3726.43
/proc/8943/stat : 8943 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202496 117779 0 0 0 372245 398 0 0 25 0 4 0 931741678 523145216 117628 4294967295 134512640 135305190 3217881104 3217879280 134528548 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8943/statm: 127721 117628 79 194 0 127525 0
[pid=8943/tid=8944] ppid=8938 vsize=510884 CPUtime=930.4
/proc/8943/task/8944/stat : 8944 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 18862 0 0 0 92943 97 0 0 25 0 4 0 931741791 523145216 117628 4294967295 134512640 135305190 3217881104 3044330688 134528435 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=8943/tid=8945] ppid=8938 vsize=510884 CPUtime=931.42
/proc/8943/task/8945/stat : 8945 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 24288 0 0 0 93041 101 0 0 25 0 4 0 931741791 523145216 117628 4294967295 134512640 135305190 3217881104 3035942080 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8943/tid=8946] ppid=8938 vsize=510884 CPUtime=931.44
/proc/8943/task/8946/stat : 8946 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 21980 0 0 0 93063 81 0 0 25 0 4 0 931741791 523145216 117628 4294967295 134512640 135305190 3217881104 3027553472 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3733.84
Current children cumulated vsize (KiB) 513304
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.43 4.50 4.44 5/103 11970
/proc/meminfo: memFree=2642240/3368532 swapFree=1959840/1959888
[pid=8938] ppid=8936 vsize=2420 CPUtime=7.41
/proc/8938/stat : 8938 (manysat.sh) S 8936 8938 28360 0 -1 4194304 369 53497 0 0 0 0 715 26 18 0 1 0 931740937 2478080 275 4294967295 134512640 135169312 3215869488 3215865704 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/8938/statm: 605 275 231 161 0 44 0
[pid=8943] ppid=8938 vsize=527240 CPUtime=3956.67
/proc/8943/stat : 8943 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202496 121558 0 0 0 395252 415 0 0 25 0 4 0 931741678 539893760 121407 4294967295 134512640 135305190 3217881104 3217879280 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/8943/statm: 131810 121407 79 194 0 131614 0
[pid=8943/tid=8944] ppid=8938 vsize=527240 CPUtime=988.07
/proc/8943/task/8944/stat : 8944 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 19654 0 0 0 98705 102 0 0 25 0 4 0 931741791 539893760 121407 4294967295 134512640 135305190 3217881104 3044330688 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=8943/tid=8945] ppid=8938 vsize=527240 CPUtime=988.8
/proc/8943/task/8945/stat : 8945 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 25016 0 0 0 98779 101 0 0 25 0 4 0 931741791 539893760 121407 4294967295 134512640 135305190 3217881104 3035942080 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=8943/tid=8946] ppid=8938 vsize=527240 CPUtime=988.94
/proc/8943/task/8946/stat : 8946 (manysat1.1_stat) R 8938 8938 28360 0 -1 4202560 23226 0 0 0 98806 88 0 0 25 0 4 0 931741791 539893760 121407 4294967295 134512640 135305190 3217881104 3027553012 134839991 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3964.08
Current children cumulated vsize (KiB) 529660
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 8938 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=150000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=260000
# CPU time returned by wait4() is 7.41
# while last known CPU time is 3964.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.04
CPU time (s): 3964.08
CPU user time (s): 3959.67
CPU system time (s): 4.41
CPU usage (%): 396.391
Max. virtual memory (cumulated for all children) (KiB): 529660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.15
system time used= 0.26
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53866
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= 4
involuntary context switches= 7
runsolver used 0 second user time and 0 second system time
The end
Begin job on tipi39 at 2009-05-28 11:07:20
IDJOB=1775764
IDBENCH=20383
IDSOLVER=623
FILE ID=tipi39/1775764-1243501640
PBS_JOBID=
Free space on /tmp= 5722 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-5-17-u.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775764-1243501640/watcher-1775764-1243501640 -o /tmp/evaluation-result-1775764-1243501640/solver-1775764-1243501640 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775764-1243501640.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 9f79c3f75a90db314ed315006ba97d6f
RANDOM SEED= 2031242583
Linux tipi39 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.067
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.41
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.067
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.067
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.16
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.067
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.15
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 3145140 kB
Buffers: 24220 kB
Cached: 102916 kB
SwapCached: 0 kB
Active: 89980 kB
Inactive: 53592 kB
HighTotal: 2489216 kB
HighFree: 2372772 kB
LowTotal: 879316 kB
LowFree: 772368 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 24300 kB
Writeback: 0 kB
AnonPages: 16244 kB
Mapped: 6188 kB
Slab: 70056 kB
SReclaimable: 57316 kB
SUnreclaim: 12740 kB
PageTables: 500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 95160 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 5704 MiB
End job on tipi39 at 2009-05-28 11:24:04