0.00/0.00 c Parsing...
0.11/0.18 c ==============================================================================
0.11/0.18 c | | ORIGINAL | LEARNT | |
0.11/0.18 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.11/0.18 c ==============================================================================
0.11/0.18 c | 0 | 226528 587013 | 67958 0 0 nan | 0.000 % |
0.81/0.89 c | 0 | 163587 553632 | -- 0 -- -- | -- | -62941/-33381
0.81/0.89 c ==============================================================================
0.81/0.89 c Result : #vars: 28546 #clauses: 163587 #literals: 553632
0.81/0.89 c CPU time: 0.88 s
0.81/0.89 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1779166-1243520411/watcher-1779166-1243520411 -o /tmp/evaluation-result-1779166-1243520411/solver-1779166-1243520411 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779166-1243520411.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.13 4.31 4.34 3/96 5390
/proc/meminfo: memFree=3015596/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2416 CPUtime=0
/proc/5390/stat : 5390 (manysat.sh) R 5388 5390 27966 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 1116705263 2473984 273 4294967295 134512640 135169312 3219870208 3219868684 3085031284 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/5390/statm: 604 273 231 161 0 43 0
[pid=5391] ppid=5390 vsize=2460 CPUtime=0
/proc/5391/stat : 5391 (SatElite) R 5390 5390 27966 0 -1 4202496 440 0 0 0 0 0 0 0 18 0 1 0 1116705263 2519040 377 4294967295 134512640 135034092 3213855744 3213852032 134544849 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5391/statm: 615 379 50 128 0 485 0
[startup+0.017944 s]
/proc/loadavg: 4.13 4.31 4.34 3/96 5390
/proc/meminfo: memFree=3015596/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2416 CPUtime=0
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116705263 2473984 273 4294967295 134512640 135169312 3219870208 3219868744 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 604 273 231 161 0 43 0
[pid=5391] ppid=5390 vsize=13140 CPUtime=0.02
/proc/5391/stat : 5391 (SatElite) R 5390 5390 27966 0 -1 4202496 1995 0 0 0 2 0 0 0 19 0 1 0 1116705263 13455360 1785 4294967295 134512640 135034092 3213855744 3213852088 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5391/statm: 3285 1785 50 128 0 3155 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15556
[startup+0.107935 s]
/proc/loadavg: 4.13 4.31 4.34 3/96 5390
/proc/meminfo: memFree=3015596/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2416 CPUtime=0
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116705263 2473984 273 4294967295 134512640 135169312 3219870208 3219868744 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 604 273 231 161 0 43 0
[pid=5391] ppid=5390 vsize=25892 CPUtime=0.11
/proc/5391/stat : 5391 (SatElite) R 5390 5390 27966 0 -1 4202496 5097 0 0 0 11 0 0 0 20 0 1 0 1116705263 26513408 4887 4294967295 134512640 135034092 3213855744 3213852088 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5391/statm: 6473 4889 50 128 0 6343 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 28308
[startup+0.307919 s]
/proc/loadavg: 4.13 4.31 4.34 3/96 5390
/proc/meminfo: memFree=3015596/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2416 CPUtime=0
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116705263 2473984 273 4294967295 134512640 135169312 3219870208 3219868744 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 604 273 231 161 0 43 0
[pid=5391] ppid=5390 vsize=38100 CPUtime=0.31
/proc/5391/stat : 5391 (SatElite) R 5390 5390 27966 0 -1 4202496 8357 0 0 0 31 0 0 0 20 0 1 0 1116705263 39014400 7943 4294967295 134512640 135034092 3213855744 3213851612 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5391/statm: 9525 7944 67 128 0 9395 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 40516
[startup+0.707886 s]
/proc/loadavg: 4.13 4.31 4.34 3/96 5390
/proc/meminfo: memFree=3015596/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2416 CPUtime=0
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116705263 2473984 273 4294967295 134512640 135169312 3219870208 3219868744 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 604 273 231 161 0 43 0
[pid=5391] ppid=5390 vsize=42936 CPUtime=0.71
/proc/5391/stat : 5391 (SatElite) R 5390 5390 27966 0 -1 4202496 9638 0 0 0 70 1 0 0 21 0 1 0 1116705263 43966464 9088 4294967295 134512640 135034092 3213855744 3213852048 134569526 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5391/statm: 10734 9088 67 128 0 10604 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 45352
[startup+1.50782 s]
/proc/loadavg: 4.13 4.31 4.34 2/98 5392
/proc/meminfo: memFree=2973832/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2420 CPUtime=1.11
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 370 9934 0 0 0 0 110 1 18 0 1 0 1116705263 2478080 275 4294967295 134512640 135169312 3219870208 3219866424 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2420
[startup+3.12769 s]
/proc/loadavg: 4.12 4.30 4.34 6/101 5396
/proc/meminfo: memFree=2954592/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2420 CPUtime=1.11
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 370 9934 0 0 0 0 110 1 18 0 1 0 1116705263 2478080 275 4294967295 134512640 135169312 3219870208 3219866424 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 605 275 231 161 0 44 0
[pid=5393] ppid=5390 vsize=85772 CPUtime=6.54
/proc/5393/stat : 5393 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202496 14383 0 0 0 601 53 0 0 16 0 4 0 1116705374 87830528 14291 4294967295 134512640 135305190 3214113904 3214112004 134695249 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5393/statm: 21443 14291 79 194 0 21247 0
[pid=5393/tid=5394] ppid=5390 vsize=85772 CPUtime=1.58
/proc/5393/task/5394/stat : 5394 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 713 0 0 0 144 14 0 0 16 0 4 0 1116705410 87830528 14291 4294967295 134512640 135305190 3214113904 3074829504 134530702 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5393/tid=5395] ppid=5390 vsize=85772 CPUtime=1.58
/proc/5393/task/5395/stat : 5395 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 663 0 0 0 144 14 0 0 16 0 4 0 1116705410 87830528 14291 4294967295 134512640 135305190 3214113904 3066440896 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5393/tid=5396] ppid=5390 vsize=85772 CPUtime=1.45
/proc/5393/task/5396/stat : 5396 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 821 0 0 0 135 10 0 0 15 0 4 0 1116705410 87830528 14291 4294967295 134512640 135305190 3214113904 3058052288 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (KiB) 88192
[startup+6.30743 s]
/proc/loadavg: 4.12 4.30 4.34 7/101 5396
/proc/meminfo: memFree=2950604/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2420 CPUtime=1.11
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 370 9934 0 0 0 0 110 1 18 0 1 0 1116705263 2478080 275 4294967295 134512640 135169312 3219870208 3219866424 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 605 275 231 161 0 44 0
[pid=5393] ppid=5390 vsize=88444 CPUtime=19.24
/proc/5393/stat : 5393 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202496 15091 0 0 0 1870 54 0 0 18 0 4 0 1116705374 90566656 14999 4294967295 134512640 135305190 3214113904 3214112024 134840070 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5393/statm: 22111 14999 79 194 0 21915 0
[pid=5393/tid=5394] ppid=5390 vsize=88444 CPUtime=4.74
/proc/5393/task/5394/stat : 5394 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 842 0 0 0 460 14 0 0 20 0 4 0 1116705410 90566656 14999 4294967295 134512640 135305190 3214113904 3074829504 134528289 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5393/tid=5395] ppid=5390 vsize=88444 CPUtime=4.76
/proc/5393/task/5395/stat : 5395 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 831 0 0 0 461 15 0 0 18 0 4 0 1116705410 90566656 14999 4294967295 134512640 135305190 3214113904 3066440896 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5393/tid=5396] ppid=5390 vsize=88444 CPUtime=4.63
/proc/5393/task/5396/stat : 5396 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 1072 0 0 0 453 10 0 0 18 0 4 0 1116705410 90566656 14999 4294967295 134512640 135305190 3214113904 3058051952 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20.35
Current children cumulated vsize (KiB) 90864
[startup+12.7069 s]
/proc/loadavg: 4.17 4.31 4.34 6/101 5396
/proc/meminfo: memFree=2946716/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2420 CPUtime=1.11
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 370 9934 0 0 0 0 110 1 18 0 1 0 1116705263 2478080 275 4294967295 134512640 135169312 3219870208 3219866424 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 605 275 231 161 0 44 0
[pid=5393] ppid=5390 vsize=92596 CPUtime=44.84
/proc/5393/stat : 5393 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202496 15880 0 0 0 4430 54 0 0 25 0 4 0 1116705374 94818304 15788 4294967295 134512640 135305190 3214113904 3214111808 134556558 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5393/statm: 23149 15788 79 194 0 22953 0
[pid=5393/tid=5394] ppid=5390 vsize=92596 CPUtime=11.14
/proc/5393/task/5394/stat : 5394 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 1029 0 0 0 1100 14 0 0 25 0 4 0 1116705410 94818304 15788 4294967295 134512640 135305190 3214113904 3074829232 134556558 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5393/tid=5395] ppid=5390 vsize=92596 CPUtime=11.16
/proc/5393/task/5395/stat : 5395 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 1002 0 0 0 1101 15 0 0 25 0 4 0 1116705410 94818304 15788 4294967295 134512640 135305190 3214113904 3066440512 134551697 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5393/tid=5396] ppid=5390 vsize=92596 CPUtime=11.03
/proc/5393/task/5396/stat : 5396 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 1337 0 0 0 1093 10 0 0 25 0 4 0 1116705410 94818304 15788 4294967295 134512640 135305190 3214113904 3058051952 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 45.95
Current children cumulated vsize (KiB) 95016
[startup+25.5058 s]
/proc/loadavg: 4.22 4.32 4.34 5/101 5397
/proc/meminfo: memFree=2941200/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2420 CPUtime=1.11
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 370 9934 0 0 0 0 110 1 18 0 1 0 1116705263 2478080 275 4294967295 134512640 135169312 3219870208 3219866424 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 605 275 231 161 0 44 0
[pid=5393] ppid=5390 vsize=97728 CPUtime=95.94
/proc/5393/stat : 5393 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202496 17244 0 0 0 9533 61 0 0 25 0 4 0 1116705374 100073472 17152 4294967295 134512640 135305190 3214113904 3214111744 134551697 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5393/statm: 24432 17152 79 194 0 24236 0
[pid=5393/tid=5394] ppid=5390 vsize=97728 CPUtime=23.94
/proc/5393/task/5394/stat : 5394 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 1363 0 0 0 2379 15 0 0 25 0 4 0 1116705410 100073472 17152 4294967295 134512640 135305190 3214113904 3074829232 134556558 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5393/tid=5395] ppid=5390 vsize=97728 CPUtime=23.92
/proc/5393/task/5395/stat : 5395 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 1149 0 0 0 2376 16 0 0 25 0 4 0 1116705410 100073472 17152 4294967295 134512640 135305190 3214113904 3066440896 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5393/tid=5396] ppid=5390 vsize=97728 CPUtime=23.78
/proc/5393/task/5396/stat : 5396 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 1775 0 0 0 2365 13 0 0 25 0 4 0 1116705410 100073472 17152 4294967295 134512640 135305190 3214113904 3058052016 134556752 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 97.05
Current children cumulated vsize (KiB) 100148
[startup+51.1137 s]
/proc/loadavg: 4.36 4.34 4.34 7/102 5479
/proc/meminfo: memFree=2930956/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2420 CPUtime=1.11
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 370 9934 0 0 0 0 110 1 18 0 1 0 1116705263 2478080 275 4294967295 134512640 135169312 3219870208 3219866424 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 605 275 231 161 0 44 0
[pid=5393] ppid=5390 vsize=105736 CPUtime=198.11
/proc/5393/stat : 5393 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202496 19344 0 0 0 19738 73 0 0 25 0 4 0 1116705374 108273664 19252 4294967295 134512640 135305190 3214113904 3214112080 134530636 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5393/statm: 26434 19252 79 194 0 26238 0
[pid=5393/tid=5394] ppid=5390 vsize=105736 CPUtime=49.53
/proc/5393/task/5394/stat : 5394 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 1798 0 0 0 4936 17 0 0 25 0 4 0 1116705410 108273664 19252 4294967295 134512640 135305190 3214113904 3074829504 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5393/tid=5395] ppid=5390 vsize=105736 CPUtime=49.43
/proc/5393/task/5395/stat : 5395 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 1695 0 0 0 4926 17 0 0 25 0 4 0 1116705410 108273664 19252 4294967295 134512640 135305190 3214113904 3066440896 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5393/tid=5396] ppid=5390 vsize=105736 CPUtime=49.32
/proc/5393/task/5396/stat : 5396 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 2407 0 0 0 4914 18 0 0 25 0 4 0 1116705410 108273664 19252 4294967295 134512640 135305190 3214113904 3058052016 134556558 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 199.22
Current children cumulated vsize (KiB) 108156
[startup+102.319 s]
/proc/loadavg: 4.29 4.34 4.34 5/101 5586
/proc/meminfo: memFree=2914168/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2420 CPUtime=1.11
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 370 9934 0 0 0 0 110 1 18 0 1 0 1116705263 2478080 275 4294967295 134512640 135169312 3219870208 3219866424 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 605 275 231 161 0 44 0
[pid=5393] ppid=5390 vsize=124988 CPUtime=402.27
/proc/5393/stat : 5393 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202496 24070 0 0 0 40135 92 0 0 25 0 4 0 1116705374 127987712 23978 4294967295 134512640 135305190 3214113904 3214112080 134528548 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5393/statm: 31247 23978 79 194 0 31051 0
[pid=5393/tid=5394] ppid=5390 vsize=124988 CPUtime=100.66
/proc/5393/task/5394/stat : 5394 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 2516 0 0 0 10041 25 0 0 25 0 4 0 1116705410 127987712 23978 4294967295 134512640 135305190 3214113904 3074829504 134528341 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5393/tid=5395] ppid=5390 vsize=124988 CPUtime=100.63
/proc/5393/task/5395/stat : 5395 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 3076 0 0 0 10041 22 0 0 25 0 4 0 1116705410 127987712 23978 4294967295 134512640 135305190 3214113904 3066440896 134528410 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5393/tid=5396] ppid=5390 vsize=124988 CPUtime=100.31
/proc/5393/task/5396/stat : 5396 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 3776 0 0 0 10010 21 0 0 25 0 4 0 1116705410 127987712 23978 4294967295 134512640 135305190 3214113904 3058052288 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 403.38
Current children cumulated vsize (KiB) 127408
[startup+162.314 s]
/proc/loadavg: 4.56 4.42 4.37 5/101 5774
/proc/meminfo: memFree=2901304/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2420 CPUtime=1.11
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 370 9934 0 0 0 0 110 1 18 0 1 0 1116705263 2478080 275 4294967295 134512640 135169312 3219870208 3219866424 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 605 275 231 161 0 44 0
[pid=5393] ppid=5390 vsize=137116 CPUtime=641.77
/proc/5393/stat : 5393 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202496 27204 0 0 0 64058 119 0 0 25 0 4 0 1116705374 140406784 27112 4294967295 134512640 135305190 3214113904 3214112080 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5393/statm: 34279 27112 79 194 0 34083 0
[pid=5393/tid=5394] ppid=5390 vsize=137116 CPUtime=160.59
/proc/5393/task/5394/stat : 5394 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 3108 0 0 0 16030 29 0 0 25 0 4 0 1116705410 140406784 27112 4294967295 134512640 135305190 3214113904 3074829168 134551614 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5393/tid=5395] ppid=5390 vsize=137116 CPUtime=160.53
/proc/5393/task/5395/stat : 5395 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 3955 0 0 0 16021 32 0 0 25 0 4 0 1116705410 140406784 27112 4294967295 134512640 135305190 3214113904 3066440896 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/5393/task/5396/stat : 5396 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 9331 0 0 0 51899 53 0 0 25 0 4 0 1116705410 210944000 44249 4294967295 134512640 135305190 3214113904 3058052288 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2079.83
Current children cumulated vsize (KiB) 208420
[startup+582.32 s]
/proc/loadavg: 4.52 4.53 4.43 5/101 7111
/proc/meminfo: memFree=2828384/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2420 CPUtime=1.11
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 370 9934 0 0 0 0 110 1 18 0 1 0 1116705263 2478080 275 4294967295 134512640 135169312 3219870208 3219866424 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 605 275 231 161 0 44 0
[pid=5393] ppid=5390 vsize=209924 CPUtime=2318.01
/proc/5393/stat : 5393 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202496 45166 0 0 0 231570 231 0 0 25 0 4 0 1116705374 214962176 45074 4294967295 134512640 135305190 3214113904 3214111808 134556558 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5393/statm: 52481 45074 79 194 0 52285 0
[pid=5393/tid=5394] ppid=5390 vsize=209924 CPUtime=580.27
/proc/5393/task/5394/stat : 5394 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 6505 0 0 0 57973 54 0 0 25 0 4 0 1116705410 214962176 45074 4294967295 134512640 135305190 3214113904 3074829504 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5393/tid=5395] ppid=5390 vsize=209924 CPUtime=579.29
/proc/5393/task/5395/stat : 5395 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 9420 0 0 0 57852 77 0 0 25 0 4 0 1116705410 214962176 45074 4294967295 134512640 135305190 3214113904 3066440896 134528458 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5393/tid=5396] ppid=5390 vsize=209924 CPUtime=579.39
/proc/5393/task/5396/stat : 5396 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 9496 0 0 0 57884 55 0 0 25 0 4 0 1116705410 214962176 45074 4294967295 134512640 135305190 3214113904 3058052016 134556645 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2319.12
Current children cumulated vsize (KiB) 212344
[startup+642.315 s]
/proc/loadavg: 4.49 4.53 4.44 5/101 7298
/proc/meminfo: memFree=2823508/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2420 CPUtime=1.11
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 370 9934 0 0 0 0 110 1 18 0 1 0 1116705263 2478080 275 4294967295 134512640 135169312 3219870208 3219866424 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 605 275 231 161 0 44 0
[pid=5393] ppid=5390 vsize=215484 CPUtime=2557.58
/proc/5393/stat : 5393 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202496 46750 0 0 0 255509 249 0 0 25 0 4 0 1116705374 220655616 46658 4294967295 134512640 135305190 3214113904 3214112080 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5393/statm: 53871 46658 79 194 0 53675 0
[pid=5393/tid=5394] ppid=5390 vsize=215484 CPUtime=640.17
/proc/5393/task/5394/stat : 5394 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 6835 0 0 0 63959 58 0 0 25 0 4 0 1116705410 220655616 46658 4294967295 134512640 135305190 3214113904 3074829504 134528438 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5393/tid=5395] ppid=5390 vsize=215484 CPUtime=639.29
/proc/5393/task/5395/stat : 5395 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 9978 0 0 0 63849 80 0 0 25 0 4 0 1116705410 220655616 46658 4294967295 134512640 135305190 3214113904 3066440896 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5393/tid=5396] ppid=5390 vsize=215484 CPUtime=639.27
/proc/5393/task/5396/stat : 5396 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 9877 0 0 0 63866 61 0 0 25 0 4 0 1116705410 220655616 46658 4294967295 134512640 135305190 3214113904 3058052016 134556819 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2558.69
Current children cumulated vsize (KiB) 217904
[startup+702.31 s]
/proc/loadavg: 4.63 4.58 4.46 6/101 7485
/proc/meminfo: memFree=2801972/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2420 CPUtime=1.11
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 370 9934 0 0 0 0 110 1 18 0 1 0 1116705263 2478080 275 4294967295 134512640 135169312 3219870208 3219866424 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 605 275 231 161 0 44 0
[pid=5393] ppid=5390 vsize=238112 CPUtime=2797.04
/proc/5393/stat : 5393 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202496 52058 0 0 0 279439 265 0 0 25 0 4 0 1116705374 243826688 51966 4294967295 134512640 135305190 3214113904 3214112080 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5393/statm: 59528 51966 79 194 0 59332 0
[pid=5393/tid=5394] ppid=5390 vsize=238112 CPUtime=699.93
/proc/5393/task/5394/stat : 5394 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 8003 0 0 0 69925 68 0 0 25 0 4 0 1116705410 243826688 51966 4294967295 134512640 135305190 3214113904 3074829504 134528256 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5393/tid=5395] ppid=5390 vsize=238112 CPUtime=699.28
/proc/5393/task/5395/stat : 5395 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 11382 0 0 0 69848 80 0 0 25 0 4 0 1116705410 243826688 51966 4294967295 134512640 135305190 3214113904 3066440576 134552302 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5393/tid=5396] ppid=5390 vsize=238112 CPUtime=699.25
/proc/5393/task/5396/stat : 5396 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 11502 0 0 0 69860 65 0 0 25 0 4 0 1116705410 243826688 51966 4294967295 134512640 135305190 3214113904 3058052288 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2798.15
Current children cumulated vsize (KiB) 240532
[startup+762.315 s]
/proc/loadavg: 4.50 4.57 4.46 5/101 7673
/proc/meminfo: memFree=2793548/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2420 CPUtime=1.11
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 370 9934 0 0 0 0 110 1 18 0 1 0 1116705263 2478080 275 4294967295 134512640 135169312 3219870208 3219866424 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 605 275 231 161 0 44 0
[pid=5393] ppid=5390 vsize=246392 CPUtime=3036.35
/proc/5393/stat : 5393 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202496 54118 0 0 0 303356 279 0 0 25 0 4 0 1116705374 252305408 54026 4294967295 134512640 135305190 3214113904 3214111808 134556572 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5393/statm: 61598 54026 79 194 0 61402 0
[pid=5393/tid=5394] ppid=5390 vsize=246392 CPUtime=759.86
/proc/5393/task/5394/stat : 5394 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 8390 0 0 0 75917 69 0 0 25 0 4 0 1116705410 252305408 54026 4294967295 134512640 135305190 3214113904 3074829168 134551712 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5393/tid=5395] ppid=5390 vsize=246392 CPUtime=759.21
/proc/5393/task/5395/stat : 5395 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 11976 0 0 0 75836 85 0 0 25 0 4 0 1116705410 252305408 54026 4294967295 134512640 135305190 3214113904 3066440896 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5393/tid=5396] ppid=5390 vsize=246392 CPUtime=759.26
/proc/5393/task/5396/stat : 5396 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 12090 0 0 0 75860 66 0 0 25 0 4 0 1116705410 252305408 54026 4294967295 134512640 135305190 3214113904 3058052288 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3037.46
Current children cumulated vsize (KiB) 248812
[startup+822.31 s]
/proc/loadavg: 4.73 4.62 4.48 5/101 7862
/proc/meminfo: memFree=2790440/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2420 CPUtime=1.11
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 370 9934 0 0 0 0 110 1 18 0 1 0 1116705263 2478080 275 4294967295 134512640 135169312 3219870208 3219866424 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 605 275 231 161 0 44 0
[pid=5393] ppid=5390 vsize=249260 CPUtime=3276.01
/proc/5393/stat : 5393 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202496 54957 0 0 0 327307 294 0 0 25 0 4 0 1116705374 255242240 54865 4294967295 134512640 135305190 3214113904 3214111808 134556558 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5393/statm: 62315 54865 79 194 0 62119 0
[pid=5393/tid=5394] ppid=5390 vsize=249260 CPUtime=819.85
/proc/5393/task/5394/stat : 5394 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 8499 0 0 0 81913 72 0 0 25 0 4 0 1116705410 255242240 54865 4294967295 134512640 135305190 3214113904 3074829232 134557554 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5393/tid=5395] ppid=5390 vsize=249260 CPUtime=819.2
/proc/5393/task/5395/stat : 5395 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 12352 0 0 0 81830 90 0 0 25 0 4 0 1116705410 255242240 54865 4294967295 134512640 135305190 3214113904 3066440896 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5393/tid=5396] ppid=5390 vsize=249260 CPUtime=819.15
/proc/5393/task/5396/stat : 5396 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 12259 0 0 0 81847 68 0 0 25 0 4 0 1116705410 255242240 54865 4294967295 134512640 135305190 3214113904 3058051952 134551697 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3277.12
Current children cumulated vsize (KiB) 251680
[startup+882.305 s]
/proc/loadavg: 4.95 4.70 4.52 5/101 8050
/proc/meminfo: memFree=2769112/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2420 CPUtime=1.11
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 370 9934 0 0 0 0 110 1 18 0 1 0 1116705263 2478080 275 4294967295 134512640 135169312 3219870208 3219866424 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 605 275 231 161 0 44 0
[pid=5393] ppid=5390 vsize=270044 CPUtime=3515.54
/proc/5393/stat : 5393 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202496 60177 0 0 0 351242 312 0 0 25 0 4 0 1116705374 276525056 60085 4294967295 134512640 135305190 3214113904 3214112080 134528506 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5393/statm: 67511 60085 79 194 0 67315 0
[pid=5393/tid=5394] ppid=5390 vsize=270044 CPUtime=879.75
/proc/5393/task/5394/stat : 5394 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 9532 0 0 0 87901 74 0 0 25 0 4 0 1116705410 276525056 60085 4294967295 134512640 135305190 3214113904 3074829504 134528310 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5393/tid=5395] ppid=5390 vsize=270044 CPUtime=879.19
/proc/5393/task/5395/stat : 5395 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 14155 0 0 0 87823 96 0 0 25 0 4 0 1116705410 276525056 60085 4294967295 134512640 135305190 3214113904 3066440896 134528480 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5393/tid=5396] ppid=5390 vsize=270044 CPUtime=879.06
/proc/5393/task/5396/stat : 5396 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 13614 0 0 0 87832 74 0 0 25 0 4 0 1116705410 276525056 60085 4294967295 134512640 135305190 3214113904 3058052288 134528590 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3516.65
Current children cumulated vsize (KiB) 272464
[startup+942.31 s]
/proc/loadavg: 5.08 4.79 4.56 5/101 8241
/proc/meminfo: memFree=2766948/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2420 CPUtime=1.11
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 370 9934 0 0 0 0 110 1 18 0 1 0 1116705263 2478080 275 4294967295 134512640 135169312 3219870208 3219866424 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 605 275 231 161 0 44 0
[pid=5393] ppid=5390 vsize=270464 CPUtime=3755.05
/proc/5393/stat : 5393 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202496 60291 0 0 0 375182 323 0 0 25 0 4 0 1116705374 276955136 60199 4294967295 134512640 135305190 3214113904 3214112080 134528771 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5393/statm: 67616 60199 79 194 0 67420 0
[pid=5393/tid=5394] ppid=5390 vsize=270464 CPUtime=939.43
/proc/5393/task/5394/stat : 5394 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 9532 0 0 0 93864 79 0 0 25 0 4 0 1116705410 276955136 60199 4294967295 134512640 135305190 3214113904 3074829232 134557493 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5393/tid=5395] ppid=5390 vsize=270464 CPUtime=939.19
/proc/5393/task/5395/stat : 5395 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 14266 0 0 0 93823 96 0 0 25 0 4 0 1116705410 276955136 60199 4294967295 134512640 135305190 3214113904 3066440896 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5393/tid=5396] ppid=5390 vsize=270464 CPUtime=939.06
/proc/5393/task/5396/stat : 5396 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 13617 0 0 0 93827 79 0 0 25 0 4 0 1116705410 276955136 60199 4294967295 134512640 135305190 3214113904 3058052288 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3756.16
Current children cumulated vsize (KiB) 272884
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.64 4.72 4.54 5/101 8428
/proc/meminfo: memFree=2763780/3368532 swapFree=1953788/1959888
[pid=5390] ppid=5388 vsize=2420 CPUtime=1.11
/proc/5390/stat : 5390 (manysat.sh) S 5388 5390 27966 0 -1 4194304 370 9934 0 0 0 0 110 1 18 0 1 0 1116705263 2478080 275 4294967295 134512640 135169312 3219870208 3219866424 3085029102 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5390/statm: 605 275 231 161 0 44 0
[pid=5393] ppid=5390 vsize=275552 CPUtime=3985.31
/proc/5393/stat : 5393 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202496 61595 0 0 0 398189 342 0 0 25 0 4 0 1116705374 282165248 61503 4294967295 134512640 135305190 3214113904 3214111760 134843311 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5393/statm: 68888 61503 79 194 0 68692 0
[pid=5393/tid=5394] ppid=5390 vsize=275552 CPUtime=996.81
/proc/5393/task/5394/stat : 5394 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 9810 0 0 0 99592 89 0 0 25 0 4 0 1116705410 282165248 61503 4294967295 134512640 135305190 3214113904 3074829504 134528442 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5393/tid=5395] ppid=5390 vsize=275552 CPUtime=996.89
/proc/5393/task/5395/stat : 5395 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 14634 0 0 0 99591 98 0 0 25 0 4 0 1116705410 282165248 61503 4294967295 134512640 135305190 3214113904 3066440512 134551709 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=5393/tid=5396] ppid=5390 vsize=275552 CPUtime=996.64
/proc/5393/task/5396/stat : 5396 (manysat1.1_stat) R 5390 5390 27966 0 -1 4202560 13896 0 0 0 99585 79 0 0 25 0 4 0 1116705410 282165248 61503 4294967295 134512640 135305190 3214113904 3058052288 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3986.42
Current children cumulated vsize (KiB) 277972
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 5390 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=100000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=10000
# CPU time returned by wait4() is 1.11
# while last known CPU time is 3986.42
#
# 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): 3986.42
CPU user time (s): 3982.99
CPU system time (s): 3.43
CPU usage (%): 398.628
Max. virtual memory (cumulated for all children) (KiB): 277972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.1
system time used= 0.01
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10304
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= 6
involuntary context switches= 4
runsolver used 0 second user time and 0 second system time
The end
Begin job on at 2009-05-28 16:20:11
IDJOB=1779166
IDBENCH=70819
IDSOLVER=620
FILE ID=/1779166-1243520411
PBS_JOBID=
Free space on /tmp= 6472 MiB
SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-15.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1779166-1243520411/watcher-1779166-1243520411 -o /tmp/evaluation-result-1779166-1243520411/solver-1779166-1243520411 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779166-1243520411.cnf aimd 0
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= c8a05d1e76535706c430a6b42d191d4b
RANDOM SEED= 731968394
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.061
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.41
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.061
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.061
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.061
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: 3016040 kB
Buffers: 51992 kB
Cached: 200512 kB
SwapCached: 2256 kB
Active: 119412 kB
Inactive: 142672 kB
HighTotal: 2489216 kB
HighFree: 2277688 kB
LowTotal: 879316 kB
LowFree: 738352 kB
SwapTotal: 1959888 kB
SwapFree: 1953788 kB
Dirty: 5704 kB
Writeback: 0 kB
AnonPages: 8840 kB
Mapped: 3232 kB
Slab: 80920 kB
SReclaimable: 67464 kB
SUnreclaim: 13456 kB
PageTables: 464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88684 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 6465 MiB
End job on at 2009-05-28 16:36:54