Trace number 1779022

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ManySAT 1.1 aimd 2/2009-03-20 (4 threads)? (TO) 3248.32 1000.04

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
MD5SUM3022ff2a7ae31b29e9b784d8e848042f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables365168
Number of clauses1093967
Sum of the clauses size2552587
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2729310
Number of clauses of size 3364655
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.82/0.88	c ==============================================================================
0.82/0.88	c |           |     ORIGINAL     |              LEARNT              |          |
0.82/0.88	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.82/0.88	c ==============================================================================
0.82/0.88	c |         0 | 1093965  2552585 |  328189       0        0     nan |  0.000 % |
16.02/16.11	c |         0 |  536570  1877685 |      --       0       --      -- |     --   | -557373/-674847
16.02/16.11	c ==============================================================================
16.02/16.11	c Result  :   #vars: 96656   #clauses: 536570   #literals: 1877685
16.02/16.11	c CPU time:   15.65 s
16.02/16.11	c ==============================================================================

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1779022-1243518334/watcher-1779022-1243518334 -o /tmp/evaluation-result-1779022-1243518334/solver-1779022-1243518334 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779022-1243518334.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: 5.59 5.64 5.63 4/124 22533
/proc/meminfo: memFree=1503988/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2416 CPUtime=0
/proc/22533/stat : 22533 (manysat.sh) R 22531 22533 21334 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 1116497496 2473984 274 4294967295 134512640 135169312 3213239216 3213237692 3085694836 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/22533/statm: 604 274 231 161 0 43 0
[pid=22534] ppid=22533 vsize=1208 CPUtime=0
/proc/22534/stat : 22534 (SatElite) R 22533 22533 21334 0 -1 4202496 247 0 0 0 0 0 0 0 18 0 1 0 1116497496 1236992 184 4294967295 134512640 135034092 3213278080 3213274424 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22534/statm: 302 185 49 128 0 172 0

[startup+0.029339 s]
/proc/loadavg: 5.59 5.64 5.63 4/124 22533
/proc/meminfo: memFree=1503988/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2416 CPUtime=0
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116497496 2473984 274 4294967295 134512640 135169312 3213239216 3213237752 3085692654 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22533/statm: 604 274 231 161 0 43 0
[pid=22534] ppid=22533 vsize=5552 CPUtime=0.03
/proc/22534/stat : 22534 (SatElite) R 22533 22533 21334 0 -1 4202496 1290 0 0 0 3 0 0 0 20 0 1 0 1116497496 5685248 1227 4294967295 134512640 135034092 3213278080 3213274040 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22534/statm: 1388 1228 49 128 0 1258 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7968

[startup+0.119331 s]
/proc/loadavg: 5.59 5.64 5.63 4/124 22533
/proc/meminfo: memFree=1503988/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2416 CPUtime=0
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116497496 2473984 274 4294967295 134512640 135169312 3213239216 3213237752 3085692654 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22533/statm: 604 274 231 161 0 43 0
[pid=22534] ppid=22533 vsize=20604 CPUtime=0.12
/proc/22534/stat : 22534 (SatElite) R 22533 22533 21334 0 -1 4202496 4881 0 0 0 12 0 0 0 20 0 1 0 1116497496 21098496 4818 4294967295 134512640 135034092 3213278080 3213274424 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22534/statm: 5151 4819 49 128 0 5021 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 23020

[startup+0.319312 s]
/proc/loadavg: 5.59 5.64 5.63 4/124 22533
/proc/meminfo: memFree=1503988/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2416 CPUtime=0
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116497496 2473984 274 4294967295 134512640 135169312 3213239216 3213237752 3085692654 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22533/statm: 604 274 231 161 0 43 0
[pid=22534] ppid=22533 vsize=61064 CPUtime=0.32
/proc/22534/stat : 22534 (SatElite) R 22533 22533 21334 0 -1 4202496 12692 0 0 0 30 2 0 0 20 0 1 0 1116497496 62529536 12629 4294967295 134512640 135034092 3213278080 3213274424 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22534/statm: 15266 12630 49 128 0 15136 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 63480

