Trace number 1779082

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

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxor/maxor128.cnf
MD5SUMe050fe11c7c50ba82ac7126f49db3c10
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 variables200308
Number of clauses598619
Sum of the clauses size1396775
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2399078
Number of clauses of size 3199539
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.00/0.46	c ==============================================================================
0.00/0.46	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.46	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.46	c ==============================================================================
0.00/0.46	c |         0 |  598617  1396773 |  179585       0        0     nan |  0.000 % |
6.32/6.37	c |         0 |  341039  1130857 |      --       0       --      -- |     --   | -257536/-265815
6.32/6.37	c ==============================================================================
6.32/6.37	c Result  :   #vars: 72981   #clauses: 341039   #literals: 1130857
6.32/6.37	c CPU time:   6.26 s
6.32/6.37	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-1779082-1243519146/watcher-1779082-1243519146 -o /tmp/evaluation-result-1779082-1243519146/solver-1779082-1243519146 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779082-1243519146.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.21 4.36 4.35 3/98 1207
/proc/meminfo: memFree=2932612/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2416 CPUtime=0
/proc/1207/stat : 1207 (manysat.sh) R 1205 1207 28360 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 933491383 2473984 274 4294967295 134512640 135169312 3214769440 3214767916 3085096820 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/1207/statm: 604 274 231 161 0 43 0

[startup+0.013133 s]
/proc/loadavg: 4.21 4.36 4.35 3/98 1207
/proc/meminfo: memFree=2932612/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2416 CPUtime=0
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933491383 2473984 274 4294967295 134512640 135169312 3214769440 3214767976 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416

[startup+0.113125 s]
/proc/loadavg: 4.21 4.36 4.35 3/98 1207
/proc/meminfo: memFree=2932612/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2416 CPUtime=0
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933491383 2473984 274 4294967295 134512640 135169312 3214769440 3214767976 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416

[startup+0.313106 s]
/proc/loadavg: 4.21 4.36 4.35 3/98 1207
/proc/meminfo: memFree=2932612/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2416 CPUtime=0
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933491383 2473984 274 4294967295 134512640 135169312 3214769440 3214767976 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416

[startup+0.713073 s]
/proc/loadavg: 4.21 4.36 4.35 3/98 1207
/proc/meminfo: memFree=2932612/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2416 CPUtime=0
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933491383 2473984 274 4294967295 134512640 135169312 3214769440 3214767976 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416

[startup+1.51301 s]
/proc/loadavg: 4.21 4.36 4.35 2/100 1209
/proc/meminfo: memFree=2847816/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2416 CPUtime=0
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933491383 2473984 274 4294967295 134512640 135169312 3214769440 3214767976 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 604 274 231 161 0 43 0
[pid=1208] ppid=1207 vsize=93844 CPUtime=1.52
/proc/1208/stat : 1208 (SatElite) R 1207 1207 28360 0 -1 4202496 22525 0 0 0 142 10 0 0 24 0 1 0 933491383 96096256 20770 4294967295 134512640 135034092 3216516752 3216512748 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1208/statm: 23461 20770 67 128 0 23331 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 96260

[startup+3.11288 s]
/proc/loadavg: 4.21 4.36 4.35 2/100 1209
/proc/meminfo: memFree=2837308/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2416 CPUtime=0
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933491383 2473984 274 4294967295 134512640 135169312 3214769440 3214767976 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 604 274 231 161 0 43 0
[pid=1208] ppid=1207 vsize=98552 CPUtime=3.12
/proc/1208/stat : 1208 (SatElite) R 1207 1207 28360 0 -1 4202496 23615 0 0 0 300 12 0 0 25 0 1 0 933491383 100917248 21860 4294967295 134512640 135034092 3216516752 3216512748 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1208/statm: 24638 21860 67 128 0 24508 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 100968

[startup+6.31262 s]
/proc/loadavg: 3.95 4.30 4.33 2/100 1393
/proc/meminfo: memFree=2816532/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2416 CPUtime=0
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933491383 2473984 274 4294967295 134512640 135169312 3214769440 3214767976 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 604 274 231 161 0 43 0
[pid=1208] ppid=1207 vsize=109168 CPUtime=6.32
/proc/1208/stat : 1208 (SatElite) R 1207 1207 28360 0 -1 4202496 26810 0 0 0 620 12 0 0 25 0 1 0 933491383 111788032 24004 4294967295 134512640 135034092 3216516752 3216513056 134569395 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1208/statm: 27292 24004 67 128 0 27162 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 111584

