Trace number 3719088

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
PBPASSolver-CARD.SN 2012-05-28? (TO) 1800.08 1803.12

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12046_2-sat.opb
MD5SUM8df6acf86997549eac6f2a4fde05a479
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 variables48158
Total number of constraints168360
Number of constraints which are clauses167568
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints792
Minimum length of a constraint1
Maximum length of a constraint67
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 432
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

1800.08/1803.11	cpython RunMakeCNF.py HOME/instance-3719088-1338271565.opb PrimePower CARD.SN ./CryptoMiniSat
1800.08/1803.11	./CryptoMiniSat HOME/instance-3719088-1338271565.opb.PrimePower.CARD.SN.cnf 1>HOME/instance-3719088-1338271565.opb.PrimePower.CARD.SN.cnf.CryptoMiniSat.out 2>HOME/instance-3719088-1338271565.opb.PrimePower.CARD.SN.cnf.CryptoMiniSat.err
1800.08/1803.11	
1800.08/1803.11	HOME/instance-3719088-1338271565.opb.PrimePower.CARD.SN.cnf.CryptoMiniSat.out
1800.08/1803.11	c Outputting solution to console
1800.08/1803.11	c This is CryptoMiniSat 2.9.1
1800.08/1803.11	c compiled with gcc version 4.4.6 20110731 (Red Hat 4.4.6-3)
1800.08/1803.11	c WARNING: for repeatability, setting FPU to use double precision
1800.08/1803.11	c Reading file 'HOME/instance-3719088-1338271565.opb.PrimePower.CARD.SN.cnf'
1800.08/1803.11	c -- header says num vars:        4726690
1800.08/1803.11	c -- header says num clauses:    26483715
1800.08/1803.11	c -- clauses added:            0 learnts,     26483715 normals,            0 xors
1800.08/1803.11	c -- vars added    4726689
1800.08/1803.11	c Parsing time:  9.24 s
1800.08/1803.11	c  N st     0         0   4726689   2170971         0  16182166         0  40433135         0   no data   no data  --
1800.08/1803.11	c asymm  cl-useful: 0/61/1809611 lits-rem:0 time: 0.81
1800.08/1803.11	c Flit:   152 Blit:  41062 bXBeca:    0 bXProp: 3873 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 17.23
1800.08/1803.11	c Cleaning up after failed var search:     0.86 s 
1800.08/1803.11	c Replacing     3925 vars Replaced    60683 lits Time:     0.63 s 
1800.08/1803.11	c bin-w-bin subsume rem         1010 bins  time:  0.84 s
1800.08/1803.11	c subs with bin:      261  lits-rem:       259  v-fix:    0  time:  1.40 s
1800.08/1803.11	c Subs w/ non-existent bins:    135 l-rem:     48 v-fix:  1989 done:   9795 time: 16.93 s
1800.08/1803.11	c Removed useless bin:       0  fixed:  2030  props:  20.00M  time:  0.90 s
1800.08/1803.11	c lits-rem:      2240  cl-subs:     9267  v-elim: 640926  v-fix:   26  time: 11.25 s
1800.08/1803.11	c Finding binary XORs  T:     0.75 s  found:   39225
1800.08/1803.11	c Replacing    39225 vars Replaced  1720177 lits Time:     1.22 s 
1800.08/1803.11	c Calc default polars -  time:   0.31 s pos:  137762 undec: 3489466 neg: 1099461
1800.08/1803.11	c =========================================================================================
1800.08/1803.11	c types(t): F = full restart, N = normal restart
1800.08/1803.11	c types(t): S = simplification begin/end, E = solution found
1800.08/1803.11	c restart types(rt): st = static, dy = dynamic
1800.08/1803.11	c  t rt  Rest     Confl      Vars   NormCls    XorCls    BinCls   Learnts    ClLits    LtLits
1800.08/1803.11	c  B st     0         0   1242602   2492485         0   5725477         0  22031890         0   no data   no data  --
1800.08/1803.11	c  N dy    17      4057   1242459   2492485         0   5725598      3846  22031890    146735      8.67      9.14  --
1800.08/1803.11	c  N dy    42      8253   1242376   2492485         0   5725680      7875  22031890    298606      9.74     10.31  --
1800.08/1803.11	c  N dy    69     12324   1242187   2492485         0   5725766     11767  22031888    466557     10.11     10.69  --
1800.08/1803.11	c  N dy    89     16512   1242133   2492485         0   5725890     15762  22031885    664334     10.17     10.79  --
1800.08/1803.11	c  N dy   111     20801   1241913   2492485         0   5726022     10306  22031884    252511     10.23     10.84  --
1800.08/1803.11	c  F st   131     25002   1241841   2492485         0   5726105     14337  22031883    405990     10.21      7.58  --
1800.08/1803.11	c  N st   131     25002   1241841   2490995         0   5723245     14309  22018258    397726     10.21      7.58  --
1800.08/1803.11	c  N dy   137     30001   1241636   2490995         0   5723383     19072  22018258    652653     10.21   no data  --
1800.08/1803.11	c  S st   137     30001   1241636   2490995         0   5723383     19072  22018258    652653     10.21   no data  --
1800.08/1803.11	c  S st   137     30501   1239068   2490995         0   5723449     19183  22018257    654534     10.21   no data  --
1800.08/1803.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.61
1800.08/1803.11	c Flit:    49 Blit:  94747 bXBeca:    0 bXProp:   86 Bins:  40022 BRemL:      0 BRemN:      0 P: 200.4M T: 31.33
1800.08/1803.11	c Cleaning up after failed var search:     0.98 s 
1800.08/1803.11	c Replacing       87 vars Replaced     4231 lits Time:     0.78 s 
1800.08/1803.11	c bin-w-bin subsume rem       164363 bins  time:  0.76 s
1800.08/1803.11	c subs with bin:     7094  lits-rem:     90120  v-fix:    0  time:  1.24 s
1800.08/1803.11	c Subs w/ non-existent bins:    732 l-rem:    594 v-fix:  2431 done:  25544 time:  9.29 s
1800.08/1803.11	c Removed useless bin:     142  fixed:  2435  props:  20.03M  time:  0.77 s
1800.08/1803.11	c lits-rem:      2271  cl-subs:   143834  v-elim:  84553  v-fix:    0  time: 24.06 s
1800.08/1803.11	c asymm  cl-useful: 0/709/2354737 lits-rem:0 time: 0.66
1800.08/1803.11	c  N dy   137     30501   1056561   2354737         0   4997888      8023  19563720    204183     10.21   no data  --
1800.08/1803.11	c Finding binary XORs  T:     0.67 s  found:    5791
1800.08/1803.11	c  N dy   153     34536   1056413   2354737         0   4998000     11850  19563720    325509     10.02     12.09  --
1800.08/1803.11	c  N dy   173     38562   1056267   2354737         0   4998138     15631  19563720    457182     10.08     10.65  --
1800.08/1803.11	c  N dy   190     43577   1056104   2354737         0   4998325     20337  19563717    610728      9.99     10.67  --
1800.08/1803.11	c  S st   203     45753   1056015   2354737         0   4998407     22394  19563717    700567     10.00   no data  --
1800.08/1803.11	c  S st   203     46253   1054217   2354737         0   4998461     22487  19563716    701377     10.00   no data  --
1800.08/1803.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.61
1800.08/1803.11	c Flit:    48 Blit:  36160 bXBeca:    0 bXProp:   80 Bins:   1693 BRemL:      0 BRemN:      0 P: 200.5M T: 20.16
1800.08/1803.11	c Cleaning up after failed var search:     0.39 s 
1800.08/1803.11	c Replacing     5872 vars Replaced   262780 lits Time:     0.84 s 
1800.08/1803.11	c bin-w-bin subsume rem         4653 bins  time:  0.70 s
1800.08/1803.11	c subs with bin:     7139  lits-rem:     50713  v-fix:    0  time:  1.18 s
1800.08/1803.11	c Subs w/ non-existent bins:   1015 l-rem:   4136 v-fix:   872 done:  11517 time: 11.13 s
1800.08/1803.11	c Removed useless bin:     138  fixed:   906  props:  20.00M  time:  0.86 s
1800.08/1803.11	c lits-rem:       397  cl-subs:   108278  v-elim:  46464  v-fix:    0  time:  9.23 s
1800.08/1803.11	c asymm  cl-useful: 0/299/2280027 lits-rem:0 time: 0.81
1800.08/1803.11	c  N dy   203     46253    964539   2280027         0   4696285     15482  18505049    389189     10.00   no data  --
1800.08/1803.11	c  N dy   207     50494    964503   2280027         0   4696359     19573  18505048    494400      9.82     10.38  --
1800.08/1803.11	c  N dy   228     54592    964409   2280027         0   4696448     23492  18505048    638163      9.81     10.36  --
1800.08/1803.11	c  N dy   248     58652    964142   2280027         0   4696573     27349  18505046    769504      9.77     10.31  --
1800.08/1803.11	c  N dy   270     62698    964117   2280027         0   4696652     17311  18505045    359424      9.82     10.35  --
1800.08/1803.11	c  N dy   285     66789    963822   2280027         0   4696765     21199  18505044    506810      9.77     14.59  --
1800.08/1803.11	c  S st   297     69379    963740   2280027         0   4696827     23677  18505044    610065      9.77      7.17  --
1800.08/1803.11	c  S st   297     69879    961941   2280027         0   4696897     23806  18505044    611762      9.77   no data  --
1800.08/1803.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.61
1800.08/1803.11	c Flit:    12 Blit:   8308 bXBeca:    0 bXProp:   34 Bins:    892 BRemL:      0 BRemN:      0 P: 200.2M T: 18.30
1800.08/1803.11	c Cleaning up after failed var search:     0.34 s 
1800.08/1803.11	c Replacing       35 vars Replaced     2247 lits Time:     0.71 s 
1800.08/1803.11	c bin-w-bin subsume rem          483 bins  time:  0.67 s
1800.08/1803.11	c subs with bin:     2818  lits-rem:      2037  v-fix:    0  time:  1.14 s
1800.08/1803.11	c Subs w/ non-existent bins:    721 l-rem:    877 v-fix:   600 done:  20949 time: 21.17 s
1800.08/1803.11	c Removed useless bin:     210  fixed:   623  props:  20.10M  time:  0.84 s
1800.08/1803.11	c lits-rem:       271  cl-subs:    10060  v-elim:   4772  v-fix:    0  time:  6.69 s
1800.08/1803.11	c asymm  cl-useful: 101/708/2253451 lits-rem:303 time: 0.75
1800.08/1803.11	c  N dy   297     69879    948071   2253350         0   4637017     20611  18249789    495357      9.77   no data  --
1800.08/1803.11	c Finding binary XORs  T:     0.65 s  found:    4203
1800.08/1803.11	c  N dy   307     74357    947856   2253350         0   4637152     24844  18249789    626015      9.69     10.39  --
1800.08/1803.11	c  N dy   329     79113    947534   2253350         0   4637308     29340  18249787    776619      9.65     14.48  --
1800.08/1803.11	c  N dy   353     84669    947391   2253350         0   4637476     17604  18249787    253473      9.67     10.26  --
1800.08/1803.11	c  F st   367     87502    947285   2253350         0   4637586     20268  18249787    356495      9.67      6.62  --
1800.08/1803.11	c Replacing     4203 vars Replaced   214056 lits Time:     0.80 s 
1800.08/1803.11	c  N st   372     90797    942733   2250357         0   4626626     23388  18215750    471061      9.67   no data  --
1800.08/1803.11	c  N dy   392     96639    942594   2250357         0   4626772     28974  18215750    669012      9.68     13.76  --
1800.08/1803.11	c  N dy   411    102978    941810   2250357         0   4626978     34992  18215749    863727      9.59     10.30  --
1800.08/1803.11	c  S st   418    104819    941779   2250357         0   4627043     36722  18215748    917301      9.56      9.77  --
1800.08/1803.11	c  S st   418    105320    941027   2250357         0   4627116     36865  18215748    919091      9.56   no data  --
1800.08/1803.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.73
1800.08/1803.11	c Flit:   155 Blit:  13813 bXBeca:    0 bXProp:  169 Bins:    922 BRemL:      0 BRemN:      0 P: 200.0M T: 20.11
1800.08/1803.11	c Cleaning up after failed var search:     0.44 s 
1800.08/1803.11	c Replacing      170 vars Replaced    10933 lits Time:     0.85 s 
1800.08/1803.11	c bin-w-bin subsume rem         4385 bins  time:  0.69 s
1800.08/1803.11	c subs with bin:    11149  lits-rem:     32312  v-fix:    0  time:  1.28 s
1800.08/1803.11	c Subs w/ non-existent bins:   1360 l-rem:   1305 v-fix:  1654 done:  34817 time: 15.64 s
1800.08/1803.11	c Removed useless bin:     184  fixed:  1689  props:  20.27M  time:  0.96 s
1800.08/1803.11	c lits-rem:       876  cl-subs:    44834  v-elim:  18332  v-fix:    0  time:  8.80 s
1800.08/1803.11	c asymm  cl-useful: 306/704/2196403 lits-rem:918 time: 0.84
1800.08/1803.11	c  N dy   418    105320    905762   2196097         0   4485817     28504  17663149    568766      9.56   no data  --
1800.08/1803.11	c  N dy   449    112469    905501   2196097         0   4486029     35288  17663148    789748      9.54     10.10  --
1800.08/1803.11	c  N dy   485    119679    905062   2196097         0   4486254     23437  17663142    372550      9.55     10.33  --
1800.08/1803.11	c  N dy   522    127687    904952   2196097         0   4486455     31098  17663141    625136      9.54     10.06  --
1800.08/1803.11	c  N dy   556    136008    904868   2196097         0   4486649     39067  17663141    908389      9.51     10.27  --
1800.08/1803.11	c  N dy   602    144806    904822   2196097         0   4486815     26650  17663141    430646      9.50     10.14  --
1800.08/1803.11	c  N dy   659    154211    904714   2196097         0   4487051     35629  17663141    756794      9.52     10.08  --
1800.08/1803.11	c  S st   683    157982    904642   2196097         0   4487175     39199  17663140    873724      9.53      9.12  --
1800.08/1803.11	c  S st   683    158482    904628   2196097         0   4487249     39293  17663140    874753      9.53   no data  --
1800.08/1803.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.60
1800.08/1803.11	c Flit:    95 Blit:  10177 bXBeca:    0 bXProp:  202 Bins:   1206 BRemL:      0 BRemN:      0 P: 200.2M T: 17.06
1800.08/1803.11	c Cleaning up after failed var search:     0.34 s 
1800.08/1803.11	c Replacing      204 vars Replaced    10833 lits Time:     0.69 s 
1800.08/1803.11	c bin-w-bin subsume rem          808 bins  time:  0.64 s
1800.08/1803.11	c subs with bin:     5628  lits-rem:      3736  v-fix:    0  time:  1.17 s
1800.08/1803.11	c Subs w/ non-existent bins:    841 l-rem:   1055 v-fix:   343 done:  24313 time: 18.38 s
1800.08/1803.11	c Removed useless bin:     155  fixed:   346  props:  20.06M  time:  0.71 s
1800.08/1803.11	c lits-rem:       226  cl-subs:    12623  v-elim:   5022  v-fix:    0  time:  7.07 s
1800.08/1803.11	c asymm  cl-useful: 434/1618/2164446 lits-rem:1302 time: 0.67
1800.08/1803.11	c  N dy   683    158482    887098   2164012         0   4416568     32487  17366320    611348      9.53   no data  --
1800.08/1803.11	c Finding binary XORs  T:     0.62 s  found:    3862
1800.08/1803.11	c  N dy   721    169112    887020   2164012         0   4416859     42623  17366320    937221      9.48     10.37  --
1800.08/1803.11	c  N dy   769    179981    886917   2164012         0   4417142     31321  17366318    534107      9.48     10.08  --
1800.08/1803.11	c  N dy   818    191919    886616   2164012         0   4417546     42654  17366318    912451      9.45     10.03  --
1800.08/1803.11	c  N dy   876    204254    886476   2164012         0   4417845     31278  17366318    515481      9.47      9.97  --
1800.08/1803.11	c  N dy   942    217410    886341   2164012         0   4418181     43836  17366317    926812      9.48      9.99  --

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-3719088-1338271565/watcher-3719088-1338271565 -o /tmp/evaluation-result-3719088-1338271565/solver-3719088-1338271565 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719088-1338271565.opb PrimePower CARD.SN ./CryptoMiniSat 

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 1.85 3/178 2281
/proc/meminfo: memFree=31057136/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=14840 CPUtime=0 cores=1,3,5,7
/proc/2281/stat : 2281 (python) R 2279 2281 1635 0 -1 4202496 437 0 0 0 0 0 0 0 20 0 1 0 293285124 15196160 343 33554432000 4194304 5683644 140736731226448 140735527988472 245293879188 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2281/statm: 3710 345 221 364 0 152 0