[startup+0.719283 s]
/proc/loadavg: 5.59 5.64 5.63 4/124 22533
/proc/meminfo: memFree=1503988/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2416 CPUtime=0
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116497496 2473984 274 4294967295 134512640 135169312 3213239216 3213237752 3085692654 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22533/statm: 604 274 231 161 0 43 0
[pid=22534] ppid=22533 vsize=129664 CPUtime=0.72
/proc/22534/stat : 22534 (SatElite) R 22533 22533 21334 0 -1 4202496 28258 0 0 0 62 10 0 0 21 0 1 0 1116497496 132775936 28195 4294967295 134512640 135034092 3213278080 3213274424 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22534/statm: 32416 28196 49 128 0 32286 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 132080

[startup+1.51921 s]
/proc/loadavg: 5.59 5.64 5.63 3/126 22535
/proc/meminfo: memFree=1358948/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2416 CPUtime=0
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116497496 2473984 274 4294967295 134512640 135169312 3213239216 3213237752 3085692654 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22533/statm: 604 274 231 161 0 43 0
[pid=22534] ppid=22533 vsize=171080 CPUtime=1.52
/proc/22534/stat : 22534 (SatElite) R 22533 22533 21334 0 -1 4202496 39915 0 0 0 139 13 0 0 23 0 1 0 1116497496 175185920 36789 4294967295 134512640 135034092 3213278080 3213274076 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22534/statm: 42770 36789 67 128 0 42640 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 173496

[startup+3.11907 s]
/proc/loadavg: 5.59 5.64 5.63 3/126 22535
/proc/meminfo: memFree=1346884/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2416 CPUtime=0
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116497496 2473984 274 4294967295 134512640 135169312 3213239216 3213237752 3085692654 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22533/statm: 604 274 231 161 0 43 0
[pid=22534] ppid=22533 vsize=176704 CPUtime=3.12
/proc/22534/stat : 22534 (SatElite) R 22533 22533 21334 0 -1 4202496 41137 0 0 0 295 17 0 0 25 0 1 0 1116497496 180944896 38011 4294967295 134512640 135034092 3213278080 3213274076 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22534/statm: 44176 38011 67 128 0 44046 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 179120

[startup+6.3188 s]
/proc/loadavg: 5.31 5.57 5.61 3/126 22718
/proc/meminfo: memFree=1319976/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2416 CPUtime=0
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116497496 2473984 274 4294967295 134512640 135169312 3213239216 3213237752 3085692654 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22533/statm: 604 274 231 161 0 43 0
[pid=22534] ppid=22533 vsize=184148 CPUtime=6.32
/proc/22534/stat : 22534 (SatElite) R 22533 22533 21334 0 -1 4202496 42997 0 0 0 600 32 0 0 25 0 1 0 1116497496 188567552 39871 4294967295 134512640 135034092 3213278080 3213274076 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22534/statm: 46037 39871 67 128 0 45907 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 186564

[startup+12.7182 s]
/proc/loadavg: 5.04 5.52 5.59 3/126 22718
/proc/meminfo: memFree=1276228/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2416 CPUtime=0
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116497496 2473984 274 4294967295 134512640 135169312 3213239216 3213237752 3085692654 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/22533/statm: 604 274 231 161 0 43 0
[pid=22534] ppid=22533 vsize=193668 CPUtime=12.72
/proc/22534/stat : 22534 (SatElite) R 22533 22533 21334 0 -1 4202496 45336 0 0 0 1229 43 0 0 25 0 1 0 1116497496 198316032 42210 4294967295 134512640 135034092 3213278080 3213274064 134569611 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22534/statm: 48417 42210 67 128 0 48287 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 196084

