Trace number 3742544

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.07 1798.64

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K141.opb
MD5SUMe981076bb5354ded6cb9b093a6d1a03e
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 variables16779
Total number of constraints17063
Number of constraints which are clauses16922
Number of constraints which are cardinality constraints (but not clauses)141
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint141
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 142
Number of bits of the biggest sum of numbers8
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-3742544-1338786921.opb
0.00/0.00	c File size is 1144017 bytes.
0.07/0.09	c Highest Coefficient sum: 142
0.07/0.09	c Parsing was ok!!
0.07/0.09	c Total parsing time: 0.09 s
0.07/0.09	c Var: 16779 Constr: 17063 16922/141/0 Lit: 109699 Watch. Lit: 50621
0.07/0.09	c Obj. Vars: 0 (0 % of total variables)
7.59/7.61	c Pre-processing Time: 7.608 s
7.59/7.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.59/7.61	c        0  15259    15649   103418    6    47373  142602      0      0 7.61
7.59/7.61	c Switching off lower bounding mode.
1797.93/1798.58	c      100  15259    15754   113660    7    47924  156863    105     13 7.68
1797.93/1798.58	c      250  15259    15913   131268    8    48929  172550    264     31 7.86
1797.93/1798.58	c      475  15259    16160   158257    9    50567  189806    511     57 8.20
1797.93/1798.58	c      813  15259    16529   188085   11    52560  208787    880     92 8.81
1797.93/1798.58	c     1321  15259    17111   234727   13    56590  229666   1462    138 9.56
1797.93/1798.58	c     2084  15259    17987   361503   20    63743  252633   2338    197 10.58
1797.93/1798.58	c     3230  15259    19360   595870   30    71154  277897   3711    265 12.14
1797.93/1798.58	c     4951  15259    21301   832770   39    87032  305687   5652    331 14.93
1797.93/1798.58	c     7535  15259    24221  1334048   55   108926  336256   8572    377 19.95
1797.93/1798.58	c    11414  15259    28625  2072592   72   135483  369882  12976    404 28.25
1797.93/1798.58	c    17236  15259    35304  3382888   95   174587  406871  19655    410 41.95
1797.93/1798.58	c    25973  15259    45424  6400955  140   254611  447559  29775    361 71.92
1797.93/1798.58	c    39083  15259    60568 13771579  227   349436  492315  44919    284 137.22
1797.93/1798.58	c    58756  15259    83746 30128577  359   533031  541547  68097    197 296.87
1797.93/1798.58	c    88266  15259   117692 47837106  406   742592  595702 102043    141 621.78
1797.93/1798.58	c   132537  15259   170663 114297275  669  1023087  655273 155014     91 1452.81
1797.93/1798.58	c Resources Exceeded
1797.93/1798.58	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.58	c   16   144336  98290  6584765   185315 133985558 169666     80 1798.01
1797.93/1798.58	s UNKNOWN
1797.93/1798.58	c Total time: 1798.01 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-3742544-1338786921/watcher-3742544-1338786921 -o /tmp/evaluation-result-3742544-1338786921/solver-3742544-1338786921 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742544-1338786921.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.00 2.00 2.00 3/178 28556
/proc/meminfo: memFree=28006896/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=20144 CPUtime=0 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 403 0 0 0 0 0 0 0 20 0 1 0 344816916 20627456 357 33554432000 134512640 137136520 4286978928 4286977280 136575102 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 5036 358 186 641 0 4112 0

