Trace number 1780462

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) 2982.2 1000.05

General information on the benchmark

NameAPPLICATIONS/diagnosis/
ACG-20-10p1.cnf
MD5SUM31a85166c16c74a5f2dcee32f2093a67
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 variables381708
Number of clauses1632906
Sum of the clauses size3841867
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 21226633
Number of clauses of size 3327764
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data 

0.00/0.00	c Parsing...
1.49/1.68	c ==============================================================================
1.49/1.68	c |           |     ORIGINAL     |              LEARNT              |          |
1.49/1.68	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.49/1.68	c ==============================================================================
1.49/1.68	c |         0 | 1618887  3826978 |  485666       0        0     nan |  0.000 % |
8.17/8.79	c |         0 | 1199091  3186259 |      --       0       --      -- |     --   | -117869/45832
8.17/8.79	c ==============================================================================
8.17/8.79	c Result  :   #vars: 250809   #clauses: 1199091   #literals: 3186259
8.17/8.79	c CPU time:   7.91 s
8.17/8.79	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-1780462-1243531212/watcher-1780462-1243531212 -o /tmp/evaluation-result-1780462-1243531212/solver-1780462-1243531212 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780462-1243531212.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.22 5.47 5.47 4/124 30977
/proc/meminfo: memFree=2608008/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2412 CPUtime=0
/proc/30977/stat : 30977 (manysat.sh) R 30975 30977 21334 0 -1 4194304 333 0 0 0 0 0 0 0 18 0 1 0 1117785421 2469888 273 4294967295 134512640 135169312 3219933712 3219932188 3084961652 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/30977/statm: 603 273 231 161 0 42 0
[pid=30978] ppid=30977 vsize=2428 CPUtime=0
/proc/30978/stat : 30978 (SatElite) R 30977 30977 21334 0 -1 4202496 460 0 0 0 0 0 0 0 18 0 1 0 1117785421 2486272 397 4294967295 134512640 135034092 3221074656 3221070944 134544963 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30978/statm: 607 400 49 128 0 477 0

[startup+0.078018 s]
/proc/loadavg: 5.22 5.47 5.47 4/124 30977
/proc/meminfo: memFree=2608008/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2412 CPUtime=0
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117785421 2469888 273 4294967295 134512640 135169312 3219933712 3219932248 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 603 273 231 161 0 42 0
[pid=30978] ppid=30977 vsize=27996 CPUtime=0.08
/proc/30978/stat : 30978 (SatElite) R 30977 30977 21334 0 -1 4202496 6105 0 0 0 6 2 0 0 19 0 1 0 1117785421 28667904 5874 4294967295 134512640 135034092 3221074656 3221071000 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30978/statm: 6999 5875 49 128 0 6869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30408

[startup+0.108017 s]
/proc/loadavg: 5.22 5.47 5.47 4/124 30977
/proc/meminfo: memFree=2608008/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2412 CPUtime=0
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117785421 2469888 273 4294967295 134512640 135169312 3219933712 3219932248 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 603 273 231 161 0 42 0
[pid=30978] ppid=30977 vsize=31684 CPUtime=0.11
/proc/30978/stat : 30978 (SatElite) R 30977 30977 21334 0 -1 4202496 7001 0 0 0 9 2 0 0 20 0 1 0 1117785421 32444416 6770 4294967295 134512640 135034092 3221074656 3221071000 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30978/statm: 7921 6770 49 128 0 7791 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 34096

[startup+0.307997 s]
/proc/loadavg: 5.22 5.47 5.47 4/124 30977
/proc/meminfo: memFree=2608008/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2412 CPUtime=0
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117785421 2469888 273 4294967295 134512640 135169312 3219933712 3219932248 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 603 273 231 161 0 42 0
[pid=30978] ppid=30977 vsize=52888 CPUtime=0.31
/proc/30978/stat : 30978 (SatElite) R 30977 30977 21334 0 -1 4202496 12185 0 0 0 28 3 0 0 20 0 1 0 1117785421 54157312 11954 4294967295 134512640 135034092 3221074656 3221071000 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30978/statm: 13222 11954 49 128 0 13092 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 55300