[startup+12.7117 s]
/proc/loadavg: 3.71 4.25 4.31 8/103 1397
/proc/meminfo: memFree=2783852/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2420 CPUtime=6.84
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 370 27011 0 0 0 0 668 16 18 0 1 0 933491383 2478080 275 4294967295 134512640 135169312 3214769440 3214765656 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 605 275 231 161 0 44 0
[pid=1394] ppid=1207 vsize=152868 CPUtime=20.94
/proc/1394/stat : 1394 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202496 29904 0 0 0 2040 54 0 0 17 0 4 0 933492067 156536832 29740 4294967295 134512640 135305190 3219882480 3219880400 134541935 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1394/statm: 38217 29740 79 194 0 38021 0
[pid=1394/tid=1395] ppid=1207 vsize=152868 CPUtime=5.05
/proc/1394/task/1395/stat : 1395 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 1254 0 0 0 492 13 0 0 16 0 4 0 933492137 156536832 29740 4294967295 134512640 135305190 3219882480 3052453056 134528506 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1394/tid=1396] ppid=1207 vsize=152868 CPUtime=4.97
/proc/1394/task/1396/stat : 1396 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 1677 0 0 0 485 12 0 0 16 0 4 0 933492137 156536832 29740 4294967295 134512640 135305190 3219882480 3044064448 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1394/tid=1397] ppid=1207 vsize=152868 CPUtime=5.11
/proc/1394/task/1397/stat : 1397 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 1324 0 0 0 503 8 0 0 16 0 4 0 933492137 156536832 29740 4294967295 134512640 135305190 3219882480 3035675504 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 27.78
Current children cumulated vsize (KiB) 155288

[startup+25.5107 s]
/proc/loadavg: 4.05 4.30 4.33 5/103 1399
/proc/meminfo: memFree=2762348/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2420 CPUtime=6.84
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 370 27011 0 0 0 0 668 16 18 0 1 0 933491383 2478080 275 4294967295 134512640 135169312 3214769440 3214765656 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 605 275 231 161 0 44 0
[pid=1394] ppid=1207 vsize=174284 CPUtime=72.09
/proc/1394/stat : 1394 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202496 35075 0 0 0 7145 64 0 0 25 0 4 0 933492067 178466816 34911 4294967295 134512640 135305190 3219882480 3219880656 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1394/statm: 43571 34911 79 194 0 43375 0
[pid=1394/tid=1395] ppid=1207 vsize=174284 CPUtime=17.84
/proc/1394/task/1395/stat : 1395 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 2102 0 0 0 1771 13 0 0 25 0 4 0 933492137 178466816 34911 4294967295 134512640 135305190 3219882480 3052453056 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1394/tid=1396] ppid=1207 vsize=174284 CPUtime=17.74
/proc/1394/task/1396/stat : 1396 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 3958 0 0 0 1756 18 0 0 25 0 4 0 933492137 178466816 34911 4294967295 134512640 135305190 3219882480 3044064064 134551860 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1394/tid=1397] ppid=1207 vsize=174284 CPUtime=17.9
/proc/1394/task/1397/stat : 1397 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 2145 0 0 0 1778 12 0 0 25 0 4 0 933492137 178466816 34911 4294967295 134512640 135305190 3219882480 3035675840 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 78.93
Current children cumulated vsize (KiB) 176704

