Trace number 1775776

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 0/2009-03-20 (4 threads)? (TO) 3969.95 1000.04

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
MD5SUMc2f768afbb9db3d5f5133c3f48734894
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 variables217930
Number of clauses1002997
Sum of the clauses size2303180
Maximum clause length10
Minimum clause length1
Number of clauses of size 116378
Number of clauses of size 2795155
Number of clauses of size 3150764
Number of clauses of size 44520
Number of clauses of size 518080
Number of clauses of size over 518100

Solver Data 

0.00/0.01	c Parsing...
0.70/0.76	c ==============================================================================
0.70/0.76	c |           |     ORIGINAL     |              LEARNT              |          |
0.70/0.76	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.70/0.76	c ==============================================================================
0.70/0.76	c |         0 |  985541  2284533 |  295662       0        0     nan |  0.000 % |
5.29/5.34	c |         0 |  590731  1617848 |      --       0       --      -- |     --   | -181197/-182944
5.29/5.34	c ==============================================================================
5.29/5.34	c Result  :   #vars: 105677   #clauses: 590731   #literals: 1617848
5.29/5.34	c CPU time:   5.1 s
5.29/5.34	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-1775776-1243501500/watcher-1775776-1243501500 -o /tmp/evaluation-result-1775776-1243501500/solver-1775776-1243501500 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775776-1243501500.cnf aimd 0 

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.29 4.53 4.35 4/100 607
/proc/meminfo: memFree=3168744/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2416 CPUtime=0
/proc/606/stat : 606 (manysat.sh) R 604 606 19648 0 -1 4194304 334 0 0 0 0 0 0 0 19 0 1 0 1114814557 2473984 274 4294967295 134512640 135169312 3215095152 3215093628 3085162356 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/606/statm: 604 274 231 161 0 43 0
[pid=607] ppid=606 vsize=5172 CPUtime=0.02
/proc/607/stat : 607 (SatElite) R 606 606 19648 0 -1 4202496 1145 0 0 0 2 0 0 0 19 0 1 0 1114814557 5296128 1081 4294967295 134512640 135034092 3218569344 3218565336 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/607/statm: 1293 1081 49 128 0 1163 0

[startup+0.084816 s]
/proc/loadavg: 4.29 4.53 4.35 4/100 607
/proc/meminfo: memFree=3168744/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2416 CPUtime=0
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 1114814557 2473984 274 4294967295 134512640 135169312 3215095152 3215093688 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 604 274 231 161 0 43 0
[pid=607] ppid=606 vsize=22064 CPUtime=0.08
/proc/607/stat : 607 (SatElite) R 606 606 19648 0 -1 4202496 4796 0 0 0 5 3 0 0 23 0 1 0 1114814557 22593536 4732 4294967295 134512640 135034092 3218569344 3218565304 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/607/statm: 5516 4734 49 128 0 5386 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24480

[startup+0.104812 s]
/proc/loadavg: 4.29 4.53 4.35 4/100 607
/proc/meminfo: memFree=3168744/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2416 CPUtime=0
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 1114814557 2473984 274 4294967295 134512640 135169312 3215095152 3215093688 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 604 274 231 161 0 43 0
[pid=607] ppid=606 vsize=37112 CPUtime=0.1
/proc/607/stat : 607 (SatElite) R 606 606 19648 0 -1 4202496 6200 0 0 0 7 3 0 0 23 0 1 0 1114814557 38002688 6136 4294967295 134512640 135034092 3218569344 3218565688 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/607/statm: 9278 6136 49 128 0 9148 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 39528

[startup+0.304795 s]
/proc/loadavg: 4.29 4.53 4.35 4/100 607
/proc/meminfo: memFree=3168744/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2416 CPUtime=0
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 1114814557 2473984 274 4294967295 134512640 135169312 3215095152 3215093688 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 604 274 231 161 0 43 0
[pid=607] ppid=606 vsize=58200 CPUtime=0.3
/proc/607/stat : 607 (SatElite) R 606 606 19648 0 -1 4202496 12891 0 0 0 23 7 0 0 24 0 1 0 1114814557 59596800 12827 4294967295 134512640 135034092 3218569344 3218565304 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/607/statm: 14550 12828 49 128 0 14420 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 60616

