Trace number 3746882

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
npSolver inc-topDown (fixed)? (TO) 1800.03 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat100_4_32_2.opb
MD5SUMf93bc86ebde6b06b59a0e975321ccaef
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8443107
Best CPU time to get the best result obtained on this benchmark1801.27
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20200
Total number of constraints30206
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints30000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 19900
Biggest coefficient in the objective function 178453547
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 203583486200
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 178453547
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 203583486200
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.13	c old isEQ: 0, new EQ is 1
2.48/2.57	c run inc solver
2.48/2.57	c [INC SYSTEM] run initial solver
2.58/3.14	c [INC SYSTEM] preprocess with white file
12.94/13.01	c [INC SYSTEM] finished preprocessing in 10 s
12.94/13.01	c [INC SYSTEM] execute solver
134.83/134.94	c [INC SEARCH] formula is SAT
134.83/134.99	c [INC SYSTEM] solved the initial formula
134.93/135.06	c model valid
134.93/135.06	c current solution ok
139.26/139.43	o 187776615
139.26/139.43	c [INC SYSTEM] there exists a inc, kill it!
139.26/139.43	c write failed with 2
139.26/139.44	c [INC SEARCH] iteration: 0
139.26/139.44	c [INC BOUNDS] best value:187776715 search for 187776714
139.26/139.44	c [INC SYSTEM] create new solver instance
139.26/139.44	c [INC] encode full formula
139.26/139.44	c fallback to adder encoding
142.45/142.54	c set iterative enc to: adder
142.45/142.54	c set iterative enc to: none
142.85/143.00	c [INC SEARCH] isOptimum variable: 0
1800.03/1800.41	HOME/npSolver-pbo-Itd.sh: line 18: 13188 Terminated              ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=0 -useCP2=1 -useInc=1

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-3746882-1339109124/watcher-3746882-1339109124 -o /tmp/evaluation-result-3746882-1339109124/solver-3746882-1339109124 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746882-1339109124.opb 1515399773 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: 2.02 2.01 2.00 3/178 13187
/proc/meminfo: memFree=26496980/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0

[startup+0.0576599 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13187
/proc/meminfo: memFree=26496980/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100185 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13187
/proc/meminfo: memFree=26496980/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300163 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13187
/proc/meminfo: memFree=26496980/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700144 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13187
/proc/meminfo: memFree=26496980/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 13189
/proc/meminfo: memFree=26399928/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=180808 CPUtime=1.49 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) R 13187 13187 11259 0 -1 4202496 8733 0 0 0 144 5 0 0 20 0 1 0 377037816 185147392 32625 33554432000 4194304 6004724 140734746483920 140734746478920 4534738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 45202 32625 163 442 0 44756 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 189956