[startup+0.718387 s]
/proc/loadavg: 5.22 5.47 5.47 4/124 30977
/proc/meminfo: memFree=2608008/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2412 CPUtime=0
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117785421 2469888 273 4294967295 134512640 135169312 3219933712 3219932248 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 603 273 231 161 0 42 0
[pid=30978] ppid=30977 vsize=75924 CPUtime=0.67
/proc/30978/stat : 30978 (SatElite) R 30977 30977 21334 0 -1 4202496 17875 0 0 0 60 7 0 0 21 0 1 0 1117785421 77746176 17644 4294967295 134512640 135034092 3221074656 3221071000 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30978/statm: 18981 17644 49 128 0 18851 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 78336

[startup+1.50791 s]
/proc/loadavg: 5.22 5.47 5.47 3/126 31162
/proc/meminfo: memFree=2515544/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2412 CPUtime=0
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117785421 2469888 273 4294967295 134512640 135169312 3219933712 3219932248 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 603 273 231 161 0 42 0
[pid=30978] ppid=30977 vsize=169288 CPUtime=1.39
/proc/30978/stat : 30978 (SatElite) R 30977 30977 21334 0 -1 4202496 38691 0 0 0 122 17 0 0 23 0 1 0 1117785421 173350912 38460 4294967295 134512640 135034092 3221074656 3221072048 134542697 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30978/statm: 42322 38460 50 128 0 42192 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 171700

[startup+3.10776 s]
/proc/loadavg: 4.96 5.41 5.46 3/126 31162
/proc/meminfo: memFree=2437152/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2412 CPUtime=0
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117785421 2469888 273 4294967295 134512640 135169312 3219933712 3219932248 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 603 273 231 161 0 42 0
[pid=30978] ppid=30977 vsize=201400 CPUtime=2.88
/proc/30978/stat : 30978 (SatElite) R 30977 30977 21334 0 -1 4202496 49854 0 0 0 261 27 0 0 25 0 1 0 1117785421 206233600 45528 4294967295 134512640 135034092 3221074656 3221070524 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30978/statm: 50350 45528 67 128 0 50220 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 203812

[startup+6.31749 s]
/proc/loadavg: 4.96 5.41 5.46 3/126 31162
/proc/meminfo: memFree=2386192/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2412 CPUtime=0
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1117785421 2469888 273 4294967295 134512640 135169312 3219933712 3219932248 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 603 273 231 161 0 42 0
[pid=30978] ppid=30977 vsize=212828 CPUtime=5.95
/proc/30978/stat : 30978 (SatElite) R 30977 30977 21334 0 -1 4202496 57505 0 0 0 563 32 0 0 25 0 1 0 1117785421 217935872 48254 4294967295 134512640 135034092 3221074656 3221070896 134566368 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30978/statm: 53207 48254 67 128 0 53077 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 215240

[startup+12.707 s]
/proc/loadavg: 4.58 5.32 5.42 3/126 31163
/proc/meminfo: memFree=2270792/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2416 CPUtime=9.67
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 369 64979 0 0 0 0 924 43 18 0 1 0 1117785421 2473984 274 4294967295 134512640 135169312 3219933712 3219929928 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 604 274 231 161 0 43 0
[pid=31163] ppid=30977 vsize=338620 CPUtime=2.26
/proc/31163/stat : 31163 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202496 78519 0 0 0 202 24 0 0 22 0 1 0 1117786452 346746880 78456 4294967295 134512640 135305190 3221109536 3220059988 134840070 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31163/statm: 84655 78457 67 194 0 84459 0
Current children cumulated CPU time (s) 11.93
Current children cumulated vsize (KiB) 341036

[startup+25.5152 s]
/proc/loadavg: 4.80 5.34 5.43 6/129 31167
/proc/meminfo: memFree=2165360/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2416 CPUtime=9.67
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 369 64979 0 0 0 0 924 43 18 0 1 0 1117785421 2473984 274 4294967295 134512640 135169312 3219933712 3219929928 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 604 274 231 161 0 43 0
[pid=31163] ppid=30977 vsize=399972 CPUtime=39.1
/proc/31163/stat : 31163 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202496 87203 0 0 0 3832 78 0 0 22 0 4 0 1117786452 409571328 87115 4294967295 134512640 135305190 3221109536 3221107712 134528189 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/31163/statm: 99993 87115 79 194 0 99797 0
[pid=31163/tid=31164] ppid=30977 vsize=399972 CPUtime=6.41
/proc/31163/task/31164/stat : 31164 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 2182 0 0 0 634 7 0 0 25 0 4 0 1117786734 409571328 87115 4294967295 134512640 135305190 3221109536 2959953088 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=31163/tid=31165] ppid=30977 vsize=399972 CPUtime=9.6
/proc/31163/task/31165/stat : 31165 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 1919 0 0 0 939 21 0 0 25 0 4 0 1117786734 409571328 87115 4294967295 134512640 135305190 3221109536 2951564496 134524989 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=31163/tid=31166] ppid=30977 vsize=399972 CPUtime=9.12
/proc/31163/task/31166/stat : 31166 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 2006 0 0 0 897 15 0 0 25 0 4 0 1117786734 409571328 87115 4294967295 134512640 135305190 3221109536 2943175872 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.77
Current children cumulated vsize (KiB) 402388