[startup+0.704756 s]
/proc/loadavg: 4.29 4.53 4.35 4/100 607
/proc/meminfo: memFree=3168744/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2416 CPUtime=0
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 1114814557 2473984 274 4294967295 134512640 135169312 3215095152 3215093688 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 604 274 231 161 0 43 0
[pid=607] ppid=606 vsize=93652 CPUtime=0.7
/proc/607/stat : 607 (SatElite) R 606 606 19648 0 -1 4202496 22280 0 0 0 60 10 0 0 25 0 1 0 1114814557 95899648 22216 4294967295 134512640 135034092 3218569344 3218566736 134542678 0 0 0 3 0 0 0 17 1 0 0 0
/proc/607/statm: 23413 22216 50 128 0 23283 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 96068

[startup+1.50468 s]
/proc/loadavg: 4.29 4.53 4.35 2/101 608
/proc/meminfo: memFree=3076984/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2416 CPUtime=0
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 1114814557 2473984 274 4294967295 134512640 135169312 3215095152 3215093688 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 604 274 231 161 0 43 0
[pid=607] ppid=606 vsize=115136 CPUtime=1.5
/proc/607/stat : 607 (SatElite) R 606 606 19648 0 -1 4202496 28205 0 0 0 135 15 0 0 25 0 1 0 1114814557 117899264 25716 4294967295 134512640 135034092 3218569344 3218565340 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/607/statm: 28784 25716 67 128 0 28654 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 117552

[startup+3.10453 s]
/proc/loadavg: 4.29 4.53 4.35 2/101 792
/proc/meminfo: memFree=3062716/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2416 CPUtime=0
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 1114814557 2473984 274 4294967295 134512640 135169312 3215095152 3215093688 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 604 274 231 161 0 43 0
[pid=607] ppid=606 vsize=134120 CPUtime=3.09
/proc/607/stat : 607 (SatElite) R 606 606 19648 0 -1 4202496 31605 0 0 0 292 17 0 0 25 0 1 0 1114814557 137338880 28563 4294967295 134512640 135034092 3218569344 3218565536 134541373 0 0 0 3 0 0 0 17 1 0 0 0
/proc/607/statm: 33530 28563 67 128 0 33400 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 136536

[startup+6.30422 s]
/proc/loadavg: 4.02 4.47 4.34 2/101 793
/proc/meminfo: memFree=3057168/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 2420

[startup+12.7036 s]
/proc/loadavg: 4.02 4.46 4.33 8/104 798
/proc/meminfo: memFree=2989940/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=204272 CPUtime=22.62
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 41446 0 0 0 2222 40 0 0 16 0 4 0 1114815163 209174528 41293 4294967295 134512640 135305190 3216318096 3216315988 134695249 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/794/statm: 51068 41293 79 194 0 50872 0
[pid=794/tid=795] ppid=606 vsize=204272 CPUtime=5.36
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 758 0 0 0 532 4 0 0 17 0 4 0 1114815281 209174528 41293 4294967295 134512640 135305190 3216318096 3031780612 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=794/tid=796] ppid=606 vsize=204272 CPUtime=5.39
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 779 0 0 0 533 6 0 0 16 0 4 0 1114815281 209174528 41293 4294967295 134512640 135305190 3216318096 3023391616 134552874 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=794/tid=797] ppid=606 vsize=204272 CPUtime=5.34
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 696 0 0 0 529 5 0 0 16 0 4 0 1114815283 209174528 41293 4294967295 134512640 135305190 3216318096 3015003328 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 28.66
Current children cumulated vsize (KiB) 206692

