Trace number 3742648

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
PB09: bsolo 3.1? 1798.05 1798.58

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K66.opb
MD5SUM03e282ee85097a100b1dfa3533d9978b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 benchmark871.544
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3630
Total number of constraints3764
Number of constraints which are clauses3698
Number of constraints which are cardinality constraints (but not clauses)66
Number of constraints which are nor clauses,nor cardinality constraints0
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 67
Number of bits of the biggest sum of numbers7
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 bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3742648-1338787962.opb
0.00/0.00	c File size is 223174 bytes.
0.00/0.01	c Highest Coefficient sum: 67
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.016 s
0.00/0.01	c Var: 3630 Constr: 3764 3698/66/0 Lit: 22592 Watch. Lit: 11024
0.00/0.01	c Obj. Vars: 0 (0 % of total variables)
0.39/0.49	c Pre-processing Time: 0.488 s
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c        0   2832     3007    19131    6     9109   57745      0      0 0.49
0.39/0.49	c Switching off lower bounding mode.
1797.97/1798.54	c      100   2832     3130    25320    8    10419   63520    123    173 0.57
1797.97/1798.54	c      250   2832     3307    43954   13    11508   69873    300    386 0.65
1797.97/1798.54	c      475   2832     3583    98718   27    13129   76861    576    600 0.79
1797.97/1798.54	c      813   2832     3956   143105   36    14432   84548    949    805 1.01
1797.97/1798.54	c     1321   2832     4529   261375   57    16696   93003   1522   1012 1.30
1797.97/1798.54	c     2086   2832     5424   443743   81    20354  102304   2417   1138 1.83
1797.97/1798.54	c     3232   2832     6715   684078  101    25369  112535   3708   1231 2.62
1797.97/1798.54	c     4954   2832     8674   998758  115    32904  123789   5667   1252 3.96
1797.97/1798.54	c     7539   2832    11644  1664511  142    44962  136168   8637   1149 6.56
1797.97/1798.54	c    11418   2832    16036  2620836  163    60456  149785  13029   1076 10.61
1797.97/1798.54	c    17240   2832    23004  4058846  176    90369  164764  19997    845 20.38
1797.97/1798.54	c    25978   2832    33607  8000322  238   127123  181241  30600    566 45.84
1797.97/1798.54	c    39091   2832    49347 14411158  292   181484  199366  46340    323 120.65
1797.97/1798.54	c    58763   2832    73545 25118770  341   260340  219303  70538    196 299.12
1797.97/1798.54	c    88273   2832   110485 46530892  421   367369  241234 107478    107 819.35
1797.97/1798.54	c Resources Exceeded
1797.97/1798.54	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.54	c   15   119205  59986  1027150   150767 75794207 147760     66 1798.02
1797.97/1798.54	s UNKNOWN
1797.97/1798.54	c Total time: 1798.02 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-3742648-1338787962/watcher-3742648-1338787962 -o /tmp/evaluation-result-3742648-1338787962/solver-3742648-1338787962 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742648-1338787962.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: 2.08 2.03 1.94 3/172 542
/proc/meminfo: memFree=26564468/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=11156 CPUtime=0 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 340 0 0 0 0 0 0 0 20 0 1 0 344924801 11423744 294 33554432000 134512640 137136520 4289580048 4289578816 134519899 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 2789 295 182 641 0 2090 0

[startup+0.0816189 s]
/proc/loadavg: 2.08 2.03 1.94 3/172 542
/proc/meminfo: memFree=26564468/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=12000 CPUtime=0.07 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 665 0 0 0 7 0 0 0 20 0 1 0 344924801 12288000 564 33554432000 134512640 137136520 4289580048 4289535164 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 3000 564 189 641 0 2356 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12000

[startup+0.100244 s]
/proc/loadavg: 2.08 2.03 1.94 3/172 542
/proc/meminfo: memFree=26564468/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=12000 CPUtime=0.09 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 665 0 0 0 9 0 0 0 20 0 1 0 344924801 12288000 564 33554432000 134512640 137136520 4289580048 4289535164 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 3000 564 189 641 0 2356 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12000

[startup+0.300217 s]
/proc/loadavg: 2.08 2.03 1.94 3/172 542
/proc/meminfo: memFree=26564468/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=12000 CPUtime=0.29 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 665 0 0 0 29 0 0 0 20 0 1 0 344924801 12288000 564 33554432000 134512640 137136520 4289580048 4289535164 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 3000 564 189 641 0 2356 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12000

