Trace number 3729907

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? (TO) 1800.03 763.811

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
MD5SUM7f5f10f1b8aeee16c5b46dadab8c5b22
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1020
Total number of constraints43010
Number of constraints which are clauses42840
Number of constraints which are cardinality constraints (but not clauses)170
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint6
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
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-3729907-1339246839.opb.
0.00/0.00	c Instance file HOME/instance-3729907-1339246839.opb
0.00/0.00	c File size is 1372125 bytes.
0.00/0.17	c Highest Coefficient sum: 7
0.00/0.17	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
0.00/0.20	c ============================[ Problem Statistics ]=============================
0.00/0.20	c |                                                                             |
0.00/0.20	c |  Parsing time:          0.18         s                                      |
0.00/0.20	c |  Number Variables:      1020                                                |
0.00/0.20	c |  Number Constraints:    43010                                               |
0.00/0.20	c ===============================================================================
1796.04/763.80	c Remaining time 1799.81 sec.
1796.04/763.80	c 
1796.04/763.80	c *** INTERRUPTED ***
1796.04/763.80	s UNKNOWN
1796.04/763.80	c Total CPU time              : 1792.91 s
1796.04/763.80	c Memory used           : 205.94 MB
1796.04/763.80	c CPU time              : 1792.91 s
1796.04/763.80	c 
1796.04/763.80	c *** INTERRUPTED ***

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-3729907-1339246839/watcher-3729907-1339246839 -o /tmp/evaluation-result-3729907-1339246839/solver-3729907-1339246839 -C 1800 -W 1900 -M 15500 run HOME/instance-3729907-1339246839.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.08 0.02 0.01 2/174 459
/proc/meminfo: memFree=30774540/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0

[startup+0.090057 s]
/proc/loadavg: 0.08 0.02 0.01 2/174 459
/proc/meminfo: memFree=30774540/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10028 s]
/proc/loadavg: 0.08 0.02 0.01 2/174 459
/proc/meminfo: memFree=30774540/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30026 s]
/proc/loadavg: 0.08 0.02 0.01 2/174 459
/proc/meminfo: memFree=30774540/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700251 s]
/proc/loadavg: 0.08 0.02 0.01 2/174 459
/proc/meminfo: memFree=30774540/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5003 s]
/proc/loadavg: 0.08 0.02 0.01 3/180 479
/proc/meminfo: memFree=30673552/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=123524 CPUtime=1.48 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) R 459 459 415 0 -1 4202496 31007 0 0 0 144 4 0 0 20 0 1 0 390809682 126488576 16822 33554432000 134512640 146736320 4291239600 4291234044 138666113 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/460/statm: 30881 16822 819 2985 0 27815 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 132672

[startup+3.10032 s]
/proc/loadavg: 0.08 0.02 0.01 3/180 479
/proc/meminfo: memFree=30612672/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=145208 CPUtime=3.08 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) R 459 459 415 0 -1 4202496 42170 0 0 0 302 6 0 0 20 0 1 0 390809682 148692992 21596 33554432000 134512640 146736320 4291239600 4291233788 136017763 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/460/statm: 36302 21596 828 2985 0 33236 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 154356

[startup+6.30032 s]
/proc/loadavg: 0.23 0.05 0.02 3/180 479
/proc/meminfo: memFree=30412712/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=145208 CPUtime=6.28 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) R 459 459 415 0 -1 4202496 44303 0 0 0 621 7 0 0 20 0 1 0 390809682 148692992 21596 33554432000 134512640 146736320 4291239600 4291233788 136017485 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/460/statm: 36302 21596 828 2985 0 33236 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 154356

[startup+12.7003 s]
/proc/loadavg: 0.37 0.08 0.03 3/180 479
/proc/meminfo: memFree=30269236/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=145464 CPUtime=12.68 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) R 459 459 415 0 -1 4202496 53318 0 0 0 1260 8 0 0 20 0 1 0 390809682 148955136 21984 33554432000 134512640 146736320 4291239600 4291233424 135854552 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/460/statm: 36366 21984 828 2985 0 33300 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 154612

