Trace number 3696142

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
pb2sat 2012-05-19? (TO) 1800.07 1801.72

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_9.opb
MD5SUM796ce15de170aa64363741766a49999c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3179263
Best CPU time to get the best result obtained on this benchmark1801.45
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 143055667
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 44011059162
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 143055667
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 44011059162
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.85	c model valid
0.00/0.85	c current solution ok
1.27/1.33	o 272718751
1.27/1.33	c current bound: 136359400
1.27/1.33	c fallback to adder encoding
3.58/3.61	c model valid
3.58/3.61	c current solution ok
3.68/4.57	o 125843067
3.68/4.57	c current bound: 62921558
3.68/4.57	c fallback to adder encoding
6.57/7.43	c model valid
6.57/7.43	c current solution ok
6.57/7.45	o 46034239
6.57/7.45	c current bound: 23017144
6.57/7.45	c fallback to adder encoding
54.50/55.80	c model valid
54.50/55.80	c current solution ok
54.50/55.82	o 9378805
54.50/55.82	c current bound: 4689427
54.50/55.82	c fallback to adder encoding
231.35/232.77	c model valid
231.35/232.77	c current solution ok
231.35/232.79	o 4568585
231.35/232.79	c current bound: 2284317
231.35/232.79	c fallback to adder encoding
1800.07/1801.71	c error: unexpected solver exit code
1800.07/1801.71	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3696142-1338158703/watcher-3696142-1338158703 -o /tmp/evaluation-result-3696142-1338158703/solver-3696142-1338158703 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3696142-1338158703.opb 2104355897 HOME HOME 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 1.31 1.77 1.91 3/176 17673
/proc/meminfo: memFree=27707012/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0

[startup+0.051602 s]
/proc/loadavg: 1.31 1.77 1.91 3/176 17673
/proc/meminfo: memFree=27707012/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100231 s]
/proc/loadavg: 1.31 1.77 1.91 3/176 17673
/proc/meminfo: memFree=27707012/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30027 s]
/proc/loadavg: 1.31 1.77 1.91 3/176 17673
/proc/meminfo: memFree=27707012/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700253 s]
/proc/loadavg: 1.31 1.77 1.91 3/176 17673
/proc/meminfo: memFree=27707012/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50036 s]
/proc/loadavg: 1.31 1.77 1.91 3/183 17686
/proc/meminfo: memFree=27510840/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
[pid=17675] ppid=17673 vsize=45984 CPUtime=1.48 cores=1,3,5,7
/proc/17675/stat : 17675 (pb2sat) R 17673 17673 17634 0 -1 4202496 7259 8793 0 0 39 41 64 4 20 0 1 0 281995699 47087616 9392 33554432000 4194304 5873084 140734359284496 140734359279832 4664146 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17675/statm: 11496 9392 184 410 0 11078 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 55132

[startup+3.10028 s]
/proc/loadavg: 1.37 1.77 1.91 3/183 17687
/proc/meminfo: memFree=27438196/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
[pid=17675] ppid=17673 vsize=95136 CPUtime=2.19 cores=1,3,5,7
/proc/17675/stat : 17675 (pb2sat) S 17673 17673 17634 0 -1 4202496 9157 8793 0 0 100 51 64 4 20 0 1 0 281995699 97419264 20144 33554432000 4194304 5873084 140734359284496 140734359278312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17675/statm: 23784 20144 184 410 0 23366 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 104284
heavy processes:

[startup+6.30036 s]
/proc/loadavg: 1.37 1.77 1.91 3/183 17693
/proc/meminfo: memFree=27245256/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
[pid=17675] ppid=17673 vsize=123152 CPUtime=4.43 cores=1,3,5,7
/proc/17675/stat : 17675 (pb2sat) S 17673 17673 17634 0 -1 4202496 15838 43666 0 0 173 62 189 19 20 0 1 0 281995699 126107648 25607 33554432000 4194304 5873084 140734359284496 140734359278312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17675/statm: 30788 25607 184 410 0 30370 0
[pid=17692] ppid=17675 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17692/stat : 17692 (satsolver.sh) S 17675 17673 17634 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 281996223 9367552 266 33554432000 4194304 5064252 140735047360992 140735047359904 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17692/statm: 2287 266 226 213 0 72 0
[pid=17693] ppid=17692 vsize=154348 CPUtime=1.04 cores=1,3,5,7
/proc/17693/stat : 17693 (glucose_static) R 17692 17673 17634 0 -1 4202496 31376 0 0 0 93 11 0 0 20 0 1 0 281996223 158052352 35364 33554432000 4194304 4896791 140734069535696 140734068484488 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17693/statm: 38587 35364 76 172 0 38413 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 295796

