0.00/0.00 c Parsing...
2.46/2.71 c ==============================================================================
2.46/2.71 c | | ORIGINAL | LEARNT | |
2.46/2.71 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
2.46/2.71 c ==============================================================================
2.46/2.71 c | 0 | 3634676 10547960 | 1090402 0 0 nan | 0.000 % |
27.42/29.09 c | 0 | 3532144 10927904 | -- 0 -- -- | -- | -102383/383223
27.42/29.09 c ==============================================================================
27.42/29.09 c Result : #vars: 168000 #clauses: 3532144 #literals: 10927904
27.42/29.09 c CPU time: 27.05 s
27.42/29.09 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776487-1243510169/watcher-1776487-1243510169 -o /tmp/evaluation-result-1776487-1243510169/solver-1776487-1243510169 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776487-1243510169.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: 5.23 5.65 5.59 4/125 29288
/proc/meminfo: memFree=2103700/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2416 CPUtime=0
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 351 0 0 0 0 0 0 0 25 0 1 0 1115681385 2473984 274 4294967295 134512640 135169312 3214808352 3214806888 3085291246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29287/statm: 604 274 231 161 0 43 0
[pid=29288] ppid=29287 vsize=1308 CPUtime=0
/proc/29288/stat : 29288 (SatElite) R 29287 29287 21334 0 -1 4202496 246 0 0 0 0 0 0 0 25 0 1 0 1115681385 1339392 182 4294967295 134512640 135034092 3214679248 3214675592 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/29288/statm: 327 182 50 128 0 197 0
[startup+0.021723 s]
/proc/loadavg: 5.23 5.65 5.59 4/125 29288
/proc/meminfo: memFree=2103700/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2416 CPUtime=0
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 351 0 0 0 0 0 0 0 25 0 1 0 1115681385 2473984 274 4294967295 134512640 135169312 3214808352 3214806888 3085291246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29287/statm: 604 274 231 161 0 43 0
[pid=29288] ppid=29287 vsize=3384 CPUtime=0.01
/proc/29288/stat : 29288 (SatElite) R 29287 29287 21334 0 -1 4202496 723 0 0 0 0 1 0 0 25 0 1 0 1115681385 3465216 659 4294967295 134512640 135034092 3214679248 3214675592 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/29288/statm: 846 659 50 128 0 716 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5800
[startup+0.111703 s]
/proc/loadavg: 5.23 5.65 5.59 4/125 29288
/proc/meminfo: memFree=2103700/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2416 CPUtime=0
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 351 0 0 0 0 0 0 0 25 0 1 0 1115681385 2473984 274 4294967295 134512640 135169312 3214808352 3214806888 3085291246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29287/statm: 604 274 231 161 0 43 0
[pid=29288] ppid=29287 vsize=12732 CPUtime=0.1
/proc/29288/stat : 29288 (SatElite) R 29287 29287 21334 0 -1 4202496 2778 0 0 0 7 3 0 0 25 0 1 0 1115681385 13037568 2714 4294967295 134512640 135034092 3214679248 3214675164 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/29288/statm: 3183 2714 50 128 0 3053 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15148
[startup+0.311685 s]
/proc/loadavg: 5.23 5.65 5.59 4/125 29288
/proc/meminfo: memFree=2103700/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2416 CPUtime=0
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 351 0 0 0 0 0 0 0 25 0 1 0 1115681385 2473984 274 4294967295 134512640 135169312 3214808352 3214806888 3085291246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29287/statm: 604 274 231 161 0 43 0
[pid=29288] ppid=29287 vsize=30152 CPUtime=0.3
/proc/29288/stat : 29288 (SatElite) R 29287 29287 21334 0 -1 4202496 6899 0 0 0 23 7 0 0 25 0 1 0 1115681385 30875648 6835 4294967295 134512640 135034092 3214679248 3214675344 134543255 0 0 0 3 0 0 0 17 1 0 0 0
/proc/29288/statm: 7538 6836 50 128 0 7408 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 32568
[startup+0.711654 s]
/proc/loadavg: 5.23 5.65 5.59 4/125 29288
/proc/meminfo: memFree=2103700/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2416 CPUtime=0
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 351 0 0 0 0 0 0 0 25 0 1 0 1115681385 2473984 274 4294967295 134512640 135169312 3214808352 3214806888 3085291246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29287/statm: 604 274 231 161 0 43 0
[pid=29288] ppid=29287 vsize=69076 CPUtime=0.7
/proc/29288/stat : 29288 (SatElite) R 29287 29287 21334 0 -1 4202496 15085 0 0 0 56 14 0 0 25 0 1 0 1115681385 70733824 15021 4294967295 134512640 135034092 3214679248 3214675240 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/29288/statm: 17269 15022 50 128 0 17139 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 71492
[startup+1.51158 s]
/proc/loadavg: 5.23 5.65 5.59 3/126 29289
/proc/meminfo: memFree=2053388/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2416 CPUtime=0
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 351 0 0 0 0 0 0 0 25 0 1 0 1115681385 2473984 274 4294967295 134512640 135169312 3214808352 3214806888 3085291246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29287/statm: 604 274 231 161 0 43 0
[pid=29288] ppid=29287 vsize=133404 CPUtime=1.37
/proc/29288/stat : 29288 (SatElite) R 29287 29287 21334 0 -1 4202496 28573 0 0 0 118 19 0 0 25 0 1 0 1115681385 136605696 28509 4294967295 134512640 135034092 3214679248 3214675592 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/29288/statm: 33351 28510 50 128 0 33221 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 135820
[startup+3.11144 s]
/proc/loadavg: 5.23 5.65 5.59 3/126 29289
/proc/meminfo: memFree=1923888/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2416 CPUtime=0
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 351 0 0 0 0 0 0 0 25 0 1 0 1115681385 2473984 274 4294967295 134512640 135169312 3214808352 3214806888 3085291246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29287/statm: 604 274 231 161 0 43 0
[pid=29288] ppid=29287 vsize=253916 CPUtime=2.96
/proc/29288/stat : 29288 (SatElite) R 29287 29287 21334 0 -1 4202496 68129 0 0 0 262 34 0 0 25 0 1 0 1115681385 260009984 60830 4294967295 134512640 135034092 3214679248 3214672816 134562127 0 0 0 3 0 0 0 17 1 0 0 0
/proc/29288/statm: 63479 60830 66 128 0 63349 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 256332
[startup+6.31117 s]
/proc/loadavg: 4.97 5.59 5.57 3/126 29289
/proc/meminfo: memFree=1838444/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2416 CPUtime=0
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 351 0 0 0 0 0 0 0 25 0 1 0 1115681385 2473984 274 4294967295 134512640 135169312 3214808352 3214806888 3085291246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29287/statm: 604 274 231 161 0 43 0
[pid=29288] ppid=29287 vsize=293896 CPUtime=5.96
/proc/29288/stat : 29288 (SatElite) R 29287 29287 21334 0 -1 4202496 74812 0 0 0 559 37 0 0 25 0 1 0 1115681385 300949504 67103 4294967295 134512640 135034092 3214679248 3214675244 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/29288/statm: 73474 67103 67 128 0 73344 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 296312
[startup+12.7106 s]
/proc/loadavg: 4.73 5.53 5.55 3/126 29290
/proc/meminfo: memFree=1757312/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2416 CPUtime=0
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 351 0 0 0 0 0 0 0 25 0 1 0 1115681385 2473984 274 4294967295 134512640 135169312 3214808352 3214806888 3085291246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29287/statm: 604 274 231 161 0 43 0
[pid=29288] ppid=29287 vsize=312968 CPUtime=11.96
/proc/29288/stat : 29288 (SatElite) R 29287 29287 21334 0 -1 4202496 79350 0 0 0 1156 40 0 0 25 0 1 0 1115681385 320479232 71404 4294967295 134512640 135034092 3214679248 3214675488 134566260 0 0 0 3 0 0 0 17 1 0 0 0
/proc/29288/statm: 78242 71404 67 128 0 78112 0
Current children cumulated CPU time (s) 11.96
Current children cumulated vsize (KiB) 315384
[startup+25.5095 s]
/proc/loadavg: 4.13 5.35 5.49 3/126 29292
/proc/meminfo: memFree=1783828/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2416 CPUtime=0
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 351 0 0 0 0 0 0 0 25 0 1 0 1115681385 2473984 274 4294967295 134512640 135169312 3214808352 3214806888 3085291246 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/29287/statm: 604 274 231 161 0 43 0
[pid=29288] ppid=29287 vsize=359512 CPUtime=24.07
/proc/29288/stat : 29288 (SatElite) R 29287 29287 21334 0 -1 4202496 87263 0 0 0 2363 44 0 0 25 0 1 0 1115681385 368140288 78905 4294967295 134512640 135034092 3214679248 3214675504 134563460 0 0 0 3 0 0 0 17 1 0 0 0
/proc/29288/statm: 89878 78905 67 128 0 89748 0
Current children cumulated CPU time (s) 24.07
Current children cumulated vsize (KiB) 361928
[startup+51.1079 s]
/proc/loadavg: 4.01 5.21 5.44 7/129 29302
/proc/meminfo: memFree=1167944/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2420 CPUtime=31.8
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 371 95099 0 0 0 0 3109 71 18 0 1 0 1115681385 2478080 275 4294967295 134512640 135169312 3214808352 3214804568 3085291246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29287/statm: 605 275 231 161 0 44 0
[pid=29294] ppid=29287 vsize=854996 CPUtime=37.35
/proc/29294/stat : 29294 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202496 202861 0 0 0 3643 92 0 0 25 0 4 0 1115684763 875515904 202723 4294967295 134512640 135305190 3217762288 3217760464 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/29294/statm: 213749 202723 79 194 0 213553 0
[pid=29294/tid=29295] ppid=29287 vsize=854996 CPUtime=7.35
/proc/29294/task/29295/stat : 29295 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 2520 0 0 0 734 1 0 0 25 0 4 0 1115685432 875515904 202723 4294967295 134512640 135305190 3217762288 3001277632 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=29294/tid=29296] ppid=29287 vsize=854996 CPUtime=8.96
/proc/29294/task/29296/stat : 29296 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 3248 0 0 0 892 4 0 0 25 0 4 0 1115685432 875515904 202723 4294967295 134512640 135305190 3217762288 2992889024 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=29294/tid=29297] ppid=29287 vsize=854996 CPUtime=9.19
/proc/29294/task/29297/stat : 29297 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 2507 0 0 0 913 6 0 0 25 0 4 0 1115685432 875515904 202723 4294967295 134512640 135305190 3217762288 2941426728 134694990 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 69.15
Current children cumulated vsize (KiB) 857416
[startup+102.323 s]
/proc/loadavg: 4.78 5.24 5.44 6/129 29489
/proc/meminfo: memFree=1020896/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2420 CPUtime=31.8
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 371 95099 0 0 0 0 3109 71 18 0 1 0 1115681385 2478080 275 4294967295 134512640 135169312 3214808352 3214804568 3085291246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29287/statm: 605 275 231 161 0 44 0
[pid=29294] ppid=29287 vsize=948560 CPUtime=191.16
/proc/29294/stat : 29294 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202496 226478 0 0 0 18988 128 0 0 25 0 4 0 1115684763 971325440 226340 4294967295 134512640 135305190 3217762288 3217760464 134528189 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/29294/statm: 237140 226340 79 194 0 236944 0
[pid=29294/tid=29295] ppid=29287 vsize=948560 CPUtime=39.43
/proc/29294/task/29295/stat : 29295 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 4410 0 0 0 3940 3 0 0 25 0 4 0 1115685432 971325440 226340 4294967295 134512640 135305190 3217762288 3001277376 134541848 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29294/tid=29296] ppid=29287 vsize=948560 CPUtime=42.54
/proc/29294/task/29296/stat : 29296 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 20735 0 0 0 4239 15 0 0 25 0 4 0 1115685432 971325440 226340 4294967295 134512640 135305190 3217762288 2992889024 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=29294/tid=29297] ppid=29287 vsize=948560 CPUtime=55.19
/proc/29294/task/29297/stat : 29297 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 5031 0 0 0 5508 11 0 0 25 0 4 0 1115685432 971325440 226340 4294967295 134512640 135305190 3217762288 2941426608 134556789 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.96
Current children cumulated vsize (KiB) 950980
[startup+162.308 s]
/proc/loadavg: 5.19 5.28 5.44 6/129 29676
/proc/meminfo: memFree=996348/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2420 CPUtime=31.8
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 371 95099 0 0 0 0 3109 71 18 0 1 0 1115681385 2478080 275 4294967295 134512640 135169312 3214808352 3214804568 3085291246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29287/statm: 605 275 231 161 0 44 0
[pid=29294] ppid=29287 vsize=1061468 CPUtime=370.56
/proc/29294/stat : 29294 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202496 254738 0 0 0 36901 155 0 0 25 0 4 0 1115684763 1086943232 254600 4294967295 134512640 135305190 3217762288 3217760464 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/29294/statm: 265367 254600 79 194 0 265171 0
[pid=29294/tid=29295] ppid=29287 vsize=1061468 CPUtime=84.8
/proc/29294/task/29295/stat : 29295 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 6053 0 0 0 8473 7 0 0 25 0 4 0 1115685432 1086943232 254600 4294967295 134512640 135305190 3217762288 3001277632 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29294/tid=29296] ppid=29287 vsize=1061468 CPUtime=89.43
/proc/29294/task/29296/stat : 29296 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 43222 0 0 0 8919 24 0 0 25 0 4 0 1115685432 1086943232 254600 4294967295 134512640 135305190 3217762288 2992889024 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=29294/tid=29297] ppid=29287 vsize=1061468 CPUtime=110.03
/proc/29294/task/29297/stat : 29297 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 8173 0 0 0 10983 20 0 0 25 0 4 0 1115685432 1086943232 254600 4294967295 134512640 135305190 3217762288 2941426880 134530561 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 402.36
Current children cumulated vsize (KiB) 1063888
[startup+222.313 s]
/proc/loadavg: 5.29 5.30 5.44 7/129 29863
/proc/meminfo: memFree=889116/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2420 CPUtime=31.8
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 371 95099 0 0 0 0 3109 71 18 0 1 0 1115681385 2478080 275 4294967295 134512640 135169312 3214808352 3214804568 3085291246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29287/statm: 605 275 231 161 0 44 0
[pid=29294] ppid=29287 vsize=1133612 CPUtime=547.48
/proc/29294/stat : 29294 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202496 272437 0 0 0 54577 171 0 0 25 0 4 0 1115684763 1160818688 272299 4294967295 134512640 135305190 3217762288 3217760464 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/29294/statm: 283403 272299 79 194 0 283207 0
[pid=29294/tid=29295] ppid=29287 vsize=1133612 CPUtime=132.66
/proc/29294/task/29295/stat : 29295 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 8281 0 0 0 13254 12 0 0 25 0 4 0 1115685432 1160818688 272299 4294967295 134512640 135305190 3217762288 3001277376 134542034 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=29294/tid=29296] ppid=29287 vsize=1133612 CPUtime=133.97
/proc/29294/task/29296/stat : 29296 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 55629 0 0 0 13365 32 0 0 25 0 4 0 1115685432 1160818688 272299 4294967295 134512640 135305190 3217762288 2992888640 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=29294/tid=29297] ppid=29287 vsize=1133612 CPUtime=139.91
/proc/29294/task/29297/stat : 29297 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 8786 0 0 0 13971 20 0 0 25 0 4 0 1115685432 1160818688 272299 4294967295 134512640 135305190 3217762288 2941426544 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 579.28
################
# More data... #
################
/proc/29294/task/29297/stat : 29297 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 11762 0 0 0 30292 43 0 0 25 0 4 0 1115685432 1511542784 357283 4294967295 134512640 135305190 3217762288 2941426880 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1131.44
Current children cumulated vsize (KiB) 1478536
[startup+462.312 s]
/proc/loadavg: 5.29 5.34 5.43 6/129 30621
/proc/meminfo: memFree=404560/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2420 CPUtime=31.8
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 371 95099 0 0 0 0 3109 71 18 0 1 0 1115681385 2478080 275 4294967295 134512640 135169312 3214808352 3214804568 3085291246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29287/statm: 605 275 231 161 0 44 0
[pid=29294] ppid=29287 vsize=1626660 CPUtime=1290.84
/proc/29294/stat : 29294 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202496 395368 0 0 0 128776 308 0 0 16 0 4 0 1115684763 1665699840 395230 4294967295 134512640 135305190 3217762288 3217760464 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/29294/statm: 406665 395230 79 194 0 406469 0
[pid=29294/tid=29295] ppid=29287 vsize=1626660 CPUtime=325.74
/proc/29294/task/29295/stat : 29295 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 17837 0 0 0 32536 38 0 0 25 0 4 0 1115685432 1665699840 395230 4294967295 134512640 135305190 3217762288 3001277480 134694990 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29294/tid=29296] ppid=29287 vsize=1626660 CPUtime=299.36
/proc/29294/task/29296/stat : 29296 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 159189 0 0 0 29842 94 0 0 25 0 4 0 1115685432 1665699840 395230 4294967295 134512640 135305190 3217762288 2992888640 134551945 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29294/tid=29297] ppid=29287 vsize=1626660 CPUtime=359.84
/proc/29294/task/29297/stat : 29297 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 12993 0 0 0 35937 47 0 0 25 0 4 0 1115685432 1665699840 395230 4294967295 134512640 135305190 3217762288 2941426880 134528548 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1322.64
Current children cumulated vsize (KiB) 1629080
[startup+522.307 s]
/proc/loadavg: 5.53 5.41 5.45 7/129 30808
/proc/meminfo: memFree=425504/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2420 CPUtime=31.8
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 371 95099 0 0 0 0 3109 71 18 0 1 0 1115681385 2478080 275 4294967295 134512640 135169312 3214808352 3214804568 3085291246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29287/statm: 605 275 231 161 0 44 0
[pid=29294] ppid=29287 vsize=1766856 CPUtime=1467.86
/proc/29294/stat : 29294 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202496 430016 0 0 0 146442 344 0 0 25 0 4 0 1115684763 1809260544 429878 4294967295 134512640 135305190 3217762288 3217760208 134541944 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/29294/statm: 441714 429878 79 194 0 441518 0
[pid=29294/tid=29295] ppid=29287 vsize=1766856 CPUtime=359.58
/proc/29294/task/29295/stat : 29295 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 19207 0 0 0 35917 41 0 0 25 0 4 0 1115685432 1809260544 429878 4294967295 134512640 135305190 3217762288 3001277632 134528248 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=29294/tid=29296] ppid=29287 vsize=1766856 CPUtime=341.41
/proc/29294/task/29296/stat : 29296 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 190195 0 0 0 34026 115 0 0 25 0 4 0 1115685432 1809260544 429878 4294967295 134512640 135305190 3217762288 2992889024 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29294/tid=29297] ppid=29287 vsize=1766856 CPUtime=415.1
/proc/29294/task/29297/stat : 29297 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 13741 0 0 0 41456 54 0 0 25 0 4 0 1115685432 1809260544 429878 4294967295 134512640 135305190 3217762288 2941426880 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1499.66
Current children cumulated vsize (KiB) 1769276
[startup+582.312 s]
/proc/loadavg: 5.55 5.45 5.46 6/129 30997
/proc/meminfo: memFree=377348/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2420 CPUtime=31.8
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 371 95099 0 0 0 0 3109 71 18 0 1 0 1115681385 2478080 275 4294967295 134512640 135169312 3214808352 3214804568 3085291246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29287/statm: 605 275 231 161 0 44 0
[pid=29294] ppid=29287 vsize=1788928 CPUtime=1646.73
/proc/29294/stat : 29294 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202496 435158 0 0 0 164315 358 0 0 25 0 4 0 1115684763 1831862272 435020 4294967295 134512640 135305190 3217762288 3217760464 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/29294/statm: 447232 435020 79 194 0 447036 0
[pid=29294/tid=29295] ppid=29287 vsize=1788928 CPUtime=412.93
/proc/29294/task/29295/stat : 29295 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 19422 0 0 0 41248 45 0 0 25 0 4 0 1115685432 1831862272 435020 4294967295 134512640 135305190 3217762288 3001277632 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=29294/tid=29296] ppid=29287 vsize=1788928 CPUtime=373.87
/proc/29294/task/29296/stat : 29296 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 194923 0 0 0 37266 121 0 0 25 0 4 0 1115685432 1831862272 435020 4294967295 134512640 135305190 3217762288 2992889016 134570422 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29294/tid=29297] ppid=29287 vsize=1788928 CPUtime=473.33
/proc/29294/task/29297/stat : 29297 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 13831 0 0 0 47276 57 0 0 25 0 4 0 1115685432 1831862272 435020 4294967295 134512640 135305190 3217762288 2941426880 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1678.53
Current children cumulated vsize (KiB) 1791348
[startup+642.307 s]
/proc/loadavg: 5.51 5.47 5.46 6/129 31185
/proc/meminfo: memFree=375096/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2420 CPUtime=31.8
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 371 95099 0 0 0 0 3109 71 18 0 1 0 1115681385 2478080 275 4294967295 134512640 135169312 3214808352 3214804568 3085291246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29287/statm: 605 275 231 161 0 44 0
[pid=29294] ppid=29287 vsize=1795020 CPUtime=1825.98
/proc/29294/stat : 29294 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202496 436680 0 0 0 182218 380 0 0 25 0 4 0 1115684763 1838100480 436542 4294967295 134512640 135305190 3217762288 3217760312 134694990 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/29294/statm: 448755 436542 79 194 0 448559 0
[pid=29294/tid=29295] ppid=29287 vsize=1795020 CPUtime=472.74
/proc/29294/task/29295/stat : 29295 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 19569 0 0 0 47220 54 0 0 25 0 4 0 1115685432 1838100480 436542 4294967295 134512640 135305190 3217762288 3001277376 134542019 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=29294/tid=29296] ppid=29287 vsize=1795020 CPUtime=412.39
/proc/29294/task/29296/stat : 29296 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 196093 0 0 0 41108 131 0 0 25 0 4 0 1115685432 1838100480 436542 4294967295 134512640 135305190 3217762288 2992889024 134530561 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29294/tid=29297] ppid=29287 vsize=1795020 CPUtime=525.5
/proc/29294/task/29297/stat : 29297 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 13865 0 0 0 52491 59 0 0 25 0 4 0 1115685432 1838100480 436542 4294967295 134512640 135305190 3217762288 2941426880 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1857.78
Current children cumulated vsize (KiB) 1797440
[startup+702.312 s]
/proc/loadavg: 5.49 5.47 5.46 7/129 31373
/proc/meminfo: memFree=370168/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2420 CPUtime=31.8
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 371 95099 0 0 0 0 3109 71 18 0 1 0 1115681385 2478080 275 4294967295 134512640 135169312 3214808352 3214804568 3085291246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29287/statm: 605 275 231 161 0 44 0
[pid=29294] ppid=29287 vsize=1907280 CPUtime=2005.22
/proc/29294/stat : 29294 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202496 464998 0 0 0 200108 414 0 0 25 0 4 0 1115684763 1953054720 464860 4294967295 134512640 135305190 3217762288 3217760128 134551681 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/29294/statm: 476820 464860 79 194 0 476624 0
[pid=29294/tid=29295] ppid=29287 vsize=1907280 CPUtime=528.13
/proc/29294/task/29295/stat : 29295 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 20703 0 0 0 52753 60 0 0 25 0 4 0 1115685432 1953054720 464860 4294967295 134512640 135305190 3217762288 3001277632 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=29294/tid=29296] ppid=29287 vsize=1907280 CPUtime=471.78
/proc/29294/task/29296/stat : 29296 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 222359 0 0 0 47026 152 0 0 25 0 4 0 1115685432 1953054720 464860 4294967295 134512640 135305190 3217762288 2992888640 134551697 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29294/tid=29297] ppid=29287 vsize=1907280 CPUtime=560.41
/proc/29294/task/29297/stat : 29297 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 14182 0 0 0 55978 63 0 0 25 0 4 0 1115685432 1953054720 464860 4294967295 134512640 135305190 3217762288 2941426624 134541947 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2037.02
Current children cumulated vsize (KiB) 1909700
[startup+762.317 s]
/proc/loadavg: 5.67 5.52 5.47 6/129 31560
/proc/meminfo: memFree=408164/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2420 CPUtime=31.8
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 371 95099 0 0 0 0 3109 71 18 0 1 0 1115681385 2478080 275 4294967295 134512640 135169312 3214808352 3214804568 3085291246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29287/statm: 605 275 231 161 0 44 0
[pid=29294] ppid=29287 vsize=2022624 CPUtime=2184.35
/proc/29294/stat : 29294 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202496 493792 0 0 0 217973 462 0 0 25 0 4 0 1115684763 2071166976 493654 4294967295 134512640 135305190 3217762288 3217760464 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/29294/statm: 505656 493654 79 194 0 505460 0
[pid=29294/tid=29295] ppid=29287 vsize=2022624 CPUtime=574.33
/proc/29294/task/29295/stat : 29295 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 23134 0 0 0 57357 76 0 0 25 0 4 0 1115685432 2071166976 493654 4294967295 134512640 135305190 3217762288 3001277632 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29294/tid=29296] ppid=29287 vsize=2022624 CPUtime=508.6
/proc/29294/task/29296/stat : 29296 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 246088 0 0 0 50692 168 0 0 25 0 4 0 1115685432 2071166976 493654 4294967295 134512640 135305190 3217762288 2992888704 134553236 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29294/tid=29297] ppid=29287 vsize=2022624 CPUtime=598.83
/proc/29294/task/29297/stat : 29297 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 14965 0 0 0 59811 72 0 0 25 0 4 0 1115685432 2071166976 493654 4294967295 134512640 135305190 3217762288 2941426880 134528289 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2216.15
Current children cumulated vsize (KiB) 2025044
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+806.113 s]
/proc/loadavg: 5.91 5.59 5.49 6/129 31751
/proc/meminfo: memFree=370716/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2420 CPUtime=31.8
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 371 95099 0 0 0 0 3109 71 18 0 1 0 1115681385 2478080 275 4294967295 134512640 135169312 3214808352 3214804568 3085291246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29287/statm: 605 275 231 161 0 44 0
[pid=29294] ppid=29287 vsize=2093728 CPUtime=2314.97
/proc/29294/stat : 29294 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202496 511439 0 0 0 231022 475 0 0 25 0 4 0 1115684763 2143977472 511301 4294967295 134512640 135305190 3217762288 3217760464 134528280 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/29294/statm: 523432 511301 79 194 0 523236 0
[pid=29294/tid=29295] ppid=29287 vsize=2093728 CPUtime=601.93
/proc/29294/task/29295/stat : 29295 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 24659 0 0 0 60114 79 0 0 25 0 4 0 1115685432 2143977472 511301 4294967295 134512640 135305190 3217762288 3001277632 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29294/tid=29296] ppid=29287 vsize=2093728 CPUtime=530.73
/proc/29294/task/29296/stat : 29296 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 260425 0 0 0 52901 172 0 0 25 0 4 0 1115685432 2143977472 511301 4294967295 134512640 135305190 3217762288 2992888640 134551636 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=29294/tid=29297] ppid=29287 vsize=2093728 CPUtime=637.51
/proc/29294/task/29297/stat : 29297 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 15727 0 0 0 63678 73 0 0 25 0 4 0 1115685432 2143977472 511301 4294967295 134512640 135305190 3217762288 2941426880 134528571 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2346.77
Current children cumulated vsize (KiB) 2096148
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+806.113 s]
/proc/loadavg: 5.91 5.59 5.49 6/129 31751
/proc/meminfo: memFree=370716/3368532 swapFree=1957708/1959888
[pid=29287] ppid=29285 vsize=2420 CPUtime=31.8
/proc/29287/stat : 29287 (manysat.sh) S 29285 29287 21334 0 -1 4194304 371 95099 0 0 0 0 3109 71 18 0 1 0 1115681385 2478080 275 4294967295 134512640 135169312 3214808352 3214804568 3085291246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/29287/statm: 605 275 231 161 0 44 0
[pid=29294] ppid=29287 vsize=2093728 CPUtime=2314.97
/proc/29294/stat : 29294 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202496 511439 0 0 0 231022 475 0 0 25 0 4 0 1115684763 2143977472 511301 4294967295 134512640 135305190 3217762288 3217760464 134528280 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/29294/statm: 523432 511301 79 194 0 523236 0
[pid=29294/tid=29295] ppid=29287 vsize=2093728 CPUtime=601.93
/proc/29294/task/29295/stat : 29295 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 24659 0 0 0 60114 79 0 0 25 0 4 0 1115685432 2143977472 511301 4294967295 134512640 135305190 3217762288 3001277632 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=29294/tid=29296] ppid=29287 vsize=2093728 CPUtime=530.73
/proc/29294/task/29296/stat : 29296 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 260425 0 0 0 52901 172 0 0 25 0 4 0 1115685432 2143977472 511301 4294967295 134512640 135305190 3217762288 2992888640 134551636 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=29294/tid=29297] ppid=29287 vsize=2093728 CPUtime=637.51
/proc/29294/task/29297/stat : 29297 (manysat1.1_stat) R 29287 29287 21334 0 -1 4202560 15727 0 0 0 63678 73 0 0 25 0 4 0 1115685432 2143977472 511301 4294967295 134512640 135305190 3217762288 2941426880 134528571 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2346.77
Current children cumulated vsize (KiB) 2096148
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29287 and gives
# childrusage.ru_utime.tv_sec=31
# childrusage.ru_utime.tv_usec=90000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=710000
# CPU time returned by wait4() is 31.8
# while last known CPU time is 2346.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 806.143
CPU time (s): 2346.77
CPU user time (s): 2341.31
CPU system time (s): 5.46
CPU usage (%): 291.111
Max. virtual memory (cumulated for all children) (KiB): 2096148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.09
system time used= 0.71
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95470
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= 10
involuntary context switches= 826
runsolver used 0.01 second user time and 0.05 second system time
The end
Begin job on at 2009-05-28 13:29:29
IDJOB=1776487
IDBENCH=20576
IDSOLVER=626
FILE ID=/1776487-1243510169
PBS_JOBID=
Free space on /tmp= 15810 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776487-1243510169/watcher-1776487-1243510169 -o /tmp/evaluation-result-1776487-1243510169/solver-1776487-1243510169 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776487-1243510169.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 580dc3969c4e46e50013253fd4ac9139
RANDOM SEED= 1685819462
Linux (none) 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.105
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.43
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.105
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.11
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.105
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.105
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: 2109324 kB
Buffers: 14256 kB
Cached: 544304 kB
SwapCached: 16 kB
Active: 758620 kB
Inactive: 438604 kB
HighTotal: 2489216 kB
HighFree: 1303644 kB
LowTotal: 879316 kB
LowFree: 805680 kB
SwapTotal: 1959888 kB
SwapFree: 1957708 kB
Dirty: 79444 kB
Writeback: 0 kB
AnonPages: 638716 kB
Mapped: 35512 kB
Slab: 52284 kB
SReclaimable: 42948 kB
SUnreclaim: 9336 kB
PageTables: 1336 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 894708 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15725 MiB
End job on at 2009-05-28 13:43:02