Trace number 3735632

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)102 1802.11 1802.82

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_015_area_delay.opb
MD5SUM90acfb7d1c18536583ef7e2a90905f54
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark2.50162
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables7798
Total number of constraints24318
Number of constraints which are clauses24318
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 3790
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 3790
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3790
Number of bits of the biggest sum of numbers12
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 

1.26/1.33	o 114
1.31/1.76	o 113
2.17/2.21	o 112
2.19/2.66	o 111
2.64/3.10	o 110
3.46/3.55	o 109
3.53/4.00	o 108
4.36/4.45	o 107
4.43/5.01	o 106
5.25/5.46	o 105
10.05/10.26	o 104
214.12/214.43	o 103
440.23/440.67	o 102
1728.18/1728.97	sh: line 1: 29535 Done                    cat HOME/temp/instance-3735632-1338725258.opb.op
1728.18/1728.97	     29536 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3735632-1338725258.opb.clasp
1800.07/1800.80	sh: line 1: 29561 Done                    cat HOME/temp/instance-3735632-1338725258.opb.op
1800.07/1800.80	     29562 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3735632-1338725258.opb.clasp
1800.07/1800.81	c Somebody sent me a SIGTERM
1800.07/1800.81	s SATISFIABLE
1800.07/1800.81	v x20 x22 x44 x141 x144 x167 x186 x192 x200 x220 x221 x225 x226 x227 x228 x229 x230 x232 x234 x237 x238 x244 x258 x299 x300 x306 x312 x322 x363 x364 x368 x380 x382 x390 x410 x412 x420 x498 x500 x516 x524 x528 x530 x536 x540 x542 x550 x552 x556 x560 x568 x570 x574 x592 x598 x610 x619 x620 x1043 x1044 x1087 x1088 x1463 x1464 x1478 x1480 x1484 x1486 x1489 x1490 x1492 x1496 x1507 x1508 x1514 x1522 x1524 x1558 x1566 x1572 x1592 x1596 x1598 x1600 x1605 x1606 x1610 x1773 x1774 x1867 x1879 x1951 x3623 x3624 x3671 x3693 x4231 x4232 x5472 x5473 x5478 x5479 x5480 x5481 x5484 x5485 x5492 x5493 x5498 x5499 x5500 x5501 x5744 x5745 x5746 x5747 x5752 x5753 x5758 x5759 x5770 x5771 x5824 x5825 x5834 x5835 x6584 x6585 x6646 x6647 x7084 x7085 x7230 x7231 x7364 x7365 x7406 x7407 x7446 x7527 x7528 x7530 x7657 x7658 x7725 x7726 x7737 x7738 x7741 x7742 x7767 x7768 x7779 x7780 x7785 x7786 x7789 x7790 x7793 x7794 x7795 x7796 x7797 x7798 
1800.07/1800.81	pb2clasp1: no process killed
1802.07/1802.81	sh: line 1: 29720 Done                    cat HOME/temp/instance-3735632-1338725258.opb.op
1802.07/1802.81	     29722 Killed                  | clasp-1.0 --trans=no > HOME/temp/instance-3735632-1338725258.opb.clasp

Verifier Data 

OK	102

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-3735632-1338725258/watcher-3735632-1338725258 -o /tmp/evaluation-result-3735632-1338725258/solver-3735632-1338725258 -C 1800 -W 1900 -M 15500 pbclasp instance-3735632-1338725258.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: 2.00 2.00 2.00 3/178 29417
/proc/meminfo: memFree=28107416/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) D 29415 29417 8320 0 -1 4202496 432 0 0 0 0 0 0 0 20 0 1 0 338651249 26071040 362 33554432000 4194304 4198148 140736838247472 140736838244920 260190322357 0 0 4224 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/29417/statm: 6365 362 277 1 0 160 0

[startup+0.055446 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29417
/proc/meminfo: memFree=28107416/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26304 CPUtime=0.04 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) R 29415 29417 8320 0 -1 4202496 722 0 0 0 4 0 0 0 20 0 1 0 338651249 26935296 652 33554432000 4194304 4198148 140736838247472 140736838244920 260215667984 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/29417/statm: 6576 652 361 1 0 371 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26304

