Trace number 3741780

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)265 1802.05 1803.22

General information on the benchmark

Name/OPT-SMALLINT-LIN/
kullmann/normalized-mul_8_3_shg.opb
MD5SUM5ce23254bdc15fb1c07c51b856e9b57c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark36
Best CPU time to get the best result obtained on this benchmark253.091
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5048
Total number of constraints65280
Number of constraints which are clauses65280
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 constraint18
Maximum length of a constraint45
Number of terms in the objective function 5048
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 5048
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5048
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

Quality of the solution as a function of time


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

Solver Data

18.79/18.82	o 1389
22.47/22.53	o 1388
26.17/26.21	o 1387
29.86/30.10	o 1386
33.49/34.06	o 1385
37.20/37.74	o 1384
41.10/41.63	o 265
331.99/332.98	sh: line 1: 21226 Done                    cat HOME/temp/instance-3741780-1338781322.opb.op
331.99/332.98	     21227 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3741780-1338781322.opb.clasp
1800.04/1801.21	sh: line 1: 21246 Done                    cat HOME/temp/instance-3741780-1338781322.opb.op
1800.04/1801.21	     21247 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3741780-1338781322.opb.clasp
1800.04/1801.21	c Somebody sent me a SIGTERM
1800.04/1801.21	s SATISFIABLE
1800.04/1801.21	v x1938 x1956 x1995 x2038 x2074 x3481 x3483 x3487 x3488 x3490 x3492 x3493 x3494 x3495 x3496 x3498 x3500 x3501 x3502 x3505 x3508 x3510 x3511 x3512 x3513 x3514 x3515 x3516 x3517 x3518 x3519 x3520 x3522 x3523 x3524 x3525 x3526 x3527 x3528 x3529 x3530 x3533 x3535 x3538 x3539 x3540 x3541 x3542 x3543 x3544 x3545 x3546 x3547 x3548 x3549 x3550 x3551 x3552 x3553 x3554 x3555 x3556 x3557 x3558 x3559 x3561 x3595 x3597 x3631 x3633 x3667 x3669 x3703 x3704 x3705 x3729 x3739 x3741 x3776 x3777 x3778 x3807 x3808 x3815 x3822 x3823 x3837 x3838 x3867 x3882 x3898 x3899 x3901 x3928 x3936 x3943 x3945 x3958 x3959 x3988 x3989 x3996 x4003 x4004 x4011 x4018 x4020 x4021 x4050 x4065 x4080 x4081 x4110 x4111 x4118 x4125 x4126 x4140 x4141 x4142 x4171 x4172 x4179 x4186 x4187 x4201 x4202 x4231 x4246 x4275 x4276 x4277 x4278 x4279 x4280 x4281 x4282 x4283 x4284 x4285 x4286 x4287 x4288 x4289 x4290 x4299 x4300 x4301 x4302 x4303 x4304 x4305 x4306 x4311 x4312 x4313 x4314 x4315 x4316 x4317 x4318 x4327 x4328 x4329 x4330 x4331 x4332 x4333 x4334 x4339 x4340 x4341 x4342 x4343 x4344 x4345 x4346 x4419 x4420 x4421 x4422 x4455 x4456 x4457 x4458 x4491 x4492 x4493 x4494 x4527 x4528 x4529 x4530 x4563 x4564 x4565 x4566 x4595 x4596 x4603 x4610 x4611 x4618 x4625 x4626 x4655 x4656 x4663 x4670 x4671 x4678 x4685 x4687 x4716 x4717 x4720 x4724 x4730 x4731 x4732 x4739 x4742 x4746 x4747 x4776 x4777 x4784 x4791 x4792 x4799 x4806 x4807 x4808 x4809 x4838 x4839 x4846 x4853 x4854 x4861 x4868 x4869 x4898 x4899 x4906 x4913 x4914 x4921 x4928 x4929 x4930 x4959 x4960 x4967 x4974 x4975 x4982 x4989 x4990 x5019 x5020 x5027 x5034 x5035 x5042 
1800.04/1801.22	pb2clasp1: no process killed

Verifier Data

OK	265

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

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: 1.12 1.16 1.36 3/178 21161
/proc/meminfo: memFree=27276096/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) R 21159 21161 4306 0 -1 4202496 559 0 0 0 0 0 0 0 20 0 1 0 344258323 26206208 489 33554432000 4194304 4198148 140734247158320 140734247155768 251031687060 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6398 490 355 1 0 193 0