[startup+25.5003 s]
/proc/loadavg: 0.73 0.18 0.06 3/180 480
/proc/meminfo: memFree=30262612/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=147128 CPUtime=25.47 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) R 459 459 415 0 -1 4202496 94410 0 0 0 2532 15 0 0 20 0 1 0 390809682 150659072 22442 33554432000 134512640 146736320 4291239600 4291233864 136461520 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/460/statm: 36782 22442 831 2985 0 33716 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 156276

[startup+51.1003 s]
/proc/loadavg: 1.16 0.32 0.11 3/180 502
/proc/meminfo: memFree=30288000/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=112076 CPUtime=51.07 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) R 459 459 415 0 -1 4202496 114328 0 0 0 5088 19 0 0 20 0 1 0 390809682 114765824 16229 33554432000 134512640 146736320 4291239600 4291233288 139043558 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/460/statm: 28019 16229 832 2985 0 24953 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 121224

[startup+102.307 s]
/proc/loadavg: 1.64 0.58 0.20 3/179 502
/proc/meminfo: memFree=30276616/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=112832 CPUtime=102.26 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) R 459 459 415 0 -1 4202496 149083 0 0 0 10200 26 0 0 20 0 1 0 390809682 115539968 18598 33554432000 134512640 146736320 4291239600 4291233420 136017474 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/460/statm: 28208 18598 834 2985 0 25142 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 121980

[startup+162.3 s]
/proc/loadavg: 1.86 0.83 0.31 3/179 502
/proc/meminfo: memFree=30276152/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=112832 CPUtime=162.25 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) R 459 459 415 0 -1 4202496 199169 0 0 0 16190 35 0 0 20 0 1 0 390809682 115539968 18618 33554432000 134512640 146736320 4291239600 4291233256 139044580 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/460/statm: 28208 18618 834 2985 0 25142 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 121980

[startup+222.3 s]
/proc/loadavg: 1.95 1.04 0.42 3/186 509
/proc/meminfo: memFree=30179088/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=314852 CPUtime=222.23 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) R 459 459 415 0 -1 4202496 278551 0 0 0 22176 47 0 0 20 0 8 0 390809682 322408448 40738 33554432000 134512640 146736320 4291239600 4291232408 136007037 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/460/statm: 78713 40738 873 2985 0 75647 0
[pid=460/tid=503] ppid=459 vsize=314852 CPUtime=0 cores=0,2,4,6
/proc/460/task/503/stat : 503 (pb_cplex) S 459 459 415 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 8 0 390829300 322408448 40738 33554432000 134512640 146736320 4291239600 4031671952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=460/tid=504] ppid=459 vsize=314852 CPUtime=0 cores=0,2,4,6
/proc/460/task/504/stat : 504 (pb_cplex) S 459 459 415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390829300 322408448 40738 33554432000 134512640 146736320 4291239600 4021186192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=460/tid=505] ppid=459 vsize=314852 CPUtime=0 cores=0,2,4,6
/proc/460/task/505/stat : 505 (pb_cplex) S 459 459 415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390829300 322408448 40738 33554432000 134512640 146736320 4291239600 4010700432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=460/tid=506] ppid=459 vsize=314852 CPUtime=0 cores=0,2,4,6
/proc/460/task/506/stat : 506 (pb_cplex) S 459 459 415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 390829300 322408448 40738 33554432000 134512640 146736320 4291239600 4000214672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=460/tid=507] ppid=459 vsize=314852 CPUtime=0 cores=0,2,4,6
/proc/460/task/507/stat : 507 (pb_cplex) S 459 459 415 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 390829300 322408448 40738 33554432000 134512640 146736320 4291239600 3989728912 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=460/tid=508] ppid=459 vsize=314852 CPUtime=0 cores=0,2,4,6
/proc/460/task/508/stat : 508 (pb_cplex) S 459 459 415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390829300 322408448 40738 33554432000 134512640 146736320 4291239600 3979243152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=460/tid=509] ppid=459 vsize=314852 CPUtime=0 cores=0,2,4,6
/proc/460/task/509/stat : 509 (pb_cplex) S 459 459 415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390829300 322408448 40738 33554432000 134512640 146736320 4291239600 3968757392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 324000