[startup+51.113 s]
/proc/loadavg: 4.87 5.31 5.42 6/129 31169
/proc/meminfo: memFree=2135096/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2416 CPUtime=9.67
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 369 64979 0 0 0 0 924 43 18 0 1 0 1117785421 2473984 274 4294967295 134512640 135169312 3219933712 3219929928 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 604 274 231 161 0 43 0
[pid=31163] ppid=30977 vsize=409612 CPUtime=114.58
/proc/31163/stat : 31163 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202496 89593 0 0 0 11366 92 0 0 25 0 4 0 1117786452 419442688 89505 4294967295 134512640 135305190 3221109536 3221107712 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/31163/statm: 102403 89505 79 194 0 102207 0
[pid=31163/tid=31164] ppid=30977 vsize=409612 CPUtime=25.25
/proc/31163/task/31164/stat : 31164 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 2601 0 0 0 2518 7 0 0 25 0 4 0 1117786734 419442688 89505 4294967295 134512640 135305190 3221109536 2959952936 134694990 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=31163/tid=31165] ppid=30977 vsize=409612 CPUtime=34.63
/proc/31163/task/31165/stat : 31165 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 3099 0 0 0 3435 28 0 0 25 0 4 0 1117786734 419442688 89505 4294967295 134512640 135305190 3221109536 2951564424 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=31163/tid=31166] ppid=30977 vsize=409612 CPUtime=27.48
/proc/31163/task/31166/stat : 31166 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 2477 0 0 0 2729 19 0 0 25 0 4 0 1117786734 419442688 89505 4294967295 134512640 135305190 3221109536 2943175872 134528551 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 124.25
Current children cumulated vsize (KiB) 412028

[startup+102.309 s]
/proc/loadavg: 5.33 5.37 5.43 6/129 31356
/proc/meminfo: memFree=2193320/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2416 CPUtime=9.67
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 369 64979 0 0 0 0 924 43 18 0 1 0 1117785421 2473984 274 4294967295 134512640 135169312 3219933712 3219929928 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 604 274 231 161 0 43 0
[pid=31163] ppid=30977 vsize=429216 CPUtime=267.3
/proc/31163/stat : 31163 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202496 94588 0 0 0 26621 109 0 0 25 0 4 0 1117786452 439517184 94500 4294967295 134512640 135305190 3221109536 3221107712 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/31163/statm: 107304 94500 79 194 0 107108 0
[pid=31163/tid=31164] ppid=30977 vsize=429216 CPUtime=67.02
/proc/31163/task/31164/stat : 31164 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 3747 0 0 0 6694 8 0 0 25 0 4 0 1117786734 439517184 94500 4294967295 134512640 135305190 3221109536 2959953088 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=31163/tid=31165] ppid=30977 vsize=429216 CPUtime=72.56
/proc/31163/task/31165/stat : 31165 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 5113 0 0 0 7226 30 0 0 25 0 4 0 1117786734 439517184 94500 4294967295 134512640 135305190 3221109536 2951564424 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31163/tid=31166] ppid=30977 vsize=429216 CPUtime=68.24
/proc/31163/task/31166/stat : 31166 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 3280 0 0 0 6802 22 0 0 25 0 4 0 1117786734 439517184 94500 4294967295 134512640 135305190 3221109536 2943175872 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 276.97
Current children cumulated vsize (KiB) 431632

