Trace number 1775989

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 1/2009-03-20 (4 threads)? (TO) 3950.73 1000.05

General information on the benchmark

Nameindustrial/palacios/hard/
safe-30-h29-unsat.cnf
MD5SUM7cb48ce6f0320bc88623afd3c5af4aae
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 variables129128
Number of clauses437794
Sum of the clauses size1056806
Maximum clause length61
Minimum clause length1
Number of clauses of size 130
Number of clauses of size 2310376
Number of clauses of size 3124560
Number of clauses of size 4189
Number of clauses of size 583
Number of clauses of size over 52556

Solver Data 

0.00/0.00	c Parsing...
0.31/0.34	c ==============================================================================
0.31/0.34	c |           |     ORIGINAL     |              LEARNT              |          |
0.31/0.34	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.31/0.34	c ==============================================================================
0.31/0.34	c |         0 |  437704  1056626 |  131311       0        0     nan |  0.000 % |
11.12/11.21	c |         0 |  164704  1115453 |      --       0       --      -- |     --   | -273000/58827
11.12/11.21	c ==============================================================================
11.12/11.21	c Result  :   #vars: 6952   #clauses: 164704   #literals: 1115453
11.12/11.21	c CPU time:   11.03 s
11.12/11.21	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-1775989-1243506123/watcher-1775989-1243506123 -o /tmp/evaluation-result-1775989-1243506123/solver-1775989-1243506123 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775989-1243506123.cnf aimd 1 

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.27 4.57 4.57 3/96 23327
/proc/meminfo: memFree=3149604/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2416 CPUtime=0
/proc/23327/stat : 23327 (manysat.sh) R 23325 23327 27966 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 1115276395 2473984 274 4294967295 134512640 135169312 3218684128 3218682604 3085375348 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/23327/statm: 604 274 231 161 0 43 0
[pid=23328] ppid=23327 vsize=1248 CPUtime=0
/proc/23328/stat : 23328 (SatElite) R 23327 23327 27966 0 -1 4202496 257 0 0 0 0 0 0 0 18 0 1 0 1115276395 1277952 194 4294967295 134512640 135034092 3215592880 3215589224 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23328/statm: 312 196 51 128 0 182 0

[startup+0.045155 s]
/proc/loadavg: 4.27 4.57 4.57 3/96 23327
/proc/meminfo: memFree=3149604/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2416 CPUtime=0
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115276395 2473984 274 4294967295 134512640 135169312 3218684128 3218682664 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 604 274 231 161 0 43 0
[pid=23328] ppid=23327 vsize=8792 CPUtime=0.05
/proc/23328/stat : 23328 (SatElite) R 23327 23327 27966 0 -1 4202496 1826 0 0 0 4 1 0 0 19 0 1 0 1115276395 9003008 1763 4294967295 134512640 135034092 3215592880 3215589224 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23328/statm: 2198 1765 51 128 0 2068 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11208

[startup+0.105148 s]
/proc/loadavg: 4.27 4.57 4.57 3/96 23327
/proc/meminfo: memFree=3149604/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2416 CPUtime=0
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115276395 2473984 274 4294967295 134512640 135169312 3218684128 3218682664 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 604 274 231 161 0 43 0
[pid=23328] ppid=23327 vsize=18700 CPUtime=0.11
/proc/23328/stat : 23328 (SatElite) R 23327 23327 27966 0 -1 4202496 4128 0 0 0 9 2 0 0 20 0 1 0 1115276395 19148800 4065 4294967295 134512640 135034092 3215592880 3215588840 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23328/statm: 4675 4065 51 128 0 4545 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 21116

