Trace number 1781305

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
satake 2009-03-22 (4 threads)UNSAT 260.99 86.6947

General information on the benchmark

Namemanol-pipe-g10id.cnf
MD5SUM79b8866c5f4be7f699958174c5be63e9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark38.28
Satisfiable
(Un)Satisfiability was proved
Number of variables159638
Number of clauses473596
Sum of the clauses size1105056
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2315730
Number of clauses of size 3157865
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

260.89/86.68	c Benchmark name    : HOME/instance-1781305-1243653671.cnf
260.89/86.68	c Thread Num        :            4
260.89/86.68	c restarts          :           16
260.89/86.68	c conflicts         :       105587
260.89/86.68	c decisions         :       425714           (     4941 / sec      )
260.89/86.68	c propagations      :    126937740           (  1473433 / sec      )
260.89/86.68	c inspects          :    377227430           (  4378676 / sec      )
260.89/86.68	c conflict literals :      7099565           (    32.84 % deleted  )
260.89/86.68	c cpu time          :        86.15           
260.89/86.68	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1781305-1243653671/watcher-1781305-1243653671 -o /tmp/evaluation-result-1781305-1243653671/solver-1781305-1243653671 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781305-1243653671.cnf 4 10000 

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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.99 2.97 2.98 3/98 5755
/proc/meminfo: memFree=3070132/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=5260 CPUtime=0
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 662 0 0 0 0 0 0 0 18 0 5 0 946943954 5386240 619 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 1315 622 63 164 0 1150 0
[pid=5755/tid=5756] ppid=5753 vsize=5260 CPUtime=0
/proc/5755/task/5756/stat : 5756 (satake) S 5753 5755 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 946943954 5386240 672 4294967295 134512640 135180984 3218688240 3086065680 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5755/tid=5757] ppid=5753 vsize=5260 CPUtime=0
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 604 0 0 0 0 0 0 0 20 0 5 0 946943954 5386240 678 4294967295 134512640 135180984 3218688240 3086000420 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=5260 CPUtime=0
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 946943954 5386240 683 4294967295 134512640 135180984 3218688240 3085935428 134705812 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=5260 CPUtime=0
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 946943954 5386240 687 4294967295 134512640 135180984 3218688240 3085869892 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.020225 s]
/proc/loadavg: 2.99 2.97 2.98 3/98 5755
/proc/meminfo: memFree=3070132/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=9976 CPUtime=0.02
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 2323 0 0 0 1 1 0 0 18 0 5 0 946943954 10215424 2280 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 2494 2281 63 164 0 2329 0
[pid=5755/tid=5756] ppid=5753 vsize=9976 CPUtime=0
/proc/5755/task/5756/stat : 5756 (satake) S 5753 5755 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 946943954 10215424 2281 4294967295 134512640 135180984 3218688240 3086065680 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5755/tid=5757] ppid=5753 vsize=9976 CPUtime=0.02
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 2207 0 0 0 1 1 0 0 20 0 5 0 946943954 10215424 2281 4294967295 134512640 135180984 3218688240 3086000200 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=11000 CPUtime=0
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 946943954 11264000 2282 4294967295 134512640 135180984 3218688240 3085934932 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=11000 CPUtime=0
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 5 0 946943954 11264000 2284 4294967295 134512640 135180984 3218688240 3085869272 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9976

[startup+0.110217 s]
/proc/loadavg: 2.99 2.97 2.98 3/98 5755
/proc/meminfo: memFree=3070132/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=44244 CPUtime=0.24
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 10030 0 0 0 18 6 0 0 18 0 5 0 946943954 45305856 9974 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 11061 9976 63 164 0 10896 0
[pid=5755/tid=5756] ppid=5753 vsize=44244 CPUtime=0
/proc/5755/task/5756/stat : 5756 (satake) S 5753 5755 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 946943954 45305856 9976 4294967295 134512640 135180984 3218688240 3086065680 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5755/tid=5757] ppid=5753 vsize=44244 CPUtime=0.11
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 3579 0 0 0 9 2 0 0 20 0 5 0 946943954 45305856 9977 4294967295 134512640 135180984 3218688240 3086000200 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=44244 CPUtime=0.08
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 3155 0 0 0 5 3 0 0 20 0 5 0 946943954 45305856 9978 4294967295 134512640 135180984 3218688240 3085934564 134673341 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=44244 CPUtime=0.06
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 3183 0 0 0 5 1 0 0 20 0 5 0 946943954 45305856 9978 4294967295 134512640 135180984 3218688240 3085869296 134522560 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 44244