[startup+0.019571 s]
/proc/loadavg: 1.12 1.16 1.36 3/178 21161
/proc/meminfo: memFree=27276096/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=26016 CPUtime=0.01 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) R 21159 21161 4306 0 -1 4202496 674 0 0 0 1 0 0 0 20 0 1 0 344258323 26640384 604 33554432000 4194304 4198148 140734247158320 140734247155768 251044822288 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6504 604 361 1 0 299 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26016

[startup+0.100262 s]
/proc/loadavg: 1.12 1.16 1.36 3/178 21161
/proc/meminfo: memFree=27276096/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=26416 CPUtime=0.09 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) R 21159 21161 4306 0 -1 4202496 768 0 0 0 9 0 0 0 20 0 1 0 344258323 27049984 698 33554432000 4194304 4198148 140734247158320 140734247155768 251044822281 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6604 698 361 1 0 399 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26416

[startup+0.300206 s]
/proc/loadavg: 1.12 1.16 1.36 3/178 21161
/proc/meminfo: memFree=27276096/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=26988 CPUtime=0.14 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 916 0 0 0 14 0 0 0 20 0 1 0 344258323 27635712 830 33554432000 4194304 4198148 140734247158320 140734247157208 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6747 830 368 1 0 542 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 26988

[startup+0.700179 s]
/proc/loadavg: 1.12 1.16 1.36 3/178 21161
/proc/meminfo: memFree=27276096/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=26988 CPUtime=0.14 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 916 0 0 0 14 0 0 0 20 0 1 0 344258323 27635712 830 33554432000 4194304 4198148 140734247158320 140734247157208 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6747 830 368 1 0 542 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 26988

[startup+1.5003 s]
/proc/loadavg: 1.19 1.18 1.36 3/181 21164
/proc/meminfo: memFree=27273120/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=26988 CPUtime=0.14 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 916 0 0 0 14 0 0 0 20 0 1 0 344258323 27635712 830 33554432000 4194304 4198148 140734247158320 140734247157208 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6747 830 368 1 0 542 0
[pid=21163] ppid=21161 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21163/stat : 21163 (sh) S 21161 21161 4306 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 344258338 9367552 267 33554432000 4194304 5064252 140734210348480 140734210347360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21163/statm: 2287 267 226 213 0 72 0
[pid=21164] ppid=21163 vsize=25724 CPUtime=1.33 cores=1,3,5,7
/proc/21164/stat : 21164 (pb2clasp1) R 21163 21161 4306 0 -1 4202496 612 0 0 0 133 0 0 0 20 0 1 0 344258338 26341376 521 33554432000 4194304 4198148 140736453015280 140736453005816 251044381536 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/21164/statm: 6431 521 378 1 0 226 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 61860

[startup+3.1003 s]
/proc/loadavg: 1.19 1.18 1.36 3/181 21164
/proc/meminfo: memFree=27271260/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=26988 CPUtime=0.14 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 916 0 0 0 14 0 0 0 20 0 1 0 344258323 27635712 830 33554432000 4194304 4198148 140734247158320 140734247157208 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6747 830 368 1 0 542 0
[pid=21163] ppid=21161 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21163/stat : 21163 (sh) S 21161 21161 4306 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 344258338 9367552 267 33554432000 4194304 5064252 140734210348480 140734210347360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21163/statm: 2287 267 226 213 0 72 0
[pid=21164] ppid=21163 vsize=25724 CPUtime=2.94 cores=1,3,5,7
/proc/21164/stat : 21164 (pb2clasp1) R 21163 21161 4306 0 -1 4202496 612 0 0 0 293 1 0 0 20 0 1 0 344258338 26341376 521 33554432000 4194304 4198148 140736453015280 140736453005816 251031670533 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/21164/statm: 6431 521 378 1 0 226 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 61860