[startup+0.305131 s]
/proc/loadavg: 4.27 4.57 4.57 3/96 23327
/proc/meminfo: memFree=3149604/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2416 CPUtime=0
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115276395 2473984 274 4294967295 134512640 135169312 3218684128 3218682664 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 604 274 231 161 0 43 0
[pid=23328] ppid=23327 vsize=48436 CPUtime=0.31
/proc/23328/stat : 23328 (SatElite) R 23327 23327 27966 0 -1 4202496 11986 0 0 0 26 5 0 0 20 0 1 0 1115276395 49598464 11923 4294967295 134512640 135034092 3215592880 3215590120 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23328/statm: 12109 11924 51 128 0 11979 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 50852

[startup+0.705098 s]
/proc/loadavg: 4.27 4.57 4.57 3/96 23327
/proc/meminfo: memFree=3149604/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2416 CPUtime=0
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115276395 2473984 274 4294967295 134512640 135169312 3218684128 3218682664 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 604 274 231 161 0 43 0
[pid=23328] ppid=23327 vsize=58532 CPUtime=0.71
/proc/23328/stat : 23328 (SatElite) R 23327 23327 27966 0 -1 4202496 14386 0 0 0 66 5 0 0 21 0 1 0 1115276395 59936768 14003 4294967295 134512640 135034092 3215592880 3215588876 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23328/statm: 14633 14003 67 128 0 14503 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 60948

[startup+1.50504 s]
/proc/loadavg: 4.27 4.57 4.57 2/98 23329
/proc/meminfo: memFree=3087352/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2416 CPUtime=0
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115276395 2473984 274 4294967295 134512640 135169312 3218684128 3218682664 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 604 274 231 161 0 43 0
[pid=23328] ppid=23327 vsize=62072 CPUtime=1.51
/proc/23328/stat : 23328 (SatElite) R 23327 23327 27966 0 -1 4202496 15237 0 0 0 141 10 0 0 24 0 1 0 1115276395 63561728 14854 4294967295 134512640 135034092 3215592880 3215588876 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23328/statm: 15518 14854 67 128 0 15388 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 64488

[startup+3.1049 s]
/proc/loadavg: 4.01 4.51 4.55 2/98 23329
/proc/meminfo: memFree=3076548/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2416 CPUtime=0
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115276395 2473984 274 4294967295 134512640 135169312 3218684128 3218682664 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 604 274 231 161 0 43 0
[pid=23328] ppid=23327 vsize=67084 CPUtime=3.11
/proc/23328/stat : 23328 (SatElite) R 23327 23327 27966 0 -1 4202496 16440 0 0 0 299 12 0 0 25 0 1 0 1115276395 68694016 16057 4294967295 134512640 135034092 3215592880 3215588876 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23328/statm: 16771 16057 67 128 0 16641 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 69500

[startup+6.31464 s]
/proc/loadavg: 4.01 4.51 4.55 2/98 23329
/proc/meminfo: memFree=3058672/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2416 CPUtime=0
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1115276395 2473984 274 4294967295 134512640 135169312 3218684128 3218682664 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 604 274 231 161 0 43 0
[pid=23328] ppid=23327 vsize=73280 CPUtime=6.32
/proc/23328/stat : 23328 (SatElite) R 23327 23327 27966 0 -1 4202496 18005 0 0 0 616 16 0 0 25 0 1 0 1115276395 75038720 17368 4294967295 134512640 135034092 3215592880 3215589072 134540724 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23328/statm: 18320 17368 67 128 0 18190 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 75696

[startup+12.7149 s]
/proc/loadavg: 3.54 4.40 4.51 2/98 23330
/proc/meminfo: memFree=3072732/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2420 CPUtime=11.6
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 370 20022 0 0 0 0 1140 20 18 0 1 0 1115276395 2478080 275 4294967295 134512640 135169312 3218684128 3218680344 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 605 275 231 161 0 44 0
[pid=23330] ppid=23327 vsize=99344 CPUtime=2.73
/proc/23330/stat : 23330 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202496 18083 0 0 0 244 29 0 0 16 0 4 0 1115277554 101728256 18019 4294967295 134512640 135305190 3213415360 3213413536 134528252 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/23330/statm: 24836 18019 79 194 0 24640 0
Current children cumulated CPU time (s) 14.33
Current children cumulated vsize (KiB) 101764