[startup+25.5172 s]
/proc/loadavg: 4.69 5.41 5.55 11/129 22724
/proc/meminfo: memFree=1241952/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2420 CPUtime=16.88
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 370 50530 0 0 0 0 1639 49 18 0 1 0 1116497496 2478080 275 4294967295 134512640 135169312 3213239216 3213235432 3085692654 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22533/statm: 605 275 231 161 0 44 0
[pid=22720] ppid=22533 vsize=215344 CPUtime=22.67
/proc/22720/stat : 22720 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202496 44832 0 0 0 2221 46 0 0 17 0 4 0 1116499184 220512256 44709 4294967295 134512640 135305190 3219229008 3219227184 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/22720/statm: 53836 44709 79 194 0 53640 0
[pid=22720/tid=22721] ppid=22533 vsize=215344 CPUtime=5.99
/proc/22720/task/22721/stat : 22721 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 2080 0 0 0 586 13 0 0 18 0 4 0 1116499303 220512256 44709 4294967295 134512640 135305190 3219229008 3036093632 134528536 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22720/tid=22722] ppid=22533 vsize=215344 CPUtime=5.11
/proc/22720/task/22722/stat : 22722 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 2087 0 0 0 505 6 0 0 17 0 4 0 1116499303 220512256 44709 4294967295 134512640 135305190 3219229008 3027704872 134694990 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22720/tid=22723] ppid=22533 vsize=215344 CPUtime=4.03
/proc/22720/task/22723/stat : 22723 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 1915 0 0 0 398 5 0 0 17 0 4 0 1116499304 220512256 44709 4294967295 134512640 135305190 3219229008 3019316160 134547137 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 39.55
Current children cumulated vsize (KiB) 217764

[startup+51.1149 s]
/proc/loadavg: 4.97 5.42 5.55 6/129 22727
/proc/meminfo: memFree=1224660/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2420 CPUtime=16.88
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 370 50530 0 0 0 0 1639 49 18 0 1 0 1116497496 2478080 275 4294967295 134512640 135169312 3213239216 3213235432 3085692654 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22533/statm: 605 275 231 161 0 44 0
[pid=22720] ppid=22533 vsize=232016 CPUtime=99.43
/proc/22720/stat : 22720 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202496 49140 0 0 0 9885 58 0 0 25 0 4 0 1116499184 237584384 49017 4294967295 134512640 135305190 3219229008 3219227184 134528771 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22720/statm: 58004 49017 79 194 0 57808 0
[pid=22720/tid=22721] ppid=22533 vsize=232016 CPUtime=19.61
/proc/22720/task/22721/stat : 22721 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 2662 0 0 0 1945 16 0 0 25 0 4 0 1116499303 237584384 49017 4294967295 134512640 135305190 3219229008 3036093632 134528252 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22720/tid=22722] ppid=22533 vsize=232016 CPUtime=19.41
/proc/22720/task/22722/stat : 22722 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 3105 0 0 0 1934 7 0 0 25 0 4 0 1116499303 237584384 49017 4294967295 134512640 135305190 3219229008 3027705024 134528252 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22720/tid=22723] ppid=22533 vsize=232016 CPUtime=29.41
/proc/22720/task/22723/stat : 22723 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 3577 0 0 0 2929 12 0 0 25 0 4 0 1116499304 237584384 49017 4294967295 134512640 135305190 3219229008 3019316416 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 116.31
Current children cumulated vsize (KiB) 234436