[startup+0.104466 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 2281
/proc/meminfo: memFree=31057136/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731224296 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996

[startup+0.200313 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 2281
/proc/meminfo: memFree=31057136/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731224296 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996

[startup+0.300353 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 2281
/proc/meminfo: memFree=31057136/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731224296 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996

[startup+0.700274 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 2281
/proc/meminfo: memFree=31057136/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731224296 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996

[startup+1.50045 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 2286
/proc/meminfo: memFree=30848084/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731224296 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2283] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2283/stat : 2283 (sh) S 2281 2281 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293285132 9367552 266 33554432000 4194304 5064252 140736829332560 140736829331264 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2283/statm: 2287 266 226 213 0 72 0
[pid=2284] ppid=2283 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/2284/stat : 2284 (python) S 2283 2281 1635 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293285132 17145856 1058 33554432000 4194304 5683644 140734979086368 140734979084216 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2284/statm: 4186 1058 429 364 0 628 0
[pid=2285] ppid=2284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2285/stat : 2285 (sh) S 2284 2281 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293285135 9367552 268 33554432000 4194304 5064252 140735327946976 140735327945680 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2285/statm: 2287 268 226 213 0 72 0
[pid=2286] ppid=2285 vsize=653804 CPUtime=1.21 cores=1,3,5,7
/proc/2286/stat : 2286 (PBPASSolver-817) R 2285 2281 1635 0 -1 4202496 103100 0 0 0 70 51 0 0 20 0 1 0 293285135 669495296 71245 33554432000 4194304 4943705 140735071894784 140735071893024 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 16 0 0
/proc/2286/statm: 163451 71245 357 183 0 159821 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 705840

[startup+3.10046 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 2286
/proc/meminfo: memFree=30651348/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731224296 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2283] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2283/stat : 2283 (sh) S 2281 2281 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293285132 9367552 266 33554432000 4194304 5064252 140736829332560 140736829331264 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2283/statm: 2287 266 226 213 0 72 0
[pid=2284] ppid=2283 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/2284/stat : 2284 (python) S 2283 2281 1635 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293285132 17145856 1058 33554432000 4194304 5683644 140734979086368 140734979084216 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2284/statm: 4186 1058 429 364 0 628 0
[pid=2285] ppid=2284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2285/stat : 2285 (sh) S 2284 2281 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293285135 9367552 268 33554432000 4194304 5064252 140735327946976 140735327945680 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2285/statm: 2287 268 226 213 0 72 0
[pid=2286] ppid=2285 vsize=1168364 CPUtime=2.8 cores=1,3,5,7
/proc/2286/stat : 2286 (PBPASSolver-817) R 2285 2281 1635 0 -1 4202496 159382 0 0 0 195 85 0 0 20 0 1 0 293285135 1196404736 127527 33554432000 4194304 4943705 140735071894784 140735071893696 4358535 0 0 16781312 17608 0 0 0 17 3 0 0 16 0 0
/proc/2286/statm: 292091 127527 357 183 0 288461 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 1220400

[startup+6.30046 s]
/proc/loadavg: 2.00 2.00 1.86 2/183 2286
/proc/meminfo: memFree=30289888/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731224296 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2283] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2283/stat : 2283 (sh) S 2281 2281 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293285132 9367552 266 33554432000 4194304 5064252 140736829332560 140736829331264 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2283/statm: 2287 266 226 213 0 72 0
[pid=2284] ppid=2283 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/2284/stat : 2284 (python) S 2283 2281 1635 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293285132 17145856 1058 33554432000 4194304 5683644 140734979086368 140734979084216 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2284/statm: 4186 1058 429 364 0 628 0
[pid=2285] ppid=2284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2285/stat : 2285 (sh) S 2284 2281 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293285135 9367552 268 33554432000 4194304 5064252 140735327946976 140735327945680 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2285/statm: 2287 268 226 213 0 72 0
[pid=2286] ppid=2285 vsize=1879276 CPUtime=5.91 cores=1,3,5,7
/proc/2286/stat : 2286 (PBPASSolver-817) R 2285 2281 1635 0 -1 4202496 237138 0 0 0 462 129 0 0 20 0 1 0 293285135 1924378624 205283 33554432000 4194304 4943705 140735071894784 140735071893056 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 21 0 0
/proc/2286/statm: 469819 205283 357 183 0 466189 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 1931312

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 2286
/proc/meminfo: memFree=29806060/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731224296 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2283] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2283/stat : 2283 (sh) S 2281 2281 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293285132 9367552 266 33554432000 4194304 5064252 140736829332560 140736829331264 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2283/statm: 2287 266 226 213 0 72 0
[pid=2284] ppid=2283 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/2284/stat : 2284 (python) S 2283 2281 1635 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293285132 17145856 1058 33554432000 4194304 5683644 140734979086368 140734979084216 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2284/statm: 4186 1058 429 364 0 628 0
[pid=2285] ppid=2284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2285/stat : 2285 (sh) S 2284 2281 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293285135 9367552 268 33554432000 4194304 5064252 140735327946976 140735327945680 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2285/statm: 2287 268 226 213 0 72 0
[pid=2286] ppid=2285 vsize=2894060 CPUtime=12.22 cores=1,3,5,7
/proc/2286/stat : 2286 (PBPASSolver-817) R 2285 2281 1635 0 -1 4202496 348130 0 0 0 1026 196 0 0 20 0 1 0 293285135 2963517440 316275 33554432000 4194304 4943705 140735071894784 140735071893696 4361056 0 0 16781312 17608 0 0 0 17 3 0 0 26 0 0
/proc/2286/statm: 723515 316275 357 183 0 719885 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 2946096

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 2286
/proc/meminfo: memFree=29214192/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731224296 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2283] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2283/stat : 2283 (sh) S 2281 2281 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293285132 9367552 266 33554432000 4194304 5064252 140736829332560 140736829331264 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2283/statm: 2287 266 226 213 0 72 0
[pid=2284] ppid=2283 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/2284/stat : 2284 (python) S 2283 2281 1635 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293285132 17145856 1058 33554432000 4194304 5683644 140734979086368 140734979084216 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2284/statm: 4186 1058 429 364 0 628 0
[pid=2285] ppid=2284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2285/stat : 2285 (sh) S 2284 2281 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293285135 9367552 268 33554432000 4194304 5064252 140735327946976 140735327945680 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2285/statm: 2287 268 226 213 0 72 0
[pid=2286] ppid=2285 vsize=4165868 CPUtime=24.88 cores=1,3,5,7
/proc/2286/stat : 2286 (PBPASSolver-817) R 2285 2281 1635 0 -1 4202496 487234 0 0 0 2209 279 0 0 20 0 1 0 293285135 4265848832 455379 33554432000 4194304 4943705 140735071894784 140735071893056 4361008 0 0 16781312 17608 0 0 0 17 3 0 0 39 0 0
/proc/2286/statm: 1041467 455379 357 183 0 1037837 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 4217904

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 2287
/proc/meminfo: memFree=28507092/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731224296 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2283] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2283/stat : 2283 (sh) S 2281 2281 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293285132 9367552 266 33554432000 4194304 5064252 140736829332560 140736829331264 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2283/statm: 2287 266 226 213 0 72 0
[pid=2284] ppid=2283 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/2284/stat : 2284 (python) S 2283 2281 1635 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293285132 17145856 1058 33554432000 4194304 5683644 140734979086368 140734979084216 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2284/statm: 4186 1058 429 364 0 628 0
[pid=2285] ppid=2284 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2285/stat : 2285 (sh) S 2284 2281 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293285135 9367552 268 33554432000 4194304 5064252 140735327946976 140735327945680 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2285/statm: 2287 268 226 213 0 72 0
[pid=2286] ppid=2285 vsize=5685996 CPUtime=50.26 cores=1,3,5,7
/proc/2286/stat : 2286 (PBPASSolver-817) R 2285 2281 1635 0 -1 4202496 653498 0 0 0 4643 383 0 0 20 0 1 0 293285135 5822459904 621643 33554432000 4194304 4943705 140735071894784 140735071893696 4358535 0 0 16781312 17608 0 0 0 17 3 0 0 58 0 0
/proc/2286/statm: 1421499 621643 357 183 0 1417869 0
Current children cumulated CPU time (s) 50.28
Current children cumulated vsize (KiB) 5738032

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/183 2287
/proc/meminfo: memFree=27481696/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731224296 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2283] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2283/stat : 2283 (sh) S 2281 2281 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293285132 9367552 266 33554432000 4194304 5064252 140736829332560 140736829331264 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2283/statm: 2287 266 226 213 0 72 0
[pid=2284] ppid=2283 vsize=16744 CPUtime=0.01 cores=1,3,5,7

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