[startup+0.100241 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29417
/proc/meminfo: memFree=28107416/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26700 CPUtime=0.08 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 853 0 0 0 8 0 0 0 20 0 1 0 338651249 27340800 766 33554432000 4194304 4198148 140736838247472 140736838246360 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29417/statm: 6675 766 368 1 0 470 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26700

[startup+0.300177 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29417
/proc/meminfo: memFree=28107416/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26700 CPUtime=0.08 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 853 0 0 0 8 0 0 0 20 0 1 0 338651249 27340800 766 33554432000 4194304 4198148 140736838247472 140736838246360 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29417/statm: 6675 766 368 1 0 470 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26700

[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29417
/proc/meminfo: memFree=28107416/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26700 CPUtime=0.08 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 853 0 0 0 8 0 0 0 20 0 1 0 338651249 27340800 766 33554432000 4194304 4198148 140736838247472 140736838246360 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29417/statm: 6675 766 368 1 0 470 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26700

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 29427
/proc/meminfo: memFree=28099176/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=1.31 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 1248 7668 0 0 9 0 121 1 20 0 1 0 338651249 27611136 864 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29417/statm: 6741 864 387 1 0 536 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 26964

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29443
/proc/meminfo: memFree=28090876/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=2.64 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 1599 24481 0 0 10 0 249 5 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 26964

[startup+6.30012 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29499
/proc/meminfo: memFree=28090432/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=5.34 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 2301 58126 0 0 11 0 509 14 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 26964

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29515
/proc/meminfo: memFree=28090232/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=10.07 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 2449 63751 0 0 11 0 981 15 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29513] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29513/stat : 29513 (sh) S 29417 29417 8320 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 338652276 9367552 264 33554432000 4194304 5064252 140735547275024 140735547273280 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29513/statm: 2287 264 223 213 0 72 0
[pid=29515] ppid=29513 vsize=15952 CPUtime=2.42 cores=0,2,4,6
/proc/29515/stat : 29515 (clasp-1.0) R 29513 29417 8320 0 -1 4202496 3650 0 0 0 242 0 0 0 20 0 1 0 338652276 16334848 3368 33554432000 134512640 134847168 4289903952 4289902688 134741036 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29515/statm: 3988 3368 270 82 0 3229 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 52064

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29516
/proc/meminfo: memFree=28085432/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=10.07 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 2449 63751 0 0 11 0 981 15 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29513] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29513/stat : 29513 (sh) S 29417 29417 8320 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 338652276 9367552 264 33554432000 4194304 5064252 140735547275024 140735547273280 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29513/statm: 2287 264 223 213 0 72 0
[pid=29515] ppid=29513 vsize=20404 CPUtime=15.21 cores=0,2,4,6
/proc/29515/stat : 29515 (clasp-1.0) R 29513 29417 8320 0 -1 4202496 4792 0 0 0 1521 0 0 0 20 0 1 0 338652276 20893696 4509 33554432000 134512640 134847168 4289903952 4289902528 134714864 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29515/statm: 5101 4509 270 82 0 4342 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 56516

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29516
/proc/meminfo: memFree=28075704/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=10.07 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 2449 63751 0 0 11 0 981 15 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29513] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29513/stat : 29513 (sh) S 29417 29417 8320 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 338652276 9367552 264 33554432000 4194304 5064252 140735547275024 140735547273280 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29513/statm: 2287 264 223 213 0 72 0
[pid=29515] ppid=29513 vsize=27656 CPUtime=40.8 cores=0,2,4,6
/proc/29515/stat : 29515 (clasp-1.0) R 29513 29417 8320 0 -1 4202496 6607 0 0 0 4079 1 0 0 20 0 1 0 338652276 28319744 6361 33554432000 134512640 134847168 4289903952 4289902644 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29515/statm: 6914 6361 270 82 0 6155 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 63768

[startup+102.307 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 29516
/proc/meminfo: memFree=28055940/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=10.07 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 2449 63751 0 0 11 0 981 15 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29513] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29513/stat : 29513 (sh) S 29417 29417 8320 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 338652276 9367552 264 33554432000 4194304 5064252 140735547275024 140735547273280 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29513/statm: 2287 264 223 213 0 72 0
[pid=29515] ppid=29513 vsize=33008 CPUtime=92 cores=0,2,4,6
/proc/29515/stat : 29515 (clasp-1.0) R 29513 29417 8320 0 -1 4202496 7938 0 0 0 9198 2 0 0 20 0 1 0 338652276 33800192 7692 33554432000 134512640 134847168 4289903952 4289902708 134737608 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29515/statm: 8252 7692 270 82 0 7493 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 69120

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 29519
/proc/meminfo: memFree=28040720/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=10.07 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 2449 63751 0 0 11 0 981 15 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29513] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29513/stat : 29513 (sh) S 29417 29417 8320 0 -1 4202496 375 221 0 0 0 0 0 0 20 0 1 0 338652276 9367552 264 33554432000 4194304 5064252 140735547275024 140735547273280 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29513/statm: 2287 264 223 213 0 72 0
[pid=29515] ppid=29513 vsize=36112 CPUtime=151.97 cores=0,2,4,6
/proc/29515/stat : 29515 (clasp-1.0) R 29513 29417 8320 0 -1 4202496 8689 0 0 0 15195 2 0 0 20 0 1 0 338652276 36978688 8447 33554432000 134512640 134847168 4289903952 4289902528 134714133 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29515/statm: 9028 8447 270 82 0 8269 0
Current children cumulated CPU time (s) 162.04
Current children cumulated vsize (KiB) 72224

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29527
/proc/meminfo: memFree=28053208/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=214.17 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 2597 75116 0 0 11 0 21387 19 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29525] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29525/stat : 29525 (sh) S 29417 29417 8320 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 338672693 9367552 263 33554432000 4194304 5064252 140737248711200 140737248709456 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29525/statm: 2287 263 223 213 0 72 0
[pid=29527] ppid=29525 vsize=16744 CPUtime=7.84 cores=0,2,4,6
/proc/29527/stat : 29527 (clasp-1.0) R 29525 29417 8320 0 -1 4202496 3885 0 0 0 784 0 0 0 20 0 1 0 338672693 17145856 3604 33554432000 134512640 134847168 4287698576 4287697344 134617498 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29527/statm: 4186 3604 272 82 0 3427 0
Current children cumulated CPU time (s) 222.01
Current children cumulated vsize (KiB) 52856

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29527
/proc/meminfo: memFree=28031948/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=214.17 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 2597 75116 0 0 11 0 21387 19 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29525] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29525/stat : 29525 (sh) S 29417 29417 8320 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 338672693 9367552 263 33554432000 4194304 5064252 140737248711200 140737248709456 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29525/statm: 2287 263 223 213 0 72 0
[pid=29527] ppid=29525 vsize=32696 CPUtime=67.82 cores=0,2,4,6
/proc/29527/stat : 29527 (clasp-1.0) R 29525 29417 8320 0 -1 4202496 7841 0 0 0 6780 2 0 0 20 0 1 0 338672693 33480704 7559 33554432000 134512640 134847168 4287698576 4287697268 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29527/statm: 8174 7559 272 82 0 7415 0
Current children cumulated CPU time (s) 281.99
Current children cumulated vsize (KiB) 68808

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29528
/proc/meminfo: memFree=28023576/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=214.17 cores=0,2,4,6

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

