Trace number 3736259

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
PB07: PB-clasp 2007-04-10SAT (TO)26 1802.1 1802.42

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir06_area_opers.opb
MD5SUM4b72d81adefd0ef56251a04b2b714e8c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark2.6306
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved YES
Number of variables11085
Total number of constraints23298
Number of constraints which are clauses23298
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 5533
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5533
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5533
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.02/2.07	o 26
1573.21/1573.52	sh: line 1:  9330 Done                    cat HOME/temp/instance-3736259-1338730514.opb.op
1573.21/1573.52	      9331 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3736259-1338730514.opb.clasp
1800.06/1800.40	sh: line 1:  9386 Done                    cat HOME/temp/instance-3736259-1338730514.opb.op
1800.06/1800.40	      9387 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3736259-1338730514.opb.clasp
1800.06/1800.41	c Somebody sent me a SIGTERM
1800.06/1800.41	s SATISFIABLE
1800.06/1800.41	v x24 x28 x81 x149 x174 x271 x345 x346 x1133 x1134 x1185 x1234 x1598 x3692 x3693 x3842 x3843 x4042 x5021 x6203 x6204 x6513 x6514 x6783 x7275 x7276 x7614 x7629 x8584 x10280 x10624 x10686 x10986 x11027 x11056 x11062 x11080 x11083 x11085 
1800.06/1800.41	pb2clasp1: no process killed
1802.05/1802.41	sh: line 1:  9534 Done                    cat HOME/temp/instance-3736259-1338730514.opb.op
1802.05/1802.41	      9535 Killed                  | clasp-1.0 --trans=no > HOME/temp/instance-3736259-1338730514.opb.clasp

Verifier Data 

OK	26

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-3736259-1338730514/watcher-3736259-1338730514 -o /tmp/evaluation-result-3736259-1338730514/solver-3736259-1338730514 -C 1800 -W 1900 -M 15500 pbclasp instance-3736259-1338730514.opb HOME/temp 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 9313
/proc/meminfo: memFree=27965588/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) R 9311 9313 28789 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 339180011 26357760 526 33554432000 4194304 4198148 140735872608960 140736843522392 240426389396 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/9313/statm: 6435 526 355 1 0 230 0

[startup+0.0834311 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 9313
/proc/meminfo: memFree=27965588/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=26552 CPUtime=0.08 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) R 9311 9313 28789 0 -1 4202496 784 0 0 0 8 0 0 0 20 0 1 0 339180011 27189248 715 33554432000 4194304 4198148 140735872608960 140736843522392 240426435359 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/9313/statm: 6638 715 362 1 0 433 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26552

[startup+0.100211 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 9313
/proc/meminfo: memFree=27965588/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=26552 CPUtime=0.09 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) R 9311 9313 28789 0 -1 4202496 800 0 0 0 9 0 0 0 20 0 1 0 339180011 27189248 731 33554432000 4194304 4198148 140735872608960 140736843522392 240452107536 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/9313/statm: 6638 731 362 1 0 433 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26552

