0.00/0.00 c Parsing...
0.81/0.90 c ==============================================================================
0.81/0.90 c | | ORIGINAL | LEARNT | |
0.81/0.90 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.81/0.90 c ==============================================================================
0.81/0.90 c | 0 | 1158473 2698320 | 347541 0 0 nan | 0.000 % |
6.31/6.39 c | 0 | 730398 2016040 | -- 0 -- -- | -- | -221147/-216322
6.31/6.39 c ==============================================================================
6.31/6.39 c Result : #vars: 128393 #clauses: 730398 #literals: 2016040
6.31/6.39 c CPU time: 6.26 s
6.31/6.39 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775626-1243498507/watcher-1775626-1243498507 -o /tmp/evaluation-result-1775626-1243498507/solver-1775626-1243498507 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775626-1243498507.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.42 4.28 2.92 3/124 24927
/proc/meminfo: memFree=2991108/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2412 CPUtime=0.01
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 348 0 0 0 1 0 0 0 18 0 1 0 1114514870 2469888 273 4294967295 134512640 135169312 3215597024 3215595560 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 603 273 231 161 0 42 0
[pid=24928] ppid=24927 vsize=1760 CPUtime=0
/proc/24928/stat : 24928 (SatElite) R 24927 24927 21334 0 -1 4202496 385 0 0 0 0 0 0 0 18 0 1 0 1114514870 1802240 322 4294967295 134512640 135034092 3219425616 3219421904 134544856 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24928/statm: 440 322 49 128 0 310 0
[startup+0.060998 s]
/proc/loadavg: 4.42 4.28 2.92 3/124 24927
/proc/meminfo: memFree=2991108/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2412 CPUtime=0.01
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 348 0 0 0 1 0 0 0 18 0 1 0 1114514870 2469888 273 4294967295 134512640 135169312 3215597024 3215595560 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 603 273 231 161 0 42 0
[pid=24928] ppid=24927 vsize=13464 CPUtime=0.05
/proc/24928/stat : 24928 (SatElite) R 24927 24927 21334 0 -1 4202496 3174 0 0 0 5 0 0 0 18 0 1 0 1114514870 13787136 3111 4294967295 134512640 135034092 3219425616 3219421904 134545186 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24928/statm: 3366 3111 49 128 0 3236 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15876
[startup+0.110979 s]
/proc/loadavg: 4.42 4.28 2.92 3/124 24927
/proc/meminfo: memFree=2991108/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2412 CPUtime=0.01
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 348 0 0 0 1 0 0 0 18 0 1 0 1114514870 2469888 273 4294967295 134512640 135169312 3215597024 3215595560 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 603 273 231 161 0 42 0
[pid=24928] ppid=24927 vsize=37616 CPUtime=0.1
/proc/24928/stat : 24928 (SatElite) R 24927 24927 21334 0 -1 4202496 6477 0 0 0 9 1 0 0 18 0 1 0 1114514870 38518784 6414 4294967295 134512640 135034092 3219425616 3219421904 134544856 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24928/statm: 9404 6415 49 128 0 9274 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 40028
[startup+0.310962 s]
/proc/loadavg: 4.42 4.28 2.92 3/124 24927
/proc/meminfo: memFree=2991108/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2412 CPUtime=0.01
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 348 0 0 0 1 0 0 0 18 0 1 0 1114514870 2469888 273 4294967295 134512640 135169312 3215597024 3215595560 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 603 273 231 161 0 42 0
[pid=24928] ppid=24927 vsize=57120 CPUtime=0.3
/proc/24928/stat : 24928 (SatElite) R 24927 24927 21334 0 -1 4202496 13312 0 0 0 28 2 0 0 18 0 1 0 1114514870 58490880 13249 4294967295 134512640 135034092 3219425616 3219421576 134673244 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24928/statm: 14280 13250 49 128 0 14150 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 59532
[startup+0.710927 s]
/proc/loadavg: 4.42 4.28 2.92 3/124 24927
/proc/meminfo: memFree=2991108/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2412 CPUtime=0.01
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 348 0 0 0 1 0 0 0 18 0 1 0 1114514870 2469888 273 4294967295 134512640 135169312 3215597024 3215595560 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 603 273 231 161 0 42 0
[pid=24928] ppid=24927 vsize=94332 CPUtime=0.7
/proc/24928/stat : 24928 (SatElite) R 24927 24927 21334 0 -1 4202496 22364 0 0 0 66 4 0 0 18 0 1 0 1114514870 96595968 22301 4294967295 134512640 135034092 3219425616 3219421960 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24928/statm: 23583 22301 50 128 0 23453 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 96744
[startup+1.51087 s]
/proc/loadavg: 4.15 4.22 2.91 2/126 24929
/proc/meminfo: memFree=2882624/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2412 CPUtime=0.01
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 348 0 0 0 1 0 0 0 18 0 1 0 1114514870 2469888 273 4294967295 134512640 135169312 3215597024 3215595560 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 603 273 231 161 0 42 0
[pid=24928] ppid=24927 vsize=132192 CPUtime=1.5
/proc/24928/stat : 24928 (SatElite) R 24927 24927 21334 0 -1 4202496 32471 0 0 0 143 7 0 0 20 0 1 0 1114514870 135364608 29653 4294967295 134512640 135034092 3219425616 3219421484 134673244 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24928/statm: 33048 29653 67 128 0 32918 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 134604
[startup+3.11072 s]
/proc/loadavg: 4.15 4.22 2.91 2/126 24929
/proc/meminfo: memFree=2864708/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2412 CPUtime=0.01
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 348 0 0 0 1 0 0 0 18 0 1 0 1114514870 2469888 273 4294967295 134512640 135169312 3215597024 3215595560 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 603 273 231 161 0 42 0
[pid=24928] ppid=24927 vsize=138512 CPUtime=3.1
/proc/24928/stat : 24928 (SatElite) R 24927 24927 21334 0 -1 4202496 34237 0 0 0 302 8 0 0 25 0 1 0 1114514870 141836288 31185 4294967295 134512640 135034092 3219425616 3219421856 134566251 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24928/statm: 34628 31185 67 128 0 34498 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 140924
[startup+6.31044 s]
/proc/loadavg: 3.90 4.17 2.90 2/126 24929
/proc/meminfo: memFree=2857536/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2412 CPUtime=0.01
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 348 0 0 0 1 0 0 0 18 0 1 0 1114514870 2469888 273 4294967295 134512640 135169312 3215597024 3215595560 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 603 273 231 161 0 42 0
[pid=24928] ppid=24927 vsize=140084 CPUtime=6.3
/proc/24928/stat : 24928 (SatElite) R 24927 24927 21334 0 -1 4202496 41397 0 0 0 619 11 0 0 25 0 1 0 1114514870 143446016 31875 4294967295 134512640 135034092 3219425616 3219421856 134566380 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24928/statm: 35021 31875 67 128 0 34891 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 142496
[startup+12.7099 s]
/proc/loadavg: 4.06 4.20 2.92 7/129 24934
/proc/meminfo: memFree=2763484/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2416 CPUtime=7.26
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 370 49671 0 0 1 0 704 21 18 0 1 0 1114514870 2473984 275 4294967295 134512640 135169312 3215597024 3215593240 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 604 275 231 161 0 43 0
[pid=24931] ppid=24927 vsize=241764 CPUtime=16.35
/proc/24931/stat : 24931 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202496 51524 0 0 0 1587 48 0 0 16 0 4 0 1114515599 247566336 51446 4294967295 134512640 135305190 3217196896 3217194736 134551744 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24931/statm: 60441 51446 79 194 0 60245 0
[pid=24931/tid=24932] ppid=24927 vsize=241764 CPUtime=3.63
/proc/24931/task/24932/stat : 24932 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 1064 0 0 0 356 7 0 0 16 0 4 0 1114515747 247566336 51446 4294967295 134512640 135305190 3217196896 3015539828 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24931/tid=24933] ppid=24927 vsize=241764 CPUtime=3.81
/proc/24931/task/24933/stat : 24933 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 1122 0 0 0 368 13 0 0 16 0 4 0 1114515747 247566336 51446 4294967295 134512640 135305190 3217196896 3007151296 134528421 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24931/tid=24934] ppid=24927 vsize=241764 CPUtime=3.65
/proc/24931/task/24934/stat : 24934 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 1014 0 0 0 357 8 0 0 15 0 4 0 1114515747 247566336 51446 4294967295 134512640 135305190 3217196896 2998762688 134528215 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.61
Current children cumulated vsize (KiB) 244180
[startup+25.5088 s]
/proc/loadavg: 4.18 4.22 2.95 6/129 24934
/proc/meminfo: memFree=2757876/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2416 CPUtime=7.26
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 370 49671 0 0 1 0 704 21 18 0 1 0 1114514870 2473984 275 4294967295 134512640 135169312 3215597024 3215593240 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 604 275 231 161 0 43 0
[pid=24931] ppid=24927 vsize=246916 CPUtime=67.31
/proc/24931/stat : 24931 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202496 52999 0 0 0 6674 57 0 0 25 0 4 0 1114515599 252841984 52921 4294967295 134512640 135305190 3217196896 3217194752 134843311 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/24931/statm: 61729 52921 79 194 0 61533 0
[pid=24931/tid=24932] ppid=24927 vsize=246916 CPUtime=16.43
/proc/24931/task/24932/stat : 24932 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 1479 0 0 0 1635 8 0 0 25 0 4 0 1114515747 252841984 52921 4294967295 134512640 135305190 3217196896 3015539904 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24931/tid=24933] ppid=24927 vsize=246916 CPUtime=16.56
/proc/24931/task/24933/stat : 24933 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 1551 0 0 0 1640 16 0 0 25 0 4 0 1114515747 252841984 52921 4294967295 134512640 135305190 3217196896 3007151296 134530561 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24931/tid=24934] ppid=24927 vsize=246916 CPUtime=16.31
/proc/24931/task/24934/stat : 24934 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 1275 0 0 0 1619 12 0 0 25 0 4 0 1114515747 252841984 52921 4294967295 134512640 135305190 3217196896 2998762688 134528788 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 74.57
Current children cumulated vsize (KiB) 249332
[startup+51.1066 s]
/proc/loadavg: 4.20 4.22 2.98 6/129 25119
/proc/meminfo: memFree=2714016/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2416 CPUtime=7.26
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 370 49671 0 0 1 0 704 21 18 0 1 0 1114514870 2473984 275 4294967295 134512640 135169312 3215597024 3215593240 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 604 275 231 161 0 43 0
[pid=24931] ppid=24927 vsize=290244 CPUtime=169.3
/proc/24931/stat : 24931 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202496 63819 0 0 0 16858 72 0 0 25 0 4 0 1114515599 297209856 63741 4294967295 134512640 135305190 3217196896 3217194736 134551639 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/24931/statm: 72561 63741 79 194 0 72365 0
[pid=24931/tid=24932] ppid=24927 vsize=290244 CPUtime=41.97
/proc/24931/task/24932/stat : 24932 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 3491 0 0 0 4183 14 0 0 25 0 4 0 1114515747 297209856 63741 4294967295 134512640 135305190 3217196896 3015539904 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=24931/tid=24933] ppid=24927 vsize=290244 CPUtime=42.08
/proc/24931/task/24933/stat : 24933 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 5121 0 0 0 4191 17 0 0 25 0 4 0 1114515747 297209856 63742 4294967295 134512640 135305190 3217196896 3007151240 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24931/tid=24934] ppid=24927 vsize=290244 CPUtime=41.76
/proc/24931/task/24934/stat : 24934 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 3619 0 0 0 4159 17 0 0 25 0 4 0 1114515747 297209856 63742 4294967295 134512640 135305190 3217196896 2998762688 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 176.56
Current children cumulated vsize (KiB) 292660
[startup+102.322 s]
/proc/loadavg: 4.33 4.26 3.06 5/129 25306
/proc/meminfo: memFree=2627436/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2416 CPUtime=7.26
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 370 49671 0 0 1 0 704 21 18 0 1 0 1114514870 2473984 275 4294967295 134512640 135169312 3215597024 3215593240 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 604 275 231 161 0 43 0
[pid=24931] ppid=24927 vsize=377180 CPUtime=373.68
/proc/24931/stat : 24931 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202496 85310 0 0 0 37265 103 0 0 25 0 4 0 1114515599 386232320 85232 4294967295 134512640 135305190 3217196896 3217194736 134551848 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/24931/statm: 94295 85232 79 194 0 94099 0
[pid=24931/tid=24932] ppid=24927 vsize=377180 CPUtime=93.14
/proc/24931/task/24932/stat : 24932 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 7348 0 0 0 9293 21 0 0 25 0 4 0 1114515747 386232320 85232 4294967295 134512640 135305190 3217196896 3015539904 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=24931/tid=24933] ppid=24927 vsize=377180 CPUtime=93.22
/proc/24931/task/24933/stat : 24933 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 13164 0 0 0 9296 26 0 0 25 0 4 0 1114515747 386232320 85232 4294967295 134512640 135305190 3217196896 3007151296 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24931/tid=24934] ppid=24927 vsize=377180 CPUtime=92.91
/proc/24931/task/24934/stat : 24934 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 7624 0 0 0 9263 28 0 0 25 0 4 0 1114515747 386232320 85232 4294967295 134512640 135305190 3217196896 2998762352 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 380.94
Current children cumulated vsize (KiB) 379596
[startup+162.317 s]
/proc/loadavg: 4.23 4.25 3.13 5/129 25502
/proc/meminfo: memFree=2563856/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2416 CPUtime=7.26
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 370 49671 0 0 1 0 704 21 18 0 1 0 1114514870 2473984 275 4294967295 134512640 135169312 3215597024 3215593240 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 604 275 231 161 0 43 0
[pid=24931] ppid=24927 vsize=436676 CPUtime=612.93
/proc/24931/stat : 24931 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202496 100427 0 0 0 61162 131 0 0 25 0 4 0 1114515599 447156224 100349 4294967295 134512640 135305190 3217196896 3217195072 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/24931/statm: 109169 100349 79 194 0 108973 0
[pid=24931/tid=24932] ppid=24927 vsize=436676 CPUtime=153.1
/proc/24931/task/24932/stat : 24932 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 10452 0 0 0 15281 29 0 0 25 0 4 0 1114515747 447156224 100349 4294967295 134512640 135305190 3217196896 3015539904 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=24931/tid=24933] ppid=24927 vsize=436676 CPUtime=153.16
/proc/24931/task/24933/stat : 24933 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 17545 0 0 0 15286 30 0 0 25 0 4 0 1114515747 447156224 100349 4294967295 134512640 135305190 3217196896 3007151296 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24931/tid=24934] ppid=24927 vsize=436676 CPUtime=152.47
/proc/24931/task/24934/stat : 24934 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 11114 0 0 0 15213 34 0 0 25 0 4 0 1114515747 447156224 100349 4294967295 134512640 135305190 3217196896 2998762688 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 620.19
Current children cumulated vsize (KiB) 439092
[startup+222.312 s]
/proc/loadavg: 4.46 4.30 3.21 5/129 25693
/proc/meminfo: memFree=2477852/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2416 CPUtime=7.26
################
# More data... #
################
/proc/24931/task/24934/stat : 24934 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 29238 0 0 0 51009 80 0 0 25 0 4 0 1114515747 798814208 186093 4294967295 134512640 135305190 3217196896 2998762368 134842916 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2056.88
Current children cumulated vsize (KiB) 782508
[startup+582.311 s]
/proc/loadavg: 4.48 4.29 3.54 8/130 26722
/proc/meminfo: memFree=2108356/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2416 CPUtime=7.26
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 370 49671 0 0 1 0 704 21 18 0 1 0 1114514870 2473984 275 4294967295 134512640 135169312 3215597024 3215593240 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 604 275 231 161 0 43 0
[pid=24931] ppid=24927 vsize=896928 CPUtime=2288.81
/proc/24931/stat : 24931 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202496 215097 0 0 0 228548 333 0 0 25 0 4 0 1114515599 918454272 215019 4294967295 134512640 135305190 3217196896 3217195072 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/24931/statm: 224232 215019 79 194 0 224036 0
[pid=24931/tid=24932] ppid=24927 vsize=896928 CPUtime=572.48
/proc/24931/task/24932/stat : 24932 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 32844 0 0 0 57166 82 0 0 25 0 4 0 1114515747 918454272 215019 4294967295 134512640 135305190 3217196896 3015539904 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24931/tid=24933] ppid=24927 vsize=896928 CPUtime=572.29
/proc/24931/task/24933/stat : 24933 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 49666 0 0 0 57144 85 0 0 25 0 4 0 1114515747 918454272 215019 4294967295 134512640 135305190 3217196896 3007151296 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=24931/tid=24934] ppid=24927 vsize=896928 CPUtime=570.84
/proc/24931/task/24934/stat : 24934 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 36204 0 0 0 56994 90 0 0 25 0 4 0 1114515747 918454272 215019 4294967295 134512640 135305190 3217196896 2998762352 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2296.07
Current children cumulated vsize (KiB) 899344
[startup+642.316 s]
/proc/loadavg: 4.38 4.29 3.58 5/129 27026
/proc/meminfo: memFree=1973912/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2416 CPUtime=7.26
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 370 49671 0 0 1 0 704 21 18 0 1 0 1114514870 2473984 275 4294967295 134512640 135169312 3215597024 3215593240 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 604 275 231 161 0 43 0
[pid=24931] ppid=24927 vsize=1029104 CPUtime=2528
/proc/24931/stat : 24931 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202496 248261 0 0 0 252415 385 0 0 25 0 4 0 1114515599 1053802496 248183 4294967295 134512640 135305190 3217196896 3217195072 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/24931/statm: 257276 248183 79 194 0 257080 0
[pid=24931/tid=24932] ppid=24927 vsize=1029104 CPUtime=632.36
/proc/24931/task/24932/stat : 24932 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 38781 0 0 0 63140 96 0 0 25 0 4 0 1114515747 1053802496 248183 4294967295 134512640 135305190 3217196896 3015539380 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24931/tid=24933] ppid=24927 vsize=1029104 CPUtime=632.17
/proc/24931/task/24933/stat : 24933 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 60644 0 0 0 63119 98 0 0 25 0 4 0 1114515747 1053802496 248183 4294967295 134512640 135305190 3217196896 3007151240 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24931/tid=24934] ppid=24927 vsize=1029104 CPUtime=630.52
/proc/24931/task/24934/stat : 24934 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 43779 0 0 0 62954 98 0 0 25 0 4 0 1114515747 1053802496 248183 4294967295 134512640 135305190 3217196896 2998762688 134528559 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2535.26
Current children cumulated vsize (KiB) 1031520
[startup+702.31 s]
/proc/loadavg: 4.29 4.28 3.62 6/129 27214
/proc/meminfo: memFree=1954568/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2416 CPUtime=7.26
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 370 49671 0 0 1 0 704 21 18 0 1 0 1114514870 2473984 275 4294967295 134512640 135169312 3215597024 3215593240 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 604 275 231 161 0 43 0
[pid=24931] ppid=24927 vsize=1048880 CPUtime=2767.2
/proc/24931/stat : 24931 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202496 253254 0 0 0 276303 417 0 0 25 0 4 0 1114515599 1074053120 253176 4294967295 134512640 135305190 3217196896 3217194736 134551712 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/24931/statm: 262220 253176 79 194 0 262024 0
[pid=24931/tid=24932] ppid=24927 vsize=1048880 CPUtime=692.34
/proc/24931/task/24932/stat : 24932 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 39868 0 0 0 69135 99 0 0 25 0 4 0 1114515747 1074053120 253176 4294967295 134512640 135305190 3217196896 3015539904 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24931/tid=24933] ppid=24927 vsize=1048880 CPUtime=692.12
/proc/24931/task/24933/stat : 24933 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 62036 0 0 0 69103 109 0 0 25 0 4 0 1114515747 1074053120 253176 4294967295 134512640 135305190 3217196896 3007151296 134528406 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24931/tid=24934] ppid=24927 vsize=1048880 CPUtime=690.16
/proc/24931/task/24934/stat : 24934 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 45021 0 0 0 68910 106 0 0 25 0 4 0 1114515747 1074053120 253176 4294967295 134512640 135305190 3217196896 2998762352 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2774.46
Current children cumulated vsize (KiB) 1051296
[startup+762.315 s]
/proc/loadavg: 4.47 4.31 3.67 8/130 27278
/proc/meminfo: memFree=1941224/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2416 CPUtime=7.26
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 370 49671 0 0 1 0 704 21 18 0 1 0 1114514870 2473984 275 4294967295 134512640 135169312 3215597024 3215593240 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 604 275 231 161 0 43 0
[pid=24931] ppid=24927 vsize=1061168 CPUtime=3006.65
/proc/24931/stat : 24931 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202496 256483 0 0 0 300223 442 0 0 25 0 4 0 1114515599 1086636032 256405 4294967295 134512640 135305190 3217196896 3217194736 134551712 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/24931/statm: 265292 256405 79 194 0 265096 0
[pid=24931/tid=24932] ppid=24927 vsize=1061168 CPUtime=752.28
/proc/24931/task/24932/stat : 24932 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 40581 0 0 0 75127 101 0 0 25 0 4 0 1114515747 1086636032 256405 4294967295 134512640 135305190 3217196896 3015539904 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24931/tid=24933] ppid=24927 vsize=1061168 CPUtime=751.9
/proc/24931/task/24933/stat : 24933 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 62907 0 0 0 75073 117 0 0 25 0 4 0 1114515747 1086636032 256405 4294967295 134512640 135305190 3217196896 3007150912 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24931/tid=24934] ppid=24927 vsize=1061168 CPUtime=749.88
/proc/24931/task/24934/stat : 24934 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 45867 0 0 0 74876 112 0 0 25 0 4 0 1114515747 1086636032 256405 4294967295 134512640 135305190 3217196896 2998762688 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3013.91
Current children cumulated vsize (KiB) 1063584
[startup+822.31 s]
/proc/loadavg: 4.42 4.33 3.72 6/130 27457
/proc/meminfo: memFree=1861324/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2416 CPUtime=7.26
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 370 49671 0 0 1 0 704 21 18 0 1 0 1114514870 2473984 275 4294967295 134512640 135169312 3215597024 3215593240 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 604 275 231 161 0 43 0
[pid=24931] ppid=24927 vsize=1142780 CPUtime=3245.84
/proc/24931/stat : 24931 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202496 276900 0 0 0 324110 474 0 0 25 0 4 0 1114515599 1170206720 276822 4294967295 134512640 135305190 3217196896 3217195072 134528480 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/24931/statm: 285695 276822 79 194 0 285499 0
[pid=24931/tid=24932] ppid=24927 vsize=1142780 CPUtime=811.67
/proc/24931/task/24932/stat : 24932 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 43955 0 0 0 81058 109 0 0 25 0 4 0 1114515747 1170206720 276822 4294967295 134512640 135305190 3217196896 3015539904 134528617 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24931/tid=24933] ppid=24927 vsize=1142780 CPUtime=811.76
/proc/24931/task/24933/stat : 24933 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 70555 0 0 0 81051 125 0 0 25 0 4 0 1114515747 1170206720 276822 4294967295 134512640 135305190 3217196896 3007151296 134528446 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24931/tid=24934] ppid=24927 vsize=1142780 CPUtime=809.85
/proc/24931/task/24934/stat : 24934 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 50379 0 0 0 80864 121 0 0 25 0 4 0 1114515747 1170206720 276822 4294967295 134512640 135305190 3217196896 2998762416 134557299 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3253.1
Current children cumulated vsize (KiB) 1145196
[startup+882.305 s]
/proc/loadavg: 4.48 4.36 3.76 6/130 27642
/proc/meminfo: memFree=1820600/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2416 CPUtime=7.26
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 370 49671 0 0 1 0 704 21 18 0 1 0 1114514870 2473984 275 4294967295 134512640 135169312 3215597024 3215593240 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 604 275 231 161 0 43 0
[pid=24931] ppid=24927 vsize=1183324 CPUtime=3485.17
/proc/24931/stat : 24931 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202496 286783 0 0 0 348020 497 0 0 25 0 4 0 1114515599 1211723776 286705 4294967295 134512640 135305190 3217196896 3217195072 134528189 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/24931/statm: 295831 286705 79 194 0 295635 0
[pid=24931/tid=24932] ppid=24927 vsize=1183324 CPUtime=871.52
/proc/24931/task/24932/stat : 24932 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 45839 0 0 0 87041 111 0 0 25 0 4 0 1114515747 1211723776 286705 4294967295 134512640 135305190 3217196896 3015539904 134528252 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=24931/tid=24933] ppid=24927 vsize=1183324 CPUtime=871.54
/proc/24931/task/24933/stat : 24933 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 73245 0 0 0 87023 131 0 0 25 0 4 0 1114515747 1211723776 286705 4294967295 134512640 135305190 3217196896 3007151240 134839991 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24931/tid=24934] ppid=24927 vsize=1183324 CPUtime=869.64
/proc/24931/task/24934/stat : 24934 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 52847 0 0 0 86837 127 0 0 25 0 4 0 1114515747 1211723776 286705 4294967295 134512640 135305190 3217196896 2998762688 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3492.43
Current children cumulated vsize (KiB) 1185740
[startup+942.31 s]
/proc/loadavg: 4.34 4.33 3.79 5/129 27969
/proc/meminfo: memFree=1796884/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2416 CPUtime=7.26
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 370 49671 0 0 1 0 704 21 18 0 1 0 1114514870 2473984 275 4294967295 134512640 135169312 3215597024 3215593240 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 604 275 231 161 0 43 0
[pid=24931] ppid=24927 vsize=1206828 CPUtime=3724.48
/proc/24931/stat : 24931 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202496 292562 0 0 0 371931 517 0 0 25 0 4 0 1114515599 1235791872 292484 4294967295 134512640 135305190 3217196896 3217195072 134530561 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/24931/statm: 301707 292484 79 194 0 301511 0
[pid=24931/tid=24932] ppid=24927 vsize=1206828 CPUtime=931.44
/proc/24931/task/24932/stat : 24932 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 46638 0 0 0 93028 116 0 0 25 0 4 0 1114515747 1235791872 292484 4294967295 134512640 135305190 3217196896 3015539904 134528837 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=24931/tid=24933] ppid=24927 vsize=1206828 CPUtime=931.48
/proc/24931/task/24933/stat : 24933 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 75832 0 0 0 93014 134 0 0 25 0 4 0 1114515747 1235791872 292484 4294967295 134512640 135305190 3217196896 3007150976 134554270 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24931/tid=24934] ppid=24927 vsize=1206828 CPUtime=929.11
/proc/24931/task/24934/stat : 24934 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 53947 0 0 0 92778 133 0 0 25 0 4 0 1114515747 1235791872 292484 4294967295 134512640 135305190 3217196896 2998762352 134551671 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3731.74
Current children cumulated vsize (KiB) 1209244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.34 4.32 3.81 5/129 28157
/proc/meminfo: memFree=1703092/3368532 swapFree=1957708/1959888
[pid=24927] ppid=24925 vsize=2416 CPUtime=7.26
/proc/24927/stat : 24927 (manysat.sh) S 24925 24927 21334 0 -1 4194304 370 49671 0 0 1 0 704 21 18 0 1 0 1114514870 2473984 275 4294967295 134512640 135169312 3215597024 3215593240 3085344494 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24927/statm: 604 275 231 161 0 43 0
[pid=24931] ppid=24927 vsize=1298456 CPUtime=3954.85
/proc/24931/stat : 24931 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202496 315726 0 0 0 394938 547 0 0 25 0 4 0 1114515599 1329618944 315648 4294967295 134512640 135305190 3217196896 3217195072 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/24931/statm: 324614 315648 79 194 0 324418 0
[pid=24931/tid=24932] ppid=24927 vsize=1298456 CPUtime=989.15
/proc/24931/task/24932/stat : 24932 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 51251 0 0 0 98794 121 0 0 25 0 4 0 1114515747 1329618944 315648 4294967295 134512640 135305190 3217196896 3015539904 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=24931/tid=24933] ppid=24927 vsize=1298456 CPUtime=989.13
/proc/24931/task/24933/stat : 24933 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 81973 0 0 0 98774 139 0 0 25 0 4 0 1114515747 1329618944 315648 4294967295 134512640 135305190 3217196896 3007150912 134551712 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24931/tid=24934] ppid=24927 vsize=1298456 CPUtime=986.55
/proc/24931/task/24934/stat : 24934 (manysat1.1_stat) R 24927 24927 21334 0 -1 4202560 59231 0 0 0 98510 145 0 0 25 0 4 0 1114515747 1329618944 315648 4294967295 134512640 135305190 3217196896 2998762688 134528851 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3962.11
Current children cumulated vsize (KiB) 1300872
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 24927 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=50000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=210000
# CPU time returned by wait4() is 7.26
# while last known CPU time is 3962.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.05
CPU time (s): 3962.11
CPU user time (s): 3956.43
CPU system time (s): 5.68
CPU usage (%): 396.189
Max. virtual memory (cumulated for all children) (KiB): 1300872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.05
system time used= 0.21
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50041
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= 11
involuntary context switches= 34
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on at 2009-05-28 10:15:07
IDJOB=1775626
IDBENCH=20366
IDSOLVER=620
FILE ID=/1775626-1243498507
PBS_JOBID=
Free space on /tmp= 15864 MiB
SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-17-u.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775626-1243498507/watcher-1775626-1243498507 -o /tmp/evaluation-result-1775626-1243498507/solver-1775626-1243498507 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775626-1243498507.cnf aimd 0
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= b9de1594525a25a6c43932e2e172e913
RANDOM SEED= 89382224
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: 2991108 kB
Buffers: 11264 kB
Cached: 108212 kB
SwapCached: 16 kB
Active: 272116 kB
Inactive: 46220 kB
HighTotal: 2489216 kB
HighFree: 2178684 kB
LowTotal: 879316 kB
LowFree: 812424 kB
SwapTotal: 1959888 kB
SwapFree: 1957708 kB
Dirty: 23212 kB
Writeback: 0 kB
AnonPages: 198712 kB
Mapped: 35512 kB
Slab: 48520 kB
SReclaimable: 40612 kB
SUnreclaim: 7908 kB
PageTables: 1004 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 451548 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15842 MiB
End job on at 2009-05-28 10:31:51