[startup+282.3 s]
/proc/loadavg: 5.12 2.00 0.78 9/185 509
/proc/meminfo: memFree=30023300/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=510588 CPUtime=382.74 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) R 459 459 415 0 -1 4202496 386672 0 0 0 38196 78 0 0 20 0 8 0 390809682 522842112 79393 33554432000 134512640 146736320 4291239600 4291232408 136007059 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/460/statm: 127647 79393 873 2985 0 124581 0
[pid=460/tid=503] ppid=459 vsize=510588 CPUtime=16.87 cores=0,2,4,6
/proc/460/task/503/stat : 503 (pb_cplex) R 459 459 415 0 -1 4202560 9481 0 0 0 1684 3 0 0 20 0 8 0 390829300 522842112 79393 33554432000 134512640 146736320 4291239600 4031668376 136007289 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=460/tid=504] ppid=459 vsize=510588 CPUtime=16.68 cores=0,2,4,6
/proc/460/task/504/stat : 504 (pb_cplex) R 459 459 415 0 -1 4202560 11347 0 0 0 1666 2 0 0 20 0 8 0 390829300 522842112 79393 33554432000 134512640 146736320 4291239600 4021182616 136007053 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=460/tid=505] ppid=459 vsize=510588 CPUtime=16.79 cores=0,2,4,6

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

[pid=460/tid=503] ppid=459 vsize=522636 CPUtime=131.85 cores=0,2,4,6
/proc/460/task/503/stat : 503 (pb_cplex) R 459 459 415 0 -1 4202560 68210 0 0 0 13165 20 0 0 20 0 8 0 390829300 535179264 83345 33554432000 134512640 146736320 4291239600 4031668356 136400567 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=460/tid=504] ppid=459 vsize=522636 CPUtime=123.11 cores=0,2,4,6
/proc/460/task/504/stat : 504 (pb_cplex) R 459 459 415 0 -1 4202560 63547 0 0 0 12293 18 0 0 20 0 8 0 390829300 535179264 83345 33554432000 134512640 146736320 4291239600 4021181528 136007616 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=460/tid=505] ppid=459 vsize=522636 CPUtime=131.15 cores=0,2,4,6
/proc/460/task/505/stat : 505 (pb_cplex) S 459 459 415 0 -1 4202560 76621 0 0 0 13090 25 0 0 20 0 8 0 390829300 535179264 83345 33554432000 134512640 146736320 4291239600 4010700432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=460/tid=506] ppid=459 vsize=522636 CPUtime=129.97 cores=0,2,4,6
/proc/460/task/506/stat : 506 (pb_cplex) R 459 459 415 0 -1 4202560 64607 0 0 0 12978 19 0 0 20 0 8 0 390829300 535179264 83345 33554432000 134512640 146736320 4291239600 4000211056 136384852 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=460/tid=507] ppid=459 vsize=522636 CPUtime=138.11 cores=0,2,4,6
/proc/460/task/507/stat : 507 (pb_cplex) R 459 459 415 0 -1 4202560 77212 0 0 0 13788 23 0 0 20 0 8 0 390829300 535179264 83345 33554432000 134512640 146736320 4291239600 3989725336 136007612 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=460/tid=508] ppid=459 vsize=522636 CPUtime=129.67 cores=0,2,4,6
/proc/460/task/508/stat : 508 (pb_cplex) R 459 459 415 0 -1 4202560 77670 0 0 0 12941 26 0 0 20 0 8 0 390829300 535179264 83345 33554432000 134512640 146736320 4291239600 3979239536 136384854 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=460/tid=509] ppid=459 vsize=522636 CPUtime=149.81 cores=0,2,4,6
/proc/460/task/509/stat : 509 (pb_cplex) R 459 459 415 0 -1 4202560 69392 0 0 0 14959 22 0 0 20 0 8 0 390829300 535179264 83345 33554432000 134512640 146736320 4291239600 3968753816 136007616 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 531784