/proc/loadavg: 2.01 2.01 2.00 3/181 29545
/proc/meminfo: memFree=27890560/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=440.32 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 2740 86657 0 0 11 0 43998 23 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29534] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29534/stat : 29534 (sh) S 29417 29417 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338695317 9367552 263 33554432000 4194304 5064252 140736311426048 140736311424304 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29534/statm: 2287 263 223 213 0 72 0
[pid=29536] ppid=29534 vsize=56284 CPUtime=1041.32 cores=0,2,4,6
/proc/29536/stat : 29536 (clasp-1.0) R 29534 29417 8320 0 -1 4202496 13846 0 0 0 104127 5 0 0 20 0 1 0 338695317 57634816 13526 33554432000 134512640 134847168 4293436832 4293435408 134714864 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29536/statm: 14071 13526 270 82 0 13312 0
Current children cumulated CPU time (s) 1481.64
Current children cumulated vsize (KiB) 92396

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29546
/proc/meminfo: memFree=27890560/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=440.32 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 2740 86657 0 0 11 0 43998 23 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29534] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29534/stat : 29534 (sh) S 29417 29417 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338695317 9367552 263 33554432000 4194304 5064252 140736311426048 140736311424304 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29534/statm: 2287 263 223 213 0 72 0
[pid=29536] ppid=29534 vsize=56284 CPUtime=1101.3 cores=0,2,4,6
/proc/29536/stat : 29536 (clasp-1.0) R 29534 29417 8320 0 -1 4202496 13846 0 0 0 110125 5 0 0 20 0 1 0 338695317 57634816 13526 33554432000 134512640 134847168 4293436832 4293435524 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29536/statm: 14071 13526 270 82 0 13312 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 92396

