Trace number 3698044

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 NameAnswerobjective functionCPU timeWall clock time
npSolver inc-topDown? (TO) 1800.1 1800.81

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
MD5SUM3119db8d3d273f04fc4f3b1324a85224
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark396
Best CPU time to get the best result obtained on this benchmark1793.24
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 452
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 493167
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 493167
Number of bits of the biggest sum of numbers19
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 

1.38/1.43	c run inc solver
1.38/1.43	c [INC SYSTEM] run initial solver
1.38/1.43	c [INC SYSTEM] preprocess with white file
3.07/3.43	c [INC SYSTEM] finished preprocessing in 1 s
3.07/3.43	c [INC SYSTEM] execute solver
167.26/167.70	c [INC SEARCH] formula is SAT
167.26/167.70	c [INC SYSTEM] solved the initial formula
167.96/168.38	c model valid
167.96/168.38	c current solution ok
169.06/169.42	o 7293
169.06/169.42	c [INC SYSTEM] there exists a inc, kill it!
169.06/169.42	c write failed with 2
169.06/169.43	c [INC SEARCH] iteration: 0
169.06/169.43	c [INC BOUNDS] best value:7293 search for 7292
169.06/169.43	c [INC SYSTEM] create new solver instance
169.06/169.43	c [INC] encode full formula
169.06/169.43	c fallback to adder encoding
169.77/170.12	c set iterative enc to: adder
169.77/170.12	c set iterative enc to: none
169.87/170.22	c [INC SEARCH] isOptimum variable: 0
185.84/186.23	c formula is SAT
185.84/186.25	c [INC SEARCH] copied best model
185.84/186.25	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
186.55/186.92	c model valid
186.55/186.92	c current solution ok
186.55/186.92	o 6690
186.55/186.92	c [INC SEARCH] iteration: 1
186.55/186.92	c [INC BOUNDS] best value:6690 search for 6689
186.55/186.92	c [INC SYSTEM] there exists a inc, kill it!
186.55/186.92	c write failed with 2
186.55/186.93	c [INC SYSTEM] create new solver instance
186.55/186.93	c [INC] encode full formula
186.55/186.93	c fallback to adder encoding
187.27/187.61	c set iterative enc to: adder
187.27/187.61	c set iterative enc to: none
187.35/187.73	c [INC SEARCH] isOptimum variable: 0
221.53/221.90	c formula is SAT
221.53/221.92	c [INC SEARCH] copied best model
221.53/221.92	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
222.13/222.59	c model valid
222.13/222.59	c current solution ok
222.13/222.59	o 6449
222.13/222.59	c [INC SEARCH] iteration: 2
222.13/222.59	c [INC BOUNDS] best value:6449 search for 6448
222.13/222.59	c [INC SYSTEM] there exists a inc, kill it!
222.13/222.59	c write failed with 2
222.23/222.60	c [INC SYSTEM] create new solver instance
222.23/222.60	c [INC] encode full formula
222.23/222.60	c fallback to adder encoding
222.84/223.29	c set iterative enc to: adder
222.84/223.29	c set iterative enc to: none
223.04/223.41	c [INC SEARCH] isOptimum variable: 0
244.33/244.80	c formula is SAT
244.43/244.82	c [INC SEARCH] copied best model
244.43/244.82	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
245.03/245.49	c model valid
245.03/245.49	c current solution ok
245.03/245.49	o 6377
245.03/245.49	c [INC SEARCH] iteration: 3
245.03/245.49	c [INC BOUNDS] best value:6377 search for 6376
245.03/245.49	c [INC SYSTEM] there exists a inc, kill it!
245.03/245.49	c write failed with 2
245.13/245.50	c [INC SYSTEM] create new solver instance
245.13/245.50	c [INC] encode full formula
245.13/245.50	c fallback to adder encoding
245.73/246.19	c set iterative enc to: adder
245.73/246.19	c set iterative enc to: none
245.93/246.31	c [INC SEARCH] isOptimum variable: 0
345.19/345.60	c formula is SAT
345.19/345.61	c [INC SEARCH] copied best model
345.19/345.61	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
345.78/346.29	c model valid
345.78/346.29	c current solution ok
345.78/346.29	o 6125
345.78/346.29	c [INC SEARCH] iteration: 4
345.78/346.29	c [INC BOUNDS] best value:6125 search for 6124
345.78/346.29	c [INC SYSTEM] there exists a inc, kill it!
345.78/346.29	c write failed with 2
345.78/346.29	c [INC SYSTEM] create new solver instance
345.78/346.29	c [INC] encode full formula
345.78/346.29	c fallback to adder encoding
346.51/346.98	c set iterative enc to: adder
346.51/346.98	c set iterative enc to: none
346.71/347.11	c [INC SEARCH] isOptimum variable: 0
1800.10/1800.81	HOME/npSolver-pbo-Itd.sh: line 18:   866 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-3698044-1338052952/watcher-3698044-1338052952 -o /tmp/evaluation-result-3698044-1338052952/solver-3698044-1338052952 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698044-1338052952.opb 2080573990 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.04 2.06 1.98 3/174 863
/proc/meminfo: memFree=28506072/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0

