Trace number 3730674

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB10: pb_cplex 2010-06-29? 1799.04 1799.32

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl.opb
MD5SUM1785d65de493315a1e7654bb7aab8248
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark33.6839
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables84836
Total number of constraints245062
Number of constraints which are clauses233598
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11464
Minimum length of a constraint1
Maximum length of a constraint15
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-3730674-1339246854.opb.
0.00/0.00	c Instance file HOME/instance-3730674-1339246854.opb
0.00/0.00	c File size is 8646872 bytes.
1.29/1.31	c Highest Coefficient sum: 510
1.29/1.31	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
1.39/1.47	c ============================[ Problem Statistics ]=============================
1.39/1.47	c |                                                                             |
1.39/1.47	c |  Parsing time:          1.43         s                                      |
1.39/1.47	c |  Number Variables:      84836                                               |
1.49/1.51	c |  Number Constraints:    245062                                              |
1.49/1.51	c ===============================================================================
1798.91/1799.28	c Remaining time 1798.55 sec.
1798.91/1799.28	s UNKNOWN
1798.91/1799.28	c Total CPU time              : 1797.15 s

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-3730674-1339246854/watcher-3730674-1339246854 -o /tmp/evaluation-result-3730674-1339246854/solver-3730674-1339246854 -C 1800 -W 1900 -M 15500 run HOME/instance-3730674-1339246854.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: 0.97 0.22 0.07 10/185 4813
/proc/meminfo: memFree=30803280/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0

[startup+0.0153349 s]
/proc/loadavg: 0.97 0.22 0.07 10/185 4813
/proc/meminfo: memFree=30803280/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10021 s]
/proc/loadavg: 0.97 0.22 0.07 10/185 4813
/proc/meminfo: memFree=30803280/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300211 s]
/proc/loadavg: 0.97 0.22 0.07 10/185 4813
/proc/meminfo: memFree=30803280/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700215 s]
/proc/loadavg: 0.97 0.22 0.07 10/185 4813
/proc/meminfo: memFree=30803280/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50025 s]
/proc/loadavg: 0.97 0.22 0.07 10/187 4815
/proc/meminfo: memFree=30741688/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=158316 CPUtime=1.49 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 35012 0 0 0 144 5 0 0 20 0 1 0 390812790 162115584 32310 33554432000 134512640 146736320 4290027488 4290026088 136181102 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4814/statm: 39579 32315 479 2985 0 36513 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 167464

[startup+3.10033 s]
/proc/loadavg: 0.97 0.22 0.07 8/187 4815
/proc/meminfo: memFree=30652028/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=177060 CPUtime=3.08 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 62212 0 0 0 297 11 0 0 20 0 1 0 390812790 181309440 37895 33554432000 134512640 146736320 4290027488 4290025300 136893293 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 44265 37895 584 2985 0 41199 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 186208

[startup+6.30033 s]
/proc/loadavg: 1.62 0.37 0.12 3/187 4815
/proc/meminfo: memFree=30590996/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=436268 CPUtime=6.29 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 122719 0 0 0 607 22 0 0 20 0 1 0 390812790 446738432 51613 33554432000 134512640 146736320 4290027488 4290023920 135731474 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 109067 51613 619 2985 0 106001 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 445416

[startup+12.7003 s]
/proc/loadavg: 1.65 0.40 0.13 8/187 4816
/proc/meminfo: memFree=30452696/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=622048 CPUtime=12.68 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 172489 0 0 0 1232 36 0 0 20 0 1 0 390812790 636977152 86925 33554432000 134512640 146736320 4290027488 4290022284 136017665 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 155512 86925 730 2985 0 152446 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 631196

[startup+25.5003 s]
/proc/loadavg: 2.62 0.67 0.22 9/187 4838
/proc/meminfo: memFree=30452056/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=623068 CPUtime=25.49 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 176854 0 0 0 2510 39 0 0 20 0 1 0 390812790 638021632 87093 33554432000 134512640 146736320 4290027488 4290022672 136403112 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 155767 87093 730 2985 0 152701 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 632216

[startup+51.1003 s]
/proc/loadavg: 4.19 1.20 0.41 10/187 4838
/proc/meminfo: memFree=30451756/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=623340 CPUtime=51.08 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 181977 0 0 0 5067 41 0 0 20 0 1 0 390812790 638300160 87139 33554432000 134512640 146736320 4290027488 4290022284 136017787 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 155835 87139 730 2985 0 152769 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 632488

[startup+102.307 s]
/proc/loadavg: 5.62 2.04 0.74 9/186 4838
/proc/meminfo: memFree=30447408/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=625008 CPUtime=102.28 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 224224 0 0 0 10176 52 0 0 20 0 1 0 390812790 640008192 88463 33554432000 134512640 146736320 4290027488 4290021708 136017485 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 156252 88463 794 2985 0 153186 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 634156