[startup+0.310203 s]
/proc/loadavg: 2.99 2.97 2.98 3/98 5755
/proc/meminfo: memFree=3070132/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=90308 CPUtime=0.83
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 19267 0 0 0 71 12 0 0 18 0 5 0 946943954 92475392 19211 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 22577 19213 63 164 0 22412 0
[pid=5755/tid=5756] ppid=5753 vsize=90308 CPUtime=0
/proc/5755/task/5756/stat : 5756 (satake) S 5753 5755 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 946943954 92475392 19214 4294967295 134512640 135180984 3218688240 3086065680 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5755/tid=5757] ppid=5753 vsize=90308 CPUtime=0.31
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 6589 0 0 0 27 4 0 0 19 0 5 0 946943954 92475392 19215 4294967295 134512640 135180984 3218688240 3086000416 134513774 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=90308 CPUtime=0.27
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 6281 0 0 0 21 6 0 0 18 0 5 0 946943954 92475392 19215 4294967295 134512640 135180984 3218688240 3085934840 134519914 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=90308 CPUtime=0.26
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 6284 0 0 0 24 2 0 0 18 0 5 0 946943954 92475392 19215 4294967295 134512640 135180984 3218688240 3085869144 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 90308

[startup+0.710175 s]
/proc/loadavg: 2.99 2.97 2.98 3/98 5755
/proc/meminfo: memFree=3070132/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=133492 CPUtime=2.06
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 32559 0 0 0 182 24 0 0 18 0 5 0 946943954 136695808 26368 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 33373 26368 68 164 0 33208 0
[pid=5755/tid=5756] ppid=5753 vsize=133492 CPUtime=0.04
/proc/5755/task/5756/stat : 5756 (satake) S 5753 5755 30957 0 -1 4202560 2811 0 0 0 0 4 0 0 16 0 5 0 946943954 136695808 26368 4294967295 134512640 135180984 3218688240 3086065680 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5755/tid=5757] ppid=5753 vsize=133492 CPUtime=0.7
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 9783 0 0 0 62 8 0 0 18 0 5 0 946943954 136695808 26368 4294967295 134512640 135180984 3218688240 3085999976 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=133492 CPUtime=0.67
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 9947 0 0 0 59 8 0 0 17 0 5 0 946943954 136695808 26368 4294967295 134512640 135180984 3218688240 3085934448 134528406 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=133492 CPUtime=0.66
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 9908 0 0 0 62 4 0 0 17 0 5 0 946943954 136695808 26368 4294967295 134512640 135180984 3218688240 3085868912 134528209 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 133492

[startup+1.51011 s]
/proc/loadavg: 3.07 2.99 2.99 5/103 5760
/proc/meminfo: memFree=2965200/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=133624 CPUtime=4.52
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 32710 0 0 0 419 33 0 0 18 0 5 0 946943954 136830976 26519 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 33406 26519 68 164 0 33241 0
[pid=5755/tid=5756] ppid=5753 vsize=133624 CPUtime=0.1
/proc/5755/task/5756/stat : 5756 (satake) S 5753 5755 30957 0 -1 4202560 2820 0 0 0 0 10 0 0 16 0 5 0 946943954 136830976 26519 4294967295 134512640 135180984 3218688240 3086065680 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5755/tid=5757] ppid=5753 vsize=133624 CPUtime=1.5
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 9831 0 0 0 142 8 0 0 19 0 5 0 946943954 136830976 26519 4294967295 134512640 135180984 3218688240 3085999976 134520881 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=133624 CPUtime=1.47
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 9998 0 0 0 137 10 0 0 18 0 5 0 946943954 136830976 26519 4294967295 134512640 135180984 3218688240 3085934384 134523667 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=133624 CPUtime=1.46
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 9951 0 0 0 141 5 0 0 18 0 5 0 946943954 136830976 26519 4294967295 134512640 135180984 3218688240 3085868628 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 133624