[startup+582.301 s]
/proc/loadavg: 7.42 5.67 2.72 10/187 513
/proc/meminfo: memFree=29997488/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=521128 CPUtime=1507.6 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) R 459 459 415 0 -1 4202496 969943 0 0 0 150511 249 0 0 20 0 8 0 390809682 533635072 83404 33554432000 134512640 146736320 4291239600 4291232328 139042881 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/460/statm: 130282 83404 873 2985 0 127216 0
[pid=460/tid=503] ppid=459 vsize=521128 CPUtime=155.01 cores=0,2,4,6
/proc/460/task/503/stat : 503 (pb_cplex) R 459 459 415 0 -1 4202560 79450 0 0 0 15478 23 0 0 20 0 8 0 390829300 533635072 83404 33554432000 134512640 146736320 4291239600 4031668376 136007605 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=460/tid=504] ppid=459 vsize=521128 CPUtime=154.69 cores=0,2,4,6
/proc/460/task/504/stat : 504 (pb_cplex) R 459 459 415 0 -1 4202560 90245 0 0 0 15442 27 0 0 20 0 8 0 390829300 533635072 83404 33554432000 134512640 146736320 4291239600 4021181528 136007616 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=460/tid=505] ppid=459 vsize=521128 CPUtime=141.64 cores=0,2,4,6
/proc/460/task/505/stat : 505 (pb_cplex) R 459 459 415 0 -1 4202560 80498 0 0 0 14136 28 0 0 20 0 8 0 390829300 533635072 83404 33554432000 134512640 146736320 4291239600 4010696744 139044505 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=460/tid=506] ppid=459 vsize=521128 CPUtime=169.61 cores=0,2,4,6
/proc/460/task/506/stat : 506 (pb_cplex) R 459 459 415 0 -1 4202560 92476 0 0 0 16934 27 0 0 20 0 8 0 390829300 533635072 83404 33554432000 134512640 146736320 4291239600 4000211096 136007661 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=460/tid=507] ppid=459 vsize=521128 CPUtime=161.72 cores=0,2,4,6
/proc/460/task/507/stat : 507 (pb_cplex) R 459 459 415 0 -1 4202560 84690 0 0 0 16147 25 0 0 20 0 8 0 390829300 533635072 83404 33554432000 134512640 146736320 4291239600 3989725256 139042901 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=460/tid=508] ppid=459 vsize=521128 CPUtime=152.8 cores=0,2,4,6
/proc/460/task/508/stat : 508 (pb_cplex) R 459 459 415 0 -1 4202560 94205 0 0 0 15249 31 0 0 20 0 8 0 390829300 533635072 83404 33554432000 134512640 146736320 4291239600 3979239496 139042977 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=460/tid=509] ppid=459 vsize=521128 CPUtime=173.17 cores=0,2,4,6
/proc/460/task/509/stat : 509 (pb_cplex) R 459 459 415 0 -1 4202560 76585 0 0 0 17293 24 0 0 20 0 8 0 390829300 533635072 83404 33554432000 134512640 146736320 4291239600 3968754496 138419207 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1507.6
Current children cumulated vsize (KiB) 530276

############
# WARNING:
# current cumulated CPU time (1655.06 s) is less than in the last sample (1659.05 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (3.99011 s) to the 'lost time'.