[startup+12.7004 s]
/proc/loadavg: 1.55 1.79 1.92 3/185 17698
/proc/meminfo: memFree=26591824/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
[pid=17675] ppid=17673 vsize=123152 CPUtime=7.31 cores=1,3,5,7
/proc/17675/stat : 17675 (pb2sat) S 17673 17673 17634 0 -1 4202496 22562 76544 0 0 236 71 390 34 20 0 1 0 281995699 126107648 24071 33554432000 4194304 5873084 140734359284496 140734359278312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 46 0 0
/proc/17675/statm: 30788 24071 184 410 0 30370 0
[pid=17697] ppid=17675 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17697/stat : 17697 (satsolver.sh) S 17675 17673 17634 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 281996558 9367552 266 33554432000 4194304 5064252 140734581664608 140734581663520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17697/statm: 2287 266 226 213 0 72 0
[pid=17698] ppid=17697 vsize=147708 CPUtime=4.09 cores=1,3,5,7
/proc/17698/stat : 17698 (glucose_static) R 17697 17673 17634 0 -1 4202496 27174 0 0 0 403 6 0 0 20 0 1 0 281996558 151252992 31247 33554432000 4194304 4896791 140736347657264 140736347654408 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17698/statm: 36927 31247 78 172 0 36753 0
Current children cumulated CPU time (s) 11.4
Current children cumulated vsize (KiB) 289156

[startup+25.5004 s]
/proc/loadavg: 1.61 1.80 1.92 3/185 17698
/proc/meminfo: memFree=26585380/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
[pid=17675] ppid=17673 vsize=123152 CPUtime=7.31 cores=1,3,5,7
/proc/17675/stat : 17675 (pb2sat) S 17673 17673 17634 0 -1 4202496 22562 76544 0 0 236 71 390 34 20 0 1 0 281995699 126107648 24071 33554432000 4194304 5873084 140734359284496 140734359278312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 46 0 0
/proc/17675/statm: 30788 24071 184 410 0 30370 0
[pid=17697] ppid=17675 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17697/stat : 17697 (satsolver.sh) S 17675 17673 17634 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 281996558 9367552 266 33554432000 4194304 5064252 140734581664608 140734581663520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17697/statm: 2287 266 226 213 0 72 0
[pid=17698] ppid=17697 vsize=149048 CPUtime=16.89 cores=1,3,5,7
/proc/17698/stat : 17698 (glucose_static) R 17697 17673 17634 0 -1 4202496 27858 0 0 0 1683 6 0 0 20 0 1 0 281996558 152625152 32658 33554432000 4194304 4896791 140736347657264 140736347654472 4224706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17698/statm: 37262 32658 78 172 0 37088 0
Current children cumulated CPU time (s) 24.2
Current children cumulated vsize (KiB) 290496

[startup+51.1004 s]
/proc/loadavg: 1.81 1.83 1.92 3/185 17702
/proc/meminfo: memFree=26708704/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
[pid=17675] ppid=17673 vsize=123152 CPUtime=7.31 cores=1,3,5,7
/proc/17675/stat : 17675 (pb2sat) S 17673 17673 17634 0 -1 4202496 22562 76544 0 0 236 71 390 34 20 0 1 0 281995699 126107648 24071 33554432000 4194304 5873084 140734359284496 140734359278312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 46 0 0
/proc/17675/statm: 30788 24071 184 410 0 30370 0
[pid=17697] ppid=17675 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17697/stat : 17697 (satsolver.sh) S 17675 17673 17634 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 281996558 9367552 266 33554432000 4194304 5064252 140734581664608 140734581663520 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17697/statm: 2287 266 226 213 0 72 0
[pid=17698] ppid=17697 vsize=151200 CPUtime=42.49 cores=1,3,5,7
/proc/17698/stat : 17698 (glucose_static) R 17697 17673 17634 0 -1 4202496 29940 0 0 0 4241 8 0 0 20 0 1 0 281996558 154828800 32653 33554432000 4194304 4896791 140736347657264 140736347654408 4204839 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17698/statm: 37800 32653 78 172 0 37626 0
Current children cumulated CPU time (s) 49.8
Current children cumulated vsize (KiB) 292648

