Trace number 3739612

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.01 1798.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_3-sat.opb
MD5SUM56cc40b9ea431027514a5b56e02d7edb
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 variables37752
Total number of constraints125892
Number of constraints which are clauses125272
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints620
Minimum length of a constraint1
Maximum length of a constraint120
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 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 740
Number of bits of the biggest sum of numbers10
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-3739612-1338743011.opb
0.00/0.00	c File size is 4220396 bytes.
0.29/0.37	c Highest Coefficient sum: 740
0.29/0.37	c Parsing was ok!!
0.29/0.37	c Total parsing time: 0.369 s
0.39/0.40	c Var: 37752 Constr: 125892 125272/0/620 Lit: 342326 Watch. Lit: 313924
0.39/0.40	c Obj. Vars: 0 (0 % of total variables)
13.29/13.37	c Pre-processing Time: 13.37 s
13.29/13.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.29/13.37	c        0  15292    43901   128359    2   114394   83144      0      0 13.37
13.29/13.37	c Switching off lower bounding mode.
1798.00/1798.60	c      100  15292    44015   143492    3   117678   91459    114      7 13.65
1798.00/1798.60	c      250  15292    44189   149837    3   119262  100605    288     18 13.86
1798.00/1798.60	c      475  15292    44428   157485    3   119835  110666    527     33 14.01
1798.00/1798.60	c      814  15292    44787   171128    3   120606  121733    886     57 14.27
1798.00/1798.60	c     1322  15292    45317   191966    4   121676  133907   1416     90 14.65
1798.00/1798.60	c     2085  15292    46111   224686    4   123270  147298   2210    137 15.18
1798.00/1798.60	c     3231  15292    47313   307718    6   125877  162028   3412    198 16.24
1798.00/1798.60	c     4952  15292    49154   405784    8   129445  178231   5253    276 17.88
1798.00/1798.60	c     7536  15292    51958   544395   10   135020  196055   8057    376 20.03
1798.00/1798.60	c    11415  15292    56123  1029919   18   143381  215661  12222    448 25.45
1798.00/1798.60	c    17238  15292    62516  1445812   23   156084  237228  18615    562 30.66
1798.00/1798.60	c    25975  15292    72037  2180328   30   175269  260951  28136    642 40.41
1798.00/1798.60	c    39085  15292    86358  3556073   41   204102  287047  42457    715 54.65
1798.00/1798.60	c    58758  15292   107647  5348419   49   246795  315752  63746    703 83.51
1798.00/1798.60	c    88270  15292   141326  7884845   55   314370  347328  97425    728 121.22
1798.00/1798.60	c   132540  15292   189949 12356866   65   411979  382061 146048    648 204.36
1798.00/1798.60	c   198950  15292   264493 23957460   90   566777  420268 220592    481 413.34
1798.00/1798.60	c   298570  15292   374583 41817100  111   790011  462295 330682    386 772.41
1798.00/1798.60	c   448006  15292    68572  1917395   27   168360  508525  24671    334 1337.56
1798.00/1798.60	c Resources Exceeded
1798.00/1798.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.00/1798.60	c   19   589874 154593   889088   236004 17352207 192103    328 1798.01
1798.00/1798.60	s UNKNOWN
1798.00/1798.60	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-3739612-1338743011/watcher-3739612-1338743011 -o /tmp/evaluation-result-3739612-1338743011/solver-3739612-1338743011 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3739612-1338743011.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.06 2.04 2.00 3/178 18875
/proc/meminfo: memFree=29094492/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=15204 CPUtime=0 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 381 0 0 0 0 0 0 0 20 0 1 0 340425931 15568896 334 33554432000 134512640 137136520 4292214784 4292211560 136675360 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 3801 334 187 641 0 2126 0

[startup+0.032963 s]
/proc/loadavg: 2.06 2.04 2.00 3/178 18875
/proc/meminfo: memFree=29094492/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=17468 CPUtime=0.03 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 1036 0 0 0 3 0 0 0 20 0 1 0 340425931 17887232 989 33554432000 134512640 137136520 4292214784 4292213032 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 4367 990 277 641 0 2692 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17468

[startup+0.100223 s]
/proc/loadavg: 2.06 2.04 2.00 3/178 18875
/proc/meminfo: memFree=29094492/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=20912 CPUtime=0.09 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 2111 0 0 0 9 0 0 0 20 0 1 0 340425931 21413888 2064 33554432000 134512640 137136520 4292214784 4292213212 134531056 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 5228 2065 493 641 0 3553 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20912

