Trace number 3696867

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
pb2sat 2012-05-19? (TO) 1800.04 1800.42

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_10null10mast_rapportOE1.0_TMAX120_K67_cod2.opb
MD5SUMc566835626501a566dd2965326e4b112
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-245980
Best CPU time to get the best result obtained on this benchmark1797.04
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 438
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 911866
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 911866
Number of bits of the biggest sum of numbers20
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.46	c fallback to adder encoding
1.97/2.00	c model valid
1.97/2.00	c current solution ok
3.72/3.81	o -58323
3.72/3.81	c current bound: 426771
3.72/3.81	c fallback to adder encoding
1800.04/1800.41	c error: unexpected solver exit code
1800.04/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-3696867-1338117783/watcher-3696867-1338117783 -o /tmp/evaluation-result-3696867-1338117783/solver-3696867-1338117783 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3696867-1338117783.opb 241560958 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 10323
/proc/meminfo: memFree=28748744/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0

[startup+0.0221409 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10323
/proc/meminfo: memFree=28748744/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100257 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10323
/proc/meminfo: memFree=28748744/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300237 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10323
/proc/meminfo: memFree=28748744/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10323
/proc/meminfo: memFree=28748744/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50049 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10327
/proc/meminfo: memFree=28627176/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
[pid=10324] ppid=10323 vsize=61552 CPUtime=0.84 cores=1,3,5,7
/proc/10324/stat : 10324 (pb2sat) S 10323 10323 6783 0 -1 4202496 10255 0 0 0 78 6 0 0 20 0 1 0 277903768 63029248 13822 33554432000 4194304 5873084 140737065489408 140737065485832 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10324/statm: 15388 13822 171 410 0 14970 0
[pid=10326] ppid=10324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10326/stat : 10326 (satsolver.sh) S 10324 10323 6783 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277903853 9367552 266 33554432000 4194304 5064252 140735699448496 140735699447408 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10326/statm: 2287 266 226 213 0 72 0
[pid=10327] ppid=10326 vsize=91660 CPUtime=0.63 cores=1,3,5,7
/proc/10327/stat : 10327 (glucose_static) R 10326 10323 6783 0 -1 4202496 17708 0 0 0 59 4 0 0 20 0 1 0 277903854 93859840 18099 33554432000 4194304 4896791 140734644561712 140734643510504 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10327/statm: 22915 18099 76 172 0 22741 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 171508

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10327
/proc/meminfo: memFree=28659720/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
[pid=10324] ppid=10323 vsize=64916 CPUtime=3.07 cores=1,3,5,7
/proc/10324/stat : 10324 (pb2sat) R 10323 10323 6783 0 -1 4202496 11083 18385 0 0 109 95 98 5 20 0 1 0 277903768 66473984 14701 33554432000 4194304 5873084 140737065489408 140737065484840 5127520 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10324/statm: 16229 14701 179 410 0 15811 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 74064

[startup+6.30045 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10330
/proc/meminfo: memFree=28542932/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
[pid=10324] ppid=10323 vsize=71060 CPUtime=3.83 cores=1,3,5,7
/proc/10324/stat : 10324 (pb2sat) S 10323 10323 6783 0 -1 4202496 12484 18899 0 0 125 150 98 10 20 0 1 0 277903768 72765440 16004 33554432000 4194304 5873084 140737065489408 140737065483224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10324/statm: 17765 16004 180 410 0 17347 0
[pid=10329] ppid=10324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10329/stat : 10329 (satsolver.sh) S 10324 10323 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277904154 9367552 267 33554432000 4194304 5064252 140736143185344 140736143184256 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10329/statm: 2287 267 226 213 0 72 0
[pid=10330] ppid=10329 vsize=96000 CPUtime=2.42 cores=1,3,5,7
/proc/10330/stat : 10330 (glucose_static) R 10329 10323 6783 0 -1 4202496 20125 0 0 0 238 4 0 0 20 0 1 0 277904155 98304000 20675 33554432000 4194304 4896791 140736207866272 140736207863480 4224696 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10330/statm: 24000 20675 78 172 0 23826 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 185356

[startup+12.7005 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 10330
/proc/meminfo: memFree=28542876/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
[pid=10324] ppid=10323 vsize=71060 CPUtime=3.83 cores=1,3,5,7
/proc/10324/stat : 10324 (pb2sat) S 10323 10323 6783 0 -1 4202496 12484 18899 0 0 125 150 98 10 20 0 1 0 277903768 72765440 16004 33554432000 4194304 5873084 140737065489408 140737065483224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10324/statm: 17765 16004 180 410 0 17347 0
[pid=10329] ppid=10324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10329/stat : 10329 (satsolver.sh) S 10324 10323 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277904154 9367552 267 33554432000 4194304 5064252 140736143185344 140736143184256 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10329/statm: 2287 267 226 213 0 72 0
[pid=10330] ppid=10329 vsize=98080 CPUtime=8.82 cores=1,3,5,7
/proc/10330/stat : 10330 (glucose_static) R 10329 10323 6783 0 -1 4202496 21931 0 0 0 877 5 0 0 20 0 1 0 277904155 100433920 20977 33554432000 4194304 4896791 140736207866272 140736207861944 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10330/statm: 24520 20977 78 172 0 24346 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 187436

[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 10330
/proc/meminfo: memFree=28533436/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
[pid=10324] ppid=10323 vsize=71060 CPUtime=3.83 cores=1,3,5,7
/proc/10324/stat : 10324 (pb2sat) S 10323 10323 6783 0 -1 4202496 12484 18899 0 0 125 150 98 10 20 0 1 0 277903768 72765440 16004 33554432000 4194304 5873084 140737065489408 140737065483224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10324/statm: 17765 16004 180 410 0 17347 0
[pid=10329] ppid=10324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10329/stat : 10329 (satsolver.sh) S 10324 10323 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277904154 9367552 267 33554432000 4194304 5064252 140736143185344 140736143184256 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10329/statm: 2287 267 226 213 0 72 0
[pid=10330] ppid=10329 vsize=112272 CPUtime=21.62 cores=1,3,5,7
/proc/10330/stat : 10330 (glucose_static) R 10329 10323 6783 0 -1 4202496 24077 0 0 0 2155 7 0 0 20 0 1 0 277904155 114966528 23012 33554432000 4194304 4896791 140736207866272 140736207862008 4203877 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10330/statm: 28068 23012 78 172 0 27894 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 201628

[startup+51.1005 s]
/proc/loadavg: 2.11 2.03 2.01 3/183 10330
/proc/meminfo: memFree=28522276/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
[pid=10324] ppid=10323 vsize=71060 CPUtime=3.83 cores=1,3,5,7
/proc/10324/stat : 10324 (pb2sat) S 10323 10323 6783 0 -1 4202496 12484 18899 0 0 125 150 98 10 20 0 1 0 277903768 72765440 16004 33554432000 4194304 5873084 140737065489408 140737065483224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10324/statm: 17765 16004 180 410 0 17347 0
[pid=10329] ppid=10324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10329/stat : 10329 (satsolver.sh) S 10324 10323 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277904154 9367552 267 33554432000 4194304 5064252 140736143185344 140736143184256 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10329/statm: 2287 267 226 213 0 72 0
[pid=10330] ppid=10329 vsize=115308 CPUtime=47.22 cores=1,3,5,7
/proc/10330/stat : 10330 (glucose_static) R 10329 10323 6783 0 -1 4202496 26705 0 0 0 4711 11 0 0 20 0 1 0 277904155 118075392 25771 33554432000 4194304 4896791 140736207866272 140736207863800 4204125 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10330/statm: 28827 25771 78 172 0 28653 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 204664

[startup+102.307 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 10330
/proc/meminfo: memFree=28503420/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
[pid=10324] ppid=10323 vsize=71060 CPUtime=3.83 cores=1,3,5,7
/proc/10324/stat : 10324 (pb2sat) S 10323 10323 6783 0 -1 4202496 12484 18899 0 0 125 150 98 10 20 0 1 0 277903768 72765440 16004 33554432000 4194304 5873084 140737065489408 140737065483224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10324/statm: 17765 16004 180 410 0 17347 0
[pid=10329] ppid=10324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10329/stat : 10329 (satsolver.sh) S 10324 10323 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277904154 9367552 267 33554432000 4194304 5064252 140736143185344 140736143184256 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10329/statm: 2287 267 226 213 0 72 0
[pid=10330] ppid=10329 vsize=138396 CPUtime=98.42 cores=1,3,5,7
/proc/10330/stat : 10330 (glucose_static) R 10329 10323 6783 0 -1 4202496 30244 0 0 0 9827 15 0 0 20 0 1 0 277904155 141717504 28862 33554432000 4194304 4896791 140736207866272 140736207863480 4203844 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10330/statm: 34599 28862 78 172 0 34425 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 227752

[startup+162.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 10330
/proc/meminfo: memFree=28502188/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
[pid=10324] ppid=10323 vsize=71060 CPUtime=3.83 cores=1,3,5,7
/proc/10324/stat : 10324 (pb2sat) S 10323 10323 6783 0 -1 4202496 12484 18899 0 0 125 150 98 10 20 0 1 0 277903768 72765440 16004 33554432000 4194304 5873084 140737065489408 140737065483224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10324/statm: 17765 16004 180 410 0 17347 0
[pid=10329] ppid=10324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10329/stat : 10329 (satsolver.sh) S 10324 10323 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277904154 9367552 267 33554432000 4194304 5064252 140736143185344 140736143184256 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10329/statm: 2287 267 226 213 0 72 0
[pid=10330] ppid=10329 vsize=141272 CPUtime=158.4 cores=1,3,5,7
/proc/10330/stat : 10330 (glucose_static) R 10329 10323 6783 0 -1 4202496 33128 0 0 0 15819 21 0 0 20 0 1 0 277904155 144662528 29117 33554432000 4194304 4896791 140736207866272 140736207862008 4225559 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10330/statm: 35318 29117 78 172 0 35144 0
Current children cumulated CPU time (s) 162.23

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

/proc/10330/stat : 10330 (glucose_static) R 10329 10323 6783 0 -1 4202496 67940 0 0 0 135724 94 0 0 20 0 1 0 277904155 202940416 43922 33554432000 4194304 4896791 140736207866272 140736207861944 4225414 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10330/statm: 49546 43922 78 172 0 49372 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 287540

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 10386
/proc/meminfo: memFree=28610644/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
[pid=10324] ppid=10323 vsize=71060 CPUtime=3.83 cores=1,3,5,7
/proc/10324/stat : 10324 (pb2sat) S 10323 10323 6783 0 -1 4202496 12484 18899 0 0 125 150 98 10 20 0 1 0 277903768 72765440 16004 33554432000 4194304 5873084 140737065489408 140737065483224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10324/statm: 17765 16004 180 410 0 17347 0
[pid=10329] ppid=10324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10329/stat : 10329 (satsolver.sh) S 10324 10323 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277904154 9367552 267 33554432000 4194304 5064252 140736143185344 140736143184256 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10329/statm: 2287 267 226 213 0 72 0
[pid=10330] ppid=10329 vsize=198876 CPUtime=1418.17 cores=1,3,5,7
/proc/10330/stat : 10330 (glucose_static) R 10329 10323 6783 0 -1 4202496 69662 0 0 0 141720 97 0 0 20 0 1 0 277904155 203649024 41005 33554432000 4194304 4896791 140736207866272 140736207862008 4225141 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10330/statm: 49719 41005 78 172 0 49545 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 288232

[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 10387
/proc/meminfo: memFree=28548936/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
[pid=10324] ppid=10323 vsize=71060 CPUtime=3.83 cores=1,3,5,7
/proc/10324/stat : 10324 (pb2sat) S 10323 10323 6783 0 -1 4202496 12484 18899 0 0 125 150 98 10 20 0 1 0 277903768 72765440 16004 33554432000 4194304 5873084 140737065489408 140737065483224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10324/statm: 17765 16004 180 410 0 17347 0
[pid=10329] ppid=10324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10329/stat : 10329 (satsolver.sh) S 10324 10323 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277904154 9367552 267 33554432000 4194304 5064252 140736143185344 140736143184256 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10329/statm: 2287 267 226 213 0 72 0
[pid=10330] ppid=10329 vsize=249668 CPUtime=1478.16 cores=1,3,5,7
/proc/10330/stat : 10330 (glucose_static) R 10329 10323 6783 0 -1 4202496 70678 0 0 0 147717 99 0 0 20 0 1 0 277904155 255660032 51891 33554432000 4194304 4896791 140736207866272 140736207863480 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10330/statm: 62417 51891 78 172 0 62243 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 339024

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 10387
/proc/meminfo: memFree=28585664/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
[pid=10324] ppid=10323 vsize=71060 CPUtime=3.83 cores=1,3,5,7
/proc/10324/stat : 10324 (pb2sat) S 10323 10323 6783 0 -1 4202496 12484 18899 0 0 125 150 98 10 20 0 1 0 277903768 72765440 16004 33554432000 4194304 5873084 140737065489408 140737065483224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10324/statm: 17765 16004 180 410 0 17347 0
[pid=10329] ppid=10324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10329/stat : 10329 (satsolver.sh) S 10324 10323 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277904154 9367552 267 33554432000 4194304 5064252 140736143185344 140736143184256 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10329/statm: 2287 267 226 213 0 72 0
[pid=10330] ppid=10329 vsize=250040 CPUtime=1538.15 cores=1,3,5,7
/proc/10330/stat : 10330 (glucose_static) R 10329 10323 6783 0 -1 4202496 72343 0 0 0 153712 103 0 0 20 0 1 0 277904155 256040960 49413 33554432000 4194304 4896791 140736207866272 140736207863480 4203780 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10330/statm: 62510 49413 78 172 0 62336 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 339396

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10387
/proc/meminfo: memFree=28587564/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
[pid=10324] ppid=10323 vsize=71060 CPUtime=3.83 cores=1,3,5,7
/proc/10324/stat : 10324 (pb2sat) S 10323 10323 6783 0 -1 4202496 12484 18899 0 0 125 150 98 10 20 0 1 0 277903768 72765440 16004 33554432000 4194304 5873084 140737065489408 140737065483224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10324/statm: 17765 16004 180 410 0 17347 0
[pid=10329] ppid=10324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10329/stat : 10329 (satsolver.sh) S 10324 10323 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277904154 9367552 267 33554432000 4194304 5064252 140736143185344 140736143184256 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10329/statm: 2287 267 226 213 0 72 0
[pid=10330] ppid=10329 vsize=200732 CPUtime=1598.14 cores=1,3,5,7
/proc/10330/stat : 10330 (glucose_static) R 10329 10323 6783 0 -1 4202496 73246 0 0 0 159708 106 0 0 20 0 1 0 277904155 205549568 45177 33554432000 4194304 4896791 140736207866272 140736207861288 4225168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10330/statm: 50183 45177 78 172 0 50009 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 290088

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10390
/proc/meminfo: memFree=28584984/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
[pid=10324] ppid=10323 vsize=71060 CPUtime=3.83 cores=1,3,5,7
/proc/10324/stat : 10324 (pb2sat) S 10323 10323 6783 0 -1 4202496 12484 18899 0 0 125 150 98 10 20 0 1 0 277903768 72765440 16004 33554432000 4194304 5873084 140737065489408 140737065483224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10324/statm: 17765 16004 180 410 0 17347 0
[pid=10329] ppid=10324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10329/stat : 10329 (satsolver.sh) S 10324 10323 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277904154 9367552 267 33554432000 4194304 5064252 140736143185344 140736143184256 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10329/statm: 2287 267 226 213 0 72 0
[pid=10330] ppid=10329 vsize=201380 CPUtime=1658.13 cores=1,3,5,7
/proc/10330/stat : 10330 (glucose_static) R 10329 10323 6783 0 -1 4202496 74975 0 0 0 165704 109 0 0 20 0 1 0 277904155 206213120 41734 33554432000 4194304 4896791 140736207866272 140736207862008 4225141 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10330/statm: 50345 41734 78 172 0 50171 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 290736

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10390
/proc/meminfo: memFree=28530248/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
[pid=10324] ppid=10323 vsize=71060 CPUtime=3.83 cores=1,3,5,7
/proc/10324/stat : 10324 (pb2sat) S 10323 10323 6783 0 -1 4202496 12484 18899 0 0 125 150 98 10 20 0 1 0 277903768 72765440 16004 33554432000 4194304 5873084 140737065489408 140737065483224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10324/statm: 17765 16004 180 410 0 17347 0
[pid=10329] ppid=10324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10329/stat : 10329 (satsolver.sh) S 10324 10323 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277904154 9367552 267 33554432000 4194304 5064252 140736143185344 140736143184256 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10329/statm: 2287 267 226 213 0 72 0
[pid=10330] ppid=10329 vsize=251780 CPUtime=1718.11 cores=1,3,5,7
/proc/10330/stat : 10330 (glucose_static) R 10329 10323 6783 0 -1 4202496 75889 0 0 0 171701 110 0 0 20 0 1 0 277904155 257822720 53366 33554432000 4194304 4896791 140736207866272 140736207863480 4224971 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10330/statm: 62945 53366 78 172 0 62771 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 341136

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 10391
/proc/meminfo: memFree=28536860/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
[pid=10324] ppid=10323 vsize=71060 CPUtime=3.83 cores=1,3,5,7
/proc/10324/stat : 10324 (pb2sat) S 10323 10323 6783 0 -1 4202496 12484 18899 0 0 125 150 98 10 20 0 1 0 277903768 72765440 16004 33554432000 4194304 5873084 140737065489408 140737065483224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10324/statm: 17765 16004 180 410 0 17347 0
[pid=10329] ppid=10324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10329/stat : 10329 (satsolver.sh) S 10324 10323 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277904154 9367552 267 33554432000 4194304 5064252 140736143185344 140736143184256 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10329/statm: 2287 267 226 213 0 72 0
[pid=10330] ppid=10329 vsize=253400 CPUtime=1778.11 cores=1,3,5,7
/proc/10330/stat : 10330 (glucose_static) R 10329 10323 6783 0 -1 4202496 76352 0 0 0 177698 113 0 0 20 0 1 0 277904155 259481600 49298 33554432000 4194304 4896791 140736207866272 140736207863800 4203752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10330/statm: 63350 49298 78 172 0 63176 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 342756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 10391
/proc/meminfo: memFree=28556024/32873844 swapFree=7384/7384
[pid=10323] ppid=10321 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10323/stat : 10323 (runPb2sat.sh) S 10321 10323 6783 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 277903768 9367552 274 33554432000 4194304 5064252 140736877665072 140736877663984 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10323/statm: 2287 274 233 213 0 72 0
[pid=10324] ppid=10323 vsize=71060 CPUtime=3.83 cores=1,3,5,7
/proc/10324/stat : 10324 (pb2sat) S 10323 10323 6783 0 -1 4202496 12484 18899 0 0 125 150 98 10 20 0 1 0 277903768 72765440 16004 33554432000 4194304 5873084 140737065489408 140737065483224 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10324/statm: 17765 16004 180 410 0 17347 0
[pid=10329] ppid=10324 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10329/stat : 10329 (satsolver.sh) S 10324 10323 6783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 277904154 9367552 267 33554432000 4194304 5064252 140736143185344 140736143184256 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10329/statm: 2287 267 226 213 0 72 0
[pid=10330] ppid=10329 vsize=253692 CPUtime=1796.21 cores=1,3,5,7
/proc/10330/stat : 10330 (glucose_static) R 10329 10323 6783 0 -1 4202496 76421 0 0 0 179508 113 0 0 20 0 1 0 277904155 259780608 52433 33554432000 4194304 4896791 140736207866272 140736207862008 4225124 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10330/statm: 63423 52433 78 172 0 63249 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 343048

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 10323 and gives
#  childrusage.ru_utime.tv_sec=2
#  childrusage.ru_utime.tv_usec=243658
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=622753
# CPU time returned by wait4() is 3.86641
# while last known CPU time is 1800.04
#
# 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.04
CPU user time (s): 1797.31
CPU system time (s): 2.73
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 422896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.24366
system time used= 1.62275
maximum resident set size= 94316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32360
page faults= 0
swaps= 0
block input operations= 0
block output operations= 168264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 14

runsolver used 9.10262 second user time and 16.7385 second system time

The end

Launcher Data

Begin job on node136 at 2012-05-27 13:23:03
IDJOB=3696867
IDBENCH=90606
IDSOLVER=2274
FILE ID=node136/3696867-1338117783
RUNJOBID= node136-1338088237-6800
PBS_JOBID= 14624456
Free space on /tmp= 71572 MiB

SOLVER NAME= pb2sat 2012-05-19
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_10null10mast_rapportOE1.0_TMAX120_K67_cod2.opb
COMMAND LINE= DIR/runPb2sat.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3696867-1338117783/watcher-3696867-1338117783 -o /tmp/evaluation-result-3696867-1338117783/solver-3696867-1338117783 -C 1800 -W 1900 -M 15500  HOME/runPb2sat.sh HOME/instance-3696867-1338117783.opb 241560958 HOME HOME

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

MD5SUM BENCH= c566835626501a566dd2965326e4b112
RANDOM SEED=241560958

node136.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		: 2667.247
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	: 5334.49
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		: 2667.247
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		: 2667.247
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.94
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		: 2667.247
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.90
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		: 2667.247
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.90
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		: 2667.247
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		: 2667.247
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		: 2667.247
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:        28749512 kB
Buffers:          399192 kB
Cached:          2505108 kB
SwapCached:        24460 kB
Active:          1174304 kB
Inactive:        2112360 kB
Active(anon):     353652 kB
Inactive(anon):    28232 kB
Active(file):     820652 kB
Inactive(file):  2084128 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67079072 kB
Dirty:             10872 kB
Writeback:             0 kB
AnonPages:        455476 kB
Mapped:            10316 kB
Shmem:                 0 kB
Slab:             699420 kB
SReclaimable:     141260 kB
SUnreclaim:       558160 kB
KernelStack:        1520 kB
PageTables:         4244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     575740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    331776 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= 71532 MiB
End job on node136 at 2012-05-27 13:53:04