[startup+102.3 s]
/proc/loadavg: 1.92 1.85 1.92 3/185 17705
/proc/meminfo: memFree=26732436/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
[pid=17675] ppid=17673 vsize=90384 CPUtime=54.99 cores=1,3,5,7
/proc/17675/stat : 17675 (pb2sat) S 17673 17673 17634 0 -1 4202496 27467 107796 0 0 282 76 5096 45 20 0 1 0 281995699 92553216 20999 33554432000 4194304 5873084 140734359284496 140734359278312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 46 0 0
/proc/17675/statm: 22596 20999 184 410 0 22178 0
[pid=17704] ppid=17675 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17704/stat : 17704 (satsolver.sh) S 17675 17673 17634 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 282001328 9367552 267 33554432000 4194304 5064252 140735021553680 140735021552592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17704/statm: 2287 267 226 213 0 72 0
[pid=17705] ppid=17704 vsize=117468 CPUtime=45.99 cores=1,3,5,7
/proc/17705/stat : 17705 (glucose_static) R 17704 17673 17634 0 -1 4202496 23877 0 0 0 4592 7 0 0 20 0 1 0 282001328 120287232 26740 33554432000 4194304 4896791 140733496824976 140733496822120 4225008 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17705/statm: 29367 26740 78 172 0 29193 0
Current children cumulated CPU time (s) 100.98
Current children cumulated vsize (KiB) 226148

[startup+162.3 s]
/proc/loadavg: 2.02 1.89 1.93 3/185 17708
/proc/meminfo: memFree=26836572/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
[pid=17675] ppid=17673 vsize=90384 CPUtime=54.99 cores=1,3,5,7
/proc/17675/stat : 17675 (pb2sat) S 17673 17673 17634 0 -1 4202496 27467 107796 0 0 282 76 5096 45 20 0 1 0 281995699 92553216 20999 33554432000 4194304 5873084 140734359284496 140734359278312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 46 0 0
/proc/17675/statm: 22596 20999 184 410 0 22178 0
[pid=17704] ppid=17675 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17704/stat : 17704 (satsolver.sh) S 17675 17673 17634 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 282001328 9367552 267 33554432000 4194304 5064252 140735021553680 140735021552592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17704/statm: 2287 267 226 213 0 72 0
[pid=17705] ppid=17704 vsize=118920 CPUtime=105.97 cores=1,3,5,7
/proc/17705/stat : 17705 (glucose_static) R 17704 17673 17634 0 -1 4202496 25901 0 0 0 10589 8 0 0 20 0 1 0 282001328 121774080 27685 33554432000 4194304 4896791 140733496824976 140733496822488 4223862 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17705/statm: 29730 27685 78 172 0 29556 0
Current children cumulated CPU time (s) 160.96
Current children cumulated vsize (KiB) 227600

[startup+222.3 s]
/proc/loadavg: 2.00 1.91 1.93 3/185 17708
/proc/meminfo: memFree=26829880/32873844 swapFree=7124/7124

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