[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 29546
/proc/meminfo: memFree=27890932/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=440.32 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 2740 86657 0 0 11 0 43998 23 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29534] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29534/stat : 29534 (sh) S 29417 29417 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338695317 9367552 263 33554432000 4194304 5064252 140736311426048 140736311424304 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29534/statm: 2287 263 223 213 0 72 0
[pid=29536] ppid=29534 vsize=56284 CPUtime=1161.28 cores=0,2,4,6
/proc/29536/stat : 29536 (clasp-1.0) R 29534 29417 8320 0 -1 4202496 13846 0 0 0 116123 5 0 0 20 0 1 0 338695317 57634816 13526 33554432000 134512640 134847168 4293436832 4293435456 134784625 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29536/statm: 14071 13526 270 82 0 13312 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 92396

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 29546
/proc/meminfo: memFree=27889696/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=440.32 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 2740 86657 0 0 11 0 43998 23 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29534] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29534/stat : 29534 (sh) S 29417 29417 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338695317 9367552 263 33554432000 4194304 5064252 140736311426048 140736311424304 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29534/statm: 2287 263 223 213 0 72 0
[pid=29536] ppid=29534 vsize=57472 CPUtime=1221.27 cores=0,2,4,6
/proc/29536/stat : 29536 (clasp-1.0) R 29534 29417 8320 0 -1 4202496 14134 0 0 0 122121 6 0 0 20 0 1 0 338695317 58851328 13814 33554432000 134512640 134847168 4293436832 4293435524 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29536/statm: 14368 13814 270 82 0 13609 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 93584

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 29546
/proc/meminfo: memFree=27889448/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=440.32 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 2740 86657 0 0 11 0 43998 23 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29534] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29534/stat : 29534 (sh) S 29417 29417 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338695317 9367552 263 33554432000 4194304 5064252 140736311426048 140736311424304 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29534/statm: 2287 263 223 213 0 72 0
[pid=29536] ppid=29534 vsize=57472 CPUtime=1281.26 cores=0,2,4,6
/proc/29536/stat : 29536 (clasp-1.0) R 29534 29417 8320 0 -1 4202496 14134 0 0 0 128120 6 0 0 20 0 1 0 338695317 58851328 13814 33554432000 134512640 134847168 4293436832 4293435524 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29536/statm: 14368 13814 270 82 0 13609 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 93584

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 29710
/proc/meminfo: memFree=28121136/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=1728.29 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 2838 102736 0 0 11 1 172786 31 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29560] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29560/stat : 29560 (sh) S 29417 29417 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338824147 9367552 263 33554432000 4194304 5064252 140735452814528 140735452812784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29560/statm: 2287 263 223 213 0 72 0
[pid=29562] ppid=29560 vsize=30376 CPUtime=53.28 cores=0,2,4,6
/proc/29562/stat : 29562 (clasp-1.0) R 29560 29417 8320 0 -1 4202496 7279 0 0 0 5327 1 0 0 20 0 1 0 338824147 31105024 7036 33554432000 134512640 134847168 4293858544 4293857184 134715268 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29562/statm: 7594 7036 272 82 0 6835 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 66488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 29710
/proc/meminfo: memFree=28119704/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=1728.29 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 2838 102736 0 0 11 1 172786 31 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29560] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29560/stat : 29560 (sh) S 29417 29417 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338824147 9367552 263 33554432000 4194304 5064252 140735452814528 140735452812784 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29560/statm: 2287 263 223 213 0 72 0
[pid=29562] ppid=29560 vsize=30376 CPUtime=71.78 cores=0,2,4,6
/proc/29562/stat : 29562 (clasp-1.0) R 29560 29417 8320 0 -1 4202496 7288 0 0 0 7177 1 0 0 20 0 1 0 338824147 31105024 7050 33554432000 134512640 134847168 4293858544 4293857236 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29562/statm: 7594 7050 272 82 0 6835 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 66488

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -29417

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

