Trace number 3700928

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver 1.0? (TO) 1800.11 1800.62

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_6.opb
MD5SUM5083e4e53b2d6b5d7b03dffa57422dcf
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5473551
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 160103007
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 54947189218
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 160103007
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 54947189218
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.15	c run usual solver
1.37/1.42	c model valid
1.37/1.42	c current solution ok
1.67/1.78	o 474382029
1.67/1.78	c current bound: 237191039
1.67/1.78	c fallback to adder encoding
7.77/7.81	c model valid
7.77/7.81	c current solution ok
7.77/7.83	o 19187867
7.77/7.83	c current bound: 9593958
7.77/7.83	c fallback to adder encoding
130.16/130.67	c model valid
130.16/130.67	c current solution ok
130.16/130.69	o 9005735
130.16/130.69	c current bound: 4502892
130.16/130.69	c fallback to adder encoding
1800.11/1800.61	c error: unexpected solver exit code
1800.11/1800.61	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-3700928-1338139432/watcher-3700928-1338139432 -o /tmp/evaluation-result-3700928-1338139432/solver-3700928-1338139432 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700928-1338139432.opb 2091569283 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.09 2.07 2.05 2/179 29264
/proc/meminfo: memFree=31053888/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0

[startup+0.0877811 s]
/proc/loadavg: 2.09 2.07 2.05 2/179 29264
/proc/meminfo: memFree=31053888/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100321 s]
/proc/loadavg: 2.09 2.07 2.05 2/179 29264
/proc/meminfo: memFree=31053888/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300242 s]
/proc/loadavg: 2.09 2.07 2.05 2/179 29264
/proc/meminfo: memFree=31053888/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700252 s]
/proc/loadavg: 2.09 2.07 2.05 2/179 29264
/proc/meminfo: memFree=31053888/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5003 s]
/proc/loadavg: 2.09 2.07 2.05 3/183 29268
/proc/meminfo: memFree=30958784/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
[pid=29265] ppid=29264 vsize=18076 CPUtime=1.47 cores=1,3,5,7
/proc/29265/stat : 29265 (npSolver-pbo) R 29264 29264 27402 0 -1 4202496 4464 29638 0 0 18 8 105 16 20 0 1 0 280068806 18509824 3425 33554432000 4194304 5992684 140737264289824 140737264284432 5179696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29265/statm: 4519 3425 179 440 0 4075 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 27224

[startup+3.10032 s]
/proc/loadavg: 2.08 2.07 2.05 3/181 29276
/proc/meminfo: memFree=30994440/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
[pid=29265] ppid=29264 vsize=95344 CPUtime=2.62 cores=1,3,5,7
/proc/29265/stat : 29265 (npSolver-pbo) S 29264 29264 27402 0 -1 4202496 9761 30155 0 0 98 42 105 17 20 0 1 0 280068806 97632256 19922 33554432000 4194304 5992684 140737264289824 140737264282144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29265/statm: 23836 19922 189 440 0 23392 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 104492

[startup+6.30042 s]
/proc/loadavg: 2.08 2.07 2.05 3/183 29285
/proc/meminfo: memFree=30815972/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
[pid=29265] ppid=29264 vsize=95344 CPUtime=2.62 cores=1,3,5,7
/proc/29265/stat : 29265 (npSolver-pbo) S 29264 29264 27402 0 -1 4202496 9761 30155 0 0 98 42 105 17 20 0 1 0 280068806 97632256 19922 33554432000 4194304 5992684 140737264289824 140737264282144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29265/statm: 23836 19922 189 440 0 23392 0
[pid=29277] ppid=29265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29277/stat : 29277 (satsolver.sh) S 29265 29264 27402 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280069071 9367552 267 33554432000 4194304 5064252 140734499240448 140734499239360 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29277/statm: 2287 267 226 213 0 72 0
[pid=29278] ppid=29277 vsize=180484 CPUtime=3.63 cores=1,3,5,7
/proc/29278/stat : 29278 (glucose) R 29277 29264 27402 0 -1 4202496 30641 0 0 0 354 9 0 0 20 0 1 0 280069071 184815616 38174 33554432000 4194304 5208918 140733430536688 140733430534536 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29278/statm: 45121 38174 104 248 0 44870 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 294124