/proc/17711/stat : 17711 (glucose_static) R 17710 17673 17634 0 -1 4202496 54399 0 0 0 112838 48 0 0 20 0 1 0 282019019 191365120 38355 33554432000 4194304 4896791 140733253172032 140733253169560 4203806 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17711/statm: 46720 38355 78 172 0 46546 0
Current children cumulated CPU time (s) 1360.73
Current children cumulated vsize (KiB) 295560

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/185 17744
/proc/meminfo: memFree=26687656/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
[pid=17675] ppid=17673 vsize=90384 CPUtime=231.87 cores=1,3,5,7
/proc/17675/stat : 17675 (pb2sat) S 17673 17673 17634 0 -1 4202496 31537 138422 0 0 322 81 22724 60 20 0 1 0 281995699 92553216 20487 33554432000 4194304 5873084 140734359284496 140734359278312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 46 0 0
/proc/17675/statm: 22596 20487 184 410 0 22178 0
[pid=17710] ppid=17675 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17710/stat : 17710 (satsolver.sh) S 17675 17673 17634 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 282019019 9367552 267 33554432000 4194304 5064252 140733823379872 140733823378784 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17710/statm: 2287 267 226 213 0 72 0
[pid=17711] ppid=17710 vsize=237812 CPUtime=1188.85 cores=1,3,5,7
/proc/17711/stat : 17711 (glucose_static) R 17710 17673 17634 0 -1 4202496 55383 0 0 0 118835 50 0 0 20 0 1 0 282019019 243519488 46578 33554432000 4194304 4896791 140733253172032 140733253169240 4203704 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17711/statm: 59453 46578 78 172 0 59279 0
Current children cumulated CPU time (s) 1420.72
Current children cumulated vsize (KiB) 346492

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/185 17744
/proc/meminfo: memFree=26732144/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
[pid=17675] ppid=17673 vsize=90384 CPUtime=231.87 cores=1,3,5,7
/proc/17675/stat : 17675 (pb2sat) S 17673 17673 17634 0 -1 4202496 31537 138422 0 0 322 81 22724 60 20 0 1 0 281995699 92553216 20487 33554432000 4194304 5873084 140734359284496 140734359278312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 46 0 0
/proc/17675/statm: 22596 20487 184 410 0 22178 0
[pid=17710] ppid=17675 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17710/stat : 17710 (satsolver.sh) S 17675 17673 17634 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 282019019 9367552 267 33554432000 4194304 5064252 140733823379872 140733823378784 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17710/statm: 2287 267 226 213 0 72 0
[pid=17711] ppid=17710 vsize=189048 CPUtime=1248.84 cores=1,3,5,7
/proc/17711/stat : 17711 (glucose_static) R 17710 17673 17634 0 -1 4202496 57369 0 0 0 124832 52 0 0 20 0 1 0 282019019 193585152 43008 33554432000 4194304 4896791 140733253172032 140733253169176 4203877 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17711/statm: 47262 43008 78 172 0 47088 0
Current children cumulated CPU time (s) 1480.71
Current children cumulated vsize (KiB) 297728