[startup+102.321 s]
/proc/loadavg: 5.43 5.47 5.56 6/129 22917
/proc/meminfo: memFree=1182692/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2420 CPUtime=16.88
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 370 50530 0 0 0 0 1639 49 18 0 1 0 1116497496 2478080 275 4294967295 134512640 135169312 3213239216 3213235432 3085692654 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22533/statm: 605 275 231 161 0 44 0
[pid=22720] ppid=22533 vsize=272640 CPUtime=252.73
/proc/22720/stat : 22720 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202496 59137 0 0 0 25199 74 0 0 25 0 4 0 1116499184 279183360 59014 4294967295 134512640 135305190 3219229008 3219227184 134528252 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22720/statm: 68160 59014 79 194 0 67964 0
[pid=22720/tid=22721] ppid=22533 vsize=272640 CPUtime=61.4
/proc/22720/task/22721/stat : 22721 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 4437 0 0 0 6118 22 0 0 25 0 4 0 1116499303 279183360 59014 4294967295 134512640 135305190 3219229008 3036093632 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22720/tid=22722] ppid=22533 vsize=272640 CPUtime=48.55
/proc/22720/task/22722/stat : 22722 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 7749 0 0 0 4846 9 0 0 25 0 4 0 1116499303 279183360 59014 4294967295 134512640 135305190 3219229008 3027704768 134541915 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22720/tid=22723] ppid=22533 vsize=272640 CPUtime=64.05
/proc/22720/task/22723/stat : 22723 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 5347 0 0 0 6392 13 0 0 25 0 4 0 1116499304 279183360 59014 4294967295 134512640 135305190 3219229008 3019316160 134545898 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 269.61
Current children cumulated vsize (KiB) 275060

[startup+162.305 s]
/proc/loadavg: 5.44 5.47 5.55 7/129 23104
/proc/meminfo: memFree=1140056/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2420 CPUtime=16.88
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 370 50530 0 0 0 0 1639 49 18 0 1 0 1116497496 2478080 275 4294967295 134512640 135169312 3213239216 3213235432 3085692654 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22533/statm: 605 275 231 161 0 44 0
[pid=22720] ppid=22533 vsize=315120 CPUtime=432.24
/proc/22720/stat : 22720 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202496 69734 0 0 0 43140 84 0 0 25 0 4 0 1116499184 322682880 69611 4294967295 134512640 135305190 3219229008 3219227184 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/22720/statm: 78780 69611 79 194 0 78584 0
[pid=22720/tid=22721] ppid=22533 vsize=315120 CPUtime=105.83
/proc/22720/task/22721/stat : 22721 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 5699 0 0 0 10561 22 0 0 25 0 4 0 1116499303 322682880 69611 4294967295 134512640 135305190 3219229008 3036093632 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22720/tid=22722] ppid=22533 vsize=315120 CPUtime=97.5
/proc/22720/task/22722/stat : 22722 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 13206 0 0 0 9735 15 0 0 25 0 4 0 1116499303 322682880 69611 4294967295 134512640 135305190 3219229008 3027705024 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22720/tid=22723] ppid=22533 vsize=315120 CPUtime=96.55
/proc/22720/task/22723/stat : 22723 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 7195 0 0 0 9641 14 0 0 25 0 4 0 1116499304 322682880 69611 4294967295 134512640 135305190 3219229008 3019316080 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 449.12
Current children cumulated vsize (KiB) 317540

[startup+222.31 s]
/proc/loadavg: 5.55 5.49 5.55 6/129 23293
/proc/meminfo: memFree=1095384/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2420 CPUtime=16.88
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 370 50530 0 0 0 0 1639 49 18 0 1 0 1116497496 2478080 275 4294967295 134512640 135169312 3213239216 3213235432 3085692654 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22533/statm: 605 275 231 161 0 44 0
[pid=22720] ppid=22533 vsize=357576 CPUtime=611.62
/proc/22720/stat : 22720 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202496 80404 0 0 0 61049 113 0 0 25 0 4 0 1116499184 366157824 80281 4294967295 134512640 135305190 3219229008 3219227184 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/22720/statm: 89394 80281 79 194 0 89198 0
[pid=22720/tid=22721] ppid=22533 vsize=357576 CPUtime=154.42

################
# More data... #
################

/proc/22720/task/22723/stat : 22723 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 17358 0 0 0 35083 102 0 0 25 0 4 0 1116499304 546349056 124169 4294967295 134512640 135305190 3219229008 3019316416 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1580.2
Current children cumulated vsize (KiB) 535964