[startup+3.10019 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 13189
/proc/meminfo: memFree=26319792/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=284532 CPUtime=2.58 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 9841 0 0 0 227 31 0 0 20 0 1 0 377037816 291360768 40644 33554432000 4194304 6004724 140734746483920 140734746478384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 71133 40644 171 442 0 70687 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 293680

[startup+6.30027 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 13191
/proc/meminfo: memFree=25655908/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=284532 CPUtime=2.58 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 9841 0 0 0 227 31 0 0 20 0 1 0 377037816 291360768 40644 33554432000 4194304 6004724 140734746483920 140734746478384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 71133 40644 171 442 0 70687 0
[pid=13190] ppid=13188 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13190/stat : 13190 (cp2_pre.sh) S 13188 13187 11259 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 377038076 9367552 277 33554432000 4194304 5064252 140734944852048 140734944850752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13190/statm: 2287 277 234 213 0 72 0
[pid=13191] ppid=13190 vsize=674432 CPUtime=3.69 cores=1,3,5,7
/proc/13191/stat : 13191 (coprocessor) R 13190 13187 11259 0 -1 4202496 68976 0 0 0 351 18 0 0 20 0 1 0 377038076 690618368 151421 33554432000 4194304 6586260 140737031190736 140737031187000 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13191/statm: 168608 151421 164 584 0 168020 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 977260

[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 13191
/proc/meminfo: memFree=25416652/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=284532 CPUtime=2.58 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 9841 0 0 0 227 31 0 0 20 0 1 0 377037816 291360768 40644 33554432000 4194304 6004724 140734746483920 140734746478384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 71133 40644 171 442 0 70687 0
[pid=13190] ppid=13188 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13190/stat : 13190 (cp2_pre.sh) S 13188 13187 11259 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 377038076 9367552 277 33554432000 4194304 5064252 140734944852048 140734944850752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13190/statm: 2287 277 234 213 0 72 0
[pid=13191] ppid=13190 vsize=789164 CPUtime=10.09 cores=1,3,5,7
/proc/13191/stat : 13191 (coprocessor) R 13190 13187 11259 0 -1 4202496 85233 0 0 0 959 50 0 0 20 0 1 0 377038076 808103936 192359 33554432000 4194304 6586260 140737031190736 140737031186488 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13191/statm: 197291 192359 199 584 0 196703 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1091992

[startup+25.5004 s]
/proc/loadavg: 2.08 2.02 2.00 3/181 13193
/proc/meminfo: memFree=26032588/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=284532 CPUtime=12.97 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 9858 86136 0 0 227 31 984 55 20 0 1 0 377037816 291360768 40647 33554432000 4194304 6004724 140734746483920 140734746470200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 71133 40647 174 442 0 70687 0
[pid=13193] ppid=13188 vsize=294652 CPUtime=12.47 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13188 13187 11259 0 -1 4202496 50419 0 0 0 1238 9 0 0 20 0 1 0 377039117 301723648 69061 33554432000 4194304 5654031 140735283663488 140735283661320 4208584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 73663 69061 139 357 0 73303 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 588332

[startup+51.1004 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 13193
/proc/meminfo: memFree=25999176/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=284532 CPUtime=12.97 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 9858 86136 0 0 227 31 984 55 20 0 1 0 377037816 291360768 40647 33554432000 4194304 6004724 140734746483920 140734746470200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 71133 40647 174 442 0 70687 0
[pid=13193] ppid=13188 vsize=296104 CPUtime=38.07 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13188 13187 11259 0 -1 4202496 50840 0 0 0 3797 10 0 0 20 0 1 0 377039117 303210496 69481 33554432000 4194304 5654031 140735283663488 140735283661272 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 74026 69481 139 357 0 73666 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 589784

[startup+102.307 s]
/proc/loadavg: 2.10 2.03 2.01 3/181 13193
/proc/meminfo: memFree=26025724/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=284532 CPUtime=12.97 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 9858 86136 0 0 227 31 984 55 20 0 1 0 377037816 291360768 40647 33554432000 4194304 6004724 140734746483920 140734746470200 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 71133 40647 174 442 0 70687 0
[pid=13193] ppid=13188 vsize=300196 CPUtime=89.26 cores=1,3,5,7
/proc/13193/stat : 13193 (glucosInc) R 13188 13187 11259 0 -1 4202496 51975 0 0 0 8916 10 0 0 20 0 1 0 377039117 307400704 70612 33554432000 4194304 5654031 140735283663488 140735283661272 4232408 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13193/statm: 75049 70612 139 357 0 74689 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 593876

[startup+162.3 s]
/proc/loadavg: 2.21 2.07 2.02 3/181 13197
/proc/meminfo: memFree=25234516/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=308892 CPUtime=142.95 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 20401 141024 0 0 622 426 13159 88 20 0 1 0 377037816 316305408 46778 33554432000 4194304 6004724 140734746483920 140734746469768 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 77223 46778 183 442 0 76777 0
[pid=13196] ppid=13188 vsize=884084 CPUtime=19.28 cores=1,3,5,7
/proc/13196/stat : 13196 (glucosInc) R 13188 13187 11259 0 -1 4202496 118902 0 0 0 1896 32 0 0 20 0 1 0 377052116 905302016 188444 33554432000 4194304 5654031 140733270633424 140733270631208 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13196/statm: 221021 188444 141 357 0 220661 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1202124

[startup+222.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/181 13197
/proc/meminfo: memFree=25184868/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=308892 CPUtime=142.95 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 20401 141024 0 0 622 426 13159 88 20 0 1 0 377037816 316305408 46778 33554432000 4194304 6004724 140734746483920 140734746469768 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 77223 46778 183 442 0 76777 0
[pid=13196] ppid=13188 vsize=889016 CPUtime=79.27 cores=1,3,5,7
/proc/13196/stat : 13196 (glucosInc) R 13188 13187 11259 0 -1 4202496 120883 0 0 0 7894 33 0 0 20 0 1 0 377052116 910352384 190936 33554432000 4194304 5654031 140733270633424 140733270631208 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13196/statm: 222254 190936 141 357 0 221894 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1207056

[startup+282.3 s]

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

/proc/loadavg: 2.00 2.00 2.00 3/181 13233
/proc/meminfo: memFree=24927848/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=308892 CPUtime=142.95 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 20401 141024 0 0 622 426 13159 88 20 0 1 0 377037816 316305408 46778 33554432000 4194304 6004724 140734746483920 140734746469768 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 77223 46778 183 442 0 76777 0
[pid=13196] ppid=13188 vsize=1250416 CPUtime=1159.05 cores=1,3,5,7
/proc/13196/stat : 13196 (glucosInc) R 13188 13187 11259 0 -1 4202496 146381 0 0 0 115629 276 0 0 20 0 1 0 377052116 1280425984 267183 33554432000 4194304 5654031 140733270633424 140733270631448 4215327 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13196/statm: 312604 267183 141 357 0 312244 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1568456

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13233
/proc/meminfo: memFree=24620528/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=308892 CPUtime=142.95 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 20401 141024 0 0 622 426 13159 88 20 0 1 0 377037816 316305408 46778 33554432000 4194304 6004724 140734746483920 140734746469768 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 77223 46778 183 442 0 76777 0
[pid=13196] ppid=13188 vsize=1599664 CPUtime=1219.04 cores=1,3,5,7
/proc/13196/stat : 13196 (glucosInc) R 13188 13187 11259 0 -1 4202496 147236 0 0 0 121619 285 0 0 20 0 1 0 377052116 1638055936 342132 33554432000 4194304 5654031 140733270633424 140733270631512 4215079 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13196/statm: 399916 342132 141 357 0 399556 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1917704

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13234
/proc/meminfo: memFree=24843620/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=308892 CPUtime=142.95 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 20401 141024 0 0 622 426 13159 88 20 0 1 0 377037816 316305408 46778 33554432000 4194304 6004724 140734746483920 140734746469768 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 77223 46778 183 442 0 76777 0
[pid=13196] ppid=13188 vsize=1250796 CPUtime=1279.03 cores=1,3,5,7
/proc/13196/stat : 13196 (glucosInc) R 13188 13187 11259 0 -1 4202496 148520 0 0 0 127599 304 0 0 20 0 1 0 377052116 1280815104 278526 33554432000 4194304 5654031 140733270633424 140733270631448 4215226 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13196/statm: 312699 278526 141 357 0 312339 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1568836

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 13237
/proc/meminfo: memFree=24550140/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=308892 CPUtime=142.95 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 20401 141024 0 0 622 426 13159 88 20 0 1 0 377037816 316305408 46778 33554432000 4194304 6004724 140734746483920 140734746469768 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 77223 46778 183 442 0 76777 0
[pid=13196] ppid=13188 vsize=1600360 CPUtime=1339.02 cores=1,3,5,7
/proc/13196/stat : 13196 (glucosInc) R 13188 13187 11259 0 -1 4202496 149423 0 0 0 133590 312 0 0 20 0 1 0 377052116 1638768640 351480 33554432000 4194304 5654031 140733270633424 140733270631208 4232960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13196/statm: 400090 351480 141 357 0 399730 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1918400

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13237
/proc/meminfo: memFree=24812900/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=308892 CPUtime=142.95 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 20401 141024 0 0 622 426 13159 88 20 0 1 0 377037816 316305408 46778 33554432000 4194304 6004724 140734746483920 140734746469768 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 77223 46778 183 442 0 76777 0
[pid=13196] ppid=13188 vsize=1251332 CPUtime=1399.01 cores=1,3,5,7
/proc/13196/stat : 13196 (glucosInc) R 13188 13187 11259 0 -1 4202496 150689 0 0 0 139572 329 0 0 20 0 1 0 377052116 1281363968 285809 33554432000 4194304 5654031 140733270633424 140733270631448 4215307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13196/statm: 312833 285809 141 357 0 312473 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1569372

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13237
/proc/meminfo: memFree=24528728/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=308892 CPUtime=142.95 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 20401 141024 0 0 622 426 13159 88 20 0 1 0 377037816 316305408 46778 33554432000 4194304 6004724 140734746483920 140734746469768 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 77223 46778 183 442 0 76777 0
[pid=13196] ppid=13188 vsize=1601192 CPUtime=1459 cores=1,3,5,7
/proc/13196/stat : 13196 (glucosInc) R 13188 13187 11259 0 -1 4202496 151670 0 0 0 145563 337 0 0 20 0 1 0 377052116 1639620608 357308 33554432000 4194304 5654031 140733270633424 140733270631208 4215344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13196/statm: 400298 357308 141 357 0 399938 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1919232

[startup+1662.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/181 13237
/proc/meminfo: memFree=24808236/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=308892 CPUtime=142.95 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 20401 141024 0 0 622 426 13159 88 20 0 1 0 377037816 316305408 46778 33554432000 4194304 6004724 140734746483920 140734746469768 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 77223 46778 183 442 0 76777 0
[pid=13196] ppid=13188 vsize=1252124 CPUtime=1518.99 cores=1,3,5,7
/proc/13196/stat : 13196 (glucosInc) R 13188 13187 11259 0 -1 4202496 152928 0 0 0 151543 356 0 0 20 0 1 0 377052116 1282174976 285982 33554432000 4194304 5654031 140733270633424 140733270631448 4232973 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13196/statm: 313031 285982 141 357 0 312671 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1570164

[startup+1722.3 s]
/proc/loadavg: 1.97 2.01 2.00 3/180 13278
/proc/meminfo: memFree=22995504/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=308892 CPUtime=142.95 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 20401 141024 0 0 622 426 13159 88 20 0 1 0 377037816 316305408 46778 33554432000 4194304 6004724 140734746483920 140734746469768 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 77223 46778 183 442 0 76777 0
[pid=13196] ppid=13188 vsize=1601372 CPUtime=1578.98 cores=1,3,5,7
/proc/13196/stat : 13196 (glucosInc) R 13188 13187 11259 0 -1 4202496 153810 0 0 0 157534 364 0 0 20 0 1 0 377052116 1639804928 360959 33554432000 4194304 5654031 140733270633424 140733270631512 4215126 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13196/statm: 400343 360959 141 357 0 399983 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1919412

[startup+1782.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/182 13280
/proc/meminfo: memFree=18330888/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=308892 CPUtime=142.95 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 20401 141024 0 0 622 426 13159 88 20 0 1 0 377037816 316305408 46778 33554432000 4194304 6004724 140734746483920 140734746469768 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 77223 46778 183 442 0 76777 0
[pid=13196] ppid=13188 vsize=1252628 CPUtime=1638.97 cores=1,3,5,7
/proc/13196/stat : 13196 (glucosInc) R 13188 13187 11259 0 -1 4202496 155120 0 0 0 163514 383 0 0 20 0 1 0 377052116 1282691072 274839 33554432000 4194304 5654031 140733270633424 140733270631448 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13196/statm: 313157 274839 141 357 0 312797 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1570668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.20 2.07 2.02 3/181 13282
/proc/meminfo: memFree=19369020/32873648 swapFree=7376/7376
[pid=13187] ppid=13185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13187/stat : 13187 (npSolver-pbo-It) S 13185 13187 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377037815 9367552 274 33554432000 4194304 5064252 140737301991216 140737301990128 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13187/statm: 2287 274 233 213 0 72 0
[pid=13188] ppid=13187 vsize=308892 CPUtime=142.95 cores=1,3,5,7
/proc/13188/stat : 13188 (npSolver-pbo) S 13187 13187 11259 0 -1 4202496 20401 141024 0 0 622 426 13159 88 20 0 1 0 377037816 316305408 46778 33554432000 4194304 6004724 140734746483920 140734746469768 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13188/statm: 77223 46778 183 442 0 76777 0
[pid=13196] ppid=13188 vsize=1601876 CPUtime=1657.08 cores=1,3,5,7
/proc/13196/stat : 13196 (glucosInc) R 13188 13187 11259 0 -1 4202496 155872 0 0 0 165319 389 0 0 20 0 1 0 377052116 1640321024 297563 33554432000 4194304 5654031 140733270633424 140733270631448 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13196/statm: 400469 297563 141 357 0 400109 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1919916

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 13187 and gives
#  childrusage.ru_utime.tv_sec=137
#  childrusage.ru_utime.tv_usec=824047
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=150217
# CPU time returned by wait4() is 142.974
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.03
CPU user time (s): 1791
CPU system time (s): 9.03
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 3046244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.824
system time used= 5.15022
maximum resident set size= 793340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1202568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1947
involuntary context switches= 2078

runsolver used 3.78942 second user time and 10.7654 second system time

The end

Launcher Data

Begin job on node125 at 2012-06-08 00:45:24
IDJOB=3746882
IDBENCH=92723
IDSOLVER=2332
FILE ID=node125/3746882-1339109124
RUNJOBID= node125-1339098178-11276
PBS_JOBID= 14643728
Free space on /tmp= 70760 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_2.opb
COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3746882-1339109124/watcher-3746882-1339109124 -o /tmp/evaluation-result-3746882-1339109124/solver-3746882-1339109124 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itd.sh HOME/instance-3746882-1339109124.opb 1515399773 HOME HOME

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

MD5SUM BENCH= f93bc86ebde6b06b59a0e975321ccaef
RANDOM SEED=1515399773

node125.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		: 2666.373
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	: 5332.74
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		: 2666.373
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	: 5331.91
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		: 2666.373
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	: 5331.92
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		: 2666.373
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	: 5331.90
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		: 2666.373
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	: 5331.91
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		: 2666.373
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	: 5438.54
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		: 2666.373
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	: 5331.91
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		: 2666.373
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26497624 kB
Buffers:          637468 kB
Cached:          4593384 kB
SwapCached:         2256 kB
Active:          2471860 kB
Inactive:        2988768 kB
Active(anon):     221080 kB
Inactive(anon):     9460 kB
Active(file):    2250780 kB
Inactive(file):  2979308 kB
Unevictable:        7376 kB
Mlocked:            7376 kB
SwapTotal:      67108856 kB
SwapFree:       67102620 kB
Dirty:              9708 kB
Writeback:             4 kB
AnonPages:        235456 kB
Mapped:            15500 kB
Shmem:                96 kB
Slab:             774844 kB
SReclaimable:     218768 kB
SUnreclaim:       556076 kB
KernelStack:        1472 kB
PageTables:         4612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     373928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69352 MiB
End job on node125 at 2012-06-08 01:15:24