Trace number 3220876

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
ppfolio seqUNSAT 319.261 319.269

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf
MD5SUMa22e1737ea83ac381c0ce023d3bc0e5e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark7.9028
Satisfiable
(Un)Satisfiability was proved
Number of variables75
Number of clauses1597
Sum of the clauses size7985
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 51597
Number of clauses of size over 50

Solver Data 

0.00/0.00	This is pico-portfolio, a naive parallel portfolio
0.00/0.00	Copyright (C) 2011 Olivier Roussel
0.00/0.00	Using 1 processing units
0.00/0.00	This portfolio uses the following solvers:
0.00/0.00	[1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00	[2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00	[3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00	Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00	Starting clasp 1.3.6 on core(s) 0
0.00/0.00	Starting TNM 2009 on core(s) 0
319.17/319.26	s UNSATISFIABLE
319.17/319.26	solver [2] clasp 1.3.6 answered
319.17/319.26	Done

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3220876-1303280015/watcher-3220876-1303280015 -o /tmp/evaluation-result-3220876-1303280015/solver-3220876-1303280015 -C 5000 -W 5000 -M 15500 ppfolio --nbcore=1 HOME/instance-3220876-1303280015.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.00 6.01 6.00 4/184 24822
/proc/meminfo: memFree=13234224/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 499 0 0 0 0 0 0 0 25 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 3845129055825264900 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0

[startup+0.00853494 s]
/proc/loadavg: 6.00 6.01 6.00 4/184 24822
/proc/meminfo: memFree=13234224/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 499 0 0 0 0 0 0 0 25 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 3845129055825264900 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100561 s]
/proc/loadavg: 6.00 6.01 6.00 4/184 24822
/proc/meminfo: memFree=13234224/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 499 0 0 0 0 0 0 0 25 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 3845129055825264900 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300516 s]
/proc/loadavg: 6.00 6.01 6.00 4/184 24822
/proc/meminfo: memFree=13234224/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 17 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700457 s]
/proc/loadavg: 6.00 6.01 6.00 4/184 24822
/proc/meminfo: memFree=13234224/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 11292241428102512640 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50027 s]
/proc/loadavg: 6.00 6.01 6.00 7/188 24826
/proc/meminfo: memFree=13230596/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 11292241702980419584 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1628404 CPUtime=0.49 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 1221 0 0 0 49 0 0 0 25 0 1 0 439599699 1667485696 797 33554432000 4194304 4587354 140737059012800 18446744073709551615 4243718 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 407101 797 327 96 0 403663 0
[pid=24824] ppid=24822 vsize=12968 CPUtime=0.44 cores=0
/proc/24824/stat : 24824 (clasp) R 24822 24822 23347 0 -1 4202496 692 0 0 0 44 0 0 0 25 0 1 0 439599699 13279232 584 33554432000 4194304 4785740 140735236342080 18446744073709551615 4287124 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/24824/statm: 3242 584 340 145 0 287 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=0.54 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 54 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134528955 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 2115520

[startup+3.10103 s]
/proc/loadavg: 6.00 6.01 6.00 7/188 24826
/proc/meminfo: memFree=13229844/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1629104 CPUtime=0.99 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 1780 0 0 0 99 0 0 0 25 0 1 0 439599699 1668202496 865 33554432000 4194304 4587354 140737059012800 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 407276 865 331 96 0 403838 0
[pid=24824] ppid=24822 vsize=13100 CPUtime=0.97 cores=0
/proc/24824/stat : 24824 (clasp) R 24822 24822 23347 0 -1 4202496 745 0 0 0 97 0 0 0 25 0 1 0 439599699 13414400 637 33554432000 4194304 4785740 140735236342080 18446744073709551615 4287088 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/24824/statm: 3275 637 340 145 0 320 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=1.12 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 112 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 2116352

