Trace number 3172710

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
CryptoMiniSat TechDemo-Alpha-mt? (TO) 4800.28 1201.72

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf
MD5SUM0d2557a5d8edb4c9702dcfea1e1cd4c5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.030994
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55340

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3172710-1304089312.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.01	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.01	c -- vars added         60
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.00/0.13	c asymm  cl-useful: 0/1908/5340 lits-rem:0 time: 0.43
0.00/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
0.00/0.13	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
0.00/0.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.13	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.13	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.00/0.36	c lits-rem:         0  cl-subs:        0  v-elim:     40  v-fix:    0  time:  0.04 s
0.00/0.36	c learnt bin added due to v-elim: 0
0.00/0.36	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.36	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.00/0.36	c calculated reachability. Time: 0.00
0.00/0.36	c Calc default polars -  time:   0.00 s pos:      24 undec:       1 neg:      35
0.00/0.36	c =========================================================================================
0.00/0.36	c types(t): F = full restart, N = normal restart
0.00/0.36	c types(t): S = simplification begin/end, E = solution found
0.00/0.36	c restart types(rt): st = static, dy = dynamic
0.00/0.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.00/0.36	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.00/0.36	c Decided on static restart strategy
0.00/0.36	c  N dy    19      4018        60      5340         0      3573     37380     76209     21.48     18.85  --
1.39/0.83	c  N dy    46      8036        60      5340         0      4934     37380     99230     21.34     18.81  --
1.39/0.83	c  N dy    74     12170        60      5340         0      4851     37380     89147     21.90     18.96  --
4.04/1.03	c  N dy   102     16311        60      5340         0      8580     37380    169179     21.55     18.98  --
5.24/1.33	c  N dy   130     20456        60      5340         0      7257     37380    129388     21.39     18.92  --
5.94/1.53	c  N dy   157     24508        60      5340         0     10912     37380    207025     21.38     18.88  --
7.15/1.82	c  N dy   185     28649        60      5340         0      8503     37380    146205     21.98     18.88  --
7.55/1.92	c  S st   195     30000        60      5340         0      9715     37380    171972     21.24     18.87  --
7.55/1.97	c  S st   195     30503        60      5340         0     10178     37380    181965     21.24     18.87  --
7.55/1.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.55/1.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.55/1.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.08
7.55/1.99	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
7.55/1.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.55/1.99	c Subs w/ non-existent bins:      0 time:  0.00 s
7.55/1.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.55/1.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.55/1.99	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.94/2.58	c lits-rem:      1371  cl-subs:     1283  v-elim:     60  v-fix:    0  time:  2.35 s
9.94/2.58	c learnt bin added due to v-elim: 0
9.94/2.58	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
9.94/2.58	c vivif2 --  cl tried     8895 cl shrink        0 lits rem          0 time: 0.00
10.74/2.74	c asymm  cl-useful: 0/1998/5340 lits-rem:0 time: 0.61
10.74/2.74	c calculated reachability. Time: 0.00
10.74/2.74	c  N dy   195     30503        60      5340         0      8895     37380    155843     21.24     18.87  --
10.74/2.74	c  F st   195     30503        60      5340         0      8895     37380    155843     21.24     18.87  --
11.14/2.89	c Decided on static restart strategy
11.96/3.05	c  N dy   214     34552        60      5340         0     12521     37380    232547     21.57     18.83  --
13.13/3.36	c  N dy   241     38579        60      5340         0      9097     37380    149591     21.46     18.84  --
14.33/3.67	c  N dy   268     42652        60      5340         0     12781     37380    228593     21.53     18.86  --
15.53/3.96	c  S st   289     45754        60      5340         0     15561     37380    288937     22.19     18.89  --
15.95/4.01	c  S st   289     46259        60      5340         0     16030     37380    299210     22.19     18.89  --
15.95/4.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.95/4.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.95/4.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.1M T:  0.16
15.95/4.05	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
15.95/4.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.95/4.05	c Subs w/ non-existent bins:      0 time:  0.01 s
15.95/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.95/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.06	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
19.13/4.88	c lits-rem:      2356  cl-subs:     2093  v-elim:     60  v-fix:    0  time:  3.27 s
19.13/4.88	c learnt bin added due to v-elim: 0
19.13/4.88	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
19.13/4.88	c vivif2 --  cl tried    13937 cl shrink        0 lits rem          0 time: 0.01
19.93/5.04	c asymm  cl-useful: 0/1413/5340 lits-rem:0 time: 0.64
19.93/5.04	c calculated reachability. Time: 0.00
19.93/5.04	c  N dy   289     46259        60      5340         0     13937     37380    251357     22.19     18.89  --
21.12/5.39	c  N dy   316     50278        60      5340         0      9634     37380    150691     21.16     18.90  --
22.72/5.71	c  N dy   343     54282        60      5340         0     13232     37380    227965     21.79     18.91  --
24.32/6.10	c  N dy   370     58334        60      5340         0     16844     37380    305253     21.70     18.92  --
25.51/6.44	c  N dy   397     62381        60      5340         0     11584     37380    181420     21.21     18.92  --
26.71/6.79	c  N dy   424     66429        60      5340         0     15228     37380    259157     20.83     18.91  --
27.91/7.09	c  S st   445     69390        60      5340         0     17880     37380    315308     21.48     18.91  --
28.31/7.16	c  S st   445     69891        60      5340         0     18337     37380    325284     21.48     18.91  --
28.31/7.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.31/7.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.71/7.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.1M T:  0.22
28.71/7.21	c Calc non-exist non-lernt bins v-fix:     0 done:     60 time:  0.00 s
28.71/7.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.71/7.21	c Subs w/ non-existent bins:      0 time:  0.01 s
28.71/7.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.71/7.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.71/7.22	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
31.50/7.99	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
35.89/9.02	c Added 1 vars  tried: 16020 time: 4.13
35.89/9.03	c ORs :      1 avg-s:  0.0 cl-sh:  1246 l-rem:   1246 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    4.17
35.89/9.04	c lits-rem:      1940  cl-subs:     2293  v-elim:     60  v-fix:    0  time:  7.26 s
35.89/9.04	c learnt bin added due to v-elim: 0
35.89/9.04	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
35.89/9.04	c vivif2 --  cl tried    16044 cl shrink        0 lits rem          0 time: 0.01
36.70/9.20	c asymm  cl-useful: 0/1945/5341 lits-rem:0 time: 0.65
36.70/9.20	c calculated reachability. Time: 0.00
36.70/9.20	c  N dy   445     69891        61      5341         2     16044     37365    273305     21.48     18.91  --
36.70/9.20	c  F st   445     69891        61      5341         2     16044     37365    273305     21.48     18.91  --
37.50/9.41	c Decided on static restart strategy
38.32/9.67	c  N dy   467     74362        61      5341         2     10326     37365    146029     21.63     18.92  --
39.89/10.07	c  N dy   499     79164        61      5341         2     14661     37365    238333     21.84     18.92  --
41.89/10.60	c  N dy   534     84356        61      5341         2     19342     37365    338468     21.90     18.92  --
44.28/11.14	c  N dy   570     89751        61      5341         2     13466     37365    200948     22.21     18.93  --
46.70/11.71	c  N dy   609     95605        61      5341         2     18690     37365    313920     21.67     18.94  --
49.48/12.42	c  N dy   650    101798        61      5341         2     12624     37365    173360     21.71     18.96  --
50.68/12.71	c  S st   671    104836        61      5341         2     15337     37365    231437     21.76     18.96  --
50.68/12.76	c  S st   671    105340        61      5341         2     15809     37365    241646     21.76     18.96  --
50.68/12.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.68/12.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.10/12.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.6M T:  0.21
51.10/12.82	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
51.10/12.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.10/12.82	c Subs w/ non-existent bins:      0 time:  0.01 s
51.10/12.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
51.10/12.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.10/12.82	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
53.48/13.45	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
53.48/13.45	c lits-rem:       993  cl-subs:     1210  v-elim:     60  v-fix:    0  time:  2.52 s
53.48/13.45	c learnt bin added due to v-elim: 0
53.48/13.45	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
53.48/13.46	c vivif2 --  cl tried    14599 cl shrink        0 lits rem          0 time: 0.01
54.27/13.61	c asymm  cl-useful: 0/1404/5341 lits-rem:0 time: 0.61
54.27/13.61	c calculated reachability. Time: 0.00
54.27/13.61	c  N dy   671    105340        61      5341         2     14599     37365    217177     21.76     18.96  --
57.06/14.34	c  N dy   717    112114        61      5341         2     20655     37365    346380     21.37     18.96  --
60.28/15.19	c  N dy   766    119409        61      5341         2     14718     37365    209850     21.64     18.96  --
63.46/15.99	c  N dy   818    127090        61      5341         2     21583     37365    356161     21.65     18.97  --
67.85/17.00	c  N dy   873    135274        61      5341         2     15541     37365    217912     21.63     18.97  --
71.45/17.99	c  N dy   932    144041        61      5341         2     23402     37365    386577     21.65     18.97  --
76.64/19.23	c  N dy   995    153366        61      5341         2     17447     37365    245149     21.73     18.97  --
78.63/19.77	c  S st  1026    158011        61      5341         2     21605     37365    333268     20.92     18.97  --
79.03/19.84	c  S st  1026    158514        61      5341         2     22077     37365    343569     20.92     18.97  --
79.03/19.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.03/19.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.43/19.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.7M T:  0.34
79.43/19.93	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
79.43/19.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.43/19.93	c Subs w/ non-existent bins:      0 time:  0.01 s
79.43/19.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.43/19.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.43/19.94	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
83.03/20.83	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
83.03/20.84	c lits-rem:      1373  cl-subs:     2219  v-elim:     60  v-fix:    0  time:  3.60 s
83.03/20.84	c learnt bin added due to v-elim: 0
83.03/20.84	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
83.03/20.84	c vivif2 --  cl tried    19858 cl shrink        0 lits rem          0 time: 0.01
83.83/21.00	c asymm  cl-useful: 0/1103/5341 lits-rem:0 time: 0.63
83.83/21.00	c calculated reachability. Time: 0.00
83.83/21.00	c  N dy  1026    158514        61      5341         2     19858     37365    298472     20.92     18.97  --
89.02/22.35	c  N dy  1094    168690        61      5341         2     28951     37365    492694     21.43     18.97  --
94.62/23.70	c  N dy  1167    179539        61      5341         2     23569     37365    368289     21.59     18.97  --
101.00/25.39	c  N dy  1245    191149        61      5341         2     17923     37365    235554     21.30     18.98  --
107.80/27.05	c  N dy  1328    203479        61      5341         2     28974     37365    472717     22.11     18.98  --
115.39/28.92	c  N dy  1416    216566        61      5341         2     23717     37365    350507     21.81     18.99  --
124.18/31.18	c  N dy  1509    230467        65      5341        10     18249     37381    222841     21.96     18.99  --
128.17/32.11	c  S st  1559    237771        65      5341        10     24768     37381    361926     21.75     18.99  --
128.17/32.19	c  S st  1559    238276        65      5341        10     25228     37381    371821     21.75     18.99  --
128.17/32.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
128.17/32.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.98/32.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.4M T:  0.43
128.98/32.31	c Calc non-exist non-lernt bins v-fix:     0 done:     65 time:  0.00 s
128.98/32.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.98/32.31	c Subs w/ non-existent bins:      0 time:  0.01 s
128.98/32.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
128.98/32.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.98/32.31	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
132.57/33.28	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
132.57/33.28	c lits-rem:      1047  cl-subs:     2260  v-elim:     60  v-fix:    0  time:  3.87 s
132.57/33.28	c learnt bin added due to v-elim: 0
132.57/33.28	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
132.57/33.29	c vivif2 --  cl tried    22968 cl shrink        0 lits rem          0 time: 0.01
133.37/33.44	c asymm  cl-useful: 0/889/5341 lits-rem:0 time: 0.62
133.37/33.44	c calculated reachability. Time: 0.00
133.37/33.44	c  N dy  1559    238276        65      5341        10     22968     37381    327348     21.75     18.99  --
143.37/35.91	c  N dy  1662    253523        65      5341        10     36671     37381    622338     22.01     18.96  --
152.94/38.38	c  N dy  1772    269796        65      5341        10     32679     37381    525527     21.63     18.94  --
164.52/41.21	c  N dy  1889    287170        65      5341        10     28684     37381    424298     21.20     18.90  --
177.70/44.57	c  N dy  2013    305616        65      5341        10     24603     37381    324362     21.91     18.88  --
192.49/48.20	c  N dy  2145    325215        65      5341        10     42377     37381    705594     21.43     18.85  --
206.06/51.70	c  N dy  2280    345264        65      5341        10     38771     37381    616299     21.77     18.83  --
215.65/54.04	c  S st  2362    357415        69      5341        23     27187     37401    356955     21.68     18.81  --
216.05/54.14	c  S st  2362    357917        69      5341        23     27652     37401    366826     21.68     18.81  --
216.05/54.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
216.05/54.14	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
216.45/54.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      2 CBin:       0 P:  9.4M T:  0.52
216.45/54.27	c Calc non-exist non-lernt bins v-fix:     0 done:     69 time:  0.00 s
216.45/54.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.45/54.27	c Subs w/ non-existent bins:      0 time:  0.02 s
216.45/54.28	c Replacing        2 vars Replaced     1559 lits Time:     0.03 s 
216.45/54.29	c bin-w-bin subsume rem            2 bins  time:  0.00 s
216.45/54.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
216.45/54.29	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
220.45/55.29	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
220.85/55.30	c lits-rem:       811  cl-subs:     1930  v-elim:     60  v-fix:    0  time:  4.05 s
220.85/55.30	c learnt bin added due to v-elim: 0
220.85/55.30	c vivif2 --  cl tried     5341 cl shrink        0 lits rem          0 time: 0.00
220.85/55.31	c vivif2 --  cl tried    25722 cl shrink        0 lits rem          0 time: 0.01
221.25/55.46	c asymm  cl-useful: 0/1177/5341 lits-rem:0 time: 0.63
221.25/55.46	c calculated reachability. Time: 0.00
221.25/55.46	c  N dy  2362    357917        67      5341        14     25722     37389    333063     21.68     18.81  --
236.43/59.24	c  N dy  2498    377999        67      5341        14     43923     37389    725009     21.30     18.79  --
252.00/63.13	c  N dy  2633    398039        67      5341        14     38657     37389    594075     21.82     18.76  --
268.78/67.35	c  N dy  2769    418111        67      5341        14     32404     37389    449215     21.32     18.74  --
287.16/71.91	c  N dy  2904    438139        67      5341        14     50580     37389    840676     21.90     18.73  --
303.53/76.00	c  N dy  3040    458224        67      5341        14     43485     37389    679052     21.91     18.71  --
373.84/93.60	c  N dy  3090    536876        67      5341        14     32746     37389    416871     20.20     18.37  --
373.84/93.62	c  S st  3090    536876        67      5341        14     32746     37389    416871     20.20     18.37  --
374.24/93.73	c  S st  3090    537376        71      5341        38     33221     37421    427722     20.20     18.37  --
374.24/93.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
374.24/93.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
375.04/93.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.4M T:  0.69
375.04/93.91	c Calc non-exist non-lernt bins v-fix:     0 done:     71 time:  0.00 s
375.04/93.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
375.04/93.91	c Subs w/ non-existent bins:      0 time:  0.02 s
375.04/93.92	c Replacing        4 vars Replaced      627 lits Time:     0.02 s 
375.04/93.93	c bin-w-bin subsume rem            8 bins  time:  0.00 s
375.04/93.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
375.04/93.93	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
379.83/95.14	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
401.40/100.51	c Added 1 vars  tried: 80000 time: 21.44
401.40/100.53	c ORs :      1 avg-s:  0.0 cl-sh:  2678 l-rem:   2678 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   21.55
401.40/100.54	c lits-rem:       552  cl-subs:     2465  v-elim:     60  v-fix:    0  time: 26.42 s
401.40/100.54	c learnt bin added due to v-elim: 0
401.40/100.54	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
401.40/100.55	c vivif2 --  cl tried    30756 cl shrink        0 lits rem          0 time: 0.02
402.20/100.70	c asymm  cl-useful: 0/911/5342 lits-rem:0 time: 0.62
402.20/100.71	c calculated reachability. Time: 0.00
402.20/100.71	c  N dy  3090    537376        68      5342        16     30756     37369    385637     20.20     18.37  --
402.20/100.71	c  F st  3090    537376        68      5342        16     30756     37369    385637     20.20     18.37  --
403.39/101.06	c Decided on static restart strategy
418.98/104.94	c  N dy  3217    557390        68      5342        16     48969     37369    777827     21.52     18.37  --
674.63/168.90	c  N dy  3303    806064        68      5342        16     52778     37369    801355     22.72     17.23  --
674.63/168.93	c  S st  3303    806064        68      5342        16     52778     37369    801355     22.72     17.23  --
675.45/169.12	c  S st  3303    806568        70      5342        28     53246     37385    811828     22.72     17.23  --
675.45/169.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
675.45/169.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
676.62/169.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 19.9M T:  1.39
676.62/169.47	c Calc non-exist non-lernt bins v-fix:     0 done:     70 time:  0.00 s
676.62/169.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
676.62/169.48	c Subs w/ non-existent bins:      0 time:  0.04 s
677.02/169.51	c Replacing        2 vars Replaced     1069 lits Time:     0.14 s 
677.02/169.53	c bin-w-bin subsume rem            4 bins  time:  0.00 s
677.02/169.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
677.02/169.53	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
688.63/172.44	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 25.0 T:    0.05
688.63/172.45	c lits-rem:      5406  cl-subs:     4632  v-elim:     60  v-fix:    0  time: 11.68 s
688.63/172.45	c learnt bin added due to v-elim: 0
688.63/172.45	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
688.63/172.46	c vivif2 --  cl tried    48613 cl shrink        0 lits rem          0 time: 0.04
689.00/172.55	c asymm  cl-useful: 0/302/5342 lits-rem:0 time: 0.36
689.00/172.56	c calculated reachability. Time: 0.00
689.00/172.56	c  N dy  3303    806568        68      5342        16     48613     37369    717775     22.72     17.23  --
1184.33/296.52	c  N dy  3399   1209854        68      5342        16     62197     37369    889574     19.18     16.64  --
1184.33/296.56	c  S st  3399   1209854        68      5342        16     62197     37369    889574     19.18     16.64  --
1185.15/296.77	c  S st  3399   1210357        72      5342        24     62683     37385    900177     19.18     16.64  --
1185.15/296.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1185.15/296.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1186.73/297.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 24.5M T:  1.64
1186.73/297.19	c Calc non-exist non-lernt bins v-fix:     0 done:     72 time:  0.01 s
1186.73/297.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1187.13/297.20	c Subs w/ non-existent bins:      0 time:  0.04 s
1187.13/297.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1187.13/297.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1187.13/297.22	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1205.91/301.96	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.05
1205.91/301.98	c lits-rem:      1681  cl-subs:     9407  v-elim:     60  v-fix:    0  time: 19.02 s
1205.91/301.98	c learnt bin added due to v-elim: 0
1205.91/301.98	c vivif2 --  cl tried     5342 cl shrink        0 lits rem          0 time: 0.00
1205.91/301.99	c vivif2 --  cl tried    53276 cl shrink        0 lits rem          0 time: 0.04
1206.31/302.08	c asymm  cl-useful: 0/291/5342 lits-rem:0 time: 0.36
1206.31/302.09	c calculated reachability. Time: 0.00
1206.31/302.09	c  N dy  3399   1210357        72      5342        24     53276     37385    740096     19.18     16.64  --
1235.46/309.30	c  N dy  3536   1230500        73      5342        26     71768     37389   1140814     21.62     16.67  --
1267.03/317.21	c  N dy  3673   1250626        73      5342        26     47845     37389    612090     21.98     16.69  --
1995.64/499.64	c  N dy  3805   1710358        73      5342        26     84465     37389   1323861     22.18     16.37  --
1996.04/499.70	c  S st  3805   1710358        73      5342        26     84465     37389   1323861     22.18     16.37  --
1997.24/500.00	c  S st  3805   1710861        73      5342        26     84938     37389   1333934     22.18     16.37  --
1997.24/500.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1997.24/500.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1999.63/500.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 35.7M T:  2.61
1999.63/500.66	c Calc non-exist non-lernt bins v-fix:     0 done:     73 time:  0.01 s
1999.63/500.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1999.63/500.68	c Subs w/ non-existent bins:      0 time:  0.06 s
2000.03/500.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2000.03/500.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2000.03/500.70	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2035.99/509.77	c ORs :      2 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.09
2115.47/529.60	c Added 1 vars  tried: 80000 time: 79.21
2118.67/530.41	c ORs :      1 avg-s:  0.0 cl-sh: 19712 l-rem:  19712 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   82.43
2118.67/530.43	c lits-rem:      4029  cl-subs:     7298  v-elim:     60  v-fix:    0  time: 118.75 s
2118.67/530.43	c learnt bin added due to v-elim: 0
2118.67/530.43	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
2118.67/530.45	c vivif2 --  cl tried    77640 cl shrink        0 lits rem          0 time: 0.07
2119.07/530.55	c asymm  cl-useful: 0/164/5343 lits-rem:0 time: 0.40
2119.07/530.56	c calculated reachability. Time: 0.00
2119.07/530.56	c  N dy  3805   1710861        74      5343        28     77640     37368   1171838     22.18     16.37  --
2160.23/540.81	c  N dy  3942   1730985        74      5343        28     96263     37368   1570633     21.44     16.39  --
3063.79/767.06	c  N dy  3986   2210862        74      5343        28     91014     37368   1318152     18.65     16.08  --
3064.19/767.12	c  S st  3986   2210862        74      5343        28     91014     37368   1318152     18.65     16.08  --
3064.19/767.12	c Finding binary XORs  T:     0.00 s  found:       1
3064.19/767.12	c Replacing        1 vars Replaced       13 lits Time:     0.03 s 
3065.41/767.43	c  S st  3986   2211366        76      5343        34     91495     37380   1328750     18.65     16.08  --
3065.41/767.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3065.41/767.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3068.18/768.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 40.6M T:  2.89
3068.18/768.16	c Calc non-exist non-lernt bins v-fix:     0 done:     76 time:  0.01 s
3068.18/768.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3068.18/768.18	c Subs w/ non-existent bins:      0 time:  0.06 s
3068.58/768.20	c bin-w-bin subsume rem            2 bins  time:  0.00 s
3068.58/768.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3068.58/768.20	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3104.14/777.18	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.13
3104.54/777.20	c lits-rem:      1563  cl-subs:    14567  v-elim:     60  v-fix:    0  time: 35.95 s
3104.54/777.20	c learnt bin added due to v-elim: 0
3104.54/777.20	c vivif2 --  cl tried     5343 cl shrink        0 lits rem          0 time: 0.00
3104.54/777.22	c vivif2 --  cl tried    76928 cl shrink        0 lits rem          0 time: 0.07
3104.95/777.32	c asymm  cl-useful: 0/203/5343 lits-rem:0 time: 0.40
3104.95/777.33	c calculated reachability. Time: 0.00
3104.95/777.33	c  N dy  3986   2211366        76      5343        32     76928     37376   1082002     18.65     16.08  --
3145.27/787.46	c  N dy  4123   2231407        77      5343        34     95483     37380   1479057     21.67     16.09  --
4203.86/1052.43	c  N dy  4177   2711369        77      5343        34    101326     37380   1513120     19.74     15.90  --
4203.86/1052.49	c  S st  4177   2711369        77      5343        34    101326     37380   1513120     19.74     15.90  --
4205.43/1052.86	c  S st  4177   2711872        77      5343        34    101799     37380   1523520     19.74     15.90  --
4205.43/1052.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4205.43/1052.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4209.03/1053.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 47.9M T:  3.47
4209.03/1053.74	c Calc non-exist non-lernt bins v-fix:     0 done:     77 time:  0.01 s
4209.03/1053.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4209.03/1053.76	c Subs w/ non-existent bins:      0 time:  0.08 s
4209.03/1053.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4209.03/1053.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4209.03/1053.79	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4258.16/1066.01	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.30
4338.06/1086.07	c Added 1 vars  tried: 80000 time: 80.02
4340.08/1086.56	c ORs :      1 avg-s:  0.0 cl-sh: 14480 l-rem:  14480 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   81.99
4340.08/1086.59	c lits-rem:      1922  cl-subs:    14190  v-elim:     60  v-fix:    0  time: 130.83 s
4340.08/1086.59	c learnt bin added due to v-elim: 0
4340.08/1086.59	c vivif2 --  cl tried     5344 cl shrink        0 lits rem          0 time: 0.00
4340.46/1086.61	c vivif2 --  cl tried    87609 cl shrink        0 lits rem          0 time: 0.09
4340.86/1086.72	c asymm  cl-useful: 0/149/5344 lits-rem:0 time: 0.43
4340.86/1086.73	c calculated reachability. Time: 0.00
4340.86/1086.73	c  N dy  4177   2711872        78      5344        36     87609     37367   1248469     19.74     15.90  --
4340.86/1086.73	c  F st  4177   2711872        78      5344        36     87609     37367   1248469     19.74     15.90  --
4345.25/1087.84	c Decided on static restart strategy

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3172710-1304089312/watcher-3172710-1304089312 -o /tmp/evaluation-result-3172710-1304089312/solver-3172710-1304089312 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172710-1304089312.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.71 7.88 7.97 4/180 9921
/proc/meminfo: memFree=25005080/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=50144 CPUtime=0 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 706 0 0 0 0 0 0 0 18 0 1 0 520529437 51347456 634 33554432000 4194304 4797429 140733859345120 18446744073709551615 4407927 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9919/statm: 12536 634 347 148 0 7465 0