[startup+582.319 s]
/proc/loadavg: 5.46 5.45 5.51 6/129 24427
/proc/meminfo: memFree=778712/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2420 CPUtime=16.88
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 370 50530 0 0 0 0 1639 49 18 0 1 0 1116497496 2478080 275 4294967295 134512640 135169312 3213239216 3213235432 3085692654 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22533/statm: 605 275 231 161 0 44 0
[pid=22720] ppid=22533 vsize=572136 CPUtime=1743.01
/proc/22720/stat : 22720 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202496 133892 0 0 0 173786 515 0 0 25 0 4 0 1116499184 585867264 133769 4294967295 134512640 135305190 3219229008 3219226848 134551962 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22720/statm: 143034 133769 79 194 0 142838 0
[pid=22720/tid=22721] ppid=22533 vsize=572136 CPUtime=423.69
/proc/22720/task/22721/stat : 22721 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 13089 0 0 0 42231 138 0 0 25 0 4 0 1116499303 585867264 133769 4294967295 134512640 135305190 3219229008 3036093632 134528283 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22720/tid=22722] ppid=22533 vsize=572136 CPUtime=456.9
/proc/22720/task/22722/stat : 22722 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 45154 0 0 0 45550 140 0 0 25 0 4 0 1116499303 585867264 133769 4294967295 134512640 135305190 3219229008 3027705024 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22720/tid=22723] ppid=22533 vsize=572136 CPUtime=380.95
/proc/22720/task/22723/stat : 22723 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 19177 0 0 0 37991 104 0 0 25 0 4 0 1116499304 585867264 133769 4294967295 134512640 135305190 3219229008 3019316416 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1759.89
Current children cumulated vsize (KiB) 574556

[startup+642.314 s]
/proc/loadavg: 5.34 5.42 5.49 5/129 24615
/proc/meminfo: memFree=440192/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2420 CPUtime=16.88
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 370 50530 0 0 0 0 1639 49 18 0 1 0 1116497496 2478080 275 4294967295 134512640 135169312 3213239216 3213235432 3085692654 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22533/statm: 605 275 231 161 0 44 0
[pid=22720] ppid=22533 vsize=606880 CPUtime=1956.86
/proc/22720/stat : 22720 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202496 142425 0 0 0 195011 675 0 0 25 0 4 0 1116499184 621445120 142302 4294967295 134512640 135305190 3219229008 3219227296 134565634 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22720/statm: 151720 142302 79 194 0 151524 0
[pid=22720/tid=22721] ppid=22533 vsize=606880 CPUtime=481.35
/proc/22720/task/22721/stat : 22721 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 14469 0 0 0 47959 176 0 0 25 0 4 0 1116499303 621445120 142302 4294967295 134512640 135305190 3219229008 3036093632 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22720/tid=22722] ppid=22533 vsize=606880 CPUtime=514.41
/proc/22720/task/22722/stat : 22722 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 49048 0 0 0 51259 182 0 0 25 0 4 0 1116499303 621445120 142302 4294967295 134512640 135305190 3219229008 3027705024 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22720/tid=22723] ppid=22533 vsize=606880 CPUtime=421.58
/proc/22720/task/22723/stat : 22723 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 20655 0 0 0 42011 147 0 0 25 0 4 0 1116499304 621445120 142302 4294967295 134512640 135305190 3219229008 3019316416 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1973.74
Current children cumulated vsize (KiB) 609300