/proc/loadavg: 2.16 2.05 1.95 3/181 2299
/proc/meminfo: memFree=26625376/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=471.07 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1404 1493626 0 0 1 0 27398 19708 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731223992 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2292] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (sh) S 2281 2281 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293332499 9367552 267 33554432000 4194304 5064252 140735924573200 140735924571904 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2292/statm: 2287 267 226 213 0 72 0
[pid=2293] ppid=2292 vsize=3240756 CPUtime=828.29 cores=1,3,5,7
/proc/2293/stat : 2293 (CryptoMiniSat) R 2292 2281 1635 0 -1 4202496 1020368 0 0 0 82152 677 0 0 20 0 1 0 293332500 3318534144 696539 33554432000 4194304 4734972 140733475325264 140733475317288 4554196 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2293/statm: 810189 696539 401 132 0 805089 0
Current children cumulated CPU time (s) 1299.36
Current children cumulated vsize (KiB) 3266900

[startup+1362.3 s]
/proc/loadavg: 2.13 2.06 1.95 3/181 2299
/proc/meminfo: memFree=26620708/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=471.07 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1404 1493626 0 0 1 0 27398 19708 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731223992 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2292] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (sh) S 2281 2281 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293332499 9367552 267 33554432000 4194304 5064252 140735924573200 140735924571904 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2292/statm: 2287 267 226 213 0 72 0
[pid=2293] ppid=2292 vsize=3236220 CPUtime=888.28 cores=1,3,5,7
/proc/2293/stat : 2293 (CryptoMiniSat) R 2292 2281 1635 0 -1 4202496 1028774 0 0 0 88143 685 0 0 20 0 1 0 293332500 3313889280 694643 33554432000 4194304 4734972 140733475325264 140733475317288 4327579 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2293/statm: 809055 694643 401 132 0 803955 0
Current children cumulated CPU time (s) 1359.35
Current children cumulated vsize (KiB) 3262364

