0.00/0.00 c Parsing...
0.91/0.95 c ==============================================================================
0.91/0.95 c | | ORIGINAL | LEARNT | |
0.91/0.96 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.91/0.96 c ==============================================================================
0.91/0.96 c | 0 | 1186821 2884753 | 356046 0 0 nan | 0.000 % |
13.31/13.40 c | 0 | 571173 2544294 | -- 0 -- -- | -- | -615648/-340459
13.31/13.40 c ==============================================================================
13.31/13.40 c Result : #vars: 40759 #clauses: 571173 #literals: 2544294
13.31/13.40 c CPU time: 13.15 s
13.31/13.40 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775941-1243505391/watcher-1775941-1243505391 -o /tmp/evaluation-result-1775941-1243505391/solver-1775941-1243505391 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775941-1243505391.cnf aimd 0
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.31 4.35 3/109 21169
/proc/meminfo: memFree=1502136/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=1244 CPUtime=0
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 261 0 0 0 0 0 0 0 18 0 1 0 1115202057 1273856 198 4294967295 134512640 135034092 3216619168 3216615512 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21170/statm: 311 199 51 128 0 181 0
[startup+0.070242 s]
/proc/loadavg: 4.09 4.31 4.35 3/109 21169
/proc/meminfo: memFree=1502136/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=11052 CPUtime=0.06
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 2588 0 0 0 6 0 0 0 18 0 1 0 1115202057 11317248 2525 4294967295 134512640 135034092 3216619168 3216615512 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21170/statm: 2763 2526 51 128 0 2633 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13464
[startup+0.11025 s]
/proc/loadavg: 4.09 4.31 4.35 3/109 21169
/proc/meminfo: memFree=1502136/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=18524 CPUtime=0.1
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 4060 0 0 0 10 0 0 0 18 0 1 0 1115202057 18968576 3997 4294967295 134512640 135034092 3216619168 3216615512 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21170/statm: 4631 3997 51 128 0 4501 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 20936
[startup+0.310229 s]
/proc/loadavg: 4.09 4.31 4.35 3/109 21169
/proc/meminfo: memFree=1502136/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=45488 CPUtime=0.3
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 11096 0 0 0 26 4 0 0 18 0 1 0 1115202057 46579712 11033 4294967295 134512640 135034092 3216619168 3216615160 134673244 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21170/statm: 11372 11033 51 128 0 11242 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 47900
[startup+0.710208 s]
/proc/loadavg: 4.09 4.31 4.35 3/109 21169
/proc/meminfo: memFree=1502136/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=123360 CPUtime=0.7
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 25361 0 0 0 64 6 0 0 18 0 1 0 1115202057 126320640 25298 4294967295 134512640 135034092 3216619168 3216615512 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21170/statm: 30840 25298 51 128 0 30710 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 125772
[startup+1.51017 s]
/proc/loadavg: 4.09 4.31 4.35 2/111 21171
/proc/meminfo: memFree=1365016/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=172008 CPUtime=1.5
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 37340 0 0 0 143 7 0 0 20 0 1 0 1115202057 176136192 36413 4294967295 134512640 135034092 3216619168 3216615164 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21170/statm: 43002 36413 67 128 0 42872 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 174420
[startup+3.11008 s]
/proc/loadavg: 4.09 4.31 4.35 2/111 21171
/proc/meminfo: memFree=1346516/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=179884 CPUtime=3.1
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 39131 0 0 0 297 13 0 0 25 0 1 0 1115202057 184201216 38204 4294967295 134512640 135034092 3216619168 3216615164 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21170/statm: 44971 38204 67 128 0 44841 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 182296
[startup+6.30993 s]
/proc/loadavg: 3.84 4.25 4.33 2/111 21172
/proc/meminfo: memFree=1308404/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=200308 CPUtime=6.3
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 43543 0 0 0 610 20 0 0 25 0 1 0 1115202057 205115392 42616 4294967295 134512640 135034092 3216619168 3216615700 134583270 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21170/statm: 50077 42616 67 128 0 49947 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 202720
[startup+12.7096 s]
/proc/loadavg: 3.62 4.20 4.31 2/111 21173
/proc/meminfo: memFree=1287860/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2412 CPUtime=0.01
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1115202057 2469888 273 4294967295 134512640 135169312 3218380944 3218379480 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 603 273 231 161 0 42 0
[pid=21170] ppid=21169 vsize=204112 CPUtime=12.7
/proc/21170/stat : 21170 (SatElite) R 21169 21169 29143 0 -1 4202496 46261 0 0 0 1247 23 0 0 25 0 1 0 1115202057 209010688 43318 4294967295 134512640 135034092 3216619168 3216615408 134566284 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21170/statm: 51028 43318 67 128 0 50898 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 206524
[startup+25.5089 s]
/proc/loadavg: 3.80 4.21 4.31 5/114 21182
/proc/meminfo: memFree=1267264/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=211472 CPUtime=39.36
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 45796 0 0 0 3874 62 0 0 23 0 4 0 1115203495 216547328 45687 4294967295 134512640 135305190 3217139536 3217137712 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21174/statm: 52868 45687 79 194 0 52672 0
[pid=21174/tid=21175] ppid=21169 vsize=211472 CPUtime=9.57
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 2298 0 0 0 942 15 0 0 25 0 4 0 1115203627 216547328 45687 4294967295 134512640 135305190 3217139536 3060415680 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=211472 CPUtime=9.3
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 2371 0 0 0 918 12 0 0 25 0 4 0 1115203627 216547328 45687 4294967295 134512640 135305190 3217139536 3052027072 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=211472 CPUtime=9.58
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 2459 0 0 0 943 15 0 0 25 0 4 0 1115203627 216547328 45687 4294967295 134512640 135305190 3217139536 3043638464 134528195 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 53.71
Current children cumulated vsize (KiB) 213888
[startup+51.1076 s]
/proc/loadavg: 4.00 4.22 4.31 5/114 21367
/proc/meminfo: memFree=1254420/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=224784 CPUtime=141.38
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 48891 0 0 0 14065 73 0 0 25 0 4 0 1115203495 230178816 48782 4294967295 134512640 135305190 3217139536 3217137428 134695249 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21174/statm: 56196 48782 79 194 0 56000 0
[pid=21174/tid=21175] ppid=21169 vsize=224784 CPUtime=35.17
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 2949 0 0 0 3501 16 0 0 25 0 4 0 1115203627 230178816 48782 4294967295 134512640 135305190 3217139536 3060415680 134528277 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=224784 CPUtime=34.77
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 3107 0 0 0 3464 13 0 0 25 0 4 0 1115203627 230178816 48782 4294967295 134512640 135305190 3217139536 3052027040 134570412 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=224784 CPUtime=35.02
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 3211 0 0 0 3483 19 0 0 25 0 4 0 1115203627 230178816 48782 4294967295 134512640 135305190 3217139536 3043638464 134528554 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 155.73
Current children cumulated vsize (KiB) 227200
[startup+102.315 s]
/proc/loadavg: 4.06 4.20 4.30 5/114 21554
/proc/meminfo: memFree=1237308/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=239964 CPUtime=345.83
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 52831 0 0 0 34499 84 0 0 25 0 4 0 1115203495 245723136 52722 4294967295 134512640 135305190 3217139536 3217137712 134528480 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21174/statm: 59991 52722 79 194 0 59795 0
[pid=21174/tid=21175] ppid=21169 vsize=239964 CPUtime=86.33
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 3731 0 0 0 8614 19 0 0 25 0 4 0 1115203627 245723136 52722 4294967295 134512640 135305190 3217139536 3060415680 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=239964 CPUtime=85.85
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 4209 0 0 0 8568 17 0 0 25 0 4 0 1115203627 245723136 52722 4294967295 134512640 135305190 3217139536 3052027072 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=239964 CPUtime=86.17
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 4092 0 0 0 8597 20 0 0 25 0 4 0 1115203627 245723136 52722 4294967295 134512640 135305190 3217139536 3043638464 134528215 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 360.18
Current children cumulated vsize (KiB) 242380
[startup+162.312 s]
/proc/loadavg: 4.18 4.21 4.29 6/114 21742
/proc/meminfo: memFree=1225024/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=252884 CPUtime=585.47
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 56141 0 0 0 58447 100 0 0 25 0 4 0 1115203495 258953216 56032 4294967295 134512640 135305190 3217139536 3217137712 134528277 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21174/statm: 63221 56032 79 194 0 63025 0
[pid=21174/tid=21175] ppid=21169 vsize=252884 CPUtime=146.31
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 4284 0 0 0 14609 22 0 0 25 0 4 0 1115203627 258953216 56032 4294967295 134512640 135305190 3217139536 3060415680 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=252884 CPUtime=145.71
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 5374 0 0 0 14550 21 0 0 25 0 4 0 1115203627 258953216 56032 4294967295 134512640 135305190 3217139536 3052027072 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=252884 CPUtime=146.05
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 4953 0 0 0 14579 26 0 0 25 0 4 0 1115203627 258953216 56032 4294967295 134512640 135305190 3217139536 3043638464 134528512 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 599.82
Current children cumulated vsize (KiB) 255300
[startup+222.309 s]
/proc/loadavg: 4.31 4.23 4.29 7/115 21919
/proc/meminfo: memFree=1210316/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=266352 CPUtime=825.05
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 59542 0 0 0 82389 116 0 0 25 0 4 0 1115203495 272744448 59433 4294967295 134512640 135305190 3217139536 3217137712 134528189 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21174/statm: 66588 59433 79 194 0 66392 0
[pid=21174/tid=21175] ppid=21169 vsize=266352 CPUtime=206.3
################
# More data... #
################
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 8712 0 0 0 50454 57 0 0 25 0 4 0 1115203627 330711040 73415 4294967295 134512640 135305190 3217139536 3043638464 134528248 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2036.99
Current children cumulated vsize (KiB) 325376
[startup+582.31 s]
/proc/loadavg: 4.56 4.49 4.39 8/115 22891
/proc/meminfo: memFree=1149440/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=330884 CPUtime=2262.11
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 75372 0 0 0 225974 237 0 0 25 0 4 0 1115203495 338825216 75263 4294967295 134512640 135305190 3217139536 3217137376 134551651 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21174/statm: 82721 75263 79 194 0 82525 0
[pid=21174/tid=21175] ppid=21169 vsize=330884 CPUtime=565.8
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 7910 0 0 0 56532 48 0 0 25 0 4 0 1115203627 338825216 75263 4294967295 134512640 135305190 3217139536 3060415680 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=330884 CPUtime=564.76
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 12772 0 0 0 56409 67 0 0 25 0 4 0 1115203627 338825216 75263 4294967295 134512640 135305190 3217139536 3052027072 134528455 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=330884 CPUtime=565.08
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 9088 0 0 0 56448 60 0 0 25 0 4 0 1115203627 338825216 75263 4294967295 134512640 135305190 3217139536 3043638464 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2276.46
Current children cumulated vsize (KiB) 333300
[startup+642.307 s]
/proc/loadavg: 4.61 4.53 4.41 8/115 23102
/proc/meminfo: memFree=1135200/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=345092 CPUtime=2501.66
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 78501 0 0 0 249901 265 0 0 25 0 4 0 1115203495 353374208 78392 4294967295 134512640 135305190 3217139536 3217137712 134528252 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21174/statm: 86273 78392 79 194 0 86077 0
[pid=21174/tid=21175] ppid=21169 vsize=345092 CPUtime=625.74
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 8562 0 0 0 62524 50 0 0 25 0 4 0 1115203627 353374208 78392 4294967295 134512640 135305190 3217139536 3060415680 134528503 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=345092 CPUtime=624.51
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 13753 0 0 0 62373 78 0 0 25 0 4 0 1115203627 353374208 78392 4294967295 134512640 135305190 3217139536 3052027072 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=345092 CPUtime=625.08
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 9874 0 0 0 62446 62 0 0 25 0 4 0 1115203627 353374208 78392 4294967295 134512640 135305190 3217139536 3043638464 134528480 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2516.01
Current children cumulated vsize (KiB) 347508
[startup+702.304 s]
/proc/loadavg: 4.29 4.46 4.39 5/114 23258
/proc/meminfo: memFree=1132020/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=347724 CPUtime=2740.9
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 79169 0 0 0 273809 281 0 0 25 0 4 0 1115203495 356069376 79060 4294967295 134512640 135305190 3217139536 3217137712 134530676 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21174/statm: 86931 79060 79 194 0 86735 0
[pid=21174/tid=21175] ppid=21169 vsize=347724 CPUtime=685.56
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 8572 0 0 0 68502 54 0 0 25 0 4 0 1115203627 356069376 79060 4294967295 134512640 135305190 3217139536 3060415680 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=347724 CPUtime=684.47
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 14377 0 0 0 68364 83 0 0 25 0 4 0 1115203627 356069376 79060 4294967295 134512640 135305190 3217139536 3052027072 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=347724 CPUtime=684.87
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 9904 0 0 0 68422 65 0 0 25 0 4 0 1115203627 356069376 79060 4294967295 134512640 135305190 3217139536 3043638192 134556558 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2755.25
Current children cumulated vsize (KiB) 350140
[startup+762.31 s]
/proc/loadavg: 4.20 4.40 4.37 7/115 23471
/proc/meminfo: memFree=1120796/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=358308 CPUtime=2980.73
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 82109 0 0 0 297776 297 0 0 25 0 4 0 1115203495 366907392 82000 4294967295 134512640 135305190 3217139536 3217137712 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21174/statm: 89577 82000 79 194 0 89381 0
[pid=21174/tid=21175] ppid=21169 vsize=358308 CPUtime=745.53
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 9227 0 0 0 74494 59 0 0 25 0 4 0 1115203627 366907392 82000 4294967295 134512640 135305190 3217139536 3060415680 134528559 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=358308 CPUtime=744.47
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 15344 0 0 0 74362 85 0 0 25 0 4 0 1115203627 366907392 82000 4294967295 134512640 135305190 3217139536 3052027072 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=358308 CPUtime=744.86
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 10542 0 0 0 74419 67 0 0 25 0 4 0 1115203627 366907392 82000 4294967295 134512640 135305190 3217139536 3043638464 134528248 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2995.08
Current children cumulated vsize (KiB) 360724
[startup+822.317 s]
/proc/loadavg: 4.63 4.51 4.41 6/114 23637
/proc/meminfo: memFree=1105484/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=375156 CPUtime=3219.98
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 86015 0 0 0 321675 323 0 0 25 0 4 0 1115203495 384159744 85906 4294967295 134512640 135305190 3217139536 3217137712 134528559 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/21174/statm: 93789 85906 79 194 0 93593 0
[pid=21174/tid=21175] ppid=21169 vsize=375156 CPUtime=805.16
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 9903 0 0 0 80455 61 0 0 25 0 4 0 1115203627 384159744 85906 4294967295 134512640 135305190 3217139536 3060415680 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=375156 CPUtime=804.11
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 16405 0 0 0 80321 90 0 0 25 0 4 0 1115203627 384159744 85906 4294967295 134512640 135305190 3217139536 3052027072 134528458 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=375156 CPUtime=804.87
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 11598 0 0 0 80404 83 0 0 25 0 4 0 1115203627 384159744 85906 4294967295 134512640 135305190 3217139536 3043638464 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3234.33
Current children cumulated vsize (KiB) 377572
[startup+882.314 s]
/proc/loadavg: 4.48 4.50 4.41 5/114 23825
/proc/meminfo: memFree=1102020/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=377444 CPUtime=3459.41
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 86547 0 0 0 345607 334 0 0 25 0 4 0 1115203495 386502656 86438 4294967295 134512640 135305190 3217139536 3217137712 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21174/statm: 94361 86438 79 194 0 94165 0
[pid=21174/tid=21175] ppid=21169 vsize=377444 CPUtime=865.12
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 9975 0 0 0 86450 62 0 0 25 0 4 0 1115203627 386502656 86438 4294967295 134512640 135305190 3217139536 3060415680 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=377444 CPUtime=863.88
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 16861 0 0 0 86298 90 0 0 25 0 4 0 1115203627 386502656 86438 4294967295 134512640 135305190 3217139536 3052027072 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=377444 CPUtime=864.62
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 11602 0 0 0 86370 92 0 0 25 0 4 0 1115203627 386502656 86438 4294967295 134512640 135305190 3217139536 3043638464 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3473.76
Current children cumulated vsize (KiB) 379860
[startup+942.311 s]
/proc/loadavg: 4.55 4.52 4.42 5/114 24018
/proc/meminfo: memFree=1099788/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=379292 CPUtime=3699.02
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 87181 0 0 0 369544 358 0 0 25 0 4 0 1115203495 388395008 87072 4294967295 134512640 135305190 3217139536 3217137712 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21174/statm: 94823 87072 79 194 0 94627 0
[pid=21174/tid=21175] ppid=21169 vsize=379292 CPUtime=924.94
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 10079 0 0 0 92428 66 0 0 25 0 4 0 1115203627 388395008 87072 4294967295 134512640 135305190 3217139536 3060415680 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=379292 CPUtime=923.78
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 17302 0 0 0 92281 97 0 0 25 0 4 0 1115203627 388395008 87072 4294967295 134512640 135305190 3217139536 3052027072 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=379292 CPUtime=924.57
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 11650 0 0 0 92359 98 0 0 25 0 4 0 1115203627 388395008 87072 4294967295 134512640 135305190 3217139536 3043638464 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3713.37
Current children cumulated vsize (KiB) 381708
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.51 4.53 4.43 5/114 24206
/proc/meminfo: memFree=1083124/3368532 swapFree=1959840/1959888
[pid=21169] ppid=21167 vsize=2416 CPUtime=14.35
/proc/21169/stat : 21169 (manysat.sh) S 21167 21169 29143 0 -1 4194304 370 51603 0 0 1 0 1407 27 18 0 1 0 1115202057 2473984 274 4294967295 134512640 135169312 3218380944 3218377160 3085254382 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21169/statm: 604 274 231 161 0 43 0
[pid=21174] ppid=21169 vsize=399284 CPUtime=3929.09
/proc/21174/stat : 21174 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202496 91652 0 0 0 392521 388 0 0 25 0 4 0 1115203495 408866816 91543 4294967295 134512640 135305190 3217139536 3217137440 134557352 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21174/statm: 99821 91543 79 194 0 99625 0
[pid=21174/tid=21175] ppid=21169 vsize=399284 CPUtime=982.09
/proc/21174/task/21175/stat : 21175 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 10927 0 0 0 98125 84 0 0 25 0 4 0 1115203627 408866816 91543 4294967295 134512640 135305190 3217139536 3060415680 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21174/tid=21176] ppid=21169 vsize=399284 CPUtime=981.35
/proc/21174/task/21176/stat : 21176 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 18468 0 0 0 98036 99 0 0 25 0 4 0 1115203627 408866816 91543 4294967295 134512640 135305190 3217139536 3052027016 134839991 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21174/tid=21177] ppid=21169 vsize=399284 CPUtime=982.25
/proc/21174/task/21177/stat : 21177 (manysat1.1_stat) R 21169 21169 29143 0 -1 4202560 12692 0 0 0 98122 103 0 0 25 0 4 0 1115203627 408866816 91543 4294967295 134512640 135305190 3217139536 3043638464 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3943.44
Current children cumulated vsize (KiB) 401700
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 21169 and gives
# childrusage.ru_utime.tv_sec=14
# childrusage.ru_utime.tv_usec=80000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=270000
# CPU time returned by wait4() is 14.35
# while last known CPU time is 3943.44
#
# 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): 3943.44
CPU user time (s): 3939.29
CPU system time (s): 4.15
CPU usage (%): 394.329
Max. virtual memory (cumulated for all children) (KiB): 401700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.08
system time used= 0.27
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51973
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= 9
involuntary context switches= 327
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on at 2009-05-28 12:09:51
IDJOB=1775941
IDBENCH=20405
IDSOLVER=620
FILE ID=/1775941-1243505391
PBS_JOBID=
Free space on /tmp= 7966 MiB
SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-8-ipc5-h18-unsat.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775941-1243505391/watcher-1775941-1243505391 -o /tmp/evaluation-result-1775941-1243505391/solver-1775941-1243505391 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775941-1243505391.cnf aimd 0
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= b3381a58cbbd64d5d90a3b4fcd44bf6d
RANDOM SEED= 1765475289
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.073
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.073
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.12
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.073
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
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.14
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 1502136 kB
Buffers: 33264 kB
Cached: 1673260 kB
SwapCached: 0 kB
Active: 424524 kB
Inactive: 1301432 kB
HighTotal: 2489216 kB
HighFree: 1054148 kB
LowTotal: 879316 kB
LowFree: 447988 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 23420 kB
Writeback: 0 kB
AnonPages: 19272 kB
Mapped: 7672 kB
Slab: 130284 kB
SReclaimable: 116616 kB
SUnreclaim: 13668 kB
PageTables: 672 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 111076 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 7916 MiB
End job on at 2009-05-28 12:26:35