[startup+162.3 s]
/proc/loadavg: 5.71 2.75 1.06 7/186 4894
/proc/meminfo: memFree=30430380/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=625080 CPUtime=162.26 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 226252 0 0 0 16170 56 0 0 20 0 1 0 390812790 640081920 95064 33554432000 134512640 146736320 4290027488 4290021708 136017755 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 156270 95064 794 2985 0 153204 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 634228

[startup+222.3 s]
/proc/loadavg: 6.38 3.40 1.39 10/186 4901
/proc/meminfo: memFree=30375588/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=626032 CPUtime=222.25 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 230677 0 0 0 22164 61 0 0 20 0 1 0 390812790 641056768 99886 33554432000 134512640 146736320 4290027488 4290021708 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 156508 99886 794 2985 0 153442 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 635180

[startup+282.3 s]
/proc/loadavg: 7.38 4.25 1.80 10/186 4901
/proc/meminfo: memFree=30387788/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=649104 CPUtime=282.24 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 329384 0 0 0 28139 85 0 0 20 0 1 0 390812790 664682496 96456 33554432000 134512640 146736320 4290027488 4290022096 136403103 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 162276 96456 832 2985 0 159210 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 658252

[startup+342.3 s]
/proc/loadavg: 7.95 4.95 2.19 10/186 4902
/proc/meminfo: memFree=30380844/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=649668 CPUtime=342.23 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 335553 0 0 0 34135 88 0 0 20 0 1 0 390812790 665260032 97548 33554432000 134512640 146736320 4290027488 4290021708 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 162417 97548 832 2985 0 159351 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 658816

[startup+402.3 s]
/proc/loadavg: 7.73 5.37 2.50 10/186 4902
/proc/meminfo: memFree=30325744/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6

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


[startup+1362.3 s]
/proc/loadavg: 3.52 5.11 4.71 9/185 5594
/proc/meminfo: memFree=30354152/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=659184 CPUtime=1362.07 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 463772 0 0 0 136057 150 0 0 20 0 1 0 390812790 675004416 108658 33554432000 134512640 146736320 4290027488 4290021544 139044505 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 164796 108658 833 2985 0 161730 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 668332

[startup+1422.31 s]
/proc/loadavg: 3.17 4.72 4.60 6/186 5595
/proc/meminfo: memFree=30350180/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=659280 CPUtime=1422.07 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 466622 0 0 0 142055 152 0 0 20 0 1 0 390812790 675102720 108680 33554432000 134512640 146736320 4290027488 4290021708 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 164820 108680 833 2985 0 161754 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 668428

[startup+1482.3 s]
/proc/loadavg: 3.36 4.55 4.55 6/186 5602
/proc/meminfo: memFree=30349700/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=659312 CPUtime=1482.06 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 468666 0 0 0 148051 155 0 0 20 0 1 0 390812790 675135488 108691 33554432000 134512640 146736320 4290027488 4290021708 136017777 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 164828 108691 833 2985 0 161762 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 668460

[startup+1542.3 s]
/proc/loadavg: 3.12 4.23 4.44 8/186 5603
/proc/meminfo: memFree=30347232/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=659408 CPUtime=1542.05 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 473185 0 0 0 154047 158 0 0 20 0 1 0 390812790 675233792 108712 33554432000 134512640 146736320 4290027488 4290022144 139046538 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 164852 108712 833 2985 0 161786 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 668556

[startup+1602.3 s]
/proc/loadavg: 2.92 3.98 4.34 8/186 5603
/proc/meminfo: memFree=30347112/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=659472 CPUtime=1602.03 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 477866 0 0 0 160043 160 0 0 20 0 1 0 390812790 675299328 108733 33554432000 134512640 146736320 4290027488 4290021708 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 164868 108733 833 2985 0 161802 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 668620

[startup+1662.3 s]
/proc/loadavg: 4.05 4.09 4.35 7/186 5610
/proc/meminfo: memFree=30347548/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=659600 CPUtime=1662.02 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 483359 0 0 0 166040 162 0 0 20 0 1 0 390812790 675430400 108766 33554432000 134512640 146736320 4290027488 4290021708 136017474 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 164900 108766 833 2985 0 161834 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 668748

[startup+1722.3 s]
/proc/loadavg: 4.29 4.14 4.35 10/186 5610
/proc/meminfo: memFree=30347428/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=659752 CPUtime=1722.02 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 487362 0 0 0 172037 165 0 0 20 0 1 0 390812790 675586048 108795 33554432000 134512640 146736320 4290027488 4290021708 136017520 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 164938 108795 833 2985 0 161872 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 668900

[startup+1782.3 s]
/proc/loadavg: 4.11 4.07 4.31 9/187 5613
/proc/meminfo: memFree=30511132/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=482020 CPUtime=1782.01 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 503568 0 0 0 178031 170 0 0 20 0 1 0 390812790 493588480 67552 33554432000 134512640 146736320 4290027488 4290023904 136208086 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 120505 67552 833 2985 0 117439 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 491168

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