[startup+622.701 s]
/proc/loadavg: 7.29 5.89 2.92 3/186 515
/proc/meminfo: memFree=29995592/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=521128 CPUtime=1659.05 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) S 459 459 415 0 -1 4202496 1039490 0 0 0 165639 266 0 0 20 0 8 0 390809682 533635072 83804 33554432000 134512640 146736320 4291239600 4291235984 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/460/statm: 130282 83804 873 2985 0 127216 0
[pid=460/tid=503] ppid=459 vsize=521128 CPUtime=168.86 cores=0,2,4,6
/proc/460/task/503/stat : 503 (pb_cplex) S 459 459 415 0 -1 4202560 86261 0 0 0 16862 24 0 0 20 0 8 0 390829300 533635072 83804 33554432000 134512640 146736320 4291239600 4031671952 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=460/tid=504] ppid=459 vsize=521128 CPUtime=181.05 cores=0,2,4,6
/proc/460/task/504/stat : 504 (pb_cplex) R 459 459 415 0 -1 4202560 111017 0 0 0 18073 32 0 0 20 0 8 0 390829300 533635072 83804 33554432000 134512640 146736320 4291239600 4021182616 136007627 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=460/tid=505] ppid=459 vsize=521128 CPUtime=156.64 cores=0,2,4,6
/proc/460/task/505/stat : 505 (pb_cplex) S 459 459 415 0 -1 4202560 85546 0 0 0 15635 29 0 0 20 0 8 0 390829300 533635072 83804 33554432000 134512640 146736320 4291239600 4010700432 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=460/tid=506] ppid=459 vsize=521128 CPUtime=191.16 cores=0,2,4,6
/proc/460/task/506/stat : 506 (pb_cplex) S 459 459 415 0 -1 4202560 99278 0 0 0 19087 29 0 0 20 0 8 0 390829300 533635072 83804 33554432000 134512640 146736320 4291239600 4000214672 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=460/tid=507] ppid=459 vsize=521128 CPUtime=180.48 cores=0,2,4,6
/proc/460/task/507/stat : 507 (pb_cplex) S 459 459 415 0 -1 4202560 93510 0 0 0 18021 27 0 0 20 0 8 0 390829300 533635072 83804 33554432000 134512640 146736320 4291239600 3989728912 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=460/tid=508] ppid=459 vsize=521128 CPUtime=162.59 cores=0,2,4,6
/proc/460/task/508/stat : 508 (pb_cplex) S 459 459 415 0 -1 4202560 98945 0 0 0 16227 32 0 0 20 0 8 0 390829300 533635072 83804 33554432000 134512640 146736320 4291239600 3979243152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=460/tid=509] ppid=459 vsize=521128 CPUtime=194.3 cores=0,2,4,6
/proc/460/task/509/stat : 509 (pb_cplex) S 459 459 415 0 -1 4202560 83664 0 0 0 19405 25 0 0 20 0 8 0 390829300 533635072 83804 33554432000 134512640 146736320 4291239600 3968757392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1659.05
Current children cumulated vsize (KiB) 530276

[startup+622.8 s]
/proc/loadavg: 7.29 5.89 2.92 3/186 515
/proc/meminfo: memFree=29995592/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=302352 CPUtime=1655.06 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) R 459 459 415 0 -1 4202496 1040316 0 0 0 165223 283 0 0 20 0 1 0 390809682 309608448 44676 33554432000 134512640 146736320 4291239600 4291236600 138686330 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/460/statm: 75588 44676 875 2985 0 72522 0
Current children cumulated CPU time (s) 1655.06
Current children cumulated vsize (KiB) 311500
#
############


[startup+642.3 s]
/proc/loadavg: 5.79 5.64 2.90 3/179 515
/proc/meminfo: memFree=30186036/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=213404 CPUtime=1674.55 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) R 459 459 415 0 -1 4202496 1054153 0 0 0 167169 286 0 0 20 0 1 0 390809682 218525696 36463 33554432000 134512640 146736320 4291239600 4291233804 136016685 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/460/statm: 53351 36463 875 2985 0 50285 0
Current children cumulated CPU time (s) 1674.55
Current children cumulated vsize (KiB) 222552