[startup+25.5129 s]
/proc/loadavg: 3.93 4.45 4.53 7/101 23336
/proc/meminfo: memFree=3017772/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2420 CPUtime=11.6
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 370 20022 0 0 0 0 1140 20 18 0 1 0 1115276395 2478080 275 4294967295 134512640 135169312 3218684128 3218680344 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 605 275 231 161 0 44 0
[pid=23330] ppid=23327 vsize=132932 CPUtime=53.24
/proc/23330/stat : 23330 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202496 26190 0 0 0 5280 44 0 0 16 0 4 0 1115277554 136122368 26126 4294967295 134512640 135305190 3213415360 3213413536 134528410 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/23330/statm: 33233 26126 79 194 0 33037 0
[pid=23330/tid=23331] ppid=23327 vsize=132932 CPUtime=13.33
/proc/23330/task/23331/stat : 23331 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 3170 0 0 0 1318 15 0 0 16 0 4 0 1115277600 136122368 26126 4294967295 134512640 135305190 3213415360 3081739456 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23330/tid=23332] ppid=23327 vsize=132932 CPUtime=13.31
/proc/23330/task/23332/stat : 23332 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 3888 0 0 0 1322 9 0 0 16 0 4 0 1115277600 136122368 26126 4294967295 134512640 135305190 3213415360 3073350848 134528382 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23330/tid=23333] ppid=23327 vsize=132932 CPUtime=13.25
/proc/23330/task/23333/stat : 23333 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 3534 0 0 0 1316 9 0 0 15 0 4 0 1115277600 136122368 26126 4294967295 134512640 135305190 3213415360 3064962128 134539420 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 64.84
Current children cumulated vsize (KiB) 135352

[startup+51.1107 s]
/proc/loadavg: 4.47 4.54 4.56 5/101 23520
/proc/meminfo: memFree=2987660/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2420 CPUtime=11.6
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 370 20022 0 0 0 0 1140 20 18 0 1 0 1115276395 2478080 275 4294967295 134512640 135169312 3218684128 3218680344 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 605 275 231 161 0 44 0
[pid=23330] ppid=23327 vsize=164036 CPUtime=155.12
/proc/23330/stat : 23330 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202496 33894 0 0 0 15441 71 0 0 25 0 4 0 1115277554 167972864 33830 4294967295 134512640 135305190 3213415360 3213413536 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/23330/statm: 41009 33830 79 194 0 40813 0
[pid=23330/tid=23331] ppid=23327 vsize=164036 CPUtime=38.88
/proc/23330/task/23331/stat : 23331 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 4422 0 0 0 3868 20 0 0 22 0 4 0 1115277600 167972864 33830 4294967295 134512640 135305190 3213415360 3081739456 134528520 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23330/tid=23332] ppid=23327 vsize=164036 CPUtime=38.52
/proc/23330/task/23332/stat : 23332 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 7265 0 0 0 3840 12 0 0 25 0 4 0 1115277600 167972864 33830 4294967295 134512640 135305190 3213415360 3073350464 134551697 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23330/tid=23333] ppid=23327 vsize=164036 CPUtime=38.82
/proc/23330/task/23333/stat : 23333 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 5086 0 0 0 3863 19 0 0 25 0 4 0 1115277600 167972864 33830 4294967295 134512640 135305190 3213415360 3064962240 134528542 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 166.72
Current children cumulated vsize (KiB) 166456

