Trace number 3700080

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2.opb
MD5SUMb363732a49ff55c5c06709720571fcad
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-439
Best CPU time to get the best result obtained on this benchmark1783.01
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 243
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 829
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 12582
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.48	c fallback to adder encoding
0.00/0.97	c run inc solver
0.00/0.97	c [INC SYSTEM] run initial solver
0.00/0.97	c [INC SYSTEM] preprocess with white file
4.28/4.34	c [INC SYSTEM] finished preprocessing in 3 s
4.28/4.34	c [INC SYSTEM] execute solver
4.32/5.35	c [INC SEARCH] formula is SAT
4.32/5.36	c [INC SYSTEM] solved the initial formula
5.38/5.45	c model valid
5.38/5.45	c current solution ok
6.47/6.57	o -25
6.47/6.57	c execute binary inc search
6.47/6.57	c [INC SEARCH] current bound: 402
6.47/6.57	c [INC SEARCH] iteration: 0
6.47/6.57	c [INC SEARCH] lower bound: 0 upperbound 804 current bound: 402 best value:804
6.47/6.57	c [INC SYSTEM] there exists a inc, kill it!
6.47/6.57	c write failed with 2
6.47/6.58	c [INC SYSTEM] create new solver instance
6.47/6.58	c [INC] encode full formula
6.56/6.63	c set iterative enc to: swc
6.56/6.67	c [INC SEARCH] isOptimum variable: 0
947.79/948.07	c [INC SEARCH] formula is SAT
947.79/948.09	c [INC SEARCH] copied best model
947.79/948.09	c sat variable: 1 optimum/unsat variable: 0
947.90/948.18	c model valid
947.90/948.18	c current solution ok
947.90/948.18	o -449
947.90/948.18	c [INC SEARCH] current bound: 190
947.90/948.18	c [INC SEARCH] iteration: 1
947.90/948.18	c [INC SEARCH] lower bound: 0 upperbound 380 current bound: 190 best value:380
947.90/948.18	c [INC ENCODE] setup new number of clauses ...
947.90/948.18	c [INC] encode incremental formula
947.90/948.18	c return only the limitting unit clause for 190
947.90/948.18	c [INC SYSTEM] transmit new clauses to solver: 1
947.90/948.18	c [INC SEARCH] isOptimum variable: 0
1800.06/1800.41	HOME/npSolver-pbo-I.sh: line 18: 18710 Terminated              ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=1 -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-3700080-1338123480/watcher-3700080-1338123480 -o /tmp/evaluation-result-3700080-1338123480/solver-3700080-1338123480 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700080-1338123480.opb 1026497421 HOME HOME 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18709
/proc/meminfo: memFree=30913124/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0

