Trace number 3741946

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.02 1798.65

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K94.opb
MD5SUM08b0e704e28720f9a0455d95c872079f
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1099.94
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6392
Total number of constraints6582
Number of constraints which are clauses6488
Number of constraints which are cardinality constraints (but not clauses)94
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint94
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 95
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-3741946-1338778445.opb
0.00/0.00	c File size is 409138 bytes.
0.00/0.03	c Highest Coefficient sum: 95
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.031 s
0.00/0.03	c Var: 6392 Constr: 6582 6488/94/0 Lit: 41033 Watch. Lit: 19366
0.00/0.03	c Obj. Vars: 0 (0 % of total variables)
1.19/1.24	c Pre-processing Time: 1.243 s
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c        0   5648     5894    37979    6    17761   92170      0      0 1.24
1.19/1.24	c Switching off lower bounding mode.
1797.96/1798.62	c      100   5648     6008    48349    8    18735  101388    114     76 1.31
1797.96/1798.62	c      250   5648     6181    67399   10    20011  111527    287    180 1.38
1797.96/1798.62	c      475   5648     6426    81746   12    20941  122680    532    312 1.52
1797.96/1798.62	c      813   5648     6814   113029   16    24000  134949    920    474 1.72
1797.96/1798.62	c     1327   5648     7403   186400   25    26920  148444   1509    649 2.04
1797.96/1798.62	c     2090   5648     8277   300857   36    31246  163289   2383    813 2.57
1797.96/1798.62	c     3236   5648     9569   524258   54    38066  179618   3675    897 3.61
1797.96/1798.62	c     4957   5648    11493   738566   64    46574  197580   5599   1008 4.92
1797.96/1798.62	c     7541   5648    14548  2266987  155    59082  217339   8654    761 9.90
1797.96/1798.62	c    11420   5648    19036  3971111  208    78997  239073  13142    711 16.04
1797.96/1798.62	c    17242   5648    25875  6776300  261   106912  262981  19981    623 27.65
1797.96/1798.62	c    25980   5648    36100 10156052  281   154081  289280  30206    491 52.90
1797.96/1798.62	c    39091   5648    51250 16763619  327   208022  318209  45356    407 96.04
1797.96/1798.62	c    58761   5648    75617 37996263  502   313398  350030  69723    201 292.17
1797.96/1798.62	c    88271   5648   110940 59482872  536   456491  385034 105046    162 543.86
1797.96/1798.62	c   132543   5648   166791 111108232  666   666750  423538 160897     81 1629.57
1797.96/1798.62	c Resources Exceeded
1797.96/1798.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.62	c   16   137184  73675  2274565   172708 116909859 166814     76 1798.00
1797.96/1798.62	s UNKNOWN
1797.96/1798.62	c Total time: 1798 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-3741946-1338778445/watcher-3741946-1338778445 -o /tmp/evaluation-result-3741946-1338778445/solver-3741946-1338778445 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741946-1338778445.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.07 2.06 2.00 4/176 2355
/proc/meminfo: memFree=26271652/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=11612 CPUtime=0 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 408 0 0 0 0 0 0 0 20 0 1 0 343970585 11890688 361 33554432000 134512640 137136520 4292716944 4292715336 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 2903 361 190 641 0 2159 0

[startup+0.0689799 s]
/proc/loadavg: 2.07 2.06 2.00 4/176 2355
/proc/meminfo: memFree=26271652/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=13040 CPUtime=0.06 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 971 0 0 0 6 0 0 0 20 0 1 0 343970585 13352960 824 33554432000 134512640 137136520 4292716944 4292638940 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 3260 824 189 641 0 2616 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13040

[startup+0.100201 s]
/proc/loadavg: 2.07 2.06 2.00 4/176 2355
/proc/meminfo: memFree=26271652/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=13040 CPUtime=0.09 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 971 0 0 0 9 0 0 0 20 0 1 0 343970585 13352960 824 33554432000 134512640 137136520 4292716944 4292638940 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 3260 824 189 641 0 2616 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13040

[startup+0.300178 s]
/proc/loadavg: 2.07 2.06 2.00 4/176 2355
/proc/meminfo: memFree=26271652/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=13040 CPUtime=0.29 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 972 0 0 0 29 0 0 0 20 0 1 0 343970585 13352960 825 33554432000 134512640 137136520 4292716944 4292638940 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 3260 825 189 641 0 2616 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13040