[startup+6.3003 s]
/proc/loadavg: 1.25 1.19 1.37 3/181 21164
/proc/meminfo: memFree=27267140/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=26988 CPUtime=0.14 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 916 0 0 0 14 0 0 0 20 0 1 0 344258323 27635712 830 33554432000 4194304 4198148 140734247158320 140734247157208 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6747 830 368 1 0 542 0
[pid=21163] ppid=21161 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21163/stat : 21163 (sh) S 21161 21161 4306 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 344258338 9367552 267 33554432000 4194304 5064252 140734210348480 140734210347360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21163/statm: 2287 267 226 213 0 72 0
[pid=21164] ppid=21163 vsize=25724 CPUtime=6.14 cores=1,3,5,7
/proc/21164/stat : 21164 (pb2clasp1) R 21163 21161 4306 0 -1 4202496 612 0 0 0 612 2 0 0 20 0 1 0 344258338 26341376 521 33554432000 4194304 4198148 140736453015280 140736453005816 251035444464 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/21164/statm: 6431 521 378 1 0 226 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 61860

[startup+12.7003 s]
/proc/loadavg: 1.31 1.20 1.37 3/181 21164
/proc/meminfo: memFree=27258096/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=26988 CPUtime=0.14 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 916 0 0 0 14 0 0 0 20 0 1 0 344258323 27635712 830 33554432000 4194304 4198148 140734247158320 140734247157208 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6747 830 368 1 0 542 0
[pid=21163] ppid=21161 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21163/stat : 21163 (sh) S 21161 21161 4306 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 344258338 9367552 267 33554432000 4194304 5064252 140734210348480 140734210347360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21163/statm: 2287 267 226 213 0 72 0
[pid=21164] ppid=21163 vsize=25724 CPUtime=12.54 cores=1,3,5,7
/proc/21164/stat : 21164 (pb2clasp1) R 21163 21161 4306 0 -1 4202496 612 0 0 0 1249 5 0 0 20 0 1 0 344258338 26341376 521 33554432000 4194304 4198148 140736453015280 140736453005816 251035444368 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/21164/statm: 6431 521 378 1 0 226 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 61860

[startup+25.5003 s]
/proc/loadavg: 1.40 1.22 1.37 3/181 21187
/proc/meminfo: memFree=27141520/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=22.56 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 1550 46901 0 0 17 0 2207 32 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21185] ppid=21161 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21185/stat : 21185 (sh) S 21161 21161 4306 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 344260581 9367552 264 33554432000 4194304 5064252 140737408595248 140737408593504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21185/statm: 2287 264 223 213 0 72 0
[pid=21187] ppid=21185 vsize=81336 CPUtime=2.9 cores=1,3,5,7
/proc/21187/stat : 21187 (clasp-1.0) R 21185 21161 4306 0 -1 4202496 20463 0 0 0 287 3 0 0 20 0 1 0 344260581 83288064 19538 33554432000 134512640 134847168 4292127616 4292126316 134744656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21187/statm: 20334 19538 269 82 0 19575 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 117868

[startup+51.1004 s]
/proc/loadavg: 1.72 1.32 1.40 3/181 21227
/proc/meminfo: memFree=27115332/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=41.2 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2248 159132 0 0 21 1 4019 79 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21225] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21225/stat : 21225 (sh) S 21161 21161 4306 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 344262527 9367552 264 33554432000 4194304 5064252 140734254649104 140734254647360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21225/statm: 2287 264 223 213 0 72 0
[pid=21227] ppid=21225 vsize=83324 CPUtime=9.04 cores=1,3,5,7
/proc/21227/stat : 21227 (clasp-1.0) R 21225 21161 4306 0 -1 4202496 21003 0 0 0 900 4 0 0 20 0 1 0 344262527 85323776 20079 33554432000 134512640 134847168 4289988064 4289986744 134789711 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21227/statm: 20831 20079 270 82 0 20072 0
Current children cumulated CPU time (s) 50.25
Current children cumulated vsize (KiB) 119856

[startup+102.307 s]
/proc/loadavg: 1.92 1.43 1.43 3/181 21228
/proc/meminfo: memFree=27016324/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=41.2 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2248 159132 0 0 21 1 4019 79 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21225] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21225/stat : 21225 (sh) S 21161 21161 4306 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 344262527 9367552 264 33554432000 4194304 5064252 140734254649104 140734254647360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21225/statm: 2287 264 223 213 0 72 0
[pid=21227] ppid=21225 vsize=150168 CPUtime=60.24 cores=1,3,5,7
/proc/21227/stat : 21227 (clasp-1.0) R 21225 21161 4306 0 -1 4202496 37691 0 0 0 6015 9 0 0 20 0 1 0 344262527 153772032 36760 33554432000 134512640 134847168 4289988064 4289986756 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21227/statm: 37542 36760 270 82 0 36783 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 186700