[startup+0.300181 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 9313
/proc/meminfo: memFree=27965588/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27236 CPUtime=0.19 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 996 0 0 0 19 0 0 0 20 0 1 0 339180011 27889664 910 33554432000 4194304 4198148 140735872608960 140735872607848 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9313/statm: 6809 910 369 1 0 604 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27236

[startup+0.700172 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 9313
/proc/meminfo: memFree=27965588/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27236 CPUtime=0.19 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 996 0 0 0 19 0 0 0 20 0 1 0 339180011 27889664 910 33554432000 4194304 4198148 140735872608960 140735872607848 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9313/statm: 6809 910 369 1 0 604 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27236

[startup+1.50023 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 9316
/proc/meminfo: memFree=27962100/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=1.02 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1315 2119 0 0 19 0 83 0 20 0 1 0 339180011 28430336 1038 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9313/statm: 6941 1038 387 1 0 736 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 27764

[startup+3.10029 s]
/proc/loadavg: 1.99 1.98 1.99 3/182 9331
/proc/meminfo: memFree=27959100/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=2.07 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1467 7893 0 0 20 0 185 2 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9329] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9329/stat : 9329 (sh) S 9313 9313 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339180219 9367552 264 33554432000 4194304 5064252 140737287398592 140737287396848 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9329/statm: 2287 264 223 213 0 72 0
[pid=9331] ppid=9329 vsize=16652 CPUtime=1 cores=0,2,4,6
/proc/9331/stat : 9331 (clasp-1.0) R 9329 9313 28789 0 -1 4202496 3925 0 0 0 99 1 0 0 20 0 1 0 339180220 17051648 3592 33554432000 134512640 134847168 4289232864 4289231632 134617555 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9331/statm: 4163 3592 270 82 0 3404 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 53564

[startup+6.30029 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 9331
/proc/meminfo: memFree=27947236/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=2.07 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1467 7893 0 0 20 0 185 2 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9329] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9329/stat : 9329 (sh) S 9313 9313 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339180219 9367552 264 33554432000 4194304 5064252 140737287398592 140737287396848 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9329/statm: 2287 264 223 213 0 72 0
[pid=9331] ppid=9329 vsize=16652 CPUtime=4.2 cores=0,2,4,6
/proc/9331/stat : 9331 (clasp-1.0) R 9329 9313 28789 0 -1 4202496 3925 0 0 0 419 1 0 0 20 0 1 0 339180220 17051648 3592 33554432000 134512640 134847168 4289232864 4289231632 134617542 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9331/statm: 4163 3592 270 82 0 3404 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 53564

[startup+12.7003 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 9331
/proc/meminfo: memFree=27947160/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=2.07 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1467 7893 0 0 20 0 185 2 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9329] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9329/stat : 9329 (sh) S 9313 9313 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339180219 9367552 264 33554432000 4194304 5064252 140737287398592 140737287396848 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9329/statm: 2287 264 223 213 0 72 0
[pid=9331] ppid=9329 vsize=16652 CPUtime=10.6 cores=0,2,4,6
/proc/9331/stat : 9331 (clasp-1.0) R 9329 9313 28789 0 -1 4202496 3927 0 0 0 1059 1 0 0 20 0 1 0 339180220 17051648 3594 33554432000 134512640 134847168 4289232864 4289231312 134713928 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9331/statm: 4163 3594 270 82 0 3404 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 53564

[startup+25.5004 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 9331
/proc/meminfo: memFree=27945564/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=2.07 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1467 7893 0 0 20 0 185 2 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9329] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9329/stat : 9329 (sh) S 9313 9313 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339180219 9367552 264 33554432000 4194304 5064252 140737287398592 140737287396848 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9329/statm: 2287 264 223 213 0 72 0
[pid=9331] ppid=9329 vsize=16652 CPUtime=23.4 cores=0,2,4,6
/proc/9331/stat : 9331 (clasp-1.0) R 9329 9313 28789 0 -1 4202496 3932 0 0 0 2339 1 0 0 20 0 1 0 339180220 17051648 3600 33554432000 134512640 134847168 4289232864 4289231596 134782304 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9331/statm: 4163 3600 270 82 0 3404 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 53564

[startup+51.1004 s]
/proc/loadavg: 1.99 1.98 1.99 4/181 9331
/proc/meminfo: memFree=27941712/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=2.07 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1467 7893 0 0 20 0 185 2 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9329] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9329/stat : 9329 (sh) S 9313 9313 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339180219 9367552 264 33554432000 4194304 5064252 140737287398592 140737287396848 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9329/statm: 2287 264 223 213 0 72 0
[pid=9331] ppid=9329 vsize=19528 CPUtime=48.98 cores=0,2,4,6
/proc/9331/stat : 9331 (clasp-1.0) R 9329 9313 28789 0 -1 4202496 4662 0 0 0 4897 1 0 0 20 0 1 0 339180220 19996672 4333 33554432000 134512640 134847168 4289232864 4289231568 134616816 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9331/statm: 4882 4333 270 82 0 4123 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 56440

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 9331
/proc/meminfo: memFree=27937056/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=2.07 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1467 7893 0 0 20 0 185 2 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9329] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9329/stat : 9329 (sh) S 9313 9313 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339180219 9367552 264 33554432000 4194304 5064252 140737287398592 140737287396848 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9329/statm: 2287 264 223 213 0 72 0
[pid=9331] ppid=9329 vsize=22096 CPUtime=100.18 cores=0,2,4,6
/proc/9331/stat : 9331 (clasp-1.0) R 9329 9313 28789 0 -1 4202496 5283 0 0 0 10017 1 0 0 20 0 1 0 339180220 22626304 4959 33554432000 134512640 134847168 4289232864 4289231488 134784628 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9331/statm: 5524 4959 270 82 0 4765 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 59008

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 9331
/proc/meminfo: memFree=27932464/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=2.07 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1467 7893 0 0 20 0 185 2 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9329] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9329/stat : 9329 (sh) S 9313 9313 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339180219 9367552 264 33554432000 4194304 5064252 140737287398592 140737287396848 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9329/statm: 2287 264 223 213 0 72 0
[pid=9331] ppid=9329 vsize=23764 CPUtime=160.16 cores=0,2,4,6
/proc/9331/stat : 9331 (clasp-1.0) R 9329 9313 28789 0 -1 4202496 5689 0 0 0 16015 1 0 0 20 0 1 0 339180220 24334336 5367 33554432000 134512640 134847168 4289232864 4289231552 134735898 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9331/statm: 5941 5367 270 82 0 5182 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 60676

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 4/181 9331
/proc/meminfo: memFree=27929052/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=2.07 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1467 7893 0 0 20 0 185 2 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9329] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9329/stat : 9329 (sh) S 9313 9313 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339180219 9367552 264 33554432000 4194304 5064252 140737287398592 140737287396848 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9329/statm: 2287 264 223 213 0 72 0
[pid=9331] ppid=9329 vsize=26604 CPUtime=220.15 cores=0,2,4,6
/proc/9331/stat : 9331 (clasp-1.0) R 9329 9313 28789 0 -1 4202496 6404 0 0 0 22014 1 0 0 20 0 1 0 339180220 27242496 6084 33554432000 134512640 134847168 4289232864 4289231488 134784711 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9331/statm: 6651 6084 270 82 0 5892 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 63516

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 4/181 9332
/proc/meminfo: memFree=27925204/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=2.07 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1467 7893 0 0 20 0 185 2 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9329] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/9329/stat : 9329 (sh) S 9313 9313 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339180219 9367552 264 33554432000 4194304 5064252 140737287398592 140737287396848 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9329/statm: 2287 264 223 213 0 72 0
[pid=9331] ppid=9329 vsize=48476 CPUtime=1419.97 cores=0,2,4,6
/proc/9331/stat : 9331 (clasp-1.0) R 9329 9313 28789 0 -1 4202496 11582 0 0 0 141994 3 0 0 20 0 1 0 339180220 49639424 11482 33554432000 134512640 134847168 4289232864 4289231484 134789696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9331/statm: 12119 11482 270 82 0 11360 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 85388

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 9342
/proc/meminfo: memFree=27892436/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=2.07 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1467 7893 0 0 20 0 185 2 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9329] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9329/stat : 9329 (sh) S 9313 9313 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339180219 9367552 264 33554432000 4194304 5064252 140737287398592 140737287396848 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9329/statm: 2287 264 223 213 0 72 0
[pid=9331] ppid=9329 vsize=48476 CPUtime=1479.95 cores=0,2,4,6
/proc/9331/stat : 9331 (clasp-1.0) R 9329 9313 28789 0 -1 4202496 11582 0 0 0 147992 3 0 0 20 0 1 0 339180220 49639424 11482 33554432000 134512640 134847168 4289232864 4289231488 134784634 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9331/statm: 12119 11482 270 82 0 11360 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 85388

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 4/182 9345
/proc/meminfo: memFree=27891496/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=2.07 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1467 7893 0 0 20 0 185 2 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9329] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9329/stat : 9329 (sh) S 9313 9313 28789 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339180219 9367552 264 33554432000 4194304 5064252 140737287398592 140737287396848 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9329/statm: 2287 264 223 213 0 72 0
[pid=9331] ppid=9329 vsize=48476 CPUtime=1539.94 cores=0,2,4,6
/proc/9331/stat : 9331 (clasp-1.0) R 9329 9313 28789 0 -1 4202496 11588 0 0 0 153991 3 0 0 20 0 1 0 339180220 49639424 11488 33554432000 134512640 134847168 4289232864 4289231488 134784592 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9331/statm: 12119 11488 270 82 0 11360 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 85388

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9510
/proc/meminfo: memFree=27909388/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=1573.25 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1568 21511 0 0 20 0 157298 7 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9385] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9385/stat : 9385 (sh) S 9313 9313 28789 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339337364 9367552 263 33554432000 4194304 5064252 140735427247360 140735427245616 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9385/statm: 2287 263 223 213 0 72 0
[pid=9387] ppid=9385 vsize=17340 CPUtime=28.74 cores=0,2,4,6
/proc/9387/stat : 9387 (clasp-1.0) R 9385 9313 28789 0 -1 4202496 4099 0 0 0 2873 1 0 0 20 0 1 0 339337364 17756160 3769 33554432000 134512640 134847168 4291293104 4291291792 134616828 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9387/statm: 4335 3769 270 82 0 3576 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 54252

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9518
/proc/meminfo: memFree=27887544/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=1573.25 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1568 21511 0 0 20 0 157298 7 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9385] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9385/stat : 9385 (sh) S 9313 9313 28789 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339337364 9367552 263 33554432000 4194304 5064252 140735427247360 140735427245616 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9385/statm: 2287 263 223 213 0 72 0
[pid=9387] ppid=9385 vsize=21940 CPUtime=88.73 cores=0,2,4,6
/proc/9387/stat : 9387 (clasp-1.0) R 9385 9313 28789 0 -1 4202496 5258 0 0 0 8872 1 0 0 20 0 1 0 339337364 22466560 4928 33554432000 134512640 134847168 4291293104 4291291728 134784682 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9387/statm: 5485 4928 270 82 0 4726 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 58852

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9518
/proc/meminfo: memFree=27876244/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=1573.25 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1568 21511 0 0 20 0 157298 7 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9385] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9385/stat : 9385 (sh) S 9313 9313 28789 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339337364 9367552 263 33554432000 4194304 5064252 140735427247360 140735427245616 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9385/statm: 2287 263 223 213 0 72 0
[pid=9387] ppid=9385 vsize=23764 CPUtime=148.72 cores=0,2,4,6
/proc/9387/stat : 9387 (clasp-1.0) R 9385 9313 28789 0 -1 4202496 5687 0 0 0 14870 2 0 0 20 0 1 0 339337364 24334336 5358 33554432000 134512640 134847168 4291293104 4291291824 134741456 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9387/statm: 5941 5358 270 82 0 5182 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 60676

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 9519
/proc/meminfo: memFree=27864956/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=1573.25 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1568 21511 0 0 20 0 157298 7 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9385] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9385/stat : 9385 (sh) S 9313 9313 28789 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339337364 9367552 263 33554432000 4194304 5064252 140735427247360 140735427245616 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9385/statm: 2287 263 223 213 0 72 0
[pid=9387] ppid=9385 vsize=26472 CPUtime=208.71 cores=0,2,4,6
/proc/9387/stat : 9387 (clasp-1.0) R 9385 9313 28789 0 -1 4202496 6363 0 0 0 20869 2 0 0 20 0 1 0 339337364 27107328 6038 33554432000 134512640 134847168 4291293104 4291291728 134784505 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9387/statm: 6618 6038 270 82 0 5859 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 63384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 9519
/proc/meminfo: memFree=27859484/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=1573.25 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1568 21511 0 0 20 0 157298 7 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9385] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9385/stat : 9385 (sh) S 9313 9313 28789 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339337364 9367552 263 33554432000 4194304 5064252 140735427247360 140735427245616 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9385/statm: 2287 263 223 213 0 72 0
[pid=9387] ppid=9385 vsize=26604 CPUtime=226.81 cores=0,2,4,6
/proc/9387/stat : 9387 (clasp-1.0) R 9385 9313 28789 0 -1 4202496 6407 0 0 0 22679 2 0 0 20 0 1 0 339337364 27242496 6082 33554432000 134512640 134847168 4291293104 4291291680 134714706 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9387/statm: 6651 6082 270 82 0 5892 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 63516

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9313

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

