Trace number 3718718

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.DP 2012-05-28? (TO) 1800.02 1802.02

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12039_7-sat.opb
MD5SUM0f318fc75cd8d877b44870fe2fa76e77
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 variables25410
Total number of constraints83992
Number of constraints which are clauses83576
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints416
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 49
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 732
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 

1800.02/1802.01	cpython RunMakeCNF.py HOME/instance-3718718-1338272635.opb PrimePower CARD.DP ./CryptoMiniSat
1800.02/1802.01	./CryptoMiniSat HOME/instance-3718718-1338272635.opb.PrimePower.CARD.DP.cnf 1>HOME/instance-3718718-1338272635.opb.PrimePower.CARD.DP.cnf.CryptoMiniSat.out 2>HOME/instance-3718718-1338272635.opb.PrimePower.CARD.DP.cnf.CryptoMiniSat.err
1800.02/1802.01	
1800.02/1802.01	HOME/instance-3718718-1338272635.opb.PrimePower.CARD.DP.cnf.CryptoMiniSat.out
1800.02/1802.01	c Outputting solution to console
1800.02/1802.01	c This is CryptoMiniSat 2.9.1
1800.02/1802.01	c compiled with gcc version 4.4.6 20110731 (Red Hat 4.4.6-3)
1800.02/1802.01	c WARNING: for repeatability, setting FPU to use double precision
1800.02/1802.01	c Reading file 'HOME/instance-3718718-1338272635.opb.PrimePower.CARD.DP.cnf'
1800.02/1802.01	c -- header says num vars:        8433086
1800.02/1802.01	c -- header says num clauses:    42423070
1800.02/1802.01	c -- clauses added:            0 learnts,     42423070 normals,            0 xors
1800.02/1802.01	c -- vars added    8433085
1800.02/1802.01	c Parsing time: 14.49 s
1800.02/1802.01	c  N st     0         0   8433085   2003821         0  16752336         0  40911064         0   no data   no data  --
1800.02/1802.01	c asymm  cl-useful: 0/99/1858172 lits-rem:0 time: 0.74
1800.02/1802.01	c Flit:   345 Blit:  88188 bXBeca:    0 bXProp: 43486 Bins:      0 BRemL:      0 BRemN:      0 P: 200.5M T: 17.05
1800.02/1802.01	c Cleaning up after failed var search:     0.97 s 
1800.02/1802.01	c Replacing    43487 vars Replaced   685104 lits Time:     0.85 s 
1800.02/1802.01	c bin-w-bin subsume rem          788 bins  time:  1.14 s
1800.02/1802.01	c subs with bin:     2111  lits-rem:      2111  v-fix:    0  time:  1.66 s
1800.02/1802.01	c Subs w/ non-existent bins:     54 l-rem:     15 v-fix:  1318 done:   7168 time: 17.60 s
1800.02/1802.01	c Removed useless bin:      59  fixed:     0  props:  20.04M  time:  0.90 s
1800.02/1802.01	c lits-rem:         0  cl-subs:     2294  v-elim: 803456  v-fix:    0  time: 11.27 s
1800.02/1802.01	c Finding binary XORs  T:     1.31 s  found:  553804
1800.02/1802.01	c Replacing   553804 vars Replaced 16673235 lits Time:     1.94 s 
1800.02/1802.01	c Calc default polars -  time:   0.34 s pos:   15055 undec: 7384846 neg: 1033184
1800.02/1802.01	c =========================================================================================
1800.02/1802.01	c types(t): F = full restart, N = normal restart
1800.02/1802.01	c types(t): S = simplification begin/end, E = solution found
1800.02/1802.01	c restart types(rt): st = static, dy = dynamic
1800.02/1802.01	c  t rt  Rest     Confl      Vars   NormCls    XorCls    BinCls   Learnts    ClLits    LtLits
1800.02/1802.01	c  B st     0         0   1051792   2594426         0   6936472         0  24511955         0   no data   no data  --
1800.02/1802.01	c  N dy    16      4001   1051642   2594426         0   6936560      3808  24511955    175390     11.06     11.90  --
1800.02/1802.01	c  N dy    41      8485   1051442   2594426         0   6936644      8137  24511955    435648     12.09     12.97  --
1800.02/1802.01	c  N dy    55     14282   1051432   2594426         0   6936694     13766  24511955    690239     11.57     12.20  --
1800.02/1802.01	c  N dy    79     18531   1051425   2594426         0   6936751     17875  24511955    878690     11.71     12.61  --
1800.02/1802.01	c  N dy   106     22575   1051371   2594426         0   6936869     12079  24511955    359164     11.96     12.80  --
1800.02/1802.01	c  F st   115     25001   1051308   2594426         0   6936903     14398  24511955    450328     11.97     10.89  --
1800.02/1802.01	c  N st   119     27034   1051249   2593607         0   6933807     16355  24501141    565715     11.97   no data  --
1800.02/1802.01	c  S st   121     30000   1051249   2593607         0   6933830     19222  24501141    736074     11.97   no data  --
1800.02/1802.01	c  S st   121     30500   1050992   2593607         0   6933877     19300  24501141    736761     11.97   no data  --
1800.02/1802.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.71
1800.02/1802.01	c Flit:   887 Blit:  71263 bXBeca:    0 bXProp:  286 Bins:   1204 BRemL:      0 BRemN:      9 P: 200.0M T: 17.62
1800.02/1802.01	c Cleaning up after failed var search:     1.00 s 
1800.02/1802.01	c Replacing      287 vars Replaced    20467 lits Time:     0.87 s 
1800.02/1802.01	c bin-w-bin subsume rem      1749750 bins  time:  1.11 s
1800.02/1802.01	c subs with bin:     9505  lits-rem:     68245  v-fix:    0  time:  1.21 s
1800.02/1802.01	c Subs w/ non-existent bins:     16 l-rem:     16 v-fix:  2040 done:  25539 time: 15.56 s
1800.02/1802.01	c Removed useless bin:      89  fixed:  2143  props:  20.21M  time:  0.84 s
1800.02/1802.01	c lits-rem:        33  cl-subs:   122200  v-elim:  33034  v-fix:    0  time: 28.18 s
1800.02/1802.01	c asymm  cl-useful: 0/444/2412613 lits-rem:0 time: 0.80
1800.02/1802.01	c  N dy   121     30500    939232   2412613         0   4476664     13755  18570411    418357     11.97   no data  --
1800.02/1802.01	c  N dy   142     35604    939226   2412613         0   4476729     18699  18570411    657726     11.89     12.61  --
1800.02/1802.01	c  N dy   171     39845    939226   2412613         0   4476764     22826  18570410    849937     12.01     13.17  --
1800.02/1802.01	c  N dy   202     43895    939226   2412613         0   4476789     26761  18570410   1064563     12.26     12.98  --
1800.02/1802.01	c  S st   217     45751    939226   2412613         0   4476808     28561  18570410   1171418     12.38     11.20  --
1800.02/1802.01	c  S st   217     46251    938704   2412613         0   4476860     28673  18570410   1172283     12.38   no data  --
1800.02/1802.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.66
1800.02/1802.01	c Flit:   707 Blit:  13832 bXBeca:    0 bXProp:  532 Bins:  19991 BRemL:      1 BRemN:     24 P: 200.1M T: 19.81
1800.02/1802.01	c Cleaning up after failed var search:     0.34 s 
1800.02/1802.01	c Replacing      533 vars Replaced    23990 lits Time:     0.74 s 
1800.02/1802.01	c bin-w-bin subsume rem         3924 bins  time:  0.68 s
1800.02/1802.01	c subs with bin:     2620  lits-rem:     39445  v-fix:    0  time:  1.20 s
1800.02/1802.01	c Subs w/ non-existent bins:   1043 l-rem:    658 v-fix:  1467 done:  18761 time: 19.09 s
1800.02/1802.01	c Removed useless bin:     128  fixed:  1492  props:  20.09M  time:  0.76 s
1800.02/1802.01	c lits-rem:       130  cl-subs:    70766  v-elim:  26011  v-fix:    3  time: 40.87 s
1800.02/1802.01	c asymm  cl-useful: 0/459/2360700 lits-rem:0 time: 0.85
1800.02/1802.01	c  N dy   217     46251    893696   2360700         0   4307741     22453  17934704    794285     12.38   no data  --
1800.02/1802.01	c Finding binary XORs  T:     0.78 s  found:     373
1800.02/1802.01	c  N dy   233     50502    893692   2360700         0   4307778     26576  17934704   1027079     12.35     13.07  --
1800.02/1802.01	c  N dy   256     54535    893687   2360700         0   4307857     16070  17934704    328938     12.39     13.29  --
1800.02/1802.01	c  N dy   272     58736    893684   2360700         0   4307937     20135  17934704    585529     12.37     13.17  --
1800.02/1802.01	c  N dy   288     63048    893680   2360700         0   4307981     24312  17934704    796067     12.33     13.11  --
1800.02/1802.01	c  N dy   307     67202    893678   2360700         0   4308026     28283  17934704    933216     12.31     12.99  --
1800.02/1802.01	c  S st   321     69377    893678   2360700         0   4308047     30405  17934704   1029423     12.32   no data  --
1800.02/1802.01	c  S st   321     69877    892289   2360700         0   4308120     30544  17934704   1032145     12.32   no data  --
1800.02/1802.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.64
1800.02/1802.01	c Flit:  1078 Blit:  12667 bXBeca:    0 bXProp:  334 Bins:  52597 BRemL:      1 BRemN:     47 P: 200.0M T: 158.55
1800.02/1802.01	c Cleaning up after failed var search:     0.34 s 
1800.02/1802.01	c Replacing      708 vars Replaced    70723 lits Time:     0.76 s 
1800.02/1802.01	c bin-w-bin subsume rem         1320 bins  time:  0.67 s
1800.02/1802.01	c subs with bin:     4419  lits-rem:     26181  v-fix:    0  time:  1.18 s
1800.02/1802.01	c Subs w/ non-existent bins:     63 l-rem:     97 v-fix:  1391 done:  23366 time: 18.14 s
1800.02/1802.01	c Removed useless bin:     114  fixed:  1462  props:  20.20M  time:  0.64 s
1800.02/1802.01	c lits-rem:        24  cl-subs:    31292  v-elim:  11211  v-fix:    0  time: 27.77 s
1800.02/1802.01	c asymm  cl-useful: 16/435/2310906 lits-rem:48 time: 0.75
1800.02/1802.01	c  N dy   321     69877    863539   2310890         0   4231358     28152  17441951   1008926     12.32   no data  --
1800.02/1802.01	c Finding binary XORs  T:     0.78 s  found:     152
1800.02/1802.01	c  N dy   347     74348    863534   2310890         0   4231382     32508  17441951   1229443     12.38     13.20  --
1800.02/1802.01	c  N dy   361     79139    863534   2310890         0   4231443     19535  17441951    428563     12.26     12.95  --
1800.02/1802.01	c  N dy   374     84971    863534   2310890         0   4231465     25266  17441951    724441     12.08     13.56  --
1800.02/1802.01	c  F st   384     87500    863530   2310890         0   4231478     27722  17441951    826180     12.05   no data  --
1800.02/1802.01	c Replacing      152 vars Replaced     9740 lits Time:     0.70 s 
1800.02/1802.01	c  N st   389     90799    863378   2310854         0   4231091     30957  17441049   1051865     12.05   no data  --
1800.02/1802.01	c  N dy   409     96645    863364   2310854         0   4231195     36587  17441049   1329699     12.01     12.71  --
1800.02/1802.01	c  N dy   444    102972    863361   2310854         0   4231256     22771  17441049    485349     12.04     12.71  --
1800.02/1802.01	c  S st   458    104817    863360   2310854         0   4231264     24569  17441049    591379     12.10   no data  --
1800.02/1802.01	c  S st   458    105317    862452   2310854         0   4231343     24711  17441049    592865     12.10   no data  --
1800.02/1802.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.62
1800.02/1802.01	c Flit:   807 Blit:   7869 bXBeca:    0 bXProp:  363 Bins:   7952 BRemL:     15 BRemN:     14 P: 200.1M T: 18.16
1800.02/1802.01	c Cleaning up after failed var search:     0.31 s 
1800.02/1802.01	c Replacing      363 vars Replaced    32468 lits Time:     0.70 s 
1800.02/1802.01	c bin-w-bin subsume rem         1384 bins  time:  0.64 s
1800.02/1802.01	c subs with bin:     2438  lits-rem:      3007  v-fix:    0  time:  1.10 s
1800.02/1802.01	c Subs w/ non-existent bins:     39 l-rem:    148 v-fix:   624 done:  22846 time: 17.77 s
1800.02/1802.01	c Removed useless bin:      51  fixed:     0  props:  20.00M  time:  0.69 s
1800.02/1802.01	c lits-rem:       667  cl-subs:     3939  v-elim:    489  v-fix:    0  time:  5.54 s
1800.02/1802.01	c asymm  cl-useful: 44/574/2278170 lits-rem:132 time: 0.70
1800.02/1802.01	c  N dy   458    105317    851046   2278126         0   4173963     22898  17175644    561404     12.10   no data  --
1800.02/1802.01	c  N dy   489    112060    851040   2278126         0   4174014     29453  17175644    846956     12.08     21.96  --
1800.02/1802.01	c  N dy   531    119760    851040   2278126         0   4174064     36939  17175644   1233734     12.16     12.81  --
1800.02/1802.01	c  N dy   566    127417    851040   2278126         0   4174149     22995  17175644    453795     12.14     13.86  --
1800.02/1802.01	c  N dy   608    135590    851026   2278126         0   4174288     30878  17175644    864909     12.16     13.02  --
1800.02/1802.01	c  N dy   658    144934    851010   2278126         0   4174365     39985  17175644   1362564     12.21     12.94  --
1800.02/1802.01	c  N dy   719    154267    850996   2278126         0   4174429     26237  17175644    538783     12.43     16.35  --
1800.02/1802.01	c  S st   737    157975    850975   2278126         0   4174494     29800  17175644    691025     12.42     11.89  --
1800.02/1802.01	c  S st   737    158475    850493   2278126         0   4174571     29954  17175644    692876     12.42   no data  --
1800.02/1802.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.63
1800.02/1802.01	c Flit:   780 Blit:   4918 bXBeca:    0 bXProp:  301 Bins:  11350 BRemL:      2 BRemN:      0 P: 200.0M T: 19.87
1800.02/1802.01	c Cleaning up after failed var search:     0.00 s 
1800.02/1802.01	c Replacing      302 vars Replaced    18284 lits Time:     1.01 s 
1800.02/1802.01	c bin-w-bin subsume rem          426 bins  time:  0.64 s
1800.02/1802.01	c subs with bin:      985  lits-rem:      1121  v-fix:    0  time:  1.13 s
1800.02/1802.01	c Subs w/ non-existent bins:     35 l-rem:     14 v-fix:   574 done:  23196 time: 16.51 s
1800.02/1802.01	c Removed useless bin:     523  fixed:   701  props:  20.02M  time:  0.71 s
1800.02/1802.01	c lits-rem:       232  cl-subs:     2081  v-elim:    415  v-fix:    0  time:  5.67 s
1800.02/1802.01	c asymm  cl-useful: 513/909/2255949 lits-rem:1539 time: 0.73
1800.02/1802.01	c  N dy   737    158475    841820   2255436         0   4135977     28489  16981750    677724     12.42   no data  --
1800.02/1802.01	c Finding binary XORs  T:     0.76 s  found:     183
1800.02/1802.01	c  N dy   788    168645    841791   2255436         0   4136101     38306  16981750   1091361     12.47     14.19  --
1800.02/1802.01	c  N dy   854    179743    841767   2255436         0   4136199     25305  16981750    481149     12.59     13.52  --
1800.02/1802.01	c  N dy   897    191273    841700   2255436         0   4136356     36448  16981750    976985     12.54     16.54  --
1800.02/1802.01	c  N dy   955    203765    841670   2255436         0   4136652     48458  16981750   1566750     12.55     13.24  --
1800.02/1802.01	c  N dy  1006    217163    841628   2255436         0   4136931     36388  16981750    799904     12.46     13.29  --

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-3718718-1338272635/watcher-3718718-1338272635 -o /tmp/evaluation-result-3718718-1338272635/solver-3718718-1338272635 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718718-1338272635.opb PrimePower CARD.DP ./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.02 2.01 1.92 3/177 2704
/proc/meminfo: memFree=24249888/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/2704/stat : 2704 (python) D 2702 2704 2247 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 293392089 15642624 527 33554432000 4194304 5683644 140737383155232 140737383141144 240426763152 0 0 16781312 2 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/2704/statm: 3819 527 312 364 0 261 0