[startup+0.019556 s]
/proc/loadavg: 2.04 2.06 1.98 3/174 863
/proc/meminfo: memFree=28506072/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10031 s]
/proc/loadavg: 2.04 2.06 1.98 3/174 863
/proc/meminfo: memFree=28506072/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300234 s]
/proc/loadavg: 2.04 2.06 1.98 3/174 863
/proc/meminfo: memFree=28506072/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700237 s]
/proc/loadavg: 2.04 2.06 1.98 3/174 863
/proc/meminfo: memFree=28506072/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50028 s]
/proc/loadavg: 2.04 2.06 1.98 3/179 871
/proc/meminfo: memFree=28489276/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=21112 CPUtime=1.44 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 3279 0 0 0 140 4 0 0 20 0 1 0 271423792 21618688 3619 33554432000 4194304 5992684 140736058580208 140736058574656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/866/statm: 5278 3619 164 440 0 4834 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 30260

[startup+3.10034 s]
/proc/loadavg: 2.04 2.06 1.98 3/183 875
/proc/meminfo: memFree=28339576/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=21112 CPUtime=1.44 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 3279 0 0 0 140 4 0 0 20 0 1 0 271423792 21618688 3619 33554432000 4194304 5992684 140736058580208 140736058574656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/866/statm: 5278 3619 164 440 0 4834 0
[pid=874] ppid=866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/874/stat : 874 (cp2_pre.sh) S 866 863 824 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 271423937 9367552 277 33554432000 4194304 5064252 140733902175520 140733902174224 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/874/statm: 2287 277 234 213 0 72 0
[pid=875] ppid=874 vsize=63328 CPUtime=1.63 cores=1,3,5,7
/proc/875/stat : 875 (coprocessor) R 874 863 824 0 -1 4202496 14559 0 0 0 159 4 0 0 20 0 1 0 271423937 64847872 15068 33554432000 4194304 6586260 140736991439824 140736991435576 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/875/statm: 15832 15068 197 584 0 15244 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 102736

[startup+6.30035 s]
/proc/loadavg: 2.04 2.06 1.98 3/181 879
/proc/meminfo: memFree=28379648/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=21112 CPUtime=3.14 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 3295 15463 0 0 140 4 165 5 20 0 1 0 271423792 21618688 3621 33554432000 4194304 5992684 140736058580208 140736058566472 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/866/statm: 5278 3621 166 440 0 4834 0
[pid=878] ppid=866 vsize=74152 CPUtime=2.85 cores=1,3,5,7
/proc/878/stat : 878 (glucosInc) R 866 863 824 0 -1 4202496 11392 0 0 0 283 2 0 0 20 0 1 0 271424135 75931648 15159 33554432000 4194304 5654031 140734158106224 140734158104248 4232949 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/878/statm: 18538 15159 132 357 0 18178 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 104412

[startup+12.7071 s]
/proc/loadavg: 2.03 2.06 1.98 3/181 879
/proc/meminfo: memFree=28314616/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=21112 CPUtime=3.14 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 3295 15463 0 0 140 4 165 5 20 0 1 0 271423792 21618688 3621 33554432000 4194304 5992684 140736058580208 140736058566472 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/866/statm: 5278 3621 166 440 0 4834 0
[pid=878] ppid=866 vsize=74152 CPUtime=9.26 cores=1,3,5,7
/proc/878/stat : 878 (glucosInc) R 866 863 824 0 -1 4202496 11702 0 0 0 922 4 0 0 20 0 1 0 271424135 75931648 17781 33554432000 4194304 5654031 140734158106224 140734158104248 4232581 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/878/statm: 18538 17781 132 357 0 18178 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 104412

