Trace number 3695296

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
pb2satCp2 2012-05-19? (TO) 1800.02 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
MD5SUM30f336dd624b9f7763c8bbeed1369f76
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-31135
Best CPU time to get the best result obtained on this benchmark1800.71
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 389
Biggest coefficient in the objective function 998
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 185532
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 998
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 185532
Number of bits of the biggest sum of numbers18
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.44	c fallback to adder encoding
5.49/5.56	c model valid
5.49/5.56	c current solution ok
8.43/8.53	o -13773
8.43/8.53	c fallback to adder encoding
19.36/19.44	c model valid
19.36/19.44	c current solution ok
19.40/19.50	o -15283
19.40/19.50	c fallback to adder encoding
26.16/26.26	c model valid
26.16/26.26	c current solution ok
26.26/26.31	o -15679
26.26/26.31	c fallback to adder encoding
32.36/32.47	c model valid
32.36/32.47	c current solution ok
32.44/32.53	o -15682
32.44/32.53	c fallback to adder encoding
69.17/69.22	c model valid
69.17/69.22	c current solution ok
69.17/69.27	o -19371
69.17/69.27	c fallback to adder encoding
83.64/83.74	c model valid
83.64/83.74	c current solution ok
83.64/83.79	o -19698
83.64/83.79	c fallback to adder encoding
97.64/97.71	c model valid
97.64/97.71	c current solution ok
97.64/97.76	o -24385
97.64/97.76	c fallback to adder encoding
772.93/773.18	c model valid
772.93/773.18	c current solution ok
773.02/773.24	o -26139
773.02/773.24	c fallback to adder encoding
1714.75/1715.11	c model valid
1714.75/1715.11	c current solution ok
1714.75/1715.17	o -26588
1714.75/1715.17	c fallback to adder encoding
1800.02/1800.41	c error: unexpected solver exit code
1800.02/1800.41	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-3695296-1338126279/watcher-3695296-1338126279 -o /tmp/evaluation-result-3695296-1338126279/solver-3695296-1338126279 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695296-1338126279.opb 2026573407 HOME HOME 

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

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.00 2.00 1.95 3/179 26521
/proc/meminfo: memFree=27402572/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0

