0.00/0.00 c Parsing...
0.02/0.03 c ==============================================================================
0.02/0.03 c | | ORIGINAL | LEARNT | |
0.02/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.02/0.03 c ==============================================================================
0.02/0.03 c | 0 | 57446 170514 | 17233 0 0 nan | 0.000 % |
0.22/0.29 c | 0 | 56659 238983 | -- 0 -- -- | -- | -787/68469
0.22/0.29 c ==============================================================================
0.22/0.29 c Result : #vars: 636 #clauses: 56659 #literals: 238983
0.22/0.29 c CPU time: 0.3 s
0.22/0.29 c ==============================================================================
805.55/202.25 c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
805.55/202.25 c ============================[ Problem Statistics ]=============================
805.55/202.25 c | |
805.55/202.25 c threadId : 3
805.55/202.25 c restarts : 352
805.55/202.25 c conflicts : 359931 (447 /sec)
805.55/202.25 c decisions : 433982 (2.42 % random) (539 /sec)
805.55/202.25 c propagations : 25169450 (31283 /sec)
805.55/202.25 c conflict literals : 9996889 (24.84 % deleted)
805.55/202.25 c Memory used : 143.04 MB
805.55/202.25 c CPU time : 804.57 s
805.55/202.25
805.55/202.25 c --->m=4, e=8, aimd=2, HOME/4978_many.cnf time: 201.143 conflicts: 359931
805.55/202.26 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1781047-1243540740/watcher-1781047-1243540740 -o /tmp/evaluation-result-1781047-1243540740/solver-1781047-1243540740 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781047-1243540740.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.32 4.50 4.48 3/96 4978
/proc/meminfo: memFree=2932496/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2412 CPUtime=0
/proc/4978/stat : 4978 (manysat.sh) R 4976 4978 27966 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 1118738102 2469888 273 4294967295 134512640 135169312 3218598080 3218596556 3084937076 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/4978/statm: 603 273 231 161 0 42 0
[pid=4979] ppid=4978 vsize=1172 CPUtime=0
/proc/4979/stat : 4979 (SatElite) R 4978 4978 27966 0 -1 4202496 223 0 0 0 0 0 0 0 18 0 1 0 1118738102 1200128 160 4294967295 134512640 135034092 3217424240 3217420232 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4979/statm: 293 160 49 128 0 163 0
[startup+0.014835 s]
/proc/loadavg: 4.32 4.50 4.48 3/96 4978
/proc/meminfo: memFree=2932496/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2412 CPUtime=0
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118738102 2469888 273 4294967295 134512640 135169312 3218598080 3218596616 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 603 273 231 161 0 42 0
[pid=4979] ppid=4978 vsize=2208 CPUtime=0.02
/proc/4979/stat : 4979 (SatElite) R 4978 4978 27966 0 -1 4202496 485 0 0 0 2 0 0 0 19 0 1 0 1118738102 2260992 422 4294967295 134512640 135034092 3217424240 3217420584 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4979/statm: 552 423 49 128 0 422 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4620
[startup+0.114829 s]
/proc/loadavg: 4.32 4.50 4.48 3/96 4978
/proc/meminfo: memFree=2932496/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2412 CPUtime=0
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118738102 2469888 273 4294967295 134512640 135169312 3218598080 3218596616 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 603 273 231 161 0 42 0
[pid=4979] ppid=4978 vsize=6016 CPUtime=0.12
/proc/4979/stat : 4979 (SatElite) R 4978 4978 27966 0 -1 4202496 1451 0 0 0 12 0 0 0 20 0 1 0 1118738102 6160384 1388 4294967295 134512640 135034092 3217424240 3217420784 134582423 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4979/statm: 1504 1388 67 128 0 1374 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 8428
[startup+0.31481 s]
/proc/loadavg: 4.32 4.50 4.48 3/96 4978
/proc/meminfo: memFree=2932496/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2412 CPUtime=0
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118738102 2469888 273 4294967295 134512640 135169312 3218598080 3218596616 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 603 273 231 161 0 42 0
[pid=4979] ppid=4978 vsize=6312 CPUtime=0.32
/proc/4979/stat : 4979 (SatElite) R 4978 4978 27966 0 -1 4202496 1627 0 0 0 32 0 0 0 20 0 1 0 1118738102 6463488 1451 4294967295 134512640 135034092 3217424240 3217419124 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4979/statm: 1578 1451 68 128 0 1448 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 8724
[startup+0.714786 s]
/proc/loadavg: 4.32 4.50 4.48 3/96 4978
/proc/meminfo: memFree=2932496/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 2416
[startup+1.51472 s]
/proc/loadavg: 4.32 4.50 4.48 6/101 4984
/proc/meminfo: memFree=2911996/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
[pid=4981] ppid=4978 vsize=47620 CPUtime=4.22
/proc/4981/stat : 4981 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202496 5462 0 0 0 419 3 0 0 18 0 4 0 1118738139 48762880 5395 4294967295 134512640 135305190 3219151168 3219149344 134528310 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4981/statm: 11905 5395 79 194 0 11709 0
[pid=4981/tid=4982] ppid=4978 vsize=47620 CPUtime=1.02
/proc/4981/task/4982/stat : 4982 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 388 0 0 0 101 1 0 0 20 0 4 0 1118738149 48762880 5395 4294967295 134512640 135305190 3219151168 3084856512 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4981/tid=4983] ppid=4978 vsize=47620 CPUtime=1.02
/proc/4981/task/4983/stat : 4983 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 349 0 0 0 102 0 0 0 21 0 4 0 1118738149 48762880 5395 4294967295 134512640 135305190 3219151168 3076467584 134553473 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4981/tid=4984] ppid=4978 vsize=47620 CPUtime=1.04
/proc/4981/task/4984/stat : 4984 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 441 0 0 0 104 0 0 0 19 0 4 0 1118738149 48762880 5395 4294967295 134512640 135305190 3219151168 3068079296 134528397 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 50036
[startup+3.11459 s]
/proc/loadavg: 4.30 4.50 4.48 5/101 4984
/proc/meminfo: memFree=2909480/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
[pid=4981] ppid=4978 vsize=52112 CPUtime=10.62
/proc/4981/stat : 4981 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202496 6519 0 0 0 1057 5 0 0 21 0 4 0 1118738139 53362688 6452 4294967295 134512640 135305190 3219151168 3219149344 134528418 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4981/statm: 13028 6452 79 194 0 12832 0
[pid=4981/tid=4982] ppid=4978 vsize=52112 CPUtime=2.62
/proc/4981/task/4982/stat : 4982 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 727 0 0 0 261 1 0 0 25 0 4 0 1118738149 53362688 6452 4294967295 134512640 135305190 3219151168 3084856400 134842916 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4981/tid=4983] ppid=4978 vsize=52112 CPUtime=2.62
/proc/4981/task/4983/stat : 4983 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 542 0 0 0 262 0 0 0 25 0 4 0 1118738149 53362688 6452 4294967295 134512640 135305190 3219151168 3076467904 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4981/tid=4984] ppid=4978 vsize=52112 CPUtime=2.64
/proc/4981/task/4984/stat : 4984 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 750 0 0 0 264 0 0 0 22 0 4 0 1118738149 53362688 6452 4294967295 134512640 135305190 3219151168 3068079296 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.99
Current children cumulated vsize (KiB) 54528
[startup+6.31432 s]
/proc/loadavg: 4.30 4.50 4.48 5/101 4984
/proc/meminfo: memFree=2901500/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
[pid=4981] ppid=4978 vsize=59144 CPUtime=23.4
/proc/4981/stat : 4981 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202496 8036 0 0 0 2332 8 0 0 25 0 4 0 1118738139 60563456 7969 4294967295 134512640 135305190 3219151168 3219149344 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4981/statm: 14786 7969 79 194 0 14590 0
[pid=4981/tid=4982] ppid=4978 vsize=59144 CPUtime=5.8
/proc/4981/task/4982/stat : 4982 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 1177 0 0 0 579 1 0 0 25 0 4 0 1118738149 60563456 7969 4294967295 134512640 135305190 3219151168 3084856512 134528636 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4981/tid=4983] ppid=4978 vsize=59144 CPUtime=5.82
/proc/4981/task/4983/stat : 4983 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 919 0 0 0 582 0 0 0 25 0 4 0 1118738149 60563456 7969 4294967295 134512640 135305190 3219151168 3076467904 134528263 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4981/tid=4984] ppid=4978 vsize=59144 CPUtime=5.84
/proc/4981/task/4984/stat : 4984 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 1136 0 0 0 582 2 0 0 25 0 4 0 1118738149 60563456 7969 4294967295 134512640 135305190 3219151168 3068079088 134547909 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.77
Current children cumulated vsize (KiB) 61560
[startup+12.7138 s]
/proc/loadavg: 4.25 4.48 4.47 5/101 4984
/proc/meminfo: memFree=2892624/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
[pid=4981] ppid=4978 vsize=66196 CPUtime=49
/proc/4981/stat : 4981 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202496 10015 0 0 0 4889 11 0 0 25 0 4 0 1118738139 67784704 9945 4294967295 134512640 135305190 3219151168 3219149136 134547909 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4981/statm: 16549 9945 79 194 0 16353 0
[pid=4981/tid=4982] ppid=4978 vsize=66196 CPUtime=12.2
/proc/4981/task/4982/stat : 4982 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 1564 0 0 0 1218 2 0 0 25 0 4 0 1118738149 67784704 9945 4294967295 134512640 135305190 3219151168 3084856512 134528442 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4981/tid=4983] ppid=4978 vsize=66196 CPUtime=12.22
/proc/4981/task/4983/stat : 4983 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 1517 0 0 0 1222 0 0 0 25 0 4 0 1118738149 67784704 9945 4294967295 134512640 135305190 3219151168 3076467904 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4981/tid=4984] ppid=4978 vsize=66196 CPUtime=12.24
/proc/4981/task/4984/stat : 4984 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 1703 0 0 0 1221 3 0 0 25 0 4 0 1118738149 67784704 9945 4294967295 134512640 135305190 3219151168 3068079296 134528248 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.37
Current children cumulated vsize (KiB) 68612
[startup+25.5127 s]
/proc/loadavg: 4.29 4.48 4.47 7/102 5148
/proc/meminfo: memFree=2878112/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
[pid=4981] ppid=4978 vsize=78504 CPUtime=99.96
/proc/4981/stat : 4981 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202496 12977 0 0 0 9982 14 0 0 25 0 4 0 1118738139 80388096 12907 4294967295 134512640 135305190 3219151168 3219149344 134528559 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4981/statm: 19626 12907 79 194 0 19430 0
[pid=4981/tid=4982] ppid=4978 vsize=78504 CPUtime=24.95
/proc/4981/task/4982/stat : 4982 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 2234 0 0 0 2491 4 0 0 25 0 4 0 1118738149 80388096 12907 4294967295 134512640 135305190 3219151168 3084856360 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4981/tid=4983] ppid=4978 vsize=78504 CPUtime=24.99
/proc/4981/task/4983/stat : 4983 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 2001 0 0 0 2498 1 0 0 25 0 4 0 1118738149 80388096 12907 4294967295 134512640 135305190 3219151168 3076467768 134836378 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4981/tid=4984] ppid=4978 vsize=78504 CPUtime=24.9
/proc/4981/task/4984/stat : 4984 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 2746 0 0 0 2487 3 0 0 25 0 4 0 1118738149 80388096 12907 4294967295 134512640 135305190 3219151168 3068079296 134528442 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.33
Current children cumulated vsize (KiB) 80920
[startup+51.1106 s]
/proc/loadavg: 4.25 4.45 4.46 5/101 5174
/proc/meminfo: memFree=2866472/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
[pid=4981] ppid=4978 vsize=93172 CPUtime=202.26
/proc/4981/stat : 4981 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202496 16359 0 0 0 20199 27 0 0 25 0 4 0 1118738139 95408128 16289 4294967295 134512640 135305190 3219151168 3219149344 134528376 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4981/statm: 23293 16289 79 194 0 23097 0
[pid=4981/tid=4982] ppid=4978 vsize=93172 CPUtime=50.45
/proc/4981/task/4982/stat : 4982 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 3092 0 0 0 5038 7 0 0 25 0 4 0 1118738149 95408128 16289 4294967295 134512640 135305190 3219151168 3084856512 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4981/tid=4983] ppid=4978 vsize=93172 CPUtime=50.59
/proc/4981/task/4983/stat : 4983 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 2979 0 0 0 5057 2 0 0 25 0 4 0 1118738149 95408128 16289 4294967295 134512640 135305190 3219151168 3076467904 134528237 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4981/tid=4984] ppid=4978 vsize=93172 CPUtime=50.5
/proc/4981/task/4984/stat : 4984 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 3598 0 0 0 5042 8 0 0 25 0 4 0 1118738149 95408128 16289 4294967295 134512640 135305190 3219151168 3068078960 134551998 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.63
Current children cumulated vsize (KiB) 95588
[startup+102.316 s]
/proc/loadavg: 4.52 4.48 4.47 5/101 5361
/proc/meminfo: memFree=2849660/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
[pid=4981] ppid=4978 vsize=112728 CPUtime=406.64
/proc/4981/stat : 4981 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202496 20617 0 0 0 40623 41 0 0 25 0 4 0 1118738139 115433472 20518 4294967295 134512640 135305190 3219151168 3219149344 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4981/statm: 28182 20518 79 194 0 27986 0
[pid=4981/tid=4982] ppid=4978 vsize=112728 CPUtime=101.43
/proc/4981/task/4982/stat : 4982 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 4473 0 0 0 10128 15 0 0 25 0 4 0 1118738149 115433472 20518 4294967295 134512640 135305190 3219151168 3084856512 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4981/tid=4983] ppid=4978 vsize=112728 CPUtime=101.75
/proc/4981/task/4983/stat : 4983 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 4178 0 0 0 10170 5 0 0 25 0 4 0 1118738149 115433472 20518 4294967295 134512640 135305190 3219151168 3076467904 134528480 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4981/tid=4984] ppid=4978 vsize=112728 CPUtime=101.55
/proc/4981/task/4984/stat : 4984 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 4318 0 0 0 10147 8 0 0 25 0 4 0 1118738149 115433472 20518 4294967295 134512640 135305190 3219151168 3068079296 134528376 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.01
Current children cumulated vsize (KiB) 115144
[startup+162.311 s]
/proc/loadavg: 4.39 4.45 4.45 5/101 5549
/proc/meminfo: memFree=2825032/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
[pid=4981] ppid=4978 vsize=138608 CPUtime=646.13
/proc/4981/stat : 4981 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202496 26740 0 0 0 64554 59 0 0 25 0 4 0 1118738139 141934592 26633 4294967295 134512640 135305190 3219151168 3219149344 134528237 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4981/statm: 34652 26633 79 194 0 34456 0
[pid=4981/tid=4982] ppid=4978 vsize=138608 CPUtime=161.18
/proc/4981/task/4982/stat : 4982 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 5691 0 0 0 16099 19 0 0 25 0 4 0 1118738149 141934592 26633 4294967295 134512640 135305190 3219151168 3084856512 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4981/tid=4983] ppid=4978 vsize=138608 CPUtime=161.65
/proc/4981/task/4983/stat : 4983 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 5684 0 0 0 16155 10 0 0 25 0 4 0 1118738149 141934592 26633 4294967295 134512640 135305190 3219151168 3076467904 134528428 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4981/tid=4984] ppid=4978 vsize=138608 CPUtime=161.4
/proc/4981/task/4984/stat : 4984 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 5909 0 0 0 16127 13 0 0 25 0 4 0 1118738149 141934592 26633 4294967295 134512640 135305190 3219151168 3068079296 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 646.5
Current children cumulated vsize (KiB) 141024
Solver just ended. Dumping a history of the last processes samples
[startup+179.11 s]
/proc/loadavg: 4.38 4.45 4.45 5/101 5550
/proc/meminfo: memFree=2823096/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
[pid=4981] ppid=4978 vsize=140764 CPUtime=713.12
/proc/4981/stat : 4981 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202496 27227 0 0 0 71246 66 0 0 25 0 4 0 1118738139 144142336 27099 4294967295 134512640 135305190 3219151168 3219149344 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4981/statm: 35191 27099 79 194 0 34995 0
[pid=4981/tid=4982] ppid=4978 vsize=140764 CPUtime=177.78
/proc/4981/task/4982/stat : 4982 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 5877 0 0 0 17757 21 0 0 25 0 4 0 1118738149 144142336 27099 4294967295 134512640 135305190 3219151168 3084856512 134528523 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4981/tid=4983] ppid=4978 vsize=140764 CPUtime=178.44
/proc/4981/task/4983/stat : 4983 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 5848 0 0 0 17833 11 0 0 25 0 4 0 1118738149 144142336 27099 4294967295 134512640 135305190 3219151168 3076467904 134528428 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4981/tid=4984] ppid=4978 vsize=140764 CPUtime=178.2
/proc/4981/task/4984/stat : 4984 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6003 0 0 0 17804 16 0 0 25 0 4 0 1118738149 144142336 27099 4294967295 134512640 135305190 3219151168 3068079296 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 713.49
Current children cumulated vsize (KiB) 143180
[startup+191.909 s]
/proc/loadavg: 4.40 4.45 4.45 6/101 5552
/proc/meminfo: memFree=2820732/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
[pid=4981] ppid=4978 vsize=144160 CPUtime=764.28
/proc/4981/stat : 4981 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202496 27856 0 0 0 76353 75 0 0 25 0 4 0 1118738139 147619840 27728 4294967295 134512640 135305190 3219151168 3219149344 134528410 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4981/statm: 36040 27728 79 194 0 35844 0
[pid=4981/tid=4982] ppid=4978 vsize=144160 CPUtime=190.54
/proc/4981/task/4982/stat : 4982 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6159 0 0 0 19031 23 0 0 25 0 4 0 1118738149 147619840 27728 4294967295 134512640 135305190 3219151168 3084856512 134528774 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4981/tid=4983] ppid=4978 vsize=144160 CPUtime=191.24
/proc/4981/task/4983/stat : 4983 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6004 0 0 0 19112 12 0 0 25 0 4 0 1118738149 147619840 27728 4294967295 134512640 135305190 3219151168 3076467904 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4981/tid=4984] ppid=4978 vsize=144160 CPUtime=191
/proc/4981/task/4984/stat : 4984 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6115 0 0 0 19078 22 0 0 25 0 4 0 1118738149 147619840 27728 4294967295 134512640 135305190 3219151168 3068079296 134528332 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 764.65
Current children cumulated vsize (KiB) 146576
[startup+198.308 s]
/proc/loadavg: 4.41 4.45 4.45 5/101 5552
/proc/meminfo: memFree=2819252/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
[pid=4981] ppid=4978 vsize=145848 CPUtime=789.84
/proc/4981/stat : 4981 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202496 28218 0 0 0 78907 77 0 0 25 0 4 0 1118738139 149348352 28090 4294967295 134512640 135305190 3219151168 3219149344 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4981/statm: 36462 28090 79 194 0 36266 0
[pid=4981/tid=4982] ppid=4978 vsize=145848 CPUtime=196.92
/proc/4981/task/4982/stat : 4982 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6159 0 0 0 19668 24 0 0 25 0 4 0 1118738149 149348352 28090 4294967295 134512640 135305190 3219151168 3084856512 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4981/tid=4983] ppid=4978 vsize=145848 CPUtime=197.64
/proc/4981/task/4983/stat : 4983 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6147 0 0 0 19752 12 0 0 25 0 4 0 1118738149 149348352 28090 4294967295 134512640 135305190 3219151168 3076467904 134528872 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4981/tid=4984] ppid=4978 vsize=145848 CPUtime=197.39
/proc/4981/task/4984/stat : 4984 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6192 0 0 0 19716 23 0 0 25 0 4 0 1118738149 149348352 28090 4294967295 134512640 135305190 3219151168 3068079184 134529371 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 790.21
Current children cumulated vsize (KiB) 148264
[startup+199.908 s]
/proc/loadavg: 4.41 4.45 4.45 6/101 5552
/proc/meminfo: memFree=2819004/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
[pid=4981] ppid=4978 vsize=146324 CPUtime=796.24
/proc/4981/stat : 4981 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202496 28311 0 0 0 79547 77 0 0 25 0 4 0 1118738139 149835776 28183 4294967295 134512640 135305190 3219151168 3219149344 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4981/statm: 36581 28183 79 194 0 36385 0
[pid=4981/tid=4982] ppid=4978 vsize=146324 CPUtime=198.52
/proc/4981/task/4982/stat : 4982 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6159 0 0 0 19828 24 0 0 25 0 4 0 1118738149 149835776 28183 4294967295 134512640 135305190 3219151168 3084856512 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4981/tid=4983] ppid=4978 vsize=146324 CPUtime=199.24
/proc/4981/task/4983/stat : 4983 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6148 0 0 0 19912 12 0 0 25 0 4 0 1118738149 149835776 28183 4294967295 134512640 135305190 3219151168 3076467904 134528274 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4981/tid=4984] ppid=4978 vsize=146324 CPUtime=198.99
/proc/4981/task/4984/stat : 4984 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6211 0 0 0 19876 23 0 0 25 0 4 0 1118738149 149835776 28183 4294967295 134512640 135305190 3219151168 3068079296 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 796.61
Current children cumulated vsize (KiB) 148740
[startup+201.508 s]
/proc/loadavg: 4.41 4.45 4.45 6/101 5735
/proc/meminfo: memFree=2816812/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
[pid=4981] ppid=4978 vsize=146468 CPUtime=802.38
/proc/4981/stat : 4981 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202496 28356 0 0 0 80161 77 0 0 25 0 4 0 1118738139 149983232 28228 4294967295 134512640 135305190 3219151168 3219149136 134547909 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4981/statm: 36617 28228 79 194 0 36421 0
[pid=4981/tid=4982] ppid=4978 vsize=146468 CPUtime=200.1
/proc/4981/task/4982/stat : 4982 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6159 0 0 0 19986 24 0 0 25 0 4 0 1118738149 149983232 28228 4294967295 134512640 135305190 3219151168 3084856400 134529385 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4981/tid=4983] ppid=4978 vsize=146468 CPUtime=200.77
/proc/4981/task/4983/stat : 4983 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6177 0 0 0 20065 12 0 0 25 0 4 0 1118738149 149983232 28228 4294967295 134512640 135305190 3219151168 3076467904 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4981/tid=4984] ppid=4978 vsize=146468 CPUtime=200.42
/proc/4981/task/4984/stat : 4984 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6213 0 0 0 20019 23 0 0 25 0 4 0 1118738149 149983232 28228 4294967295 134512640 135305190 3219151168 3068079296 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 802.75
Current children cumulated vsize (KiB) 148884
[startup+201.908 s]
/proc/loadavg: 4.41 4.45 4.45 6/101 5735
/proc/meminfo: memFree=2816812/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
[pid=4981] ppid=4978 vsize=146468 CPUtime=803.98
/proc/4981/stat : 4981 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202496 28361 0 0 0 80321 77 0 0 25 0 4 0 1118738139 149983232 28233 4294967295 134512640 135305190 3219151168 3219149344 134528418 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4981/statm: 36617 28233 79 194 0 36421 0
[pid=4981/tid=4982] ppid=4978 vsize=146468 CPUtime=200.5
/proc/4981/task/4982/stat : 4982 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6159 0 0 0 20026 24 0 0 25 0 4 0 1118738149 149983232 28233 4294967295 134512640 135305190 3219151168 3084856512 134528501 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4981/tid=4983] ppid=4978 vsize=146468 CPUtime=201.17
/proc/4981/task/4983/stat : 4983 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6179 0 0 0 20105 12 0 0 25 0 4 0 1118738149 149983232 28233 4294967295 134512640 135305190 3219151168 3076467904 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4981/tid=4984] ppid=4978 vsize=146468 CPUtime=200.82
/proc/4981/task/4984/stat : 4984 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6215 0 0 0 20059 23 0 0 25 0 4 0 1118738149 149983232 28233 4294967295 134512640 135305190 3219151168 3068079296 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.35
Current children cumulated vsize (KiB) 148884
[startup+202.108 s]
/proc/loadavg: 4.41 4.45 4.45 6/101 5735
/proc/meminfo: memFree=2816812/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
[pid=4981] ppid=4978 vsize=146468 CPUtime=804.78
/proc/4981/stat : 4981 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202496 28363 0 0 0 80401 77 0 0 25 0 4 0 1118738139 149983232 28235 4294967295 134512640 135305190 3219151168 3219149136 134548023 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4981/statm: 36617 28235 79 194 0 36421 0
[pid=4981/tid=4982] ppid=4978 vsize=146468 CPUtime=200.7
/proc/4981/task/4982/stat : 4982 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6159 0 0 0 20046 24 0 0 25 0 4 0 1118738149 149983232 28235 4294967295 134512640 135305190 3219151168 3084856512 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4981/tid=4983] ppid=4978 vsize=146468 CPUtime=201.37
/proc/4981/task/4983/stat : 4983 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6180 0 0 0 20125 12 0 0 25 0 4 0 1118738149 149983232 28235 4294967295 134512640 135305190 3219151168 3076467904 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4981/tid=4984] ppid=4978 vsize=146468 CPUtime=201.02
/proc/4981/task/4984/stat : 4984 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6216 0 0 0 20079 23 0 0 25 0 4 0 1118738149 149983232 28235 4294967295 134512640 135305190 3219151168 3068079296 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 805.15
Current children cumulated vsize (KiB) 148884
[startup+202.208 s]
/proc/loadavg: 4.41 4.45 4.45 6/101 5735
/proc/meminfo: memFree=2816812/3368532 swapFree=1953788/1959888
[pid=4978] ppid=4976 vsize=2416 CPUtime=0.37
/proc/4978/stat : 4978 (manysat.sh) S 4976 4978 27966 0 -1 4194304 369 1631 0 0 0 0 36 1 15 0 1 0 1118738102 2473984 274 4294967295 134512640 135169312 3218598080 3218594296 3084934894 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4978/statm: 604 274 231 161 0 43 0
[pid=4981] ppid=4978 vsize=146468 CPUtime=805.18
/proc/4981/stat : 4981 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202496 28364 0 0 0 80441 77 0 0 25 0 4 0 1118738139 149983232 28236 4294967295 134512640 135305190 3219151168 3219149136 134547906 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4981/statm: 36617 28236 79 194 0 36421 0
[pid=4981/tid=4982] ppid=4978 vsize=146468 CPUtime=200.8
/proc/4981/task/4982/stat : 4982 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6159 0 0 0 20056 24 0 0 25 0 4 0 1118738149 149983232 28236 4294967295 134512640 135305190 3219151168 3084856512 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4981/tid=4983] ppid=4978 vsize=146468 CPUtime=201.47
/proc/4981/task/4983/stat : 4983 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6180 0 0 0 20135 12 0 0 25 0 4 0 1118738149 149983232 28236 4294967295 134512640 135305190 3219151168 3076467904 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=4981/tid=4984] ppid=4978 vsize=146468 CPUtime=201.12
/proc/4981/task/4984/stat : 4984 (manysat1.1_stat) R 4978 4978 27966 0 -1 4202560 6216 0 0 0 20089 23 0 0 25 0 4 0 1118738149 149983232 28236 4294967295 134512640 135305190 3219151168 3068079296 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 805.55
Current children cumulated vsize (KiB) 148884
Child status: 20
Real time (s): 202.264
CPU time (s): 805.72
CPU user time (s): 804.93
CPU system time (s): 0.79
CPU usage (%): 398.351
Max. virtual memory (cumulated for all children) (KiB): 148884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 804.93
system time used= 0.79
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30655
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= 3952
involuntary context switches= 34829
runsolver used 0 second user time and 0 second system time
The end
Begin job on at 2009-05-28 21:59:00
IDJOB=1781047
IDBENCH=71091
IDSOLVER=626
FILE ID=/1781047-1243540740
PBS_JOBID=
Free space on /tmp= 6475 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_07_UNSAT.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1781047-1243540740/watcher-1781047-1243540740 -o /tmp/evaluation-result-1781047-1243540740/solver-1781047-1243540740 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781047-1243540740.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 6419e2e5b92274df2e7e43e6c6a98566
RANDOM SEED= 61224372
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: 2932496 kB
Buffers: 58884 kB
Cached: 276628 kB
SwapCached: 2256 kB
Active: 126768 kB
Inactive: 218268 kB
HighTotal: 2489216 kB
HighFree: 2201560 kB
LowTotal: 879316 kB
LowFree: 730936 kB
SwapTotal: 1959888 kB
SwapFree: 1953788 kB
Dirty: 2476 kB
Writeback: 0 kB
AnonPages: 8792 kB
Mapped: 3104 kB
Slab: 80872 kB
SReclaimable: 67780 kB
SUnreclaim: 13092 kB
PageTables: 548 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88676 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 6475 MiB
End job on at 2009-05-28 22:02:23