[startup+0.0607609 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 2704
/proc/meminfo: memFree=24249888/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=16596 CPUtime=0.01 cores=1,3,5,7
/proc/2704/stat : 2704 (python) R 2702 2704 2247 0 -1 4202496 1186 0 0 0 1 0 0 0 20 0 1 0 293392089 16994304 995 33554432000 4194304 5683644 140737383155232 140737383138600 240426763152 0 0 16781312 2 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/2704/statm: 4149 995 417 364 0 591 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16596

[startup+0.100316 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 2704
/proc/meminfo: memFree=24249888/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383153080 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000

[startup+0.300341 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 2704
/proc/meminfo: memFree=24249888/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383153080 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000

[startup+0.700339 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 2704
/proc/meminfo: memFree=24249888/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383153080 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000

[startup+1.50052 s]
/proc/loadavg: 2.02 2.01 1.92 3/182 2709
/proc/meminfo: memFree=24009712/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383153080 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2706] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2706/stat : 2706 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392097 9367552 267 33554432000 4194304 5064252 140734569019264 140734569017968 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2706/statm: 2287 267 226 213 0 72 0
[pid=2707] ppid=2706 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/2707/stat : 2707 (python) S 2706 2704 2247 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293392097 17145856 1059 33554432000 4194304 5683644 140737103390048 140737103387896 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2707/statm: 4186 1059 429 364 0 628 0
[pid=2708] ppid=2707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2708/stat : 2708 (sh) S 2707 2704 2247 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293392100 9367552 268 33554432000 4194304 5064252 140734941988592 140734941987296 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2708/statm: 2287 268 226 213 0 72 0
[pid=2709] ppid=2708 vsize=700396 CPUtime=1.27 cores=1,3,5,7
/proc/2709/stat : 2709 (PBPASSolver-817) R 2708 2704 2247 0 -1 4202496 87825 0 0 0 82 45 0 0 20 0 1 0 293392100 717205504 75997 33554432000 4194304 4943705 140733852985488 140733852983760 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 10 0 0
/proc/2709/statm: 175099 76000 357 183 0 171469 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 752436

[startup+3.10052 s]
/proc/loadavg: 2.02 2.01 1.92 3/182 2709
/proc/meminfo: memFree=23844512/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383153080 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2706] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2706/stat : 2706 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392097 9367552 267 33554432000 4194304 5064252 140734569019264 140734569017968 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2706/statm: 2287 267 226 213 0 72 0
[pid=2707] ppid=2706 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/2707/stat : 2707 (python) S 2706 2704 2247 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293392097 17145856 1059 33554432000 4194304 5683644 140737103390048 140737103387896 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2707/statm: 4186 1059 429 364 0 628 0
[pid=2708] ppid=2707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2708/stat : 2708 (sh) S 2707 2704 2247 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293392100 9367552 268 33554432000 4194304 5064252 140734941988592 140734941987296 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2708/statm: 2287 268 226 213 0 72 0
[pid=2709] ppid=2708 vsize=1168876 CPUtime=2.87 cores=1,3,5,7
/proc/2709/stat : 2709 (PBPASSolver-817) R 2708 2704 2247 0 -1 4202496 139077 0 0 0 210 77 0 0 20 0 1 0 293392100 1196929024 129552 33554432000 4194304 4943705 140733852985488 140733852984400 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 10 0 0
/proc/2709/statm: 292219 129552 357 183 0 288589 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 1220916

[startup+6.30051 s]
/proc/loadavg: 2.02 2.01 1.92 3/182 2709
/proc/meminfo: memFree=23502520/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383153080 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2706] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2706/stat : 2706 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392097 9367552 267 33554432000 4194304 5064252 140734569019264 140734569017968 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2706/statm: 2287 267 226 213 0 72 0
[pid=2707] ppid=2706 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/2707/stat : 2707 (python) S 2706 2704 2247 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293392097 17145856 1059 33554432000 4194304 5683644 140737103390048 140737103387896 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2707/statm: 4186 1059 429 364 0 628 0
[pid=2708] ppid=2707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2708/stat : 2708 (sh) S 2707 2704 2247 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293392100 9367552 268 33554432000 4194304 5064252 140734941988592 140734941987296 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2708/statm: 2287 268 226 213 0 72 0
[pid=2709] ppid=2708 vsize=1831916 CPUtime=6.02 cores=1,3,5,7
/proc/2709/stat : 2709 (PBPASSolver-817) R 2708 2704 2247 0 -1 4202496 211593 0 0 0 480 122 0 0 20 0 1 0 293392100 1875881984 202068 33554432000 4194304 4943705 140733852985488 140733852983760 4358539 0 0 16781312 17608 0 0 0 17 5 0 0 15 0 0
/proc/2709/statm: 457979 202072 357 183 0 454349 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 1883956

[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 1.92 3/183 2710
/proc/meminfo: memFree=23054632/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383153080 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2706] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2706/stat : 2706 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392097 9367552 267 33554432000 4194304 5064252 140734569019264 140734569017968 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2706/statm: 2287 267 226 213 0 72 0
[pid=2707] ppid=2706 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/2707/stat : 2707 (python) S 2706 2704 2247 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293392097 17145856 1059 33554432000 4194304 5683644 140737103390048 140737103387896 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2707/statm: 4186 1059 429 364 0 628 0
[pid=2708] ppid=2707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2708/stat : 2708 (sh) S 2707 2704 2247 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293392100 9367552 268 33554432000 4194304 5064252 140734941988592 140734941987296 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2708/statm: 2287 268 226 213 0 72 0
[pid=2709] ppid=2708 vsize=2774764 CPUtime=12.37 cores=1,3,5,7
/proc/2709/stat : 2709 (PBPASSolver-817) R 2708 2704 2247 0 -1 4202496 314732 0 0 0 1050 187 0 0 20 0 1 0 293392100 2841358336 307511 33554432000 4194304 4943705 140733852985488 140733852984400 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 20 0 0
/proc/2709/statm: 693691 307511 357 183 0 690061 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 2826804

[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 1.92 3/183 2710
/proc/meminfo: memFree=22481232/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383153080 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2706] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2706/stat : 2706 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392097 9367552 267 33554432000 4194304 5064252 140734569019264 140734569017968 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2706/statm: 2287 267 226 213 0 72 0
[pid=2707] ppid=2706 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/2707/stat : 2707 (python) S 2706 2704 2247 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293392097 17145856 1059 33554432000 4194304 5683644 140737103390048 140737103387896 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2707/statm: 4186 1059 429 364 0 628 0
[pid=2708] ppid=2707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2708/stat : 2708 (sh) S 2707 2704 2247 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293392100 9367552 268 33554432000 4194304 5064252 140734941988592 140734941987296 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2708/statm: 2287 268 226 213 0 72 0
[pid=2709] ppid=2708 vsize=3970796 CPUtime=25.07 cores=1,3,5,7
/proc/2709/stat : 2709 (PBPASSolver-817) R 2708 2704 2247 0 -1 4202496 445549 0 0 0 2240 267 0 0 20 0 1 0 293392100 4066095104 440631 33554432000 4194304 4943705 140733852985488 140733852984400 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 28 0 0
/proc/2709/statm: 992699 440631 357 183 0 989069 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 4022836

[startup+51.1005 s]
/proc/loadavg: 2.01 2.00 1.92 3/183 2710
/proc/meminfo: memFree=21907948/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383153080 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2706] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2706/stat : 2706 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392097 9367552 267 33554432000 4194304 5064252 140734569019264 140734569017968 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2706/statm: 2287 267 226 213 0 72 0
[pid=2707] ppid=2706 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/2707/stat : 2707 (python) S 2706 2704 2247 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293392097 17145856 1059 33554432000 4194304 5683644 140737103390048 140737103387896 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2707/statm: 4186 1059 429 364 0 628 0
[pid=2708] ppid=2707 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2708/stat : 2708 (sh) S 2707 2704 2247 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293392100 9367552 268 33554432000 4194304 5064252 140734941988592 140734941987296 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2708/statm: 2287 268 226 213 0 72 0
[pid=2709] ppid=2708 vsize=5192588 CPUtime=50.44 cores=1,3,5,7
/proc/2709/stat : 2709 (PBPASSolver-817) R 2708 2704 2247 0 -1 4202496 579443 0 0 0 4366 678 0 0 20 0 1 0 293392100 5317210112 578963 33554432000 4194304 4943705 140733852985488 140733852981296 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 51 0 0
/proc/2709/statm: 1298147 578963 366 183 0 1294517 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 5244628

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 2710
/proc/meminfo: memFree=21690356/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383153080 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2706] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2706/stat : 2706 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293392097 9367552 267 33554432000 4194304 5064252 140734569019264 140734569017968 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2706/statm: 2287 267 226 213 0 72 0
[pid=2707] ppid=2706 vsize=16744 CPUtime=0.01 cores=1,3,5,7

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