[startup+0.0861379 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26521
/proc/meminfo: memFree=27402572/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100219 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26521
/proc/meminfo: memFree=27402572/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26521
/proc/meminfo: memFree=27402572/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700242 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26521
/proc/meminfo: memFree=27402572/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50037 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 26525
/proc/meminfo: memFree=27198552/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
[pid=26522] ppid=26521 vsize=63356 CPUtime=0.84 cores=0,2,4,6
/proc/26522/stat : 26522 (pb2sat) S 26521 26521 26234 0 -1 4202496 10807 0 0 0 77 7 0 0 20 0 1 0 278755169 64876544 15077 33554432000 4194304 5873084 140736492732480 140736492728904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26522/statm: 15839 15077 171 410 0 15421 0
[pid=26524] ppid=26522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26524/stat : 26524 (satsolver.sh) S 26522 26521 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278755254 9367552 267 33554432000 4194304 5064252 140736132470608 140736132469520 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26524/statm: 2287 267 226 213 0 72 0
[pid=26525] ppid=26524 vsize=94064 CPUtime=0.63 cores=0,2,4,6
/proc/26525/stat : 26525 (glucose_static) R 26524 26521 26234 0 -1 4202496 19106 0 0 0 59 4 0 0 20 0 1 0 278755254 96321536 19966 33554432000 4194304 4896791 140736423845072 140736423842872 4205073 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26525/statm: 23516 19966 76 172 0 23342 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 175716

[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 26525
/proc/meminfo: memFree=27152676/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
[pid=26522] ppid=26521 vsize=63356 CPUtime=0.84 cores=0,2,4,6
/proc/26522/stat : 26522 (pb2sat) S 26521 26521 26234 0 -1 4202496 10807 0 0 0 77 7 0 0 20 0 1 0 278755169 64876544 15077 33554432000 4194304 5873084 140736492732480 140736492728904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26522/statm: 15839 15077 171 410 0 15421 0
[pid=26524] ppid=26522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26524/stat : 26524 (satsolver.sh) S 26522 26521 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278755254 9367552 267 33554432000 4194304 5064252 140736132470608 140736132469520 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26524/statm: 2287 267 226 213 0 72 0
[pid=26525] ppid=26524 vsize=94280 CPUtime=2.23 cores=0,2,4,6
/proc/26525/stat : 26525 (glucose_static) R 26524 26521 26234 0 -1 4202496 19414 0 0 0 219 4 0 0 20 0 1 0 278755254 96542720 20548 33554432000 4194304 4896791 140736423845072 140736423842584 4224921 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26525/statm: 23570 20548 78 172 0 23396 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 175932

[startup+6.30016 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 26525
/proc/meminfo: memFree=27148368/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
[pid=26522] ppid=26521 vsize=65008 CPUtime=6.27 cores=0,2,4,6
/proc/26522/stat : 26522 (pb2sat) R 26521 26521 26234 0 -1 4202496 12178 20696 0 0 95 72 455 5 20 0 1 0 278755169 66568192 15496 33554432000 4194304 5873084 140736492732480 140736492727912 5127520 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/26522/statm: 16252 15496 179 410 0 15834 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 74156

[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 1.96 3/183 26531
/proc/meminfo: memFree=27060020/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
[pid=26522] ppid=26521 vsize=71152 CPUtime=8.55 cores=0,2,4,6
/proc/26522/stat : 26522 (pb2sat) S 26521 26521 26234 0 -1 4202496 13730 21210 0 0 126 262 455 12 20 0 1 0 278755169 72859648 16759 33554432000 4194304 5873084 140736492732480 140736492726296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26522/statm: 17788 16759 180 410 0 17370 0
[pid=26527] ppid=26522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26527/stat : 26527 (satsolver.sh) S 26522 26521 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278756027 9367552 267 33554432000 4194304 5064252 140735991773312 140735991772224 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26527/statm: 2287 267 226 213 0 72 0
[pid=26528] ppid=26527 vsize=98000 CPUtime=4.11 cores=0,2,4,6
/proc/26528/stat : 26528 (glucose_static) R 26527 26521 26234 0 -1 4202496 21580 0 0 0 406 5 0 0 20 0 1 0 278756027 100352000 22718 33554432000 4194304 4896791 140733955272592 140733955269800 4223975 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26528/statm: 24500 22718 78 172 0 24326 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 187448

[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 1.96 3/183 26534
/proc/meminfo: memFree=27064716/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
[pid=26522] ppid=26521 vsize=71152 CPUtime=19.51 cores=0,2,4,6
/proc/26522/stat : 26522 (pb2sat) S 26521 26521 26234 0 -1 4202496 17002 45242 0 0 140 263 1523 25 20 0 1 0 278755169 72859648 16759 33554432000 4194304 5873084 140736492732480 140736492726296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26522/statm: 17788 16759 180 410 0 17370 0
[pid=26533] ppid=26522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26533/stat : 26533 (satsolver.sh) S 26522 26521 26234 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 278757123 9367552 265 33554432000 4194304 5064252 140737313030992 140737313029904 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26533/statm: 2287 265 226 213 0 72 0
[pid=26534] ppid=26533 vsize=98140 CPUtime=5.94 cores=0,2,4,6
/proc/26534/stat : 26534 (glucose_static) R 26533 26521 26234 0 -1 4202496 21621 0 0 0 590 4 0 0 20 0 1 0 278757123 100495360 22690 33554432000 4194304 4896791 140733260959344 140733260956696 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26534/statm: 24535 22690 78 172 0 24361 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 187588

[startup+51.1003 s]
/proc/loadavg: 2.10 2.03 1.96 3/181 26543
/proc/meminfo: memFree=27151744/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
[pid=26522] ppid=26521 vsize=71152 CPUtime=32.53 cores=0,2,4,6
/proc/26522/stat : 26522 (pb2sat) S 26521 26521 26234 0 -1 4202496 23536 92610 0 0 168 264 2773 48 20 0 1 0 278755169 72859648 16759 33554432000 4194304 5873084 140736492732480 140736492726296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26522/statm: 17788 16759 180 410 0 17370 0
[pid=26539] ppid=26522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26539/stat : 26539 (satsolver.sh) S 26522 26521 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278758426 9367552 266 33554432000 4194304 5064252 140735681481760 140735681480672 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26539/statm: 2287 266 226 213 0 72 0
[pid=26540] ppid=26539 vsize=110468 CPUtime=18.51 cores=0,2,4,6
/proc/26540/stat : 26540 (glucose_static) R 26539 26521 26234 0 -1 4202496 21523 0 0 0 1847 4 0 0 20 0 1 0 278758427 113119232 23054 33554432000 4194304 4896791 140733627308800 140733627306328 4224994 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26540/statm: 27617 23054 78 172 0 27443 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 199916

[startup+102.307 s]
/proc/loadavg: 2.08 2.04 1.97 3/183 26556
/proc/meminfo: memFree=27052700/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
[pid=26522] ppid=26521 vsize=74224 CPUtime=97.76 cores=0,2,4,6
/proc/26522/stat : 26522 (pb2sat) S 26521 26521 26234 0 -1 4202496 33258 169050 0 0 213 267 9211 85 20 0 1 0 278755169 76005376 17509 33554432000 4194304 5873084 140736492732480 140736492726296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26522/statm: 18556 17509 180 410 0 18138 0
[pid=26554] ppid=26522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26554/stat : 26554 (satsolver.sh) S 26522 26521 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278764950 9367552 266 33554432000 4194304 5064252 140733578817744 140733578816656 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26554/statm: 2287 266 226 213 0 72 0
[pid=26555] ppid=26554 vsize=98144 CPUtime=4.47 cores=0,2,4,6
/proc/26555/stat : 26555 (glucose_static) R 26554 26521 26234 0 -1 4202496 22476 0 0 0 442 5 0 0 20 0 1 0 278764951 100499456 22475 33554432000 4194304 4896791 140734340410848 140734340408168 4224770 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26555/statm: 24536 22475 78 172 0 24362 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 190664

[startup+162.3 s]
/proc/loadavg: 2.06 2.04 1.97 3/183 26559
/proc/meminfo: memFree=27053828/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
[pid=26522] ppid=26521 vsize=74224 CPUtime=97.76 cores=0,2,4,6
/proc/26522/stat : 26522 (pb2sat) S 26521 26521 26234 0 -1 4202496 33258 169050 0 0 213 267 9211 85 20 0 1 0 278755169 76005376 17509 33554432000 4194304 5873084 140736492732480 140736492726296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26522/statm: 18556 17509 180 410 0 18138 0
[pid=26554] ppid=26522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26554/stat : 26554 (satsolver.sh) S 26522 26521 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278764950 9367552 266 33554432000 4194304 5064252 140733578817744 140733578816656 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26554/statm: 2287 266 226 213 0 72 0
[pid=26555] ppid=26554 vsize=113736 CPUtime=64.46 cores=0,2,4,6
/proc/26555/stat : 26555 (glucose_static) R 26554 26521 26234 0 -1 4202496 28793 0 0 0 6437 9 0 0 20 0 1 0 278764951 116465664 23837 33554432000 4194304 4896791 140734340410848 140734340408376 4202905 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26555/statm: 28434 23837 78 172 0 28260 0
Current children cumulated CPU time (s) 162.22

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

/proc/26570/stat : 26570 (glucose_static) R 26569 26521 26234 0 -1 4202496 55040 0 0 0 58862 27 0 0 20 0 1 0 278832497 155451392 33201 33554432000 4194304 4896791 140735384799360 140735384796504 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26570/statm: 37952 33201 78 172 0 37778 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 244328

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 26602
/proc/meminfo: memFree=26993384/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
[pid=26522] ppid=26521 vsize=74224 CPUtime=773.11 cores=0,2,4,6
/proc/26522/stat : 26522 (pb2sat) S 26521 26521 26234 0 -1 4202496 36528 221052 0 0 227 268 76698 118 20 0 1 0 278755169 76005376 17509 33554432000 4194304 5873084 140736492732480 140736492726296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26522/statm: 18556 17509 180 410 0 18138 0
[pid=26569] ppid=26522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26569/stat : 26569 (satsolver.sh) S 26522 26521 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278832497 9367552 267 33554432000 4194304 5064252 140735621792960 140735621791872 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26569/statm: 2287 267 226 213 0 72 0
[pid=26570] ppid=26569 vsize=151808 CPUtime=648.9 cores=0,2,4,6
/proc/26570/stat : 26570 (glucose_static) R 26569 26521 26234 0 -1 4202496 55042 0 0 0 64862 28 0 0 20 0 1 0 278832497 155451392 34225 33554432000 4194304 4896791 140735384799360 140735384796504 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26570/statm: 37952 34225 78 172 0 37778 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 244328

[startup+1482.3 s]
/proc/loadavg: 2.10 2.03 1.99 3/183 26602
/proc/meminfo: memFree=26979644/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
[pid=26522] ppid=26521 vsize=74224 CPUtime=773.11 cores=0,2,4,6
/proc/26522/stat : 26522 (pb2sat) S 26521 26521 26234 0 -1 4202496 36528 221052 0 0 227 268 76698 118 20 0 1 0 278755169 76005376 17509 33554432000 4194304 5873084 140736492732480 140736492726296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26522/statm: 18556 17509 180 410 0 18138 0
[pid=26569] ppid=26522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26569/stat : 26569 (satsolver.sh) S 26522 26521 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278832497 9367552 267 33554432000 4194304 5064252 140735621792960 140735621791872 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26569/statm: 2287 267 226 213 0 72 0
[pid=26570] ppid=26569 vsize=151808 CPUtime=708.88 cores=0,2,4,6
/proc/26570/stat : 26570 (glucose_static) R 26569 26521 26234 0 -1 4202496 55044 0 0 0 70860 28 0 0 20 0 1 0 278832497 155451392 35249 33554432000 4194304 4896791 140735384799360 140735384796504 4203856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26570/statm: 37952 35249 78 172 0 37778 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 244328

[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 1.99 3/184 26605
/proc/meminfo: memFree=26977476/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
[pid=26522] ppid=26521 vsize=74224 CPUtime=773.11 cores=0,2,4,6
/proc/26522/stat : 26522 (pb2sat) S 26521 26521 26234 0 -1 4202496 36528 221052 0 0 227 268 76698 118 20 0 1 0 278755169 76005376 17509 33554432000 4194304 5873084 140736492732480 140736492726296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26522/statm: 18556 17509 180 410 0 18138 0
[pid=26569] ppid=26522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26569/stat : 26569 (satsolver.sh) S 26522 26521 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278832497 9367552 267 33554432000 4194304 5064252 140735621792960 140735621791872 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26569/statm: 2287 267 226 213 0 72 0
[pid=26570] ppid=26569 vsize=182584 CPUtime=768.87 cores=0,2,4,6
/proc/26570/stat : 26570 (glucose_static) R 26569 26521 26234 0 -1 4202496 55863 0 0 0 76859 28 0 0 20 0 1 0 278832497 186966016 36867 33554432000 4194304 4896791 140735384799360 140735384796888 4203877 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26570/statm: 45646 36867 78 172 0 45472 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 275104

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/183 26605
/proc/meminfo: memFree=26947988/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
[pid=26522] ppid=26521 vsize=74224 CPUtime=773.11 cores=0,2,4,6
/proc/26522/stat : 26522 (pb2sat) S 26521 26521 26234 0 -1 4202496 36528 221052 0 0 227 268 76698 118 20 0 1 0 278755169 76005376 17509 33554432000 4194304 5873084 140736492732480 140736492726296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26522/statm: 18556 17509 180 410 0 18138 0
[pid=26569] ppid=26522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26569/stat : 26569 (satsolver.sh) S 26522 26521 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278832497 9367552 267 33554432000 4194304 5064252 140735621792960 140735621791872 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26569/statm: 2287 267 226 213 0 72 0
[pid=26570] ppid=26569 vsize=182832 CPUtime=828.86 cores=0,2,4,6
/proc/26570/stat : 26570 (glucose_static) R 26569 26521 26234 0 -1 4202496 55933 0 0 0 82857 29 0 0 20 0 1 0 278832497 187219968 38975 33554432000 4194304 4896791 140735384799360 140735384796504 4203968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26570/statm: 45708 38975 78 172 0 45534 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 275352

[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 26606
/proc/meminfo: memFree=26912932/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
[pid=26522] ppid=26521 vsize=74224 CPUtime=773.11 cores=0,2,4,6
/proc/26522/stat : 26522 (pb2sat) S 26521 26521 26234 0 -1 4202496 36528 221052 0 0 227 268 76698 118 20 0 1 0 278755169 76005376 17509 33554432000 4194304 5873084 140736492732480 140736492726296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26522/statm: 18556 17509 180 410 0 18138 0
[pid=26569] ppid=26522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26569/stat : 26569 (satsolver.sh) S 26522 26521 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278832497 9367552 267 33554432000 4194304 5064252 140735621792960 140735621791872 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26569/statm: 2287 267 226 213 0 72 0
[pid=26570] ppid=26569 vsize=183656 CPUtime=888.85 cores=0,2,4,6
/proc/26570/stat : 26570 (glucose_static) R 26569 26521 26234 0 -1 4202496 56610 0 0 0 88856 29 0 0 20 0 1 0 278832497 188063744 43791 33554432000 4194304 4896791 140735384799360 140735384796888 4203765 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26570/statm: 45914 43791 78 172 0 45740 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 276176

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 26609
/proc/meminfo: memFree=27010668/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
[pid=26522] ppid=26521 vsize=74224 CPUtime=1714.85 cores=0,2,4,6
/proc/26522/stat : 26522 (pb2sat) S 26521 26521 26234 0 -1 4202496 39705 280652 0 0 241 268 170821 155 20 0 1 0 278755169 76005376 17509 33554432000 4194304 5873084 140736492732480 140736492726296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26522/statm: 18556 17509 180 410 0 18138 0
[pid=26608] ppid=26522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26608/stat : 26608 (satsolver.sh) S 26522 26521 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278926690 9367552 267 33554432000 4194304 5064252 140734399100768 140734399099680 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26608/statm: 2287 267 226 213 0 72 0
[pid=26609] ppid=26608 vsize=98088 CPUtime=7.07 cores=0,2,4,6
/proc/26609/stat : 26609 (glucose_static) R 26608 26521 26234 0 -1 4202496 21887 0 0 0 701 6 0 0 20 0 1 0 278926690 100442112 22319 33554432000 4194304 4896791 140736480137616 140736480135128 4203058 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26609/statm: 24522 22319 78 172 0 24348 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 190608

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 26609
/proc/meminfo: memFree=27013132/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
[pid=26522] ppid=26521 vsize=74224 CPUtime=1714.85 cores=0,2,4,6
/proc/26522/stat : 26522 (pb2sat) S 26521 26521 26234 0 -1 4202496 39705 280652 0 0 241 268 170821 155 20 0 1 0 278755169 76005376 17509 33554432000 4194304 5873084 140736492732480 140736492726296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26522/statm: 18556 17509 180 410 0 18138 0
[pid=26608] ppid=26522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26608/stat : 26608 (satsolver.sh) S 26522 26521 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278926690 9367552 267 33554432000 4194304 5064252 140734399100768 140734399099680 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26608/statm: 2287 267 226 213 0 72 0
[pid=26609] ppid=26608 vsize=115256 CPUtime=67.06 cores=0,2,4,6
/proc/26609/stat : 26609 (glucose_static) R 26608 26521 26234 0 -1 4202496 31161 0 0 0 6696 10 0 0 20 0 1 0 278926690 118022144 24790 33554432000 4194304 4896791 140736480137616 140736480134824 4225088 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26609/statm: 28814 24790 78 172 0 28640 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 207776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 26649
/proc/meminfo: memFree=27222312/32873648 swapFree=6336/6336
[pid=26521] ppid=26519 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26521/stat : 26521 (runPb2satCp2.sh) S 26519 26521 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755169 9367552 274 33554432000 4194304 5064252 140737266457392 140737266456304 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26521/statm: 2287 274 233 213 0 72 0
[pid=26522] ppid=26521 vsize=74224 CPUtime=1714.85 cores=0,2,4,6
/proc/26522/stat : 26522 (pb2sat) S 26521 26521 26234 0 -1 4202496 39705 280652 0 0 241 268 170821 155 20 0 1 0 278755169 76005376 17509 33554432000 4194304 5873084 140736492732480 140736492726296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26522/statm: 18556 17509 180 410 0 18138 0
[pid=26608] ppid=26522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26608/stat : 26608 (satsolver.sh) S 26522 26521 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278926690 9367552 267 33554432000 4194304 5064252 140734399100768 140734399099680 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26608/statm: 2287 267 226 213 0 72 0
[pid=26609] ppid=26608 vsize=116616 CPUtime=85.17 cores=0,2,4,6
/proc/26609/stat : 26609 (glucose_static) R 26608 26521 26234 0 -1 4202496 33598 0 0 0 8506 11 0 0 20 0 1 0 278926690 119414784 26160 33554432000 4194304 4896791 140736480137616 140736480133288 4225134 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26609/statm: 29154 26160 78 172 0 28980 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 209136

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 26521 and gives
#  childrusage.ru_utime.tv_sec=1710
#  childrusage.ru_utime.tv_usec=638943
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=250353
# CPU time returned by wait4() is 1714.89
# while last known CPU time is 1800.02
#
# 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.02
CPU user time (s): 1795.68
CPU system time (s): 4.34
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 376412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1710.64
system time used= 4.25035
maximum resident set size= 218292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321334
page faults= 0
swaps= 0
block input operations= 0
block output operations= 734952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 167
involuntary context switches= 2253

runsolver used 2.89456 second user time and 7.19991 second system time

The end

Launcher Data 

Begin job on node112 at 2012-05-27 15:44:39
IDJOB=3695296
IDBENCH=90546
IDSOLVER=2273
FILE ID=node112/3695296-1338126279
RUNJOBID= node112-1338122673-26250
PBS_JOBID= 14624490
Free space on /tmp= 71556 MiB

SOLVER NAME= pb2satCp2 2012-05-19
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
COMMAND LINE= DIR/runPb2satCp2.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3695296-1338126279/watcher-3695296-1338126279 -o /tmp/evaluation-result-3695296-1338126279/solver-3695296-1338126279 -C 1800 -W 1900 -M 15500  HOME/runPb2satCp2.sh HOME/instance-3695296-1338126279.opb 2026573407 HOME HOME

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

MD5SUM BENCH= 30f336dd624b9f7763c8bbeed1369f76
RANDOM SEED=2026573407

node112.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.763
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.763
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.763
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.763
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.763
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.92
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.763
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.92
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.763
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.763
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:        27406456 kB
Buffers:          343896 kB
Cached:          4221040 kB
SwapCached:            0 kB
Active:           855296 kB
Inactive:        3797108 kB
Active(anon):      90160 kB
Inactive(anon):        0 kB
Active(file):     765136 kB
Inactive(file):  3797108 kB
Unevictable:        6336 kB
Mlocked:            6336 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             54920 kB
Writeback:             0 kB
AnonPages:        261744 kB
Mapped:            15012 kB
Shmem:               200 kB
Slab:             677064 kB
SReclaimable:     120920 kB
SUnreclaim:       556144 kB
KernelStack:        1464 kB
PageTables:         3736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     235824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 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= 71512 MiB
End job on node112 at 2012-05-27 16:14:40