[startup+3.10998 s]
/proc/loadavg: 3.07 2.99 2.99 4/103 5760
/proc/meminfo: memFree=2964972/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=133756 CPUtime=9.39
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 32907 0 0 0 897 42 0 0 18 0 5 0 946943954 136966144 26716 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 33439 26716 68 164 0 33274 0
[pid=5755/tid=5756] ppid=5753 vsize=133756 CPUtime=0.17
/proc/5755/task/5756/stat : 5756 (satake) S 5753 5755 30957 0 -1 4202560 2827 0 0 0 2 15 0 0 16 0 5 0 946943954 136966144 26716 4294967295 134512640 135180984 3218688240 3086065680 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5755/tid=5757] ppid=5753 vsize=133756 CPUtime=3.1
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 9893 0 0 0 301 9 0 0 23 0 5 0 946943954 136966144 26716 4294967295 134512640 135180984 3218688240 3085999984 134528954 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=133756 CPUtime=3.07
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 10056 0 0 0 295 12 0 0 20 0 5 0 946943954 136966144 26716 4294967295 134512640 135180984 3218688240 3085934448 134528470 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=133756 CPUtime=3.06
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 10021 0 0 0 300 6 0 0 21 0 5 0 946943954 136966144 26716 4294967295 134512640 135180984 3218688240 3085868848 134523696 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.39
Current children cumulated vsize (KiB) 133756

[startup+6.30972 s]
/proc/loadavg: 3.07 2.99 2.99 4/103 5760
/proc/meminfo: memFree=2962996/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=138028 CPUtime=19.21
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 33838 0 0 0 1840 81 0 0 18 0 5 0 946943954 141340672 27647 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 34507 27647 68 164 0 34342 0
[pid=5755/tid=5756] ppid=5753 vsize=138028 CPUtime=0.43
/proc/5755/task/5756/stat : 5756 (satake) S 5753 5755 30957 0 -1 4202560 2897 0 0 0 7 36 0 0 16 0 5 0 946943954 141340672 27647 4294967295 134512640 135180984 3218688240 3086065680 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5755/tid=5757] ppid=5753 vsize=138028 CPUtime=6.29
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 10138 0 0 0 617 12 0 0 25 0 5 0 946943954 141340672 27647 4294967295 134512640 135180984 3218688240 3086000032 134535641 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=138028 CPUtime=6.26
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 10386 0 0 0 607 19 0 0 25 0 5 0 946943954 141340672 27647 4294967295 134512640 135180984 3218688240 3085934440 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=138028 CPUtime=6.24
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 10307 0 0 0 610 14 0 0 25 0 5 0 946943954 141340672 27647 4294967295 134512640 135180984 3218688240 3085868744 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 19.21
Current children cumulated vsize (KiB) 138028

