Trace number 1780927

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) 3984.93 1000.04

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
MD5SUM54c22a62e5d0a640d4ea8d185b9b1fc7
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 variables2112
Number of clauses191788
Sum of the clauses size572017
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23595
Number of clauses of size 3188162
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

0.00/0.00	c Parsing...
0.00/0.10	c ==============================================================================
0.00/0.10	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.10	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.10	c ==============================================================================
0.00/0.10	c |         0 |  191788   572017 |   57536       0        0     nan |  0.000 % |
1.80/1.89	c |         0 |  190510   837828 |      --       0       --      -- |     --   | -1278/265811
1.80/1.89	c ==============================================================================
1.80/1.89	c Result  :   #vars: 1262   #clauses: 190510   #literals: 837828
1.80/1.89	c CPU time:   1.88 s
1.80/1.89	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-1780927-1243539284/watcher-1780927-1243539284 -o /tmp/evaluation-result-1780927-1243539284/solver-1780927-1243539284 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780927-1243539284.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.11 4.46 4.48 4/98 675
/proc/meminfo: memFree=2782580/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2416 CPUtime=0
/proc/675/stat : 675 (manysat.sh) R 673 675 28360 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 935505180 2473984 274 4294967295 134512640 135169312 3219716560 3219715036 3085645684 0 65538 4 65536 0 0 0 17 3 0 0 0
/proc/675/statm: 604 274 231 161 0 43 0

[startup+0.088942 s]
/proc/loadavg: 4.11 4.46 4.48 4/98 675
/proc/meminfo: memFree=2782580/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2416 CPUtime=0
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 935505180 2473984 274 4294967295 134512640 135169312 3219716560 3219715096 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416

[startup+0.108946 s]
/proc/loadavg: 4.11 4.46 4.48 4/98 675
/proc/meminfo: memFree=2782580/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2416 CPUtime=0
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 935505180 2473984 274 4294967295 134512640 135169312 3219716560 3219715096 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416

[startup+0.308923 s]
/proc/loadavg: 4.11 4.46 4.48 4/98 675
/proc/meminfo: memFree=2782580/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2416 CPUtime=0
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 935505180 2473984 274 4294967295 134512640 135169312 3219716560 3219715096 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416

[startup+0.708892 s]
/proc/loadavg: 4.11 4.46 4.48 4/98 675
/proc/meminfo: memFree=2782580/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2416 CPUtime=0
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 935505180 2473984 274 4294967295 134512640 135169312 3219716560 3219715096 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416

[startup+1.50883 s]
/proc/loadavg: 4.11 4.46 4.48 2/100 677
/proc/meminfo: memFree=2762716/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2416 CPUtime=0
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 935505180 2473984 274 4294967295 134512640 135169312 3219716560 3219715096 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 604 274 231 161 0 43 0
[pid=676] ppid=675 vsize=22060 CPUtime=1.5
/proc/676/stat : 676 (SatElite) R 675 675 28360 0 -1 4202496 4873 0 0 0 148 2 0 0 23 0 1 0 935505180 22589440 4810 4294967295 134512640 135034092 3213400992 3213397296 134569556 0 0 0 3 0 0 0 17 3 0 0 0
/proc/676/statm: 5515 4810 67 128 0 5385 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 24476

[startup+3.10871 s]
/proc/loadavg: 4.11 4.46 4.48 2/100 677
/proc/meminfo: memFree=2761236/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2420 CPUtime=2.16
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 369 4878 0 0 0 0 212 4 18 0 1 0 935505180 2478080 275 4294967295 134512640 135169312 3219716560 3219712776 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 2420
heavy processes:

[startup+6.31845 s]
/proc/loadavg: 4.10 4.45 4.47 5/103 681
/proc/meminfo: memFree=2717792/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2420 CPUtime=2.16
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 369 4878 0 0 0 0 212 4 18 0 1 0 935505180 2478080 275 4294967295 134512640 135169312 3219716560 3219712776 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 605 275 231 161 0 44 0
[pid=678] ppid=675 vsize=89532 CPUtime=15.57
/proc/678/stat : 678 (manysat1.1_stat) R 675 675 28360 0 -1 4202496 15811 0 0 0 1543 14 0 0 25 0 4 0 935505397 91680768 15744 4294967295 134512640 135305190 3215400368 3215398544 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/678/statm: 22383 15744 79 194 0 22187 0
[pid=678/tid=679] ppid=675 vsize=89532 CPUtime=3.81
/proc/678/task/679/stat : 679 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 998 0 0 0 379 2 0 0 25 0 4 0 935505430 91680768 15744 4294967295 134512640 135305190 3215400368 3082783936 134528777 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=678/tid=680] ppid=675 vsize=89532 CPUtime=3.82
/proc/678/task/680/stat : 680 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 994 0 0 0 379 3 0 0 25 0 4 0 935505430 91680768 15744 4294967295 134512640 135305190 3215400368 3074395328 134528501 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=678/tid=681] ppid=675 vsize=89532 CPUtime=3.78
/proc/678/task/681/stat : 681 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 1005 0 0 0 375 3 0 0 25 0 4 0 935505430 91680768 15744 4294967295 134512640 135305190 3215400368 3066006720 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.73
Current children cumulated vsize (KiB) 91952

[startup+12.7179 s]
/proc/loadavg: 4.17 4.46 4.48 5/103 681
/proc/meminfo: memFree=2702704/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2420 CPUtime=2.16
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 369 4878 0 0 0 0 212 4 18 0 1 0 935505180 2478080 275 4294967295 134512640 135169312 3219716560 3219712776 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 605 275 231 161 0 44 0
[pid=678] ppid=675 vsize=104384 CPUtime=41.16
/proc/678/stat : 678 (manysat1.1_stat) R 675 675 28360 0 -1 4202496 19354 0 0 0 4099 17 0 0 25 0 4 0 935505397 106889216 19287 4294967295 134512640 135305190 3215400368 3215398544 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/678/statm: 26096 19287 79 194 0 25900 0
[pid=678/tid=679] ppid=675 vsize=104384 CPUtime=10.21
/proc/678/task/679/stat : 679 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 1845 0 0 0 1019 2 0 0 25 0 4 0 935505430 106889216 19287 4294967295 134512640 135305190 3215400368 3082783936 134528777 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=678/tid=680] ppid=675 vsize=104384 CPUtime=10.22
/proc/678/task/680/stat : 680 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 2039 0 0 0 1019 3 0 0 25 0 4 0 935505430 106889216 19287 4294967295 134512640 135305190 3215400368 3074395328 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=678/tid=681] ppid=675 vsize=104384 CPUtime=10.17
/proc/678/task/681/stat : 681 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 1695 0 0 0 1013 4 0 0 25 0 4 0 935505430 106889216 19287 4294967295 134512640 135305190 3215400368 3066006720 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43.32
Current children cumulated vsize (KiB) 106804

[startup+25.5169 s]
/proc/loadavg: 4.21 4.46 4.47 6/104 742
/proc/meminfo: memFree=2685736/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2420 CPUtime=2.16
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 369 4878 0 0 0 0 212 4 18 0 1 0 935505180 2478080 275 4294967295 134512640 135169312 3219716560 3219712776 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 605 275 231 161 0 44 0
[pid=678] ppid=675 vsize=121516 CPUtime=92.22
/proc/678/stat : 678 (manysat1.1_stat) R 675 675 28360 0 -1 4202496 23393 0 0 0 9197 25 0 0 25 0 4 0 935505397 124432384 23326 4294967295 134512640 135305190 3215400368 3215398544 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/678/statm: 30379 23326 79 194 0 30183 0
[pid=678/tid=679] ppid=675 vsize=121516 CPUtime=22.91
/proc/678/task/679/stat : 679 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 2462 0 0 0 2288 3 0 0 25 0 4 0 935505430 124432384 23326 4294967295 134512640 135305190 3215400368 3082783936 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=678/tid=680] ppid=675 vsize=121516 CPUtime=23.01
/proc/678/task/680/stat : 680 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 3142 0 0 0 2297 4 0 0 25 0 4 0 935505430 124432384 23326 4294967295 134512640 135305190 3215400368 3074395328 134528376 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=678/tid=681] ppid=675 vsize=121516 CPUtime=22.94
/proc/678/task/681/stat : 681 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 2583 0 0 0 2288 6 0 0 25 0 4 0 935505430 124432384 23326 4294967295 134512640 135305190 3215400368 3066006720 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 94.38
Current children cumulated vsize (KiB) 123936