[startup+6.30042 s]
/proc/loadavg: 6.00 6.01 6.00 7/188 24826
/proc/meminfo: memFree=13224264/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 11292239641396117504 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1710336 CPUtime=2.09 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 3355 0 0 0 209 0 0 0 25 0 1 0 439599699 1751384064 2094 33554432000 4194304 4587354 140737059012800 18446744073709551615 4231426 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 427584 2094 337 96 0 424146 0
[pid=24824] ppid=24822 vsize=13508 CPUtime=2.04 cores=0
/proc/24824/stat : 24824 (clasp) R 24822 24822 23347 0 -1 4202496 834 0 0 0 204 0 0 0 25 0 1 0 439599699 13832192 726 33554432000 4194304 4785740 140735236342080 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/24824/statm: 3377 726 340 145 0 422 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=2.14 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 214 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134530701 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 2197992

[startup+12.7003 s]
/proc/loadavg: 6.00 6.00 6.00 7/188 24826
/proc/meminfo: memFree=13221652/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 11292241702980419584 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1712688 CPUtime=4.19 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 5008 0 0 0 419 0 0 0 25 0 1 0 439599699 1753792512 2614 33554432000 4194304 4587354 140737059012800 18446744073709551615 4238752 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 428172 2614 337 96 0 424734 0
[pid=24824] ppid=24822 vsize=13936 CPUtime=4.16 cores=0
/proc/24824/stat : 24824 (clasp) R 24822 24822 23347 0 -1 4202496 939 0 0 0 416 0 0 0 25 0 1 0 439599699 14270464 831 33554432000 4194304 4785740 140735236342080 18446744073709551615 4287237 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/24824/statm: 3484 831 340 145 0 529 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=4.32 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 432 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134530568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 2200772

[startup+25.5011 s]
/proc/loadavg: 6.00 6.00 6.00 7/188 24827
/proc/meminfo: memFree=13220908/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 11292239778835070976 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1712928 CPUtime=8.49 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 7114 0 0 0 849 0 0 0 25 0 1 0 439599699 1754038272 2766 33554432000 4194304 4587354 140737059012800 18446744073709551615 4231407 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 428232 2766 337 96 0 424794 0
[pid=24824] ppid=24822 vsize=14492 CPUtime=8.44 cores=0
/proc/24824/stat : 24824 (clasp) R 24822 24822 23347 0 -1 4202496 1070 0 0 0 844 0 0 0 25 0 1 0 439599699 14839808 962 33554432000 4194304 4785740 140735236342080 18446744073709551615 4553388 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/24824/statm: 3623 962 340 145 0 668 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=8.54 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 854 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134530820 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2201568

[startup+51.1005 s]
/proc/loadavg: 6.00 6.00 6.00 7/188 24828
/proc/meminfo: memFree=13215512/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1716984 CPUtime=17.52 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 11088 0 0 0 1751 1 0 0 18 0 1 0 439599699 1758191616 3760 33554432000 4194304 4587354 140737059012800 18446744073709551615 4236638 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 429246 3760 337 96 0 425808 0
[pid=24824] ppid=24822 vsize=15092 CPUtime=16.74 cores=0
/proc/24824/stat : 24824 (clasp) R 24822 24822 23347 0 -1 4202496 1235 0 0 0 1674 0 0 0 25 0 1 0 439599699 15454208 1127 33554432000 4194304 4785740 140735236342080 18446744073709551615 4553366 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/24824/statm: 3773 1127 340 145 0 818 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=16.82 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 1682 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134530632 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2206224

[startup+102.306 s]
/proc/loadavg: 6.00 6.00 6.00 7/188 24829
/proc/meminfo: memFree=13206504/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 11292241428102512640 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1728864 CPUtime=34.62 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 17917 0 0 0 3459 3 0 0 25 0 1 0 439599699 1770356736 5836 33554432000 4194304 4587354 140737059012800 18446744073709551615 4238622 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 432216 5836 337 96 0 428778 0
[pid=24824] ppid=24822 vsize=16280 CPUtime=33.74 cores=0
/proc/24824/stat : 24824 (clasp) R 24822 24822 23347 0 -1 4202496 1474 0 0 0 3374 0 0 0 25 0 1 0 439599699 16670720 1366 33554432000 4194304 4785740 140735236342080 18446744073709551615 4312619 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/24824/statm: 4070 1366 340 145 0 1115 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=33.91 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 3391 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2219292