[startup+12.7092 s]
/proc/loadavg: 3.14 3.00 2.99 4/103 5760
/proc/meminfo: memFree=2951960/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=148592 CPUtime=39.06
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 36540 0 0 0 3703 203 0 0 18 0 5 0 946943954 152158208 30349 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 37148 30349 68 164 0 36983 0
[pid=5755/tid=5756] ppid=5753 vsize=148592 CPUtime=1.19
/proc/5755/task/5756/stat : 5756 (satake) S 5753 5755 30957 0 -1 4202560 3198 0 0 0 25 94 0 0 16 0 5 0 946943954 152158208 30349 4294967295 134512640 135180984 3218688240 3086065680 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=5755/tid=5757] ppid=5753 vsize=148592 CPUtime=12.63
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 10971 0 0 0 1235 28 0 0 25 0 5 0 946943954 152158208 30349 4294967295 134512640 135180984 3218688240 3085999920 134523751 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=148592 CPUtime=12.63
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 11071 0 0 0 1220 43 0 0 25 0 5 0 946943954 152158208 30349 4294967295 134512640 135180984 3218688240 3085934464 134518788 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=148592 CPUtime=12.62
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 11190 0 0 0 1224 38 0 0 25 0 5 0 946943954 152158208 30349 4294967295 134512640 135180984 3218688240 3085868912 134528123 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 39.06
Current children cumulated vsize (KiB) 148592

[startup+25.5182 s]
/proc/loadavg: 3.12 3.00 2.99 4/103 5944
/proc/meminfo: memFree=2924688/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=174288 CPUtime=78.2
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 42793 0 0 0 7428 392 0 0 18 0 5 0 946943954 178470912 36602 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 43572 36602 68 164 0 43407 0
[pid=5755/tid=5756] ppid=5753 vsize=174288 CPUtime=2.33
/proc/5755/task/5756/stat : 5756 (satake) S 5753 5755 30957 0 -1 4202560 3625 0 0 0 46 187 0 0 15 0 5 0 946943954 178470912 36602 4294967295 134512640 135180984 3218688240 3086065680 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5755/tid=5757] ppid=5753 vsize=174288 CPUtime=25.37
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 13355 0 0 0 2481 56 0 0 25 0 5 0 946943954 178470912 36602 4294967295 134512640 135180984 3218688240 3085999984 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=174288 CPUtime=25.33
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 12645 0 0 0 2451 82 0 0 25 0 5 0 946943954 178470912 36602 4294967295 134512640 135180984 3218688240 3085934448 134528636 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=174288 CPUtime=25.18
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 13058 0 0 0 2451 67 0 0 25 0 5 0 946943954 178470912 36602 4294967295 134512640 135180984 3218688240 3085868912 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 78.2
Current children cumulated vsize (KiB) 174288

[startup+51.1161 s]
/proc/loadavg: 3.15 3.02 3.00 4/103 5946
/proc/meminfo: memFree=2889544/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=210392 CPUtime=154.91
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 51622 0 0 0 14986 505 0 0 18 0 5 0 946943954 215441408 45431 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 52598 45431 68 164 0 52433 0
[pid=5755/tid=5756] ppid=5753 vsize=210392 CPUtime=3.07
/proc/5755/task/5756/stat : 5756 (satake) S 5753 5755 30957 0 -1 4202560 3962 0 0 0 65 242 0 0 16 0 5 0 946943954 215441408 45431 4294967295 134512640 135180984 3218688240 3086065680 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5755/tid=5757] ppid=5753 vsize=210392 CPUtime=50.96
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 16662 0 0 0 5006 90 0 0 25 0 5 0 946943954 215441408 45431 4294967295 134512640 135180984 3218688240 3085999984 134528576 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=210392 CPUtime=50.85
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 15178 0 0 0 4993 92 0 0 25 0 5 0 946943954 215441408 45431 4294967295 134512640 135180984 3218688240 3085934440 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=210392 CPUtime=50.04
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 15710 0 0 0 4923 81 0 0 25 0 5 0 946943954 215441408 45431 4294967295 134512640 135180984 3218688240 3085868864 134527255 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 154.91
Current children cumulated vsize (KiB) 210392

Solver just ended. Dumping a history of the last processes samples