[startup+0.130221 s]
/proc/loadavg: 6.71 7.88 7.97 4/180 9921
/proc/meminfo: memFree=25005080/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=822304 CPUtime=1.39 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 2940 0 0 0 139 0 0 0 18 0 4 0 520529437 842039296 2460 33554432000 4194304 4797429 140733859345120 18446744073709551615 4345112 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 153619 3936 413 148 0 148548 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 822304

[startup+0.925646 s]
/proc/loadavg: 6.71 7.88 7.97 4/180 9921
/proc/meminfo: memFree=25005080/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=614696 CPUtime=3.64 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 5179 0 0 0 364 0 0 0 19 0 4 0 520529437 629448704 4000 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 153674 4000 413 148 0 148603 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 614696

[startup+1.02563 s]
/proc/loadavg: 6.71 7.88 7.97 4/180 9921
/proc/meminfo: memFree=25005080/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=614696 CPUtime=4.04 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 5242 0 0 0 404 0 0 0 19 0 4 0 520529437 629448704 4062 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424670 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 153674 4062 413 148 0 148603 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 614696

[startup+1.12561 s]
/proc/loadavg: 6.71 7.88 7.97 4/180 9921
/proc/meminfo: memFree=25005080/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=615068 CPUtime=4.44 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 5501 0 0 0 444 0 0 0 19 0 4 0 520529437 629829632 4053 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 153767 4053 413 148 0 148696 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 615068

