Trace number 3700940

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 1.0? (TO) 1800.02 1800.42

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat85_4_27_0.opb
MD5SUM0c13b673fccb5ec76783fc37235090e7
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6221849
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14620
Total number of constraints21851
Number of constraints which are clauses170
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints21675
Minimum length of a constraint2
Maximum length of a constraint3570
Number of terms in the objective function 14365
Biggest coefficient in the objective function 179406144
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 130390723337
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 179406144
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 130390723337
Number of bits of the biggest sum of numbers37
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.58	c run usual solver
7.07/7.13	c model valid
7.07/7.13	c current solution ok
8.47/8.59	o 272146779
8.47/8.59	c current bound: 136073432
8.47/8.59	c fallback to adder encoding
51.86/51.93	c model valid
51.86/51.93	c current solution ok
51.86/51.99	o 40890939
51.86/51.99	c current bound: 20445512
51.86/51.99	c fallback to adder encoding
99.55/99.60	c model valid
99.55/99.60	c current solution ok
99.55/99.65	o 20305389
99.55/99.65	c current bound: 10152737
99.55/99.65	c fallback to adder encoding
1556.07/1556.42	c model valid
1556.07/1556.42	c current solution ok
1556.07/1556.47	o 9775933
1556.07/1556.47	c current bound: 4888009
1556.07/1556.47	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-3700940-1338137682/watcher-3700940-1338137682 -o /tmp/evaluation-result-3700940-1338137682/solver-3700940-1338137682 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700940-1338137682.opb 1153079000 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.04 2.01 2.00 3/179 23197
/proc/meminfo: memFree=28865096/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (runsolver) D 23195 23197 21157 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 279895602 12095488 51 33554432000 4194304 5436572 140734537813312 140734537809608 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/23197/statm: 2953 51 31 304 0 2645 0