[startup+63.915 s]
/proc/loadavg: 3.11 3.02 3.00 4/103 5948
/proc/meminfo: memFree=2878068/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=221224 CPUtime=193.26
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 54380 0 0 0 18784 542 0 0 18 0 5 0 946943954 226533376 48189 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 55306 48189 68 164 0 55141 0
[pid=5755/tid=5756] ppid=5753 vsize=221224 CPUtime=3.32
/proc/5755/task/5756/stat : 5756 (satake) S 5753 5755 30957 0 -1 4202560 4036 0 0 0 72 260 0 0 16 0 5 0 946943954 226533376 48189 4294967295 134512640 135180984 3218688240 3086065680 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5755/tid=5757] ppid=5753 vsize=221224 CPUtime=63.74
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 17580 0 0 0 6278 96 0 0 25 0 5 0 946943954 226533376 48189 4294967295 134512640 135180984 3218688240 3085999952 134520027 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=221224 CPUtime=63.62
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 15963 0 0 0 6262 100 0 0 25 0 5 0 946943954 226533376 48189 4294967295 134512640 135180984 3218688240 3085934508 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=221224 CPUtime=62.59
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 16691 0 0 0 6173 86 0 0 25 0 5 0 946943954 226533376 48189 4294967295 134512640 135180984 3218688240 3085868744 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 193.26
Current children cumulated vsize (KiB) 221224

[startup+76.714 s]
/proc/loadavg: 3.09 3.01 3.00 4/103 5949
/proc/meminfo: memFree=2875348/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=223968 CPUtime=231.61
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 55054 0 0 0 22536 625 0 0 18 0 5 0 946943954 229343232 48863 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 55992 48863 68 164 0 55827 0
[pid=5755/tid=5756] ppid=5753 vsize=223968 CPUtime=3.9
/proc/5755/task/5756/stat : 5756 (satake) S 5753 5755 30957 0 -1 4202560 4123 0 0 0 81 309 0 0 16 0 5 0 946943954 229343232 48863 4294967295 134512640 135180984 3218688240 3086065680 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5755/tid=5757] ppid=5753 vsize=223968 CPUtime=76.52
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 17754 0 0 0 7539 113 0 0 25 0 5 0 946943954 229343232 48863 4294967295 134512640 135180984 3218688240 3085999976 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=223968 CPUtime=76.39
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 16176 0 0 0 7528 111 0 0 25 0 5 0 946943954 229343232 48863 4294967295 134512640 135180984 3218688240 3085934384 134520716 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=223968 CPUtime=74.81
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 16891 0 0 0 7389 92 0 0 25 0 5 0 946943954 229343232 48863 4294967295 134512640 135180984 3218688240 3085868912 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 231.61
Current children cumulated vsize (KiB) 223968

[startup+83.1135 s]
/proc/loadavg: 3.08 3.01 3.00 4/103 6132
/proc/meminfo: memFree=2873684/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=223968 CPUtime=250.69
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 55091 0 0 0 24387 682 0 0 18 0 5 0 946943954 229343232 48900 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 55992 48900 68 164 0 55827 0
[pid=5755/tid=5756] ppid=5753 vsize=223968 CPUtime=4.28
/proc/5755/task/5756/stat : 5756 (satake) S 5753 5755 30957 0 -1 4202560 4155 0 0 0 91 337 0 0 16 0 5 0 946943954 229343232 48900 4294967295 134512640 135180984 3218688240 3086065680 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5755/tid=5757] ppid=5753 vsize=223968 CPUtime=82.88
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 17759 0 0 0 8163 125 0 0 25 0 5 0 946943954 229343232 48900 4294967295 134512640 135180984 3218688240 3085999984 134526109 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=223968 CPUtime=82.71
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 16176 0 0 0 8151 120 0 0 25 0 5 0 946943954 229343232 48900 4294967295 134512640 135180984 3218688240 3085934448 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=223968 CPUtime=80.83
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 16891 0 0 0 7983 100 0 0 25 0 5 0 946943954 229343232 48900 4294967295 134512640 135180984 3218688240 3085868904 134520896 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 250.69
Current children cumulated vsize (KiB) 223968