[startup+0.700222 s]
/proc/loadavg: 2.08 2.03 1.94 3/172 542
/proc/meminfo: memFree=26564468/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=12664 CPUtime=0.69 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 836 0 0 0 69 0 0 0 20 0 1 0 344924801 12967936 720 33554432000 134512640 137136520 4289580048 4289579164 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 3166 720 198 641 0 2522 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12664

[startup+1.50022 s]
/proc/loadavg: 2.08 2.03 1.94 3/177 554
/proc/meminfo: memFree=26558172/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=16320 CPUtime=1.49 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 1778 0 0 0 148 1 0 0 20 0 1 0 344924801 16711680 1662 33554432000 134512640 137136520 4289580048 4289578500 136499660 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 4080 1662 198 641 0 3436 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16320

[startup+3.10022 s]
/proc/loadavg: 2.08 2.03 1.94 3/177 554
/proc/meminfo: memFree=26548692/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=22728 CPUtime=3.09 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 3376 0 0 0 306 3 0 0 20 0 1 0 344924801 23273472 3260 33554432000 134512640 137136520 4289580048 4289579164 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 5682 3260 198 641 0 5038 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22728

[startup+6.30027 s]
/proc/loadavg: 2.08 2.03 1.94 3/177 554
/proc/meminfo: memFree=26525504/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=33012 CPUtime=6.28 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 5941 0 0 0 622 6 0 0 20 0 1 0 344924801 33804288 5817 33554432000 134512640 137136520 4289580048 4289578968 135982492 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 8253 5817 198 641 0 7609 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33012

[startup+12.7003 s]
/proc/loadavg: 2.14 2.05 1.94 3/177 554
/proc/meminfo: memFree=26473852/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=51648 CPUtime=12.68 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 10615 0 0 0 1258 10 0 0 20 0 1 0 344924801 52887552 10491 33554432000 134512640 137136520 4289580048 4289578976 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 12912 10491 198 641 0 12268 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 51648

[startup+25.5003 s]
/proc/loadavg: 2.12 2.04 1.94 3/177 554
/proc/meminfo: memFree=26414248/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=75908 CPUtime=25.47 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 16694 0 0 0 2532 15 0 0 20 0 1 0 344924801 77729792 16562 33554432000 134512640 137136520 4289580048 4289578976 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 18977 16562 198 641 0 18333 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 75908

[startup+51.1003 s]
/proc/loadavg: 2.15 2.06 1.95 3/177 554
/proc/meminfo: memFree=26312644/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=128532 CPUtime=51.05 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 29864 0 0 0 5082 23 0 0 20 0 1 0 344924801 131616768 29708 33554432000 134512640 137136520 4289580048 4289578976 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 32133 29708 198 641 0 31489 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 128532

[startup+102.307 s]
/proc/loadavg: 2.10 2.06 1.95 3/177 650
/proc/meminfo: memFree=26274652/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=186880 CPUtime=102.2 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 44494 0 0 0 10186 34 0 0 20 0 1 0 344924801 191365120 44301 33554432000 134512640 137136520 4289580048 4289578976 134544001 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 46720 44301 198 641 0 46076 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 186880

[startup+162.3 s]
/proc/loadavg: 2.04 2.05 1.95 3/177 650
/proc/meminfo: memFree=26133652/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=236040 CPUtime=162.18 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 56782 0 0 0 16173 45 0 0 20 0 1 0 344924801 241704960 56583 33554432000 134512640 137136520 4289580048 4289578968 135982492 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 59010 56583 198 641 0 58366 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 236040