[startup+1422.3 s]
/proc/loadavg: 2.05 2.05 1.95 3/181 2299
/proc/meminfo: memFree=26620208/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=471.07 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1404 1493626 0 0 1 0 27398 19708 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731223992 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2292] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (sh) S 2281 2281 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293332499 9367552 267 33554432000 4194304 5064252 140735924573200 140735924571904 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2292/statm: 2287 267 226 213 0 72 0
[pid=2293] ppid=2292 vsize=3236220 CPUtime=948.27 cores=1,3,5,7
/proc/2293/stat : 2293 (CryptoMiniSat) R 2292 2281 1635 0 -1 4202496 1028785 0 0 0 94142 685 0 0 20 0 1 0 293332500 3313889280 694737 33554432000 4194304 4734972 140733475325264 140733475317288 4327561 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2293/statm: 809055 694737 401 132 0 803955 0
Current children cumulated CPU time (s) 1419.34
Current children cumulated vsize (KiB) 3262364

[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 1.96 3/182 2302
/proc/meminfo: memFree=26619572/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=471.07 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1404 1493626 0 0 1 0 27398 19708 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731223992 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2292] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (sh) S 2281 2281 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293332499 9367552 267 33554432000 4194304 5064252 140735924573200 140735924571904 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2292/statm: 2287 267 226 213 0 72 0
[pid=2293] ppid=2292 vsize=3236220 CPUtime=1008.25 cores=1,3,5,7
/proc/2293/stat : 2293 (CryptoMiniSat) R 2292 2281 1635 0 -1 4202496 1028789 0 0 0 100140 685 0 0 20 0 1 0 293332500 3313889280 694737 33554432000 4194304 4734972 140733475325264 140733475317288 4327579 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2293/statm: 809055 694737 401 132 0 803955 0
Current children cumulated CPU time (s) 1479.32
Current children cumulated vsize (KiB) 3262364