[startup+25.5024 s]
/proc/loadavg: 4.22 4.49 4.34 5/104 798
/proc/meminfo: memFree=2973604/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=220328 CPUtime=73.74
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 45658 0 0 0 7327 47 0 0 25 0 4 0 1114815163 225615872 45505 4294967295 134512640 135305190 3216318096 3216316272 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/794/statm: 55082 45505 79 194 0 54886 0
[pid=794/tid=795] ppid=606 vsize=220328 CPUtime=18.14
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 1548 0 0 0 1808 6 0 0 25 0 4 0 1114815281 225615872 45505 4294967295 134512640 135305190 3216318096 3031780020 134839991 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=794/tid=796] ppid=606 vsize=220328 CPUtime=18.16
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 1915 0 0 0 1806 10 0 0 25 0 4 0 1114815281 225615872 45505 4294967295 134512640 135305190 3216318096 3023391936 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=794/tid=797] ppid=606 vsize=220328 CPUtime=18.14
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 1528 0 0 0 1809 5 0 0 25 0 4 0 1114815283 225615872 45505 4294967295 134512640 135305190 3216318096 3015003328 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 79.78
Current children cumulated vsize (KiB) 222748

[startup+51.12 s]
/proc/loadavg: 4.22 4.46 4.34 5/104 805
/proc/meminfo: memFree=2922224/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=272548 CPUtime=176.05
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 58790 0 0 0 17537 68 0 0 25 0 4 0 1114815163 279089152 58637 4294967295 134512640 135305190 3216318096 3216316272 134528189 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/794/statm: 68137 58637 79 194 0 67941 0
[pid=794/tid=795] ppid=606 vsize=272548 CPUtime=43.76
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 3956 0 0 0 4370 6 0 0 25 0 4 0 1114815281 279089152 58637 4294967295 134512640 135305190 3216318096 3031780544 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=794/tid=796] ppid=606 vsize=272548 CPUtime=43.61
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 5055 0 0 0 4340 21 0 0 25 0 4 0 1114815281 279089152 58637 4294967295 134512640 135305190 3216318096 3023391936 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=794/tid=797] ppid=606 vsize=272548 CPUtime=43.76
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 4517 0 0 0 4362 14 0 0 25 0 4 0 1114815283 279089152 58637 4294967295 134512640 135305190 3216318096 3015002992 134551653 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 182.09
Current children cumulated vsize (KiB) 274968

[startup+102.315 s]
/proc/loadavg: 4.40 4.47 4.35 5/104 1000
/proc/meminfo: memFree=2839268/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=353704 CPUtime=380.31
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 79015 0 0 0 37934 97 0 0 25 0 4 0 1114815163 362192896 78862 4294967295 134512640 135305190 3216318096 3216315936 134551653 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/794/statm: 88426 78862 79 194 0 88230 0
[pid=794/tid=795] ppid=606 vsize=353704 CPUtime=94.86
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 7427 0 0 0 9476 10 0 0 25 0 4 0 1114815281 362192896 78862 4294967295 134512640 135305190 3216318096 3031780544 134528195 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=794/tid=796] ppid=606 vsize=353704 CPUtime=94.6
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 11304 0 0 0 9436 24 0 0 25 0 4 0 1114815281 362192896 78862 4294967295 134512640 135305190 3216318096 3023391936 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=797] ppid=606 vsize=353704 CPUtime=94.76
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 8786 0 0 0 9449 27 0 0 25 0 4 0 1114815283 362192896 78862 4294967295 134512640 135305190 3216318096 3015002980 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 386.35
Current children cumulated vsize (KiB) 356124

[startup+162.309 s]
/proc/loadavg: 4.41 4.46 4.35 5/104 1191
/proc/meminfo: memFree=2776168/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=418664 CPUtime=619.82
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 94967 0 0 0 61867 115 0 0 25 0 4 0 1114815163 428711936 94814 4294967295 134512640 135305190 3216318096 3216316216 134840070 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/794/statm: 104666 94814 79 194 0 104470 0
[pid=794/tid=795] ppid=606 vsize=418664 CPUtime=154.75
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 10256 0 0 0 15461 14 0 0 25 0 4 0 1114815281 428711936 94814 4294967295 134512640 135305190 3216318096 3031780272 134557342 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=794/tid=796] ppid=606 vsize=418664 CPUtime=154.53
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 16206 0 0 0 15423 30 0 0 25 0 4 0 1114815281 428711936 94814 4294967295 134512640 135305190 3216318096 3023391880 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=794/tid=797] ppid=606 vsize=418664 CPUtime=154.64
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 12239 0 0 0 15431 33 0 0 25 0 4 0 1114815283 428711936 94815 4294967295 134512640 135305190 3216318096 3015003076 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 625.86
Current children cumulated vsize (KiB) 421084