[startup+0.0330281 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23197
/proc/meminfo: memFree=28865096/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100218 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23197
/proc/meminfo: memFree=28865096/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300207 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23197
/proc/meminfo: memFree=28865096/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700303 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23197
/proc/meminfo: memFree=28865096/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5004 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 23201
/proc/meminfo: memFree=28642200/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
[pid=23199] ppid=23197 vsize=54656 CPUtime=0.59 cores=0,2,4,6
/proc/23199/stat : 23199 (npSolver-pbo) S 23197 23197 21157 0 -1 4202496 8513 0 0 0 53 6 0 0 20 0 1 0 279895603 55967744 10218 33554432000 4194304 5992684 140736077340720 140736077334752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23199/statm: 13664 10218 172 440 0 13220 0
[pid=23200] ppid=23199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (cp2_pre.sh) S 23199 23197 21157 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279895663 9367552 277 33554432000 4194304 5064252 140735619610608 140735619609312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23200/statm: 2287 277 234 213 0 72 0
[pid=23201] ppid=23200 vsize=221760 CPUtime=0.87 cores=0,2,4,6
/proc/23201/stat : 23201 (coprocessor) R 23200 23197 21157 0 -1 4202496 33154 0 0 0 81 6 0 0 20 0 1 0 279895663 227082240 50041 33554432000 4194304 6586260 140735338621552 140735338617864 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 55440 50041 166 584 0 54852 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 294712

[startup+3.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 23201
/proc/meminfo: memFree=28568836/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
[pid=23199] ppid=23197 vsize=54656 CPUtime=0.59 cores=0,2,4,6
/proc/23199/stat : 23199 (npSolver-pbo) S 23197 23197 21157 0 -1 4202496 8513 0 0 0 53 6 0 0 20 0 1 0 279895603 55967744 10218 33554432000 4194304 5992684 140736077340720 140736077334752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23199/statm: 13664 10218 172 440 0 13220 0
[pid=23200] ppid=23199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (cp2_pre.sh) S 23199 23197 21157 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279895663 9367552 277 33554432000 4194304 5064252 140735619610608 140735619609312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23200/statm: 2287 277 234 213 0 72 0
[pid=23201] ppid=23200 vsize=290944 CPUtime=2.47 cores=0,2,4,6
/proc/23201/stat : 23201 (coprocessor) R 23200 23197 21157 0 -1 4202496 45146 0 0 0 215 32 0 0 20 0 1 0 279895663 297926656 71320 33554432000 4194304 6586260 140735338621552 140735338617320 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/23201/statm: 72736 71320 202 584 0 72148 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 363896

[startup+6.30041 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 23204
/proc/meminfo: memFree=28696452/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
[pid=23199] ppid=23197 vsize=54656 CPUtime=3.94 cores=0,2,4,6
/proc/23199/stat : 23199 (npSolver-pbo) S 23197 23197 21157 0 -1 4202496 8521 46051 0 0 53 6 297 38 20 0 1 0 279895603 55967744 10218 33554432000 4194304 5992684 140736077340720 140736077335840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23199/statm: 13664 10218 172 440 0 13220 0
[pid=23203] ppid=23199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23203/stat : 23203 (satsolver.sh) S 23199 23197 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279895999 9367552 266 33554432000 4194304 5064252 140735299117104 140735299116016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23203/statm: 2287 266 226 213 0 72 0
[pid=23204] ppid=23203 vsize=114880 CPUtime=2.32 cores=0,2,4,6
/proc/23204/stat : 23204 (glucose) R 23203 23197 21157 0 -1 4202496 23084 0 0 0 227 5 0 0 20 0 1 0 279895999 117637120 26835 33554432000 4194304 5208918 140734041002128 140734040999960 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23204/statm: 28720 26835 103 248 0 28469 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 187832

[startup+12.7004 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 23211
/proc/meminfo: memFree=28234612/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
[pid=23199] ppid=23197 vsize=327468 CPUtime=11.17 cores=0,2,4,6
/proc/23199/stat : 23199 (npSolver-pbo) S 23197 23197 21157 0 -1 4202496 20564 76496 0 0 311 161 595 50 20 0 1 0 279895603 335327232 52272 33554432000 4194304 5992684 140736077340720 140736077333040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23199/statm: 81867 52272 188 440 0 81423 0
[pid=23210] ppid=23199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23210/stat : 23210 (satsolver.sh) S 23199 23197 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279896722 9367552 266 33554432000 4194304 5064252 140735564492208 140735564491120 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23210/statm: 2287 266 226 213 0 72 0
[pid=23211] ppid=23210 vsize=419176 CPUtime=1.48 cores=0,2,4,6
/proc/23211/stat : 23211 (glucose) R 23210 23197 21157 0 -1 4202496 55633 0 0 0 133 15 0 0 20 0 1 0 279896722 429236224 91963 33554432000 4194304 5208918 140736775148608 140736774098008 4465602 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23211/statm: 104794 91963 70 248 0 104543 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 764940

[startup+25.5004 s]
/proc/loadavg: 2.10 2.03 2.00 3/182 23211
/proc/meminfo: memFree=27996516/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
[pid=23199] ppid=23197 vsize=327468 CPUtime=11.17 cores=0,2,4,6
/proc/23199/stat : 23199 (npSolver-pbo) S 23197 23197 21157 0 -1 4202496 20564 76496 0 0 311 161 595 50 20 0 1 0 279895603 335327232 52272 33554432000 4194304 5992684 140736077340720 140736077333040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23199/statm: 81867 52272 188 440 0 81423 0
[pid=23210] ppid=23199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23210/stat : 23210 (satsolver.sh) S 23199 23197 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279896722 9367552 266 33554432000 4194304 5064252 140735564492208 140735564491120 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23210/statm: 2287 266 226 213 0 72 0
[pid=23211] ppid=23210 vsize=533188 CPUtime=14.29 cores=0,2,4,6
/proc/23211/stat : 23211 (glucose) R 23210 23197 21157 0 -1 4202496 77888 0 0 0 1404 25 0 0 20 0 1 0 279896722 545984512 114634 33554432000 4194304 5208918 140736775148608 140736775146280 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23211/statm: 133297 114634 104 248 0 133046 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 878952

[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 23215
/proc/meminfo: memFree=28404788/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
[pid=23199] ppid=23197 vsize=327468 CPUtime=50.29 cores=0,2,4,6
/proc/23199/stat : 23199 (npSolver-pbo) S 23197 23197 21157 0 -1 4202496 20572 155984 0 0 311 161 4477 80 20 0 1 0 279895603 335327232 52272 33554432000 4194304 5992684 140736077340720 140736077332528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23199/statm: 81867 52272 188 440 0 81423 0
[pid=23213] ppid=23199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23213/stat : 23213 (cp2_post.sh) S 23199 23197 21157 0 -1 4202496 611 226 0 0 0 0 0 0 20 0 1 0 279900634 9367552 265 33554432000 4194304 5064252 140737071657760 140737071656048 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23213/statm: 2287 265 225 213 0 72 0
[pid=23215] ppid=23213 vsize=54692 CPUtime=0.76 cores=0,2,4,6
/proc/23215/stat : 23215 (coprocessor) R 23213 23197 21157 0 -1 4202496 5744 0 0 0 58 18 0 0 20 0 1 0 279900635 56004608 10666 33554432000 4194304 6586260 140735191608832 140735191605400 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/23215/statm: 13673 10666 149 584 0 13085 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 400456

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 23226
/proc/meminfo: memFree=28462292/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
[pid=23199] ppid=23197 vsize=232728 CPUtime=101.22 cores=0,2,4,6
/proc/23199/stat : 23199 (npSolver-pbo) S 23197 23197 21157 0 -1 4202496 41047 241780 0 0 637 203 9064 218 20 0 1 0 279895603 238313472 46476 33554432000 4194304 5992684 140736077340720 140736077333040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23199/statm: 58182 46476 189 440 0 57738 0
[pid=23225] ppid=23199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23225/stat : 23225 (satsolver.sh) S 23199 23197 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279905731 9367552 267 33554432000 4194304 5064252 140734784537872 140734784536784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23225/statm: 2287 267 226 213 0 72 0
[pid=23226] ppid=23225 vsize=304888 CPUtime=1 cores=0,2,4,6
/proc/23226/stat : 23226 (glucose) R 23225 23197 21157 0 -1 4202496 45802 0 0 0 90 10 0 0 20 0 1 0 279905731 312205312 65528 33554432000 4194304 5208918 140735196772400 140735195721800 4465902 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 76222 65528 70 248 0 75971 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 555912

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 23226
/proc/meminfo: memFree=28134008/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
[pid=23199] ppid=23197 vsize=232728 CPUtime=101.22 cores=0,2,4,6
/proc/23199/stat : 23199 (npSolver-pbo) S 23197 23197 21157 0 -1 4202496 41047 241780 0 0 637 203 9064 218 20 0 1 0 279895603 238313472 46476 33554432000 4194304 5992684 140736077340720 140736077333040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23199/statm: 58182 46476 189 440 0 57738 0
[pid=23225] ppid=23199 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/23226/stat : 23226 (glucose) R 23225 23197 21157 0 -1 4202496 82780 0 0 0 132003 72 0 0 20 0 1 0 279905731 535801856 126572 33554432000 4194304 5208918 140735196772400 140735196770248 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 130811 126572 105 248 0 130560 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 774268

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23259
/proc/meminfo: memFree=27823836/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
[pid=23199] ppid=23197 vsize=232728 CPUtime=101.22 cores=0,2,4,6
/proc/23199/stat : 23199 (npSolver-pbo) S 23197 23197 21157 0 -1 4202496 41047 241780 0 0 637 203 9064 218 20 0 1 0 279895603 238313472 46476 33554432000 4194304 5992684 140736077340720 140736077333040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23199/statm: 58182 46476 189 440 0 57738 0
[pid=23225] ppid=23199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23225/stat : 23225 (satsolver.sh) S 23199 23197 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279905731 9367552 267 33554432000 4194304 5064252 140734784537872 140734784536784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23225/statm: 2287 267 226 213 0 72 0
[pid=23226] ppid=23225 vsize=661868 CPUtime=1380.74 cores=0,2,4,6
/proc/23226/stat : 23226 (glucose) R 23225 23197 21157 0 -1 4202496 84175 0 0 0 138000 74 0 0 20 0 1 0 279905731 677752832 136143 33554432000 4194304 5208918 140735196772400 140735196770232 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 165467 136143 105 248 0 165216 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 912892

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 23262
/proc/meminfo: memFree=27538628/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
[pid=23199] ppid=23197 vsize=232728 CPUtime=101.22 cores=0,2,4,6
/proc/23199/stat : 23199 (npSolver-pbo) S 23197 23197 21157 0 -1 4202496 41047 241780 0 0 637 203 9064 218 20 0 1 0 279895603 238313472 46476 33554432000 4194304 5992684 140736077340720 140736077333040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23199/statm: 58182 46476 189 440 0 57738 0
[pid=23225] ppid=23199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23225/stat : 23225 (satsolver.sh) S 23199 23197 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279905731 9367552 267 33554432000 4194304 5064252 140734784537872 140734784536784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23225/statm: 2287 267 226 213 0 72 0
[pid=23226] ppid=23225 vsize=661868 CPUtime=1440.73 cores=0,2,4,6
/proc/23226/stat : 23226 (glucose) R 23225 23197 21157 0 -1 4202496 84186 0 0 0 143999 74 0 0 20 0 1 0 279905731 677752832 141775 33554432000 4194304 5208918 140735196772400 140735196770232 4211901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23226/statm: 165467 141775 105 248 0 165216 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 912892

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23270
/proc/meminfo: memFree=28055772/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
[pid=23199] ppid=23197 vsize=232728 CPUtime=1557.56 cores=0,2,4,6
/proc/23199/stat : 23199 (npSolver-pbo) S 23197 23197 21157 0 -1 4202496 50786 335242 0 0 769 221 154435 331 20 0 1 0 279895603 238313472 43404 33554432000 4194304 5992684 140736077340720 140736077333040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23199/statm: 58182 43404 189 440 0 57738 0
[pid=23268] ppid=23199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23268/stat : 23268 (satsolver.sh) S 23199 23197 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280051391 9367552 266 33554432000 4194304 5064252 140734329860336 140734329859248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23268/statm: 2287 266 226 213 0 72 0
[pid=23269] ppid=23268 vsize=341368 CPUtime=44.39 cores=0,2,4,6
/proc/23269/stat : 23269 (glucose) R 23268 23197 21157 0 -1 4202496 57180 0 0 0 4423 16 0 0 20 0 1 0 280051391 349560832 79427 33554432000 4194304 5208918 140736185651776 140736185649528 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23269/statm: 85342 79427 105 248 0 85091 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 592392

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23270
/proc/meminfo: memFree=28047692/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
[pid=23199] ppid=23197 vsize=232728 CPUtime=1557.56 cores=0,2,4,6
/proc/23199/stat : 23199 (npSolver-pbo) S 23197 23197 21157 0 -1 4202496 50786 335242 0 0 769 221 154435 331 20 0 1 0 279895603 238313472 43404 33554432000 4194304 5992684 140736077340720 140736077333040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23199/statm: 58182 43404 189 440 0 57738 0
[pid=23268] ppid=23199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23268/stat : 23268 (satsolver.sh) S 23199 23197 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280051391 9367552 266 33554432000 4194304 5064252 140734329860336 140734329859248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23268/statm: 2287 266 226 213 0 72 0
[pid=23269] ppid=23268 vsize=343980 CPUtime=104.39 cores=0,2,4,6
/proc/23269/stat : 23269 (glucose) R 23268 23197 21157 0 -1 4202496 58510 0 0 0 10420 19 0 0 20 0 1 0 280051391 352235520 77868 33554432000 4194304 5208918 140736185651776 140736185649448 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23269/statm: 85995 77868 105 248 0 85744 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 595004

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 23270
/proc/meminfo: memFree=28029932/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
[pid=23199] ppid=23197 vsize=232728 CPUtime=1557.56 cores=0,2,4,6
/proc/23199/stat : 23199 (npSolver-pbo) S 23197 23197 21157 0 -1 4202496 50786 335242 0 0 769 221 154435 331 20 0 1 0 279895603 238313472 43404 33554432000 4194304 5992684 140736077340720 140736077333040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23199/statm: 58182 43404 189 440 0 57738 0
[pid=23268] ppid=23199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23268/stat : 23268 (satsolver.sh) S 23199 23197 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280051391 9367552 266 33554432000 4194304 5064252 140734329860336 140734329859248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23268/statm: 2287 266 226 213 0 72 0
[pid=23269] ppid=23268 vsize=346176 CPUtime=164.38 cores=0,2,4,6
/proc/23269/stat : 23269 (glucose) R 23268 23197 21157 0 -1 4202496 60104 0 0 0 16416 22 0 0 20 0 1 0 280051391 354484224 80123 33554432000 4194304 5208918 140736185651776 140736185649864 4211918 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23269/statm: 86544 80123 105 248 0 86293 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 597200

[startup+1782.31 s]
/proc/loadavg: 2.13 2.04 2.01 3/183 23336
/proc/meminfo: memFree=28533428/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
[pid=23199] ppid=23197 vsize=232728 CPUtime=1557.56 cores=0,2,4,6
/proc/23199/stat : 23199 (npSolver-pbo) S 23197 23197 21157 0 -1 4202496 50786 335242 0 0 769 221 154435 331 20 0 1 0 279895603 238313472 43404 33554432000 4194304 5992684 140736077340720 140736077333040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23199/statm: 58182 43404 189 440 0 57738 0
[pid=23268] ppid=23199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23268/stat : 23268 (satsolver.sh) S 23199 23197 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280051391 9367552 266 33554432000 4194304 5064252 140734329860336 140734329859248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23268/statm: 2287 266 226 213 0 72 0
[pid=23269] ppid=23268 vsize=348280 CPUtime=224.37 cores=0,2,4,6
/proc/23269/stat : 23269 (glucose) R 23268 23197 21157 0 -1 4202496 61456 0 0 0 22413 24 0 0 20 0 1 0 280051391 356638720 80091 33554432000 4194304 5208918 140736185651776 140736185649528 4211901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23269/statm: 87070 80091 105 248 0 86819 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 599304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 23336
/proc/meminfo: memFree=28508176/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
[pid=23199] ppid=23197 vsize=232728 CPUtime=1557.56 cores=0,2,4,6
/proc/23199/stat : 23199 (npSolver-pbo) S 23197 23197 21157 0 -1 4202496 50786 335242 0 0 769 221 154435 331 20 0 1 0 279895603 238313472 43404 33554432000 4194304 5992684 140736077340720 140736077333040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23199/statm: 58182 43404 189 440 0 57738 0
[pid=23268] ppid=23199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23268/stat : 23268 (satsolver.sh) S 23199 23197 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280051391 9367552 266 33554432000 4194304 5064252 140734329860336 140734329859248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23268/statm: 2287 266 226 213 0 72 0
[pid=23269] ppid=23268 vsize=348436 CPUtime=242.46 cores=0,2,4,6
/proc/23269/stat : 23269 (glucose) R 23268 23197 21157 0 -1 4202496 61553 0 0 0 24222 24 0 0 20 0 1 0 280051391 356798464 81721 33554432000 4194304 5208918 140736185651776 140736185649528 4205139 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23269/statm: 87109 81721 105 248 0 86858 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 599460

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.4 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 23336
/proc/meminfo: memFree=28508176/32873648 swapFree=7116/7116
[pid=23197] ppid=23195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23197/stat : 23197 (npSolver-pbo.sh) S 23195 23197 21157 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279895602 9367552 275 33554432000 4194304 5064252 140736607601872 140736607600784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23197/statm: 2287 275 233 213 0 72 0
[pid=23199] ppid=23197 vsize=232728 CPUtime=1557.56 cores=0,2,4,6
/proc/23199/stat : 23199 (npSolver-pbo) S 23197 23197 21157 0 -1 4202496 50786 335242 0 0 769 221 154435 331 20 0 1 0 279895603 238313472 43404 33554432000 4194304 5992684 140736077340720 140736077333040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23199/statm: 58182 43404 189 440 0 57738 0
[pid=23268] ppid=23199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23268/stat : 23268 (satsolver.sh) S 23199 23197 21157 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280051391 9367552 266 33554432000 4194304 5064252 140734329860336 140734329859248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23268/statm: 2287 266 226 213 0 72 0
[pid=23269] ppid=23268 vsize=348436 CPUtime=242.46 cores=0,2,4,6
/proc/23269/stat : 23269 (glucose) R 23268 23197 21157 0 -1 4202496 61553 0 0 0 24222 24 0 0 20 0 1 0 280051391 356798464 81721 33554432000 4194304 5208918 140736185651776 140736185649528 4205139 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23269/statm: 87109 81721 105 248 0 86858 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 599460

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23197 and gives
#  childrusage.ru_utime.tv_sec=1552
#  childrusage.ru_utime.tv_usec=51052
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=533158
# CPU time returned by wait4() is 1557.58
# 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.42
CPU time (s): 1800.02
CPU user time (s): 1794.26
CPU system time (s): 5.76
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 1332804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1552.05
system time used= 5.53316
maximum resident set size= 975672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387005
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1226208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6687
involuntary context switches= 1917

runsolver used 2.58161 second user time and 7.34788 second system time

The end

Launcher Data

Begin job on node114 at 2012-05-27 18:54:42
IDJOB=3700940
IDBENCH=92736
IDSOLVER=2277
FILE ID=node114/3700940-1338137682
RUNJOBID= node114-1338123068-21173
PBS_JOBID= 14624495
Free space on /tmp= 71336 MiB

SOLVER NAME= npSolver 1.0
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat85_4_27_0.opb
COMMAND LINE= DIR/npSolver-pbo.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3700940-1338137682/watcher-3700940-1338137682 -o /tmp/evaluation-result-3700940-1338137682/solver-3700940-1338137682 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo.sh HOME/instance-3700940-1338137682.opb 1153079000 HOME HOME

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

MD5SUM BENCH= 0c13b673fccb5ec76783fc37235090e7
RANDOM SEED=1153079000

node114.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.242
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.48
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.242
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.242
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	: 5451.90
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.242
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.242
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.242
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.242
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.242
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:        28864996 kB
Buffers:          516996 kB
Cached:          2092636 kB
SwapCached:         2128 kB
Active:          1899704 kB
Inactive:        1257276 kB
Active(anon):     541252 kB
Inactive(anon):     7892 kB
Active(file):    1358452 kB
Inactive(file):  1249384 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67103892 kB
Dirty:            129568 kB
Writeback:             0 kB
AnonPages:        675164 kB
Mapped:            15488 kB
Shmem:               116 kB
Slab:             711428 kB
SReclaimable:     155324 kB
SUnreclaim:       556104 kB
KernelStack:        1520 kB
PageTables:         5444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     739544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    370688 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= 71264 MiB
End job on node114 at 2012-05-27 19:24:43