Trace number 3705649

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
wbo 1.7? 1799.9 1800.02

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_3.opb
MD5SUM4ec3492215da9d1ca4e43111c42870de
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1797.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2488
Sum of products size (including duplicates)4976
Number of different products1244
Sum of products size2488

Solver Data

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                    1.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3705649-1338105846.opb.
0.00/0.00	c Instance file HOME/instance-3705649-1338105846.opb
0.00/0.00	c File size is 106306 bytes.
0.00/0.00	c Cost Offset: -100
0.00/0.00	c Highest Coefficient sum: 200
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1444                                                |
0.00/0.01	c |  Number Clauses:        1344                                                |
0.00/0.01	c |  Number Cardinality:    202                                                 |
0.00/0.01	c |  Number PB Constraints: 1244                                                |
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.01	c |                                                                             |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.01	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.01	c ===============================================================================
0.00/0.01	c | 0.01      | 0  | -99          lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | -98          lb |  0                0                0.00  |
0.29/0.37	c | 0.38      | 0  | -97          lb |  0                0                0.00  |
7.69/7.71	c | 7.72      | 0  | -96          lb |  0                0                0.00  |
1799.50/1800.00	c ===============================================================================
1799.50/1800.00	c Wall Clock Time: 1800.00 s
1799.50/1800.00	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3705649-1338105846/watcher-3705649-1338105846 -o /tmp/evaluation-result-3705649-1338105846/solver-3705649-1338105846 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705649-1338105846.opb 

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/177 4106
/proc/meminfo: memFree=27759452/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=3680 CPUtime=0 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) R 4104 4106 2447 0 -1 4202496 440 0 0 0 0 0 0 0 20 0 1 0 276710594 3768320 393 33554432000 4194304 5963574 140733375973984 140737220935848 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 920 393 176 432 0 459 0