[startup+102.316 s]
/proc/loadavg: 4.38 4.51 4.54 5/101 23708
/proc/meminfo: memFree=2944976/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2420 CPUtime=11.6
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 370 20022 0 0 0 0 1140 20 18 0 1 0 1115276395 2478080 275 4294967295 134512640 135169312 3218684128 3218680344 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 605 275 231 161 0 44 0
[pid=23330] ppid=23327 vsize=205092 CPUtime=359.14
/proc/23330/stat : 23330 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202496 44166 0 0 0 35804 110 0 0 19 0 4 0 1115277554 210014208 44102 4294967295 134512640 135305190 3213415360 3213413384 134694990 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/23330/statm: 51273 44102 79 194 0 51077 0
[pid=23330/tid=23331] ppid=23327 vsize=205092 CPUtime=89.9
/proc/23330/task/23331/stat : 23331 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 5839 0 0 0 8968 22 0 0 25 0 4 0 1115277600 210014208 44102 4294967295 134512640 135305190 3213415360 3081739456 134528548 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23330/tid=23332] ppid=23327 vsize=205092 CPUtime=89.65
/proc/23330/task/23332/stat : 23332 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 12052 0 0 0 8940 25 0 0 25 0 4 0 1115277600 210014208 44102 4294967295 134512640 135305190 3213415360 3073350848 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23330/tid=23333] ppid=23327 vsize=205092 CPUtime=89.84
/proc/23330/task/23333/stat : 23333 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 7288 0 0 0 8957 27 0 0 25 0 4 0 1115277600 210014208 44102 4294967295 134512640 135305190 3213415360 3064962240 134528571 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 370.74
Current children cumulated vsize (KiB) 207512

[startup+162.312 s]
/proc/loadavg: 4.26 4.45 4.52 6/101 23895
/proc/meminfo: memFree=2904344/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2420 CPUtime=11.6
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 370 20022 0 0 0 0 1140 20 18 0 1 0 1115276395 2478080 275 4294967295 134512640 135169312 3218684128 3218680344 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 605 275 231 161 0 44 0
[pid=23330] ppid=23327 vsize=245920 CPUtime=598.42
/proc/23330/stat : 23330 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202496 53918 0 0 0 59701 141 0 0 25 0 4 0 1115277554 251822080 53854 4294967295 134512640 135305190 3213415360 3213413536 134528319 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/23330/statm: 61480 53854 79 194 0 61284 0
[pid=23330/tid=23331] ppid=23327 vsize=245920 CPUtime=149.84
/proc/23330/task/23331/stat : 23331 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 7396 0 0 0 14954 30 0 0 25 0 4 0 1115277600 251822080 53854 4294967295 134512640 135305190 3213415360 3081739456 134528418 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23330/tid=23332] ppid=23327 vsize=245920 CPUtime=149.52
/proc/23330/task/23332/stat : 23332 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 16130 0 0 0 14919 33 0 0 25 0 4 0 1115277600 251822080 53854 4294967295 134512640 135305190 3213415360 3073350848 134528265 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23330/tid=23333] ppid=23327 vsize=245920 CPUtime=149.72
/proc/23330/task/23333/stat : 23333 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 9345 0 0 0 14942 30 0 0 25 0 4 0 1115277600 251822080 53854 4294967295 134512640 135305190 3213415360 3064962240 134528559 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 610.02
Current children cumulated vsize (KiB) 248340

[startup+222.317 s]
/proc/loadavg: 4.21 4.40 4.50 6/101 24084
/proc/meminfo: memFree=2880604/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2420 CPUtime=11.6
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 370 20022 0 0 0 0 1140 20 18 0 1 0 1115276395 2478080 275 4294967295 134512640 135169312 3218684128 3218680344 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 605 275 231 161 0 44 0
[pid=23330] ppid=23327 vsize=272392 CPUtime=837.51
/proc/23330/stat : 23330 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202496 59960 0 0 0 83589 162 0 0 25 0 4 0 1115277554 278929408 59896 4294967295 134512640 135305190 3213415360 3213413536 134528307 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/23330/statm: 68098 59896 79 194 0 67902 0
[pid=23330/tid=23331] ppid=23327 vsize=272392 CPUtime=209.71

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