[startup+12.7005 s]
/proc/loadavg: 2.22 2.10 2.06 3/183 29292
/proc/meminfo: memFree=30915256/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
[pid=29265] ppid=29264 vsize=52468 CPUtime=8.32 cores=1,3,5,7
/proc/29265/stat : 29265 (npSolver-pbo) S 29264 29264 27402 0 -1 4202496 15463 67804 0 0 145 49 588 50 20 0 1 0 280068806 53727232 11795 33554432000 4194304 5992684 140737264289824 140737264282144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29265/statm: 13117 11795 189 440 0 12673 0
[pid=29291] ppid=29265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29291/stat : 29291 (satsolver.sh) S 29265 29264 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280069641 9367552 267 33554432000 4194304 5064252 140736271572992 140736271571904 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29291/statm: 2287 267 226 213 0 72 0
[pid=29292] ppid=29291 vsize=116396 CPUtime=4.34 cores=1,3,5,7
/proc/29292/stat : 29292 (glucose) R 29291 29264 27402 0 -1 4202496 21871 0 0 0 427 7 0 0 20 0 1 0 280069641 119189504 25737 33554432000 4194304 5208918 140736365119024 140736365116696 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29292/statm: 29099 25737 104 248 0 28848 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 187160

[startup+25.5005 s]
/proc/loadavg: 2.19 2.10 2.06 3/183 29292
/proc/meminfo: memFree=30910548/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
[pid=29265] ppid=29264 vsize=52468 CPUtime=8.32 cores=1,3,5,7
/proc/29265/stat : 29265 (npSolver-pbo) S 29264 29264 27402 0 -1 4202496 15463 67804 0 0 145 49 588 50 20 0 1 0 280068806 53727232 11795 33554432000 4194304 5992684 140737264289824 140737264282144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29265/statm: 13117 11795 189 440 0 12673 0
[pid=29291] ppid=29265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29291/stat : 29291 (satsolver.sh) S 29265 29264 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280069641 9367552 267 33554432000 4194304 5064252 140736271572992 140736271571904 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29291/statm: 2287 267 226 213 0 72 0
[pid=29292] ppid=29291 vsize=117664 CPUtime=17.13 cores=1,3,5,7
/proc/29292/stat : 29292 (glucose) R 29291 29264 27402 0 -1 4202496 22190 0 0 0 1706 7 0 0 20 0 1 0 280069641 120487936 26567 33554432000 4194304 5208918 140736365119024 140736365116872 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29292/statm: 29416 26567 104 248 0 29165 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 188428

[startup+51.1004 s]
/proc/loadavg: 2.20 2.10 2.06 3/183 29299
/proc/meminfo: memFree=30925668/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
[pid=29265] ppid=29264 vsize=52468 CPUtime=8.32 cores=1,3,5,7
/proc/29265/stat : 29265 (npSolver-pbo) S 29264 29264 27402 0 -1 4202496 15463 67804 0 0 145 49 588 50 20 0 1 0 280068806 53727232 11795 33554432000 4194304 5992684 140737264289824 140737264282144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29265/statm: 13117 11795 189 440 0 12673 0
[pid=29291] ppid=29265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29291/stat : 29291 (satsolver.sh) S 29265 29264 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280069641 9367552 267 33554432000 4194304 5064252 140736271572992 140736271571904 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29291/statm: 2287 267 226 213 0 72 0
[pid=29292] ppid=29291 vsize=120640 CPUtime=42.72 cores=1,3,5,7
/proc/29292/stat : 29292 (glucose) R 29291 29264 27402 0 -1 4202496 22739 0 0 0 4265 7 0 0 20 0 1 0 280069641 123535360 28133 33554432000 4194304 5208918 140736365119024 140736365116856 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29292/statm: 30160 28133 104 248 0 29909 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 191404

[startup+102.307 s]
/proc/loadavg: 2.13 2.10 2.06 3/183 29306
/proc/meminfo: memFree=30879480/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
[pid=29265] ppid=29264 vsize=52468 CPUtime=8.32 cores=1,3,5,7
/proc/29265/stat : 29265 (npSolver-pbo) S 29264 29264 27402 0 -1 4202496 15463 67804 0 0 145 49 588 50 20 0 1 0 280068806 53727232 11795 33554432000 4194304 5992684 140737264289824 140737264282144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29265/statm: 13117 11795 189 440 0 12673 0
[pid=29291] ppid=29265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29291/stat : 29291 (satsolver.sh) S 29265 29264 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280069641 9367552 267 33554432000 4194304 5064252 140736271572992 140736271571904 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29291/statm: 2287 267 226 213 0 72 0
[pid=29292] ppid=29291 vsize=151192 CPUtime=93.92 cores=1,3,5,7
/proc/29292/stat : 29292 (glucose) R 29291 29264 27402 0 -1 4202496 24330 0 0 0 9383 9 0 0 20 0 1 0 280069641 154820608 35835 33554432000 4194304 5208918 140736365119024 140736365117112 4212601 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29292/statm: 37798 35835 104 248 0 37547 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 221956