[startup+0.064209 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4106
/proc/meminfo: memFree=27759452/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=84580 CPUtime=0.06 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 1526 0 0 0 6 0 0 0 20 0 2 0 276710594 86609920 1453 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 21145 1453 194 432 0 20710 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 84580

[startup+0.100275 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4106
/proc/meminfo: memFree=27759452/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=84580 CPUtime=0.09 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 1528 0 0 0 9 0 0 0 20 0 2 0 276710594 86609920 1455 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 21145 1455 194 432 0 20710 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84580

[startup+0.300216 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4106
/proc/meminfo: memFree=27759452/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=84580 CPUtime=0.29 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 1887 0 0 0 29 0 0 0 20 0 2 0 276710594 86609920 1814 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 21145 1814 194 432 0 20710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84580

[startup+0.70022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4106
/proc/meminfo: memFree=27759452/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=84580 CPUtime=0.69 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 2211 0 0 0 69 0 0 0 20 0 2 0 276710594 86609920 2138 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 21145 2138 194 432 0 20710 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84580

[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4108
/proc/meminfo: memFree=27750896/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=84580 CPUtime=1.49 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 3332 0 0 0 149 0 0 0 20 0 2 0 276710594 86609920 3259 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 21145 3259 194 432 0 20710 0
[pid=4106/tid=4108] ppid=4104 vsize=84580 CPUtime=1.47 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 2372 0 0 0 147 0 0 0 20 0 2 0 276710595 86609920 3259 33554432000 4194304 5963574 140733375973984 140459574753640 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84580

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4108
/proc/meminfo: memFree=27745556/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=84724 CPUtime=3.08 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 4343 0 0 0 308 0 0 0 20 0 2 0 276710594 86757376 4270 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 21181 4270 194 432 0 20746 0
[pid=4106/tid=4108] ppid=4104 vsize=84724 CPUtime=3.07 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 3383 0 0 0 307 0 0 0 20 0 2 0 276710595 86757376 4270 33554432000 4194304 5963574 140733375973984 140459574753080 4399612 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84724

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4108
/proc/meminfo: memFree=27735684/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=84796 CPUtime=6.29 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 6725 0 0 0 628 1 0 0 20 0 2 0 276710594 86831104 6652 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 21199 6652 194 432 0 20764 0
[pid=4106/tid=4108] ppid=4104 vsize=84796 CPUtime=6.27 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 5765 0 0 0 626 1 0 0 20 0 2 0 276710595 86831104 6652 33554432000 4194304 5963574 140733375973984 140459574752792 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84796

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4108
/proc/meminfo: memFree=27730556/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=84580 CPUtime=12.69 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 7217 0 0 0 1268 1 0 0 20 0 2 0 276710594 86609920 7092 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 21145 7092 194 432 0 20710 0
[pid=4106/tid=4108] ppid=4104 vsize=84580 CPUtime=12.68 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 6257 0 0 0 1266 2 0 0 20 0 2 0 276710595 86609920 7092 33554432000 4194304 5963574 140733375973984 140459574754232 4392501 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84580

[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4108
/proc/meminfo: memFree=27712932/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=85064 CPUtime=25.48 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 11562 0 0 0 2545 3 0 0 20 0 2 0 276710594 87105536 11437 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 21266 11437 194 432 0 20831 0
[pid=4106/tid=4108] ppid=4104 vsize=85064 CPUtime=25.48 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 10602 0 0 0 2544 4 0 0 20 0 2 0 276710595 87105536 11437 33554432000 4194304 5963574 140733375973984 140459574753272 4403234 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85064

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4108
/proc/meminfo: memFree=27684076/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=150840 CPUtime=51.08 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 18737 0 0 0 5102 6 0 0 20 0 2 0 276710594 154460160 18612 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 37710 18612 194 432 0 37275 0
[pid=4106/tid=4108] ppid=4104 vsize=150840 CPUtime=51.08 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 17777 0 0 0 5101 7 0 0 20 0 2 0 276710595 154460160 18612 33554432000 4194304 5963574 140733375973984 140459574753080 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 150840

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4109
/proc/meminfo: memFree=27627752/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=150840 CPUtime=102.28 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 26989 0 0 0 10218 10 0 0 20 0 2 0 276710594 154460160 26864 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 37710 26864 194 432 0 37275 0
[pid=4106/tid=4108] ppid=4104 vsize=150840 CPUtime=102.28 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 26029 0 0 0 10216 12 0 0 20 0 2 0 276710595 154460160 26864 33554432000 4194304 5963574 140733375973984 140459574753080 4399542 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 150840

[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 4109
/proc/meminfo: memFree=27566864/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=216736 CPUtime=162.27 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 36648 0 0 0 16212 15 0 0 20 0 2 0 276710594 221937664 36522 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 54184 36522 194 432 0 53749 0
[pid=4106/tid=4108] ppid=4104 vsize=216736 CPUtime=162.28 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 35688 0 0 0 16210 18 0 0 20 0 2 0 276710595 221937664 36522 33554432000 4194304 5963574 140733375973984 140459574753272 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 216736

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 4109
/proc/meminfo: memFree=27534748/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=216736 CPUtime=222.25 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 44240 0 0 0 22207 18 0 0 20 0 2 0 276710594 221937664 44114 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 54184 44114 194 432 0 53749 0
[pid=4106/tid=4108] ppid=4104 vsize=216736 CPUtime=222.28 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 43280 0 0 0 22206 22 0 0 20 0 2 0 276710595 221937664 44114 33554432000 4194304 5963574 140733375973984 140459574753080 4399592 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 216736

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4160
/proc/meminfo: memFree=27997056/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=282920 CPUtime=282.23 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 52534 0 0 0 28200 23 0 0 20 0 2 0 276710594 289710080 52478 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 70730 52478 194 432 0 70295 0
[pid=4106/tid=4108] ppid=4104 vsize=282920 CPUtime=282.27 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 51574 0 0 0 28199 28 0 0 20 0 2 0 276710595 289710080 52478 33554432000 4194304 5963574 140733375973984 140459574752792 4399603 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 282920

[startup+342.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 4160
/proc/meminfo: memFree=27884992/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=283784 CPUtime=342.18 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 60216 0 0 0 34190 28 0 0 20 0 2 0 276710594 290594816 60397 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 70946 60397 194 432 0 70511 0
[pid=4106/tid=4108] ppid=4104 vsize=283784 CPUtime=342.24 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 59256 0 0 0 34190 34 0 0 20 0 2 0 276710595 290594816 60397 33554432000 4194304 5963574 140733375973984 140459574753272 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 283784

[startup+402.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/180 4164
/proc/meminfo: memFree=27810996/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=350616 CPUtime=402.15 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 67060 0 0 0 40184 31 0 0 20 0 2 0 276710594 359030784 68013 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 87654 68013 194 432 0 87219 0
[pid=4106/tid=4108] ppid=4104 vsize=350616 CPUtime=402.22 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 66100 0 0 0 40184 38 0 0 20 0 2 0 276710595 359030784 68013 33554432000 4194304 5963574 140733375973984 140459574753272 4399546 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 350616

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 4164
/proc/meminfo: memFree=27672960/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=351100 CPUtime=462.14 cores=0,2,4,6

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

/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 136486 0 0 0 130114 105 0 0 20 0 2 0 276710595 638214144 138688 33554432000 4194304 5963574 140733375973984 140459574753080 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 623256

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 4171
/proc/meminfo: memFree=26042240/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=623256 CPUtime=1361.88 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 141601 0 0 0 136101 87 0 0 20 0 2 0 276710594 638214144 142975 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 155814 142975 194 432 0 155379 0
[pid=4106/tid=4108] ppid=4104 vsize=623256 CPUtime=1362.15 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 140641 0 0 0 136107 108 0 0 20 0 2 0 276710595 638214144 142975 33554432000 4194304 5963574 140733375973984 140459574753320 4378544 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 623256

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4171
/proc/meminfo: memFree=26024476/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=623256 CPUtime=1421.87 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 145872 0 0 0 142097 90 0 0 20 0 2 0 276710594 638214144 147388 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 155814 147388 194 432 0 155379 0
[pid=4106/tid=4108] ppid=4104 vsize=623256 CPUtime=1422.15 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 144912 0 0 0 142103 112 0 0 20 0 2 0 276710595 638214144 147388 33554432000 4194304 5963574 140733375973984 140459574753320 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 623256

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4171
/proc/meminfo: memFree=25838288/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=689116 CPUtime=1481.85 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 150956 0 0 0 148091 94 0 0 20 0 2 0 276710594 705654784 152471 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 172279 152471 194 432 0 171844 0
[pid=4106/tid=4108] ppid=4104 vsize=689116 CPUtime=1482.15 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 149996 0 0 0 148098 117 0 0 20 0 2 0 276710595 705654784 152471 33554432000 4194304 5963574 140733375973984 140459574753080 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 689116

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4171
/proc/meminfo: memFree=25761036/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=689440 CPUtime=1541.84 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 159750 0 0 0 154084 100 0 0 20 0 2 0 276710594 705986560 161265 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 172360 161265 194 432 0 171925 0
[pid=4106/tid=4108] ppid=4104 vsize=689440 CPUtime=1542.15 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 158790 0 0 0 154091 124 0 0 20 0 2 0 276710595 705986560 161265 33554432000 4194304 5963574 140733375973984 140459574753272 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 689440

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 4175
/proc/meminfo: memFree=25713960/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=689440 CPUtime=1601.83 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 161539 0 0 0 160081 102 0 0 20 0 2 0 276710594 705986560 163054 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 172360 163054 194 432 0 171925 0
[pid=4106/tid=4108] ppid=4104 vsize=689440 CPUtime=1602.15 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 160579 0 0 0 160088 127 0 0 20 0 2 0 276710595 705986560 163054 33554432000 4194304 5963574 140733375973984 140459574753080 4410413 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 689440

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 4175
/proc/meminfo: memFree=25522672/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=755216 CPUtime=1661.82 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 170628 0 0 0 166074 108 0 0 20 0 2 0 276710594 773341184 172143 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 188804 172143 194 432 0 188369 0
[pid=4106/tid=4108] ppid=4104 vsize=755216 CPUtime=1662.16 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 169668 0 0 0 166082 134 0 0 20 0 2 0 276710595 773341184 172143 33554432000 4194304 5963574 140733375973984 140459574753320 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 755216

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 4175
/proc/meminfo: memFree=25509320/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=755540 CPUtime=1721.81 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 173666 0 0 0 172071 110 0 0 20 0 2 0 276710594 773672960 175181 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 188885 175181 194 432 0 188450 0
[pid=4106/tid=4108] ppid=4104 vsize=755540 CPUtime=1722.16 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 172706 0 0 0 172079 137 0 0 20 0 2 0 276710595 773672960 175181 33554432000 4194304 5963574 140733375973984 140459574752872 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 755540

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 4175
/proc/meminfo: memFree=25507624/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=756024 CPUtime=1781.81 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 173983 0 0 0 178070 111 0 0 20 0 2 0 276710594 774168576 175498 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 189006 175498 194 432 0 188571 0
[pid=4106/tid=4108] ppid=4104 vsize=756024 CPUtime=1782.16 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 173023 0 0 0 178077 139 0 0 20 0 2 0 276710595 774168576 175498 33554432000 4194304 5963574 140733375973984 140459574753272 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 756024

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4175
/proc/meminfo: memFree=25503144/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=756024 CPUtime=1791.41 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 175126 0 0 0 179029 112 0 0 20 0 2 0 276710594 774168576 176641 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 189006 176641 194 432 0 188571 0
[pid=4106/tid=4108] ppid=4104 vsize=756024 CPUtime=1791.77 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 174166 0 0 0 179037 140 0 0 20 0 2 0 276710595 774168576 176641 33554432000 4194304 5963574 140733375973984 140459574753272 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 756024

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4175
/proc/meminfo: memFree=25501888/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=756024 CPUtime=1794.61 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 175418 0 0 0 179349 112 0 0 20 0 2 0 276710594 774168576 176933 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 189006 176933 194 432 0 188571 0
[pid=4106/tid=4108] ppid=4104 vsize=756024 CPUtime=1794.97 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 174459 0 0 0 179357 140 0 0 20 0 2 0 276710595 774168576 176934 33554432000 4194304 5963574 140733375973984 140459574753272 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 756024

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4175
/proc/meminfo: memFree=25501020/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=756024 CPUtime=1797.8 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 175803 0 0 0 179667 113 0 0 20 0 2 0 276710594 774168576 177318 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 189006 177318 194 432 0 188571 0
[pid=4106/tid=4108] ppid=4104 vsize=756024 CPUtime=1798.16 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 174843 0 0 0 179675 141 0 0 20 0 2 0 276710595 774168576 177318 33554432000 4194304 5963574 140733375973984 140459574753080 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 756024

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4175
/proc/meminfo: memFree=25500152/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=756024 CPUtime=1798.6 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 175891 0 0 0 179747 113 0 0 20 0 2 0 276710594 774168576 177406 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 189006 177406 194 432 0 188571 0
[pid=4106/tid=4108] ppid=4104 vsize=756024 CPUtime=1798.96 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 174931 0 0 0 179755 141 0 0 20 0 2 0 276710595 774168576 177406 33554432000 4194304 5963574 140733375973984 140459574753272 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 756024

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4175
/proc/meminfo: memFree=25500152/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=756024 CPUtime=1799.01 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 175932 0 0 0 179788 113 0 0 20 0 2 0 276710594 774168576 177447 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 189006 177447 194 432 0 188571 0
[pid=4106/tid=4108] ppid=4104 vsize=756024 CPUtime=1799.37 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 174972 0 0 0 179796 141 0 0 20 0 2 0 276710595 774168576 177447 33554432000 4194304 5963574 140733375973984 140459574753272 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 756024

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4175
/proc/meminfo: memFree=25500152/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=756024 CPUtime=1799.4 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 175967 0 0 0 179827 113 0 0 20 0 2 0 276710594 774168576 177482 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 189006 177482 194 432 0 188571 0
[pid=4106/tid=4108] ppid=4104 vsize=756024 CPUtime=1799.76 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 175007 0 0 0 179835 141 0 0 20 0 2 0 276710595 774168576 177482 33554432000 4194304 5963574 140733375973984 140459574753272 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 756024

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4175
/proc/meminfo: memFree=25500152/32873648 swapFree=6864/6864
[pid=4106] ppid=4104 vsize=756184 CPUtime=1799.5 cores=0,2,4,6
/proc/4106/stat : 4106 (wbo1.7) S 4104 4106 2447 0 -1 4202496 175991 0 0 0 179837 113 0 0 20 0 2 0 276710594 774332416 177506 33554432000 4194304 5963574 140733375973984 140733375973504 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4106/statm: 189046 177506 194 432 0 188611 0
[pid=4106/tid=4108] ppid=4104 vsize=756184 CPUtime=1799.86 cores=0,2,4,6
/proc/4106/task/4108/stat : 4108 (wbo1.7) R 4104 4106 2447 0 -1 4202560 175031 0 0 0 179845 141 0 0 20 0 2 0 276710595 774332416 177506 33554432000 4194304 5963574 140733375973984 140459574753272 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 756184

Child status: 255
Real time (s): 1800.02
CPU time (s): 1799.9
CPU user time (s): 1798.47
CPU system time (s): 1.43378
CPU usage (%): 99.9936
Max. virtual memory (cumulated for all children) (KiB): 756184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.47
system time used= 1.43378
maximum resident set size= 710024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175991
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 254
involuntary context switches= 1891

runsolver used 3.24351 second user time and 7.82781 second system time

The end

Launcher Data

Begin job on node120 at 2012-05-27 10:04:06
IDJOB=3705649
IDBENCH=48245
IDSOLVER=2284
FILE ID=node120/3705649-1338105846
RUNJOBID= node120-1338088086-2463
PBS_JOBID= 14624455
Free space on /tmp= 71692 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_3.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705649-1338105846/watcher-3705649-1338105846 -o /tmp/evaluation-result-3705649-1338105846/solver-3705649-1338105846 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3705649-1338105846.opb

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

MD5SUM BENCH= 4ec3492215da9d1ca4e43111c42870de
RANDOM SEED=1930246917

node120.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.456
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.91
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.456
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.456
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.456
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.88
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.456
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.456
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.83
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.456
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.456
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:        27759400 kB
Buffers:          311096 kB
Cached:          3421432 kB
SwapCached:          636 kB
Active:          1290252 kB
Inactive:        2999020 kB
Active(anon):     545752 kB
Inactive(anon):    12532 kB
Active(file):     744500 kB
Inactive(file):  2986488 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67107896 kB
Dirty:              5456 kB
Writeback:             0 kB
AnonPages:        562220 kB
Mapped:            15012 kB
Shmem:               120 kB
Slab:             685732 kB
SReclaimable:     130184 kB
SUnreclaim:       555548 kB
KernelStack:        1464 kB
PageTables:         4704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     147552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    380928 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-3705649-1338105846.opb

Free space on /tmp at the end= 71688 MiB
End job on node120 at 2012-05-27 10:34:06