[startup+162.303 s]
/proc/loadavg: 5.18 5.32 5.41 7/129 31544
/proc/meminfo: memFree=2079848/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2416 CPUtime=9.67
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 369 64979 0 0 0 0 924 43 18 0 1 0 1117785421 2473984 274 4294967295 134512640 135169312 3219933712 3219929928 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 604 274 231 161 0 43 0
[pid=31163] ppid=30977 vsize=449428 CPUtime=446.83
/proc/31163/stat : 31163 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202496 99690 0 0 0 44552 131 0 0 25 0 4 0 1117786452 460214272 99594 4294967295 134512640 135305190 3221109536 3221107712 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/31163/statm: 112357 99594 79 194 0 112161 0
[pid=31163/tid=31164] ppid=30977 vsize=449428 CPUtime=115.55
/proc/31163/task/31164/stat : 31164 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 5165 0 0 0 11544 11 0 0 25 0 4 0 1117786734 460214272 99594 4294967295 134512640 135305190 3221109536 2959953088 134528512 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=31163/tid=31165] ppid=30977 vsize=449428 CPUtime=103.15
/proc/31163/task/31165/stat : 31165 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 6166 0 0 0 10283 32 0 0 25 0 4 0 1117786734 460214272 99594 4294967295 134512640 135305190 3221109536 2951564424 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31163/tid=31166] ppid=30977 vsize=449428 CPUtime=127.55
/proc/31163/task/31166/stat : 31166 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 4392 0 0 0 12718 37 0 0 25 0 4 0 1117786734 460214272 99594 4294967295 134512640 135305190 3221109536 2943175872 134528562 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 456.5
Current children cumulated vsize (KiB) 451844

[startup+222.318 s]
/proc/loadavg: 5.22 5.30 5.40 6/129 31737
/proc/meminfo: memFree=2060596/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2416 CPUtime=9.67
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 369 64979 0 0 0 0 924 43 18 0 1 0 1117785421 2473984 274 4294967295 134512640 135169312 3219933712 3219929928 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 604 274 231 161 0 43 0
[pid=31163] ppid=30977 vsize=470108 CPUtime=626.15
/proc/31163/stat : 31163 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202496 104691 0 0 0 62450 165 0 0 25 0 4 0 1117786452 481390592 104595 4294967295 134512640 135305190 3221109536 3221107704 134570422 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/31163/statm: 117527 104595 79 194 0 117331 0
[pid=31163/tid=31164] ppid=30977 vsize=470108 CPUtime=168.81

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

/proc/31163/task/31166/stat : 31166 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 9151 0 0 0 33348 71 0 0 25 0 4 0 1117786734 564011008 124631 4294967295 134512640 135305190 3221109536 2943175872 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1532.14
Current children cumulated vsize (KiB) 553208

[startup+582.307 s]
/proc/loadavg: 5.87 5.64 5.51 8/129 400
/proc/meminfo: memFree=2068228/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2416 CPUtime=9.67
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 369 64979 0 0 0 0 924 43 18 0 1 0 1117785421 2473984 274 4294967295 134512640 135169312 3219933712 3219929928 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 604 274 231 161 0 43 0
[pid=31163] ppid=30977 vsize=552144 CPUtime=1701.96
/proc/31163/stat : 31163 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202496 125041 0 0 0 169929 267 0 0 25 0 4 0 1117786452 565395456 124945 4294967295 134512640 135305190 3221109536 3221107712 134528768 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/31163/statm: 138036 124945 79 194 0 137840 0
[pid=31163/tid=31164] ppid=30977 vsize=552144 CPUtime=439.64
/proc/31163/task/31164/stat : 31164 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 11681 0 0 0 43921 43 0 0 25 0 4 0 1117786734 565395456 124945 4294967295 134512640 135305190 3221109536 2959953088 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=31163/tid=31165] ppid=30977 vsize=552144 CPUtime=395.74
/proc/31163/task/31165/stat : 31165 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 12428 0 0 0 39514 60 0 0 25 0 4 0 1117786734 565395456 124945 4294967295 134512640 135305190 3221109536 2951564480 134528319 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31163/tid=31166] ppid=30977 vsize=552144 CPUtime=364.17
/proc/31163/task/31166/stat : 31166 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 9263 0 0 0 36346 71 0 0 25 0 4 0 1117786734 565395456 124945 4294967295 134512640 135305190 3221109536 2943175816 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1711.63
Current children cumulated vsize (KiB) 554560