[startup+222.314 s]
/proc/loadavg: 4.48 4.46 4.36 5/104 1378
/proc/meminfo: memFree=2714360/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=481028 CPUtime=859.42

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

/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 29370 0 0 0 51316 72 0 0 25 0 4 0 1114815283 772370432 178836 4294967295 134512640 135305190 3216318096 3015003328 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2063.13
Current children cumulated vsize (KiB) 756688

[startup+582.309 s]
/proc/loadavg: 4.45 4.46 4.38 5/104 2514
/proc/meminfo: memFree=2373308/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=821372 CPUtime=2296.39
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 195695 0 0 0 229337 302 0 0 25 0 4 0 1114815163 841084928 195542 4294967295 134512640 135305190 3216318096 3216316272 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/794/statm: 205343 195542 79 194 0 205147 0
[pid=794/tid=795] ppid=606 vsize=821372 CPUtime=573.74
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 28714 0 0 0 57310 64 0 0 25 0 4 0 1114815281 841084928 195542 4294967295 134512640 135305190 3216318096 3031780208 134551712 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=796] ppid=606 vsize=821372 CPUtime=573.84
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 49607 0 0 0 57309 75 0 0 25 0 4 0 1114815281 841084928 195542 4294967295 134512640 135305190 3216318096 3023391936 134528410 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=794/tid=797] ppid=606 vsize=821372 CPUtime=573.62
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 33152 0 0 0 57284 78 0 0 25 0 4 0 1114815283 841084928 195542 4294967295 134512640 135305190 3216318096 3015003328 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2302.43
Current children cumulated vsize (KiB) 823792

[startup+642.314 s]
/proc/loadavg: 4.36 4.42 4.37 6/104 2709
/proc/meminfo: memFree=2318368/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=875736 CPUtime=2535.92
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 209073 0 0 0 253263 329 0 0 25 0 4 0 1114815163 896753664 208920 4294967295 134512640 135305190 3216318096 3216316272 134528410 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/794/statm: 218934 208920 79 194 0 218738 0
[pid=794/tid=795] ppid=606 vsize=875736 CPUtime=633.7
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 31403 0 0 0 63301 69 0 0 25 0 4 0 1114815281 896753664 208920 4294967295 134512640 135305190 3216318096 3031780544 134530579 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=796] ppid=606 vsize=875736 CPUtime=633.81
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 52819 0 0 0 63301 80 0 0 25 0 4 0 1114815281 896753664 208920 4294967295 134512640 135305190 3216318096 3023391936 134528195 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=794/tid=797] ppid=606 vsize=875736 CPUtime=633.35
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 36605 0 0 0 63250 85 0 0 25 0 4 0 1114815283 896753664 208920 4294967295 134512640 135305190 3216318096 3015003328 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2541.96
Current children cumulated vsize (KiB) 878156

[startup+702.308 s]
/proc/loadavg: 4.44 4.43 4.37 5/104 2898
/proc/meminfo: memFree=2271756/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=923636 CPUtime=2775.47
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 221089 0 0 0 277189 358 0 0 25 0 4 0 1114815163 945803264 220936 4294967295 134512640 135305190 3216318096 3216315936 134551709 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/794/statm: 230909 220936 79 194 0 230713 0
[pid=794/tid=795] ppid=606 vsize=923636 CPUtime=693.64
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 33944 0 0 0 69284 80 0 0 25 0 4 0 1114815281 945803264 220936 4294967295 134512640 135305190 3216318096 3031780544 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=796] ppid=606 vsize=923636 CPUtime=693.66
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 55882 0 0 0 69281 85 0 0 25 0 4 0 1114815281 945803264 220936 4294967295 134512640 135305190 3216318096 3023391880 134839991 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=794/tid=797] ppid=606 vsize=923636 CPUtime=693.17
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 39293 0 0 0 69226 91 0 0 25 0 4 0 1114815283 945803264 220936 4294967295 134512640 135305190 3216318096 3015003328 134528252 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2781.51
Current children cumulated vsize (KiB) 926056