[startup+51.1086 s]
/proc/loadavg: 4.03 4.27 4.32 5/103 1400
/proc/meminfo: memFree=2733752/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2420 CPUtime=6.84
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 370 27011 0 0 0 0 668 16 18 0 1 0 933491383 2478080 275 4294967295 134512640 135169312 3214769440 3214765656 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 605 275 231 161 0 44 0
[pid=1394] ppid=1207 vsize=202588 CPUtime=174.34
/proc/1394/stat : 1394 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202496 42139 0 0 0 17354 80 0 0 25 0 4 0 933492067 207450112 41975 4294967295 134512640 135305190 3219882480 3219880656 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1394/statm: 50647 41975 79 194 0 50451 0
[pid=1394/tid=1395] ppid=1207 vsize=202588 CPUtime=43.42
/proc/1394/task/1395/stat : 1395 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 3162 0 0 0 4326 16 0 0 25 0 4 0 933492137 207450112 41975 4294967295 134512640 135305190 3219882480 3052453056 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1394/tid=1396] ppid=1207 vsize=202588 CPUtime=43.22
/proc/1394/task/1396/stat : 1396 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 7063 0 0 0 4298 24 0 0 25 0 4 0 933492137 207450112 41975 4294967295 134512640 135305190 3219882480 3044064128 134552906 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1394/tid=1397] ppid=1207 vsize=202588 CPUtime=43.49
/proc/1394/task/1397/stat : 1397 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 3086 0 0 0 4334 15 0 0 25 0 4 0 933492137 207450112 41975 4294967295 134512640 135305190 3219882480 3035675840 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 181.18
Current children cumulated vsize (KiB) 205008

[startup+102.314 s]
/proc/loadavg: 4.01 4.23 4.30 5/103 1588
/proc/meminfo: memFree=2680608/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2420 CPUtime=6.84
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 370 27011 0 0 0 0 668 16 18 0 1 0 933491383 2478080 275 4294967295 134512640 135169312 3214769440 3214765656 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 605 275 231 161 0 44 0
[pid=1394] ppid=1207 vsize=255816 CPUtime=378.64
/proc/1394/stat : 1394 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202496 55377 0 0 0 37764 100 0 0 25 0 4 0 933492067 261955584 55213 4294967295 134512640 135305190 3219882480 3219880656 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1394/statm: 63954 55213 79 194 0 63758 0
[pid=1394/tid=1395] ppid=1207 vsize=255816 CPUtime=94.52
/proc/1394/task/1395/stat : 1395 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 5157 0 0 0 9434 18 0 0 25 0 4 0 933492137 261955584 55213 4294967295 134512640 135305190 3219882480 3052453056 134528525 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1394/tid=1396] ppid=1207 vsize=255816 CPUtime=94.24
/proc/1394/task/1396/stat : 1396 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 14013 0 0 0 9396 28 0 0 25 0 4 0 933492137 261955584 55213 4294967295 134512640 135305190 3219882480 3044064448 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1394/tid=1397] ppid=1207 vsize=255816 CPUtime=94.46
/proc/1394/task/1397/stat : 1397 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 4322 0 0 0 9427 19 0 0 25 0 4 0 933492137 261955584 55213 4294967295 134512640 135305190 3219882480 3035675840 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 385.48
Current children cumulated vsize (KiB) 258236

[startup+162.31 s]
/proc/loadavg: 4.11 4.21 4.28 5/103 1777
/proc/meminfo: memFree=2637352/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2420 CPUtime=6.84
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 370 27011 0 0 0 0 668 16 18 0 1 0 933491383 2478080 275 4294967295 134512640 135169312 3214769440 3214765656 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 605 275 231 161 0 44 0
[pid=1394] ppid=1207 vsize=300552 CPUtime=618.07
/proc/1394/stat : 1394 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202496 66280 0 0 0 61692 115 0 0 25 0 4 0 933492067 307765248 66116 4294967295 134512640 135305190 3219882480 3219880656 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1394/statm: 75138 66116 79 194 0 74942 0
[pid=1394/tid=1395] ppid=1207 vsize=300552 CPUtime=154.38
/proc/1394/task/1395/stat : 1395 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 6994 0 0 0 15417 21 0 0 25 0 4 0 933492137 307765248 66116 4294967295 134512640 135305190 3219882480 3052453056 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1394/tid=1396] ppid=1207 vsize=300552 CPUtime=154.1
/proc/1394/task/1396/stat : 1396 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 19349 0 0 0 15376 34 0 0 25 0 4 0 933492137 307765248 66116 4294967295 134512640 135305190 3219882480 3044064448 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1394/tid=1397] ppid=1207 vsize=300552 CPUtime=154.18
/proc/1394/task/1397/stat : 1397 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 5482 0 0 0 15398 20 0 0 25 0 4 0 933492137 307765248 66116 4294967295 134512640 135305190 3219882480 3035675840 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 624.91
Current children cumulated vsize (KiB) 302972