[startup+702.309 s]
/proc/loadavg: 5.38 5.42 5.49 5/129 24802
/proc/meminfo: memFree=254136/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2420 CPUtime=16.88
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 370 50530 0 0 0 0 1639 49 18 0 1 0 1116497496 2478080 275 4294967295 134512640 135169312 3213239216 3213235432 3085692654 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22533/statm: 605 275 231 161 0 44 0
[pid=22720] ppid=22533 vsize=610420 CPUtime=2179.47
/proc/22720/stat : 22720 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202496 143137 0 0 0 217015 932 0 0 25 0 4 0 1116499184 625070080 143014 4294967295 134512640 135305190 3219229008 3219227184 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22720/statm: 152605 143014 79 194 0 152409 0
[pid=22720/tid=22721] ppid=22533 vsize=610420 CPUtime=540.97
/proc/22720/task/22721/stat : 22721 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 14609 0 0 0 53858 239 0 0 25 0 4 0 1116499303 625070080 143014 4294967295 134512640 135305190 3219229008 3036093632 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22720/tid=22722] ppid=22533 vsize=610420 CPUtime=574.18
/proc/22720/task/22722/stat : 22722 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 49490 0 0 0 57166 252 0 0 25 0 4 0 1116499303 625070080 143014 4294967295 134512640 135305190 3219229008 3027704640 134551697 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22720/tid=22723] ppid=22533 vsize=610420 CPUtime=470.69
/proc/22720/task/22723/stat : 22723 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 20714 0 0 0 46865 204 0 0 25 0 4 0 1116499304 625070080 143014 4294967295 134512640 135305190 3219229008 3019316416 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2196.35
Current children cumulated vsize (KiB) 612840

[startup+762.314 s]
/proc/loadavg: 5.24 5.37 5.46 5/129 24989
/proc/meminfo: memFree=149248/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2420 CPUtime=16.88
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 370 50530 0 0 0 0 1639 49 18 0 1 0 1116497496 2478080 275 4294967295 134512640 135169312 3213239216 3213235432 3085692654 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22533/statm: 605 275 231 161 0 44 0
[pid=22720] ppid=22533 vsize=653912 CPUtime=2396.03
/proc/22720/stat : 22720 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202496 154154 0 0 0 238422 1181 0 0 25 0 4 0 1116499184 669605888 154031 4294967295 134512640 135305190 3219229008 3219227184 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/22720/statm: 163478 154031 79 194 0 163282 0
[pid=22720/tid=22721] ppid=22533 vsize=653912 CPUtime=600.54
/proc/22720/task/22721/stat : 22721 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 16432 0 0 0 59752 302 0 0 25 0 4 0 1116499303 669605888 154031 4294967295 134512640 135305190 3219229008 3036093632 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22720/tid=22722] ppid=22533 vsize=653912 CPUtime=627.66
/proc/22720/task/22722/stat : 22722 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 53499 0 0 0 62450 316 0 0 25 0 4 0 1116499303 669605888 154031 4294967295 134512640 135305190 3219229008 3027705024 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22720/tid=22723] ppid=22533 vsize=653912 CPUtime=519.4
/proc/22720/task/22723/stat : 22723 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 23416 0 0 0 51676 264 0 0 25 0 4 0 1116499304 669605888 154031 4294967295 134512640 135305190 3219229008 3019316416 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2412.91
Current children cumulated vsize (KiB) 656332

[startup+822.318 s]
/proc/loadavg: 5.80 5.48 5.49 7/129 25182
/proc/meminfo: memFree=429280/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2420 CPUtime=16.88
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 370 50530 0 0 0 0 1639 49 18 0 1 0 1116497496 2478080 275 4294967295 134512640 135169312 3213239216 3213235432 3085692654 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22533/statm: 605 275 231 161 0 44 0
[pid=22720] ppid=22533 vsize=710496 CPUtime=2617.58
/proc/22720/stat : 22720 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202496 168236 0 0 0 260303 1455 0 0 25 0 4 0 1116499184 727547904 168113 4294967295 134512640 135305190 3219229008 3219227036 134830604 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/22720/statm: 177624 168113 79 194 0 177428 0
[pid=22720/tid=22721] ppid=22533 vsize=710496 CPUtime=660.45
/proc/22720/task/22721/stat : 22721 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 19153 0 0 0 65665 380 0 0 25 0 4 0 1116499303 727547904 168113 4294967295 134512640 135305190 3219229008 3036093376 134542046 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22720/tid=22722] ppid=22533 vsize=710496 CPUtime=687.53
/proc/22720/task/22722/stat : 22722 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 58976 0 0 0 68367 386 0 0 25 0 4 0 1116499303 727547904 168113 4294967295 134512640 135305190 3219229008 3027705024 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22720/tid=22723] ppid=22533 vsize=710496 CPUtime=579.2
/proc/22720/task/22723/stat : 22723 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 26944 0 0 0 57590 330 0 0 25 0 4 0 1116499304 727547904 168113 4294967295 134512640 135305190 3219229008 3019316144 134556804 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2634.46
Current children cumulated vsize (KiB) 712916