[startup+162.3 s]
/proc/loadavg: 1.97 1.54 1.47 3/181 21228
/proc/meminfo: memFree=26990312/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=41.2 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2248 159132 0 0 21 1 4019 79 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21225] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21225/stat : 21225 (sh) S 21161 21161 4306 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 344262527 9367552 264 33554432000 4194304 5064252 140734254649104 140734254647360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21225/statm: 2287 264 223 213 0 72 0
[pid=21227] ppid=21225 vsize=166608 CPUtime=120.21 cores=1,3,5,7
/proc/21227/stat : 21227 (clasp-1.0) R 21225 21161 4306 0 -1 4202496 41798 0 0 0 12009 12 0 0 20 0 1 0 344262527 170606592 41008 33554432000 134512640 134847168 4289988064 4289986756 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21227/statm: 41652 41008 270 82 0 40893 0
Current children cumulated CPU time (s) 161.42
Current children cumulated vsize (KiB) 203140

[startup+222.3 s]
/proc/loadavg: 1.99 1.62 1.50 3/181 21228
/proc/meminfo: memFree=26967600/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=41.2 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2248 159132 0 0 21 1 4019 79 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21225] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21225/stat : 21225 (sh) S 21161 21161 4306 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 344262527 9367552 264 33554432000 4194304 5064252 140734254649104 140734254647360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21225/statm: 2287 264 223 213 0 72 0
[pid=21227] ppid=21225 vsize=178260 CPUtime=180.2 cores=1,3,5,7
/proc/21227/stat : 21227 (clasp-1.0) R 21225 21161 4306 0 -1 4202496 44764 0 0 0 18005 15 0 0 20 0 1 0 344262527 182538240 43858 33554432000 134512640 134847168 4289988064 4289986756 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21227/statm: 44565 43858 270 82 0 43806 0
Current children cumulated CPU time (s) 221.41
Current children cumulated vsize (KiB) 214792

[startup+282.3 s]

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