/proc/23330/task/23333/stat : 23333 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 17985 0 0 0 50807 75 0 0 25 0 4 0 1115277600 425775104 94896 4294967295 134512640 135305190 3213415360 3064962240 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2045.67
Current children cumulated vsize (KiB) 418216

[startup+582.307 s]
/proc/loadavg: 4.45 4.40 4.45 7/102 25094
/proc/meminfo: memFree=2732016/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2420 CPUtime=11.6
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 370 20022 0 0 0 0 1140 20 18 0 1 0 1115276395 2478080 275 4294967295 134512640 135169312 3218684128 3218680344 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 605 275 231 161 0 44 0
[pid=23330] ppid=23327 vsize=426212 CPUtime=2273.33
/proc/23330/stat : 23330 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202496 97295 0 0 0 226990 343 0 0 25 0 4 0 1115277554 436441088 97231 4294967295 134512640 135305190 3213415360 3213413536 134528503 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/23330/statm: 106553 97231 79 194 0 106357 0
[pid=23330/tid=23331] ppid=23327 vsize=426212 CPUtime=568.45
/proc/23330/task/23331/stat : 23331 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 15424 0 0 0 56764 81 0 0 25 0 4 0 1115277600 436441088 97231 4294967295 134512640 135305190 3213415360 3081739304 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23330/tid=23332] ppid=23327 vsize=426212 CPUtime=568.29
/proc/23330/task/23332/stat : 23332 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 33200 0 0 0 56757 72 0 0 25 0 4 0 1115277600 436441088 97231 4294967295 134512640 135305190 3213415360 3073350848 134528332 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23330/tid=23333] ppid=23327 vsize=426212 CPUtime=568.59
/proc/23330/task/23333/stat : 23333 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 18113 0 0 0 56774 85 0 0 25 0 4 0 1115277600 436441088 97231 4294967295 134512640 135305190 3213415360 3064962240 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2284.93
Current children cumulated vsize (KiB) 428632

[startup+642.312 s]
/proc/loadavg: 4.24 4.35 4.43 5/101 25408
/proc/meminfo: memFree=2704060/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2420 CPUtime=11.6
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 370 20022 0 0 0 0 1140 20 18 0 1 0 1115276395 2478080 275 4294967295 134512640 135169312 3218684128 3218680344 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 605 275 231 161 0 44 0
[pid=23330] ppid=23327 vsize=456496 CPUtime=2512.46
/proc/23330/stat : 23330 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202496 104251 0 0 0 250864 382 0 0 25 0 4 0 1115277554 467451904 104187 4294967295 134512640 135305190 3213415360 3213413536 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/23330/statm: 114124 104187 79 194 0 113928 0
[pid=23330/tid=23331] ppid=23327 vsize=456496 CPUtime=628.37
/proc/23330/task/23331/stat : 23331 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 16295 0 0 0 62743 94 0 0 25 0 4 0 1115277600 467451904 104187 4294967295 134512640 135305190 3213415360 3081739456 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23330/tid=23332] ppid=23327 vsize=456496 CPUtime=628.18
/proc/23330/task/23332/stat : 23332 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 35422 0 0 0 62732 86 0 0 25 0 4 0 1115277600 467451904 104187 4294967295 134512640 135305190 3213415360 3073350848 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23330/tid=23333] ppid=23327 vsize=456496 CPUtime=628.15
/proc/23330/task/23333/stat : 23333 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 19744 0 0 0 62723 92 0 0 25 0 4 0 1115277600 467451904 104187 4294967295 134512640 135305190 3213415360 3064962240 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2524.06
Current children cumulated vsize (KiB) 458916