[startup+84.7133 s]
/proc/loadavg: 3.08 3.01 3.00 4/103 6132
/proc/meminfo: memFree=2873732/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=223968 CPUtime=255.48
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 55110 0 0 0 24842 706 0 0 18 0 5 0 946943954 229343232 48919 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 55992 48919 68 164 0 55827 0
[pid=5755/tid=5756] ppid=5753 vsize=223968 CPUtime=4.41
/proc/5755/task/5756/stat : 5756 (satake) S 5753 5755 30957 0 -1 4202560 4160 0 0 0 93 348 0 0 15 0 5 0 946943954 229343232 48919 4294967295 134512640 135180984 3218688240 3086065680 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5755/tid=5757] ppid=5753 vsize=223968 CPUtime=84.48
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 17768 0 0 0 8317 131 0 0 25 0 5 0 946943954 229343232 48919 4294967295 134512640 135180984 3218688240 3085999976 134519916 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=223968 CPUtime=84.3
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 16176 0 0 0 8305 125 0 0 25 0 5 0 946943954 229343232 48919 4294967295 134512640 135180984 3218688240 3085934448 134528084 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=223968 CPUtime=82.3
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 16896 0 0 0 8128 102 0 0 25 0 5 0 946943954 229343232 48919 4294967295 134512640 135180984 3218688240 3085868912 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 255.48
Current children cumulated vsize (KiB) 223968

[startup+85.5133 s]
/proc/loadavg: 3.08 3.01 3.00 4/103 6132
/proc/meminfo: memFree=2873732/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=223968 CPUtime=257.88
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 55118 0 0 0 25073 715 0 0 18 0 5 0 946943954 229343232 48927 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 55992 48927 68 164 0 55827 0
[pid=5755/tid=5756] ppid=5753 vsize=223968 CPUtime=4.47
/proc/5755/task/5756/stat : 5756 (satake) S 5753 5755 30957 0 -1 4202560 4167 0 0 0 95 352 0 0 16 0 5 0 946943954 229343232 48927 4294967295 134512640 135180984 3218688240 3086065680 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=5755/tid=5757] ppid=5753 vsize=223968 CPUtime=85.28
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 17769 0 0 0 8395 133 0 0 25 0 5 0 946943954 229343232 48927 4294967295 134512640 135180984 3218688240 3086000000 134532624 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=223968 CPUtime=85.1
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 16176 0 0 0 8384 126 0 0 25 0 5 0 946943954 229343232 48927 4294967295 134512640 135180984 3218688240 3085934448 134521036 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=223968 CPUtime=83.04
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 16896 0 0 0 8200 104 0 0 25 0 5 0 946943954 229343232 48927 4294967295 134512640 135180984 3218688240 3085868912 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 257.88
Current children cumulated vsize (KiB) 223968

[startup+86.3132 s]
/proc/loadavg: 3.07 3.01 3.00 4/103 6132
/proc/meminfo: memFree=2873732/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=219900 CPUtime=260.29
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 55127 0 0 0 25304 725 0 0 17 0 4 0 946943954 225177600 47952 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 54975 47952 77 164 0 54810 0
[pid=5755/tid=5757] ppid=5753 vsize=219900 CPUtime=86.07
/proc/5755/task/5757/stat : 5757 (satake) R 5753 5755 30957 0 -1 4202560 17778 0 0 0 8471 136 0 0 16 0 4 0 946943954 225177600 47952 4294967295 134512640 135180984 3218688240 3086000520 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=219900 CPUtime=85.87
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 16176 0 0 0 8459 128 0 0 15 0 4 0 946943954 225177600 47952 4294967295 134512640 135180984 3218688240 3085934984 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=219900 CPUtime=83.8
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 16896 0 0 0 8273 107 0 0 15 0 4 0 946943954 225177600 47952 4294967295 134512640 135180984 3218688240 3085869448 134579745 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 260.29
Current children cumulated vsize (KiB) 219900