[startup+51.1149 s]
/proc/loadavg: 4.27 4.45 4.47 7/103 868
/proc/meminfo: memFree=2663628/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2420 CPUtime=2.16
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 369 4878 0 0 0 0 212 4 18 0 1 0 935505180 2478080 275 4294967295 134512640 135169312 3219716560 3219712776 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 605 275 231 161 0 44 0
[pid=678] ppid=675 vsize=144332 CPUtime=194.3
/proc/678/stat : 678 (manysat1.1_stat) R 675 675 28360 0 -1 4202496 28976 0 0 0 19390 40 0 0 25 0 4 0 935505397 147795968 28909 4294967295 134512640 135305190 3215400368 3215398544 134528402 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/678/statm: 36083 28909 79 194 0 35887 0
[pid=678/tid=679] ppid=675 vsize=144332 CPUtime=48.49
/proc/678/task/679/stat : 679 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 3849 0 0 0 4843 6 0 0 25 0 4 0 935505430 147795968 28909 4294967295 134512640 135305190 3215400368 3082783936 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=678/tid=680] ppid=675 vsize=144332 CPUtime=48.61
/proc/678/task/680/stat : 680 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 4695 0 0 0 4854 7 0 0 25 0 4 0 935505430 147795968 28909 4294967295 134512640 135305190 3215400368 3074395328 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=678/tid=681] ppid=675 vsize=144332 CPUtime=48.39
/proc/678/task/681/stat : 681 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 4008 0 0 0 4829 10 0 0 25 0 4 0 935505430 147795968 28909 4294967295 134512640 135305190 3215400368 3066006720 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 196.46
Current children cumulated vsize (KiB) 146752

[startup+102.311 s]
/proc/loadavg: 4.58 4.49 4.48 5/103 1066
/proc/meminfo: memFree=2640464/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2420 CPUtime=2.16
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 369 4878 0 0 0 0 212 4 18 0 1 0 935505180 2478080 275 4294967295 134512640 135169312 3219716560 3219712776 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 605 275 231 161 0 44 0
[pid=678] ppid=675 vsize=168732 CPUtime=398.49
/proc/678/stat : 678 (manysat1.1_stat) R 675 675 28360 0 -1 4202496 34611 0 0 0 39789 60 0 0 25 0 4 0 935505397 172781568 34544 4294967295 134512640 135305190 3215400368 3215398544 134528341 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/678/statm: 42183 34544 79 194 0 41987 0
[pid=678/tid=679] ppid=675 vsize=168732 CPUtime=99.45
/proc/678/task/679/stat : 679 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 4867 0 0 0 9934 11 0 0 25 0 4 0 935505430 172781568 34544 4294967295 134512640 135305190 3215400368 3082783936 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=678/tid=680] ppid=675 vsize=168732 CPUtime=99.7
/proc/678/task/680/stat : 680 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 6342 0 0 0 9960 10 0 0 25 0 4 0 935505430 172781568 34544 4294967295 134512640 135305190 3215400368 3074395328 134528319 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=678/tid=681] ppid=675 vsize=168732 CPUtime=99.55
/proc/678/task/681/stat : 681 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 5327 0 0 0 9940 15 0 0 25 0 4 0 935505430 172781568 34544 4294967295 134512640 135305190 3215400368 3066006720 134528548 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 400.65
Current children cumulated vsize (KiB) 171152

[startup+162.306 s]
/proc/loadavg: 4.69 4.51 4.48 5/103 1254
/proc/meminfo: memFree=2614188/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2420 CPUtime=2.16
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 369 4878 0 0 0 0 212 4 18 0 1 0 935505180 2478080 275 4294967295 134512640 135169312 3219716560 3219712776 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 605 275 231 161 0 44 0
[pid=678] ppid=675 vsize=195884 CPUtime=637.94
/proc/678/stat : 678 (manysat1.1_stat) R 675 675 28360 0 -1 4202496 41032 0 0 0 63717 77 0 0 25 0 4 0 935505397 200585216 40965 4294967295 134512640 135305190 3215400368 3215398544 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/678/statm: 48971 40965 79 194 0 48775 0
[pid=678/tid=679] ppid=675 vsize=195884 CPUtime=159.22
/proc/678/task/679/stat : 679 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 5583 0 0 0 15908 14 0 0 25 0 4 0 935505430 200585216 40965 4294967295 134512640 135305190 3215400368 3082783936 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=678/tid=680] ppid=675 vsize=195884 CPUtime=159.68
/proc/678/task/680/stat : 680 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 8370 0 0 0 15953 15 0 0 25 0 4 0 935505430 200585216 40965 4294967295 134512640 135305190 3215400368 3074395328 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=678/tid=681] ppid=675 vsize=195884 CPUtime=159.43
/proc/678/task/681/stat : 681 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 6820 0 0 0 15925 18 0 0 25 0 4 0 935505430 200585216 40965 4294967295 134512640 135305190 3215400368 3066006720 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 640.1
Current children cumulated vsize (KiB) 198304