[startup+1.50054 s]
/proc/loadavg: 6.71 7.88 7.97 4/180 9921
/proc/meminfo: memFree=25005080/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=615068 CPUtime=5.94 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 5740 0 0 0 594 0 0 0 20 0 4 0 520529437 629829632 4284 33554432000 4194304 4797429 140733859345120 18446744073709551615 4422918 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 153767 4284 414 148 0 148696 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 615068

[startup+3.10025 s]
/proc/loadavg: 6.71 7.88 7.97 10/188 9929
/proc/meminfo: memFree=24962828/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=618708 CPUtime=12.33 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 7479 0 0 0 1232 1 0 0 25 0 4 0 520529437 633556992 4951 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 154677 4951 416 148 0 149606 0
[pid=9919/tid=9927] ppid=9916 vsize=618708 CPUtime=3.07 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 1487 0 0 0 307 0 0 0 25 0 4 0 520529438 633556992 4951 33554432000 4194304 4797429 140733859345120 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=618708 CPUtime=3.08 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 1266 0 0 0 308 0 0 0 25 0 4 0 520529438 633556992 4951 33554432000 4194304 4797429 140733859345120 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=618708 CPUtime=3.07 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 1370 0 0 0 307 0 0 0 25 0 4 0 520529438 633556992 4951 33554432000 4194304 4797429 140733859345120 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 618708