[startup+0.0963141 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18709
/proc/meminfo: memFree=30913124/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100319 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18709
/proc/meminfo: memFree=30913124/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300293 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18709
/proc/meminfo: memFree=30913124/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700334 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18709
/proc/meminfo: memFree=30913124/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50044 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18713
/proc/meminfo: memFree=30810516/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=96968 CPUtime=0.96 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 11337 0 0 0 88 8 0 0 20 0 1 0 278472563 99295232 16295 33554432000 4194304 5992684 140737289619328 140737289613776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 24242 16295 174 440 0 23798 0
[pid=18712] ppid=18710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18712/stat : 18712 (cp2_pre.sh) S 18710 18709 18146 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278472661 9367552 276 33554432000 4194304 5064252 140733912693520 140733912692224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18712/statm: 2287 276 234 213 0 72 0
[pid=18713] ppid=18712 vsize=141944 CPUtime=0.51 cores=1,3,5,7
/proc/18713/stat : 18713 (coprocessor) R 18712 18709 18146 0 -1 4202496 20273 0 0 0 46 5 0 0 20 0 1 0 278472661 145350656 31818 33554432000 4194304 6586260 140735501221776 140735501218536 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/18713/statm: 35519 31819 166 584 0 34931 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 257208

[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18713
/proc/meminfo: memFree=30659108/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=96968 CPUtime=0.96 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 11337 0 0 0 88 8 0 0 20 0 1 0 278472563 99295232 16295 33554432000 4194304 5992684 140737289619328 140737289613776 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 24242 16295 174 440 0 23798 0
[pid=18712] ppid=18710 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18712/stat : 18712 (cp2_pre.sh) S 18710 18709 18146 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278472661 9367552 276 33554432000 4194304 5064252 140733912693520 140733912692224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18712/statm: 2287 276 234 213 0 72 0
[pid=18713] ppid=18712 vsize=189976 CPUtime=2.11 cores=1,3,5,7
/proc/18713/stat : 18713 (coprocessor) R 18712 18709 18146 0 -1 4202496 32075 0 0 0 203 8 0 0 20 0 1 0 278472661 194535424 45664 33554432000 4194304 6586260 140735501221776 140735501217800 4775781 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/18713/statm: 47494 45664 182 584 0 46906 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 305240

[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18715
/proc/meminfo: memFree=30756568/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=99040 CPUtime=5.28 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) R 18709 18709 18146 0 -1 4202496 12949 36494 0 0 115 78 320 15 20 0 1 0 278472563 101416960 16819 33554432000 4194304 5992684 140737289619328 140737289613512 5179696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 24760 16819 182 440 0 24316 0
[pid=18715] ppid=18710 vsize=85448 CPUtime=0.99 cores=1,3,5,7
/proc/18715/stat : 18715 (glucosInc) S 18710 18709 18146 0 -1 4202496 17164 0 0 0 97 2 0 0 20 0 1 0 278472997 87498752 18966 33554432000 4194304 5654031 140737264835872 140737264834184 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18715/statm: 21362 18966 146 357 0 21002 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 193636

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18719
/proc/meminfo: memFree=30715420/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=104476 CPUtime=6.63 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 15520 54697 0 0 123 98 418 24 20 0 1 0 278472563 106983424 18110 33554432000 4194304 5992684 140737289619328 140737289604232 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 26119 18110 187 440 0 25675 0
[pid=18718] ppid=18710 vsize=109272 CPUtime=6.01 cores=1,3,5,7
/proc/18718/stat : 18718 (glucosInc) R 18710 18709 18146 0 -1 4202496 21242 0 0 0 597 4 0 0 20 0 1 0 278473230 111894528 23537 33554432000 4194304 5654031 140733733828416 140733733826296 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18718/statm: 27318 23537 139 357 0 26958 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 222896

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18719
/proc/meminfo: memFree=30704504/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=104476 CPUtime=6.63 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 15520 54697 0 0 123 98 418 24 20 0 1 0 278472563 106983424 18110 33554432000 4194304 5992684 140737289619328 140737289604232 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 26119 18110 187 440 0 25675 0
[pid=18718] ppid=18710 vsize=128348 CPUtime=18.82 cores=1,3,5,7
/proc/18718/stat : 18718 (glucosInc) R 18710 18709 18146 0 -1 4202496 23024 0 0 0 1877 5 0 0 20 0 1 0 278473230 131428352 25829 33554432000 4194304 5654031 140733733828416 140733733816232 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18718/statm: 32087 25829 140 357 0 31727 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 241972

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18719
/proc/meminfo: memFree=30698668/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=104476 CPUtime=6.63 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 15520 54697 0 0 123 98 418 24 20 0 1 0 278472563 106983424 18110 33554432000 4194304 5992684 140737289619328 140737289604232 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 26119 18110 187 440 0 25675 0
[pid=18718] ppid=18710 vsize=130908 CPUtime=44.41 cores=1,3,5,7
/proc/18718/stat : 18718 (glucosInc) R 18710 18709 18146 0 -1 4202496 24775 0 0 0 4435 6 0 0 20 0 1 0 278473230 134049792 27461 33554432000 4194304 5654031 140733733828416 140733733816232 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18718/statm: 32727 27461 141 357 0 32367 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 244532

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18719
/proc/meminfo: memFree=30657164/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=104476 CPUtime=6.63 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 15520 54697 0 0 123 98 418 24 20 0 1 0 278472563 106983424 18110 33554432000 4194304 5992684 140737289619328 140737289604232 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 26119 18110 187 440 0 25675 0
[pid=18718] ppid=18710 vsize=166432 CPUtime=95.59 cores=1,3,5,7
/proc/18718/stat : 18718 (glucosInc) R 18710 18709 18146 0 -1 4202496 26760 0 0 0 9551 8 0 0 20 0 1 0 278473230 170426368 37256 33554432000 4194304 5654031 140733733828416 140733733816232 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18718/statm: 41608 37256 141 357 0 41248 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 280056

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18722
/proc/meminfo: memFree=30638392/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=104476 CPUtime=6.63 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 15520 54697 0 0 123 98 418 24 20 0 1 0 278472563 106983424 18110 33554432000 4194304 5992684 140737289619328 140737289604232 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 26119 18110 187 440 0 25675 0
[pid=18718] ppid=18710 vsize=178104 CPUtime=155.57 cores=1,3,5,7
/proc/18718/stat : 18718 (glucosInc) R 18710 18709 18146 0 -1 4202496 27039 0 0 0 15549 8 0 0 20 0 1 0 278473230 182378496 40878 33554432000 4194304 5654031 140733733828416 140733733816232 4215040 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18718/statm: 44526 40878 141 357 0 44166 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 291728

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 18745
/proc/meminfo: memFree=30627704/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=104476 CPUtime=6.63 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 15520 54697 0 0 123 98 418 24 20 0 1 0 278472563 106983424 18110 33554432000 4194304 5992684 140737289619328 140737289604232 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 26119 18110 187 440 0 25675 0
[pid=18718] ppid=18710 vsize=197076 CPUtime=215.56 cores=1,3,5,7

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

/proc/loadavg: 2.62 2.24 2.08 3/182 18886
/proc/meminfo: memFree=30167980/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=106468 CPUtime=6.75 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 18144 54697 0 0 135 98 418 24 20 0 1 0 278472563 109023232 18681 33554432000 4194304 5992684 140737289619328 140737289604232 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 26617 18681 187 440 0 26173 0
[pid=18718] ppid=18710 vsize=277992 CPUtime=1295.29 cores=1,3,5,7
/proc/18718/stat : 18718 (glucosInc) R 18710 18709 18146 0 -1 4202496 33236 0 0 0 129504 25 0 0 20 0 1 0 278473230 284663808 55189 33554432000 4194304 5654031 140733733828416 140733733816232 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18718/statm: 69498 55189 151 357 0 69138 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 393608

[startup+1362.3 s]
/proc/loadavg: 2.26 2.21 2.08 3/182 18888
/proc/meminfo: memFree=30162580/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=106468 CPUtime=6.75 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 18144 54697 0 0 135 98 418 24 20 0 1 0 278472563 109023232 18681 33554432000 4194304 5992684 140737289619328 140737289604232 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 26617 18681 187 440 0 26173 0
[pid=18718] ppid=18710 vsize=277992 CPUtime=1355.27 cores=1,3,5,7
/proc/18718/stat : 18718 (glucosInc) R 18710 18709 18146 0 -1 4202496 33239 0 0 0 135502 25 0 0 20 0 1 0 278473230 284663808 56725 33554432000 4194304 5654031 140733733828416 140733733816232 4215290 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18718/statm: 69498 56725 151 357 0 69138 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 393608

[startup+1422.31 s]
/proc/loadavg: 2.09 2.17 2.08 3/181 18888
/proc/meminfo: memFree=30136216/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=106468 CPUtime=6.75 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 18144 54697 0 0 135 98 418 24 20 0 1 0 278472563 109023232 18681 33554432000 4194304 5992684 140737289619328 140737289604232 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 26617 18681 187 440 0 26173 0
[pid=18718] ppid=18710 vsize=277992 CPUtime=1415.26 cores=1,3,5,7
/proc/18718/stat : 18718 (glucosInc) R 18710 18709 18146 0 -1 4202496 33245 0 0 0 141501 25 0 0 20 0 1 0 278473230 284663808 59797 33554432000 4194304 5654031 140733733828416 140733733816232 4215017 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18718/statm: 69498 59797 151 357 0 69138 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 393608

[startup+1482.3 s]
/proc/loadavg: 2.03 2.13 2.07 3/181 18888
/proc/meminfo: memFree=30130072/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=106468 CPUtime=6.75 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 18144 54697 0 0 135 98 418 24 20 0 1 0 278472563 109023232 18681 33554432000 4194304 5992684 140737289619328 140737289604232 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 26617 18681 187 440 0 26173 0
[pid=18718] ppid=18710 vsize=277992 CPUtime=1475.26 cores=1,3,5,7
/proc/18718/stat : 18718 (glucosInc) R 18710 18709 18146 0 -1 4202496 33249 0 0 0 147500 26 0 0 20 0 1 0 278473230 284663808 61845 33554432000 4194304 5654031 140733733828416 140733733816232 4215327 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18718/statm: 69498 61845 151 357 0 69138 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 393608

[startup+1542.3 s]
/proc/loadavg: 2.01 2.11 2.07 3/181 18889
/proc/meminfo: memFree=30119868/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=106468 CPUtime=6.75 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 18144 54697 0 0 135 98 418 24 20 0 1 0 278472563 109023232 18681 33554432000 4194304 5992684 140737289619328 140737289604232 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 26617 18681 187 440 0 26173 0
[pid=18718] ppid=18710 vsize=277992 CPUtime=1535.24 cores=1,3,5,7
/proc/18718/stat : 18718 (glucosInc) R 18710 18709 18146 0 -1 4202496 33253 0 0 0 153498 26 0 0 20 0 1 0 278473230 284663808 63893 33554432000 4194304 5654031 140733733828416 140733733816232 4215327 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18718/statm: 69498 63893 151 357 0 69138 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 393608

[startup+1602.3 s]
/proc/loadavg: 2.00 2.09 2.06 3/181 18889
/proc/meminfo: memFree=30113628/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=106468 CPUtime=6.75 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 18144 54697 0 0 135 98 418 24 20 0 1 0 278472563 109023232 18681 33554432000 4194304 5992684 140737289619328 140737289604232 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 26617 18681 187 440 0 26173 0
[pid=18718] ppid=18710 vsize=277992 CPUtime=1595.23 cores=1,3,5,7
/proc/18718/stat : 18718 (glucosInc) R 18710 18709 18146 0 -1 4202496 33256 0 0 0 159497 26 0 0 20 0 1 0 278473230 284663808 65429 33554432000 4194304 5654031 140733733828416 140733733816232 4215196 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18718/statm: 69498 65429 151 357 0 69138 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 393608

[startup+1662.3 s]
/proc/loadavg: 2.06 2.08 2.06 3/181 18889
/proc/meminfo: memFree=30103440/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=106468 CPUtime=6.75 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 18144 54697 0 0 135 98 418 24 20 0 1 0 278472563 109023232 18681 33554432000 4194304 5992684 140737289619328 140737289604232 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 26617 18681 187 440 0 26173 0
[pid=18718] ppid=18710 vsize=359380 CPUtime=1655.23 cores=1,3,5,7
/proc/18718/stat : 18718 (glucosInc) R 18710 18709 18146 0 -1 4202496 33772 0 0 0 165496 27 0 0 20 0 1 0 278473230 368005120 67477 33554432000 4194304 5654031 140733733828416 140733733816232 4215097 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18718/statm: 89845 67477 151 357 0 89485 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 474996

[startup+1722.3 s]
/proc/loadavg: 2.02 2.07 2.05 3/181 18889
/proc/meminfo: memFree=30091960/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=106468 CPUtime=6.75 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 18144 54697 0 0 135 98 418 24 20 0 1 0 278472563 109023232 18681 33554432000 4194304 5992684 140737289619328 140737289604232 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 26617 18681 187 440 0 26173 0
[pid=18718] ppid=18710 vsize=359380 CPUtime=1715.22 cores=1,3,5,7
/proc/18718/stat : 18718 (glucosInc) R 18710 18709 18146 0 -1 4202496 33776 0 0 0 171495 27 0 0 20 0 1 0 278473230 368005120 69525 33554432000 4194304 5654031 140733733828416 140733733816232 4215088 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18718/statm: 89845 69525 151 357 0 89485 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 474996

[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/181 18889
/proc/meminfo: memFree=30079772/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=106468 CPUtime=6.75 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 18144 54697 0 0 135 98 418 24 20 0 1 0 278472563 109023232 18681 33554432000 4194304 5992684 140737289619328 140737289604232 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 26617 18681 187 440 0 26173 0
[pid=18718] ppid=18710 vsize=359380 CPUtime=1775.21 cores=1,3,5,7
/proc/18718/stat : 18718 (glucosInc) R 18710 18709 18146 0 -1 4202496 33780 0 0 0 177494 27 0 0 20 0 1 0 278473230 368005120 71573 33554432000 4194304 5654031 140733733828416 140733733816232 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18718/statm: 89845 71573 151 357 0 89485 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 474996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.05 2.05 3/181 18889
/proc/meminfo: memFree=30077848/32873844 swapFree=7900/7900
[pid=18709] ppid=18707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18709/stat : 18709 (npSolver-pbo-I.) S 18707 18709 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278472563 9367552 275 33554432000 4194304 5064252 140734763117216 140734763116128 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18709/statm: 2287 275 233 213 0 72 0
[pid=18710] ppid=18709 vsize=106468 CPUtime=6.75 cores=1,3,5,7
/proc/18710/stat : 18710 (npSolver-pbo) S 18709 18709 18146 0 -1 4202496 18144 54697 0 0 135 98 418 24 20 0 1 0 278472563 109023232 18681 33554432000 4194304 5992684 140737289619328 140737289604232 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18710/statm: 26617 18681 187 440 0 26173 0
[pid=18718] ppid=18710 vsize=359380 CPUtime=1793.31 cores=1,3,5,7
/proc/18718/stat : 18718 (glucosInc) R 18710 18709 18146 0 -1 4202496 33781 0 0 0 179304 27 0 0 20 0 1 0 278473230 368005120 72085 33554432000 4194304 5654031 140733733828416 140733733816232 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18718/statm: 89845 72085 151 357 0 89485 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 474996

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 18709 and gives
#  childrusage.ru_utime.tv_sec=5
#  childrusage.ru_utime.tv_usec=540157
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=238811
# CPU time returned by wait4() is 6.77897
# while last known CPU time is 1800.06
#
# 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.06
CPU user time (s): 1798.57
CPU system time (s): 1.49
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 474996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.54016
system time used= 1.23881
maximum resident set size= 211020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73216
page faults= 0
swaps= 0
block input operations= 8
block output operations= 184824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1058
involuntary context switches= 22

runsolver used 3.19851 second user time and 7.81881 second system time

The end

Launcher Data 

Begin job on node137 at 2012-05-27 14:58:00
IDJOB=3700080
IDBENCH=90820
IDSOLVER=2276
FILE ID=node137/3700080-1338123480
RUNJOBID= node137-1338118427-18163
PBS_JOBID= 14624475
Free space on /tmp= 71448 MiB

SOLVER NAME= npSolver inc
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2.opb
COMMAND LINE= DIR/npSolver-pbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3700080-1338123480/watcher-3700080-1338123480 -o /tmp/evaluation-result-3700080-1338123480/solver-3700080-1338123480 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-I.sh HOME/instance-3700080-1338123480.opb 1026497421 HOME HOME

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

MD5SUM BENCH= b363732a49ff55c5c06709720571fcad
RANDOM SEED=1026497421

node137.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.600
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.20
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.600
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.600
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.600
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.600
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.600
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.90
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.600
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.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30913396 kB
Buffers:          260784 kB
Cached:           554856 kB
SwapCached:        20908 kB
Active:          1099200 kB
Inactive:          40544 kB
Active(anon):     302648 kB
Inactive(anon):    23948 kB
Active(file):     796552 kB
Inactive(file):    16596 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67082660 kB
Dirty:             10528 kB
Writeback:           216 kB
AnonPages:        341264 kB
Mapped:            11120 kB
Shmem:                 0 kB
Slab:             679532 kB
SReclaimable:     120616 kB
SUnreclaim:       558916 kB
KernelStack:        1512 kB
PageTables:         4300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     499184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71344 MiB
End job on node137 at 2012-05-27 15:28:01