[startup+642.312 s]
/proc/loadavg: 5.80 5.65 5.51 6/129 588
/proc/meminfo: memFree=1984064/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2416 CPUtime=9.67
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 369 64979 0 0 0 0 924 43 18 0 1 0 1117785421 2473984 274 4294967295 134512640 135169312 3219933712 3219929928 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 604 274 231 161 0 43 0
[pid=31163] ppid=30977 vsize=561868 CPUtime=1881.23
/proc/31163/stat : 31163 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202496 127524 0 0 0 187849 274 0 0 25 0 4 0 1117786452 575352832 127428 4294967295 134512640 135305190 3221109536 3221107712 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/31163/statm: 140467 127428 79 194 0 140271 0
[pid=31163/tid=31164] ppid=30977 vsize=561868 CPUtime=493.79
/proc/31163/task/31164/stat : 31164 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 12224 0 0 0 49332 47 0 0 25 0 4 0 1117786734 575352832 127428 4294967295 134512640 135305190 3221109536 2959953088 134528851 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=31163/tid=31165] ppid=30977 vsize=561868 CPUtime=431.22
/proc/31163/task/31165/stat : 31165 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 13322 0 0 0 43061 61 0 0 25 0 4 0 1117786734 575352832 127428 4294967295 134512640 135305190 3221109536 2951564096 134551951 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31163/tid=31166] ppid=30977 vsize=561868 CPUtime=393.82
/proc/31163/task/31166/stat : 31166 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 9777 0 0 0 39309 73 0 0 25 0 4 0 1117786734 575352832 127428 4294967295 134512640 135305190 3221109536 2943175872 134530561 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1890.9
Current children cumulated vsize (KiB) 564284

[startup+702.307 s]
/proc/loadavg: 5.94 5.69 5.54 8/130 760
/proc/meminfo: memFree=1988452/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2416 CPUtime=9.67
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 369 64979 0 0 0 0 924 43 18 0 1 0 1117785421 2473984 274 4294967295 134512640 135169312 3219933712 3219929928 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 604 274 231 161 0 43 0
[pid=31163] ppid=30977 vsize=573664 CPUtime=2060.72
/proc/31163/stat : 31163 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202496 130358 0 0 0 205783 289 0 0 25 0 4 0 1117786452 587431936 130262 4294967295 134512640 135305190 3221109536 3221107712 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/31163/statm: 143416 130262 79 194 0 143220 0
[pid=31163/tid=31164] ppid=30977 vsize=573664 CPUtime=553.32
/proc/31163/task/31164/stat : 31164 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 12819 0 0 0 55281 51 0 0 25 0 4 0 1117786734 587431936 130262 4294967295 134512640 135305190 3221109536 2959953088 134528626 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=31163/tid=31165] ppid=30977 vsize=573664 CPUtime=461.32
/proc/31163/task/31165/stat : 31165 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 14046 0 0 0 46066 66 0 0 25 0 4 0 1117786734 587431936 130262 4294967295 134512640 135305190 3221109536 2951564480 134528344 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31163/tid=31166] ppid=30977 vsize=573664 CPUtime=423.71
/proc/31163/task/31166/stat : 31166 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 10543 0 0 0 42298 73 0 0 25 0 4 0 1117786734 587431936 130262 4294967295 134512640 135305190 3221109536 2943175600 134556558 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2070.39
Current children cumulated vsize (KiB) 576080

[startup+762.322 s]
/proc/loadavg: 6.09 5.77 5.57 8/130 927
/proc/meminfo: memFree=1981072/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2416 CPUtime=9.67
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 369 64979 0 0 0 0 924 43 18 0 1 0 1117785421 2473984 274 4294967295 134512640 135169312 3219933712 3219929928 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 604 274 231 161 0 43 0
[pid=31163] ppid=30977 vsize=590116 CPUtime=2240.19
/proc/31163/stat : 31163 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202496 134561 0 0 0 223715 304 0 0 25 0 4 0 1117786452 604278784 134465 4294967295 134512640 135305190 3221109536 3221107712 134528559 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/31163/statm: 147529 134465 79 194 0 147333 0
[pid=31163/tid=31164] ppid=30977 vsize=590116 CPUtime=612.79
/proc/31163/task/31164/stat : 31164 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 13674 0 0 0 61226 53 0 0 25 0 4 0 1117786734 604278784 134465 4294967295 134512640 135305190 3221109536 2959953088 134528341 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=31163/tid=31165] ppid=30977 vsize=590116 CPUtime=494.02
/proc/31163/task/31165/stat : 31165 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 15291 0 0 0 49335 67 0 0 25 0 4 0 1117786734 604278784 134465 4294967295 134512640 135305190 3221109536 2951564480 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31163/tid=31166] ppid=30977 vsize=590116 CPUtime=453.53
/proc/31163/task/31166/stat : 31166 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 11701 0 0 0 45276 77 0 0 25 0 4 0 1117786734 604278784 134465 4294967295 134512640 135305190 3221109536 2943175412 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2249.86
Current children cumulated vsize (KiB) 592532