/proc/loadavg: 2.00 2.00 1.94 3/181 2811
/proc/meminfo: memFree=21095492/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=474.75 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1404 855251 0 0 1 0 15735 31739 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383152776 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2717] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2717/stat : 2717 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293439735 9367552 267 33554432000 4194304 5064252 140734902228592 140734902227296 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2717/statm: 2287 267 226 213 0 72 0
[pid=2718] ppid=2717 vsize=5080020 CPUtime=825.66 cores=1,3,5,7
/proc/2718/stat : 2718 (CryptoMiniSat) R 2717 2704 2247 0 -1 4202496 738915 0 0 0 82186 380 0 0 20 0 1 0 293439736 5201940480 1007640 33554432000 4194304 4734972 140737067558272 140737067550296 4241804 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2718/statm: 1270005 1007640 401 132 0 1264905 0
Current children cumulated CPU time (s) 1300.41
Current children cumulated vsize (KiB) 5106168

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 2811
/proc/meminfo: memFree=21083808/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=474.75 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1404 855251 0 0 1 0 15735 31739 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383152776 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2717] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2717/stat : 2717 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293439735 9367552 267 33554432000 4194304 5064252 140734902228592 140734902227296 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2717/statm: 2287 267 226 213 0 72 0
[pid=2718] ppid=2717 vsize=5080020 CPUtime=885.63 cores=1,3,5,7
/proc/2718/stat : 2718 (CryptoMiniSat) R 2717 2704 2247 0 -1 4202496 738957 0 0 0 88183 380 0 0 20 0 1 0 293439736 5201940480 1007659 33554432000 4194304 4734972 140737067558272 140737067550760 4327805 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2718/statm: 1270005 1007659 401 132 0 1264905 0
Current children cumulated CPU time (s) 1360.38
Current children cumulated vsize (KiB) 5106168

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 2812
/proc/meminfo: memFree=20916152/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=474.75 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1404 855251 0 0 1 0 15735 31739 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383152776 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2717] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2717/stat : 2717 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293439735 9367552 267 33554432000 4194304 5064252 140734902228592 140734902227296 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2717/statm: 2287 267 226 213 0 72 0
[pid=2718] ppid=2717 vsize=5178852 CPUtime=945.64 cores=1,3,5,7
/proc/2718/stat : 2718 (CryptoMiniSat) R 2717 2704 2247 0 -1 4202496 740671 0 0 0 94182 382 0 0 20 0 1 0 293439736 5303144448 1032395 33554432000 4194304 4734972 140737067558272 140737067549912 4313122 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2718/statm: 1294713 1032395 401 132 0 1289613 0
Current children cumulated CPU time (s) 1420.39
Current children cumulated vsize (KiB) 5205000

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 2812
/proc/meminfo: memFree=21013956/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=474.75 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1404 855251 0 0 1 0 15735 31739 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383152776 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2717] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2717/stat : 2717 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293439735 9367552 267 33554432000 4194304 5064252 140734902228592 140734902227296 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2717/statm: 2287 267 226 213 0 72 0
[pid=2718] ppid=2717 vsize=5042264 CPUtime=1005.62 cores=1,3,5,7
/proc/2718/stat : 2718 (CryptoMiniSat) R 2717 2704 2247 0 -1 4202496 743667 0 0 0 100174 388 0 0 20 0 1 0 293439736 5163278336 998748 33554432000 4194304 4734972 140737067558272 140737067550296 4327579 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2718/statm: 1260566 998748 401 132 0 1255466 0
Current children cumulated CPU time (s) 1480.37
Current children cumulated vsize (KiB) 5068412

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 2812
/proc/meminfo: memFree=20966584/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=474.75 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1404 855251 0 0 1 0 15735 31739 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383152776 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2717] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2717/stat : 2717 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293439735 9367552 267 33554432000 4194304 5064252 140734902228592 140734902227296 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2717/statm: 2287 267 226 213 0 72 0
[pid=2718] ppid=2717 vsize=5042264 CPUtime=1065.61 cores=1,3,5,7
/proc/2718/stat : 2718 (CryptoMiniSat) R 2717 2704 2247 0 -1 4202496 743672 0 0 0 106173 388 0 0 20 0 1 0 293439736 5163278336 998748 33554432000 4194304 4734972 140737067558272 140737067550296 4443039 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2718/statm: 1260566 998748 401 132 0 1255466 0
Current children cumulated CPU time (s) 1540.36
Current children cumulated vsize (KiB) 5068412