[startup+25.5003 s]
/proc/loadavg: 2.03 2.06 1.98 3/181 879
/proc/meminfo: memFree=28280440/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=21112 CPUtime=3.14 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 3295 15463 0 0 140 4 165 5 20 0 1 0 271423792 21618688 3621 33554432000 4194304 5992684 140736058580208 140736058566472 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/866/statm: 5278 3621 166 440 0 4834 0
[pid=878] ppid=866 vsize=74152 CPUtime=22.05 cores=1,3,5,7
/proc/878/stat : 878 (glucosInc) R 866 863 824 0 -1 4202496 12196 0 0 0 2199 6 0 0 20 0 1 0 271424135 75931648 17781 33554432000 4194304 5654031 140734158106224 140734158104248 4232581 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/878/statm: 18538 17781 132 357 0 18178 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 104412

[startup+51.1003 s]
/proc/loadavg: 2.02 2.05 1.98 3/181 879
/proc/meminfo: memFree=28274376/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=21112 CPUtime=3.14 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 3295 15463 0 0 140 4 165 5 20 0 1 0 271423792 21618688 3621 33554432000 4194304 5992684 140736058580208 140736058566472 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/866/statm: 5278 3621 166 440 0 4834 0
[pid=878] ppid=866 vsize=123472 CPUtime=47.64 cores=1,3,5,7
/proc/878/stat : 878 (glucosInc) R 866 863 824 0 -1 4202496 13418 0 0 0 4752 12 0 0 20 0 1 0 271424135 126435328 28127 33554432000 4194304 5654031 140734158106224 140734158104152 4232912 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/878/statm: 30868 28127 132 357 0 30508 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 153732

[startup+102.3 s]
/proc/loadavg: 2.00 2.04 1.98 3/181 879
/proc/meminfo: memFree=28269260/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=21112 CPUtime=3.14 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 3295 15463 0 0 140 4 165 5 20 0 1 0 271423792 21618688 3621 33554432000 4194304 5992684 140736058580208 140736058566472 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/866/statm: 5278 3621 166 440 0 4834 0
[pid=878] ppid=866 vsize=123472 CPUtime=98.83 cores=1,3,5,7
/proc/878/stat : 878 (glucosInc) R 866 863 824 0 -1 4202496 17698 0 0 0 9861 22 0 0 20 0 1 0 271424135 126435328 21983 33554432000 4194304 5654031 140734158106224 140734158104248 4877973 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/878/statm: 30868 21983 132 357 0 30508 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 153732

[startup+162.307 s]
/proc/loadavg: 2.00 2.03 1.98 3/181 879
/proc/meminfo: memFree=28192536/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=21112 CPUtime=3.14 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 3295 15463 0 0 140 4 165 5 20 0 1 0 271423792 21618688 3621 33554432000 4194304 5992684 140736058580208 140736058566472 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/866/statm: 5278 3621 166 440 0 4834 0
[pid=878] ppid=866 vsize=123472 CPUtime=158.83 cores=1,3,5,7
/proc/878/stat : 878 (glucosInc) R 866 863 824 0 -1 4202496 22293 0 0 0 15851 32 0 0 20 0 1 0 271424135 126435328 29151 33554432000 4194304 5654031 140734158106224 140734158104152 4232922 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/878/statm: 30868 29151 132 357 0 30508 0
Current children cumulated CPU time (s) 161.97
Current children cumulated vsize (KiB) 153732

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/181 893
/proc/meminfo: memFree=28032344/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30468 CPUtime=187.8 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) R 863 863 824 0 -1 4202496 17009 72469 0 0 473 108 18146 53 20 0 1 0 271423792 31199232 6009 33554432000 4194304 5992684 140736058580208 140736058575576 5179600 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7617 6009 183 440 0 7173 0
[pid=889] ppid=866 vsize=172324 CPUtime=34.14 cores=1,3,5,7
/proc/889/stat : 889 (glucosInc) S 866 863 824 0 -1 4202496 33082 0 0 0 3405 9 0 0 20 0 1 0 271442565 176459776 38315 33554432000 4194304 5654031 140733281029424 140733281027736 4976656 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/889/statm: 43081 38315 147 357 0 42721 0
Current children cumulated CPU time (s) 221.94
Current children cumulated vsize (KiB) 211940

[startup+282.3 s]

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

/proc/loadavg: 2.00 2.00 2.00 3/181 920
/proc/meminfo: memFree=27814940/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=284092 CPUtime=954.98 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 55245 0 0 0 95430 68 0 0 20 0 1 0 271458503 290910208 67552 33554432000 4194304 5654031 140733970028704 140733970026488 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 71023 67552 141 357 0 70663 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 323712

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 920
/proc/meminfo: memFree=27706468/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=499872 CPUtime=1014.97 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 56759 0 0 0 101424 73 0 0 20 0 1 0 271458503 511868928 100351 33554432000 4194304 5654031 140733970028704 140733970026488 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 124968 100351 141 357 0 124608 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 539492

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 920
/proc/meminfo: memFree=27832584/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=287044 CPUtime=1074.95 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 57966 0 0 0 107416 79 0 0 20 0 1 0 271458503 293933056 64240 33554432000 4194304 5654031 140733970028704 140733970026792 4208659 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 71761 64240 141 357 0 71401 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 326664