[startup+822.317 s]
/proc/loadavg: 5.96 5.78 5.58 7/130 1086
/proc/meminfo: memFree=1998332/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2416 CPUtime=9.67
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 369 64979 0 0 0 0 924 43 18 0 1 0 1117785421 2473984 274 4294967295 134512640 135169312 3219933712 3219929928 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 604 274 231 161 0 43 0
[pid=31163] ppid=30977 vsize=595408 CPUtime=2424.44
/proc/31163/stat : 31163 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202496 135905 0 0 0 242127 317 0 0 25 0 4 0 1117786452 609697792 135809 4294967295 134512640 135305190 3221109536 3221107712 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/31163/statm: 148852 135809 79 194 0 148656 0
[pid=31163/tid=31164] ppid=30977 vsize=595408 CPUtime=672.43
/proc/31163/task/31164/stat : 31164 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 13936 0 0 0 67184 59 0 0 25 0 4 0 1117786734 609697792 135809 4294967295 134512640 135305190 3221109536 2959953088 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=31163/tid=31165] ppid=30977 vsize=595408 CPUtime=528.98
/proc/31163/task/31165/stat : 31165 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 15709 0 0 0 52831 67 0 0 25 0 4 0 1117786734 609697792 135809 4294967295 134512640 135305190 3221109536 2951564480 134528410 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31163/tid=31166] ppid=30977 vsize=595408 CPUtime=487.38
/proc/31163/task/31166/stat : 31166 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 12084 0 0 0 48656 82 0 0 25 0 4 0 1117786734 609697792 135809 4294967295 134512640 135305190 3221109536 2943175872 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2434.11
Current children cumulated vsize (KiB) 597824

[startup+882.311 s]
/proc/loadavg: 5.76 5.75 5.58 9/130 1282
/proc/meminfo: memFree=2001316/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2416 CPUtime=9.67
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 369 64979 0 0 0 0 924 43 18 0 1 0 1117785421 2473984 274 4294967295 134512640 135169312 3219933712 3219929928 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 604 274 231 161 0 43 0
[pid=31163] ppid=30977 vsize=611012 CPUtime=2620.09
/proc/31163/stat : 31163 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202496 139954 0 0 0 261677 332 0 0 25 0 4 0 1117786452 625676288 139858 4294967295 134512640 135305190 3221109536 3221107712 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/31163/statm: 152753 139858 79 194 0 152557 0
[pid=31163/tid=31164] ppid=30977 vsize=611012 CPUtime=732.15
/proc/31163/task/31164/stat : 31164 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 14690 0 0 0 73152 63 0 0 25 0 4 0 1117786734 625676288 139858 4294967295 134512640 135305190 3221109536 2959953032 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=31163/tid=31165] ppid=30977 vsize=611012 CPUtime=574.62
/proc/31163/task/31165/stat : 31165 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 16590 0 0 0 57390 72 0 0 25 0 4 0 1117786734 625676288 139858 4294967295 134512640 135305190 3221109536 2951564480 134528286 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31163/tid=31166] ppid=30977 vsize=611012 CPUtime=546.31
/proc/31163/task/31166/stat : 31166 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 13997 0 0 0 54545 86 0 0 25 0 4 0 1117786734 625676288 139858 4294967295 134512640 135305190 3221109536 2943175872 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2629.76
Current children cumulated vsize (KiB) 613428