[startup+162.3 s]
/proc/loadavg: 2.05 2.08 2.05 3/183 29314
/proc/meminfo: memFree=30834776/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
[pid=29265] ppid=29264 vsize=84772 CPUtime=130.98 cores=1,3,5,7
/proc/29265/stat : 29265 (npSolver-pbo) S 29264 29264 27402 0 -1 4202496 19790 99461 0 0 186 55 12782 75 20 0 1 0 280068806 86806528 18815 33554432000 4194304 5992684 140737264289824 140737264282144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29265/statm: 21193 18815 189 440 0 20749 0
[pid=29312] ppid=29265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29312/stat : 29312 (satsolver.sh) S 29265 29264 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280081920 9367552 266 33554432000 4194304 5064252 140733865697104 140733865696016 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29312/statm: 2287 266 226 213 0 72 0
[pid=29313] ppid=29312 vsize=114540 CPUtime=31.14 cores=1,3,5,7
/proc/29313/stat : 29313 (glucose) R 29312 29264 27402 0 -1 4202496 22112 0 0 0 3107 7 0 0 20 0 1 0 280081920 117288960 24113 33554432000 4194304 5208918 140735063829920 140735063827752 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29313/statm: 28635 24113 105 248 0 28384 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 217608

[startup+222.3 s]
/proc/loadavg: 2.05 2.08 2.05 3/183 29314
/proc/meminfo: memFree=30787668/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/29313/stat : 29313 (glucose) R 29312 29264 27402 0 -1 4202496 36895 0 0 0 123057 32 0 0 20 0 1 0 280081920 188719104 41486 33554432000 4194304 5208918 140735063829920 140735063826296 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29313/statm: 46074 41486 105 248 0 45823 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 287364

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29324
/proc/meminfo: memFree=30691212/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
[pid=29265] ppid=29264 vsize=84772 CPUtime=130.98 cores=1,3,5,7
/proc/29265/stat : 29265 (npSolver-pbo) S 29264 29264 27402 0 -1 4202496 19790 99461 0 0 186 55 12782 75 20 0 1 0 280068806 86806528 18815 33554432000 4194304 5992684 140737264289824 140737264282144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29265/statm: 21193 18815 189 440 0 20749 0
[pid=29312] ppid=29265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29312/stat : 29312 (satsolver.sh) S 29265 29264 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280081920 9367552 266 33554432000 4194304 5064252 140733865697104 140733865696016 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29312/statm: 2287 266 226 213 0 72 0
[pid=29313] ppid=29312 vsize=215116 CPUtime=1290.89 cores=1,3,5,7
/proc/29313/stat : 29313 (glucose) R 29312 29264 27402 0 -1 4202496 37489 0 0 0 129056 33 0 0 20 0 1 0 280081920 220278784 47697 33554432000 4194304 5208918 140735063829920 140735063826296 4211668 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29313/statm: 53779 47697 105 248 0 53528 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 318184

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29324
/proc/meminfo: memFree=30629336/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
[pid=29265] ppid=29264 vsize=84772 CPUtime=130.98 cores=1,3,5,7
/proc/29265/stat : 29265 (npSolver-pbo) S 29264 29264 27402 0 -1 4202496 19790 99461 0 0 186 55 12782 75 20 0 1 0 280068806 86806528 18815 33554432000 4194304 5992684 140737264289824 140737264282144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29265/statm: 21193 18815 189 440 0 20749 0
[pid=29312] ppid=29265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29312/stat : 29312 (satsolver.sh) S 29265 29264 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280081920 9367552 266 33554432000 4194304 5064252 140733865697104 140733865696016 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29312/statm: 2287 266 226 213 0 72 0
[pid=29313] ppid=29312 vsize=265204 CPUtime=1350.87 cores=1,3,5,7
/proc/29313/stat : 29313 (glucose) R 29312 29264 27402 0 -1 4202496 37805 0 0 0 135053 34 0 0 20 0 1 0 280081920 271568896 54654 33554432000 4194304 5208918 140735063829920 140735063828072 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29313/statm: 66301 54654 105 248 0 66050 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 368272

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29324
/proc/meminfo: memFree=30679592/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
[pid=29265] ppid=29264 vsize=84772 CPUtime=130.98 cores=1,3,5,7
/proc/29265/stat : 29265 (npSolver-pbo) S 29264 29264 27402 0 -1 4202496 19790 99461 0 0 186 55 12782 75 20 0 1 0 280068806 86806528 18815 33554432000 4194304 5992684 140737264289824 140737264282144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29265/statm: 21193 18815 189 440 0 20749 0
[pid=29312] ppid=29265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29312/stat : 29312 (satsolver.sh) S 29265 29264 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280081920 9367552 266 33554432000 4194304 5064252 140733865697104 140733865696016 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29312/statm: 2287 266 226 213 0 72 0
[pid=29313] ppid=29312 vsize=215116 CPUtime=1410.85 cores=1,3,5,7
/proc/29313/stat : 29313 (glucose) R 29312 29264 27402 0 -1 4202496 38966 0 0 0 141049 36 0 0 20 0 1 0 280081920 220278784 48209 33554432000 4194304 5208918 140735063829920 140735063826296 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29313/statm: 53779 48209 105 248 0 53528 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 318184

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 29327
/proc/meminfo: memFree=30684660/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
[pid=29265] ppid=29264 vsize=84772 CPUtime=130.98 cores=1,3,5,7
/proc/29265/stat : 29265 (npSolver-pbo) S 29264 29264 27402 0 -1 4202496 19790 99461 0 0 186 55 12782 75 20 0 1 0 280068806 86806528 18815 33554432000 4194304 5992684 140737264289824 140737264282144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29265/statm: 21193 18815 189 440 0 20749 0
[pid=29312] ppid=29265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29312/stat : 29312 (satsolver.sh) S 29265 29264 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280081920 9367552 266 33554432000 4194304 5064252 140733865697104 140733865696016 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29312/statm: 2287 266 226 213 0 72 0
[pid=29313] ppid=29312 vsize=265204 CPUtime=1470.84 cores=1,3,5,7
/proc/29313/stat : 29313 (glucose) R 29312 29264 27402 0 -1 4202496 39282 0 0 0 147047 37 0 0 20 0 1 0 280081920 271568896 55166 33554432000 4194304 5208918 140735063829920 140735063825688 4229512 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29313/statm: 66301 55166 105 248 0 66050 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 368272

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 29327
/proc/meminfo: memFree=30675976/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
[pid=29265] ppid=29264 vsize=84772 CPUtime=130.98 cores=1,3,5,7
/proc/29265/stat : 29265 (npSolver-pbo) S 29264 29264 27402 0 -1 4202496 19790 99461 0 0 186 55 12782 75 20 0 1 0 280068806 86806528 18815 33554432000 4194304 5992684 140737264289824 140737264282144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29265/statm: 21193 18815 189 440 0 20749 0
[pid=29312] ppid=29265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29312/stat : 29312 (satsolver.sh) S 29265 29264 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280081920 9367552 266 33554432000 4194304 5064252 140733865697104 140733865696016 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29312/statm: 2287 266 226 213 0 72 0
[pid=29313] ppid=29312 vsize=215116 CPUtime=1530.83 cores=1,3,5,7
/proc/29313/stat : 29313 (glucose) R 29312 29264 27402 0 -1 4202496 40394 0 0 0 153043 40 0 0 20 0 1 0 280081920 220278784 47185 33554432000 4194304 5208918 140735063829920 140735063825688 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29313/statm: 53779 47185 105 248 0 53528 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 318184

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 29328
/proc/meminfo: memFree=30680052/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
[pid=29265] ppid=29264 vsize=84772 CPUtime=130.98 cores=1,3,5,7
/proc/29265/stat : 29265 (npSolver-pbo) S 29264 29264 27402 0 -1 4202496 19790 99461 0 0 186 55 12782 75 20 0 1 0 280068806 86806528 18815 33554432000 4194304 5992684 140737264289824 140737264282144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29265/statm: 21193 18815 189 440 0 20749 0
[pid=29312] ppid=29265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29312/stat : 29312 (satsolver.sh) S 29265 29264 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280081920 9367552 266 33554432000 4194304 5064252 140733865697104 140733865696016 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29312/statm: 2287 266 226 213 0 72 0
[pid=29313] ppid=29312 vsize=265204 CPUtime=1590.82 cores=1,3,5,7
/proc/29313/stat : 29313 (glucose) R 29312 29264 27402 0 -1 4202496 40714 0 0 0 159041 41 0 0 20 0 1 0 280081920 271568896 54654 33554432000 4194304 5208918 140735063829920 140735063828072 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29313/statm: 66301 54654 105 248 0 66050 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 368272

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 29387
/proc/meminfo: memFree=30557084/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
[pid=29265] ppid=29264 vsize=84772 CPUtime=130.98 cores=1,3,5,7
/proc/29265/stat : 29265 (npSolver-pbo) S 29264 29264 27402 0 -1 4202496 19790 99461 0 0 186 55 12782 75 20 0 1 0 280068806 86806528 18815 33554432000 4194304 5992684 140737264289824 140737264282144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29265/statm: 21193 18815 189 440 0 20749 0
[pid=29312] ppid=29265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29312/stat : 29312 (satsolver.sh) S 29265 29264 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280081920 9367552 266 33554432000 4194304 5064252 140733865697104 140733865696016 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29312/statm: 2287 266 226 213 0 72 0
[pid=29313] ppid=29312 vsize=215116 CPUtime=1650.81 cores=1,3,5,7
/proc/29313/stat : 29313 (glucose) R 29312 29264 27402 0 -1 4202496 41838 0 0 0 165038 43 0 0 20 0 1 0 280081920 220278784 47185 33554432000 4194304 5208918 140735063829920 140735063826232 4213234 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29313/statm: 53779 47185 105 248 0 53528 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 318184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 29387
/proc/meminfo: memFree=30546288/32873844 swapFree=7624/7624
[pid=29264] ppid=29262 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29264/stat : 29264 (npSolver-pbo.sh) S 29262 29264 27402 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280068806 9367552 274 33554432000 4194304 5064252 140736023842768 140736023841680 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29264/statm: 2287 274 233 213 0 72 0
[pid=29265] ppid=29264 vsize=84772 CPUtime=130.98 cores=1,3,5,7
/proc/29265/stat : 29265 (npSolver-pbo) S 29264 29264 27402 0 -1 4202496 19790 99461 0 0 186 55 12782 75 20 0 1 0 280068806 86806528 18815 33554432000 4194304 5992684 140737264289824 140737264282144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29265/statm: 21193 18815 189 440 0 20749 0
[pid=29312] ppid=29265 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29312/stat : 29312 (satsolver.sh) S 29265 29264 27402 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280081920 9367552 266 33554432000 4194304 5064252 140733865697104 140733865696016 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29312/statm: 2287 266 226 213 0 72 0
[pid=29313] ppid=29312 vsize=215116 CPUtime=1669.13 cores=1,3,5,7
/proc/29313/stat : 29313 (glucose) R 29312 29264 27402 0 -1 4202496 41840 0 0 0 166869 44 0 0 20 0 1 0 280081920 220278784 48209 33554432000 4194304 5208918 140735063829920 140735063826296 4229021 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29313/statm: 53779 48209 105 248 0 53528 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 318184

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 29264 and gives
#  childrusage.ru_utime.tv_sec=129
#  childrusage.ru_utime.tv_usec=697283
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=317799
# CPU time returned by wait4() is 131.015
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.62
CPU time (s): 1800.11
CPU user time (s): 1798.37
CPU system time (s): 1.74
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 417592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.697
system time used= 1.3178
maximum resident set size= 193628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120228
page faults= 0
swaps= 0
block input operations= 0
block output operations= 290352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1425
involuntary context switches= 207