[startup+222.311 s]
/proc/loadavg: 4.53 4.50 4.48 6/103 1443
/proc/meminfo: memFree=2598044/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2420 CPUtime=2.16
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 369 4878 0 0 0 0 212 4 18 0 1 0 935505180 2478080 275 4294967295 134512640 135169312 3219716560 3219712776 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 605 275 231 161 0 44 0
[pid=678] ppid=675 vsize=212944 CPUtime=877.3
/proc/678/stat : 678 (manysat1.1_stat) R 675 675 28360 0 -1 4202496 45215 0 0 0 87628 102 0 0 25 0 4 0 935505397 218054656 45148 4294967295 134512640 135305190 3215400368 3215398544 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/678/statm: 53236 45148 79 194 0 53040 0
[pid=678/tid=679] ppid=675 vsize=212944 CPUtime=219.08
/proc/678/task/679/stat : 679 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 6218 0 0 0 21888 20 0 0 25 0 4 0 935505430 218054656 45148 4294967295 134512640 135305190 3215400368 3082783936 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=678/tid=680] ppid=675 vsize=212944 CPUtime=219.69
/proc/678/task/680/stat : 680 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 9621 0 0 0 21953 16 0 0 25 0 4 0 935505430 218054656 45148 4294967295 134512640 135305190 3215400368 3074395328 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=678/tid=681] ppid=675 vsize=212944 CPUtime=218.98
/proc/678/task/681/stat : 681 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 7887 0 0 0 21868 30 0 0 25 0 4 0 935505430 218054656 45148 4294967295 134512640 135305190 3215400368 3066006512 134550995 0 0 0 3 0 0 0 -1 0 0 0 0

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

/proc/678/task/681/stat : 681 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 13884 0 0 0 51798 63 0 0 25 0 4 0 935505430 321409024 68561 4294967295 134512640 135305190 3215400368 3066006720 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2077.37
Current children cumulated vsize (KiB) 316296

[startup+582.312 s]
/proc/loadavg: 4.45 4.52 4.48 7/104 2458
/proc/meminfo: memFree=2488568/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2420 CPUtime=2.16
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 369 4878 0 0 0 0 212 4 18 0 1 0 935505180 2478080 275 4294967295 134512640 135169312 3219716560 3219712776 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 605 275 231 161 0 44 0
[pid=678] ppid=675 vsize=329216 CPUtime=2314.81
/proc/678/stat : 678 (manysat1.1_stat) R 675 675 28360 0 -1 4202496 72378 0 0 0 231207 274 0 0 25 0 4 0 935505397 337117184 72247 4294967295 134512640 135305190 3215400368 3215398544 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/678/statm: 82304 72247 79 194 0 82108 0
[pid=678/tid=679] ppid=675 vsize=329216 CPUtime=578.22
/proc/678/task/679/stat : 679 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 10955 0 0 0 57770 52 0 0 25 0 4 0 935505430 337117184 72247 4294967295 134512640 135305190 3215400368 3082783936 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=678/tid=680] ppid=675 vsize=329216 CPUtime=578.63
/proc/678/task/680/stat : 680 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 17924 0 0 0 57785 78 0 0 25 0 4 0 935505430 337117184 72247 4294967295 134512640 135305190 3215400368 3074395328 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=678/tid=681] ppid=675 vsize=329216 CPUtime=578.56
/proc/678/task/681/stat : 681 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 15337 0 0 0 57783 73 0 0 25 0 4 0 935505430 337117184 72247 4294967295 134512640 135305190 3215400368 3066006720 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2316.97
Current children cumulated vsize (KiB) 331636