[startup+942.306 s]
/proc/loadavg: 5.63 5.72 5.58 8/130 1430
/proc/meminfo: memFree=1975712/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2416 CPUtime=9.67
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 369 64979 0 0 0 0 924 43 18 0 1 0 1117785421 2473984 274 4294967295 134512640 135169312 3219933712 3219929928 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 604 274 231 161 0 43 0
[pid=31163] ppid=30977 vsize=626564 CPUtime=2799.63
/proc/31163/stat : 31163 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202496 143674 0 0 0 279611 352 0 0 25 0 4 0 1117786452 641601536 143578 4294967295 134512640 135305190 3221109536 3221107440 134556578 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/31163/statm: 156641 143578 79 194 0 156445 0
[pid=31163/tid=31164] ppid=30977 vsize=626564 CPUtime=791.82
/proc/31163/task/31164/stat : 31164 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 15425 0 0 0 79111 71 0 0 25 0 4 0 1117786734 641601536 143578 4294967295 134512640 135305190 3221109536 2959953088 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=31163/tid=31165] ppid=30977 vsize=626564 CPUtime=615.79
/proc/31163/task/31165/stat : 31165 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 17491 0 0 0 61503 76 0 0 25 0 4 0 1117786734 641601536 143578 4294967295 134512640 135305190 3221109536 2951564480 134528784 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31163/tid=31166] ppid=30977 vsize=626564 CPUtime=595.35
/proc/31163/task/31166/stat : 31166 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 15703 0 0 0 59445 90 0 0 25 0 4 0 1117786734 641601536 143578 4294967295 134512640 135305190 3221109536 2943175872 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2809.3
Current children cumulated vsize (KiB) 628980



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.75 5.74 5.59 8/130 1662
/proc/meminfo: memFree=1982196/3368532 swapFree=1957708/1959888
[pid=30977] ppid=30975 vsize=2416 CPUtime=9.67
/proc/30977/stat : 30977 (manysat.sh) S 30975 30977 21334 0 -1 4194304 369 64979 0 0 0 0 924 43 18 0 1 0 1117785421 2473984 274 4294967295 134512640 135169312 3219933712 3219929928 3084959470 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/30977/statm: 604 274 231 161 0 43 0
[pid=31163] ppid=30977 vsize=632156 CPUtime=2972.53
/proc/31163/stat : 31163 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202496 145112 0 0 0 296893 360 0 0 25 0 4 0 1117786452 647327744 145016 4294967295 134512640 135305190 3221109536 3221107456 134546886 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/31163/statm: 158039 145016 79 194 0 157843 0
[pid=31163/tid=31164] ppid=30977 vsize=632156 CPUtime=849.42
/proc/31163/task/31164/stat : 31164 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 15650 0 0 0 84870 72 0 0 25 0 4 0 1117786734 647327744 145016 4294967295 134512640 135305190 3221109536 2959953088 134528195 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=31163/tid=31165] ppid=30977 vsize=632156 CPUtime=658.72
/proc/31163/task/31165/stat : 31165 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 18165 0 0 0 65794 78 0 0 25 0 4 0 1117786734 647327744 145016 4294967295 134512640 135305190 3221109536 2951564480 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31163/tid=31166] ppid=30977 vsize=632156 CPUtime=624.17
/proc/31163/task/31166/stat : 31166 (manysat1.1_stat) R 30977 30977 21334 0 -1 4202560 16093 0 0 0 62326 91 0 0 25 0 4 0 1117786734 647327744 145016 4294967295 134512640 135305190 3221109536 2943175872 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2982.2
Current children cumulated vsize (KiB) 634572

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 30977 and gives
#  childrusage.ru_utime.tv_sec=9
#  childrusage.ru_utime.tv_usec=240000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=430000
# CPU time returned by wait4() is 9.67
# while last known CPU time is 2982.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1000.05
CPU time (s): 2982.2
CPU user time (s): 2978.17
CPU system time (s): 4.03
CPU usage (%): 298.204
Max. virtual memory (cumulated for all children) (KiB): 634572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.24
system time used= 0.43
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65348
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= 60

runsolver used 0.02 second user time and 0.03 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 19:20:12
IDJOB=1780462
IDBENCH=71009
IDSOLVER=626
FILE ID=/1780462-1243531212
PBS_JOBID=
Free space on /tmp= 15855 MiB

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

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

MD5SUM BENCH= 31a85166c16c74a5f2dcee32f2093a67
RANDOM SEED= 425482255

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:       2611264 kB
Buffers:         18340 kB
Cached:         102520 kB
SwapCached:         44 kB
Active:         650220 kB
Inactive:        63232 kB
HighTotal:     2489216 kB
HighFree:      1790984 kB
LowTotal:       879316 kB
LowFree:        820280 kB
SwapTotal:     1959888 kB
SwapFree:      1957708 kB
Dirty:           32448 kB
Writeback:           0 kB
AnonPages:      592228 kB
Mapped:          35512 kB
Slab:            33448 kB
SReclaimable:    24676 kB
SUnreclaim:       8772 kB
PageTables:       1408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   887120 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15821 MiB
End job on  at 2009-05-28 19:36:56