Trace number 3739695

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? 1798.8 1799.09

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12047_6-sat.opb
MD5SUM937ecf63c168ba3c2555061c1a7466e0
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables33396
Total number of constraints116135
Number of constraints which are clauses115587
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints548
Minimum length of a constraint1
Maximum length of a constraint66
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 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 383
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-3739695-1339249161.opb.
0.00/0.00	c Instance file HOME/instance-3739695-1339249161.opb
0.00/0.00	c File size is 3508147 bytes.
0.00/0.62	c Highest Coefficient sum: 383
0.00/0.62	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.70	c ============================[ Problem Statistics ]=============================
0.00/0.70	c |                                                                             |
0.00/0.70	c |  Parsing time:          0.68         s                                      |
0.00/0.70	c |  Number Variables:      33396                                               |
0.00/0.71	c |  Number Constraints:    116135                                              |
0.00/0.71	c ===============================================================================
1798.70/1799.07	c Remaining time 1799.32 sec.
1798.70/1799.07	s UNKNOWN
1798.70/1799.07	c Total CPU time              : 1795.17 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-3739695-1339249161/watcher-3739695-1339249161 -o /tmp/evaluation-result-3739695-1339249161/solver-3739695-1339249161 -C 1800 -W 1900 -M 15500 run HOME/instance-3739695-1339249161.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 13.01 10.29 7.04 3/177 4626
/proc/meminfo: memFree=29929340/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0

[startup+0.048 s]
/proc/loadavg: 13.01 10.29 7.04 3/177 4626
/proc/meminfo: memFree=29929340/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100294 s]
/proc/loadavg: 13.01 10.29 7.04 3/177 4626
/proc/meminfo: memFree=29929340/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300285 s]
/proc/loadavg: 13.01 10.29 7.04 3/177 4626
/proc/meminfo: memFree=29929340/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700238 s]
/proc/loadavg: 13.01 10.29 7.04 3/177 4626
/proc/meminfo: memFree=29929340/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50036 s]
/proc/loadavg: 13.01 10.29 7.04 3/179 4628
/proc/meminfo: memFree=29869344/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=136976 CPUtime=1.49 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 40796 0 0 0 141 8 0 0 20 0 1 0 391040501 140263424 21732 33554432000 134512640 146736320 4293010704 4293005400 136007050 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 34244 21732 725 2985 0 31178 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 146124

[startup+3.10033 s]
/proc/loadavg: 12.12 10.15 7.01 3/179 4628
/proc/meminfo: memFree=29844168/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=137292 CPUtime=3.08 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 43367 0 0 0 300 8 0 0 20 0 1 0 391040501 140587008 21830 33554432000 134512640 146736320 4293010704 4293005288 139044552 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 34323 21830 725 2985 0 31257 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 146440

[startup+6.30035 s]
/proc/loadavg: 12.12 10.15 7.01 3/179 4628
/proc/meminfo: memFree=29843556/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=137576 CPUtime=6.29 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 47340 0 0 0 619 10 0 0 20 0 1 0 391040501 140877824 21952 33554432000 134512640 146736320 4293010704 4293005140 136017845 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 34394 21952 725 2985 0 31328 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 146724

[startup+12.7003 s]
/proc/loadavg: 10.65 9.90 6.96 3/179 4628
/proc/meminfo: memFree=29842108/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=138340 CPUtime=12.69 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 54148 0 0 0 1258 11 0 0 20 0 1 0 391040501 141660160 22217 33554432000 134512640 146736320 4293010704 4293005140 136017755 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 34585 22217 725 2985 0 31519 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 147488

[startup+25.5003 s]
/proc/loadavg: 9.32 9.64 6.91 3/179 4628
/proc/meminfo: memFree=29841132/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=139284 CPUtime=25.48 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 67595 0 0 0 2535 13 0 0 20 0 1 0 391040501 142626816 22559 33554432000 134512640 146736320 4293010704 4293004396 135454134 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 34821 22559 725 2985 0 31755 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 148432

[startup+51.1004 s]
/proc/loadavg: 6.82 9.03 6.77 3/180 4631
/proc/meminfo: memFree=29840008/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=139700 CPUtime=51.08 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 89788 0 0 0 5089 19 0 0 20 0 1 0 391040501 143052800 22723 33554432000 134512640 146736320 4293010704 4293005316 136385177 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 34925 22723 725 2985 0 31859 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 148848

[startup+102.307 s]
/proc/loadavg: 3.92 7.84 6.50 3/186 4645
/proc/meminfo: memFree=29783284/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=141344 CPUtime=102.28 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 133992 0 0 0 10199 29 0 0 20 0 1 0 391040501 144736256 24490 33554432000 134512640 146736320 4293010704 4293005064 136388073 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 35336 24490 789 2985 0 32270 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 150492