[startup+6.30667 s]
/proc/loadavg: 6.81 7.89 7.97 10/188 9930
/proc/meminfo: memFree=24953544/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=622492 CPUtime=25.13 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 10074 0 0 0 2512 1 0 0 25 0 4 0 520529437 637431808 6027 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 155623 6027 416 148 0 150552 0
[pid=9919/tid=9927] ppid=9916 vsize=622492 CPUtime=6.27 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 1880 0 0 0 627 0 0 0 25 0 4 0 520529438 637431808 6027 33554432000 4194304 4797429 140733859345120 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=622492 CPUtime=6.29 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 1520 0 0 0 629 0 0 0 25 0 4 0 520529438 637431808 6027 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=622492 CPUtime=6.26 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 1571 0 0 0 626 0 0 0 25 0 4 0 520529438 637431808 6027 33554432000 4194304 4797429 140733859345120 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 622492

[startup+12.7005 s]
/proc/loadavg: 6.91 7.89 7.97 10/188 9930
/proc/meminfo: memFree=24944748/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=626168 CPUtime=50.68 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 14102 0 0 0 5066 2 0 0 25 0 4 0 520529437 641196032 6848 33554432000 4194304 4797429 140733859345120 18446744073709551615 4414376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 156542 6848 419 148 0 151471 0
[pid=9919/tid=9927] ppid=9916 vsize=626168 CPUtime=12.67 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 2465 0 0 0 1267 0 0 0 25 0 4 0 520529438 641196032 6848 33554432000 4194304 4797429 140733859345120 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=626168 CPUtime=12.68 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 2171 0 0 0 1268 0 0 0 25 0 4 0 520529438 641196032 6848 33554432000 4194304 4797429 140733859345120 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=626168 CPUtime=12.62 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 2146 0 0 0 1262 0 0 0 25 0 4 0 520529438 641196032 6848 33554432000 4194304 4797429 140733859345120 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 626168