[startup+642.307 s]
/proc/loadavg: 4.55 4.55 4.50 7/104 2622
/proc/meminfo: memFree=2483096/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2420 CPUtime=2.16
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 369 4878 0 0 0 0 212 4 18 0 1 0 935505180 2478080 275 4294967295 134512640 135169312 3219716560 3219712776 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 605 275 231 161 0 44 0
[pid=678] ppid=675 vsize=336872 CPUtime=2554.46
/proc/678/stat : 678 (manysat1.1_stat) R 675 675 28360 0 -1 4202496 73994 0 0 0 255156 290 0 0 25 0 4 0 935505397 344956928 73859 4294967295 134512640 135305190 3215400368 3215398544 134528402 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/678/statm: 84218 73859 79 194 0 84022 0
[pid=678/tid=679] ppid=675 vsize=336872 CPUtime=638.09
/proc/678/task/679/stat : 679 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 11775 0 0 0 63751 58 0 0 25 0 4 0 935505430 344956928 73859 4294967295 134512640 135305190 3215400368 3082783936 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=678/tid=680] ppid=675 vsize=336872 CPUtime=638.56
/proc/678/task/680/stat : 680 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 18216 0 0 0 63777 79 0 0 25 0 4 0 935505430 344956928 73859 4294967295 134512640 135305190 3215400368 3074395328 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=678/tid=681] ppid=675 vsize=336872 CPUtime=638.43
/proc/678/task/681/stat : 681 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 15669 0 0 0 63766 77 0 0 25 0 4 0 935505430 344956928 73859 4294967295 134512640 135305190 3215400368 3066006720 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2556.62
Current children cumulated vsize (KiB) 339292

[startup+702.313 s]
/proc/loadavg: 4.34 4.51 4.48 5/103 2786
/proc/meminfo: memFree=2469260/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2420 CPUtime=2.16
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 369 4878 0 0 0 0 212 4 18 0 1 0 935505180 2478080 275 4294967295 134512640 135169312 3219716560 3219712776 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 605 275 231 161 0 44 0
[pid=678] ppid=675 vsize=351784 CPUtime=2794.25
/proc/678/stat : 678 (manysat1.1_stat) R 675 675 28360 0 -1 4202496 77496 0 0 0 279124 301 0 0 25 0 4 0 935505397 360226816 77361 4294967295 134512640 135305190 3215400368 3215398544 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/678/statm: 87946 77361 79 194 0 87750 0
[pid=678/tid=679] ppid=675 vsize=351784 CPUtime=698.04
/proc/678/task/679/stat : 679 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 12236 0 0 0 69746 58 0 0 25 0 4 0 935505430 360226816 77361 4294967295 134512640 135305190 3215400368 3082783936 134528406 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=678/tid=680] ppid=675 vsize=351784 CPUtime=698.41
/proc/678/task/680/stat : 680 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 18617 0 0 0 69759 82 0 0 25 0 4 0 935505430 360226816 77361 4294967295 134512640 135305190 3215400368 3074395328 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=678/tid=681] ppid=675 vsize=351784 CPUtime=698.41
/proc/678/task/681/stat : 681 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 17209 0 0 0 69760 81 0 0 25 0 4 0 935505430 360226816 77361 4294967295 134512640 135305190 3215400368 3066006720 134528301 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2796.41
Current children cumulated vsize (KiB) 354204

[startup+762.318 s]
/proc/loadavg: 4.28 4.46 4.46 5/103 2975
/proc/meminfo: memFree=2464152/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2420 CPUtime=2.16
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 369 4878 0 0 0 0 212 4 18 0 1 0 935505180 2478080 275 4294967295 134512640 135169312 3219716560 3219712776 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 605 275 231 161 0 44 0
[pid=678] ppid=675 vsize=356724 CPUtime=3033.75
/proc/678/stat : 678 (manysat1.1_stat) R 675 675 28360 0 -1 4202496 78680 0 0 0 303055 320 0 0 25 0 4 0 935505397 365285376 78545 4294967295 134512640 135305190 3215400368 3215398544 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/678/statm: 89181 78545 79 194 0 88985 0
[pid=678/tid=679] ppid=675 vsize=356724 CPUtime=757.99
/proc/678/task/679/stat : 679 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 12595 0 0 0 75738 61 0 0 25 0 4 0 935505430 365285376 78545 4294967295 134512640 135305190 3215400368 3082783936 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=678/tid=680] ppid=675 vsize=356724 CPUtime=758.36
/proc/678/task/680/stat : 680 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 19076 0 0 0 75748 88 0 0 25 0 4 0 935505430 365285376 78545 4294967295 134512640 135305190 3215400368 3074395328 134528410 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=678/tid=681] ppid=675 vsize=356724 CPUtime=758.33
/proc/678/task/681/stat : 681 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 17395 0 0 0 75749 84 0 0 25 0 4 0 935505430 365285376 78545 4294967295 134512640 135305190 3215400368 3066006512 134547978 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3035.91
Current children cumulated vsize (KiB) 359144