[startup+162.3 s]
/proc/loadavg: 2.77 6.86 6.24 10/186 4645
/proc/meminfo: memFree=29729640/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=141344 CPUtime=162.26 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 179314 0 0 0 16187 39 0 0 20 0 1 0 391040501 144736256 25515 33554432000 134512640 146736320 4293010704 4293004764 135855165 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 35336 25515 789 2985 0 32270 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 150492

[startup+222.3 s]
/proc/loadavg: 6.89 7.27 6.42 10/186 4645
/proc/meminfo: memFree=29713340/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=141392 CPUtime=222.25 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 221426 0 0 0 22177 48 0 0 20 0 1 0 391040501 144785408 25526 33554432000 134512640 146736320 4293010704 4293004712 139044505 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 35348 25526 789 2985 0 32282 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 150540

[startup+282.3 s]
/proc/loadavg: 7.16 7.35 6.50 3/179 4696
/proc/meminfo: memFree=29607196/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=141400 CPUtime=282.24 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 262915 0 0 0 28167 57 0 0 20 0 1 0 391040501 144793600 26269 33554432000 134512640 146736320 4293010704 4293004984 136015579 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 35350 26269 789 2985 0 32284 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 150548

[startup+342.3 s]
/proc/loadavg: 3.74 6.30 6.19 3/179 4696
/proc/meminfo: memFree=29596008/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=141400 CPUtime=342.22 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 305943 0 0 0 34155 67 0 0 20 0 1 0 391040501 144793600 26269 33554432000 134512640 146736320 4293010704 4293005128 136000404 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 35350 26269 789 2985 0 32284 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 150548

[startup+402.3 s]
/proc/loadavg: 2.69 5.57 5.95 3/179 4696
/proc/meminfo: memFree=29576332/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.11 3.29 3/179 4729
/proc/meminfo: memFree=29554232/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=144168 CPUtime=1422.06 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 1274934 0 0 0 141923 283 0 0 20 0 1 0 391040501 147628032 26691 33554432000 134512640 146736320 4293010704 4293004764 135855174 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 36042 26691 841 2985 0 32976 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 153316

[startup+1482.3 s]
/proc/loadavg: 2.03 2.10 3.21 3/179 4730
/proc/meminfo: memFree=29553736/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=144440 CPUtime=1482.05 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 1321465 0 0 0 147911 294 0 0 20 0 1 0 391040501 147906560 26747 33554432000 134512640 146736320 4293010704 4293005128 136000315 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 36110 26747 841 2985 0 33044 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 153588

[startup+1542.3 s]
/proc/loadavg: 2.01 2.08 3.13 3/179 4730
/proc/meminfo: memFree=29551992/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=144444 CPUtime=1542.04 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 1367416 0 0 0 153900 304 0 0 20 0 1 0 391040501 147910656 27070 33554432000 134512640 146736320 4293010704 4293004984 136015579 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 36111 27070 841 2985 0 33045 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 153592

[startup+1602.3 s]
/proc/loadavg: 2.00 2.06 3.06 3/179 4730
/proc/meminfo: memFree=29551920/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=144496 CPUtime=1602.03 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 1414378 0 0 0 159888 315 0 0 20 0 1 0 391040501 147963904 27101 33554432000 134512640 146736320 4293010704 4293005128 136000524 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 36124 27101 841 2985 0 33058 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 153644

[startup+1662.3 s]
/proc/loadavg: 2.00 2.05 2.99 3/179 4730
/proc/meminfo: memFree=29519672/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=188124 CPUtime=1662.01 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 1493280 0 0 0 165870 331 0 0 20 0 1 0 391040501 192638976 35142 33554432000 134512640 146736320 4293010704 4293005136 136403117 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 47031 35142 841 2985 0 43965 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 197272