[startup+1542.31 s]
/proc/loadavg: 2.02 2.04 1.96 3/183 2345
/proc/meminfo: memFree=26341596/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=471.07 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1404 1493626 0 0 1 0 27398 19708 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731223992 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2292] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (sh) S 2281 2281 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293332499 9367552 267 33554432000 4194304 5064252 140735924573200 140735924571904 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2292/statm: 2287 267 226 213 0 72 0
[pid=2293] ppid=2292 vsize=3249088 CPUtime=1068.25 cores=1,3,5,7
/proc/2293/stat : 2293 (CryptoMiniSat) R 2292 2281 1635 0 -1 4202496 1029702 0 0 0 106140 685 0 0 20 0 1 0 293332500 3327066112 698716 33554432000 4194304 4734972 140733475325264 140733475316856 4311743 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2293/statm: 812272 698716 401 132 0 807172 0
Current children cumulated CPU time (s) 1539.32
Current children cumulated vsize (KiB) 3275232

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 1.96 3/183 2346
/proc/meminfo: memFree=24824168/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=471.07 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1404 1493626 0 0 1 0 27398 19708 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731223992 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2292] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (sh) S 2281 2281 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293332499 9367552 267 33554432000 4194304 5064252 140735924573200 140735924571904 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2292/statm: 2287 267 226 213 0 72 0
[pid=2293] ppid=2292 vsize=3249088 CPUtime=1128.23 cores=1,3,5,7
/proc/2293/stat : 2293 (CryptoMiniSat) R 2292 2281 1635 0 -1 4202496 1031340 0 0 0 112134 689 0 0 20 0 1 0 293332500 3327066112 698716 33554432000 4194304 4734972 140733475325264 140733475317288 4327121 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2293/statm: 812272 698716 401 132 0 807172 0
Current children cumulated CPU time (s) 1599.3
Current children cumulated vsize (KiB) 3275232

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/183 2346
/proc/meminfo: memFree=23576108/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=471.07 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1404 1493626 0 0 1 0 27398 19708 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731223992 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2292] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (sh) S 2281 2281 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293332499 9367552 267 33554432000 4194304 5064252 140735924573200 140735924571904 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2292/statm: 2287 267 226 213 0 72 0
[pid=2293] ppid=2292 vsize=3249088 CPUtime=1188.22 cores=1,3,5,7
/proc/2293/stat : 2293 (CryptoMiniSat) R 2292 2281 1635 0 -1 4202496 1031340 0 0 0 118133 689 0 0 20 0 1 0 293332500 3327066112 698716 33554432000 4194304 4734972 140733475325264 140733475317288 4327227 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2293/statm: 812272 698716 401 132 0 807172 0
Current children cumulated CPU time (s) 1659.29
Current children cumulated vsize (KiB) 3275232

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/183 2346
/proc/meminfo: memFree=22521364/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=471.07 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1404 1493626 0 0 1 0 27398 19708 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731223992 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2292] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (sh) S 2281 2281 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293332499 9367552 267 33554432000 4194304 5064252 140735924573200 140735924571904 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2292/statm: 2287 267 226 213 0 72 0
[pid=2293] ppid=2292 vsize=3249088 CPUtime=1248.21 cores=1,3,5,7
/proc/2293/stat : 2293 (CryptoMiniSat) R 2292 2281 1635 0 -1 4202496 1031340 0 0 0 124132 689 0 0 20 0 1 0 293332500 3327066112 698716 33554432000 4194304 4734972 140733475325264 140733475317288 4327266 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2293/statm: 812272 698716 401 132 0 807172 0
Current children cumulated CPU time (s) 1719.28
Current children cumulated vsize (KiB) 3275232

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/183 2346
/proc/meminfo: memFree=21561792/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=471.07 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1404 1493626 0 0 1 0 27398 19708 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731223992 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2292] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (sh) S 2281 2281 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293332499 9367552 267 33554432000 4194304 5064252 140735924573200 140735924571904 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2292/statm: 2287 267 226 213 0 72 0
[pid=2293] ppid=2292 vsize=3281860 CPUtime=1308.2 cores=1,3,5,7
/proc/2293/stat : 2293 (CryptoMiniSat) R 2292 2281 1635 0 -1 4202496 1032082 0 0 0 130129 691 0 0 20 0 1 0 293332500 3360624640 697978 33554432000 4194304 4734972 140733475325264 140733475317288 4327866 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2293/statm: 820465 697978 401 132 0 815365 0
Current children cumulated CPU time (s) 1779.27
Current children cumulated vsize (KiB) 3308004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.1 s]
/proc/loadavg: 2.00 2.01 1.96 3/183 2346
/proc/meminfo: memFree=21251172/32873844 swapFree=7372/7372
[pid=2281] ppid=2279 vsize=16996 CPUtime=471.07 cores=1,3,5,7
/proc/2281/stat : 2281 (python) S 2279 2281 1635 0 -1 4202496 1404 1493626 0 0 1 0 27398 19708 20 0 1 0 293285124 17403904 1082 33554432000 4194304 5683644 140736731226448 140736731223992 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2281/statm: 4249 1082 429 364 0 691 0
[pid=2292] ppid=2281 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (sh) S 2281 2281 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293332499 9367552 267 33554432000 4194304 5064252 140735924573200 140735924571904 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2292/statm: 2287 267 226 213 0 72 0
[pid=2293] ppid=2292 vsize=3281860 CPUtime=1329.01 cores=1,3,5,7
/proc/2293/stat : 2293 (CryptoMiniSat) R 2292 2281 1635 0 -1 4202496 1032082 0 0 0 132210 691 0 0 20 0 1 0 293332500 3360624640 697978 33554432000 4194304 4734972 140733475325264 140733475317288 4327243 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2293/statm: 820465 697978 401 132 0 815365 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3308004

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2281 and gives
#  childrusage.ru_utime.tv_sec=274
#  childrusage.ru_utime.tv_usec=2345
#  childrusage.ru_stime.tv_sec=197
#  childrusage.ru_stime.tv_usec=98036
# CPU time returned by wait4() is 471.1
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1803.12
CPU time (s): 1800.08
CPU user time (s): 1596.09
CPU system time (s): 203.99
CPU usage (%): 99.8316
Max. virtual memory (cumulated for all children) (KiB): 11399056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 274.002
system time used= 197.098
maximum resident set size= 5306220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1495883
page faults= 0
swaps= 0
block input operations= 16
block output operations= 1093840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 405
involuntary context switches= 485