[startup+702.307 s]
/proc/loadavg: 4.27 4.35 4.43 5/101 25596
/proc/meminfo: memFree=2695320/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2420 CPUtime=11.6
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 370 20022 0 0 0 0 1140 20 18 0 1 0 1115276395 2478080 275 4294967295 134512640 135169312 3218684128 3218680344 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 605 275 231 161 0 44 0
[pid=23330] ppid=23327 vsize=466028 CPUtime=2751.34
/proc/23330/stat : 23330 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202496 106202 0 0 0 274731 403 0 0 25 0 4 0 1115277554 477212672 106138 4294967295 134512640 135305190 3213415360 3213413536 134528277 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/23330/statm: 116507 106138 79 194 0 116311 0
[pid=23330/tid=23331] ppid=23327 vsize=466028 CPUtime=688.26
/proc/23330/task/23331/stat : 23331 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 16791 0 0 0 68725 101 0 0 25 0 4 0 1115277600 477212672 106138 4294967295 134512640 135305190 3213415360 3081739456 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23330/tid=23332] ppid=23327 vsize=466028 CPUtime=687.88
/proc/23330/task/23332/stat : 23332 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 36586 0 0 0 68695 93 0 0 25 0 4 0 1115277600 477212672 106138 4294967295 134512640 135305190 3213415360 3073350848 134528256 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23330/tid=23333] ppid=23327 vsize=466028 CPUtime=687.63
/proc/23330/task/23333/stat : 23333 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 19898 0 0 0 68668 95 0 0 25 0 4 0 1115277600 477212672 106138 4294967295 134512640 135305190 3213415360 3064962240 134528263 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2762.94
Current children cumulated vsize (KiB) 468448

[startup+762.312 s]
/proc/loadavg: 4.22 4.31 4.41 5/101 25783
/proc/meminfo: memFree=2684244/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2420 CPUtime=11.6
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 370 20022 0 0 0 0 1140 20 18 0 1 0 1115276395 2478080 275 4294967295 134512640 135169312 3218684128 3218680344 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 605 275 231 161 0 44 0
[pid=23330] ppid=23327 vsize=478612 CPUtime=2990.67
/proc/23330/stat : 23330 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202496 108966 0 0 0 298648 419 0 0 25 0 4 0 1115277554 490098688 108902 4294967295 134512640 135305190 3213415360 3213413536 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/23330/statm: 119653 108902 79 194 0 119457 0
[pid=23330/tid=23331] ppid=23327 vsize=478612 CPUtime=748.1
/proc/23330/task/23331/stat : 23331 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 17873 0 0 0 74708 102 0 0 25 0 4 0 1115277600 490098688 108902 4294967295 134512640 135305190 3213415360 3081739456 134528224 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23330/tid=23332] ppid=23327 vsize=478612 CPUtime=747.87
/proc/23330/task/23332/stat : 23332 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 37901 0 0 0 74691 96 0 0 25 0 4 0 1115277600 490098688 108902 4294967295 134512640 135305190 3213415360 3073350848 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23330/tid=23333] ppid=23327 vsize=478612 CPUtime=747.41
/proc/23330/task/23333/stat : 23333 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 20078 0 0 0 74642 99 0 0 25 0 4 0 1115277600 490098688 108902 4294967295 134512640 135305190 3213415360 3064962240 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3002.27
Current children cumulated vsize (KiB) 481032

[startup+822.317 s]
/proc/loadavg: 4.37 4.33 4.40 5/101 25972
/proc/meminfo: memFree=2644200/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2420 CPUtime=11.6
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 370 20022 0 0 0 0 1140 20 18 0 1 0 1115276395 2478080 275 4294967295 134512640 135169312 3218684128 3218680344 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 605 275 231 161 0 44 0
[pid=23330] ppid=23327 vsize=520696 CPUtime=3230.2
/proc/23330/stat : 23330 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202496 119487 0 0 0 322567 453 0 0 25 0 4 0 1115277554 533192704 119423 4294967295 134512640 135305190 3213415360 3213413328 134547909 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/23330/statm: 130174 119423 79 194 0 129978 0
[pid=23330/tid=23331] ppid=23327 vsize=520696 CPUtime=807.9
/proc/23330/task/23331/stat : 23331 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 19246 0 0 0 80678 112 0 0 25 0 4 0 1115277600 533192704 119423 4294967295 134512640 135305190 3213415360 3081739456 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23330/tid=23332] ppid=23327 vsize=520696 CPUtime=807.77
/proc/23330/task/23332/stat : 23332 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 43798 0 0 0 80668 109 0 0 25 0 4 0 1115277600 533192704 119423 4294967295 134512640 135305190 3213415360 3073350848 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=23330/tid=23333] ppid=23327 vsize=520696 CPUtime=807.37
/proc/23330/task/23333/stat : 23333 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 21595 0 0 0 80634 103 0 0 25 0 4 0 1115277600 533192704 119423 4294967295 134512640 135305190 3213415360 3064962240 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3241.8
Current children cumulated vsize (KiB) 523116