runsolver used 3.45547 second user time and 8.45571 second system time

The end

Launcher Data 

Begin job on node130 at 2012-05-27 19:23:52
IDJOB=3700928
IDBENCH=92750
IDSOLVER=2277
FILE ID=node130/3700928-1338139432
RUNJOBID= node130-1338122171-27419
PBS_JOBID= 14624483
Free space on /tmp= 71420 MiB

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

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

MD5SUM BENCH= 5083e4e53b2d6b5d7b03dffa57422dcf
RANDOM SEED=2091569283

node130.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.875
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.75
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.875
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.875
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.91
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.875
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.86
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.875
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.875
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.875
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.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31054152 kB
Buffers:          281788 kB
Cached:           478276 kB
SwapCached:         4516 kB
Active:           955900 kB
Inactive:          30648 kB
Active(anon):     215308 kB
Inactive(anon):    10252 kB
Active(file):     740592 kB
Inactive(file):    20396 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099908 kB
Dirty:              8544 kB
Writeback:             0 kB
AnonPages:        282364 kB
Mapped:            12780 kB
Shmem:                 8 kB
Slab:             692968 kB
SReclaimable:     134668 kB
SUnreclaim:       558300 kB
KernelStack:        1520 kB
PageTables:         4636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     408864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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= 71328 MiB
End job on node130 at 2012-05-27 19:53:53