[startup+0.700176 s]
/proc/loadavg: 2.07 2.06 2.00 4/176 2355
/proc/meminfo: memFree=26271652/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=13040 CPUtime=0.69 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 972 0 0 0 69 0 0 0 20 0 1 0 343970585 13352960 825 33554432000 134512640 137136520 4292716944 4292638940 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 3260 825 189 641 0 2616 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13040

[startup+1.50018 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 2356
/proc/meminfo: memFree=26268296/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=13656 CPUtime=1.49 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 1249 0 0 0 146 3 0 0 20 0 1 0 343970585 13983744 997 33554432000 134512640 137136520 4292716944 4292716060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 3414 997 198 641 0 2770 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13656

[startup+3.10011 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 2356
/proc/meminfo: memFree=26265196/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=18340 CPUtime=3.09 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 2424 0 0 0 302 7 0 0 20 0 1 0 343970585 18780160 2172 33554432000 134512640 137136520 4292716944 4292715840 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 4585 2172 198 641 0 3941 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18340

[startup+6.30015 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 2356
/proc/meminfo: memFree=26252408/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=29100 CPUtime=6.29 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 5106 0 0 0 618 11 0 0 20 0 1 0 343970585 29798400 4849 33554432000 134512640 137136520 4292716944 4292715536 134616680 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 7275 4849 198 641 0 6631 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29100

[startup+12.7002 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 2356
/proc/meminfo: memFree=26223068/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=52132 CPUtime=12.69 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 10954 0 0 0 1252 17 0 0 20 0 1 0 343970585 53383168 10606 33554432000 134512640 137136520 4292716944 4292716060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 13033 10606 198 641 0 12389 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52132

[startup+25.5002 s]
/proc/loadavg: 2.04 2.06 2.00 3/177 2356
/proc/meminfo: memFree=26167736/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=95884 CPUtime=25.48 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 21934 0 0 0 2523 25 0 0 20 0 1 0 343970585 98185216 21560 33554432000 134512640 137136520 4292716944 4292715700 136500521 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 23971 21560 198 641 0 23327 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 95884

[startup+51.1003 s]
/proc/loadavg: 2.08 2.07 2.00 3/177 2356
/proc/meminfo: memFree=26098760/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=143692 CPUtime=51.08 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 33890 0 0 0 5070 38 0 0 20 0 1 0 343970585 147140608 33506 33554432000 134512640 137136520 4292716944 4292715712 134574491 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 35923 33506 198 641 0 35279 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 143692

[startup+102.306 s]
/proc/loadavg: 2.09 2.07 2.00 3/177 2356
/proc/meminfo: memFree=25924956/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=242712 CPUtime=102.28 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 58865 0 0 0 10169 59 0 0 20 0 1 0 343970585 248537088 58247 33554432000 134512640 137136520 4292716944 4292715872 134544530 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 60678 58247 198 641 0 60034 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 242712

[startup+162.3 s]
/proc/loadavg: 2.10 2.07 2.00 3/177 2356
/proc/meminfo: memFree=25784376/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=334320 CPUtime=162.27 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 83105 0 0 0 16159 68 0 0 20 0 1 0 343970585 342343680 81169 33554432000 134512640 137136520 4292716944 4292715712 134574477 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 83580 81169 198 641 0 82936 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 334320

[startup+222.3 s]
/proc/loadavg: 2.10 2.07 2.00 3/177 2357
/proc/meminfo: memFree=25673304/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=413988 CPUtime=222.26 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 105396 0 0 0 22148 78 0 0 20 0 1 0 343970585 423923712 101074 33554432000 134512640 137136520 4292716944 4292715872 134544157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 103497 101074 198 641 0 102853 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 413988

[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 2357
/proc/meminfo: memFree=25563096/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=490380 CPUtime=282.24 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 126425 0 0 0 28140 84 0 0 20 0 1 0 343970585 502149120 120175 33554432000 134512640 137136520 4292716944 4292715536 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 122595 120175 198 641 0 121951 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 490380

[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 2357
/proc/meminfo: memFree=25406020/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=595740 CPUtime=342.24 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 154316 0 0 0 34129 95 0 0 20 0 1 0 343970585 610037760 146523 33554432000 134512640 137136520 4292716944 4292715536 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 148935 146523 198 641 0 148291 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 595740

[startup+402.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/178 2360
/proc/meminfo: memFree=25286868/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=661340 CPUtime=402.23 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 172326 0 0 0 40116 107 0 0 20 0 1 0 343970585 677212160 162918 33554432000 134512640 137136520 4292716944 4292715872 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 165335 162918 198 641 0 164691 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 661340

[startup+462.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/178 2383
/proc/meminfo: memFree=25181528/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=713688 CPUtime=462.21 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 185624 0 0 0 46105 116 0 0 20 0 1 0 343970585 730816512 176007 33554432000 134512640 137136520 4292716944 4292715872 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 178422 176007 198 641 0 177778 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 713688

[startup+522.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 2384
/proc/meminfo: memFree=25086208/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=763960 CPUtime=522.21 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 198233 0 0 0 52096 125 0 0 20 0 1 0 343970585 782295040 188566 33554432000 134512640 137136520 4292716944 4292715872 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 190990 188566 198 641 0 190346 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 763960

[startup+582.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 2384
/proc/meminfo: memFree=24971164/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=808024 CPUtime=582.2 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 209298 0 0 0 58086 134 0 0 20 0 1 0 343970585 827416576 199595 33554432000 134512640 137136520 4292716944 4292715872 134544066 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 202006 199595 198 641 0 201362 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 808024

[startup+642.3 s]

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

/proc/meminfo: memFree=25719608/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1197508 CPUtime=1122.06 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 307783 0 0 0 112031 175 0 0 20 0 1 0 343970585 1226248192 296962 33554432000 134512640 137136520 4292716944 4292715872 134544140 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 299377 296962 198 641 0 298733 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 1197508

[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 2437
/proc/meminfo: memFree=25553600/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1228204 CPUtime=1182.02 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 315538 0 0 0 118024 178 0 0 20 0 1 0 343970585 1257680896 304629 33554432000 134512640 137136520 4292716944 4292715872 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 307051 304629 198 641 0 306407 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 1228204

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2437
/proc/meminfo: memFree=25404584/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1261836 CPUtime=1241.98 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 324030 0 0 0 124017 181 0 0 20 0 1 0 343970585 1292120064 313050 33554432000 134512640 137136520 4292716944 4292715584 134606731 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 315459 313050 198 641 0 314815 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1261836

[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 2437
/proc/meminfo: memFree=25261892/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1290856 CPUtime=1301.95 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 331375 0 0 0 130011 184 0 0 20 0 1 0 343970585 1321836544 320310 33554432000 134512640 137136520 4292716944 4292715620 136501957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 322714 320310 198 641 0 322070 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1290856

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 2437
/proc/meminfo: memFree=25114732/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1319496 CPUtime=1361.92 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 338591 0 0 0 136005 187 0 0 20 0 1 0 343970585 1351163904 327472 33554432000 134512640 137136520 4292716944 4292715872 134544256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 329874 327472 198 641 0 329230 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1319496

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2438
/proc/meminfo: memFree=24995596/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1347544 CPUtime=1421.89 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 345686 0 0 0 142000 189 0 0 20 0 1 0 343970585 1379885056 334478 33554432000 134512640 137136520 4292716944 4292715472 134600588 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 336886 334478 198 641 0 336242 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1347544

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2438
/proc/meminfo: memFree=24903616/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1376520 CPUtime=1481.85 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 353001 0 0 0 147993 192 0 0 20 0 1 0 343970585 1409556480 341726 33554432000 134512640 137136520 4292716944 4292715872 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 344130 341726 198 641 0 343486 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1376520

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2438
/proc/meminfo: memFree=24801220/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1408716 CPUtime=1541.82 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 361109 0 0 0 153986 196 0 0 20 0 1 0 343970585 1442525184 349776 33554432000 134512640 137136520 4292716944 4292715496 136502148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 352179 349776 198 641 0 351535 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1408716

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2441
/proc/meminfo: memFree=24691980/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1435688 CPUtime=1601.77 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 367939 0 0 0 159979 198 0 0 20 0 1 0 343970585 1470144512 356520 33554432000 134512640 137136520 4292716944 4292715872 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 358922 356520 198 641 0 358278 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1435688

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2441
/proc/meminfo: memFree=24593812/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1463868 CPUtime=1661.73 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 375081 0 0 0 165971 202 0 0 20 0 1 0 343970585 1499000832 363552 33554432000 134512640 137136520 4292716944 4292715872 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 365967 363552 198 641 0 365323 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1463868

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2441
/proc/meminfo: memFree=24498320/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1490832 CPUtime=1721.7 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 381915 0 0 0 171966 204 0 0 20 0 1 0 343970585 1526611968 370291 33554432000 134512640 137136520 4292716944 4292715584 134606757 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 372708 370291 198 641 0 372064 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1490832

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25537740/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1517980 CPUtime=1781.67 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 388750 0 0 0 177961 206 0 0 20 0 1 0 343970585 1554411520 377082 33554432000 134512640 137136520 4292716944 4292715872 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 379495 377082 198 641 0 378851 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1517980

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

[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25523836/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1521584 CPUtime=1791.28 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 389682 0 0 0 178921 207 0 0 20 0 1 0 343970585 1558102016 377990 33554432000 134512640 137136520 4292716944 4292715872 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 380396 377990 198 641 0 379752 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 1521584

[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25516628/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1523052 CPUtime=1794.47 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 390052 0 0 0 179240 207 0 0 20 0 1 0 343970585 1559605248 378350 33554432000 134512640 137136520 4292716944 4292715872 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 380763 378350 198 641 0 380119 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 1523052

[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25513652/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1523712 CPUtime=1796.06 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 390214 0 0 0 179399 207 0 0 20 0 1 0 343970585 1560281088 378511 33554432000 134512640 137136520 4292716944 4292715864 135982505 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 380928 378511 198 641 0 380284 0
Current children cumulated CPU time (s) 1796.06
Current children cumulated vsize (KiB) 1523712

[startup+1797.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25511668/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1523936 CPUtime=1796.86 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 390266 0 0 0 179479 207 0 0 20 0 1 0 343970585 1560510464 378563 33554432000 134512640 137136520 4292716944 4292715872 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 380984 378563 198 641 0 380340 0
Current children cumulated CPU time (s) 1796.86
Current children cumulated vsize (KiB) 1523936

[startup+1798.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25511668/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1524260 CPUtime=1797.66 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 390365 0 0 0 179559 207 0 0 20 0 1 0 343970585 1560842240 378662 33554432000 134512640 137136520 4292716944 4292715872 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 381065 378662 198 641 0 380421 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 1524260

[startup+1798.51 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25509932/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1524368 CPUtime=1797.87 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 390383 0 0 0 179580 207 0 0 20 0 1 0 343970585 1560952832 378680 33554432000 134512640 137136520 4292716944 4292715872 134543951 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 381092 378680 198 641 0 380448 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 1524368

[startup+1798.6 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25509932/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1524368 CPUtime=1797.96 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 390383 0 0 0 179589 207 0 0 20 0 1 0 343970585 1560952832 378680 33554432000 134512640 137136520 4292716944 4292715872 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 381092 378680 198 641 0 380448 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 1524368

Child status: 0
Real time (s): 1798.65
CPU time (s): 1798.02
CPU user time (s): 1795.92
CPU system time (s): 2.09568
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 1524368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.92
system time used= 2.09568
maximum resident set size= 1514720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390384
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= 553
involuntary context switches= 1906

runsolver used 2.53062 second user time and 7.28689 second system time

The end

Launcher Data

Begin job on node116 at 2012-06-04 04:54:05
IDJOB=3741946
IDBENCH=90120
IDSOLVER=2320
FILE ID=node116/3741946-1338778445
RUNJOBID= node116-1338774847-2066
PBS_JOBID= 14636827
Free space on /tmp= 71032 MiB

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

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

MD5SUM BENCH= 08b0e704e28720f9a0455d95c872079f
RANDOM SEED=118251768

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26272072 kB
Buffers:          566056 kB
Cached:          4201728 kB
SwapCached:         3028 kB
Active:          3195684 kB
Inactive:        2490892 kB
Active(anon):     908856 kB
Inactive(anon):     8500 kB
Active(file):    2286828 kB
Inactive(file):  2482392 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103480 kB
Dirty:              4308 kB
Writeback:             0 kB
AnonPages:        919508 kB
Mapped:            12748 kB
Shmem:                68 kB
Slab:             775684 kB
SReclaimable:     220132 kB
SUnreclaim:       555552 kB
KernelStack:        1472 kB
PageTables:         5604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1037856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3741946-1338778445.opb

Free space on /tmp at the end= 71028 MiB
End job on node116 at 2012-06-04 05:24:04