[startup+882.313 s]
/proc/loadavg: 5.47 5.45 5.48 6/129 25370
/proc/meminfo: memFree=331104/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2420 CPUtime=16.88
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 370 50530 0 0 0 0 1639 49 18 0 1 0 1116497496 2478080 275 4294967295 134512640 135169312 3213239216 3213235432 3085692654 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22533/statm: 605 275 231 161 0 44 0
[pid=22720] ppid=22533 vsize=738192 CPUtime=2835.4
/proc/22720/stat : 22720 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202496 175196 0 0 0 281840 1700 0 0 25 0 4 0 1116499184 755908608 175062 4294967295 134512640 135305190 3219229008 3219227184 134528189 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/22720/statm: 184548 175062 79 194 0 184352 0
[pid=22720/tid=22721] ppid=22533 vsize=738192 CPUtime=719.84
/proc/22720/task/22721/stat : 22721 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 20469 0 0 0 71541 443 0 0 25 0 4 0 1116499303 755908608 175062 4294967295 134512640 135305190 3219229008 3036093632 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22720/tid=22722] ppid=22533 vsize=738192 CPUtime=747.15
/proc/22720/task/22722/stat : 22722 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 61674 0 0 0 74265 450 0 0 25 0 4 0 1116499303 755908608 175062 4294967295 134512640 135305190 3219229008 3027705024 134528252 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22720/tid=22723] ppid=22533 vsize=738192 CPUtime=625.76
/proc/22720/task/22723/stat : 22723 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 28850 0 0 0 62184 392 0 0 25 0 4 0 1116499304 755908608 175062 4294967295 134512640 135305190 3219229008 3019316416 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2852.28
Current children cumulated vsize (KiB) 740612