[startup+162.301 s]
/proc/loadavg: 6.00 6.00 6.00 7/188 24830
/proc/meminfo: memFree=13205240/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 11292239641396117504 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1726084 CPUtime=54.62 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 23542 0 0 0 5459 3 0 0 25 0 1 0 439599699 1767510016 5873 33554432000 4194304 4587354 140737059012800 18446744073709551615 4243345 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 431521 5873 337 96 0 428083 0
[pid=24824] ppid=24822 vsize=17196 CPUtime=53.73 cores=0

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

/proc/24824/statm: 4454 1733 340 145 0 1499 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=73.91 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 7391 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134528464 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 2228772

[startup+282.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/188 24834
/proc/meminfo: memFree=13193524/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 11292239641396117504 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1733968 CPUtime=94.64 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 33936 0 0 0 9459 5 0 0 25 0 1 0 439599699 1775583232 8068 33554432000 4194304 4587354 140737059012800 18446744073709551615 4238481 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 433492 8068 337 96 0 430054 0
[pid=24824] ppid=24822 vsize=18248 CPUtime=93.73 cores=0
/proc/24824/stat : 24824 (clasp) R 24822 24822 23347 0 -1 4202496 1959 0 0 0 9372 1 0 0 25 0 1 0 439599699 18685952 1851 33554432000 4194304 4785740 140735236342080 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/24824/statm: 4562 1851 340 145 0 1607 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=93.9 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 9390 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134528891 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 2226364

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

[startup+294.301 s]
/proc/loadavg: 6.07 6.02 6.00 7/188 24834
/proc/meminfo: memFree=13195380/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 11292239641396117504 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1733992 CPUtime=98.64 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 34953 0 0 0 9859 5 0 0 25 0 1 0 439599699 1775607808 7882 33554432000 4194304 4587354 140737059012800 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 433498 7882 337 96 0 430060 0
[pid=24824] ppid=24822 vsize=18416 CPUtime=97.73 cores=0
/proc/24824/stat : 24824 (clasp) R 24822 24822 23347 0 -1 4202496 1980 0 0 0 9772 1 0 0 25 0 1 0 439599699 18857984 1872 33554432000 4194304 4785740 140735236342080 18446744073709551615 4287190 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/24824/statm: 4604 1872 341 145 0 1649 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=97.9 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 9790 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134529896 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 294.27
Current children cumulated vsize (KiB) 2226556

[startup+307.101 s]
/proc/loadavg: 6.06 6.01 6.00 7/188 24834
/proc/meminfo: memFree=13196120/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 11292239641396117504 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1734064 CPUtime=102.87 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 36052 0 0 0 10282 5 0 0 25 0 1 0 439599699 1775681536 7717 33554432000 4194304 4587354 140737059012800 18446744073709551615 4238522 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 433516 7717 337 96 0 430078 0
[pid=24824] ppid=24822 vsize=18416 CPUtime=102.03 cores=0
/proc/24824/stat : 24824 (clasp) R 24822 24822 23347 0 -1 4202496 1982 0 0 0 10202 1 0 0 25 0 1 0 439599699 18857984 1874 33554432000 4194304 4785740 140735236342080 18446744073709551615 4277604 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/24824/statm: 4604 1874 341 145 0 1649 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=102.16 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 10216 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134530151 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 307.06
Current children cumulated vsize (KiB) 2226628

[startup+313.507 s]
/proc/loadavg: 6.05 6.01 6.00 7/188 24834
/proc/meminfo: memFree=13194756/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 11292239641396117504 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1734064 CPUtime=105.04 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 36353 0 0 0 10499 5 0 0 25 0 1 0 439599699 1775681536 7998 33554432000 4194304 4587354 140737059012800 18446744073709551615 4238571 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 433516 7998 337 96 0 430078 0
[pid=24824] ppid=24822 vsize=18416 CPUtime=104.13 cores=0
/proc/24824/stat : 24824 (clasp) R 24822 24822 23347 0 -1 4202496 1994 0 0 0 10412 1 0 0 25 0 1 0 439599699 18857984 1886 33554432000 4194304 4785740 140735236342080 18446744073709551615 4277643 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/24824/statm: 4604 1886 341 145 0 1649 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=104.3 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 10430 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 313.47
Current children cumulated vsize (KiB) 2226628

[startup+316.701 s]
/proc/loadavg: 6.13 6.03 6.01 7/188 24835
/proc/meminfo: memFree=13194136/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 11292239641396117504 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1734064 CPUtime=106.07 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 36484 0 0 0 10602 5 0 0 25 0 1 0 439599699 1775681536 8119 33554432000 4194304 4587354 140737059012800 18446744073709551615 4238778 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 433516 8119 337 96 0 430078 0
[pid=24824] ppid=24822 vsize=18416 CPUtime=105.23 cores=0
/proc/24824/stat : 24824 (clasp) R 24822 24822 23347 0 -1 4202496 1995 0 0 0 10522 1 0 0 25 0 1 0 439599699 18857984 1887 33554432000 4194304 4785740 140735236342080 18446744073709551615 4287019 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/24824/statm: 4604 1887 341 145 0 1649 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=105.37 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 10537 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134528902 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 316.67
Current children cumulated vsize (KiB) 2226628

[startup+318.301 s]
/proc/loadavg: 6.13 6.03 6.01 7/188 24835
/proc/meminfo: memFree=13193888/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 11292239641396117504 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1734064 CPUtime=106.64 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 36554 0 0 0 10659 5 0 0 25 0 1 0 439599699 1775681536 8186 33554432000 4194304 4587354 140737059012800 18446744073709551615 4238455 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 433516 8186 337 96 0 430078 0
[pid=24824] ppid=24822 vsize=18416 CPUtime=105.73 cores=0
/proc/24824/stat : 24824 (clasp) R 24822 24822 23347 0 -1 4202496 1995 0 0 0 10572 1 0 0 25 0 1 0 439599699 18857984 1887 33554432000 4194304 4785740 140735236342080 18446744073709551615 4277711 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/24824/statm: 4604 1887 341 145 0 1649 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=105.9 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 10590 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134528944 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 318.27
Current children cumulated vsize (KiB) 2226628

[startup+318.701 s]
/proc/loadavg: 6.13 6.03 6.01 7/188 24835
/proc/meminfo: memFree=13193888/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 11292239641396117504 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1734064 CPUtime=106.77 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 36570 0 0 0 10672 5 0 0 25 0 1 0 439599699 1775681536 8201 33554432000 4194304 4587354 140737059012800 18446744073709551615 4238778 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 433516 8201 337 96 0 430078 0
[pid=24824] ppid=24822 vsize=18416 CPUtime=105.89 cores=0
/proc/24824/stat : 24824 (clasp) R 24822 24822 23347 0 -1 4202496 1995 0 0 0 10588 1 0 0 25 0 1 0 439599699 18857984 1887 33554432000 4194304 4785740 140735236342080 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/24824/statm: 4604 1887 341 145 0 1649 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=106 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 10600 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134528511 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 318.66
Current children cumulated vsize (KiB) 2226628

[startup+319.101 s]
/proc/loadavg: 6.13 6.03 6.01 7/188 24835
/proc/meminfo: memFree=13193764/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 11292239641396117504 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1734064 CPUtime=106.87 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 36582 0 0 0 10682 5 0 0 25 0 1 0 439599699 1775681536 8213 33554432000 4194304 4587354 140737059012800 18446744073709551615 4238431 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 433516 8213 337 96 0 430078 0
[pid=24824] ppid=24822 vsize=18416 CPUtime=106.03 cores=0
/proc/24824/stat : 24824 (clasp) R 24822 24822 23347 0 -1 4202496 1995 0 0 0 10602 1 0 0 25 0 1 0 439599699 18857984 1887 33554432000 4194304 4785740 140735236342080 18446744073709551615 4287058 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/24824/statm: 4604 1887 341 145 0 1649 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=106.16 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 10616 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134528464 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 319.06
Current children cumulated vsize (KiB) 2226628

[startup+319.201 s]
/proc/loadavg: 6.13 6.03 6.01 7/188 24835
/proc/meminfo: memFree=13193764/32951124 swapFree=67111528/67111528
[pid=24822] ppid=24820 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/24822/stat : 24822 (ppfolio) S 24820 24822 23347 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439599699 18763776 394 33554432000 4194304 4287625 140733451734976 18446744073709551615 232335912463 0 0 4096 65536 11292239641396117504 0 0 17 2 0 0 0
/proc/24822/statm: 4581 394 345 23 0 91 0
[pid=24823] ppid=24822 vsize=1734064 CPUtime=106.94 cores=0
/proc/24823/stat : 24823 (cryptominisat) R 24822 24822 23347 0 -1 4202496 36590 0 0 0 10689 5 0 0 25 0 1 0 439599699 1775681536 8220 33554432000 4194304 4587354 140737059012800 18446744073709551615 4238611 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24823/statm: 433516 8220 337 96 0 430078 0
[pid=24824] ppid=24822 vsize=18416 CPUtime=106.03 cores=0
/proc/24824/stat : 24824 (clasp) R 24822 24822 23347 0 -1 4202496 1995 0 0 0 10602 1 0 0 25 0 1 0 439599699 18857984 1887 33554432000 4194304 4785740 140735236342080 18446744073709551615 4287058 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/24824/statm: 4604 1887 341 145 0 1649 0
[pid=24825] ppid=24822 vsize=455824 CPUtime=106.2 cores=0
/proc/24825/stat : 24825 (TNM) R 24822 24822 23347 0 -1 4202496 316 0 0 0 10620 0 0 0 25 0 1 0 439599699 466763776 213 33554432000 134512640 134534564 4292156240 18446744073709551615 134530144 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24825/statm: 113956 213 95 6 0 112622 0
Current children cumulated CPU time (s) 319.17
Current children cumulated vsize (KiB) 2226628

Child status: 0
Real time (s): 319.269
CPU time (s): 319.261
CPU user time (s): 319.185
CPU system time (s): 0.075988
CPU usage (%): 99.9977
Max. virtual memory (cumulated for all children) (KiB): 3919876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 319.185
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39443
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= 153
involuntary context switches= 3628

runsolver used 0.601908 second user time and 1.13183 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-20 08:13:35
IDJOB=3220876
IDBENCH=82829
IDSOLVER=1639
FILE ID=node132/3220876-1303280015
RUNJOBID= node132-1303262095-23365
PBS_JOBID= 13049525
Free space on /tmp= 72916 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3220876-1303280015/watcher-3220876-1303280015 -o /tmp/evaluation-result-3220876-1303280015/solver-3220876-1303280015 -C 5000 -W 5000 -M 15500  ppfolio --nbcore=1 HOME/instance-3220876-1303280015.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a22e1737ea83ac381c0ce023d3bc0e5e
RANDOM SEED=442900871

node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13234380 kB
Buffers:        697420 kB
Cached:       18477544 kB
SwapCached:          0 kB
Active:        7878864 kB
Inactive:     11470824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13234380 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10112 kB
Writeback:           0 kB
AnonPages:      174696 kB
Mapped:          16468 kB
Slab:           304780 kB
PageTables:       4988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1317592 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72904 MiB
End job on node132 at 2011-04-20 08:18:55