[startup+86.5134 s]
/proc/loadavg: 3.07 3.01 3.00 4/103 6132
/proc/meminfo: memFree=2873732/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=212196 CPUtime=260.72
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 55127 0 0 0 25332 740 0 0 17 0 4 0 946943954 217288704 46492 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 53049 46492 77 164 0 52884 0
[pid=5755/tid=5757] ppid=5753 vsize=212196 CPUtime=86.25
/proc/5755/task/5757/stat : 5757 (satake) S 5753 5755 30957 0 -1 4202560 17778 0 0 0 8483 142 0 0 15 0 4 0 946943954 217288704 46492 4294967295 134512640 135180984 3218688240 3086000504 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=5755/tid=5758] ppid=5753 vsize=212196 CPUtime=86
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 16176 0 0 0 8468 132 0 0 16 0 4 0 946943954 217288704 46492 4294967295 134512640 135180984 3218688240 3085934816 134666410 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=212196 CPUtime=83.92
/proc/5755/task/5759/stat : 5759 (satake) S 5753 5755 30957 0 -1 4202560 16896 0 0 0 8280 112 0 0 15 0 4 0 946943954 217288704 46492 4294967295 134512640 135180984 3218688240 3085869432 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 260.72
Current children cumulated vsize (KiB) 212196

[startup+86.6135 s]
/proc/loadavg: 3.07 3.01 3.00 4/103 6132
/proc/meminfo: memFree=2873732/3368532 swapFree=1959840/1959888
[pid=5755] ppid=5753 vsize=191420 CPUtime=260.89
/proc/5755/stat : 5755 (satake) S 5753 5755 30957 0 -1 4202496 55127 0 0 0 25342 747 0 0 15 0 3 0 946943954 196014080 43213 4294967295 134512640 135180984 3218688240 3218687676 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/5755/statm: 47855 43213 77 164 0 47690 0
[pid=5755/tid=5758] ppid=5753 vsize=191420 CPUtime=86.07
/proc/5755/task/5758/stat : 5758 (satake) R 5753 5755 30957 0 -1 4202560 16176 0 0 0 8471 136 0 0 16 0 3 0 946943954 196014080 43213 4294967295 134512640 135180984 3218688240 3085934968 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=5755/tid=5759] ppid=5753 vsize=191420 CPUtime=83.98
/proc/5755/task/5759/stat : 5759 (satake) R 5753 5755 30957 0 -1 4202560 16896 0 0 0 8285 113 0 0 15 0 3 0 946943954 196014080 43213 4294967295 134512640 135180984 3218688240 3085869432 134579745 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 260.89
Current children cumulated vsize (KiB) 191420

Child status: 4
Real time (s): 86.6947
CPU time (s): 260.99
CPU user time (s): 253.48
CPU system time (s): 7.51
CPU usage (%): 301.045
Max. virtual memory (cumulated for all children) (KiB): 223968


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.48
system time used= 7.51
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55128
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= 368225
involuntary context switches= 205585

runsolver used 0.01 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 05:21:11
IDJOB=1781305
IDBENCH=71717
IDSOLVER=629
FILE ID=tipi39/1781305-1243653671
PBS_JOBID=
Free space on /tmp= 5736 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT_RACE06/manol-pipe-g10id.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781305-1243653671/watcher-1781305-1243653671 -o /tmp/evaluation-result-1781305-1243653671/solver-1781305-1243653671 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781305-1243653671.cnf 4 10000

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

MD5SUM BENCH= 79b8866c5f4be7f699958174c5be63e9
RANDOM SEED= 1168648757

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:       3070428 kB
Buffers:         57336 kB
Cached:         136848 kB
SwapCached:          0 kB
Active:          98644 kB
Inactive:       111436 kB
HighTotal:     2489216 kB
HighFree:      2338804 kB
LowTotal:       879316 kB
LowFree:        731624 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            9056 kB
Writeback:           0 kB
AnonPages:       15948 kB
Mapped:           6056 kB
Slab:            77652 kB
SReclaimable:    67300 kB
SUnreclaim:      10352 kB
PageTables:        528 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94804 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-30 05:22:39