[startup+822.313 s]
/proc/loadavg: 4.57 4.53 4.49 5/103 3165
/proc/meminfo: memFree=2457308/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2420 CPUtime=2.16
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 369 4878 0 0 0 0 212 4 18 0 1 0 935505180 2478080 275 4294967295 134512640 135169312 3219716560 3219712776 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 605 275 231 161 0 44 0
[pid=678] ppid=675 vsize=365004 CPUtime=3273.34
/proc/678/stat : 678 (manysat1.1_stat) R 675 675 28360 0 -1 4202496 80634 0 0 0 326999 335 0 0 25 0 4 0 935505397 373764096 80478 4294967295 134512640 135305190 3215400368 3215398544 134528341 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/678/statm: 91251 80478 79 194 0 91055 0
[pid=678/tid=679] ppid=675 vsize=365004 CPUtime=817.98
/proc/678/task/679/stat : 679 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 13392 0 0 0 81733 65 0 0 25 0 4 0 935505430 373764096 80478 4294967295 134512640 135305190 3215400368 3082783936 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=678/tid=680] ppid=675 vsize=365004 CPUtime=818.28
/proc/678/task/680/stat : 680 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 19322 0 0 0 81737 91 0 0 25 0 4 0 935505430 373764096 80478 4294967295 134512640 135305190 3215400368 3074395328 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=678/tid=681] ppid=675 vsize=365004 CPUtime=818.3
/proc/678/task/681/stat : 681 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 17889 0 0 0 81742 88 0 0 25 0 4 0 935505430 373764096 80478 4294967295 134512640 135305190 3215400368 3066006720 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3275.5
Current children cumulated vsize (KiB) 367424

[startup+882.308 s]
/proc/loadavg: 4.60 4.56 4.50 5/103 3355
/proc/meminfo: memFree=2435508/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2420 CPUtime=2.16
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 369 4878 0 0 0 0 212 4 18 0 1 0 935505180 2478080 275 4294967295 134512640 135169312 3219716560 3219712776 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 605 275 231 161 0 44 0
[pid=678] ppid=675 vsize=387264 CPUtime=3512.63
/proc/678/stat : 678 (manysat1.1_stat) R 675 675 28360 0 -1 4202496 85924 0 0 0 350912 351 0 0 25 0 4 0 935505397 396558336 85764 4294967295 134512640 135305190 3215400368 3215398544 134528446 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/678/statm: 96816 85764 79 194 0 96620 0
[pid=678/tid=679] ppid=675 vsize=387264 CPUtime=877.97
/proc/678/task/679/stat : 679 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 13964 0 0 0 87729 68 0 0 25 0 4 0 935505430 396558336 85764 4294967295 134512640 135305190 3215400368 3082783936 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=678/tid=680] ppid=675 vsize=387264 CPUtime=878.06
/proc/678/task/680/stat : 680 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 19912 0 0 0 87714 92 0 0 25 0 4 0 935505430 396558336 85764 4294967295 134512640 135305190 3215400368 3074395328 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=678/tid=681] ppid=675 vsize=387264 CPUtime=878.22
/proc/678/task/681/stat : 681 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 19947 0 0 0 87731 91 0 0 25 0 4 0 935505430 396558336 85764 4294967295 134512640 135305190 3215400368 3066006720 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3514.79
Current children cumulated vsize (KiB) 389684