[startup+222.315 s]
/proc/loadavg: 4.29 4.23 4.28 5/103 1965
/proc/meminfo: memFree=2571948/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2420 CPUtime=6.84
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 370 27011 0 0 0 0 668 16 18 0 1 0 933491383 2478080 275 4294967295 134512640 135169312 3214769440 3214765656 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 605 275 231 161 0 44 0
[pid=1394] ppid=1207 vsize=365168 CPUtime=857.48
/proc/1394/stat : 1394 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202496 82501 0 0 0 85597 151 0 0 25 0 4 0 933492067 373932032 82337 4294967295 134512640 135305190 3219882480 3219880656 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1394/statm: 91292 82337 79 194 0 91096 0
[pid=1394/tid=1395] ppid=1207 vsize=365168 CPUtime=214.15
/proc/1394/task/1395/stat : 1395 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 9831 0 0 0 21391 24 0 0 25 0 4 0 933492137 373932032 82337 4294967295 134512640 135305190 3219882480 3052453056 134528506 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1394/tid=1396] ppid=1207 vsize=365168 CPUtime=214.06
/proc/1394/task/1396/stat : 1396 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 26653 0 0 0 21357 49 0 0 25 0 4 0 933492137 373932032 82337 4294967295 134512640 135305190 3219882480 3044064448 134528501 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1394/tid=1397] ppid=1207 vsize=365168 CPUtime=213.92
/proc/1394/task/1397/stat : 1397 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 7836 0 0 0 21366 26 0 0 25 0 4 0 933492137 373932032 82337 4294967295 134512640 135305190 3219882480 3035675840 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 864.32
Current children cumulated vsize (KiB) 367588

[startup+282.31 s]

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

/proc/1394/task/1397/stat : 1397 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 10726 0 0 0 51237 51 0 0 25 0 4 0 933492137 481370112 107606 4294967295 134512640 135305190 3219882480 3035675840 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2061.07
Current children cumulated vsize (KiB) 472508

[startup+582.315 s]
/proc/loadavg: 4.43 4.36 4.30 5/103 3112
/proc/meminfo: memFree=2447700/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2420 CPUtime=6.84
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 370 27011 0 0 0 0 668 16 18 0 1 0 933491383 2478080 275 4294967295 134512640 135169312 3214769440 3214765656 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 605 275 231 161 0 44 0
[pid=1394] ppid=1207 vsize=493052 CPUtime=2293.81
/proc/1394/stat : 1394 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202496 113515 0 0 0 229103 278 0 0 25 0 4 0 933492067 504885248 113340 4294967295 134512640 135305190 3219882480 3219880656 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/1394/statm: 123263 113340 79 194 0 123067 0
[pid=1394/tid=1395] ppid=1207 vsize=493052 CPUtime=572.92
/proc/1394/task/1395/stat : 1395 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 15488 0 0 0 57235 57 0 0 25 0 4 0 933492137 504885248 113340 4294967295 134512640 135305190 3219882480 3052453056 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1394/tid=1396] ppid=1207 vsize=493052 CPUtime=573
/proc/1394/task/1396/stat : 1396 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 40097 0 0 0 57218 82 0 0 25 0 4 0 933492137 504885248 113340 4294967295 134512640 135305190 3219882480 3044064064 134551697 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1394/tid=1397] ppid=1207 vsize=493052 CPUtime=572.76
/proc/1394/task/1397/stat : 1397 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 11661 0 0 0 57221 55 0 0 25 0 4 0 933492137 504885248 113340 4294967295 134512640 135305190 3219882480 3035675840 134528480 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2300.65
Current children cumulated vsize (KiB) 495472