[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/186 17747
/proc/meminfo: memFree=26719028/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
[pid=17675] ppid=17673 vsize=90384 CPUtime=231.87 cores=1,3,5,7
/proc/17675/stat : 17675 (pb2sat) S 17673 17673 17634 0 -1 4202496 31537 138422 0 0 322 81 22724 60 20 0 1 0 281995699 92553216 20487 33554432000 4194304 5873084 140734359284496 140734359278312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 46 0 0
/proc/17675/statm: 22596 20487 184 410 0 22178 0
[pid=17710] ppid=17675 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17710/stat : 17710 (satsolver.sh) S 17675 17673 17634 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 282019019 9367552 267 33554432000 4194304 5064252 140733823379872 140733823378784 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17710/statm: 2287 267 226 213 0 72 0
[pid=17711] ppid=17710 vsize=158980 CPUtime=1308.83 cores=1,3,5,7
/proc/17711/stat : 17711 (glucose_static) R 17710 17673 17634 0 -1 4202496 58636 0 0 0 130828 55 0 0 20 0 1 0 282019019 162795520 38037 33554432000 4194304 4896791 140733253172032 140733253169608 4225171 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17711/statm: 39745 38037 78 172 0 39571 0
Current children cumulated CPU time (s) 1540.7
Current children cumulated vsize (KiB) 267660

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/185 17748
/proc/meminfo: memFree=26728036/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
[pid=17675] ppid=17673 vsize=90384 CPUtime=231.87 cores=1,3,5,7
/proc/17675/stat : 17675 (pb2sat) S 17673 17673 17634 0 -1 4202496 31537 138422 0 0 322 81 22724 60 20 0 1 0 281995699 92553216 20487 33554432000 4194304 5873084 140734359284496 140734359278312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 46 0 0
/proc/17675/statm: 22596 20487 184 410 0 22178 0
[pid=17710] ppid=17675 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17710/stat : 17710 (satsolver.sh) S 17675 17673 17634 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 282019019 9367552 267 33554432000 4194304 5064252 140733823379872 140733823378784 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17710/statm: 2287 267 226 213 0 72 0
[pid=17711] ppid=17710 vsize=190548 CPUtime=1368.82 cores=1,3,5,7
/proc/17711/stat : 17711 (glucose_static) R 17710 17673 17634 0 -1 4202496 59294 0 0 0 136826 56 0 0 20 0 1 0 282019019 195121152 45447 33554432000 4194304 4896791 140733253172032 140733253169256 4203749 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17711/statm: 47637 45447 78 172 0 47463 0
Current children cumulated CPU time (s) 1600.69
Current children cumulated vsize (KiB) 299228

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/185 17748
/proc/meminfo: memFree=26731312/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
[pid=17675] ppid=17673 vsize=90384 CPUtime=231.87 cores=1,3,5,7
/proc/17675/stat : 17675 (pb2sat) S 17673 17673 17634 0 -1 4202496 31537 138422 0 0 322 81 22724 60 20 0 1 0 281995699 92553216 20487 33554432000 4194304 5873084 140734359284496 140734359278312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 46 0 0
/proc/17675/statm: 22596 20487 184 410 0 22178 0
[pid=17710] ppid=17675 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17710/stat : 17710 (satsolver.sh) S 17675 17673 17634 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 282019019 9367552 267 33554432000 4194304 5064252 140733823379872 140733823378784 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17710/statm: 2287 267 226 213 0 72 0
[pid=17711] ppid=17710 vsize=191292 CPUtime=1428.82 cores=1,3,5,7
/proc/17711/stat : 17711 (glucose_static) R 17710 17673 17634 0 -1 4202496 60412 0 0 0 142823 59 0 0 20 0 1 0 282019019 195883008 40522 33554432000 4194304 4896791 140733253172032 140733253169240 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17711/statm: 47823 40522 78 172 0 47649 0
Current children cumulated CPU time (s) 1660.69
Current children cumulated vsize (KiB) 299972

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/185 17748
/proc/meminfo: memFree=26621960/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
[pid=17675] ppid=17673 vsize=90384 CPUtime=231.87 cores=1,3,5,7
/proc/17675/stat : 17675 (pb2sat) S 17673 17673 17634 0 -1 4202496 31537 138422 0 0 322 81 22724 60 20 0 1 0 281995699 92553216 20487 33554432000 4194304 5873084 140734359284496 140734359278312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 46 0 0
/proc/17675/statm: 22596 20487 184 410 0 22178 0
[pid=17710] ppid=17675 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17710/stat : 17710 (satsolver.sh) S 17675 17673 17634 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 282019019 9367552 267 33554432000 4194304 5064252 140733823379872 140733823378784 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17710/statm: 2287 267 226 213 0 72 0
[pid=17711] ppid=17710 vsize=242836 CPUtime=1488.8 cores=1,3,5,7
/proc/17711/stat : 17711 (glucose_static) R 17710 17673 17634 0 -1 4202496 61089 0 0 0 148820 60 0 0 20 0 1 0 282019019 248664064 49372 33554432000 4194304 4896791 140733253172032 140733253169176 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17711/statm: 60709 49372 78 172 0 60535 0
Current children cumulated CPU time (s) 1720.67
Current children cumulated vsize (KiB) 351516

[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/185 17748
/proc/meminfo: memFree=26658812/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
[pid=17675] ppid=17673 vsize=90384 CPUtime=231.87 cores=1,3,5,7
/proc/17675/stat : 17675 (pb2sat) S 17673 17673 17634 0 -1 4202496 31537 138422 0 0 322 81 22724 60 20 0 1 0 281995699 92553216 20487 33554432000 4194304 5873084 140734359284496 140734359278312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 46 0 0
/proc/17675/statm: 22596 20487 184 410 0 22178 0
[pid=17710] ppid=17675 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17710/stat : 17710 (satsolver.sh) S 17675 17673 17634 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 282019019 9367552 267 33554432000 4194304 5064252 140733823379872 140733823378784 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17710/statm: 2287 267 226 213 0 72 0
[pid=17711] ppid=17710 vsize=193944 CPUtime=1548.79 cores=1,3,5,7
/proc/17711/stat : 17711 (glucose_static) R 17710 17673 17634 0 -1 4202496 61885 0 0 0 154817 62 0 0 20 0 1 0 282019019 198598656 43614 33554432000 4194304 4896791 140733253172032 140733253169176 4203765 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17711/statm: 48486 43614 78 172 0 48312 0
Current children cumulated CPU time (s) 1780.66
Current children cumulated vsize (KiB) 302624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/185 17790
/proc/meminfo: memFree=27250560/32873844 swapFree=7124/7124
[pid=17673] ppid=17669 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17673/stat : 17673 (runPb2sat.sh) S 17669 17673 17634 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281995698 9367552 274 33554432000 4194304 5064252 140733418163680 140733418162592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17673/statm: 2287 274 233 213 0 72 0
[pid=17675] ppid=17673 vsize=90384 CPUtime=231.87 cores=1,3,5,7
/proc/17675/stat : 17675 (pb2sat) S 17673 17673 17634 0 -1 4202496 31537 138422 0 0 322 81 22724 60 20 0 1 0 281995699 92553216 20487 33554432000 4194304 5873084 140734359284496 140734359278312 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 46 0 0
/proc/17675/statm: 22596 20487 184 410 0 22178 0
[pid=17710] ppid=17675 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17710/stat : 17710 (satsolver.sh) S 17675 17673 17634 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 282019019 9367552 267 33554432000 4194304 5064252 140733823379872 140733823378784 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17710/statm: 2287 267 226 213 0 72 0
[pid=17711] ppid=17710 vsize=194356 CPUtime=1568.2 cores=1,3,5,7
/proc/17711/stat : 17711 (glucose_static) R 17710 17673 17634 0 -1 4202496 62000 0 0 0 156757 63 0 0 20 0 1 0 282019019 199020544 45262 33554432000 4194304 4896791 140733253172032 140733253169320 4203772 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17711/statm: 48589 45262 78 172 0 48415 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 303036

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17673 and gives
#  childrusage.ru_utime.tv_sec=230
#  childrusage.ru_utime.tv_usec=467963
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=427782
# CPU time returned by wait4() is 231.896
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1801.72
CPU time (s): 1800.07
CPU user time (s): 1798.03
CPU system time (s): 2.04
CPU usage (%): 99.9087
Max. virtual memory (cumulated for all children) (KiB): 401512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 230.468
system time used= 1.42778
maximum resident set size= 194716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170936
page faults= 0
swaps= 0
block input operations= 0
block output operations= 477128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125
involuntary context switches= 288

runsolver used 3.34449 second user time and 8.62669 second system time

The end

Launcher Data 

Begin job on node134 at 2012-05-28 00:45:03
IDJOB=3696142
IDBENCH=92742
IDSOLVER=2274
FILE ID=node134/3696142-1338158703
RUNJOBID= node134-1338158703-17652
PBS_JOBID= 14624546
Free space on /tmp= 71012 MiB

SOLVER NAME= pb2sat 2012-05-19
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_9.opb
COMMAND LINE= DIR/runPb2sat.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3696142-1338158703/watcher-3696142-1338158703 -o /tmp/evaluation-result-3696142-1338158703/solver-3696142-1338158703 -C 1800 -W 1900 -M 15500  HOME/runPb2sat.sh HOME/instance-3696142-1338158703.opb 2104355897 HOME HOME

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

MD5SUM BENCH= 796ce15de170aa64363741766a49999c
RANDOM SEED=2104355897

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27707392 kB
Buffers:          429296 kB
Cached:          3867904 kB
SwapCached:            0 kB
Active:          1580664 kB
Inactive:        2728496 kB
Active(anon):       7588 kB
Inactive(anon):     5996 kB
Active(file):    1573076 kB
Inactive(file):  2722500 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             18672 kB
Writeback:             0 kB
AnonPages:         17716 kB
Mapped:            13648 kB
Shmem:               212 kB
Slab:             716604 kB
SReclaimable:     158572 kB
SUnreclaim:       558032 kB
KernelStack:        1392 kB
PageTables:         3920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70940 MiB
End job on node134 at 2012-05-28 01:15:05