0.00/0.00 c Parsing...
0.62/0.63 c ==============================================================================
0.62/0.63 c | | ORIGINAL | LEARNT | |
0.62/0.63 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.62/0.63 c ==============================================================================
0.62/0.63 c | 0 | 819017 1889038 | 245705 0 0 nan | 0.000 % |
4.32/4.40 c | 0 | 472816 1288651 | -- 0 -- -- | -- | -148996/-152766
4.32/4.40 c ==============================================================================
4.32/4.40 c Result : #vars: 86440 #clauses: 472816 #literals: 1288651
4.32/4.40 c CPU time: 4.26 s
4.32/4.40 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775662-1243499512/watcher-1775662-1243499512 -o /tmp/evaluation-result-1775662-1243499512/solver-1775662-1243499512 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775662-1243499512.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.16 4.28 3.81 3/124 28202
/proc/meminfo: memFree=2992652/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2416 CPUtime=0.01
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1114615305 2473984 274 4294967295 134512640 135169312 3213935696 3213934232 3085422318 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28202/statm: 604 274 231 161 0 43 0
[pid=28203] ppid=28202 vsize=1756 CPUtime=0
/proc/28203/stat : 28203 (SatElite) R 28202 28202 21334 0 -1 4202496 393 0 0 0 0 0 0 0 18 0 1 0 1114615305 1798144 330 4294967295 134512640 135034092 3214539952 3214536296 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28203/statm: 439 330 49 128 0 309 0
[startup+0.021348 s]
/proc/loadavg: 4.16 4.28 3.81 3/124 28202
/proc/meminfo: memFree=2992652/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2416 CPUtime=0.01
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1114615305 2473984 274 4294967295 134512640 135169312 3213935696 3213934232 3085422318 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28202/statm: 604 274 231 161 0 43 0
[pid=28203] ppid=28202 vsize=5868 CPUtime=0.02
/proc/28203/stat : 28203 (SatElite) R 28202 28202 21334 0 -1 4202496 1235 0 0 0 2 0 0 0 18 0 1 0 1114615305 6008832 1172 4294967295 134512640 135034092 3214539952 3214536296 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28203/statm: 1467 1173 49 128 0 1337 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8284
[startup+0.111338 s]
/proc/loadavg: 4.16 4.28 3.81 3/124 28202
/proc/meminfo: memFree=2992652/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2416 CPUtime=0.01
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1114615305 2473984 274 4294967295 134512640 135169312 3213935696 3213934232 3085422318 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28202/statm: 604 274 231 161 0 43 0
[pid=28203] ppid=28202 vsize=37648 CPUtime=0.11
/proc/28203/stat : 28203 (SatElite) R 28202 28202 21334 0 -1 4202496 6815 0 0 0 9 2 0 0 18 0 1 0 1114615305 38551552 6752 4294967295 134512640 135034092 3214539952 3214536240 134544849 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28203/statm: 9412 6756 49 128 0 9282 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 40064
[startup+0.311321 s]
/proc/loadavg: 4.16 4.28 3.81 3/124 28202
/proc/meminfo: memFree=2992652/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2416 CPUtime=0.01
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1114615305 2473984 274 4294967295 134512640 135169312 3213935696 3213934232 3085422318 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28202/statm: 604 274 231 161 0 43 0
[pid=28203] ppid=28202 vsize=58736 CPUtime=0.31
/proc/28203/stat : 28203 (SatElite) R 28202 28202 21334 0 -1 4202496 12342 0 0 0 27 4 0 0 18 0 1 0 1114615305 60145664 12279 4294967295 134512640 135034092 3214539952 3214535944 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28203/statm: 14684 12279 49 128 0 14554 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 61152
[startup+0.711287 s]
/proc/loadavg: 4.16 4.28 3.81 3/124 28202
/proc/meminfo: memFree=2992652/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2416 CPUtime=0.01
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1114615305 2473984 274 4294967295 134512640 135169312 3213935696 3213934232 3085422318 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28202/statm: 604 274 231 161 0 43 0
[pid=28203] ppid=28202 vsize=88880 CPUtime=0.71
/proc/28203/stat : 28203 (SatElite) R 28202 28202 21334 0 -1 4202496 19543 0 0 0 63 8 0 0 19 0 1 0 1114615305 91013120 19480 4294967295 134512640 135034092 3214539952 3214536992 134536786 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28203/statm: 22220 19480 63 128 0 22090 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 91296
[startup+1.51122 s]
/proc/loadavg: 3.90 4.23 3.79 2/126 28204
/proc/meminfo: memFree=2909392/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2416 CPUtime=0.01
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1114615305 2473984 274 4294967295 134512640 135169312 3213935696 3213934232 3085422318 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28202/statm: 604 274 231 161 0 43 0
[pid=28203] ppid=28202 vsize=102604 CPUtime=1.51
/proc/28203/stat : 28203 (SatElite) R 28202 28202 21334 0 -1 4202496 23895 0 0 0 139 12 0 0 20 0 1 0 1114615305 105066496 21926 4294967295 134512640 135034092 3214539952 3214535948 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28203/statm: 25651 21926 67 128 0 25521 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 105020
[startup+3.11108 s]
/proc/loadavg: 3.90 4.23 3.79 2/126 28204
/proc/meminfo: memFree=2902880/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2416 CPUtime=0.01
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1114615305 2473984 274 4294967295 134512640 135169312 3213935696 3213934232 3085422318 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28202/statm: 604 274 231 161 0 43 0
[pid=28203] ppid=28202 vsize=104832 CPUtime=3.11
/proc/28203/stat : 28203 (SatElite) R 28202 28202 21334 0 -1 4202496 26955 0 0 0 298 13 0 0 25 0 1 0 1114615305 107347968 22385 4294967295 134512640 135034092 3214539952 3214536192 134566282 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28203/statm: 26208 22385 67 128 0 26078 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 107248
[startup+6.31081 s]
/proc/loadavg: 3.90 4.23 3.79 2/126 28205
/proc/meminfo: memFree=2902464/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2420 CPUtime=4.96
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 371 34862 0 0 1 0 473 22 15 0 1 0 1114615305 2478080 275 4294967295 134512640 135169312 3213935696 3213931912 3085422318 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28202/statm: 605 275 231 161 0 44 0
[pid=28205] ppid=28202 vsize=164536 CPUtime=2.39
/proc/28205/stat : 28205 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202496 33022 0 0 0 210 29 0 0 17 0 4 0 1114615801 168484864 32913 4294967295 134512640 135305190 3219657152 3219655328 134528319 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28205/statm: 41134 32913 79 194 0 40938 0
Current children cumulated CPU time (s) 7.35
Current children cumulated vsize (KiB) 166956
[startup+12.7103 s]
/proc/loadavg: 3.94 4.22 3.79 9/129 28209
/proc/meminfo: memFree=2842440/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2420 CPUtime=4.96
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 371 34862 0 0 1 0 473 22 15 0 1 0 1114615305 2478080 275 4294967295 134512640 135169312 3213935696 3213931912 3085422318 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28202/statm: 605 275 231 161 0 44 0
[pid=28205] ppid=28202 vsize=170940 CPUtime=27.77
/proc/28205/stat : 28205 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202496 34734 0 0 0 2738 39 0 0 18 0 4 0 1114615801 175042560 34625 4294967295 134512640 135305190 3219657152 3219655328 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28205/statm: 42735 34625 79 194 0 42539 0
[pid=28205/tid=28206] ppid=28202 vsize=170940 CPUtime=6.74
/proc/28205/task/28206/stat : 28206 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 934 0 0 0 668 6 0 0 18 0 4 0 1114615895 175042560 34625 4294967295 134512640 135305190 3219657152 3044236480 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28205/tid=28207] ppid=28202 vsize=170940 CPUtime=6.71
/proc/28205/task/28207/stat : 28207 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 1081 0 0 0 662 9 0 0 17 0 4 0 1114615895 175042560 34625 4294967295 134512640 135305190 3219657152 3035847872 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28205/tid=28208] ppid=28202 vsize=170940 CPUtime=6.68
/proc/28205/task/28208/stat : 28208 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 885 0 0 0 661 7 0 0 17 0 4 0 1114615895 175042560 34625 4294967295 134512640 135305190 3219657152 3027459264 134528603 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 32.73
Current children cumulated vsize (KiB) 173360
[startup+25.5092 s]
/proc/loadavg: 4.10 4.25 3.80 6/129 28210
/proc/meminfo: memFree=2814820/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2420 CPUtime=4.96
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 371 34862 0 0 1 0 473 22 15 0 1 0 1114615305 2478080 275 4294967295 134512640 135169312 3213935696 3213931912 3085422318 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28202/statm: 605 275 231 161 0 44 0
[pid=28205] ppid=28202 vsize=198460 CPUtime=78.95
/proc/28205/stat : 28205 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202496 41500 0 0 0 7853 42 0 0 25 0 4 0 1114615801 203223040 41391 4294967295 134512640 135305190 3219657152 3219654992 134551651 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28205/statm: 49615 41391 79 194 0 49419 0
[pid=28205/tid=28206] ppid=28202 vsize=198460 CPUtime=19.54
/proc/28205/task/28206/stat : 28206 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 2600 0 0 0 1948 6 0 0 25 0 4 0 1114615895 203223040 41391 4294967295 134512640 135305190 3219657152 3044236144 134551653 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28205/tid=28207] ppid=28202 vsize=198460 CPUtime=19.49
/proc/28205/task/28207/stat : 28207 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 2512 0 0 0 1939 10 0 0 25 0 4 0 1114615895 203223040 41391 4294967295 134512640 135305190 3219657152 3035847872 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28205/tid=28208] ppid=28202 vsize=198460 CPUtime=19.48
/proc/28205/task/28208/stat : 28208 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 2366 0 0 0 1941 7 0 0 25 0 4 0 1114615895 203223040 41391 4294967295 134512640 135305190 3219657152 3027458928 134551804 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 83.91
Current children cumulated vsize (KiB) 200880
[startup+51.107 s]
/proc/loadavg: 4.40 4.31 3.84 6/129 28213
/proc/meminfo: memFree=2748344/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2420 CPUtime=4.96
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 371 34862 0 0 1 0 473 22 15 0 1 0 1114615305 2478080 275 4294967295 134512640 135169312 3213935696 3213931912 3085422318 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28202/statm: 605 275 231 161 0 44 0
[pid=28205] ppid=28202 vsize=265060 CPUtime=181.11
/proc/28205/stat : 28205 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202496 58187 0 0 0 18049 62 0 0 25 0 4 0 1114615801 271421440 58078 4294967295 134512640 135305190 3219657152 3219655328 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28205/statm: 66265 58078 79 194 0 66069 0
[pid=28205/tid=28206] ppid=28202 vsize=265060 CPUtime=45.13
/proc/28205/task/28206/stat : 28206 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 6238 0 0 0 4506 7 0 0 25 0 4 0 1114615895 271421440 58078 4294967295 134512640 135305190 3219657152 3044236480 134528252 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28205/tid=28207] ppid=28202 vsize=265060 CPUtime=44.87
/proc/28205/task/28207/stat : 28207 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 6848 0 0 0 4463 24 0 0 25 0 4 0 1114615895 271421440 58078 4294967295 134512640 135305190 3219657152 3035847872 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28205/tid=28208] ppid=28202 vsize=265060 CPUtime=45.07
/proc/28205/task/28208/stat : 28208 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 6089 0 0 0 4500 7 0 0 25 0 4 0 1114615895 271421440 58078 4294967295 134512640 135305190 3219657152 3027459264 134530561 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 186.07
Current children cumulated vsize (KiB) 267480
[startup+102.313 s]
/proc/loadavg: 4.38 4.33 3.87 5/129 28399
/proc/meminfo: memFree=2648892/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2420 CPUtime=4.96
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 371 34862 0 0 1 0 473 22 15 0 1 0 1114615305 2478080 275 4294967295 134512640 135169312 3213935696 3213931912 3085422318 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28202/statm: 605 275 231 161 0 44 0
[pid=28205] ppid=28202 vsize=363316 CPUtime=385.42
/proc/28205/stat : 28205 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202496 82790 0 0 0 38445 97 0 0 25 0 4 0 1114615801 372035584 82681 4294967295 134512640 135305190 3219657152 3219655328 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/28205/statm: 90829 82681 79 194 0 90633 0
[pid=28205/tid=28206] ppid=28202 vsize=363316 CPUtime=96.3
/proc/28205/task/28206/stat : 28206 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 11425 0 0 0 9618 12 0 0 25 0 4 0 1114615895 372035584 82681 4294967295 134512640 135305190 3219657152 3044236144 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28205/tid=28207] ppid=28202 vsize=363316 CPUtime=95.78
/proc/28205/task/28207/stat : 28207 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 13838 0 0 0 9538 40 0 0 25 0 4 0 1114615895 372035584 82681 4294967295 134512640 135305190 3219657152 3035847488 134551697 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28205/tid=28208] ppid=28202 vsize=363316 CPUtime=96.23
/proc/28205/task/28208/stat : 28208 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 11487 0 0 0 9611 12 0 0 25 0 4 0 1114615895 372035584 82681 4294967295 134512640 135305190 3219657152 3027459264 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 390.38
Current children cumulated vsize (KiB) 365736
[startup+162.307 s]
/proc/loadavg: 4.49 4.38 3.91 5/129 28587
/proc/meminfo: memFree=2547328/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2420 CPUtime=4.96
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 371 34862 0 0 1 0 473 22 15 0 1 0 1114615305 2478080 275 4294967295 134512640 135169312 3213935696 3213931912 3085422318 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28202/statm: 605 275 231 161 0 44 0
[pid=28205] ppid=28202 vsize=464500 CPUtime=625.03
/proc/28205/stat : 28205 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202496 108143 0 0 0 62375 128 0 0 25 0 4 0 1114615801 475648000 108034 4294967295 134512640 135305190 3219657152 3219654992 134551978 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28205/statm: 116125 108034 79 194 0 115929 0
[pid=28205/tid=28206] ppid=28202 vsize=464500 CPUtime=156.28
/proc/28205/task/28206/stat : 28206 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 16691 0 0 0 15608 20 0 0 25 0 4 0 1114615895 475648000 108034 4294967295 134512640 135305190 3219657152 3044236472 134570422 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28205/tid=28207] ppid=28202 vsize=464500 CPUtime=155.71
/proc/28205/task/28207/stat : 28207 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 21430 0 0 0 15526 45 0 0 25 0 4 0 1114615895 475648000 108034 4294967295 134512640 135305190 3219657152 3035847872 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28205/tid=28208] ppid=28202 vsize=464500 CPUtime=156.11
/proc/28205/task/28208/stat : 28208 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 16784 0 0 0 15589 22 0 0 25 0 4 0 1114615895 475648000 108034 4294967295 134512640 135305190 3219657152 3027458928 134551681 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 629.99
Current children cumulated vsize (KiB) 466920
[startup+222.312 s]
/proc/loadavg: 4.37 4.37 3.94 5/129 28779
/proc/meminfo: memFree=2449888/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2420 CPUtime=4.96
################
# More data... #
################
/proc/28205/task/28208/stat : 28208 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 42281 0 0 0 51391 71 0 0 25 0 4 0 1114615895 961400832 226610 4294967295 134512640 135305190 3219657152 3027459264 134528562 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2066.27
Current children cumulated vsize (KiB) 941288
[startup+582.311 s]
/proc/loadavg: 4.33 4.40 4.09 5/129 29913
/proc/meminfo: memFree=2036680/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2420 CPUtime=4.96
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 371 34862 0 0 1 0 473 22 15 0 1 0 1114615305 2478080 275 4294967295 134512640 135169312 3213935696 3213931912 3085422318 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28202/statm: 605 275 231 161 0 44 0
[pid=28205] ppid=28202 vsize=975232 CPUtime=2300.78
/proc/28205/stat : 28205 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202496 235572 0 0 0 229720 358 0 0 25 0 4 0 1114615801 998637568 235463 4294967295 134512640 135305190 3219657152 3219655328 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/28205/statm: 243808 235463 79 194 0 243612 0
[pid=28205/tid=28206] ppid=28202 vsize=975232 CPUtime=575
/proc/28205/task/28206/stat : 28206 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 40135 0 0 0 57428 72 0 0 25 0 4 0 1114615895 998637568 235463 4294967295 134512640 135305190 3219657152 3044236480 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28205/tid=28207] ppid=28202 vsize=975232 CPUtime=575.24
/proc/28205/task/28207/stat : 28207 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 66665 0 0 0 57421 103 0 0 25 0 4 0 1114615895 998637568 235463 4294967295 134512640 135305190 3219657152 3035847488 134551978 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28205/tid=28208] ppid=28202 vsize=975232 CPUtime=574.5
/proc/28205/task/28208/stat : 28208 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 44517 0 0 0 57373 77 0 0 25 0 4 0 1114615895 998637568 235463 4294967295 134512640 135305190 3219657152 3027459264 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2305.74
Current children cumulated vsize (KiB) 977652
[startup+642.306 s]
/proc/loadavg: 4.25 4.37 4.09 5/129 30101
/proc/meminfo: memFree=2014944/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2420 CPUtime=4.96
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 371 34862 0 0 1 0 473 22 15 0 1 0 1114615305 2478080 275 4294967295 134512640 135169312 3213935696 3213931912 3085422318 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28202/statm: 605 275 231 161 0 44 0
[pid=28205] ppid=28202 vsize=998088 CPUtime=2540.11
/proc/28205/stat : 28205 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202496 241184 0 0 0 253629 382 0 0 25 0 4 0 1114615801 1022042112 241075 4294967295 134512640 135305190 3219657152 3219655008 134843311 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/28205/statm: 249522 241075 79 194 0 249326 0
[pid=28205/tid=28206] ppid=28202 vsize=998088 CPUtime=634.67
/proc/28205/task/28206/stat : 28206 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 40952 0 0 0 63387 80 0 0 25 0 4 0 1114615895 1022042112 241075 4294967295 134512640 135305190 3219657152 3044236480 134530561 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28205/tid=28207] ppid=28202 vsize=998088 CPUtime=635.19
/proc/28205/task/28207/stat : 28207 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 69238 0 0 0 63411 108 0 0 25 0 4 0 1114615895 1022042112 241075 4294967295 134512640 135305190 3219657152 3035847816 134840070 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28205/tid=28208] ppid=28202 vsize=998088 CPUtime=634.42
/proc/28205/task/28208/stat : 28208 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 45886 0 0 0 63360 82 0 0 25 0 4 0 1114615895 1022042112 241075 4294967295 134512640 135305190 3219657152 3027458804 134840070 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2545.07
Current children cumulated vsize (KiB) 1000508
[startup+702.311 s]
/proc/loadavg: 4.18 4.33 4.09 5/129 30287
/proc/meminfo: memFree=1922232/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2420 CPUtime=4.96
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 371 34862 0 0 1 0 473 22 15 0 1 0 1114615305 2478080 275 4294967295 134512640 135169312 3213935696 3213931912 3085422318 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28202/statm: 605 275 231 161 0 44 0
[pid=28205] ppid=28202 vsize=1091136 CPUtime=2779.65
/proc/28205/stat : 28205 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202496 264520 0 0 0 277553 412 0 0 25 0 4 0 1114615801 1117323264 264411 4294967295 134512640 135305190 3219657152 3219655056 134557241 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/28205/statm: 272784 264411 79 194 0 272588 0
[pid=28205/tid=28206] ppid=28202 vsize=1091136 CPUtime=694.38
/proc/28205/task/28206/stat : 28206 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 45502 0 0 0 69345 93 0 0 25 0 4 0 1114615895 1117323264 264411 4294967295 134512640 135305190 3219657152 3044236480 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28205/tid=28207] ppid=28202 vsize=1091136 CPUtime=695.11
/proc/28205/task/28207/stat : 28207 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 77371 0 0 0 69399 112 0 0 25 0 4 0 1114615895 1117323264 264411 4294967295 134512640 135305190 3219657152 3035847488 134551776 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28205/tid=28208] ppid=28202 vsize=1091136 CPUtime=694.42
/proc/28205/task/28208/stat : 28208 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 51273 0 0 0 69355 87 0 0 25 0 4 0 1114615895 1117323264 264411 4294967295 134512640 135305190 3219657152 3027458992 134557800 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2784.61
Current children cumulated vsize (KiB) 1093556
[startup+762.316 s]
/proc/loadavg: 4.06 4.27 4.09 5/129 30475
/proc/meminfo: memFree=1774216/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2420 CPUtime=4.96
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 371 34862 0 0 1 0 473 22 15 0 1 0 1114615305 2478080 275 4294967295 134512640 135169312 3213935696 3213931912 3085422318 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28202/statm: 605 275 231 161 0 44 0
[pid=28205] ppid=28202 vsize=1238200 CPUtime=3019.25
/proc/28205/stat : 28205 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202496 301328 0 0 0 301480 445 0 0 25 0 4 0 1114615801 1267916800 301219 4294967295 134512640 135305190 3219657152 3219655328 134528771 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/28205/statm: 309550 301219 79 194 0 309354 0
[pid=28205/tid=28206] ppid=28202 vsize=1238200 CPUtime=754.22
/proc/28205/task/28206/stat : 28206 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 52625 0 0 0 75320 102 0 0 25 0 4 0 1114615895 1267916800 301219 4294967295 134512640 135305190 3219657152 3044236480 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28205/tid=28207] ppid=28202 vsize=1238200 CPUtime=755.06
/proc/28205/task/28207/stat : 28207 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 88734 0 0 0 75387 119 0 0 25 0 4 0 1114615895 1267916800 301219 4294967295 134512640 135305190 3219657152 3035847488 134551709 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28205/tid=28208] ppid=28202 vsize=1238200 CPUtime=754.28
/proc/28205/task/28208/stat : 28208 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 59382 0 0 0 75331 97 0 0 25 0 4 0 1114615895 1267916800 301219 4294967295 134512640 135305190 3219657152 3027458992 134557493 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3024.21
Current children cumulated vsize (KiB) 1240620
[startup+822.31 s]
/proc/loadavg: 4.12 4.25 4.09 6/129 30663
/proc/meminfo: memFree=1771716/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2420 CPUtime=4.96
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 371 34862 0 0 1 0 473 22 15 0 1 0 1114615305 2478080 275 4294967295 134512640 135169312 3213935696 3213931912 3085422318 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28202/statm: 605 275 231 161 0 44 0
[pid=28205] ppid=28202 vsize=1238548 CPUtime=3258.69
/proc/28205/stat : 28205 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202496 301375 0 0 0 325409 460 0 0 25 0 4 0 1114615801 1268273152 301266 4294967295 134512640 135305190 3219657152 3219655328 134528189 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/28205/statm: 309637 301266 79 194 0 309441 0
[pid=28205/tid=28206] ppid=28202 vsize=1238548 CPUtime=813.94
/proc/28205/task/28206/stat : 28206 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 52629 0 0 0 81288 106 0 0 25 0 4 0 1114615895 1268273152 301266 4294967295 134512640 135305190 3219657152 3044236480 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28205/tid=28207] ppid=28202 vsize=1238548 CPUtime=815.01
/proc/28205/task/28207/stat : 28207 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 88775 0 0 0 81377 124 0 0 25 0 4 0 1114615895 1268273152 301266 4294967295 134512640 135305190 3219657152 3035847488 134551639 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28205/tid=28208] ppid=28202 vsize=1238548 CPUtime=814.2
/proc/28205/task/28208/stat : 28208 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 59384 0 0 0 81317 103 0 0 25 0 4 0 1114615895 1268273152 301266 4294967295 134512640 135305190 3219657152 3027459264 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3263.65
Current children cumulated vsize (KiB) 1240968
[startup+882.315 s]
/proc/loadavg: 4.41 4.31 4.12 5/129 30852
/proc/meminfo: memFree=1762452/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2420 CPUtime=4.96
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 371 34862 0 0 1 0 473 22 15 0 1 0 1114615305 2478080 275 4294967295 134512640 135169312 3213935696 3213931912 3085422318 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28202/statm: 605 275 231 161 0 44 0
[pid=28205] ppid=28202 vsize=1249776 CPUtime=3498.3
/proc/28205/stat : 28205 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202496 304230 0 0 0 349354 476 0 0 25 0 4 0 1114615801 1279770624 304121 4294967295 134512640 135305190 3219657152 3219655328 134528559 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/28205/statm: 312444 304121 79 194 0 312248 0
[pid=28205/tid=28206] ppid=28202 vsize=1249776 CPUtime=873.91
/proc/28205/task/28206/stat : 28206 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 53113 0 0 0 87283 108 0 0 25 0 4 0 1114615895 1279770624 304121 4294967295 134512640 135305190 3219657152 3044236480 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28205/tid=28207] ppid=28202 vsize=1249776 CPUtime=874.95
/proc/28205/task/28207/stat : 28207 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 89880 0 0 0 87367 128 0 0 25 0 4 0 1114615895 1279770624 304121 4294967295 134512640 135305190 3219657152 3035847488 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28205/tid=28208] ppid=28202 vsize=1249776 CPUtime=874.05
/proc/28205/task/28208/stat : 28208 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 60166 0 0 0 87298 107 0 0 25 0 4 0 1114615895 1279770624 304121 4294967295 134512640 135305190 3219657152 3027459264 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3503.26
Current children cumulated vsize (KiB) 1252196
[startup+942.31 s]
/proc/loadavg: 4.48 4.34 4.14 5/129 31040
/proc/meminfo: memFree=1669692/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2420 CPUtime=4.96
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 371 34862 0 0 1 0 473 22 15 0 1 0 1114615305 2478080 275 4294967295 134512640 135169312 3213935696 3213931912 3085422318 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28202/statm: 605 275 231 161 0 44 0
[pid=28205] ppid=28202 vsize=1344920 CPUtime=3737.71
/proc/28205/stat : 28205 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202496 327759 0 0 0 373262 509 0 0 25 0 4 0 1114615801 1377198080 327650 4294967295 134512640 135305190 3219657152 3219655328 134528310 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/28205/statm: 336230 327650 79 194 0 336034 0
[pid=28205/tid=28206] ppid=28202 vsize=1344920 CPUtime=933.8
/proc/28205/task/28206/stat : 28206 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 58135 0 0 0 93266 114 0 0 25 0 4 0 1114615895 1377198080 327650 4294967295 134512640 135305190 3219657152 3044236480 134531013 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28205/tid=28207] ppid=28202 vsize=1344920 CPUtime=934.89
/proc/28205/task/28207/stat : 28207 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 97152 0 0 0 93350 139 0 0 25 0 4 0 1114615895 1377198080 327650 4294967295 134512640 135305190 3219657152 3035847872 134528252 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28205/tid=28208] ppid=28202 vsize=1344920 CPUtime=933.73
/proc/28205/task/28208/stat : 28208 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 65748 0 0 0 93260 113 0 0 25 0 4 0 1114615895 1377198080 327650 4294967295 134512640 135305190 3219657152 3027459264 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3742.67
Current children cumulated vsize (KiB) 1347340
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.45 4.36 4.15 5/129 31230
/proc/meminfo: memFree=1528568/3368532 swapFree=1957708/1959888
[pid=28202] ppid=28200 vsize=2420 CPUtime=4.96
/proc/28202/stat : 28202 (manysat.sh) S 28200 28202 21334 0 -1 4194304 371 34862 0 0 1 0 473 22 15 0 1 0 1114615305 2478080 275 4294967295 134512640 135169312 3213935696 3213931912 3085422318 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28202/statm: 605 275 231 161 0 44 0
[pid=28205] ppid=28202 vsize=1485148 CPUtime=3968.05
/proc/28205/stat : 28205 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202496 362666 0 0 0 396246 559 0 0 25 0 4 0 1114615801 1520791552 362557 4294967295 134512640 135305190 3219657152 3219655272 134840070 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/28205/statm: 371287 362557 79 194 0 371091 0
[pid=28205/tid=28206] ppid=28202 vsize=1485148 CPUtime=991.23
/proc/28205/task/28206/stat : 28206 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 65290 0 0 0 98999 124 0 0 25 0 4 0 1114615895 1520791552 362557 4294967295 134512640 135305190 3219657152 3044236480 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28205/tid=28207] ppid=28202 vsize=1485148 CPUtime=992.56
/proc/28205/task/28207/stat : 28207 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 107909 0 0 0 99105 151 0 0 25 0 4 0 1114615895 1520791552 362557 4294967295 134512640 135305190 3219657152 3035847816 134840070 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28205/tid=28208] ppid=28202 vsize=1485148 CPUtime=991.28
/proc/28205/task/28208/stat : 28208 (manysat1.1_stat) R 28202 28202 21334 0 -1 4202560 74608 0 0 0 99002 126 0 0 25 0 4 0 1114615895 1520791552 362557 4294967295 134512640 135305190 3219657152 3027459264 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3973.01
Current children cumulated vsize (KiB) 1487568
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 28202 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=740000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=220000
# CPU time returned by wait4() is 4.96
# while last known CPU time is 3973.01
#
# 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): 3973.01
CPU user time (s): 3967.2
CPU system time (s): 5.81
CPU usage (%): 397.287
Max. virtual memory (cumulated for all children) (KiB): 1487568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.74
system time used= 0.22
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35233
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= 7
involuntary context switches= 6
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on at 2009-05-28 10:31:52
IDJOB=1775662
IDBENCH=20370
IDSOLVER=626
FILE ID=/1775662-1243499512
PBS_JOBID=
Free space on /tmp= 15871 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-13-u.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775662-1243499512/watcher-1775662-1243499512 -o /tmp/evaluation-result-1775662-1243499512/solver-1775662-1243499512 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775662-1243499512.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 4bb23e70b97827425fcf5759bf0a79a2
RANDOM SEED= 123070750
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: 2992652 kB
Buffers: 11896 kB
Cached: 104996 kB
SwapCached: 16 kB
Active: 266088 kB
Inactive: 49632 kB
HighTotal: 2489216 kB
HighFree: 2181944 kB
LowTotal: 879316 kB
LowFree: 810708 kB
SwapTotal: 1959888 kB
SwapFree: 1957708 kB
Dirty: 16488 kB
Writeback: 0 kB
AnonPages: 198612 kB
Mapped: 35592 kB
Slab: 49216 kB
SReclaimable: 41036 kB
SUnreclaim: 8180 kB
PageTables: 976 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 451544 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15856 MiB
End job on at 2009-05-28 10:48:35