[startup+762.312 s]
/proc/loadavg: 4.36 4.40 4.36 5/104 3090
/proc/meminfo: memFree=2246456/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=946944 CPUtime=3015.07
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 227112 0 0 0 301129 378 0 0 25 0 4 0 1114815163 969670656 226959 4294967295 134512640 135305190 3216318096 3216316260 134570388 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/794/statm: 236736 226959 79 194 0 236540 0
[pid=794/tid=795] ppid=606 vsize=946944 CPUtime=753.59
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 35200 0 0 0 75273 86 0 0 25 0 4 0 1114815281 969670656 226959 4294967295 134512640 135305190 3216318096 3031780544 134528512 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=796] ppid=606 vsize=946944 CPUtime=753.52
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 57392 0 0 0 75264 88 0 0 25 0 4 0 1114815281 969670656 226959 4294967295 134512640 135305190 3216318096 3023391936 134528410 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=794/tid=797] ppid=606 vsize=946944 CPUtime=753.04
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 40757 0 0 0 75209 95 0 0 25 0 4 0 1114815283 969670656 226959 4294967295 134512640 135305190 3216318096 3015003328 134528406 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3021.11
Current children cumulated vsize (KiB) 949364

[startup+822.307 s]
/proc/loadavg: 4.38 4.40 4.36 5/104 3283
/proc/meminfo: memFree=2199608/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=995660 CPUtime=3254.51
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 239213 0 0 0 325051 400 0 0 25 0 4 0 1114815163 1019555840 239060 4294967295 134512640 135305190 3216318096 3216316272 134528341 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/794/statm: 248915 239060 79 194 0 248719 0
[pid=794/tid=795] ppid=606 vsize=995660 CPUtime=813.43
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 37374 0 0 0 81253 90 0 0 25 0 4 0 1114815281 1019555840 239060 4294967295 134512640 135305190 3216318096 3031780544 134528341 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=796] ppid=606 vsize=995660 CPUtime=813.37
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 61322 0 0 0 81241 96 0 0 25 0 4 0 1114815281 1019555840 239060 4294967295 134512640 135305190 3216318096 3023391880 134839991 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=794/tid=797] ppid=606 vsize=995660 CPUtime=812.97
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 43603 0 0 0 81196 101 0 0 25 0 4 0 1114815283 1019555840 239060 4294967295 134512640 135305190 3216318096 3015003328 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3260.55
Current children cumulated vsize (KiB) 998080

[startup+882.311 s]
/proc/loadavg: 4.49 4.42 4.37 5/104 3491
/proc/meminfo: memFree=2096004/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=1097676 CPUtime=3493.99
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 264585 0 0 0 348967 432 0 0 25 0 4 0 1114815163 1124020224 264432 4294967295 134512640 135305190 3216318096 3216316272 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/794/statm: 274419 264432 79 194 0 274223 0
[pid=794/tid=795] ppid=606 vsize=1097676 CPUtime=873.16
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 42520 0 0 0 87220 96 0 0 25 0 4 0 1114815281 1124020224 264432 4294967295 134512640 135305190 3216318096 3031780544 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=796] ppid=606 vsize=1097676 CPUtime=873.36
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 69071 0 0 0 87234 102 0 0 25 0 4 0 1114815281 1124020224 264432 4294967295 134512640 135305190 3216318096 3023391936 134528571 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=794/tid=797] ppid=606 vsize=1097676 CPUtime=872.94
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 49034 0 0 0 87178 116 0 0 25 0 4 0 1114815283 1124020224 264432 4294967295 134512640 135305190 3216318096 3015003328 134528545 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3500.03
Current children cumulated vsize (KiB) 1100096