runsolver used 3.16952 second user time and 8.5387 second system time

The end

Launcher Data

Begin job on node109 at 2012-05-29 08:06:05
IDJOB=3719088
IDBENCH=73459
IDSOLVER=2303
FILE ID=node109/3719088-1338271565
RUNJOBID= node109-1338268852-1653
PBS_JOBID= 14625712
Free space on /tmp= 71204 MiB

SOLVER NAME= PBPASSolver-CARD.SN 2012-05-28
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12046_2-sat.opb
COMMAND LINE= python HOME/RunSolver.py BENCHNAME PrimePower CARD.SN ./CryptoMiniSat
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3719088-1338271565/watcher-3719088-1338271565 -o /tmp/evaluation-result-3719088-1338271565/solver-3719088-1338271565 -C 1800 -W 1900 -M 15500  python HOME/RunSolver.py HOME/instance-3719088-1338271565.opb PrimePower CARD.SN ./CryptoMiniSat

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

MD5SUM BENCH= 8df6acf86997549eac6f2a4fde05a479
RANDOM SEED=948391442

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
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.91
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		: 2667.264
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31057408 kB
Buffers:          235888 kB
Cached:           215692 kB
SwapCached:          584 kB
Active:           901140 kB
Inactive:          40236 kB
Active(anon):     483440 kB
Inactive(anon):     8960 kB
Active(file):     417700 kB
Inactive(file):    31276 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67106296 kB
Dirty:             18348 kB
Writeback:             0 kB
AnonPages:        510508 kB
Mapped:            11900 kB
Shmem:                 8 kB
Slab:             724688 kB
SReclaimable:     167076 kB
SUnreclaim:       557612 kB
KernelStack:        1472 kB
PageTables:         4464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     657496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    307200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70376 MiB
End job on node109 at 2012-05-29 08:36:09