[startup+0.078987 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28556
/proc/meminfo: memFree=28006896/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=15216 CPUtime=0.07 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 1358 0 0 0 7 0 0 0 20 0 1 0 344816916 15581184 1312 33554432000 134512640 137136520 4286978928 4286977456 134517302 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 3804 1312 413 641 0 2880 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15216

[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28556
/proc/meminfo: memFree=28006896/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=17176 CPUtime=0.09 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 2125 0 0 0 9 0 0 0 20 0 1 0 344816916 17588224 1799 33554432000 134512640 137136520 4286978928 4286776268 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 4294 1799 189 641 0 3650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17176

[startup+0.300219 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28556
/proc/meminfo: memFree=28006896/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=17176 CPUtime=0.29 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 2130 0 0 0 29 0 0 0 20 0 1 0 344816916 17588224 1804 33554432000 134512640 137136520 4286978928 4286776268 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 4294 1804 189 641 0 3650 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17176

[startup+0.700221 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28556
/proc/meminfo: memFree=28006896/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=17176 CPUtime=0.69 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 2131 0 0 0 69 0 0 0 20 0 1 0 344816916 17588224 1805 33554432000 134512640 137136520 4286978928 4286776268 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 4294 1805 189 641 0 3650 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17176

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28557
/proc/meminfo: memFree=27999044/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=17176 CPUtime=1.49 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 2131 0 0 0 149 0 0 0 20 0 1 0 344816916 17588224 1805 33554432000 134512640 137136520 4286978928 4286776268 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 4294 1805 189 641 0 3650 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17176

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28557
/proc/meminfo: memFree=27997308/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=17176 CPUtime=3.09 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 2132 0 0 0 309 0 0 0 20 0 1 0 344816916 17588224 1806 33554432000 134512640 137136520 4286978928 4286776268 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 4294 1806 189 641 0 3650 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17176

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28557
/proc/meminfo: memFree=27995084/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=17176 CPUtime=6.29 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 2134 0 0 0 628 1 0 0 20 0 1 0 344816916 17588224 1808 33554432000 134512640 137136520 4286978928 4286776268 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 4294 1808 189 641 0 3650 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17176

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28557
/proc/meminfo: memFree=27979592/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=25172 CPUtime=12.69 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 4310 0 0 0 1252 17 0 0 20 0 1 0 344816916 25776128 3819 33554432000 134512640 137136520 4286978928 4286977696 134576310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 6293 3819 198 641 0 5649 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25172

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28557
/proc/meminfo: memFree=27946856/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=43348 CPUtime=25.49 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 8856 0 0 0 2509 40 0 0 20 0 1 0 344816916 44388352 8365 33554432000 134512640 137136520 4286978928 4286978044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 10837 8365 198 641 0 10193 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43348

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28557
/proc/meminfo: memFree=27886420/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=72820 CPUtime=51.08 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 16225 0 0 0 5033 75 0 0 20 0 1 0 344816916 74567680 15734 33554432000 134512640 137136520 4286978928 4286978044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 18205 15734 198 641 0 17561 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72820

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28557
/proc/meminfo: memFree=27762856/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=134364 CPUtime=102.28 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 31612 0 0 0 10118 110 0 0 20 0 1 0 344816916 137588736 31121 33554432000 134512640 137136520 4286978928 4286977856 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 33591 31121 198 641 0 32947 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 134364

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28557
/proc/meminfo: memFree=27591332/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=234620 CPUtime=162.22 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 56725 0 0 0 16090 132 0 0 20 0 1 0 344816916 240250880 56188 33554432000 134512640 137136520 4286978928 4286977336 136502442 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 58655 56188 198 641 0 58011 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 234620

[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28557
/proc/meminfo: memFree=27459920/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=322284 CPUtime=222.18 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 78707 0 0 0 22068 150 0 0 20 0 1 0 344816916 330018816 78124 33554432000 134512640 137136520 4286978928 4286977856 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 80571 78124 198 641 0 79927 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 322284

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 28561
/proc/meminfo: memFree=27355284/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=388964 CPUtime=282.12 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 95405 0 0 0 28049 163 0 0 20 0 1 0 344816916 398299136 94776 33554432000 134512640 137136520 4286978928 4286977520 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 97241 94776 198 641 0 96597 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 388964

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28561
/proc/meminfo: memFree=27248308/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=446708 CPUtime=342.08 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 109889 0 0 0 34031 177 0 0 20 0 1 0 344816916 457428992 109213 33554432000 134512640 137136520 4286978928 4286977856 134544256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 111677 109213 198 641 0 111033 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 446708

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28561
/proc/meminfo: memFree=27160328/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=488852 CPUtime=402.05 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 120454 0 0 0 40009 196 0 0 20 0 1 0 344816916 500584448 120223 33554432000 134512640 137136520 4286978928 4286978044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 122213 120223 198 641 0 121569 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 488852

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28561
/proc/meminfo: memFree=27077124/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=539452 CPUtime=462.03 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 133104 0 0 0 45992 211 0 0 20 0 1 0 344816916 552398848 132873 33554432000 134512640 137136520 4286978928 4286977856 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 134863 132873 198 641 0 134219 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 539452

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28561
/proc/meminfo: memFree=26968748/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=583608 CPUtime=522.02 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 144143 0 0 0 51982 220 0 0 20 0 1 0 344816916 597614592 143912 33554432000 134512640 137136520 4286978928 4286977856 134543939 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 145902 143912 198 641 0 145258 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 583608

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28562
/proc/meminfo: memFree=26874012/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=630824 CPUtime=582.02 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 155946 0 0 0 57970 232 0 0 20 0 1 0 344816916 645963776 155715 33554432000 134512640 137136520 4286978928 4286977856 134543939 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 157706 155715 198 641 0 157062 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 630824

[startup+642.3 s]

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

/proc/meminfo: memFree=25758252/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1314376 CPUtime=1121.93 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 326838 0 0 0 111888 305 0 0 20 0 1 0 344816916 1345921024 326607 33554432000 134512640 137136520 4286978928 4286978044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 328594 326607 198 641 0 327950 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1314376

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28614
/proc/meminfo: memFree=27484060/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1347636 CPUtime=1181.92 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 335178 0 0 0 117880 312 0 0 20 0 1 0 344816916 1379979264 334947 33554432000 134512640 137136520 4286978928 4286977552 134554009 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 336909 334947 198 641 0 336265 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1347636

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 28663
/proc/meminfo: memFree=27468188/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1385492 CPUtime=1241.92 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 344629 0 0 0 123873 319 0 0 20 0 1 0 344816916 1418743808 344398 33554432000 134512640 137136520 4286978928 4286977856 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 346373 344398 198 641 0 345729 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1385492

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 28663
/proc/meminfo: memFree=27326208/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1410084 CPUtime=1301.91 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 350765 0 0 0 129866 325 0 0 20 0 1 0 344816916 1443926016 350534 33554432000 134512640 137136520 4286978928 4286977856 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 352521 350534 198 641 0 351877 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1410084

[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 28663
/proc/meminfo: memFree=27220064/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1443324 CPUtime=1361.9 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 359088 0 0 0 135854 336 0 0 20 0 1 0 344816916 1477963776 358857 33554432000 134512640 137136520 4286978928 4286977208 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 360831 358857 198 641 0 360187 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1443324

[startup+1422.31 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 28663
/proc/meminfo: memFree=27092964/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1483400 CPUtime=1421.9 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 369100 0 0 0 141846 344 0 0 20 0 1 0 344816916 1519001600 368869 33554432000 134512640 137136520 4286978928 4286977856 134544256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 370850 368869 198 641 0 370206 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1483400

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 28666
/proc/meminfo: memFree=27001716/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1513368 CPUtime=1481.86 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 376614 0 0 0 147835 351 0 0 20 0 1 0 344816916 1549688832 376355 33554432000 134512640 137136520 4286978928 4286977856 134544245 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 378342 376355 198 641 0 377698 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1513368

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 28667
/proc/meminfo: memFree=26906428/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1574012 CPUtime=1541.82 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 391842 0 0 0 153826 356 0 0 20 0 1 0 344816916 1611788288 391542 33554432000 134512640 137136520 4286978928 4286977856 134543918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 393503 391542 198 641 0 392859 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1574012

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28667
/proc/meminfo: memFree=26823996/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1620056 CPUtime=1601.8 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 403360 0 0 0 159819 361 0 0 20 0 1 0 344816916 1658937344 403031 33554432000 134512640 137136520 4286978928 4286977856 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 405014 403031 198 641 0 404370 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1620056

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28715
/proc/meminfo: memFree=27215592/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1662588 CPUtime=1661.77 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 414037 0 0 0 165812 365 0 0 20 0 1 0 344816916 1702490112 413683 33554432000 134512640 137136520 4286978928 4286977856 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 415647 413683 198 641 0 415003 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1662588

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28763
/proc/meminfo: memFree=27187744/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1699764 CPUtime=1721.74 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 423344 0 0 0 171805 369 0 0 20 0 1 0 344816916 1740558336 422968 33554432000 134512640 137136520 4286978928 4286977856 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 424941 422968 198 641 0 424297 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1699764

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28763
/proc/meminfo: memFree=27142148/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1740752 CPUtime=1781.73 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 433598 0 0 0 177800 373 0 0 20 0 1 0 344816916 1782530048 433211 33554432000 134512640 137136520 4286978928 4286977824 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 435188 433211 198 641 0 434544 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1740752

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

[startup+1791.91 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 28811
/proc/meminfo: memFree=27141116/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1747420 CPUtime=1791.33 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 435264 0 0 0 178759 374 0 0 20 0 1 0 344816916 1789358080 434873 33554432000 134512640 137136520 4286978928 4286977856 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 436855 434873 198 641 0 436211 0
Current children cumulated CPU time (s) 1791.33
Current children cumulated vsize (KiB) 1747420

[startup+1795.1 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 28812
/proc/meminfo: memFree=27137016/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1750136 CPUtime=1794.53 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 435957 0 0 0 179079 374 0 0 20 0 1 0 344816916 1792139264 435566 33554432000 134512640 137136520 4286978928 4286977640 136502195 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 437534 435566 198 641 0 436890 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 1750136

[startup+1796.7 s]
/proc/loadavg: 2.23 2.05 2.02 3/178 28812
/proc/meminfo: memFree=27135528/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1751756 CPUtime=1796.12 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 436352 0 0 0 179238 374 0 0 20 0 1 0 344816916 1793798144 435961 33554432000 134512640 137136520 4286978928 4286978044 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 437939 435961 198 641 0 437295 0
Current children cumulated CPU time (s) 1796.12
Current children cumulated vsize (KiB) 1751756

[startup+1797.5 s]
/proc/loadavg: 2.23 2.05 2.02 3/178 28812
/proc/meminfo: memFree=27134280/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1752608 CPUtime=1796.92 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 436570 0 0 0 179318 374 0 0 20 0 1 0 344816916 1794670592 436175 33554432000 134512640 137136520 4286978928 4286977856 134543971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 438152 436175 198 641 0 437508 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 1752608

[startup+1798.3 s]
/proc/loadavg: 2.23 2.05 2.02 3/178 28812
/proc/meminfo: memFree=27134280/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1753724 CPUtime=1797.72 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 436845 0 0 0 179398 374 0 0 20 0 1 0 344816916 1795813376 436450 33554432000 134512640 137136520 4286978928 4286977856 134544777 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 438431 436450 198 641 0 437787 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 1753724

[startup+1798.51 s]
/proc/loadavg: 2.23 2.05 2.02 3/178 28812
/proc/meminfo: memFree=27132676/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=1753868 CPUtime=1797.93 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202496 436888 0 0 0 179419 374 0 0 20 0 1 0 344816916 1795960832 436493 33554432000 134512640 137136520 4286978928 4286977856 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 438467 436493 198 641 0 437823 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1753868

[startup+1798.6 s]
/proc/loadavg: 2.23 2.05 2.02 3/178 28812
/proc/meminfo: memFree=27132676/32873844 swapFree=7620/7620
[pid=28556] ppid=28554 vsize=0 CPUtime=1798.02 cores=1,3,5,7
/proc/28556/stat : 28556 (bsolo) R 28554 28556 27119 0 -1 4202500 436924 0 0 0 179426 376 0 0 20 0 1 0 344816916 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28556/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.64
CPU time (s): 1798.07
CPU user time (s): 1794.27
CPU system time (s): 3.80042
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 1753868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.27
system time used= 3.80042
maximum resident set size= 1746112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 436924
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= 388
involuntary context switches= 1834

runsolver used 2.5986 second user time and 8.85465 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-04 07:15:21
IDJOB=3742544
IDBENCH=90203
IDSOLVER=2320
FILE ID=node135/3742544-1338786921
RUNJOBID= node135-1338771872-27136
PBS_JOBID= 14636817
Free space on /tmp= 70976 MiB

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

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

MD5SUM BENCH= e981076bb5354ded6cb9b093a6d1a03e
RANDOM SEED=1428050207

node135.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.820
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.64
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.820
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	: 5332.57
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.820
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	: 5332.55
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.820
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	: 5332.55
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.820
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	: 5332.54
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.820
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	: 5332.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.820
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	: 5238.35
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.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28007292 kB
Buffers:          389832 kB
Cached:          2720848 kB
SwapCached:         1672 kB
Active:          2114096 kB
Inactive:        1899036 kB
Active(anon):     892356 kB
Inactive(anon):    12036 kB
Active(file):    1221740 kB
Inactive(file):  1887000 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              5056 kB
Writeback:             0 kB
AnonPages:        993844 kB
Mapped:            11236 kB
Shmem:               132 kB
Slab:             709536 kB
SReclaimable:     151504 kB
SUnreclaim:       558032 kB
KernelStack:        1496 kB
PageTables:         5744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1025072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    925696 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-3742544-1338786921.opb

Free space on /tmp at the end= 70968 MiB
End job on node135 at 2012-06-04 07:45:20