[startup+1791.91 s]
/proc/loadavg: 3.79 4.00 4.29 3/180 5665
/proc/meminfo: memFree=30404696/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=657976 CPUtime=1791.61 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 531825 0 0 0 178984 177 0 0 20 0 1 0 390812790 673767424 98263 33554432000 134512640 146736320 4290027488 4290022268 139023039 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 164494 98263 834 2985 0 161428 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 667124

[startup+1795.1 s]
/proc/loadavg: 3.72 3.99 4.28 3/180 5665
/proc/meminfo: memFree=30199376/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=753188 CPUtime=1794.81 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 543848 0 0 0 179301 180 0 0 20 0 1 0 390812790 771264512 113790 33554432000 134512640 146736320 4290027488 4290023324 136406059 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 188297 113790 834 2985 0 185231 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 762336

[startup+1796.7 s]
/proc/loadavg: 3.72 3.99 4.28 3/180 5665
/proc/meminfo: memFree=30138320/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=757960 CPUtime=1796.41 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 544475 0 0 0 179460 181 0 0 20 0 1 0 390812790 776151040 114928 33554432000 134512640 146736320 4290027488 4290021616 136383174 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 189490 114928 834 2985 0 186424 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 767108

[startup+1798.3 s]
/proc/loadavg: 3.72 3.99 4.28 3/180 5665
/proc/meminfo: memFree=30136104/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=658064 CPUtime=1798.01 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 553922 0 0 0 179617 184 0 0 20 0 1 0 390812790 673857536 97559 33554432000 134512640 146736320 4290027488 4290022172 136400554 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 164516 97559 834 2985 0 161450 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 667212

[startup+1799.1 s]
/proc/loadavg: 3.72 3.99 4.28 3/180 5665
/proc/meminfo: memFree=30199580/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=658064 CPUtime=1798.81 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 554875 0 0 0 179697 184 0 0 20 0 1 0 390812790 673857536 99278 33554432000 134512640 146736320 4290027488 4290022272 135231516 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 164516 99278 834 2985 0 161450 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 667212

[startup+1799.3 s]
/proc/loadavg: 3.72 3.99 4.28 3/180 5665
/proc/meminfo: memFree=30199580/32873648 swapFree=7124/7124
[pid=4813] ppid=4811 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4813/stat : 4813 (run) S 4811 4813 4676 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812790 9367552 269 33554432000 4194304 5064252 140736639188976 140736639187888 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4813/statm: 2287 269 229 213 0 72 0
[pid=4814] ppid=4813 vsize=199748 CPUtime=1799.01 cores=0,2,4,6
/proc/4814/stat : 4814 (pb_cplex) R 4813 4813 4676 0 -1 4202496 555139 0 0 0 179716 185 0 0 20 0 1 0 390812790 204541952 45820 33554432000 134512640 146736320 4290027488 4290026028 136226279 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/4814/statm: 49937 45820 844 2985 0 46871 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 208896

Child status: 0
Real time (s): 1799.32
CPU time (s): 1799.04
CPU user time (s): 1797.17
CPU system time (s): 1.86372
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 772624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.17
system time used= 1.86372
maximum resident set size= 508504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 555511
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= 25
involuntary context switches= 2155

runsolver used 2.6236 second user time and 7.2449 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-09 15:00:54
IDJOB=3730674
IDBENCH=1465
IDSOLVER=2325
FILE ID=node114/3730674-1339246854
RUNJOBID= node114-1339246833-4692
PBS_JOBID= 14644367
Free space on /tmp= 70680 MiB

SOLVER NAME= PB10: pb_cplex 2010-06-29
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730674-1339246854/watcher-3730674-1339246854 -o /tmp/evaluation-result-3730674-1339246854/solver-3730674-1339246854 -C 1800 -W 1900 -M 15500  run HOME/instance-3730674-1339246854.opb

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

MD5SUM BENCH= 1785d65de493315a1e7654bb7aab8248
RANDOM SEED=64361512

node114.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.242
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.48
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.242
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.242
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	: 5451.90
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.242
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.242
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.242
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.242
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.242
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:        30803280 kB
Buffers:          559620 kB
Cached:           498624 kB
SwapCached:         2464 kB
Active:           712724 kB
Inactive:         396668 kB
Active(anon):      48784 kB
Inactive(anon):     4632 kB
Active(file):     663940 kB
Inactive(file):   392036 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             41892 kB
Writeback:             0 kB
AnonPages:         56448 kB
Mapped:            12692 kB
Shmem:                 0 kB
Slab:             822916 kB
SReclaimable:     266740 kB
SUnreclaim:       556176 kB
KernelStack:        1520 kB
PageTables:         4144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     218284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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-3730674-1339246854.opb

Free space on /tmp at the end= 70660 MiB
End job on node114 at 2012-06-09 15:30:54