[startup+1801.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 9538
/proc/meminfo: memFree=27944976/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=1800.09 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1736 30693 0 0 20 0 179978 11 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9533] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9533/stat : 9533 (sh) S 9313 9313 28789 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 339360054 9367552 263 33554432000 4194304 5064252 140733475568736 140733475566992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9533/statm: 2287 263 223 213 0 72 0
[pid=9535] ppid=9533 vsize=16652 CPUtime=0.96 cores=0,2,4,6
/proc/9535/stat : 9535 (clasp-1.0) R 9533 9313 28789 0 -1 4202496 3924 0 0 0 96 0 0 0 20 0 1 0 339360054 17051648 3591 33554432000 134512640 134847168 4288210608 4288209376 134617553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9535/statm: 4163 3591 270 82 0 3404 0
Current children cumulated CPU time (s) 1801.05
Current children cumulated vsize (KiB) 53564

[startup+1802.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 9538
/proc/meminfo: memFree=27931732/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=1800.09 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1736 30693 0 0 20 0 179978 11 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9533] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9533/stat : 9533 (sh) S 9313 9313 28789 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 339360054 9367552 263 33554432000 4194304 5064252 140733475568736 140733475566992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9533/statm: 2287 263 223 213 0 72 0
[pid=9535] ppid=9533 vsize=16652 CPUtime=1.76 cores=0,2,4,6
/proc/9535/stat : 9535 (clasp-1.0) R 9533 9313 28789 0 -1 4202496 3924 0 0 0 176 0 0 0 20 0 1 0 339360054 17051648 3591 33554432000 134512640 134847168 4288210608 4288209072 134713971 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9535/statm: 4163 3591 270 82 0 3404 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 53564