[pid=21161] ppid=21159 vsize=27384 CPUtime=332.13 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2352 211471 0 0 21 1 33088 103 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21245] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21245/stat : 21245 (sh) S 21161 21161 4306 0 -1 4202496 369 220 0 0 0 0 0 1 20 0 1 0 344291626 9367552 263 33554432000 4194304 5064252 140733469690736 140733469688992 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21245/statm: 2287 263 223 213 0 72 0
[pid=21247] ppid=21245 vsize=284960 CPUtime=1209.03 cores=1,3,5,7
/proc/21247/stat : 21247 (clasp-1.0) R 21245 21161 4306 0 -1 4202496 71217 0 0 0 120877 26 0 0 20 0 1 0 344291626 291799040 70633 33554432000 134512640 134847168 4294588544 4294587172 134616350 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21247/statm: 71240 70633 270 82 0 70481 0
Current children cumulated CPU time (s) 1541.17
Current children cumulated vsize (KiB) 321492

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.86 3/181 21379
/proc/meminfo: memFree=26403032/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=332.13 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2352 211471 0 0 21 1 33088 103 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21245] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21245/stat : 21245 (sh) S 21161 21161 4306 0 -1 4202496 369 220 0 0 0 0 0 1 20 0 1 0 344291626 9367552 263 33554432000 4194304 5064252 140733469690736 140733469688992 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21245/statm: 2287 263 223 213 0 72 0
[pid=21247] ppid=21245 vsize=284960 CPUtime=1269.02 cores=1,3,5,7
/proc/21247/stat : 21247 (clasp-1.0) R 21245 21161 4306 0 -1 4202496 71217 0 0 0 126876 26 0 0 20 0 1 0 344291626 291799040 70633 33554432000 134512640 134847168 4294588544 4294587164 134789696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21247/statm: 71240 70633 270 82 0 70481 0
Current children cumulated CPU time (s) 1601.16
Current children cumulated vsize (KiB) 321492

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.86 3/181 21379
/proc/meminfo: memFree=26393980/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=332.13 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2352 211471 0 0 21 1 33088 103 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21245] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21245/stat : 21245 (sh) S 21161 21161 4306 0 -1 4202496 369 220 0 0 0 0 0 1 20 0 1 0 344291626 9367552 263 33554432000 4194304 5064252 140733469690736 140733469688992 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21245/statm: 2287 263 223 213 0 72 0
[pid=21247] ppid=21245 vsize=295740 CPUtime=1329.01 cores=1,3,5,7
/proc/21247/stat : 21247 (clasp-1.0) R 21245 21161 4306 0 -1 4202496 73904 0 0 0 132873 28 0 0 20 0 1 0 344291626 302837760 73320 33554432000 134512640 134847168 4294588544 4294587224 134789714 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21247/statm: 73935 73320 270 82 0 73176 0
Current children cumulated CPU time (s) 1661.15
Current children cumulated vsize (KiB) 332272

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.87 3/182 21382
/proc/meminfo: memFree=26382068/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=332.13 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2352 211471 0 0 21 1 33088 103 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21245] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21245/stat : 21245 (sh) S 21161 21161 4306 0 -1 4202496 369 220 0 0 0 0 0 1 20 0 1 0 344291626 9367552 263 33554432000 4194304 5064252 140733469690736 140733469688992 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21245/statm: 2287 263 223 213 0 72 0
[pid=21247] ppid=21245 vsize=307864 CPUtime=1389 cores=1,3,5,7
/proc/21247/stat : 21247 (clasp-1.0) R 21245 21161 4306 0 -1 4202496 77000 0 0 0 138870 30 0 0 20 0 1 0 344291626 315252736 76213 33554432000 134512640 134847168 4294588544 4294587172 134616350 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21247/statm: 76966 76213 270 82 0 76207 0
Current children cumulated CPU time (s) 1721.14
Current children cumulated vsize (KiB) 344396

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 1.88 3/181 21382
/proc/meminfo: memFree=26381540/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=332.13 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2352 211471 0 0 21 1 33088 103 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21245] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21245/stat : 21245 (sh) S 21161 21161 4306 0 -1 4202496 369 220 0 0 0 0 0 1 20 0 1 0 344291626 9367552 263 33554432000 4194304 5064252 140733469690736 140733469688992 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21245/statm: 2287 263 223 213 0 72 0
[pid=21247] ppid=21245 vsize=307864 CPUtime=1448.99 cores=1,3,5,7
/proc/21247/stat : 21247 (clasp-1.0) R 21245 21161 4306 0 -1 4202496 77023 0 0 0 144869 30 0 0 20 0 1 0 344291626 315252736 76236 33554432000 134512640 134847168 4294588544 4294587236 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21247/statm: 76966 76236 270 82 0 76207 0
Current children cumulated CPU time (s) 1781.13
Current children cumulated vsize (KiB) 344396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 2.04 2.01 1.88 3/181 21382
/proc/meminfo: memFree=26381416/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=332.13 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2352 211471 0 0 21 1 33088 103 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21245] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21245/stat : 21245 (sh) S 21161 21161 4306 0 -1 4202496 369 220 0 0 0 0 0 1 20 0 1 0 344291626 9367552 263 33554432000 4194304 5064252 140733469690736 140733469688992 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21245/statm: 2287 263 223 213 0 72 0
[pid=21247] ppid=21245 vsize=307864 CPUtime=1467.9 cores=1,3,5,7
/proc/21247/stat : 21247 (clasp-1.0) R 21245 21161 4306 0 -1 4202496 77024 0 0 0 146760 30 0 0 20 0 1 0 344291626 315252736 76237 33554432000 134512640 134847168 4294588544 4294587236 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21247/statm: 76966 76237 270 82 0 76207 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 344396

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -21161

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

[startup+1801.4 s]
/proc/loadavg: 2.04 2.01 1.88 3/181 21382
/proc/meminfo: memFree=26381416/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=1800.11 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2519 291275 0 0 22 1 179848 140 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 27384

[startup+1802.2 s]
/proc/loadavg: 2.04 2.01 1.88 3/184 21401
/proc/meminfo: memFree=27262856/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=1800.11 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2519 291275 0 0 22 1 179848 140 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21396] ppid=21161 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21396/stat : 21396 (sh) S 21161 21161 4306 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 1 0 344438450 9367552 264 33554432000 4194304 5064252 140736357160768 140736357159024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21396/statm: 2287 264 223 213 0 72 0
[pid=21397] ppid=21396 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/21397/stat : 21397 (cat) S 21396 21161 4306 0 -1 4202496 211 0 0 0 0 0 0 0 20 0 1 0 344438450 4100096 122 33554432000 4194304 4236627 140735393873600 140735393872696 251032061408 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21397/statm: 1001 122 97 11 0 67 0
[pid=21398] ppid=21396 vsize=21508 CPUtime=0.92 cores=1,3,5,7
/proc/21398/stat : 21398 (clasp-1.0) R 21396 21161 4306 0 -1 4202496 4918 0 0 0 91 1 0 0 20 0 1 0 344438450 22024192 4815 33554432000 134512640 134847168 4287871488 4287867008 3925287 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21398/statm: 5377 4815 249 82 0 4618 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 62044