[startup+25.5012 s]
/proc/loadavg: 7.15 7.89 7.97 9/188 9930
/proc/meminfo: memFree=24927352/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=632740 CPUtime=101.8 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 20896 0 0 0 10177 3 0 0 25 0 4 0 520529437 647925760 9008 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 158185 9008 419 148 0 153114 0
[pid=9919/tid=9927] ppid=9916 vsize=632740 CPUtime=25.47 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 4689 0 0 0 2546 1 0 0 25 0 4 0 520529438 647925760 9008 33554432000 4194304 4797429 140733859345120 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=632740 CPUtime=25.47 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 2758 0 0 0 2547 0 0 0 25 0 4 0 520529438 647925760 9008 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424846 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=632740 CPUtime=25.35 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 2880 0 0 0 2535 0 0 0 25 0 4 0 520529438 647925760 9008 33554432000 4194304 4797429 140733859345120 18446744073709551615 4428704 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 632740

[startup+51.1005 s]
/proc/loadavg: 7.56 7.93 7.98 10/188 9931
/proc/meminfo: memFree=24914236/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=638196 CPUtime=204.07 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 30626 0 0 0 20401 6 0 0 25 0 4 0 520529437 653512704 10815 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424725 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 159549 10815 421 148 0 154478 0
[pid=9919/tid=9927] ppid=9916 vsize=638196 CPUtime=51.06 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 6262 0 0 0 5105 1 0 0 25 0 4 0 520529438 653512704 10816 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=638196 CPUtime=51.08 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 4096 0 0 0 5107 1 0 0 25 0 4 0 520529438 653512704 10816 33554432000 4194304 4797429 140733859345120 18446744073709551615 4535277 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=638196 CPUtime=50.81 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 4296 0 0 0 5081 0 0 0 25 0 4 0 520529438 653512704 10816 33554432000 4194304 4797429 140733859345120 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 638196