[startup+1801.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 29710
/proc/meminfo: memFree=28119704/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=1800.1 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 3004 112811 0 0 12 1 179964 33 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 26964

[startup+1802.2 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 29729
/proc/meminfo: memFree=28147808/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=1800.1 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 3004 112811 0 0 12 1 179964 33 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29719] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29719/stat : 29719 (sh) S 29417 29417 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338831331 9367552 263 33554432000 4194304 5064252 140736925908128 140736925906384 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29719/statm: 2287 263 223 213 0 72 0
[pid=29722] ppid=29719 vsize=15952 CPUtime=1.36 cores=0,2,4,6
/proc/29722/stat : 29722 (clasp-1.0) R 29719 29417 8320 0 -1 4202496 3648 0 0 0 136 0 0 0 20 0 1 0 338831331 16334848 3367 33554432000 134512640 134847168 4289237408 4289236176 134737345 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29722/statm: 3988 3367 270 82 0 3229 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 52064

[startup+1802.6 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 29729
/proc/meminfo: memFree=28147808/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=1800.1 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 3004 112811 0 0 12 1 179964 33 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29719] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29719/stat : 29719 (sh) S 29417 29417 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338831331 9367552 263 33554432000 4194304 5064252 140736925908128 140736925906384 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29719/statm: 2287 263 223 213 0 72 0
[pid=29722] ppid=29719 vsize=15952 CPUtime=1.76 cores=0,2,4,6
/proc/29722/stat : 29722 (clasp-1.0) R 29719 29417 8320 0 -1 4202496 3648 0 0 0 176 0 0 0 20 0 1 0 338831331 16334848 3367 33554432000 134512640 134847168 4289237408 4289236176 134617542 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29722/statm: 3988 3367 270 82 0 3229 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 52064

[startup+1802.8 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 29729
/proc/meminfo: memFree=28147924/32873648 swapFree=7116/7116
[pid=29417] ppid=29415 vsize=26964 CPUtime=1800.1 cores=0,2,4,6
/proc/29417/stat : 29417 (pbclasp) S 29415 29417 8320 0 -1 4202496 3004 112811 0 0 12 1 179964 33 20 0 1 0 338651249 27611136 865 33554432000 4194304 4198148 140736838247472 140736838246400 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29417/statm: 6741 865 387 1 0 536 0
[pid=29719] ppid=29417 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29719/stat : 29719 (sh) S 29417 29417 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338831331 9367552 263 33554432000 4194304 5064252 140736925908128 140736925906384 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29719/statm: 2287 263 223 213 0 72 0
[pid=29722] ppid=29719 vsize=15952 CPUtime=1.97 cores=0,2,4,6
/proc/29722/stat : 29722 (clasp-1.0) R 29719 29417 8320 0 -1 4202496 3649 0 0 0 197 0 0 0 20 0 1 0 338831331 16334848 3368 33554432000 134512640 134847168 4289237408 4289236048 134782437 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29722/statm: 3988 3368 270 82 0 3229 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 52064

Child status: 0
Real time (s): 1802.82
CPU time (s): 1802.11
CPU user time (s): 1801.75
CPU system time (s): 0.359945
CPU usage (%): 99.9605
Max. virtual memory (cumulated for all children) (KiB): 93584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.75
system time used= 0.359945
maximum resident set size= 55256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120467
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3747
involuntary context switches= 3126

runsolver used 7.09992 second user time and 16.7964 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-03 14:07:38
IDJOB=3735632
IDBENCH=24981
IDSOLVER=2317
FILE ID=node123/3735632-1338725258
RUNJOBID= node123-1338702803-8336
PBS_JOBID= 14636714
Free space on /tmp= 71292 MiB

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

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

MD5SUM BENCH= 90acfb7d1c18536583ef7e2a90905f54
RANDOM SEED=311722910

node123.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
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		: 2667.217
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		: 2667.217
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		: 2667.217
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		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
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:       32873648 kB
MemFree:        28108292 kB
Buffers:         1561552 kB
Cached:          2245772 kB
SwapCached:         2268 kB
Active:          1980164 kB
Inactive:        1896468 kB
Active(anon):      62688 kB
Inactive(anon):     5504 kB
Active(file):    1917476 kB
Inactive(file):  1890964 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:              5976 kB
Writeback:             4 kB
AnonPages:         71240 kB
Mapped:            12384 kB
Shmem:                 0 kB
Slab:             750432 kB
SReclaimable:     193896 kB
SUnreclaim:       556536 kB
KernelStack:        1464 kB
PageTables:         4280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     186432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3735632-1338725258.opb

Free space on /tmp at the end= 71300 MiB
End job on node123 at 2012-06-03 14:37:41