Trace number 3751428

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-quickBound (fixed)? (TO) 1800.03 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mkc.opb
MD5SUMeae2e8a732d92a062f083ccb58900b63
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-147500
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -144250
Optimality of the best value was proved NO
Number of variables5383
Total number of constraints3279
Number of constraints which are clauses2977
Number of constraints which are cardinality constraints (but not clauses)276
Number of constraints which are nor clauses,nor cardinality constraints26
Minimum length of a constraint2
Maximum length of a constraint2952
Number of terms in the objective function 2946
Biggest coefficient in the objective function 20000
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 31442101
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 67108864000
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 138201238403
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.78/1.87	c run inc solver
1.78/1.87	c [INC SYSTEM] run initial solver
1.78/1.87	c [INC SYSTEM] preprocess with white file
9.11/9.20	c [INC SYSTEM] finished preprocessing in 7 s
9.11/9.20	c [INC SYSTEM] execute solver
630.21/630.43	c [INC SEARCH] formula is SAT
630.21/630.46	c [INC SYSTEM] solved the initial formula
630.21/630.47	c model valid
630.21/630.47	c current solution ok
632.81/633.05	o 0
632.81/633.05	c starting approximation
632.81/633.05	c factor = 3744
632.81/633.05	c factor still to low - shrinking to 275049
632.81/633.05	c approx number of clauses: 1e+06
632.81/633.05	c current bound: 15560588
633.56/633.81	c leaving approximation
633.56/633.81	c finished approximation
633.56/633.81	c [INC SYSTEM] there exists a inc, kill it!
633.56/633.81	c write failed with 2
633.56/633.81	c [INC SEARCH] iteration: 0
633.56/633.81	c [INC BOUNDS] best value:31121176 search for 31121175
633.56/633.81	c [INC SYSTEM] create new solver instance
633.56/633.81	c [INC] encode full formula
633.56/633.81	c fallback to adder encoding
634.02/634.20	c set iterative enc to: adder
634.02/634.20	c set iterative enc to: none
634.12/634.31	c [INC SEARCH] isOptimum variable: 0
1800.03/1800.41	HOME/npSolver-pbo-Itdqb.sh: line 18: 15391 Terminated              ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -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-3751428-1339123441/watcher-3751428-1339123441 -o /tmp/evaluation-result-3751428-1339123441/solver-3751428-1339123441 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751428-1339123441.opb 1409410639 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 2.00 2/178 15390
/proc/meminfo: memFree=29072132/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0

[startup+0.081319 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 15390
/proc/meminfo: memFree=29072132/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100327 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 15390
/proc/meminfo: memFree=29072132/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300263 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 15390
/proc/meminfo: memFree=29072132/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700253 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 15390
/proc/meminfo: memFree=29072132/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15392
/proc/meminfo: memFree=28948796/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=167600 CPUtime=1.49 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) R 15390 15390 12337 0 -1 4202496 16070 0 0 0 144 5 0 0 20 0 1 0 378470197 171622400 27820 33554432000 4194304 6004724 140737347175056 140737347169656 4617922 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 41900 27820 153 442 0 41454 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 176748