[startup+102.301 s]
/proc/loadavg: 7.96 7.99 8.00 9/188 9932
/proc/meminfo: memFree=24888792/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=645788 CPUtime=408.59 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 45980 0 0 0 40849 10 0 0 25 0 4 0 520529437 661286912 13432 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424713 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 161447 13432 422 148 0 156376 0
[pid=9919/tid=9927] ppid=9916 vsize=645788 CPUtime=102.26 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 8289 0 0 0 10224 2 0 0 25 0 4 0 520529438 661286912 13432 33554432000 4194304 4797429 140733859345120 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=645788 CPUtime=102.27 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 6230 0 0 0 10226 1 0 0 25 0 4 0 520529438 661286912 13432 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=645788 CPUtime=101.73 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 6939 0 0 0 10172 1 0 0 25 0 4 0 520529438 661286912 13432 33554432000 4194304 4797429 140733859345120 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 645788

[startup+162.301 s]
/proc/loadavg: 8.36 8.08 8.02 11/189 9937
/proc/meminfo: memFree=24852916/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=649392 CPUtime=648.27 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 59880 0 0 0 64813 14 0 0 25 0 4 0 520529437 664977408 15410 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 162348 15410 421 148 0 157277 0
[pid=9919/tid=9927] ppid=9916 vsize=649392 CPUtime=162.25 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 9884 0 0 0 16223 2 0 0 25 0 4 0 520529438 664977408 15410 33554432000 4194304 4797429 140733859345120 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=649392 CPUtime=162.28 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 7702 0 0 0 16226 2 0 0 25 0 4 0 520529438 664977408 15410 33554432000 4194304 4797429 140733859345120 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=649392 CPUtime=161.4 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 8751 0 0 0 16139 1 0 0 25 0 4 0 520529438 664977408 15410 33554432000 4194304 4797429 140733859345120 18446744073709551615 4429125 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.27
Current children cumulated vsize (KiB) 649392

[startup+222.3 s]
/proc/loadavg: 8.57 8.18 8.06 9/188 9938
/proc/meminfo: memFree=24850996/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=657112 CPUtime=887.94 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 73324 0 0 0 88776 18 0 0 25 0 4 0 520529437 672882688 17586 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 164278 17586 421 148 0 159207 0
[pid=9919/tid=9927] ppid=9916 vsize=657112 CPUtime=222.25 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 11629 0 0 0 22222 3 0 0 25 0 4 0 520529438 672882688 17586 33554432000 4194304 4797429 140733859345120 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=657112 CPUtime=222.28 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 9329 0 0 0 22226 2 0 0 25 0 4 0 520529438 672882688 17586 33554432000 4194304 4797429 140733859345120 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=657112 CPUtime=221.08 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 10364 0 0 0 22106 2 0 0 25 0 4 0 520529438 672882688 17586 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.94
Current children cumulated vsize (KiB) 657112

[startup+282.3 s]
/proc/loadavg: 8.43 8.20 8.07 9/188 9940
/proc/meminfo: memFree=24843524/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=661396 CPUtime=1127.64 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 85073 0 0 0 112741 23 0 0 25 0 4 0 520529437 677269504 18680 33554432000 4194304 4797429 140733859345120 18446744073709551615 4425633 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 165349 18680 421 148 0 160278 0
[pid=9919/tid=9927] ppid=9916 vsize=661396 CPUtime=282.26 cores=0,2,4,6

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