[startup+702.3 s]
/proc/loadavg: 3.44 4.99 2.85 3/179 515
/proc/meminfo: memFree=30187752/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=208788 CPUtime=1734.55 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) R 459 459 415 0 -1 4202496 1113328 0 0 0 173156 299 0 0 20 0 1 0 390809682 213798912 35959 33554432000 134512640 146736320 4291239600 4291233752 136007083 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/460/statm: 52197 35959 878 2985 0 49131 0
Current children cumulated CPU time (s) 1734.55
Current children cumulated vsize (KiB) 217936

[startup+762.307 s]
/proc/loadavg: 2.53 4.44 2.79 3/179 515
/proc/meminfo: memFree=30187628/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=210772 CPUtime=1794.54 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) R 459 459 415 0 -1 4202496 1185518 0 0 0 179142 312 0 0 20 0 1 0 390809682 215830528 35975 33554432000 134512640 146736320 4291239600 4291233752 136007629 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/460/statm: 52693 35975 879 2985 0 49627 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 219920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+763.8 s]
/proc/loadavg: 2.53 4.44 2.79 3/179 515
/proc/meminfo: memFree=30187256/32873844 swapFree=7632/7632
[pid=459] ppid=457 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/459/stat : 459 (run) S 457 459 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390809681 9367552 270 33554432000 4194304 5064252 140735459194896 140735459193808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/459/statm: 2287 270 229 213 0 72 0
[pid=460] ppid=459 vsize=210876 CPUtime=1796.04 cores=0,2,4,6
/proc/460/stat : 460 (pb_cplex) R 459 459 415 0 -1 4202496 1193635 0 0 0 179290 314 0 0 20 0 1 0 390809682 215937024 36017 33554432000 134512640 146736320 4291239600 4291233752 136007048 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/460/statm: 52719 36017 879 2985 0 49653 0
Current children cumulated CPU time (s) 1796.04
Current children cumulated vsize (KiB) 220024

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 459 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1796.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3.99011
#  lost CPU user time (s): 4.16003
#  lost CPU system time (s): -0.17

Real time (s): 763.811
CPU time (s): 1800.03
CPU user time (s): 1797.06
CPU system time (s): 2.97
CPU usage (%): 235.664
Max. virtual memory (cumulated for all children) (KiB): 534816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354
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= 3
involuntary context switches= 1

runsolver used 1.81372 second user time and 4.75528 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-09 15:00:39
IDJOB=3729907
IDBENCH=1369
IDSOLVER=2325
FILE ID=node119/3729907-1339246839
RUNJOBID= node119-1339246834-433
PBS_JOBID= 14644362
Free space on /tmp= 71144 MiB

SOLVER NAME= PB10: pb_cplex 2010-06-29
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3729907-1339246839/watcher-3729907-1339246839 -o /tmp/evaluation-result-3729907-1339246839/solver-3729907-1339246839 -C 1800 -W 1900 -M 15500  run HOME/instance-3729907-1339246839.opb

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

MD5SUM BENCH= 7f5f10f1b8aeee16c5b46dadab8c5b22
RANDOM SEED=280184514

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30784480 kB
Buffers:          353964 kB
Cached:           838400 kB
SwapCached:         2564 kB
Active:           384180 kB
Inactive:         814212 kB
Active(anon):       2060 kB
Inactive(anon):     3960 kB
Active(file):     382120 kB
Inactive(file):   810252 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67097032 kB
Dirty:             17900 kB
Writeback:             0 kB
AnonPages:         10152 kB
Mapped:             7964 kB
Shmem:                 0 kB
Slab:             749808 kB
SReclaimable:     190716 kB
SUnreclaim:       559092 kB
KernelStack:        1400 kB
PageTables:         4160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3729907-1339246839.opb

Free space on /tmp at the end= 71092 MiB
End job on node119 at 2012-06-09 15:13:26