[startup+1482.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 920
/proc/meminfo: memFree=27627536/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=501696 CPUtime=1134.94 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 59237 0 0 0 113411 83 0 0 20 0 1 0 271458503 513736704 98726 33554432000 4194304 5654031 140733970028704 140733970026488 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 125424 98726 141 357 0 125064 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 541316

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 921
/proc/meminfo: memFree=27831056/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=238604 CPUtime=1194.93 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 59580 0 0 0 119404 89 0 0 20 0 1 0 271458503 244330496 56203 33554432000 4194304 5654031 140733970028704 140733970026792 4232939 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 59651 56203 141 357 0 59291 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 278224

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 921
/proc/meminfo: memFree=27634644/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=502340 CPUtime=1254.92 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 61437 0 0 0 125399 93 0 0 20 0 1 0 271458503 514396160 91785 33554432000 4194304 5654031 140733970028704 140733970026792 4215307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 125585 91785 141 357 0 125225 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 541960

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 924
/proc/meminfo: memFree=27633592/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=239828 CPUtime=1314.91 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 61869 0 0 0 131392 99 0 0 20 0 1 0 271458503 245583872 51831 33554432000 4194304 5654031 140733970028704 140733970026792 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 59957 51831 141 357 0 59597 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 279448

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 924
/proc/meminfo: memFree=27626112/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=371304 CPUtime=1374.9 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 63255 0 0 0 137388 102 0 0 20 0 1 0 271458503 380215296 82852 33554432000 4194304 5654031 140733970028704 140733970026792 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 92826 82852 141 357 0 92466 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 410924

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 924
/proc/meminfo: memFree=27674312/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=504400 CPUtime=1434.89 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 63970 0 0 0 143383 106 0 0 20 0 1 0 271458503 516505600 107675 33554432000 4194304 5654031 140733970028704 140733970026488 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 126100 107675 141 357 0 125740 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 544020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 924
/proc/meminfo: memFree=27574552/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=504832 CPUtime=1453.38 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 64079 0 0 0 145232 106 0 0 20 0 1 0 271458503 516947968 115944 33554432000 4194304 5654031 140733970028704 140733970026488 4215200 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 126208 115944 141 357 0 125848 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 544452

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 863 and gives
#  childrusage.ru_utime.tv_sec=344
#  childrusage.ru_utime.tv_usec=406642
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=330645
# CPU time returned by wait4() is 346.737
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.81
CPU time (s): 1800.1
CPU user time (s): 1796.72
CPU system time (s): 3.38
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (KiB): 592504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 344.407
system time used= 2.33065
maximum resident set size= 204832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208751
page faults= 0
swaps= 0
block input operations= 0
block output operations= 626288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2204
involuntary context switches= 576

runsolver used 11.0643 second user time and 14.5398 second system time

The end

Launcher Data 

Begin job on node107 at 2012-05-26 19:22:32
IDJOB=3698044
IDBENCH=1965
IDSOLVER=2275
FILE ID=node107/3698044-1338052952
RUNJOBID= node107-1338052952-841
PBS_JOBID= 14624408
Free space on /tmp= 71476 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3698044-1338052952/watcher-3698044-1338052952 -o /tmp/evaluation-result-3698044-1338052952/solver-3698044-1338052952 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itd.sh HOME/instance-3698044-1338052952.opb 2080573990 HOME HOME

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

MD5SUM BENCH= 3119db8d3d273f04fc4f3b1324a85224
RANDOM SEED=2080573990

node107.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.760
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	: 5333.52
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.760
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.760
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.760
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.91
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.760
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.760
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	: 5331.91
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.760
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.86
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.760
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:       32873844 kB
MemFree:        28506856 kB
Buffers:          254484 kB
Cached:          3323392 kB
SwapCached:            0 kB
Active:           779340 kB
Inactive:        2808980 kB
Active(anon):      13056 kB
Inactive(anon):        0 kB
Active(file):     766284 kB
Inactive(file):  2808980 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             49840 kB
Writeback:             0 kB
AnonPages:         22272 kB
Mapped:            13640 kB
Shmem:               200 kB
Slab:             638464 kB
SReclaimable:      80376 kB
SUnreclaim:       558088 kB
KernelStack:        1432 kB
PageTables:         3920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     103820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71332 MiB
End job on node107 at 2012-05-26 19:52:33