[pid=9919] ppid=9916 vsize=686756 CPUtime=2805.34 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 147276 0 0 0 280483 51 0 0 25 0 4 0 520529437 703238144 27539 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 171689 27539 422 148 0 166618 0
[pid=9919/tid=9927] ppid=9916 vsize=686756 CPUtime=702.23 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 21871 0 0 0 70214 9 0 0 25 0 4 0 520529438 703238144 27539 33554432000 4194304 4797429 140733859345120 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=686756 CPUtime=702.29 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 19649 0 0 0 70222 7 0 0 25 0 4 0 520529438 703238144 27539 33554432000 4194304 4797429 140733859345120 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=686756 CPUtime=698.48 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 19760 0 0 0 69842 6 0 0 25 0 4 0 520529438 703238144 27539 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424617 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 686756

[startup+762.301 s]
/proc/loadavg: 8.20 8.17 8.10 10/188 9953
/proc/meminfo: memFree=24767552/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=688388 CPUtime=3045.01 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 154902 0 0 0 304447 54 0 0 25 0 4 0 520529437 704909312 27477 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 172097 27477 422 148 0 167026 0
[pid=9919/tid=9927] ppid=9916 vsize=688388 CPUtime=762.22 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 22887 0 0 0 76213 9 0 0 25 0 4 0 520529438 704909312 27477 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=688388 CPUtime=762.3 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 20624 0 0 0 76222 8 0 0 25 0 4 0 520529438 704909312 27477 33554432000 4194304 4797429 140733859345120 18446744073709551615 4351529 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=688388 CPUtime=758.16 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 20777 0 0 0 75809 7 0 0 25 0 4 0 520529438 704909312 27477 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.01
Current children cumulated vsize (KiB) 688388

[startup+822.301 s]
/proc/loadavg: 8.23 8.17 8.10 10/188 9954
/proc/meminfo: memFree=24748436/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=693016 CPUtime=3284.69 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 161257 0 0 0 328413 56 0 0 25 0 4 0 520529437 709648384 29652 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424603 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 173254 29652 422 148 0 168183 0
[pid=9919/tid=9927] ppid=9916 vsize=693016 CPUtime=822.22 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 23583 0 0 0 82213 9 0 0 25 0 4 0 520529438 709648384 29652 33554432000 4194304 4797429 140733859345120 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=693016 CPUtime=822.3 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 21219 0 0 0 82222 8 0 0 25 0 4 0 520529438 709648384 29652 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=693016 CPUtime=817.83 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 21969 0 0 0 81776 7 0 0 25 0 4 0 520529438 709648384 29652 33554432000 4194304 4797429 140733859345120 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 693016

[startup+882.301 s]
/proc/loadavg: 8.31 8.21 8.11 10/188 9956
/proc/meminfo: memFree=24748780/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=695856 CPUtime=3524.37 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 169316 0 0 0 352377 60 0 0 25 0 4 0 520529437 712556544 29269 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 173964 29269 422 148 0 168893 0
[pid=9919/tid=9927] ppid=9916 vsize=695856 CPUtime=882.21 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 24588 0 0 0 88211 10 0 0 25 0 4 0 520529438 712556544 29269 33554432000 4194304 4797429 140733859345120 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=695856 CPUtime=882.3 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 22390 0 0 0 88222 8 0 0 25 0 4 0 520529438 712556544 29269 33554432000 4194304 4797429 140733859345120 18446744073709551615 4427942 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=695856 CPUtime=877.5 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 22942 0 0 0 87743 7 0 0 25 0 4 0 520529438 712556544 29269 33554432000 4194304 4797429 140733859345120 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 695856

[startup+942.301 s]
/proc/loadavg: 8.34 8.23 8.12 10/188 9958
/proc/meminfo: memFree=24736984/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=698800 CPUtime=3764.06 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 175716 0 0 0 376343 63 0 0 25 0 4 0 520529437 715571200 30684 33554432000 4194304 4797429 140733859345120 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 174700 30684 422 148 0 169629 0
[pid=9919/tid=9927] ppid=9916 vsize=698800 CPUtime=942.21 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 25712 0 0 0 94211 10 0 0 25 0 4 0 520529438 715571200 30684 33554432000 4194304 4797429 140733859345120 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=698800 CPUtime=942.31 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 23464 0 0 0 94222 9 0 0 25 0 4 0 520529438 715571200 30684 33554432000 4194304 4797429 140733859345120 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=698800 CPUtime=937.18 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 23418 0 0 0 93711 7 0 0 25 0 4 0 520529438 715571200 30684 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.06
Current children cumulated vsize (KiB) 698800

[startup+1002.3 s]
/proc/loadavg: 8.41 8.26 8.14 10/188 9959
/proc/meminfo: memFree=24720832/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=701020 CPUtime=4003.72 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 182937 0 0 0 400306 66 0 0 25 0 4 0 520529437 717844480 31754 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 175255 31754 422 148 0 170184 0
[pid=9919/tid=9927] ppid=9916 vsize=701020 CPUtime=1002.21 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 26372 0 0 0 100210 11 0 0 25 0 4 0 520529438 717844480 31754 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=701020 CPUtime=1002.3 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 23946 0 0 0 100221 9 0 0 25 0 4 0 520529438 717844480 31754 33554432000 4194304 4797429 140733859345120 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=701020 CPUtime=996.86 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 24451 0 0 0 99678 8 0 0 25 0 4 0 520529438 717844480 31754 33554432000 4194304 4797429 140733859345120 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.72
Current children cumulated vsize (KiB) 701020

[startup+1062.31 s]
/proc/loadavg: 8.45 8.28 8.15 10/188 9961
/proc/meminfo: memFree=24724028/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=702720 CPUtime=4243.41 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 189369 0 0 0 424254 87 0 0 25 0 4 0 520529437 719585280 31719 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568320 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 175680 31719 422 148 0 170609 0
[pid=9919/tid=9927] ppid=9916 vsize=702720 CPUtime=1062.2 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 27364 0 0 0 106209 11 0 0 25 0 4 0 520529438 719585280 31719 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=702720 CPUtime=1062.31 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 24973 0 0 0 106204 27 0 0 25 0 4 0 520529438 719585280 31719 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=702720 CPUtime=1056.53 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 25706 0 0 0 105645 8 0 0 25 0 4 0 520529438 719585280 31719 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.41
Current children cumulated vsize (KiB) 702720