[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15394
/proc/meminfo: memFree=28849296/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=135564 CPUtime=1.86 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 16811 0 0 0 167 19 0 0 20 0 1 0 378470197 138817536 24145 33554432000 4194304 6004724 140737347175056 140737347169520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 33891 24145 163 442 0 33445 0
[pid=15393] ppid=15391 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15393/stat : 15393 (cp2_pre.sh) S 15391 15390 12337 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 378470384 9367552 277 33554432000 4194304 5064252 140733558622048 140733558620752 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15393/statm: 2287 277 234 213 0 72 0
[pid=15394] ppid=15393 vsize=236900 CPUtime=1.21 cores=0,2,4,6
/proc/15394/stat : 15394 (coprocessor) R 15393 15390 12337 0 -1 4202496 15832 0 0 0 115 6 0 0 20 0 1 0 378470384 242585600 46042 33554432000 4194304 6586260 140735821999712 140735821996472 5550317 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/15394/statm: 59225 46053 157 584 0 58637 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 390760

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15394
/proc/meminfo: memFree=28490748/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=135564 CPUtime=1.86 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 16811 0 0 0 167 19 0 0 20 0 1 0 378470197 138817536 24145 33554432000 4194304 6004724 140737347175056 140737347169520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 33891 24145 163 442 0 33445 0
[pid=15393] ppid=15391 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15393/stat : 15393 (cp2_pre.sh) S 15391 15390 12337 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 378470384 9367552 277 33554432000 4194304 5064252 140733558622048 140733558620752 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15393/statm: 2287 277 234 213 0 72 0
[pid=15394] ppid=15393 vsize=428368 CPUtime=4.41 cores=0,2,4,6
/proc/15394/stat : 15394 (coprocessor) R 15393 15390 12337 0 -1 4202496 53484 0 0 0 429 12 0 0 20 0 1 0 378470384 438648832 104134 33554432000 4194304 6586260 140735821999712 140735821995736 4756534 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/15394/statm: 107092 104134 182 584 0 106504 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 582228

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15396
/proc/meminfo: memFree=28774296/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=135564 CPUtime=9.14 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 16829 59987 0 0 167 19 687 41 20 0 1 0 378470197 138817536 24149 33554432000 4194304 6004724 140737347175056 140737347161336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 33891 24149 167 442 0 33445 0
[pid=15396] ppid=15391 vsize=192452 CPUtime=3.49 cores=0,2,4,6
/proc/15396/stat : 15396 (glucosInc) R 15391 15390 12337 0 -1 4202496 31542 0 0 0 343 6 0 0 20 0 1 0 378471117 197070848 39621 33554432000 4194304 5654031 140734187248656 140734187236472 4233168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15396/statm: 48113 39621 140 357 0 47753 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 337164

[startup+25.5065 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15436
/proc/meminfo: memFree=28627816/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=135564 CPUtime=9.14 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 16829 59987 0 0 167 19 687 41 20 0 1 0 378470197 138817536 24149 33554432000 4194304 6004724 140737347175056 140737347161336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 33891 24149 167 442 0 33445 0
[pid=15396] ppid=15391 vsize=196948 CPUtime=16.3 cores=0,2,4,6
/proc/15396/stat : 15396 (glucosInc) R 15391 15390 12337 0 -1 4202496 33127 0 0 0 1622 8 0 0 20 0 1 0 378471117 201674752 41290 33554432000 4194304 5654031 140734187248656 140734187236472 4215124 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15396/statm: 49237 41290 141 357 0 48877 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 341660

[startup+51.1003 s]
/proc/loadavg: 2.22 2.05 2.02 3/182 15438
/proc/meminfo: memFree=25393248/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=135564 CPUtime=9.14 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 16829 59987 0 0 167 19 687 41 20 0 1 0 378470197 138817536 24149 33554432000 4194304 6004724 140737347175056 140737347161336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 33891 24149 167 442 0 33445 0
[pid=15396] ppid=15391 vsize=201712 CPUtime=41.88 cores=0,2,4,6
/proc/15396/stat : 15396 (glucosInc) R 15391 15390 12337 0 -1 4202496 34601 0 0 0 4180 8 0 0 20 0 1 0 378471117 206553088 43786 33554432000 4194304 5654031 140734187248656 140734187236472 4209151 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15396/statm: 50428 43786 141 357 0 50068 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 346424

[startup+102.3 s]
/proc/loadavg: 2.13 2.05 2.02 3/181 15441
/proc/meminfo: memFree=26559364/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=135564 CPUtime=9.14 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 16829 59987 0 0 167 19 687 41 20 0 1 0 378470197 138817536 24149 33554432000 4194304 6004724 140737347175056 140737347161336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 33891 24149 167 442 0 33445 0
[pid=15396] ppid=15391 vsize=210456 CPUtime=93.07 cores=0,2,4,6
/proc/15396/stat : 15396 (glucosInc) R 15391 15390 12337 0 -1 4202496 37456 0 0 0 9297 10 0 0 20 0 1 0 378471117 215506944 46809 33554432000 4194304 5654031 140734187248656 140734187236472 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15396/statm: 52614 46809 141 357 0 52254 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 355168

[startup+162.3 s]
/proc/loadavg: 2.08 2.05 2.02 3/181 15441
/proc/meminfo: memFree=24057416/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=135564 CPUtime=9.14 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 16829 59987 0 0 167 19 687 41 20 0 1 0 378470197 138817536 24149 33554432000 4194304 6004724 140737347175056 140737347161336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 33891 24149 167 442 0 33445 0
[pid=15396] ppid=15391 vsize=213420 CPUtime=153.03 cores=0,2,4,6
/proc/15396/stat : 15396 (glucosInc) R 15391 15390 12337 0 -1 4202496 39431 0 0 0 15291 12 0 0 20 0 1 0 378471117 218542080 45055 33554432000 4194304 5654031 140734187248656 140734187236472 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15396/statm: 53355 45055 141 357 0 52995 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 358132

[startup+222.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/181 15441
/proc/meminfo: memFree=24033452/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=135564 CPUtime=9.14 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 16829 59987 0 0 167 19 687 41 20 0 1 0 378470197 138817536 24149 33554432000 4194304 6004724 140737347175056 140737347161336 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 33891 24149 167 442 0 33445 0
[pid=15396] ppid=15391 vsize=214616 CPUtime=213.02 cores=0,2,4,6
/proc/15396/stat : 15396 (glucosInc) R 15391 15390 12337 0 -1 4202496 40780 0 0 0 21288 14 0 0 20 0 1 0 378471117 219766784 46635 33554432000 4194304 5654031 140734187248656 140734187246680 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15396/statm: 53654 46635 141 357 0 53294 0
Current children cumulated CPU time (s) 222.16

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

/proc/loadavg: 2.00 2.00 2.00 3/180 15483
/proc/meminfo: memFree=23400064/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=176952 CPUtime=634.13 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 28099 147971 0 0 274 224 62821 94 20 0 1 0 378470197 181198848 34492 33554432000 4194304 6004724 140737347175056 140737347160904 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 44238 34492 195 442 0 43792 0
[pid=15455] ppid=15391 vsize=313252 CPUtime=667.87 cores=0,2,4,6
/proc/15455/stat : 15455 (glucosInc) R 15391 15390 12337 0 -1 4202496 61910 0 0 0 66761 26 0 0 20 0 1 0 378533628 320770048 69436 33554432000 4194304 5654031 140734647939904 140734647927720 4232601 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15455/statm: 78313 69436 142 357 0 77953 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 499352

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15484
/proc/meminfo: memFree=23556460/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=176952 CPUtime=634.13 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 28099 147971 0 0 274 224 62821 94 20 0 1 0 378470197 181198848 34492 33554432000 4194304 6004724 140737347175056 140737347160904 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 44238 34492 195 442 0 43792 0
[pid=15455] ppid=15391 vsize=315360 CPUtime=727.86 cores=0,2,4,6
/proc/15455/stat : 15455 (glucosInc) R 15391 15390 12337 0 -1 4202496 62703 0 0 0 72759 27 0 0 20 0 1 0 378533628 322928640 70344 33554432000 4194304 5654031 140734647939904 140734647927720 4232830 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15455/statm: 78840 70344 142 357 0 78480 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 501460

[startup+1422.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 15485
/proc/meminfo: memFree=23496640/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=176952 CPUtime=634.13 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 28099 147971 0 0 274 224 62821 94 20 0 1 0 378470197 181198848 34492 33554432000 4194304 6004724 140737347175056 140737347160904 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 44238 34492 195 442 0 43792 0
[pid=15455] ppid=15391 vsize=315360 CPUtime=787.85 cores=0,2,4,6
/proc/15455/stat : 15455 (glucosInc) R 15391 15390 12337 0 -1 4202496 63332 0 0 0 78757 28 0 0 20 0 1 0 378533628 322928640 71039 33554432000 4194304 5654031 140734647939904 140734647927720 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15455/statm: 78840 71039 142 357 0 78480 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 501460

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 15485
/proc/meminfo: memFree=23445072/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=176952 CPUtime=634.13 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 28099 147971 0 0 274 224 62821 94 20 0 1 0 378470197 181198848 34492 33554432000 4194304 6004724 140737347175056 140737347160904 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 44238 34492 195 442 0 43792 0
[pid=15455] ppid=15391 vsize=315360 CPUtime=847.84 cores=0,2,4,6
/proc/15455/stat : 15455 (glucosInc) R 15391 15390 12337 0 -1 4202496 63797 0 0 0 84755 29 0 0 20 0 1 0 378533628 322928640 70092 33554432000 4194304 5654031 140734647939904 140734647927720 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15455/statm: 78840 70092 142 357 0 78480 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 501460

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15485
/proc/meminfo: memFree=23386456/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=176952 CPUtime=634.13 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 28099 147971 0 0 274 224 62821 94 20 0 1 0 378470197 181198848 34492 33554432000 4194304 6004724 140737347175056 140737347160904 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 44238 34492 195 442 0 43792 0
[pid=15455] ppid=15391 vsize=315360 CPUtime=907.84 cores=0,2,4,6
/proc/15455/stat : 15455 (glucosInc) R 15391 15390 12337 0 -1 4202496 63811 0 0 0 90754 30 0 0 20 0 1 0 378533628 322928640 74705 33554432000 4194304 5654031 140734647939904 140734647927720 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15455/statm: 78840 74705 142 357 0 78480 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 501460

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15488
/proc/meminfo: memFree=23335880/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=176952 CPUtime=634.13 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 28099 147971 0 0 274 224 62821 94 20 0 1 0 378470197 181198848 34492 33554432000 4194304 6004724 140737347175056 140737347160904 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 44238 34492 195 442 0 43792 0
[pid=15455] ppid=15391 vsize=318700 CPUtime=967.82 cores=0,2,4,6
/proc/15455/stat : 15455 (glucosInc) R 15391 15390 12337 0 -1 4202496 64742 0 0 0 96751 31 0 0 20 0 1 0 378533628 326348800 74544 33554432000 4194304 5654031 140734647939904 140734647927720 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15455/statm: 79675 74544 142 357 0 79315 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 504800

[startup+1662.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 15489
/proc/meminfo: memFree=23496708/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=176952 CPUtime=634.13 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 28099 147971 0 0 274 224 62821 94 20 0 1 0 378470197 181198848 34492 33554432000 4194304 6004724 140737347175056 140737347160904 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 44238 34492 195 442 0 43792 0
[pid=15455] ppid=15391 vsize=368788 CPUtime=1027.82 cores=0,2,4,6
/proc/15455/stat : 15455 (glucosInc) R 15391 15390 12337 0 -1 4202496 65760 0 0 0 102747 35 0 0 20 0 1 0 378533628 377638912 76392 33554432000 4194304 5654031 140734647939904 140734647927720 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15455/statm: 92197 76392 142 357 0 91837 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 554888

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 15489
/proc/meminfo: memFree=23456944/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=176952 CPUtime=634.13 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 28099 147971 0 0 274 224 62821 94 20 0 1 0 378470197 181198848 34492 33554432000 4194304 6004724 140737347175056 140737347160904 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 44238 34492 195 442 0 43792 0
[pid=15455] ppid=15391 vsize=318700 CPUtime=1087.8 cores=0,2,4,6
/proc/15455/stat : 15455 (glucosInc) R 15391 15390 12337 0 -1 4202496 66215 0 0 0 108744 36 0 0 20 0 1 0 378533628 326348800 74634 33554432000 4194304 5654031 140734647939904 140734647927720 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15455/statm: 79675 74634 142 357 0 79315 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 504800

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15489
/proc/meminfo: memFree=23406380/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=176952 CPUtime=634.13 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 28099 147971 0 0 274 224 62821 94 20 0 1 0 378470197 181198848 34492 33554432000 4194304 6004724 140737347175056 140737347160904 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 44238 34492 195 442 0 43792 0
[pid=15455] ppid=15391 vsize=319948 CPUtime=1147.79 cores=0,2,4,6
/proc/15455/stat : 15455 (glucosInc) R 15391 15390 12337 0 -1 4202496 67455 0 0 0 114741 38 0 0 20 0 1 0 378533628 327626752 73653 33554432000 4194304 5654031 140734647939904 140734647927720 4215028 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15455/statm: 79987 73653 142 357 0 79627 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 506048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15489
/proc/meminfo: memFree=23360116/32873648 swapFree=6860/6860
[pid=15390] ppid=15388 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15390/stat : 15390 (npSolver-pbo-It) S 15388 15390 12337 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378470197 9367552 275 33554432000 4194304 5064252 140737109707088 140737109706000 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15390/statm: 2287 275 233 213 0 72 0
[pid=15391] ppid=15390 vsize=176952 CPUtime=634.13 cores=0,2,4,6
/proc/15391/stat : 15391 (npSolver-pbo) S 15390 15390 12337 0 -1 4202496 28099 147971 0 0 274 224 62821 94 20 0 1 0 378470197 181198848 34492 33554432000 4194304 6004724 140737347175056 140737347160904 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15391/statm: 44238 34492 195 442 0 43792 0
[pid=15455] ppid=15391 vsize=370036 CPUtime=1165.9 cores=0,2,4,6
/proc/15455/stat : 15455 (glucosInc) R 15391 15390 12337 0 -1 4202496 67768 0 0 0 116551 39 0 0 20 0 1 0 378533628 378916864 76514 33554432000 4194304 5654031 140734647939904 140734647927720 4232939 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15455/statm: 92509 76514 142 357 0 92149 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 556136

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 15390 and gives
#  childrusage.ru_utime.tv_sec=630
#  childrusage.ru_utime.tv_usec=963079
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=192514
# CPU time returned by wait4() is 634.156
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.03
CPU user time (s): 1796.46
CPU system time (s): 3.57
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 641664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 630.963
system time used= 3.19251
maximum resident set size= 471632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 608912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1031
involuntary context switches= 810

runsolver used 3.16352 second user time and 7.54785 second system time

The end

Launcher Data 

Begin job on node116 at 2012-06-08 04:44:01
IDJOB=3751428
IDBENCH=2519
IDSOLVER=2335
FILE ID=node116/3751428-1339123441
RUNJOBID= node116-1339112627-14157
PBS_JOBID= 14643737
Free space on /tmp= 70968 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mkc.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3751428-1339123441/watcher-3751428-1339123441 -o /tmp/evaluation-result-3751428-1339123441/solver-3751428-1339123441 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751428-1339123441.opb 1409410639 HOME HOME

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

MD5SUM BENCH= eae2e8a732d92a062f083ccb58900b63
RANDOM SEED=1409410639

node116.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.556
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.11
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.556
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.556
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	: 5438.54
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.556
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.556
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.556
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.556
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.90
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.556
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:        29072132 kB
Buffers:          330152 kB
Cached:          2368620 kB
SwapCached:         3172 kB
Active:          1157192 kB
Inactive:        1775152 kB
Active(anon):     232328 kB
Inactive(anon):     3392 kB
Active(file):     924864 kB
Inactive(file):  1771760 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67100544 kB
Dirty:              8156 kB
Writeback:             0 kB
AnonPages:        246240 kB
Mapped:            12076 kB
Shmem:                 0 kB
Slab:             727024 kB
SReclaimable:     171592 kB
SUnreclaim:       555432 kB
KernelStack:        1504 kB
PageTables:         4332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     368364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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= 69736 MiB
End job on node116 at 2012-06-08 05:14:02