[startup+642.31 s]
/proc/loadavg: 4.49 4.39 4.31 5/103 3302
/proc/meminfo: memFree=2409252/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2420 CPUtime=6.84
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 370 27011 0 0 0 0 668 16 18 0 1 0 933491383 2478080 275 4294967295 134512640 135169312 3214769440 3214765656 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 605 275 231 161 0 44 0
[pid=1394] ppid=1207 vsize=533876 CPUtime=2533.13
/proc/1394/stat : 1394 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202496 123189 0 0 0 253007 306 0 0 25 0 4 0 933492067 546689024 123014 4294967295 134512640 135305190 3219882480 3219880400 134542080 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1394/statm: 133469 123014 79 194 0 133273 0
[pid=1394/tid=1395] ppid=1207 vsize=533876 CPUtime=632.62
/proc/1394/task/1395/stat : 1395 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 17685 0 0 0 63199 63 0 0 25 0 4 0 933492137 546689024 123014 4294967295 134512640 135305190 3219882480 3052453056 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1394/tid=1396] ppid=1207 vsize=533876 CPUtime=632.85
/proc/1394/task/1396/stat : 1396 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 43528 0 0 0 63194 91 0 0 25 0 4 0 933492137 546689024 123014 4294967295 134512640 135305190 3219882480 3044064064 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1394/tid=1397] ppid=1207 vsize=533876 CPUtime=632.63
/proc/1394/task/1397/stat : 1397 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 13347 0 0 0 63198 65 0 0 25 0 4 0 933492137 546689024 123014 4294967295 134512640 135305190 3219882480 3035675840 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2539.97
Current children cumulated vsize (KiB) 536296

[startup+702.305 s]
/proc/loadavg: 4.45 4.41 4.33 5/103 3511
/proc/meminfo: memFree=2377332/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2420 CPUtime=6.84
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 370 27011 0 0 0 0 668 16 18 0 1 0 933491383 2478080 275 4294967295 134512640 135169312 3214769440 3214765656 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 605 275 231 161 0 44 0
[pid=1394] ppid=1207 vsize=566148 CPUtime=2772.66
/proc/1394/stat : 1394 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202496 131295 0 0 0 276946 320 0 0 25 0 4 0 933492067 579735552 131120 4294967295 134512640 135305190 3219882480 3219880656 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1394/statm: 141537 131120 79 194 0 141341 0
[pid=1394/tid=1395] ppid=1207 vsize=566148 CPUtime=692.55
/proc/1394/task/1395/stat : 1395 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 19397 0 0 0 69191 64 0 0 25 0 4 0 933492137 579735552 131120 4294967295 134512640 135305190 3219882480 3052453056 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1394/tid=1396] ppid=1207 vsize=566148 CPUtime=692.78
/proc/1394/task/1396/stat : 1396 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 46633 0 0 0 69182 96 0 0 25 0 4 0 933492137 579735552 131120 4294967295 134512640 135305190 3219882480 3044064448 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1394/tid=1397] ppid=1207 vsize=566148 CPUtime=692.47
/proc/1394/task/1397/stat : 1397 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 14369 0 0 0 69178 69 0 0 25 0 4 0 933492137 579735552 131120 4294967295 134512640 135305190 3219882480 3035675840 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2779.5
Current children cumulated vsize (KiB) 568568

[startup+762.311 s]
/proc/loadavg: 4.31 4.36 4.31 6/103 3708
/proc/meminfo: memFree=2327792/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2420 CPUtime=6.84
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 370 27011 0 0 0 0 668 16 18 0 1 0 933491383 2478080 275 4294967295 134512640 135169312 3214769440 3214765656 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 605 275 231 161 0 44 0
[pid=1394] ppid=1207 vsize=615288 CPUtime=3011.98
/proc/1394/stat : 1394 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202496 143450 0 0 0 300850 348 0 0 25 0 4 0 933492067 630054912 143275 4294967295 134512640 135305190 3219882480 3219880656 134528277 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1394/statm: 153822 143275 79 194 0 153626 0
[pid=1394/tid=1395] ppid=1207 vsize=615288 CPUtime=752.52
/proc/1394/task/1395/stat : 1395 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 21968 0 0 0 75185 67 0 0 25 0 4 0 933492137 630054912 143275 4294967295 134512640 135305190 3219882480 3052452800 134541971 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1394/tid=1396] ppid=1207 vsize=615288 CPUtime=752.66
/proc/1394/task/1396/stat : 1396 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 51425 0 0 0 75162 104 0 0 25 0 4 0 933492137 630054912 143275 4294967295 134512640 135305190 3219882480 3044064448 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1394/tid=1397] ppid=1207 vsize=615288 CPUtime=752.4
/proc/1394/task/1397/stat : 1397 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 15757 0 0 0 75164 76 0 0 25 0 4 0 933492137 630054912 143275 4294967295 134512640 135305190 3219882480 3035675840 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3018.82
Current children cumulated vsize (KiB) 617708