[startup+942.308 s]
/proc/loadavg: 5.65 5.49 5.48 6/129 25558
/proc/meminfo: memFree=705660/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2420 CPUtime=16.88
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 370 50530 0 0 0 0 1639 49 18 0 1 0 1116497496 2478080 275 4294967295 134512640 135169312 3213239216 3213235432 3085692654 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22533/statm: 605 275 231 161 0 44 0
[pid=22720] ppid=22533 vsize=745684 CPUtime=3047.53
/proc/22720/stat : 22720 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202496 176699 0 0 0 302945 1808 0 0 25 0 4 0 1116499184 763580416 176565 4294967295 134512640 135305190 3219229008 3219227184 134530561 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22720/statm: 186421 176565 79 194 0 186225 0
[pid=22720/tid=22721] ppid=22533 vsize=745684 CPUtime=760.12
/proc/22720/task/22721/stat : 22721 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 20654 0 0 0 75543 469 0 0 25 0 4 0 1116499303 763580416 176565 4294967295 134512640 135305190 3219229008 3036093632 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22720/tid=22722] ppid=22533 vsize=745684 CPUtime=806.97
/proc/22720/task/22722/stat : 22722 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 62556 0 0 0 80220 477 0 0 25 0 4 0 1116499303 763580416 176565 4294967295 134512640 135305190 3219229008 3027705024 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22720/tid=22723] ppid=22533 vsize=745684 CPUtime=679.41
/proc/22720/task/22723/stat : 22723 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 28961 0 0 0 67525 416 0 0 25 0 4 0 1116499304 763580416 176565 4294967295 134512640 135305190 3219229008 3019316144 134557342 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3064.41
Current children cumulated vsize (KiB) 748104



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.45 5.47 5.47 7/129 25751
/proc/meminfo: memFree=1574060/3368532 swapFree=1957708/1959888
[pid=22533] ppid=22531 vsize=2420 CPUtime=16.88
/proc/22533/stat : 22533 (manysat.sh) S 22531 22533 21334 0 -1 4194304 370 50530 0 0 0 0 1639 49 18 0 1 0 1116497496 2478080 275 4294967295 134512640 135169312 3213239216 3213235432 3085692654 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22533/statm: 605 275 231 161 0 44 0
[pid=22720] ppid=22533 vsize=779340 CPUtime=3231.44
/proc/22720/stat : 22720 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202496 184972 0 0 0 321260 1884 0 0 25 0 4 0 1116499184 798044160 184838 4294967295 134512640 135305190 3219229008 3219227184 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/22720/statm: 194835 184838 79 194 0 194639 0
[pid=22720/tid=22721] ppid=22533 vsize=779340 CPUtime=813.16
/proc/22720/task/22721/stat : 22721 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 21019 0 0 0 80825 491 0 0 25 0 4 0 1116499303 798044160 184838 4294967295 134512640 135305190 3219229008 3036093632 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=22720/tid=22722] ppid=22533 vsize=779340 CPUtime=852.25
/proc/22720/task/22722/stat : 22722 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 68744 0 0 0 84728 497 0 0 25 0 4 0 1116499303 798044160 184838 4294967295 134512640 135305190 3219229008 3027704640 134551681 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22720/tid=22723] ppid=22533 vsize=779340 CPUtime=714.95
/proc/22720/task/22723/stat : 22723 (manysat1.1_stat) R 22533 22533 21334 0 -1 4202560 29937 0 0 0 71072 423 0 0 25 0 4 0 1116499304 798044160 184838 4294967295 134512640 135305190 3219229008 3019316416 134530561 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3248.32
Current children cumulated vsize (KiB) 781760

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 22533 and gives
#  childrusage.ru_utime.tv_sec=16
#  childrusage.ru_utime.tv_usec=390000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=490000
# CPU time returned by wait4() is 16.88
# while last known CPU time is 3248.32
#
# 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): 3248.32
CPU user time (s): 3228.99
CPU system time (s): 19.33
CPU usage (%): 324.818
Max. virtual memory (cumulated for all children) (KiB): 781760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.39
system time used= 0.49
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50900
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= 5
involuntary context switches= 87

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 15:45:33
IDJOB=1779022
IDBENCH=70794
IDSOLVER=626
FILE ID=/1779022-1243518334
PBS_JOBID=
Free space on /tmp= 15865 MiB

SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand128.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779022-1243518334/watcher-1779022-1243518334 -o /tmp/evaluation-result-1779022-1243518334/solver-1779022-1243518334 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1779022-1243518334.cnf aimd 2

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= 3022ff2a7ae31b29e9b784d8e848042f
RANDOM SEED= 1700215458

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:       1503988 kB
Buffers:         11132 kB
Cached:         396652 kB
SwapCached:         16 kB
Active:        1463972 kB
Inactive:       338888 kB
HighTotal:     2489216 kB
HighFree:       694676 kB
LowTotal:       879316 kB
LowFree:        809312 kB
SwapTotal:     1959888 kB
SwapFree:      1957708 kB
Dirty:           21852 kB
Writeback:           0 kB
AnonPages:     1395124 kB
Mapped:          35512 kB
Slab:            50236 kB
SReclaimable:    41880 kB
SUnreclaim:       8356 kB
PageTables:       2416 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:  1897440 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15786 MiB
End job on  at 2009-05-28 16:02:18