[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/182 2815
/proc/meminfo: memFree=20826836/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=474.75 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1404 855251 0 0 1 0 15735 31739 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383152776 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2717] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2717/stat : 2717 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293439735 9367552 267 33554432000 4194304 5064252 140734902228592 140734902227296 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2717/statm: 2287 267 226 213 0 72 0
[pid=2718] ppid=2717 vsize=5174040 CPUtime=1125.6 cores=1,3,5,7
/proc/2718/stat : 2718 (CryptoMiniSat) R 2717 2704 2247 0 -1 4202496 745448 0 0 0 112170 390 0 0 20 0 1 0 293439736 5298216960 1031692 33554432000 4194304 4734972 140737067558272 140737067549912 4311743 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2718/statm: 1293510 1031692 401 132 0 1288410 0
Current children cumulated CPU time (s) 1600.35
Current children cumulated vsize (KiB) 5200188

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/181 2815
/proc/meminfo: memFree=20907840/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=474.75 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1404 855251 0 0 1 0 15735 31739 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383152776 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2717] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2717/stat : 2717 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293439735 9367552 267 33554432000 4194304 5064252 140734902228592 140734902227296 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2717/statm: 2287 267 226 213 0 72 0
[pid=2718] ppid=2717 vsize=5080660 CPUtime=1185.58 cores=1,3,5,7
/proc/2718/stat : 2718 (CryptoMiniSat) R 2717 2704 2247 0 -1 4202496 747699 0 0 0 118162 396 0 0 20 0 1 0 293439736 5202595840 1008057 33554432000 4194304 4734972 140737067558272 140737067550296 4385048 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2718/statm: 1270165 1008057 401 132 0 1265065 0
Current children cumulated CPU time (s) 1660.33
Current children cumulated vsize (KiB) 5106808

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/181 2816
/proc/meminfo: memFree=20860188/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=474.75 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1404 855251 0 0 1 0 15735 31739 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383152776 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2717] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2717/stat : 2717 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293439735 9367552 267 33554432000 4194304 5064252 140734902228592 140734902227296 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2717/statm: 2287 267 226 213 0 72 0
[pid=2718] ppid=2717 vsize=5080660 CPUtime=1245.57 cores=1,3,5,7
/proc/2718/stat : 2718 (CryptoMiniSat) R 2717 2704 2247 0 -1 4202496 747699 0 0 0 124161 396 0 0 20 0 1 0 293439736 5202595840 1008057 33554432000 4194304 4734972 140737067558272 140737067550760 4329765 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2718/statm: 1270165 1008057 401 132 0 1265065 0
Current children cumulated CPU time (s) 1720.32
Current children cumulated vsize (KiB) 5106808

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 2816
/proc/meminfo: memFree=20831276/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=474.75 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1404 855251 0 0 1 0 15735 31739 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383152776 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2717] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2717/stat : 2717 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293439735 9367552 267 33554432000 4194304 5064252 140734902228592 140734902227296 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2717/statm: 2287 267 226 213 0 72 0
[pid=2718] ppid=2717 vsize=5080660 CPUtime=1305.56 cores=1,3,5,7
/proc/2718/stat : 2718 (CryptoMiniSat) R 2717 2704 2247 0 -1 4202496 747699 0 0 0 130160 396 0 0 20 0 1 0 293439736 5202595840 1008057 33554432000 4194304 4734972 140737067558272 140737067550296 4327579 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2718/statm: 1270165 1008057 401 132 0 1265065 0
Current children cumulated CPU time (s) 1780.31
Current children cumulated vsize (KiB) 5106808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 2816
/proc/meminfo: memFree=20831956/32873844 swapFree=6088/6088
[pid=2704] ppid=2702 vsize=17000 CPUtime=474.75 cores=1,3,5,7
/proc/2704/stat : 2704 (python) S 2702 2704 2247 0 -1 4202496 1404 855251 0 0 1 0 15735 31739 20 0 1 0 293392089 17408000 1082 33554432000 4194304 5683644 140737383155232 140737383152776 240426763648 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2704/statm: 4250 1082 429 364 0 692 0
[pid=2717] ppid=2704 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2717/stat : 2717 (sh) S 2704 2704 2247 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293439735 9367552 267 33554432000 4194304 5064252 140734902228592 140734902227296 240426575438 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2717/statm: 2287 267 226 213 0 72 0
[pid=2718] ppid=2717 vsize=5080660 CPUtime=1325.27 cores=1,3,5,7
/proc/2718/stat : 2718 (CryptoMiniSat) R 2717 2704 2247 0 -1 4202496 747699 0 0 0 132131 396 0 0 20 0 1 0 293439736 5202595840 1008057 33554432000 4194304 4734972 140737067558272 140737067550296 4327879 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/2718/statm: 1270165 1008057 401 132 0 1265065 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 5106808

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 2704 and gives
#  childrusage.ru_utime.tv_sec=157
#  childrusage.ru_utime.tv_usec=376075
#  childrusage.ru_stime.tv_sec=317
#  childrusage.ru_stime.tv_usec=408746
# CPU time returned by wait4() is 474.785
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1802.02
CPU time (s): 1800.02
CPU user time (s): 1478.67
CPU system time (s): 321.35
CPU usage (%): 99.8893
Max. virtual memory (cumulated for all children) (KiB): 6241556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 157.376
system time used= 317.409
maximum resident set size= 3320728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 857508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1769296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 403
involuntary context switches= 494

runsolver used 6.48101 second user time and 20.1859 second system time

The end

Launcher Data 

Begin job on node108 at 2012-05-29 08:23:55
IDJOB=3718718
IDBENCH=74369
IDSOLVER=2302
FILE ID=node108/3718718-1338272635
RUNJOBID= node108-1338268851-2264
PBS_JOBID= 14625713
Free space on /tmp= 71672 MiB

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

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

MD5SUM BENCH= 0f318fc75cd8d877b44870fe2fa76e77
RANDOM SEED=1334350420

node108.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        24250260 kB
Buffers:          342424 kB
Cached:          4858116 kB
SwapCached:            0 kB
Active:          3383616 kB
Inactive:        4436444 kB
Active(anon):    2618988 kB
Inactive(anon):        0 kB
Active(file):     764628 kB
Inactive(file):  4436444 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             15584 kB
Writeback:             0 kB
AnonPages:       2622484 kB
Mapped:            15672 kB
Shmem:               200 kB
Slab:             659552 kB
SReclaimable:     101164 kB
SUnreclaim:       558388 kB
KernelStack:        1480 kB
PageTables:         9252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2950696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1474560 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= 70788 MiB
End job on node108 at 2012-05-29 08:53:57