[startup+882.312 s]
/proc/loadavg: 4.10 4.26 4.37 5/101 26159
/proc/meminfo: memFree=2626632/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2420 CPUtime=11.6
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 370 20022 0 0 0 0 1140 20 18 0 1 0 1115276395 2478080 275 4294967295 134512640 135169312 3218684128 3218680344 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 605 275 231 161 0 44 0
[pid=23330] ppid=23327 vsize=535892 CPUtime=3469.44
/proc/23330/stat : 23330 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202496 123367 0 0 0 346473 471 0 0 25 0 4 0 1115277554 548753408 123303 4294967295 134512640 135305190 3213415360 3213413536 134528263 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/23330/statm: 133973 123303 79 194 0 133777 0
[pid=23330/tid=23331] ppid=23327 vsize=535892 CPUtime=867.71
/proc/23330/task/23331/stat : 23331 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 19704 0 0 0 86654 117 0 0 25 0 4 0 1115277600 548753408 123303 4294967295 134512640 135305190 3213415360 3081739456 134528235 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23330/tid=23332] ppid=23327 vsize=535892 CPUtime=867.66
/proc/23330/task/23332/stat : 23332 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 45830 0 0 0 86651 115 0 0 25 0 4 0 1115277600 548753408 123303 4294967295 134512640 135305190 3213415360 3073350848 134528410 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=23330/tid=23333] ppid=23327 vsize=535892 CPUtime=867.15
/proc/23330/task/23333/stat : 23333 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 22679 0 0 0 86607 108 0 0 25 0 4 0 1115277600 548753408 123303 4294967295 134512640 135305190 3213415360 3064962240 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3481.04
Current children cumulated vsize (KiB) 538312