[startup+822.306 s]
/proc/loadavg: 4.31 4.36 4.31 5/103 3896
/proc/meminfo: memFree=2325312/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2420 CPUtime=6.84
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 370 27011 0 0 0 0 668 16 18 0 1 0 933491383 2478080 275 4294967295 134512640 135169312 3214769440 3214765656 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 605 275 231 161 0 44 0
[pid=1394] ppid=1207 vsize=617248 CPUtime=3251.5
/proc/1394/stat : 1394 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202496 143887 0 0 0 324789 361 0 0 25 0 4 0 933492067 632061952 143712 4294967295 134512640 135305190 3219882480 3219880656 134528181 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/1394/statm: 154312 143712 79 194 0 154116 0
[pid=1394/tid=1395] ppid=1207 vsize=617248 CPUtime=812.39
/proc/1394/task/1395/stat : 1395 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 22143 0 0 0 81170 69 0 0 25 0 4 0 933492137 632061952 143712 4294967295 134512640 135305190 3219882480 3052453056 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1394/tid=1396] ppid=1207 vsize=617248 CPUtime=812.66
/proc/1394/task/1396/stat : 1396 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 51568 0 0 0 81159 107 0 0 25 0 4 0 933492137 632061952 143712 4294967295 134512640 135305190 3219882480 3044064448 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1394/tid=1397] ppid=1207 vsize=617248 CPUtime=812.29
/proc/1394/task/1397/stat : 1397 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 15800 0 0 0 81150 79 0 0 25 0 4 0 933492137 632061952 143712 4294967295 134512640 135305190 3219882480 3035675840 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3258.34
Current children cumulated vsize (KiB) 619668

[startup+882.311 s]
/proc/loadavg: 4.59 4.41 4.33 5/103 4084
/proc/meminfo: memFree=2323196/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2420 CPUtime=6.84
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 370 27011 0 0 0 0 668 16 18 0 1 0 933491383 2478080 275 4294967295 134512640 135169312 3214769440 3214765656 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 605 275 231 161 0 44 0
[pid=1394] ppid=1207 vsize=619136 CPUtime=3491.08
/proc/1394/stat : 1394 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202496 144432 0 0 0 348724 384 0 0 25 0 4 0 933492067 633995264 144257 4294967295 134512640 135305190 3219882480 3219880656 134528189 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/1394/statm: 154784 144257 79 194 0 154588 0
[pid=1394/tid=1395] ppid=1207 vsize=619136 CPUtime=872.37
/proc/1394/task/1395/stat : 1395 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 22343 0 0 0 87162 75 0 0 25 0 4 0 933492137 633995264 144257 4294967295 134512640 135305190 3219882480 3052452800 134542034 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1394/tid=1396] ppid=1207 vsize=619136 CPUtime=872.64
/proc/1394/task/1396/stat : 1396 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 51790 0 0 0 87156 108 0 0 25 0 4 0 933492137 633995264 144257 4294967295 134512640 135305190 3219882480 3044064448 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1394/tid=1397] ppid=1207 vsize=619136 CPUtime=872.17
/proc/1394/task/1397/stat : 1397 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 15826 0 0 0 87130 87 0 0 25 0 4 0 933492137 633995264 144257 4294967295 134512640 135305190 3219882480 3035675840 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3497.92
Current children cumulated vsize (KiB) 621556