[startup+1803 s]
/proc/loadavg: 2.04 2.01 1.88 3/184 21401
/proc/meminfo: memFree=27223184/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=1800.11 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2519 291275 0 0 22 1 179848 140 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21396] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21396/stat : 21396 (sh) S 21161 21161 4306 0 -1 4202496 373 220 0 0 0 0 0 1 20 0 1 0 344438450 9367552 264 33554432000 4194304 5064252 140736357160768 140736357159024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 2287 264 223 213 0 72 0
[pid=21398] ppid=21396 vsize=52928 CPUtime=1.72 cores=1,3,5,7
/proc/21398/stat : 21398 (clasp-1.0) R 21396 21161 4306 0 -1 4202496 13375 0 0 0 169 3 0 0 20 0 1 0 344438450 54198272 12514 33554432000 134512640 134847168 4287871488 4287869264 3925287 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21398/statm: 13232 12515 257 82 0 12473 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 89460

[startup+1803.2 s]
/proc/loadavg: 2.04 2.01 1.88 3/184 21401
/proc/meminfo: memFree=27223184/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=1800.11 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2519 291275 0 0 22 1 179848 140 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21396] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21396/stat : 21396 (sh) S 21161 21161 4306 0 -1 4202496 373 220 0 0 0 0 0 1 20 0 1 0 344438450 9367552 264 33554432000 4194304 5064252 140736357160768 140736357159024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 2287 264 223 213 0 72 0
[pid=21398] ppid=21396 vsize=72892 CPUtime=1.93 cores=1,3,5,7
/proc/21398/stat : 21398 (clasp-1.0) R 21396 21161 4306 0 -1 4202496 18363 0 0 0 189 4 0 0 20 0 1 0 344438450 74641408 17502 33554432000 134512640 134847168 4287871488 4287869264 3925287 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21398/statm: 18223 17505 257 82 0 17464 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 109424

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21161 and gives
#  childrusage.ru_utime.tv_sec=1798
#  childrusage.ru_utime.tv_usec=708554
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=431782
# CPU time returned by wait4() is 1800.14
# while last known CPU time is 1802.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1803.22
CPU time (s): 1802.05
CPU user time (s): 1800.59
CPU system time (s): 1.46
CPU usage (%): 99.9349
Max. virtual memory (cumulated for all children) (KiB): 344396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.71
system time used= 1.43178
maximum resident set size= 304948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294843
page faults= 0
swaps= 0
block input operations= 0
block output operations= 364944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41588
involuntary context switches= 2278

runsolver used 3.53646 second user time and 9.46656 second system time

The end

Launcher Data

Begin job on node118 at 2012-06-04 05:42:02
IDJOB=3741780
IDBENCH=89910
IDSOLVER=2317
FILE ID=node118/3741780-1338781322
RUNJOBID= node118-1338772639-4323
PBS_JOBID= 14636820
Free space on /tmp= 70912 MiB

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

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

MD5SUM BENCH= 5ce23254bdc15fb1c07c51b856e9b57c
RANDOM SEED=1472641209

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.212
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.212
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	: 5320.68
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.212
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.91
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.212
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.212
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27276608 kB
Buffers:          635264 kB
Cached:          3994300 kB
SwapCached:            0 kB
Active:          1663664 kB
Inactive:        3064112 kB
Active(anon):      87416 kB
Inactive(anon):    11328 kB
Active(file):    1576248 kB
Inactive(file):  3052784 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             33296 kB
Writeback:             0 kB
AnonPages:        109684 kB
Mapped:            13724 kB
Shmem:               200 kB
Slab:             727760 kB
SReclaimable:     167724 kB
SUnreclaim:       560036 kB
KernelStack:        1464 kB
PageTables:         4408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     213184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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-3741780-1338781322.opb

Free space on /tmp at the end= 70840 MiB
End job on node118 at 2012-06-04 06:12:06