[startup+942.317 s]
/proc/loadavg: 4.18 4.25 4.36 7/102 26212
/proc/meminfo: memFree=2616708/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2420 CPUtime=11.6
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 370 20022 0 0 0 0 1140 20 18 0 1 0 1115276395 2478080 275 4294967295 134512640 135169312 3218684128 3218680344 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 605 275 231 161 0 44 0
[pid=23330] ppid=23327 vsize=547624 CPUtime=3709.11
/proc/23330/stat : 23330 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202496 126097 0 0 0 370412 499 0 0 25 0 4 0 1115277554 560766976 126033 4294967295 134512640 135305190 3213415360 3213413328 134547909 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/23330/statm: 136906 126033 79 194 0 136710 0
[pid=23330/tid=23331] ppid=23327 vsize=547624 CPUtime=927.72
/proc/23330/task/23331/stat : 23331 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 20721 0 0 0 92652 120 0 0 25 0 4 0 1115277600 560766976 126033 4294967295 134512640 135305190 3213415360 3081739456 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=23330/tid=23332] ppid=23327 vsize=547624 CPUtime=927.36
/proc/23330/task/23332/stat : 23332 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 47515 0 0 0 92614 122 0 0 25 0 4 0 1115277600 560766976 126033 4294967295 134512640 135305190 3213415360 3073350848 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=23330/tid=23333] ppid=23327 vsize=547624 CPUtime=927.1
/proc/23330/task/23333/stat : 23333 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 22680 0 0 0 92593 117 0 0 25 0 4 0 1115277600 560766976 126033 4294967295 134512640 135305190 3213415360 3064962240 134528263 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3720.71
Current children cumulated vsize (KiB) 550044



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.25 4.26 4.36 6/102 26413
/proc/meminfo: memFree=2608196/3368532 swapFree=1953788/1959888
[pid=23327] ppid=23325 vsize=2420 CPUtime=11.6
/proc/23327/stat : 23327 (manysat.sh) S 23325 23327 27966 0 -1 4194304 370 20022 0 0 0 0 1140 20 18 0 1 0 1115276395 2478080 275 4294967295 134512640 135169312 3218684128 3218680344 3085373166 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/23327/statm: 605 275 231 161 0 44 0
[pid=23330] ppid=23327 vsize=556584 CPUtime=3939.13
/proc/23330/stat : 23330 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202496 128156 0 0 0 393394 519 0 0 25 0 4 0 1115277554 569942016 128076 4294967295 134512640 135305190 3213415360 3213413400 134836461 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/23330/statm: 139146 128076 79 194 0 138950 0
[pid=23330/tid=23331] ppid=23327 vsize=556584 CPUtime=985.26
/proc/23330/task/23331/stat : 23331 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 20734 0 0 0 98401 125 0 0 25 0 4 0 1115277600 569942016 128076 4294967295 134512640 135305190 3213415360 3081739184 134557484 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=23330/tid=23332] ppid=23327 vsize=556584 CPUtime=984.99
/proc/23330/task/23332/stat : 23332 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 49324 0 0 0 98368 131 0 0 25 0 4 0 1115277600 569942016 128076 4294967295 134512640 135305190 3213415360 3073350848 134528399 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=23330/tid=23333] ppid=23327 vsize=556584 CPUtime=984.3
/proc/23330/task/23333/stat : 23333 (manysat1.1_stat) R 23327 23327 27966 0 -1 4202560 22750 0 0 0 98311 119 0 0 25 0 4 0 1115277600 569942016 128076 4294967295 134512640 135305190 3213415360 3064962240 134528399 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3950.73
Current children cumulated vsize (KiB) 559004

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 23327 and gives
#  childrusage.ru_utime.tv_sec=11
#  childrusage.ru_utime.tv_usec=400000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=200000
# CPU time returned by wait4() is 11.6
# while last known CPU time is 3950.73
#
# 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): 3950.73
CPU user time (s): 3945.34
CPU system time (s): 5.39
CPU usage (%): 395.052
Max. virtual memory (cumulated for all children) (KiB): 559004

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

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 12:22:03
IDJOB=1775989
IDBENCH=20409
IDSOLVER=623
FILE ID=/1775989-1243506123
PBS_JOBID=
Free space on /tmp= 6469 MiB

SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/palacios/hard/safe-30-h29-unsat.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775989-1243506123/watcher-1775989-1243506123 -o /tmp/evaluation-result-1775989-1243506123/solver-1775989-1243506123 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1775989-1243506123.cnf aimd 1

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

MD5SUM BENCH= 7cb48ce6f0320bc88623afd3c5af4aae
RANDOM SEED= 1884828117

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.061
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.061
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.12
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.061
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.14
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.061
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.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3149604 kB
Buffers:         35164 kB
Cached:          83672 kB
SwapCached:       2256 kB
Active:          68556 kB
Inactive:        59876 kB
HighTotal:     2489216 kB
HighFree:      2394420 kB
LowTotal:       879316 kB
LowFree:        755184 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:            9048 kB
Writeback:           0 kB
AnonPages:        8636 kB
Mapped:           3204 kB
Slab:            80732 kB
SReclaimable:    67168 kB
SUnreclaim:      13564 kB
PageTables:        464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88676 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6441 MiB
End job on  at 2009-05-28 12:38:45