[startup+1122.3 s]
/proc/loadavg: 8.39 8.27 8.15 10/188 9962
/proc/meminfo: memFree=24717552/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=707728 CPUtime=4483.06 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 195275 0 0 0 448182 124 0 0 25 0 4 0 520529437 724713472 32082 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424835 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 176932 32082 421 148 0 171861 0
[pid=9919/tid=9927] ppid=9916 vsize=707728 CPUtime=1122.2 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 28371 0 0 0 112208 12 0 0 25 0 4 0 520529438 724713472 32082 33554432000 4194304 4797429 140733859345120 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=707728 CPUtime=1122.3 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 26011 0 0 0 112167 63 0 0 25 0 4 0 520529438 724713472 32082 33554432000 4194304 4797429 140733859345120 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=707728 CPUtime=1116.2 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 26254 0 0 0 111612 8 0 0 25 0 4 0 520529438 724713472 32082 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.06
Current children cumulated vsize (KiB) 707728

[startup+1182.3 s]
/proc/loadavg: 8.29 8.25 8.15 10/188 9964
/proc/meminfo: memFree=24689640/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=707800 CPUtime=4722.74 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 201085 0 0 0 472112 162 0 0 25 0 4 0 520529437 724787200 34027 33554432000 4194304 4797429 140733859345120 18446744073709551615 4424610 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 176950 34027 421 148 0 171879 0
[pid=9919/tid=9927] ppid=9916 vsize=707800 CPUtime=1182.19 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 28882 0 0 0 118207 12 0 0 25 0 4 0 520529438 724787200 34027 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=707800 CPUtime=1182.3 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 26523 0 0 0 118131 99 0 0 25 0 4 0 520529438 724787200 34027 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=707800 CPUtime=1175.88 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 27348 0 0 0 117579 9 0 0 25 0 4 0 520529438 724787200 34027 33554432000 4194304 4797429 140733859345120 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.74
Current children cumulated vsize (KiB) 707800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.20 8.24 8.15 9/188 9964
/proc/meminfo: memFree=24693088/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=707800 CPUtime=4800.25 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 202110 0 0 0 479851 174 0 0 25 0 4 0 520529437 724787200 35009 33554432000 4194304 4797429 140733859345120 18446744073709551615 4426361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 176950 35009 421 148 0 171879 0
[pid=9919/tid=9927] ppid=9916 vsize=707800 CPUtime=1201.59 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 29020 0 0 0 120147 12 0 0 25 0 4 0 520529438 724787200 35009 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=707800 CPUtime=1201.71 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 26624 0 0 0 120060 111 0 0 25 0 4 0 520529438 724787200 35009 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=707800 CPUtime=1195.18 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 27522 0 0 0 119509 9 0 0 25 0 4 0 520529438 724787200 35009 33554432000 4194304 4797429 140733859345120 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 707800

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1201.7 s]
/proc/loadavg: 8.20 8.24 8.15 9/188 9964
/proc/meminfo: memFree=24693088/32951124 swapFree=67111352/67111528
[pid=9919] ppid=9916 vsize=707800 CPUtime=4800.25 cores=0,2,4,6
/proc/9919/stat : 9919 (techdemo) R 9916 9919 9884 0 -1 4202496 202110 0 0 0 479851 174 0 0 25 0 4 0 520529437 724787200 35009 33554432000 4194304 4797429 140733859345120 18446744073709551615 4426361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9919/statm: 176950 35009 421 148 0 171879 0
[pid=9919/tid=9927] ppid=9916 vsize=707800 CPUtime=1201.59 cores=0,2,4,6
/proc/9919/task/9927/stat : 9927 (techdemo) R 9916 9919 9884 0 -1 4202560 29020 0 0 0 120147 12 0 0 25 0 4 0 520529438 724787200 35009 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9919/tid=9928] ppid=9916 vsize=707800 CPUtime=1201.71 cores=0,2,4,6
/proc/9919/task/9928/stat : 9928 (techdemo) R 9916 9919 9884 0 -1 4202560 26624 0 0 0 120060 111 0 0 25 0 4 0 520529438 724787200 35009 33554432000 4194304 4797429 140733859345120 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9919/tid=9929] ppid=9916 vsize=707800 CPUtime=1195.18 cores=0,2,4,6
/proc/9919/task/9929/stat : 9929 (techdemo) R 9916 9919 9884 0 -1 4202560 27522 0 0 0 119509 9 0 0 25 0 4 0 520529438 724787200 35009 33554432000 4194304 4797429 140733859345120 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 707800

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.28
CPU user time (s): 4798.53
CPU system time (s): 1.75473
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 822304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.53
system time used= 1.75473
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202110
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 244
involuntary context switches= 82730

runsolver used 1.80373 second user time and 4.74928 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-29 17:01:52
IDJOB=3172710
IDBENCH=82728
IDSOLVER=1584
FILE ID=node134/3172710-1304089312
RUNJOBID= node134-1304089312-9902
PBS_JOBID= 13170571
Free space on /tmp= 71584 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172710-1304089312/watcher-3172710-1304089312 -o /tmp/evaluation-result-3172710-1304089312/solver-3172710-1304089312 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172710-1304089312.cnf

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

MD5SUM BENCH= 0d2557a5d8edb4c9702dcfea1e1cd4c5
RANDOM SEED=997305944

node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 7186.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25005648 kB
Buffers:       1488632 kB
Cached:        5868928 kB
SwapCached:         64 kB
Active:        1474088 kB
Inactive:      5947280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25005648 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           15672 kB
Writeback:           0 kB
AnonPages:       64048 kB
Mapped:          14880 kB
Slab:           460180 kB
PageTables:       5148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187188 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71568 MiB
End job on node134 at 2011-04-29 17:21:56