0.00/0.00 c Parsing...
0.72/0.74 c ==============================================================================
0.72/0.74 c | | ORIGINAL | LEARNT | |
0.72/0.74 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.72/0.74 c ==============================================================================
0.72/0.74 c | 0 | 812763 1945115 | 243828 0 0 nan | 0.000 % |
4.32/4.34 c | 0 | 546996 1519613 | -- 0 -- -- | -- | -74850/8386
4.32/4.34 c ==============================================================================
4.32/4.34 c Result : #vars: 85935 #clauses: 546996 #literals: 1519613
4.32/4.34 c CPU time: 4.2 s
4.32/4.34 c ==============================================================================
1182.36/301.12 c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
1182.36/301.12 c ============================[ Problem Statistics ]=============================
1182.36/301.12 c | |
1182.36/301.12 c threadId : 1
1182.36/301.12 c restarts : 2365
1182.36/301.12 c conflicts : 195823 (167 /sec)
1182.36/301.12 c decisions : 1010397 (1.41 % random) (859 /sec)
1182.36/301.12 c propagations : 358516938 (304918 /sec)
1182.36/301.12 c conflict literals : 23707379 (34.61 % deleted)
1182.36/301.12 c Memory used : 365.57 MB
1182.36/301.12 c CPU time : 1175.78 s
1182.36/301.12
1182.36/301.12 c --->m=4, e=8, aimd=2, HOME/21362_many.cnf time: 293.945 conflicts: 195823
1182.36/301.14 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1780447-1243531446/watcher-1780447-1243531446 -o /tmp/evaluation-result-1780447-1243531446/solver-1780447-1243531446 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780447-1243531446.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.14 4.46 4.31 3/115 21362
/proc/meminfo: memFree=2947944/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2416 CPUtime=0
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1117824513 2473984 274 4294967295 134512640 135169312 3214187664 3214186200 3085614830 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21362/statm: 604 274 231 161 0 43 0
[pid=21363] ppid=21362 vsize=2428 CPUtime=0
/proc/21363/stat : 21363 (SatElite) R 21362 21362 12261 0 -1 4202496 526 0 0 0 0 0 0 0 18 0 1 0 1117824513 2486272 463 4294967295 134512640 135034092 3215703488 3215699776 134544897 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21363/statm: 607 465 49 128 0 477 0
[startup+0.05629 s]
/proc/loadavg: 4.14 4.46 4.31 3/115 21362
/proc/meminfo: memFree=2947944/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2416 CPUtime=0
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1117824513 2473984 274 4294967295 134512640 135169312 3214187664 3214186200 3085614830 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21362/statm: 604 274 231 161 0 43 0
[pid=21363] ppid=21362 vsize=27856 CPUtime=0.06
/proc/21363/stat : 21363 (SatElite) R 21362 21362 12261 0 -1 4202496 4206 0 0 0 3 3 0 0 18 0 1 0 1117824513 28524544 4039 4294967295 134512640 135034092 3215703488 3215699832 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21363/statm: 6964 4040 49 128 0 6834 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 30272
[startup+0.116288 s]
/proc/loadavg: 4.14 4.46 4.31 3/115 21362
/proc/meminfo: memFree=2947944/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2416 CPUtime=0
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1117824513 2473984 274 4294967295 134512640 135169312 3214187664 3214186200 3085614830 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21362/statm: 604 274 231 161 0 43 0
[pid=21363] ppid=21362 vsize=36676 CPUtime=0.12
/proc/21363/stat : 21363 (SatElite) R 21362 21362 12261 0 -1 4202496 6297 0 0 0 8 4 0 0 18 0 1 0 1117824513 37556224 6130 4294967295 134512640 135034092 3215703488 3215699832 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21363/statm: 9169 6131 49 128 0 9039 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 39092
[startup+0.31628 s]
/proc/loadavg: 4.14 4.46 4.31 3/115 21362
/proc/meminfo: memFree=2947944/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2416 CPUtime=0
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1117824513 2473984 274 4294967295 134512640 135169312 3214187664 3214186200 3085614830 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21362/statm: 604 274 231 161 0 43 0
[pid=21363] ppid=21362 vsize=51296 CPUtime=0.32
/proc/21363/stat : 21363 (SatElite) R 21362 21362 12261 0 -1 4202496 9962 0 0 0 26 6 0 0 18 0 1 0 1117824513 52527104 9795 4294967295 134512640 135034092 3215703488 3215699832 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21363/statm: 12824 9795 49 128 0 12694 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 53712
[startup+0.716264 s]
/proc/loadavg: 4.14 4.46 4.31 3/115 21362
/proc/meminfo: memFree=2947944/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2416 CPUtime=0
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1117824513 2473984 274 4294967295 134512640 135169312 3214187664 3214186200 3085614830 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21362/statm: 604 274 231 161 0 43 0
[pid=21363] ppid=21362 vsize=80284 CPUtime=0.72
/proc/21363/stat : 21363 (SatElite) R 21362 21362 12261 0 -1 4202496 17628 0 0 0 61 11 0 0 19 0 1 0 1117824513 82210816 17461 4294967295 134512640 135034092 3215703488 3215700880 134542595 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21363/statm: 20071 17461 50 128 0 19941 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 82700
[startup+1.51623 s]
/proc/loadavg: 4.14 4.46 4.31 2/117 21364
/proc/meminfo: memFree=2870096/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2416 CPUtime=0
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1117824513 2473984 274 4294967295 134512640 135169312 3214187664 3214186200 3085614830 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21362/statm: 604 274 231 161 0 43 0
[pid=21363] ppid=21362 vsize=100348 CPUtime=1.52
/proc/21363/stat : 21363 (SatElite) R 21362 21362 12261 0 -1 4202496 23780 0 0 0 140 12 0 0 20 0 1 0 1117824513 102756352 21610 4294967295 134512640 135034092 3215703488 3215699484 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21363/statm: 25087 21610 67 128 0 24957 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 102764
[startup+3.11617 s]
/proc/loadavg: 4.14 4.46 4.31 2/117 21364
/proc/meminfo: memFree=2856664/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2416 CPUtime=0
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1117824513 2473984 274 4294967295 134512640 135169312 3214187664 3214186200 3085614830 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21362/statm: 604 274 231 161 0 43 0
[pid=21363] ppid=21362 vsize=102048 CPUtime=3.12
/proc/21363/stat : 21363 (SatElite) R 21362 21362 12261 0 -1 4202496 26453 0 0 0 299 13 0 0 25 0 1 0 1117824513 104497152 22024 4294967295 134512640 135034092 3215703488 3215699728 134566251 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21363/statm: 25512 22024 67 128 0 25382 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 104464
[startup+6.31605 s]
/proc/loadavg: 3.89 4.40 4.29 2/117 21365
/proc/meminfo: memFree=2865920/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2420 CPUtime=4.98
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 372 30122 0 0 0 0 481 17 15 0 1 0 1117824513 2478080 275 4294967295 134512640 135169312 3214187664 3214183880 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21362/statm: 605 275 231 161 0 44 0
[pid=21365] ppid=21362 vsize=175452 CPUtime=1.59
/proc/21365/stat : 21365 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202496 36185 0 0 0 134 25 0 0 19 0 4 0 1117825011 179662848 36070 4294967295 134512640 135305190 3220173376 3220171476 134695249 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21365/statm: 43863 36070 78 194 0 43667 0
Current children cumulated CPU time (s) 6.57
Current children cumulated vsize (KiB) 177872
[startup+12.7158 s]
/proc/loadavg: 4.13 4.45 4.31 7/121 21370
/proc/meminfo: memFree=2780336/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2420 CPUtime=4.98
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 372 30122 0 0 0 0 481 17 15 0 1 0 1117824513 2478080 275 4294967295 134512640 135169312 3214187664 3214183880 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21362/statm: 605 275 231 161 0 44 0
[pid=21365] ppid=21362 vsize=183188 CPUtime=26.76
/proc/21365/stat : 21365 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202496 38033 0 0 0 2633 43 0 0 16 0 4 0 1117825011 187584512 37918 4294967295 134512640 135305190 3220173376 3220171296 134542034 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21365/statm: 45797 37918 79 194 0 45601 0
[pid=21365/tid=21366] ppid=21362 vsize=183188 CPUtime=6.41
/proc/21365/task/21366/stat : 21366 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 774 0 0 0 627 14 0 0 16 0 4 0 1117825129 187584512 37918 4294967295 134512640 135305190 3220173376 3041434816 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21365/tid=21367] ppid=21362 vsize=183188 CPUtime=6.43
/proc/21365/task/21367/stat : 21367 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 842 0 0 0 634 9 0 0 16 0 4 0 1117825129 187584512 37918 4294967295 134512640 135305190 3220173376 3033046208 134528201 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21365/tid=21368] ppid=21362 vsize=183188 CPUtime=6.33
/proc/21365/task/21368/stat : 21368 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 743 0 0 0 625 8 0 0 16 0 4 0 1117825129 187584512 37918 4294967295 134512640 135305190 3220173376 3024657600 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 31.74
Current children cumulated vsize (KiB) 185608
[startup+25.5153 s]
/proc/loadavg: 4.60 4.54 4.34 5/120 21552
/proc/meminfo: memFree=2766180/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2420 CPUtime=4.98
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 372 30122 0 0 0 0 481 17 15 0 1 0 1117824513 2478080 275 4294967295 134512640 135169312 3214187664 3214183880 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21362/statm: 605 275 231 161 0 44 0
[pid=21365] ppid=21362 vsize=197612 CPUtime=77.52
/proc/21365/stat : 21365 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202496 41698 0 0 0 7704 48 0 0 25 0 4 0 1117825011 202354688 41583 4294967295 134512640 135305190 3220173376 3220171552 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21365/statm: 49403 41583 79 194 0 49207 0
[pid=21365/tid=21366] ppid=21362 vsize=197612 CPUtime=19.05
/proc/21365/task/21366/stat : 21366 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 1513 0 0 0 1891 14 0 0 25 0 4 0 1117825129 202354688 41583 4294967295 134512640 135305190 3220173376 3041434564 134840070 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21365/tid=21367] ppid=21362 vsize=197612 CPUtime=19.15
/proc/21365/task/21367/stat : 21367 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 1999 0 0 0 1905 10 0 0 25 0 4 0 1117825129 202354688 41583 4294967295 134512640 135305190 3220173376 3033045824 134551697 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21365/tid=21368] ppid=21362 vsize=197612 CPUtime=19.02
/proc/21365/task/21368/stat : 21368 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 1309 0 0 0 1892 10 0 0 25 0 4 0 1117825129 202354688 41583 4294967295 134512640 135305190 3220173376 3024657344 134546042 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 82.5
Current children cumulated vsize (KiB) 200032
[startup+51.1143 s]
/proc/loadavg: 4.54 4.53 4.34 5/120 21557
/proc/meminfo: memFree=2739172/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2420 CPUtime=4.98
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 372 30122 0 0 0 0 481 17 15 0 1 0 1117824513 2478080 275 4294967295 134512640 135169312 3214187664 3214183880 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21362/statm: 605 275 231 161 0 44 0
[pid=21365] ppid=21362 vsize=224944 CPUtime=179.73
/proc/21365/stat : 21365 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202496 48573 0 0 0 17911 62 0 0 25 0 4 0 1117825011 230342656 48441 4294967295 134512640 135305190 3220173376 3220171280 134558345 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21365/statm: 56236 48441 79 194 0 56040 0
[pid=21365/tid=21366] ppid=21362 vsize=224944 CPUtime=44.65
/proc/21365/task/21366/stat : 21366 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 2853 0 0 0 4444 21 0 0 25 0 4 0 1117825129 230342656 48441 4294967295 134512640 135305190 3220173376 3041434816 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21365/tid=21367] ppid=21362 vsize=224944 CPUtime=44.75
/proc/21365/task/21367/stat : 21367 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 4076 0 0 0 4461 14 0 0 25 0 4 0 1117825129 230342656 48441 4294967295 134512640 135305190 3220173376 3033046208 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21365/tid=21368] ppid=21362 vsize=224944 CPUtime=44.44
/proc/21365/task/21368/stat : 21368 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 2581 0 0 0 4432 12 0 0 25 0 4 0 1117825129 230342656 48441 4294967295 134512640 135305190 3220173376 3024657600 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 184.71
Current children cumulated vsize (KiB) 227364
[startup+102.312 s]
/proc/loadavg: 4.38 4.49 4.34 5/120 21741
/proc/meminfo: memFree=2697220/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2420 CPUtime=4.98
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 372 30122 0 0 0 0 481 17 15 0 1 0 1117824513 2478080 275 4294967295 134512640 135169312 3214187664 3214183880 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21362/statm: 605 275 231 161 0 44 0
[pid=21365] ppid=21362 vsize=266840 CPUtime=383.9
/proc/21365/stat : 21365 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202496 58990 0 0 0 38306 84 0 0 25 0 4 0 1117825011 273244160 58858 4294967295 134512640 135305190 3220173376 3220171552 134528858 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21365/statm: 66710 58858 79 194 0 66514 0
[pid=21365/tid=21366] ppid=21362 vsize=266840 CPUtime=95.65
/proc/21365/task/21366/stat : 21366 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 4941 0 0 0 9541 24 0 0 25 0 4 0 1117825129 273244160 58858 4294967295 134512640 135305190 3220173376 3041434660 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21365/tid=21367] ppid=21362 vsize=266840 CPUtime=95.91
/proc/21365/task/21367/stat : 21367 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 7210 0 0 0 9575 16 0 0 25 0 4 0 1117825129 273244160 58858 4294967295 134512640 135305190 3220173376 3033045824 134551983 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21365/tid=21368] ppid=21362 vsize=266840 CPUtime=95.33
/proc/21365/task/21368/stat : 21368 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 4974 0 0 0 9508 25 0 0 25 0 4 0 1117825129 273244160 58858 4294967295 134512640 135305190 3220173376 3024657600 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 388.88
Current children cumulated vsize (KiB) 269260
[startup+162.31 s]
/proc/loadavg: 4.32 4.45 4.34 6/120 21930
/proc/meminfo: memFree=2659060/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2420 CPUtime=4.98
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 372 30122 0 0 0 0 481 17 15 0 1 0 1117824513 2478080 275 4294967295 134512640 135169312 3214187664 3214183880 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21362/statm: 605 275 231 161 0 44 0
[pid=21365] ppid=21362 vsize=305288 CPUtime=623.27
/proc/21365/stat : 21365 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202496 68572 0 0 0 62214 113 0 0 25 0 4 0 1117825011 312614912 68440 4294967295 134512640 135305190 3220173376 3220171344 134547670 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21365/statm: 76322 68440 79 194 0 76126 0
[pid=21365/tid=21366] ppid=21362 vsize=305288 CPUtime=155.52
/proc/21365/task/21366/stat : 21366 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 6868 0 0 0 15525 27 0 0 25 0 4 0 1117825129 312614912 68440 4294967295 134512640 135305190 3220173376 3041434544 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21365/tid=21367] ppid=21362 vsize=305288 CPUtime=155.81
/proc/21365/task/21367/stat : 21367 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 9810 0 0 0 15561 20 0 0 25 0 4 0 1117825129 312614912 68440 4294967295 134512640 135305190 3220173376 3033046208 134530561 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21365/tid=21368] ppid=21362 vsize=305288 CPUtime=155.04
/proc/21365/task/21368/stat : 21368 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 7029 0 0 0 15466 38 0 0 25 0 4 0 1117825129 312614912 68440 4294967295 134512640 135305190 3220173376 3024657600 134528151 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 628.25
Current children cumulated vsize (KiB) 307708
[startup+222.307 s]
/proc/loadavg: 4.58 4.49 4.36 5/120 22118
/proc/meminfo: memFree=2622348/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2420 CPUtime=4.98
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 372 30122 0 0 0 0 481 17 15 0 1 0 1117824513 2478080 275 4294967295 134512640 135169312 3214187664 3214183880 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21362/statm: 605 275 231 161 0 44 0
[pid=21365] ppid=21362 vsize=341004 CPUtime=862.73
/proc/21365/stat : 21365 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202496 77404 0 0 0 86135 138 0 0 25 0 4 0 1117825011 349188096 77272 4294967295 134512640 135305190 3220173376 3220171552 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21365/statm: 85251 77272 79 194 0 85055 0
[pid=21365/tid=21366] ppid=21362 vsize=341004 CPUtime=215.4
/proc/21365/task/21366/stat : 21366 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 8735 0 0 0 21509 31 0 0 25 0 4 0 1117825129 349188096 77272 4294967295 134512640 135305190 3220173376 3041434480 134551945 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21365/tid=21367] ppid=21362 vsize=341004 CPUtime=215.59
/proc/21365/task/21367/stat : 21367 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 12336 0 0 0 21534 25 0 0 25 0 4 0 1117825129 349188096 77272 4294967295 134512640 135305190 3220173376 3033046208 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21365/tid=21368] ppid=21362 vsize=341004 CPUtime=214.91
/proc/21365/task/21368/stat : 21368 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 8944 0 0 0 21452 39 0 0 25 0 4 0 1117825129 349188096 77272 4294967295 134512640 135305190 3220173376 3024657600 134528562 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 867.71
Current children cumulated vsize (KiB) 343424
[startup+282.305 s]
/proc/loadavg: 4.45 4.46 4.35 5/120 22307
/proc/meminfo: memFree=2588400/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2420 CPUtime=4.98
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 372 30122 0 0 0 0 481 17 15 0 1 0 1117824513 2478080 275 4294967295 134512640 135169312 3214187664 3214183880 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21362/statm: 605 275 231 161 0 44 0
[pid=21365] ppid=21362 vsize=373232 CPUtime=1102.25
/proc/21365/stat : 21365 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202496 85710 0 0 0 110064 161 0 0 25 0 4 0 1117825011 382189568 85578 4294967295 134512640 135305190 3220173376 3220171216 134551651 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21365/statm: 93308 85578 79 194 0 93112 0
[pid=21365/tid=21366] ppid=21362 vsize=373232 CPUtime=275.33
/proc/21365/task/21366/stat : 21366 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 10701 0 0 0 27498 35 0 0 25 0 4 0 1117825129 382189568 85578 4294967295 134512640 135305190 3220173376 3041434480 134551919 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21365/tid=21367] ppid=21362 vsize=373232 CPUtime=275.52
/proc/21365/task/21367/stat : 21367 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 14617 0 0 0 27524 28 0 0 25 0 4 0 1117825129 382189568 85578 4294967295 134512640 135305190 3220173376 3033046208 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21365/tid=21368] ppid=21362 vsize=373232 CPUtime=274.73
/proc/21365/task/21368/stat : 21368 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 10504 0 0 0 27429 44 0 0 25 0 4 0 1117825129 382189568 85578 4294967295 134512640 135305190 3220173376 3024657600 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1107.23
Current children cumulated vsize (KiB) 375652
Solver just ended. Dumping a history of the last processes samples
[startup+294.305 s]
/proc/loadavg: 4.38 4.45 4.35 6/120 22307
/proc/meminfo: memFree=2588248/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2420 CPUtime=4.98
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 372 30122 0 0 0 0 481 17 15 0 1 0 1117824513 2478080 275 4294967295 134512640 135169312 3214187664 3214183880 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21362/statm: 605 275 231 161 0 44 0
[pid=21365] ppid=21362 vsize=373520 CPUtime=1150.14
/proc/21365/stat : 21365 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202496 85796 0 0 0 114851 163 0 0 25 0 4 0 1117825011 382484480 85664 4294967295 134512640 135305190 3220173376 3220171552 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21365/statm: 93380 85664 79 194 0 93184 0
[pid=21365/tid=21366] ppid=21362 vsize=373520 CPUtime=287.33
/proc/21365/task/21366/stat : 21366 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 10719 0 0 0 28696 37 0 0 25 0 4 0 1117825129 382484480 85664 4294967295 134512640 135305190 3220173376 3041434480 134551978 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21365/tid=21367] ppid=21362 vsize=373520 CPUtime=287.52
/proc/21365/task/21367/stat : 21367 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 14658 0 0 0 28724 28 0 0 25 0 4 0 1117825129 382484480 85664 4294967295 134512640 135305190 3220173376 3033046208 134528615 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21365/tid=21368] ppid=21362 vsize=373520 CPUtime=286.62
/proc/21365/task/21368/stat : 21368 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 10504 0 0 0 28618 44 0 0 25 0 4 0 1117825129 382484480 85664 4294967295 134512640 135305190 3220173376 3024657264 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1155.12
Current children cumulated vsize (KiB) 375940
[startup+297.514 s]
/proc/loadavg: 4.35 4.44 4.35 5/120 22307
/proc/meminfo: memFree=2588248/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2420 CPUtime=4.98
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 372 30122 0 0 0 0 481 17 15 0 1 0 1117824513 2478080 275 4294967295 134512640 135169312 3214187664 3214183880 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21362/statm: 605 275 231 161 0 44 0
[pid=21365] ppid=21362 vsize=373808 CPUtime=1162.98
/proc/21365/stat : 21365 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202496 85845 0 0 0 116135 163 0 0 25 0 4 0 1117825011 382779392 85713 4294967295 134512640 135305190 3220173376 3220171552 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21365/statm: 93452 85713 79 194 0 93256 0
[pid=21365/tid=21366] ppid=21362 vsize=373808 CPUtime=290.54
/proc/21365/task/21366/stat : 21366 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 10730 0 0 0 29017 37 0 0 25 0 4 0 1117825129 382779392 85713 4294967295 134512640 135305190 3220173376 3041434816 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21365/tid=21367] ppid=21362 vsize=373808 CPUtime=290.73
/proc/21365/task/21367/stat : 21367 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 14696 0 0 0 29045 28 0 0 25 0 4 0 1117825129 382779392 85713 4294967295 134512640 135305190 3220173376 3033046208 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21365/tid=21368] ppid=21362 vsize=373808 CPUtime=289.83
/proc/21365/task/21368/stat : 21368 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 10504 0 0 0 28939 44 0 0 25 0 4 0 1117825129 382779392 85713 4294967295 134512640 135305190 3220173376 3024657600 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1167.96
Current children cumulated vsize (KiB) 376228
[startup+299.114 s]
/proc/loadavg: 4.32 4.43 4.35 5/120 22307
/proc/meminfo: memFree=2588124/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2420 CPUtime=4.98
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 372 30122 0 0 0 0 481 17 15 0 1 0 1117824513 2478080 275 4294967295 134512640 135169312 3214187664 3214183880 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21362/statm: 605 275 231 161 0 44 0
[pid=21365] ppid=21362 vsize=374000 CPUtime=1169.38
/proc/21365/stat : 21365 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202496 85885 0 0 0 116775 163 0 0 25 0 4 0 1117825011 382976000 85753 4294967295 134512640 135305190 3220173376 3220171552 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21365/statm: 93500 85753 79 194 0 93304 0
[pid=21365/tid=21366] ppid=21362 vsize=374000 CPUtime=292.14
/proc/21365/task/21366/stat : 21366 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 10731 0 0 0 29177 37 0 0 25 0 4 0 1117825129 382976000 85753 4294967295 134512640 135305190 3220173376 3041434816 134528512 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21365/tid=21367] ppid=21362 vsize=374000 CPUtime=292.33
/proc/21365/task/21367/stat : 21367 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 14733 0 0 0 29205 28 0 0 25 0 4 0 1117825129 382976000 85753 4294967295 134512640 135305190 3220173376 3033046208 134528248 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21365/tid=21368] ppid=21362 vsize=374000 CPUtime=291.43
/proc/21365/task/21368/stat : 21368 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 10506 0 0 0 29099 44 0 0 25 0 4 0 1117825129 382976000 85753 4294967295 134512640 135305190 3220173376 3024657600 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1174.36
Current children cumulated vsize (KiB) 376420
[startup+299.914 s]
/proc/loadavg: 4.32 4.43 4.35 5/120 22307
/proc/meminfo: memFree=2588124/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2420 CPUtime=4.98
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 372 30122 0 0 0 0 481 17 15 0 1 0 1117824513 2478080 275 4294967295 134512640 135169312 3214187664 3214183880 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21362/statm: 605 275 231 161 0 44 0
[pid=21365] ppid=21362 vsize=374000 CPUtime=1172.58
/proc/21365/stat : 21365 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202496 85907 0 0 0 117094 164 0 0 25 0 4 0 1117825011 382976000 85775 4294967295 134512640 135305190 3220173376 3220171216 134551712 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21365/statm: 93500 85775 79 194 0 93304 0
[pid=21365/tid=21366] ppid=21362 vsize=374000 CPUtime=292.94
/proc/21365/task/21366/stat : 21366 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 10740 0 0 0 29257 37 0 0 25 0 4 0 1117825129 382976000 85775 4294967295 134512640 135305190 3220173376 3041434544 134556789 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21365/tid=21367] ppid=21362 vsize=374000 CPUtime=293.13
/proc/21365/task/21367/stat : 21367 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 14743 0 0 0 29285 28 0 0 25 0 4 0 1117825129 382976000 85775 4294967295 134512640 135305190 3220173376 3033046208 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21365/tid=21368] ppid=21362 vsize=374000 CPUtime=292.23
/proc/21365/task/21368/stat : 21368 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 10506 0 0 0 29179 44 0 0 25 0 4 0 1117825129 382976000 85775 4294967295 134512640 135305190 3220173376 3024657600 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1177.56
Current children cumulated vsize (KiB) 376420
[startup+300.714 s]
/proc/loadavg: 4.32 4.43 4.35 5/120 22307
/proc/meminfo: memFree=2588000/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2420 CPUtime=4.98
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 372 30122 0 0 0 0 481 17 15 0 1 0 1117824513 2478080 275 4294967295 134512640 135169312 3214187664 3214183880 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21362/statm: 605 275 231 161 0 44 0
[pid=21365] ppid=21362 vsize=374176 CPUtime=1175.78
/proc/21365/stat : 21365 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202496 85924 0 0 0 117414 164 0 0 25 0 4 0 1117825011 383156224 85792 4294967295 134512640 135305190 3220173376 3220171216 134551729 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21365/statm: 93544 85792 79 194 0 93348 0
[pid=21365/tid=21366] ppid=21362 vsize=374176 CPUtime=293.74
/proc/21365/task/21366/stat : 21366 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 10740 0 0 0 29337 37 0 0 25 0 4 0 1117825129 383156224 85792 4294967295 134512640 135305190 3220173376 3041434816 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21365/tid=21367] ppid=21362 vsize=374176 CPUtime=293.93
/proc/21365/task/21367/stat : 21367 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 14760 0 0 0 29365 28 0 0 25 0 4 0 1117825129 383156224 85792 4294967295 134512640 135305190 3220173376 3033046208 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21365/tid=21368] ppid=21362 vsize=374176 CPUtime=293.03
/proc/21365/task/21368/stat : 21368 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 10506 0 0 0 29259 44 0 0 25 0 4 0 1117825129 383156224 85792 4294967295 134512640 135305190 3220173376 3024657600 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1180.76
Current children cumulated vsize (KiB) 376596
[startup+301.114 s]
/proc/loadavg: 4.32 4.43 4.35 5/120 22307
/proc/meminfo: memFree=2588000/3368532 swapFree=1941392/1959888
[pid=21362] ppid=21360 vsize=2420 CPUtime=4.98
/proc/21362/stat : 21362 (manysat.sh) S 21360 21362 12261 0 -1 4194304 372 30122 0 0 0 0 481 17 15 0 1 0 1117824513 2478080 275 4294967295 134512640 135169312 3214187664 3214183880 3085614830 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21362/statm: 605 275 231 161 0 44 0
[pid=21365] ppid=21362 vsize=374340 CPUtime=1177.38
/proc/21365/stat : 21365 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202496 85960 0 0 0 117574 164 0 0 25 0 4 0 1117825011 383324160 85828 4294967295 134512640 135305190 3220173376 3220171552 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21365/statm: 93585 85828 79 194 0 93389 0
[pid=21365/tid=21366] ppid=21362 vsize=374340 CPUtime=294.14
/proc/21365/task/21366/stat : 21366 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 10740 0 0 0 29377 37 0 0 25 0 4 0 1117825129 383324160 85828 4294967295 134512640 135305190 3220173376 3041434816 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21365/tid=21367] ppid=21362 vsize=374340 CPUtime=294.33
/proc/21365/task/21367/stat : 21367 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 14761 0 0 0 29405 28 0 0 25 0 4 0 1117825129 383324160 85828 4294967295 134512640 135305190 3220173376 3033046208 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21365/tid=21368] ppid=21362 vsize=374340 CPUtime=293.43
/proc/21365/task/21368/stat : 21368 (manysat1.1_stat) R 21362 21362 12261 0 -1 4202560 10541 0 0 0 29299 44 0 0 25 0 4 0 1117825129 383324160 85828 4294967295 134512640 135305190 3220173376 3024657600 134528263 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1182.36
Current children cumulated vsize (KiB) 376760
Child status: 20
Real time (s): 301.155
CPU time (s): 1182.43
CPU user time (s): 1180.59
CPU system time (s): 1.84
CPU usage (%): 392.632
Max. virtual memory (cumulated for all children) (KiB): 376760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1180.59
system time used= 1.84
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116745
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= 38602
involuntary context switches= 50939
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on at 2009-05-28 19:24:06
IDJOB=1780447
IDBENCH=71008
IDSOLVER=626
FILE ID=/1780447-1243531446
PBS_JOBID=
Free space on /tmp= 15715 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-15-5p0.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1780447-1243531446/watcher-1780447-1243531446 -o /tmp/evaluation-result-1780447-1243531446/solver-1780447-1243531446 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780447-1243531446.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= b21b299f860c56270b509900cff82599
RANDOM SEED= 176313727
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.143
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.143
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.143
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.17
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.143
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: 2947944 kB
Buffers: 36340 kB
Cached: 303728 kB
SwapCached: 4320 kB
Active: 153616 kB
Inactive: 197448 kB
HighTotal: 2489216 kB
HighFree: 2172872 kB
LowTotal: 879316 kB
LowFree: 775072 kB
SwapTotal: 1959888 kB
SwapFree: 1941392 kB
Dirty: 16752 kB
Writeback: 0 kB
AnonPages: 9844 kB
Mapped: 4212 kB
Slab: 59592 kB
SReclaimable: 51036 kB
SUnreclaim: 8556 kB
PageTables: 776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 127444 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15715 MiB
End job on at 2009-05-28 19:29:08