[startup+942.313 s]
/proc/loadavg: 4.54 4.56 4.50 5/103 3568
/proc/meminfo: memFree=2432532/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2420 CPUtime=2.16
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 369 4878 0 0 0 0 212 4 18 0 1 0 935505180 2478080 275 4294967295 134512640 135169312 3219716560 3219712776 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 605 275 231 161 0 44 0
[pid=678] ppid=675 vsize=390168 CPUtime=3752.27
/proc/678/stat : 678 (manysat1.1_stat) R 675 675 28360 0 -1 4202496 86611 0 0 0 374852 375 0 0 25 0 4 0 935505397 399532032 86451 4294967295 134512640 135305190 3215400368 3215398544 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/678/statm: 97542 86451 79 194 0 97346 0
[pid=678/tid=679] ppid=675 vsize=390168 CPUtime=937.97
/proc/678/task/679/stat : 679 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 14018 0 0 0 93722 75 0 0 25 0 4 0 935505430 399532032 86451 4294967295 134512640 135305190 3215400368 3082783936 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=678/tid=680] ppid=675 vsize=390168 CPUtime=937.87
/proc/678/task/680/stat : 680 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 20077 0 0 0 93691 96 0 0 25 0 4 0 935505430 399532032 86451 4294967295 134512640 135305190 3215400368 3074395328 134528875 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=678/tid=681] ppid=675 vsize=390168 CPUtime=938.11
/proc/678/task/681/stat : 681 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 20303 0 0 0 93710 101 0 0 25 0 4 0 935505430 399532032 86451 4294967295 134512640 135305190 3215400368 3066005600 134569785 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3754.43
Current children cumulated vsize (KiB) 392588



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.53 4.56 4.50 5/103 3755
/proc/meminfo: memFree=2430672/3368532 swapFree=1959840/1959888
[pid=675] ppid=673 vsize=2420 CPUtime=2.16
/proc/675/stat : 675 (manysat.sh) S 673 675 28360 0 -1 4194304 369 4878 0 0 0 0 212 4 18 0 1 0 935505180 2478080 275 4294967295 134512640 135169312 3219716560 3219712776 3085643502 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/675/statm: 605 275 231 161 0 44 0
[pid=678] ppid=675 vsize=391040 CPUtime=3982.77
/proc/678/stat : 678 (manysat1.1_stat) R 675 675 28360 0 -1 4202496 86874 0 0 0 397885 392 0 0 25 0 4 0 935505397 400424960 86714 4294967295 134512640 135305190 3215400368 3215398544 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/678/statm: 97760 86714 79 194 0 97564 0
[pid=678/tid=679] ppid=675 vsize=391040 CPUtime=995.66
/proc/678/task/679/stat : 679 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 14048 0 0 0 99489 77 0 0 25 0 4 0 935505430 400424960 86714 4294967295 134512640 135305190 3215400368 3082783936 134528319 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=678/tid=680] ppid=675 vsize=391040 CPUtime=995.47
/proc/678/task/680/stat : 680 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 20248 0 0 0 99448 99 0 0 25 0 4 0 935505430 400424960 86714 4294967295 134512640 135305190 3215400368 3074395328 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=678/tid=681] ppid=675 vsize=391040 CPUtime=995.76
/proc/678/task/681/stat : 681 (manysat1.1_stat) R 675 675 28360 0 -1 4202560 20305 0 0 0 99471 105 0 0 25 0 4 0 935505430 400424960 86714 4294967295 134512640 135305190 3215400368 3066006720 134528410 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3984.93
Current children cumulated vsize (KiB) 393460

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 675 and gives
#  childrusage.ru_utime.tv_sec=2
#  childrusage.ru_utime.tv_usec=120000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=50000
# CPU time returned by wait4() is 2.17
# while last known CPU time is 3984.93
#
# 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): 3984.93
CPU user time (s): 3980.97
CPU system time (s): 3.96
CPU usage (%): 398.477
Max. virtual memory (cumulated for all children) (KiB): 393460

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

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-28 21:34:44
IDJOB=1780927
IDBENCH=71080
IDSOLVER=626
FILE ID=tipi39/1780927-1243539284
PBS_JOBID=
Free space on /tmp= 5740 MiB

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

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

MD5SUM BENCH= 54c22a62e5d0a640d4ea8d185b9b1fc7
RANDOM SEED= 1422628331

Linux tipi39 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.067
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.067
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.10
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.067
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.067
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:       2782580 kB
Buffers:         52204 kB
Cached:         427764 kB
SwapCached:          0 kB
Active:          44964 kB
Inactive:       451612 kB
HighTotal:     2489216 kB
HighFree:      2046924 kB
LowTotal:       879316 kB
LowFree:        735656 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            4432 kB
Writeback:           0 kB
AnonPages:       16360 kB
Mapped:           6156 kB
Slab:            78920 kB
SReclaimable:    68108 kB
SUnreclaim:      10812 kB
PageTables:        516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    95164 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5736 MiB
End job on tipi39 at 2009-05-28 21:51:26