[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.92 3/179 4730
/proc/meminfo: memFree=29555020/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=143272 CPUtime=1722.01 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 1564232 0 0 0 171854 347 0 0 20 0 1 0 391040501 146710528 26313 33554432000 134512640 146736320 4293010704 4293005128 135999693 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 35818 26313 841 2985 0 32752 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 152420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.86 3/179 4731
/proc/meminfo: memFree=29568344/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=143612 CPUtime=1782 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 1616044 0 0 0 177842 358 0 0 20 0 1 0 391040501 147058688 26403 33554432000 134512640 146736320 4293010704 4293004984 136015570 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 35903 26403 841 2985 0 32837 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 152760

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.03 2.85 3/179 4731
/proc/meminfo: memFree=29567972/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=143932 CPUtime=1791.61 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 1623738 0 0 0 178801 360 0 0 20 0 1 0 391040501 147386368 26457 33554432000 134512640 146736320 4293010704 4293004672 136019021 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 35983 26457 841 2985 0 32917 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 153080

[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.85 3/179 4731
/proc/meminfo: memFree=29567412/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=145168 CPUtime=1794.8 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 1626489 0 0 0 179120 360 0 0 20 0 1 0 391040501 148652032 26866 33554432000 134512640 146736320 4293010704 4293003432 138462685 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 36292 26866 841 2985 0 33226 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 154316

[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.85 3/179 4731
/proc/meminfo: memFree=29567412/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=143948 CPUtime=1796.4 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 1627736 0 0 0 179280 360 0 0 20 0 1 0 391040501 147402752 26592 33554432000 134512640 146736320 4293010704 4293004612 135523311 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 35987 26592 841 2985 0 32921 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 153096

[startup+1798.3 s]
/proc/loadavg: 2.00 2.02 2.84 3/179 4731
/proc/meminfo: memFree=29567412/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=143952 CPUtime=1798 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 1628955 0 0 0 179439 361 0 0 20 0 1 0 391040501 147406848 26595 33554432000 134512640 146736320 4293010704 4293004984 136015725 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 35988 26595 841 2985 0 32922 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 153100

[startup+1798.7 s]
/proc/loadavg: 2.00 2.02 2.84 3/179 4731
/proc/meminfo: memFree=29567784/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=143952 CPUtime=1798.4 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 1629259 0 0 0 179479 361 0 0 20 0 1 0 391040501 147406848 26595 33554432000 134512640 146736320 4293010704 4293005264 136403114 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 35988 26595 841 2985 0 32922 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (KiB) 153100

[startup+1798.9 s]
/proc/loadavg: 2.00 2.02 2.84 3/179 4731
/proc/meminfo: memFree=29567784/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=143952 CPUtime=1798.6 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 1629259 0 0 0 179499 361 0 0 20 0 1 0 391040501 147406848 26595 33554432000 134512640 146736320 4293010704 4293004672 136019067 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 35988 26595 841 2985 0 32922 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 153100

[startup+1799 s]
/proc/loadavg: 2.00 2.02 2.84 3/179 4731
/proc/meminfo: memFree=29567784/32873844 swapFree=7632/7632
[pid=4626] ppid=4624 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4626/stat : 4626 (run) S 4624 4626 3419 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040501 9367552 269 33554432000 4194304 5064252 140735794920352 140735794919264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4626/statm: 2287 269 229 213 0 72 0
[pid=4627] ppid=4626 vsize=143952 CPUtime=1798.7 cores=1,3,5,7
/proc/4627/stat : 4627 (pb_cplex) R 4626 4626 3419 0 -1 4202496 1629564 0 0 0 179509 361 0 0 20 0 1 0 391040501 147406848 26595 33554432000 134512640 146736320 4293010704 4293004740 136385185 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4627/statm: 35988 26595 841 2985 0 32922 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (KiB) 153100

Child status: 0
Real time (s): 1799.09
CPU time (s): 1798.8
CPU user time (s): 1795.18
CPU system time (s): 3.61845
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 200804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.18
system time used= 3.61845
maximum resident set size= 143824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1630276
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= 26
involuntary context switches= 1852

runsolver used 2.91356 second user time and 8.5367 second system time

The end

Launcher Data 

Begin job on node141 at 2012-06-09 15:39:22
IDJOB=3739695
IDBENCH=74121
IDSOLVER=2325
FILE ID=node141/3739695-1339249161
RUNJOBID= node141-1339246834-3436
PBS_JOBID= 14644340
Free space on /tmp= 69284 MiB

SOLVER NAME= PB10: pb_cplex 2010-06-29
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12047_6-sat.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739695-1339249161/watcher-3739695-1339249161 -o /tmp/evaluation-result-3739695-1339249161/solver-3739695-1339249161 -C 1800 -W 1900 -M 15500  run HOME/instance-3739695-1339249161.opb

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

MD5SUM BENCH= 937ecf63c168ba3c2555061c1a7466e0
RANDOM SEED=1751166702

node141.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.744
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.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.744
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.744
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.744
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.92
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.744
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.92
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.744
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.744
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.92
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.744
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:        29930240 kB
Buffers:          384812 kB
Cached:          1554548 kB
SwapCached:         3056 kB
Active:           664356 kB
Inactive:        1334556 kB
Active(anon):      57444 kB
Inactive(anon):     2872 kB
Active(file):     606912 kB
Inactive(file):  1331684 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67098996 kB
Dirty:             19844 kB
Writeback:             0 kB
AnonPages:         63888 kB
Mapped:            12640 kB
Shmem:                 0 kB
Slab:             804672 kB
SReclaimable:     246248 kB
SUnreclaim:       558424 kB
KernelStack:        1496 kB
PageTables:         3988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     220460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 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-3739695-1339249161.opb

Free space on /tmp at the end= 69260 MiB
End job on node141 at 2012-06-09 16:09:21