[startup+0.300224 s]
/proc/loadavg: 2.06 2.04 2.00 3/178 18875
/proc/meminfo: memFree=29094492/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=29940 CPUtime=0.29 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 4990 0 0 0 29 0 0 0 20 0 1 0 340425931 30658560 4903 33554432000 134512640 137136520 4292214784 4292213312 134517403 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 7485 4903 1075 641 0 5810 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29940

[startup+0.70022 s]
/proc/loadavg: 2.06 2.04 2.00 3/178 18875
/proc/meminfo: memFree=29094492/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=38696 CPUtime=0.69 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 8214 0 0 0 68 1 0 0 20 0 1 0 340425931 39624704 7096 33554432000 134512640 137136520 4292214784 4291760272 134543725 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 9674 7096 189 641 0 9030 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38696

[startup+1.50022 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 18876
/proc/meminfo: memFree=29066204/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=38696 CPUtime=1.49 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 8214 0 0 0 148 1 0 0 20 0 1 0 340425931 39624704 7096 33554432000 134512640 137136520 4292214784 4291760272 134544176 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 9674 7096 189 641 0 9030 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38696

[startup+3.10019 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 18876
/proc/meminfo: memFree=29065956/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=38696 CPUtime=3.08 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 8216 0 0 0 307 1 0 0 20 0 1 0 340425931 39624704 7098 33554432000 134512640 137136520 4292214784 4291760272 134543939 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 9674 7098 189 641 0 9030 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 38696

[startup+6.3002 s]
/proc/loadavg: 2.05 2.04 2.00 4/179 18876
/proc/meminfo: memFree=29065592/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=38696 CPUtime=6.29 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 8223 0 0 0 627 2 0 0 20 0 1 0 340425931 39624704 7105 33554432000 134512640 137136520 4292214784 4291760272 134544624 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 9674 7105 189 641 0 9030 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38696

[startup+12.7002 s]
/proc/loadavg: 2.04 2.03 2.00 4/179 18876
/proc/meminfo: memFree=29065244/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=38828 CPUtime=12.68 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 8254 0 0 0 1266 2 0 0 20 0 1 0 340425931 39759872 7136 33554432000 134512640 137136520 4292214784 4291760056 136502161 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 9707 7136 189 641 0 9063 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38828

[startup+25.5002 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 18876
/proc/meminfo: memFree=29052360/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=40356 CPUtime=25.49 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 9183 0 0 0 2543 6 0 0 20 0 1 0 340425931 41324544 7547 33554432000 134512640 137136520 4292214784 4292213376 134616680 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 10089 7547 198 641 0 9445 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40356

[startup+51.1002 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 18876
/proc/meminfo: memFree=28994288/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=70112 CPUtime=51.06 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 16642 0 0 0 5097 9 0 0 20 0 1 0 340425931 71794688 14986 33554432000 134512640 137136520 4292214784 4292213376 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 17528 14986 198 641 0 16884 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 70112

[startup+102.307 s]
/proc/loadavg: 2.07 2.05 2.00 4/179 18876
/proc/meminfo: memFree=28903432/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=117744 CPUtime=102.26 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 28563 0 0 0 10209 17 0 0 20 0 1 0 340425931 120569856 26894 33554432000 134512640 137136520 4292214784 4292213540 136499609 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18875/statm: 29436 26894 198 641 0 28792 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 117744

[startup+162.3 s]
/proc/loadavg: 2.07 2.05 2.00 4/179 18876
/proc/meminfo: memFree=28804648/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=166492 CPUtime=162.24 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 40750 0 0 0 16200 24 0 0 20 0 1 0 340425931 170487808 39081 33554432000 134512640 137136520 4292214784 4292213280 136498324 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 41623 39081 198 641 0 40979 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 166492

[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.00 4/179 18876
/proc/meminfo: memFree=28700828/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=211984 CPUtime=222.23 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 52129 0 0 0 22192 31 0 0 20 0 1 0 340425931 217071616 50460 33554432000 134512640 137136520 4292214784 4292213712 134543865 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 52996 50460 198 641 0 52352 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 211984

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/179 18877
/proc/meminfo: memFree=28606392/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=257996 CPUtime=282.21 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 63634 0 0 0 28184 37 0 0 20 0 1 0 340425931 264187904 61960 33554432000 134512640 137136520 4292214784 4292213712 134543865 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 64499 61960 198 641 0 63855 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 257996

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/179 18877
/proc/meminfo: memFree=28515156/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=305180 CPUtime=342.18 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 75468 0 0 0 34175 43 0 0 20 0 1 0 340425931 312504320 73753 33554432000 134512640 137136520 4292214784 4292213680 134543865 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 76295 73753 198 641 0 75651 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 305180

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/180 18880
/proc/meminfo: memFree=28445364/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=344928 CPUtime=402.13 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 85466 0 0 0 40166 47 0 0 20 0 1 0 340425931 353206272 83703 33554432000 134512640 137136520 4292214784 4292213712 134543865 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 86232 83703 198 641 0 85588 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 344928

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/179 18880
/proc/meminfo: memFree=28384720/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=383580 CPUtime=462.09 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 95156 0 0 0 46157 52 0 0 20 0 1 0 340425931 392785920 93354 33554432000 134512640 137136520 4292214784 4292213344 134615346 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 95895 93354 198 641 0 95251 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 383580

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/179 18880
/proc/meminfo: memFree=28318628/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=428248 CPUtime=522.08 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 106325 0 0 0 52148 60 0 0 20 0 1 0 340425931 438525952 104523 33554432000 134512640 137136520 4292214784 4292213712 134543819 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 107062 104523 198 641 0 106418 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 428248

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18881
/proc/meminfo: memFree=28265928/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=461844 CPUtime=582.07 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 114722 0 0 0 58143 64 0 0 20 0 1 0 340425931 472928256 112920 33554432000 134512640 137136520 4292214784 4292213900 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18875/statm: 115461 112920 198 641 0 114817 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 461844

[startup+642.3 s]

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

/proc/meminfo: memFree=27698724/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=779640 CPUtime=1121.91 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 194271 0 0 0 112080 111 0 0 20 0 1 0 340425931 798351360 192369 33554432000 134512640 137136520 4292214784 4292213712 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 194910 192369 198 641 0 194266 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 779640

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/179 18886
/proc/meminfo: memFree=27632908/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=822816 CPUtime=1181.86 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 205113 0 0 0 118070 116 0 0 20 0 1 0 340425931 842563584 203163 33554432000 134512640 137136520 4292214784 4292213108 136498324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 205704 203163 198 641 0 205060 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 822816

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/179 18886
/proc/meminfo: memFree=27581104/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=854320 CPUtime=1241.81 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 213037 0 0 0 124061 120 0 0 20 0 1 0 340425931 874823680 211039 33554432000 134512640 137136520 4292214784 4292213712 134543971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 213580 211039 198 641 0 212936 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 854320

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18886
/proc/meminfo: memFree=27545208/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=870240 CPUtime=1301.78 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 217046 0 0 0 130054 124 0 0 20 0 1 0 340425931 891125760 215167 33554432000 134512640 137136520 4292214784 4292213472 134607060 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 217560 215167 198 641 0 216916 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 870240

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18886
/proc/meminfo: memFree=27516936/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=877500 CPUtime=1361.77 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 219341 0 0 0 136048 129 0 0 20 0 1 0 340425931 898560000 216982 33554432000 134512640 137136520 4292214784 4292213900 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 219375 216982 198 641 0 218731 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 877500

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18886
/proc/meminfo: memFree=27496848/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=877500 CPUtime=1421.76 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 219341 0 0 0 142043 133 0 0 20 0 1 0 340425931 898560000 216982 33554432000 134512640 137136520 4292214784 4292213712 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 219375 216982 198 641 0 218731 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 877500

[startup+1482.3 s]
/proc/loadavg: 2.14 2.03 2.01 4/179 18887
/proc/meminfo: memFree=27473412/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=877500 CPUtime=1481.75 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 219341 0 0 0 148038 137 0 0 20 0 1 0 340425931 898560000 216982 33554432000 134512640 137136520 4292214784 4292213712 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 219375 216982 198 641 0 218731 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 877500

[startup+1542.3 s]
/proc/loadavg: 2.05 2.02 2.00 4/179 18887
/proc/meminfo: memFree=27449232/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=877500 CPUtime=1541.74 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 219341 0 0 0 154033 141 0 0 20 0 1 0 340425931 898560000 216982 33554432000 134512640 137136520 4292214784 4292213712 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 219375 216982 198 641 0 218731 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 877500

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 4/180 18890
/proc/meminfo: memFree=27425996/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=877500 CPUtime=1601.73 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 219341 0 0 0 160028 145 0 0 20 0 1 0 340425931 898560000 216982 33554432000 134512640 137136520 4292214784 4292213712 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 219375 216982 198 641 0 218731 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 877500

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/179 18890
/proc/meminfo: memFree=27415244/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=877500 CPUtime=1661.72 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 219341 0 0 0 166025 147 0 0 20 0 1 0 340425931 898560000 216982 33554432000 134512640 137136520 4292214784 4292213552 134574365 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 219375 216982 198 641 0 218731 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 877500

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/179 18890
/proc/meminfo: memFree=27404608/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=877500 CPUtime=1721.71 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 219341 0 0 0 172022 149 0 0 20 0 1 0 340425931 898560000 216982 33554432000 134512640 137136520 4292214784 4292213712 134544125 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 219375 216982 198 641 0 218731 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 877500

[startup+1782.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 19179
/proc/meminfo: memFree=28219088/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=877500 CPUtime=1781.7 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 219341 0 0 0 178018 152 0 0 20 0 1 0 340425931 898560000 216982 33554432000 134512640 137136520 4292214784 4292213712 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 219375 216982 198 641 0 218731 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 877500

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

[startup+1791.91 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 19179
/proc/meminfo: memFree=28218812/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=877500 CPUtime=1791.3 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 219341 0 0 0 178978 152 0 0 20 0 1 0 340425931 898560000 216982 33554432000 134512640 137136520 4292214784 4292213712 134543878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 219375 216982 198 641 0 218731 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 877500

[startup+1795.1 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 19179
/proc/meminfo: memFree=28219100/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=877500 CPUtime=1794.5 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 219341 0 0 0 179298 152 0 0 20 0 1 0 340425931 898560000 216982 33554432000 134512640 137136520 4292214784 4292213552 134571167 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 219375 216982 198 641 0 218731 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 877500

[startup+1796.7 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 19179
/proc/meminfo: memFree=28219100/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=877500 CPUtime=1796.09 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 219341 0 0 0 179457 152 0 0 20 0 1 0 340425931 898560000 216982 33554432000 134512640 137136520 4292214784 4292213712 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 219375 216982 198 641 0 218731 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (KiB) 877500

[startup+1797.5 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 19179
/proc/meminfo: memFree=28219240/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=877500 CPUtime=1796.9 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 219341 0 0 0 179537 153 0 0 20 0 1 0 340425931 898560000 216982 33554432000 134512640 137136520 4292214784 4292213712 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 219375 216982 198 641 0 218731 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 877500

[startup+1798.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 19179
/proc/meminfo: memFree=28219240/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=877500 CPUtime=1797.7 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 219341 0 0 0 179617 153 0 0 20 0 1 0 340425931 898560000 216982 33554432000 134512640 137136520 4292214784 4292213376 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 219375 216982 198 641 0 218731 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (KiB) 877500

[startup+1798.51 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 19179
/proc/meminfo: memFree=28218992/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=877500 CPUtime=1797.91 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 219341 0 0 0 179638 153 0 0 20 0 1 0 340425931 898560000 216982 33554432000 134512640 137136520 4292214784 4292213712 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 219375 216982 198 641 0 218731 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 877500

[startup+1798.6 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 19179
/proc/meminfo: memFree=28218992/32873844 swapFree=7620/7620
[pid=18875] ppid=18873 vsize=877500 CPUtime=1798 cores=0,2,4,6
/proc/18875/stat : 18875 (bsolo) R 18873 18875 13121 0 -1 4202496 219341 0 0 0 179647 153 0 0 20 0 1 0 340425931 898560000 216982 33554432000 134512640 137136520 4292214784 4292213712 134544249 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18875/statm: 219375 216982 198 641 0 218731 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 877500

Child status: 0
Real time (s): 1798.61
CPU time (s): 1798.01
CPU user time (s): 1796.48
CPU system time (s): 1.53677
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 879420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.48
system time used= 1.53677
maximum resident set size= 869848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219342
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= 392
involuntary context switches= 2003

runsolver used 3.36849 second user time and 8.81566 second system time

The end

Launcher Data

Begin job on node135 at 2012-06-03 19:03:31
IDJOB=3739612
IDBENCH=73867
IDSOLVER=2320
FILE ID=node135/3739612-1338743011
RUNJOBID= node135-1338712994-13137
PBS_JOBID= 14636721
Free space on /tmp= 70968 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_3-sat.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739612-1338743011/watcher-3739612-1338743011 -o /tmp/evaluation-result-3739612-1338743011/solver-3739612-1338743011 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3739612-1338743011.opb

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

MD5SUM BENCH= 56cc40b9ea431027514a5b56e02d7edb
RANDOM SEED=1522974826

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:        29094292 kB
Buffers:          375492 kB
Cached:          2514680 kB
SwapCached:         1672 kB
Active:          1220204 kB
Inactive:        1710552 kB
Active(anon):      30892 kB
Inactive(anon):    12036 kB
Active(file):    1189312 kB
Inactive(file):  1698516 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:             15936 kB
Writeback:             0 kB
AnonPages:         40308 kB
Mapped:            11200 kB
Shmem:               132 kB
Slab:             708620 kB
SReclaimable:     150300 kB
SUnreclaim:       558320 kB
KernelStack:        1488 kB
PageTables:         3928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     162092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 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-3739612-1338743011.opb

Free space on /tmp at the end= 70964 MiB
End job on node135 at 2012-06-03 19:33:30