[startup+1802.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 9538
/proc/meminfo: memFree=27931732/32873844 swapFree=7116/7116
[pid=9313] ppid=9311 vsize=27764 CPUtime=1800.09 cores=0,2,4,6
/proc/9313/stat : 9313 (pbclasp) S 9311 9313 28789 0 -1 4202496 1736 30693 0 0 20 0 179978 11 20 0 1 0 339180011 28430336 1040 33554432000 4194304 4198148 140735872608960 140735872607888 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9313/statm: 6941 1040 387 1 0 736 0
[pid=9533] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9533/stat : 9533 (sh) S 9313 9313 28789 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 339360054 9367552 263 33554432000 4194304 5064252 140733475568736 140733475566992 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9533/statm: 2287 263 223 213 0 72 0
[pid=9535] ppid=9533 vsize=16652 CPUtime=1.96 cores=0,2,4,6
/proc/9535/stat : 9535 (clasp-1.0) R 9533 9313 28789 0 -1 4202496 3924 0 0 0 196 0 0 0 20 0 1 0 339360054 17051648 3591 33554432000 134512640 134847168 4288210608 4288209376 134617496 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9535/statm: 4163 3591 270 82 0 3404 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 53564

Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.1
CPU user time (s): 1801.97
CPU system time (s): 0.13098
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 85900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.97
system time used= 0.13098
maximum resident set size= 46316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37488
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1050
involuntary context switches= 2082

runsolver used 5.9481 second user time and 16.1845 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-03 15:35:14
IDJOB=3736259
IDBENCH=25038
IDSOLVER=2317
FILE ID=node108/3736259-1338730514
RUNJOBID= node108-1338713956-28805
PBS_JOBID= 14636750
Free space on /tmp= 71472 MiB

SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir06_area_opers.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736259-1338730514/watcher-3736259-1338730514 -o /tmp/evaluation-result-3736259-1338730514/solver-3736259-1338730514 -C 1800 -W 1900 -M 15500  pbclasp instance-3736259-1338730514.opb HOME/temp

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

MD5SUM BENCH= 4b72d81adefd0ef56251a04b2b714e8c
RANDOM SEED=1690568458

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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:        27966248 kB
Buffers:          518368 kB
Cached:          3554660 kB
SwapCached:          112 kB
Active:          2101544 kB
Inactive:        1998972 kB
Active(anon):      14456 kB
Inactive(anon):    13072 kB
Active(file):    2087088 kB
Inactive(file):  1985900 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:              1892 kB
Writeback:             0 kB
AnonPages:         32276 kB
Mapped:            16712 kB
Shmem:               172 kB
Slab:             669680 kB
SReclaimable:     111400 kB
SUnreclaim:       558280 kB
KernelStack:        1536 kB
PageTables:         4112 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     138552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3736259-1338730514.opb

Free space on /tmp at the end= 71464 MiB
End job on node108 at 2012-06-03 16:05:17