[startup+222.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/177 651
/proc/meminfo: memFree=26007324/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=283772 CPUtime=222.18 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 68701 0 0 0 22164 54 0 0 20 0 1 0 344924801 290582528 68502 33554432000 134512640 137136520 4289580048 4289578976 134543971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 70943 68502 198 641 0 70299 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 283772

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/177 651
/proc/meminfo: memFree=25904060/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=328744 CPUtime=282.17 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 79967 0 0 0 28157 60 0 0 20 0 1 0 344924801 336633856 79768 33554432000 134512640 137136520 4289580048 4289578976 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 82186 79768 198 641 0 81542 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 328744

[startup+342.3 s]
/proc/loadavg: 2.06 2.03 1.96 3/177 651
/proc/meminfo: memFree=25808732/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=365772 CPUtime=342.16 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 89225 0 0 0 34152 64 0 0 20 0 1 0 344924801 374550528 89026 33554432000 134512640 137136520 4289580048 4289578976 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 91443 89026 198 641 0 90799 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 365772

[startup+402.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/178 652
/proc/meminfo: memFree=25722284/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=400440 CPUtime=402.15 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 97868 0 0 0 40144 71 0 0 20 0 1 0 344924801 410050560 97669 33554432000 134512640 137136520 4289580048 4289579164 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 100110 97669 198 641 0 99466 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 400440

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/178 654
/proc/meminfo: memFree=25637468/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=436576 CPUtime=462.14 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 106916 0 0 0 46137 77 0 0 20 0 1 0 344924801 447053824 106717 33554432000 134512640 137136520 4289580048 4289578976 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 109144 106717 198 641 0 108500 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 436576

[startup+522.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/177 655
/proc/meminfo: memFree=25569772/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=462028 CPUtime=522.13 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 113279 0 0 0 52131 82 0 0 20 0 1 0 344924801 473116672 113080 33554432000 134512640 137136520 4289580048 4289578976 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 115507 113080 198 641 0 114863 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 462028

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/177 655
/proc/meminfo: memFree=25500800/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=486140 CPUtime=582.09 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 119358 0 0 0 58122 87 0 0 20 0 1 0 344924801 497807360 119114 33554432000 134512640 137136520 4289580048 4289578976 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 121535 119114 198 641 0 120891 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 486140

[startup+642.3 s]

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

/proc/meminfo: memFree=24976136/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=732380 CPUtime=1061.88 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 181042 0 0 0 106068 120 0 0 20 0 1 0 344924801 749957120 180650 33554432000 134512640 137136520 4289580048 4289578968 135982492 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 183095 180650 198 641 0 182451 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 732380

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 660
/proc/meminfo: memFree=24915784/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=758928 CPUtime=1121.87 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 187701 0 0 0 112064 123 0 0 20 0 1 0 344924801 777142272 187309 33554432000 134512640 137136520 4289580048 4289578976 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 189732 187309 198 641 0 189088 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 758928

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 660
/proc/meminfo: memFree=24861748/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=781208 CPUtime=1181.86 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 193262 0 0 0 118060 126 0 0 20 0 1 0 344924801 799956992 192870 33554432000 134512640 137136520 4289580048 4289578976 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 195302 192870 198 641 0 194658 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 781208

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 660
/proc/meminfo: memFree=24815036/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=800972 CPUtime=1241.85 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 198219 0 0 0 124056 129 0 0 20 0 1 0 344924801 820195328 197827 33554432000 134512640 137136520 4289580048 4289578640 134616499 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 200243 197827 198 641 0 199599 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 800972

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 661
/proc/meminfo: memFree=24759628/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=824624 CPUtime=1301.84 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 204127 0 0 0 130052 132 0 0 20 0 1 0 344924801 844414976 203735 33554432000 134512640 137136520 4289580048 4289578640 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 206156 203735 198 641 0 205512 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 824624

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 661
/proc/meminfo: memFree=24707576/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=846668 CPUtime=1361.83 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 209630 0 0 0 136048 135 0 0 20 0 1 0 344924801 866988032 209238 33554432000 134512640 137136520 4289580048 4289578976 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 211667 209238 198 641 0 211023 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 846668

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 662
/proc/meminfo: memFree=24656716/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=869544 CPUtime=1421.83 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 215342 0 0 0 142045 138 0 0 20 0 1 0 344924801 890413056 214950 33554432000 134512640 137136520 4289580048 4289578976 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 217386 214950 198 641 0 216742 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 869544

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 662
/proc/meminfo: memFree=24606364/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=892012 CPUtime=1481.81 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 220977 0 0 0 148040 141 0 0 20 0 1 0 344924801 913420288 220585 33554432000 134512640 137136520 4289580048 4289578976 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 223003 220585 198 641 0 222359 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 892012

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 662
/proc/meminfo: memFree=24549324/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=911952 CPUtime=1541.8 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 225960 0 0 0 154037 143 0 0 20 0 1 0 344924801 933838848 225568 33554432000 134512640 137136520 4289580048 4289578976 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 227988 225568 198 641 0 227344 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 911952

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 662
/proc/meminfo: memFree=24494020/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=933520 CPUtime=1601.8 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 231339 0 0 0 160034 146 0 0 20 0 1 0 344924801 955924480 230947 33554432000 134512640 137136520 4289580048 4289578900 136509023 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 233380 230947 198 641 0 232736 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 933520

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 665
/proc/meminfo: memFree=24446024/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=952432 CPUtime=1661.79 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 236084 0 0 0 166031 148 0 0 20 0 1 0 344924801 975290368 235692 33554432000 134512640 137136520 4289580048 4289578688 134606769 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 238108 235692 198 641 0 237464 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 952432

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 688
/proc/meminfo: memFree=24403740/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=970776 CPUtime=1721.77 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 240643 0 0 0 172027 150 0 0 20 0 1 0 344924801 994074624 240251 33554432000 134512640 137136520 4289580048 4289578976 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 242694 240251 198 641 0 242050 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 970776

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 689
/proc/meminfo: memFree=24357000/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=990144 CPUtime=1781.77 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 245496 0 0 0 178024 153 0 0 20 0 1 0 344924801 1013907456 245104 33554432000 134512640 137136520 4289580048 4289578976 134543933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 247536 245104 198 641 0 246892 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 990144

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 689
/proc/meminfo: memFree=24350924/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=993092 CPUtime=1791.38 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 246241 0 0 0 178984 154 0 0 20 0 1 0 344924801 1016926208 245849 33554432000 134512640 137136520 4289580048 4289578976 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 248273 245849 198 641 0 247629 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 993092

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 689
/proc/meminfo: memFree=24348568/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=994156 CPUtime=1794.57 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 246514 0 0 0 179303 154 0 0 20 0 1 0 344924801 1018015744 246122 33554432000 134512640 137136520 4289580048 4289578976 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 248539 246122 198 641 0 247895 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 994156

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 689
/proc/meminfo: memFree=24347948/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=994764 CPUtime=1796.17 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 246666 0 0 0 179463 154 0 0 20 0 1 0 344924801 1018638336 246274 33554432000 134512640 137136520 4289580048 4289578976 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 248691 246274 198 641 0 248047 0
Current children cumulated CPU time (s) 1796.17
Current children cumulated vsize (KiB) 994764

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 689
/proc/meminfo: memFree=24346024/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=995144 CPUtime=1796.97 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 246761 0 0 0 179543 154 0 0 20 0 1 0 344924801 1019027456 246368 33554432000 134512640 137136520 4289580048 4289578976 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 248786 246368 198 641 0 248142 0
Current children cumulated CPU time (s) 1796.97
Current children cumulated vsize (KiB) 995144

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 689
/proc/meminfo: memFree=24346024/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=995400 CPUtime=1797.77 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 246827 0 0 0 179623 154 0 0 20 0 1 0 344924801 1019289600 246434 33554432000 134512640 137136520 4289580048 4289578976 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 248850 246434 198 641 0 248206 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 995400

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 689
/proc/meminfo: memFree=24345776/32873844 swapFree=7116/7116
[pid=542] ppid=539 vsize=995524 CPUtime=1797.97 cores=1,3,5,7
/proc/542/stat : 542 (bsolo) R 539 542 32710 0 -1 4202496 246848 0 0 0 179643 154 0 0 20 0 1 0 344924801 1019416576 246455 33554432000 134512640 137136520 4289580048 4289578976 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/542/statm: 248881 246455 198 641 0 248237 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 995524

Child status: 0
Real time (s): 1798.58
CPU time (s): 1798.05
CPU user time (s): 1796.47
CPU system time (s): 1.57776
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 995524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.47
system time used= 1.57776
maximum resident set size= 985820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246849
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= 281
involuntary context switches= 1841

runsolver used 2.99154 second user time and 8.60569 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-04 07:32:42
IDJOB=3742648
IDBENCH=90220
IDSOLVER=2320
FILE ID=node108/3742648-1338787962
RUNJOBID= node108-1338784364-32727
PBS_JOBID= 14636848
Free space on /tmp= 71468 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K66.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742648-1338787962/watcher-3742648-1338787962 -o /tmp/evaluation-result-3742648-1338787962/solver-3742648-1338787962 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3742648-1338787962.opb

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

MD5SUM BENCH= 03e282ee85097a100b1dfa3533d9978b
RANDOM SEED=775441177

node108.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.273
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.54
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.273
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.273
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.91
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.273
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.273
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.273
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	: 5438.55
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.273
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.273
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:        26563508 kB
Buffers:         1780084 kB
Cached:          3657520 kB
SwapCached:          112 kB
Active:          3378640 kB
Inactive:        2078620 kB
Active(anon):       2852 kB
Inactive(anon):    13072 kB
Active(file):    3375788 kB
Inactive(file):  2065548 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:              3904 kB
Writeback:             0 kB
AnonPages:         17916 kB
Mapped:            13872 kB
Shmem:               172 kB
Slab:             715720 kB
SReclaimable:     157536 kB
SUnreclaim:       558184 kB
KernelStack:        1464 kB
PageTables:         4384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     112292 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-3742648-1338787962.opb

Free space on /tmp at the end= 71464 MiB
End job on node108 at 2012-06-04 08:02:41