[startup+942.315 s]
/proc/loadavg: 4.53 4.44 4.38 5/104 3686
/proc/meminfo: memFree=2094672/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=1099684 CPUtime=3733.58
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 264920 0 0 0 372911 447 0 0 25 0 4 0 1114815163 1126076416 264767 4294967295 134512640 135305190 3216318096 3216315936 134551614 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/794/statm: 274921 264767 79 194 0 274725 0
[pid=794/tid=795] ppid=606 vsize=1099684 CPUtime=932.93
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 42533 0 0 0 93193 100 0 0 25 0 4 0 1114815281 1126076416 264767 4294967295 134512640 135305190 3216318096 3031780208 134551782 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=796] ppid=606 vsize=1099684 CPUtime=933.36
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 69371 0 0 0 93232 104 0 0 25 0 4 0 1114815281 1126076416 264767 4294967295 134512640 135305190 3216318096 3023391936 134528406 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=794/tid=797] ppid=606 vsize=1099684 CPUtime=932.86
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 49037 0 0 0 93164 122 0 0 25 0 4 0 1114815283 1126076416 264767 4294967295 134512640 135305190 3216318096 3015003328 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3739.62
Current children cumulated vsize (KiB) 1102104



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.35 4.41 4.36 5/104 3874
/proc/meminfo: memFree=2065640/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=1128364 CPUtime=3963.91
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 272233 0 0 0 395917 474 0 0 25 0 4 0 1114815163 1155444736 272080 4294967295 134512640 135305190 3216318096 3216315936 134551671 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/794/statm: 282091 272080 79 194 0 281895 0
[pid=794/tid=795] ppid=606 vsize=1128364 CPUtime=990.54
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 44062 0 0 0 98944 110 0 0 25 0 4 0 1114815281 1155444736 272080 4294967295 134512640 135305190 3216318096 3031780544 134530638 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=796] ppid=606 vsize=1128364 CPUtime=990.83
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 71208 0 0 0 98972 111 0 0 25 0 4 0 1114815281 1155444736 272080 4294967295 134512640 135305190 3216318096 3023391936 134530691 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=794/tid=797] ppid=606 vsize=1128364 CPUtime=990.57
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 50839 0 0 0 98928 129 0 0 25 0 4 0 1114815283 1155444736 272080 4294967295 134512640 135305190 3216318096 3015003328 134528265 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3969.95
Current children cumulated vsize (KiB) 1130784

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 606 and gives
#  childrusage.ru_utime.tv_sec=5
#  childrusage.ru_utime.tv_usec=750000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=290000
# CPU time returned by wait4() is 6.04
# while last known CPU time is 3969.95
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1000.04
CPU time (s): 3969.95
CPU user time (s): 3964.92
CPU system time (s): 5.03
CPU usage (%): 396.979
Max. virtual memory (cumulated for all children) (KiB): 1130784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.75
system time used= 0.29
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42438
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= 4
involuntary context switches= 688

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 11:05:00
IDJOB=1775776
IDBENCH=20385
IDSOLVER=620
FILE ID=/1775776-1243501500
PBS_JOBID=
Free space on /tmp= 15867 MiB

SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-15-u.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775776-1243501500/watcher-1775776-1243501500 -o /tmp/evaluation-result-1775776-1243501500/solver-1775776-1243501500 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1775776-1243501500.cnf aimd 0

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

MD5SUM BENCH= c2f768afbb9db3d5f5133c3f48734894
RANDOM SEED= 1416882969

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.11
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3173036 kB
Buffers:         13684 kB
Cached:         108660 kB
SwapCached:       2424 kB
Active:          87600 kB
Inactive:        45504 kB
HighTotal:     2489216 kB
HighFree:      2367808 kB
LowTotal:       879316 kB
LowFree:        805228 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:           19676 kB
Writeback:           0 kB
AnonPages:       10100 kB
Mapped:           4940 kB
Slab:            53316 kB
SReclaimable:    45284 kB
SUnreclaim:       8032 kB
PageTables:        536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93920 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15850 MiB
End job on  at 2009-05-28 11:21:44