[startup+942.316 s]
/proc/loadavg: 4.36 4.38 4.32 5/103 4271
/proc/meminfo: memFree=2281940/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2420 CPUtime=6.84
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 370 27011 0 0 0 0 668 16 18 0 1 0 933491383 2478080 275 4294967295 134512640 135169312 3214769440 3214765656 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 605 275 231 161 0 44 0
[pid=1394] ppid=1207 vsize=662448 CPUtime=3730.56
/proc/1394/stat : 1394 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202496 155095 0 0 0 372644 412 0 0 25 0 4 0 933492067 678346752 154920 4294967295 134512640 135305190 3219882480 3219880656 134528252 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/1394/statm: 165612 154920 79 194 0 165416 0
[pid=1394/tid=1395] ppid=1207 vsize=662448 CPUtime=932.29
/proc/1394/task/1395/stat : 1395 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 25085 0 0 0 93147 82 0 0 25 0 4 0 933492137 678346752 154920 4294967295 134512640 135305190 3219882480 3052453056 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1394/tid=1396] ppid=1207 vsize=662448 CPUtime=932.52
/proc/1394/task/1396/stat : 1396 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 54912 0 0 0 93137 115 0 0 25 0 4 0 933492137 678346752 154920 4294967295 134512640 135305190 3219882480 3044064196 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1394/tid=1397] ppid=1207 vsize=662448 CPUtime=932.1
/proc/1394/task/1397/stat : 1397 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 17653 0 0 0 93118 92 0 0 25 0 4 0 933492137 678346752 154920 4294967295 134512640 135305190 3219882480 3035675840 134528539 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3737.4
Current children cumulated vsize (KiB) 664868



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.47 4.40 4.33 6/103 4460
/proc/meminfo: memFree=2265116/3368532 swapFree=1959840/1959888
[pid=1207] ppid=1205 vsize=2420 CPUtime=6.84
/proc/1207/stat : 1207 (manysat.sh) S 1205 1207 28360 0 -1 4194304 370 27011 0 0 0 0 668 16 18 0 1 0 933491383 2478080 275 4294967295 134512640 135169312 3214769440 3214765656 3085094638 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1207/statm: 605 275 231 161 0 44 0
[pid=1394] ppid=1207 vsize=677564 CPUtime=3960.88
/proc/1394/stat : 1394 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202496 158854 0 0 0 395662 426 0 0 25 0 4 0 933492067 693825536 158658 4294967295 134512640 135305190 3219882480 3219880384 134557367 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1394/statm: 169391 158658 79 194 0 169195 0
[pid=1394/tid=1395] ppid=1207 vsize=677564 CPUtime=989.94
/proc/1394/task/1395/stat : 1395 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 25916 0 0 0 98910 84 0 0 25 0 4 0 933492137 693825536 158659 4294967295 134512640 135305190 3219882480 3052452720 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1394/tid=1396] ppid=1207 vsize=677564 CPUtime=990.18
/proc/1394/task/1396/stat : 1396 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 55868 0 0 0 98898 120 0 0 25 0 4 0 933492137 693825536 158659 4294967295 134512640 135305190 3219882480 3044064448 134528501 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1394/tid=1397] ppid=1207 vsize=677564 CPUtime=989.62
/proc/1394/task/1397/stat : 1397 (manysat1.1_stat) R 1207 1207 28360 0 -1 4202560 18329 0 0 0 98869 93 0 0 25 0 4 0 933492137 693825536 158659 4294967295 134512640 135305190 3219882480 3035675840 134528512 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3967.72
Current children cumulated vsize (KiB) 679984

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 1207 and gives
#  childrusage.ru_utime.tv_sec=6
#  childrusage.ru_utime.tv_usec=680000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=160000
# CPU time returned by wait4() is 6.84
# while last known CPU time is 3967.72
#
# 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): 3967.72
CPU user time (s): 3963.3
CPU system time (s): 4.42
CPU usage (%): 396.752
Max. virtual memory (cumulated for all children) (KiB): 679984

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

runsolver used 0.02 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-28 15:59:06
IDJOB=1779082
IDBENCH=70808
IDSOLVER=626
FILE ID=tipi39/1779082-1243519146
PBS_JOBID=
Free space on /tmp= 5733 MiB

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

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

MD5SUM BENCH= e050fe11c7c50ba82ac7126f49db3c10
RANDOM SEED= 620546631

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:       2932612 kB
Buffers:         49848 kB
Cached:         284656 kB
SwapCached:          0 kB
Active:         199828 kB
Inactive:       151116 kB
HighTotal:     2489216 kB
HighFree:      2190052 kB
LowTotal:       879316 kB
LowFree:        742560 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:           12088 kB
Writeback:           0 kB
AnonPages:       16460 kB
Mapped:           6188 kB
Slab:            74024 kB
SReclaimable:    61700 kB
SUnreclaim:      12324 kB
PageTables:        500 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= 5701 MiB
End job on tipi39 at 2009-05-28 16:15:48