Trace number 3172849

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.37 1201.72

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf
MD5SUMd8b7f1701bbfddf0d556cafbec39b80e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark32.3761
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
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 54450

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-3172849-1304106652.cnf'
0.00/0.00	c -- header says num vars:             50
0.00/0.00	c -- header says num clauses:        4450
0.00/0.01	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.01	c -- vars added         50
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.00/0.12	c asymm  cl-useful: 0/1907/4450 lits-rem:0 time: 0.43
0.00/0.12	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.12	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
0.00/0.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.12	c Subs w/ non-existent bins:      0 time:  0.00 s
0.44/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.44/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.44/0.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.44/0.13	c lits-rem:         0  cl-subs:        0  v-elim:     32  v-fix:    0  time:  0.04 s
0.44/0.13	c learnt bin added due to v-elim: 0
0.44/0.13	c Finding binary XORs  T:     0.00 s  found:       0
0.44/0.13	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.44/0.13	c calculated reachability. Time: 0.00
0.44/0.13	c Calc default polars -  time:   0.00 s pos:      23 undec:       0 neg:      27
0.44/0.13	c =========================================================================================
0.44/0.13	c types(t): F = full restart, N = normal restart
0.44/0.13	c types(t): S = simplification begin/end, E = solution found
0.44/0.13	c restart types(rt): st = static, dy = dynamic
0.44/0.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.44/0.13	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.44/0.20	c Decided on static restart strategy
0.44/0.28	c  N dy    19      4018        50      4450         0      3526     31150     65287     18.67     16.01  --
0.44/0.48	c  N dy    47      8166        50      4450         0      4944     31150     86712     18.48     16.13  --
0.44/0.69	c  N dy    74     12217        50      4450         0      4787     31150     78945     18.93     16.21  --
3.69/0.94	c  N dy   102     16337        50      4450         0      8346     31150    144595     18.48     16.25  --
4.49/1.19	c  N dy   129     20387        50      4450         0      6984     31150    112546     18.89     16.32  --
5.55/1.45	c  N dy   156     24446        50      4450         0     10526     31150    177526     18.27     16.30  --
6.76/1.73	c  N dy   183     28462        50      4450         0      8076     31150    125568     18.98     16.32  --
7.17/1.84	c  S st   194     30001        50      4450         0      9431     31150    150515     18.20     16.31  --
7.17/1.88	c  S st   194     30503        50      4450         0      9880     31150    158961     18.20     16.31  --
7.17/1.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.17/1.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.55/1.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.07
7.55/1.90	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
7.55/1.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.55/1.90	c Subs w/ non-existent bins:      0 time:  0.00 s
7.55/1.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.55/1.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.55/1.91	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.55/2.44	c lits-rem:      1216  cl-subs:     1343  v-elim:     50  v-fix:    0  time:  2.14 s
9.55/2.44	c learnt bin added due to v-elim: 0
9.55/2.44	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
9.55/2.44	c vivif2 --  cl tried     8537 cl shrink        0 lits rem          0 time: 0.00
9.95/2.59	c asymm  cl-useful: 0/1869/4450 lits-rem:0 time: 0.58
9.95/2.59	c calculated reachability. Time: 0.00
9.95/2.59	c  N dy   194     30503        50      4450         0      8537     31150    134851     18.20     16.31  --
9.95/2.59	c  F st   194     30503        50      4450         0      8537     31150    134851     18.20     16.31  --
10.75/2.73	c Decided on static restart strategy
11.17/2.88	c  N dy   213     34532        50      4450         0     12036     31150    199478     18.58     16.30  --
12.75/3.20	c  N dy   241     38675        50      4450         0      8840     31150    134309     18.24     16.33  --
13.55/3.50	c  N dy   268     42705        50      4450         0     12373     31150    199453     18.80     16.32  --
14.75/3.77	c  S st   289     45754        50      4450         0     15054     31150    249262     18.78     16.33  --
15.15/3.82	c  S st   289     46255        50      4450         0     15512     31150    258078     18.78     16.33  --
15.15/3.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.15/3.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.15/3.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  0.14
15.15/3.86	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
15.15/3.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.15/3.86	c Subs w/ non-existent bins:      0 time:  0.00 s
15.15/3.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.15/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.86	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
18.34/4.61	c lits-rem:      2175  cl-subs:     2419  v-elim:     50  v-fix:    0  time:  2.99 s
18.34/4.61	c learnt bin added due to v-elim: 0
18.34/4.61	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
18.34/4.61	c vivif2 --  cl tried    13093 cl shrink        0 lits rem          0 time: 0.01
18.34/4.69	c asymm  cl-useful: 0/674/4450 lits-rem:0 time: 0.28
18.34/4.69	c calculated reachability. Time: 0.00
18.34/4.69	c  N dy   289     46255        50      4450         0     13093     31150    211310     18.78     16.33  --
19.94/5.04	c  N dy   316     50295        50      4450         0      8962     31150    127616     18.80     16.35  --
21.12/5.35	c  N dy   344     54435        50      4450         0     12593     31150    194993     18.59     16.35  --
22.72/5.72	c  N dy   371     58457        50      4450         0     16115     31150    260250     18.62     16.35  --
23.92/6.07	c  N dy   398     62499        50      4450         0     11020     31150    158545     18.71     16.35  --
25.52/6.41	c  N dy   425     66569        50      4450         0     14575     31150    224672     18.76     16.35  --
26.32/6.68	c  S st   445     69383        50      4450         0     17029     31150    270689     18.64     16.37  --
26.72/6.75	c  S st   445     69887        50      4450         0     17496     31150    279599     18.64     16.37  --
26.72/6.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.72/6.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.72/6.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  0.19
26.72/6.80	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
26.72/6.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.12/6.80	c Subs w/ non-existent bins:      0 time:  0.01 s
27.12/6.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.12/6.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.12/6.80	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
29.52/7.50	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
32.32/8.19	c Added 1 vars  tried: 11100 time: 2.76
32.32/8.19	c ORs :      1 avg-s:  0.0 cl-sh:  1102 l-rem:   1102 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    2.79
32.72/8.20	c lits-rem:      1575  cl-subs:     2558  v-elim:     50  v-fix:    0  time:  5.58 s
32.72/8.20	c learnt bin added due to v-elim: 0
32.72/8.20	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
32.72/8.20	c vivif2 --  cl tried    14938 cl shrink        0 lits rem          0 time: 0.01
33.14/8.36	c asymm  cl-useful: 0/1622/4451 lits-rem:0 time: 0.61
33.14/8.36	c calculated reachability. Time: 0.00
33.14/8.36	c  N dy   445     69887        51      4451         2     14938     31134    230494     18.64     16.37  --
33.14/8.36	c  F st   445     69887        51      4451         2     14938     31134    230494     18.64     16.37  --
33.92/8.56	c Decided on static restart strategy
35.12/8.82	c  N dy   468     74467        51      4451         2      9532     31134    123107     18.76     16.37  --
36.72/9.21	c  N dy   500     79275        51      4451         2     13735     31134    200229     18.59     16.36  --
38.71/9.70	c  N dy   534     84383        51      4451         2     18199     31134    283364     18.04     16.37  --
40.71/10.25	c  N dy   571     89917        51      4451         2     12669     31134    173425     18.68     16.37  --
43.10/10.81	c  N dy   610     95787        51      4451         2     17818     31134    267147     17.95     16.35  --
45.90/11.53	c  N dy   651    101908        51      4451         2     11817     31134    149998     18.54     16.35  --
47.09/11.80	c  S st   671    104832        51      4451         2     14373     31134    197333     18.82     16.35  --
47.09/11.86	c  S st   671    105334        51      4451         2     14832     31134    206133     18.82     16.35  --
47.09/11.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.09/11.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.49/11.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.3M T:  0.19
47.49/11.91	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
47.49/11.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.49/11.91	c Subs w/ non-existent bins:      0 time:  0.00 s
47.49/11.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.49/11.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.49/11.91	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
49.50/12.47	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
49.50/12.47	c lits-rem:       886  cl-subs:     1189  v-elim:     50  v-fix:    0  time:  2.23 s
49.50/12.47	c learnt bin added due to v-elim: 0
49.50/12.47	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
49.50/12.47	c vivif2 --  cl tried    13643 cl shrink        0 lits rem          0 time: 0.01
50.30/12.62	c asymm  cl-useful: 0/1262/4451 lits-rem:0 time: 0.60
50.30/12.62	c calculated reachability. Time: 0.00
50.30/12.62	c  N dy   671    105334        51      4451         2     13643     31134    185354     18.82     16.35  --
53.09/13.32	c  N dy   716    112118        51      4451         2     19530     31134    294923     18.39     16.36  --
56.28/14.17	c  N dy   764    119343        51      4451         2     13712     31134    179984     18.88     16.36  --
59.50/14.98	c  N dy   816    127070        51      4451         2     20502     31134    305303     18.19     16.36  --
63.48/15.98	c  N dy   871    135203        51      4451         2     14545     31134    185887     18.80     16.36  --
67.48/16.95	c  N dy   930    143940        51      4451         2     22195     31134    327874     18.44     16.36  --
72.27/18.16	c  N dy   992    153222        51      4451         2     16350     31134    210176     18.30     16.36  --
74.67/18.72	c  S st  1025    158001        51      4451         2     20516     31134    287014     18.64     16.35  --
75.07/18.80	c  S st  1025    158501        51      4451         2     20964     31134    295757     18.64     16.35  --
75.07/18.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.07/18.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.07/18.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.3M T:  0.29
75.07/18.88	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
75.07/18.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.07/18.88	c Subs w/ non-existent bins:      0 time:  0.01 s
75.07/18.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.07/18.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.07/18.88	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
78.26/19.65	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
78.26/19.65	c lits-rem:       987  cl-subs:     2255  v-elim:     50  v-fix:    0  time:  3.07 s
78.26/19.65	c learnt bin added due to v-elim: 0
78.26/19.65	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
78.26/19.65	c vivif2 --  cl tried    18709 cl shrink        0 lits rem          0 time: 0.01
79.06/19.81	c asymm  cl-useful: 0/935/4451 lits-rem:0 time: 0.60
79.06/19.81	c calculated reachability. Time: 0.00
79.06/19.81	c  N dy  1025    158501        51      4451         2     18709     31134    255907     18.64     16.35  --
84.26/21.15	c  N dy  1094    168746        51      4451         2     27671     31134    422134     18.22     16.36  --
89.85/22.52	c  N dy  1167    179632        51      4451         2     22506     31134    317582     18.92     16.36  --
96.64/24.24	c  N dy  1245    191235        51      4451         2     16960     31134    206781     18.92     16.37  --
103.03/25.82	c  N dy  1327    203513        55      4451        10     27722     31150    405038     18.32     16.36  --
110.62/27.75	c  N dy  1415    216620        55      4451        10     22589     31150    303531     18.56     16.36  --
119.41/29.93	c  N dy  1508    230485        55      4451        10     34784     31150    529202     18.15     16.36  --
123.41/30.94	c  S st  1557    237751        55      4451        10     23629     31150    314957     18.73     16.36  --
123.81/31.03	c  S st  1557    238256        55      4451        10     24077     31150    323511     18.73     16.36  --
123.81/31.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
123.81/31.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.21/31.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.9M T:  0.38
124.21/31.12	c Calc non-exist non-lernt bins v-fix:     0 done:     55 time:  0.00 s
124.21/31.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.21/31.13	c Subs w/ non-existent bins:      0 time:  0.01 s
124.21/31.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
124.21/31.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.21/31.13	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
127.80/32.07	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
127.80/32.08	c lits-rem:      1114  cl-subs:     2190  v-elim:     50  v-fix:    0  time:  3.77 s
127.80/32.08	c learnt bin added due to v-elim: 0
127.80/32.08	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
127.80/32.08	c vivif2 --  cl tried    21887 cl shrink        0 lits rem          0 time: 0.02
128.60/32.20	c asymm  cl-useful: 0/632/4451 lits-rem:0 time: 0.50
128.60/32.21	c calculated reachability. Time: 0.00
128.60/32.21	c  N dy  1557    238256        55      4451        10     21887     31150    286291     18.73     16.36  --
138.18/34.68	c  N dy  1659    253476        55      4451        10     35234     31150    532527     18.56     16.33  --
148.17/37.12	c  N dy  1768    269663        55      4451        10     31171     31150    452218     18.89     16.32  --
159.75/40.00	c  N dy  1884    286893        55      4451        10     27115     31150    367008     18.31     16.30  --
172.94/43.39	c  N dy  2008    305317        55      4451        10     23185     31150    283925     19.21     16.28  --
187.34/46.91	c  N dy  2140    324894        59      4451        18     40476     31166    604816     18.43     16.26  --
201.30/50.45	c  N dy  2275    344937        59      4451        18     36998     31166    531740     18.76     16.24  --
211.29/52.93	c  S st  2359    357387        59      4451        18     25963     31166    317670     18.63     16.24  --
211.69/53.02	c  S st  2359    357891        59      4451        18     26413     31166    326306     18.63     16.24  --
211.69/53.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
211.69/53.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
212.09/53.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.6M T:  0.44
212.09/53.13	c Calc non-exist non-lernt bins v-fix:     0 done:     59 time:  0.00 s
212.09/53.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
212.09/53.14	c Subs w/ non-existent bins:      0 time:  0.01 s
212.09/53.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
212.09/53.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
212.09/53.14	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
215.69/54.09	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.02
215.69/54.09	c lits-rem:       754  cl-subs:     1422  v-elim:     50  v-fix:    0  time:  3.79 s
215.69/54.09	c learnt bin added due to v-elim: 0
215.69/54.09	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
215.69/54.10	c vivif2 --  cl tried    24991 cl shrink        0 lits rem          0 time: 0.02
216.49/54.25	c asymm  cl-useful: 0/979/4451 lits-rem:0 time: 0.61
216.49/54.25	c calculated reachability. Time: 0.00
216.49/54.25	c  N dy  2359    357891        59      4451        18     24991     31166    303144     18.63     16.24  --
231.28/57.96	c  N dy  2494    378012        62      4451        32     42826     31186    636567     18.89     16.22  --
246.04/61.69	c  N dy  2629    398052        62      4451        32     37710     31186    530949     18.87     16.21  --
262.83/65.80	c  N dy  2764    418129        62      4451        32     31596     31186    406195     18.66     16.20  --
280.40/70.24	c  N dy  2899    438204        62      4451        32     49469     31186    739308     18.85     16.19  --
295.58/74.06	c  N dy  3034    458263        62      4451        32     42482     31186    602763     18.75     16.17  --
313.16/78.45	c  N dy  3169    478286        62      4451        32     34496     31186    445771     19.22     16.16  --
332.35/83.25	c  N dy  3304    498301        62      4451        32     52164     31186    776094     18.85     16.16  --
349.12/87.41	c  N dy  3439    518315        62      4451        32     43309     31186    601965     19.00     16.15  --
367.11/91.91	c  S st  3564    536837        62      4451        32     32247     31186    389392     19.08     16.14  --
367.51/92.02	c  S st  3564    537342        62      4451        32     32706     31186    398211     19.08     16.14  --
367.51/92.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
367.51/92.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
367.89/92.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 11.8M T:  0.61
367.89/92.17	c Calc non-exist non-lernt bins v-fix:     0 done:     62 time:  0.00 s
367.89/92.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
367.89/92.18	c Subs w/ non-existent bins:      0 time:  0.02 s
367.89/92.19	c Replacing        2 vars Replaced     2049 lits Time:     0.05 s 
367.89/92.20	c bin-w-bin subsume rem            4 bins  time:  0.00 s
367.89/92.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
367.89/92.20	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
373.88/93.63	c ORs :      1 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 19.0 T:    0.02
399.05/99.93	c Added 1 vars  tried: 80000 time: 25.18
399.05/99.96	c ORs :      1 avg-s:  0.0 cl-sh:  1483 l-rem:   1483 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   25.27
399.05/99.96	c lits-rem:       855  cl-subs:     1990  v-elim:     50  v-fix:    0  time: 31.02 s
399.05/99.96	c learnt bin added due to v-elim: 0
399.05/99.96	c vivif2 --  cl tried     4452 cl shrink        0 lits rem          0 time: 0.00
399.05/99.97	c vivif2 --  cl tried    30714 cl shrink        0 lits rem          0 time: 0.02
399.85/100.12	c asymm  cl-useful: 0/600/4452 lits-rem:0 time: 0.62
399.85/100.12	c calculated reachability. Time: 0.00
399.85/100.12	c  N dy  3564    537342        61      4452        23     30714     31162    365141     19.08     16.14  --
399.85/100.12	c  F st  3564    537342        61      4452        23     30714     31162    365141     19.08     16.14  --
401.05/100.48	c Decided on static restart strategy
417.42/104.56	c  N dy  3690    557363        61      4452        23     48430     31162    697436     18.55     16.14  --
436.61/109.31	c  N dy  3826    577484        61      4452        23     38087     31162    492833     18.82     16.13  --
456.57/114.35	c  N dy  3961    597519        61      4452        24     55885     31162    825495     18.72     16.13  --
474.56/118.88	c  N dy  4096    617566        64      4452        30     44415     31174    604521     18.60     16.13  --
498.13/124.78	c  N dy  4231    637627        64      4452        30     32146     31174    366418     18.82     16.12  --
662.31/165.83	c  N dy  4291    806013        66      4452        34     50755     31182    651907     14.96     15.46  --
662.31/165.86	c  S st  4291    806013        66      4452        34     50755     31182    651907     14.96     15.46  --
663.11/166.04	c  S st  4291    806515        68      4452        39     51206     31190    660856     14.96     15.46  --
663.11/166.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
663.11/166.04	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
664.31/166.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.6M T:  1.20
664.31/166.34	c Calc non-exist non-lernt bins v-fix:     0 done:     68 time:  0.00 s
664.31/166.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
664.31/166.35	c Subs w/ non-existent bins:      0 time:  0.03 s
664.31/166.35	c Replacing        1 vars Replaced      213 lits Time:     0.03 s 
664.31/166.37	c bin-w-bin subsume rem            2 bins  time:  0.00 s
664.31/166.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
664.31/166.37	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
675.11/169.04	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.06
713.03/178.55	c Added 1 vars  tried: 80000 time: 37.97
713.43/178.67	c ORs :      1 avg-s:  0.0 cl-sh:  6093 l-rem:   6093 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   38.47
713.43/178.69	c lits-rem:      1134  cl-subs:     9715  v-elim:     50  v-fix:    0  time: 49.20 s
713.43/178.69	c learnt bin added due to v-elim: 0
713.43/178.69	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
713.43/178.69	c vivif2 --  cl tried    41491 cl shrink        0 lits rem          0 time: 0.03
713.83/178.77	c asymm  cl-useful: 0/312/4453 lits-rem:0 time: 0.32
713.83/178.78	c calculated reachability. Time: 0.00
713.83/178.78	c  N dy  4291    806515        68      4453        37     41491     31168    523071     14.96     15.46  --
1202.41/301.06	c  N dy  4407   1209772        68      4453        37     58540     31168    818954     19.73     14.20  --
1202.41/301.09	c  S st  4407   1209772        68      4453        37     58540     31168    818954     19.73     14.20  --
1203.18/301.29	c  S st  4407   1210277        71      4453        44     59005     31180    827745     19.73     14.20  --
1203.18/301.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1203.18/301.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1204.78/301.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 23.8M T:  1.50
1204.78/301.67	c Calc non-exist non-lernt bins v-fix:     0 done:     71 time:  0.00 s
1204.78/301.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1204.78/301.68	c Subs w/ non-existent bins:      0 time:  0.04 s
1204.78/301.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1204.78/301.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1204.78/301.69	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1217.16/304.73	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 14.0 T:    0.14
1217.16/304.75	c lits-rem:      3898  cl-subs:     6382  v-elim:     50  v-fix:    0  time: 12.20 s
1217.16/304.75	c learnt bin added due to v-elim: 0
1217.16/304.75	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
1217.16/304.76	c vivif2 --  cl tried    52622 cl shrink        1 lits rem          1 time: 0.05
1217.56/304.86	c asymm  cl-useful: 0/201/4453 lits-rem:0 time: 0.38
1217.56/304.86	c calculated reachability. Time: 0.00
1217.56/304.86	c  N dy  4407   1210277        71      4453        44     52622     31180    730682     19.73     14.20  --
1953.40/489.03	c  N dy  4431   1710279        71      4453        44     80105     31180   1090216     15.20     13.49  --
1953.40/489.07	c  S st  4431   1710279        71      4453        44     80105     31180   1090216     15.20     13.49  --
1954.58/489.34	c  S st  4431   1710783        72      4453        46     80573     31184   1098985     15.20     13.49  --
1954.58/489.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1954.58/489.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1956.98/489.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 35.4M T:  2.31
1956.98/489.93	c Calc non-exist non-lernt bins v-fix:     0 done:     72 time:  0.01 s
1956.98/489.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1956.98/489.94	c Subs w/ non-existent bins:      0 time:  0.06 s
1956.98/489.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1956.98/489.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1956.98/489.96	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1990.13/498.22	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 19.0 T:    0.16
1990.13/498.24	c lits-rem:      3919  cl-subs:    17717  v-elim:     50  v-fix:    0  time: 33.07 s
1990.13/498.24	c learnt bin added due to v-elim: 0
1990.13/498.24	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
1990.13/498.26	c vivif2 --  cl tried    62854 cl shrink        0 lits rem          0 time: 0.06
1990.53/498.36	c asymm  cl-useful: 0/186/4453 lits-rem:0 time: 0.40
1990.53/498.36	c calculated reachability. Time: 0.00
1990.53/498.36	c  N dy  4431   1710783        72      4453        46     62854     31184    865141     15.20     13.49  --
2826.59/707.64	c  N dy  4516   2210784        72      4453        46     78516     31184   1047956     16.26     13.27  --
2826.59/707.69	c  S st  4516   2210784        72      4453        46     78516     31184   1047956     16.26     13.27  --
2826.59/707.69	c Finding binary XORs  T:     0.00 s  found:       0
2827.80/707.97	c  S st  4516   2211286        72      4453        46     78979     31184   1056814     16.26     13.27  --
2827.80/707.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2827.80/707.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2830.18/708.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 36.9M T:  2.38
2830.18/708.57	c Calc non-exist non-lernt bins v-fix:     0 done:     72 time:  0.01 s
2830.18/708.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2830.18/708.58	c Subs w/ non-existent bins:      0 time:  0.06 s
2830.58/708.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2830.58/708.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2830.58/708.60	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2857.74/715.41	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 12.5 T:    0.17
2922.85/731.78	c Added 1 vars  tried: 80000 time: 65.38
2923.65/731.98	c ORs :      1 avg-s:  0.0 cl-sh:  7060 l-rem:   7060 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   66.17
2923.65/732.00	c lits-rem:      2168  cl-subs:    13476  v-elim:     50  v-fix:    0  time: 93.43 s
2923.65/732.00	c learnt bin added due to v-elim: 0
2924.05/732.00	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
2924.05/732.01	c vivif2 --  cl tried    65501 cl shrink        1 lits rem          1 time: 0.06
2924.47/732.10	c asymm  cl-useful: 0/165/4454 lits-rem:0 time: 0.36
2924.47/732.11	c calculated reachability. Time: 0.00
2924.47/732.11	c  N dy  4516   2211286        73      4454        48     65501     31158    880719     16.26     13.27  --
2958.00/740.59	c  N dy  4651   2231396        73      4454        48     83562     31158   1211185     18.33     13.28  --
3002.35/751.69	c  N dy  4786   2251484        73      4454        48    101666     31158   1542548     18.26     13.30  --
3882.38/971.94	c  N dy  4848   2711286        73      4454        48     87582     31158   1190918     15.14     13.12  --
3882.38/972.00	c  S st  4848   2711286        73      4454        48     87582     31158   1190918     15.14     13.12  --
3883.96/972.31	c  S st  4848   2711790        73      4454        48     88051     31158   1199393     15.14     13.12  --
3883.96/972.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3883.96/972.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3886.78/973.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 43.5M T:  2.74
3886.78/973.00	c Calc non-exist non-lernt bins v-fix:     0 done:     73 time:  0.01 s
3886.78/973.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3886.78/973.02	c Subs w/ non-existent bins:      0 time:  0.07 s
3886.78/973.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3886.78/973.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3886.78/973.05	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3921.11/981.61	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 7.0 T:    0.31
3921.11/981.63	c lits-rem:      1611  cl-subs:    14169  v-elim:     50  v-fix:    0  time: 34.29 s
3921.11/981.63	c learnt bin added due to v-elim: 0
3921.11/981.63	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
3921.11/981.65	c vivif2 --  cl tried    73881 cl shrink        0 lits rem          0 time: 0.07
3921.51/981.75	c asymm  cl-useful: 0/112/4454 lits-rem:0 time: 0.41
3921.51/981.76	c calculated reachability. Time: 0.00
3921.51/981.76	c  N dy  4848   2711790        73      4454        48     73881     31158   1015818     15.14     13.12  --
3921.51/981.76	c  F st  4848   2711790        73      4454        48     73881     31158   1015818     15.14     13.12  --
3925.51/982.74	c Decided on static restart strategy
3961.87/991.88	c  N dy  4976   2731870        73      4454        48     91998     31158   1345764     18.56     13.14  --

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-3172849-1304106652/watcher-3172849-1304106652 -o /tmp/evaluation-result-3172849-1304106652/solver-3172849-1304106652 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172849-1304106652.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: 5.67 7.52 7.82 3/176 26256
/proc/meminfo: memFree=24385356/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=50144 CPUtime=0 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 668 0 0 0 0 0 0 0 25 0 1 0 600895831 51347456 599 33554432000 4194304 4797429 140737431565136 18446744073709551615 216734875403 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26256/statm: 12536 599 347 148 0 7465 0

[startup+0.122185 s]
/proc/loadavg: 5.67 7.52 7.82 3/176 26256
/proc/meminfo: memFree=24385356/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=636028 CPUtime=0.44 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) D 26254 26256 25742 0 -1 4202496 1354 0 0 0 44 0 0 0 18 0 4 0 600895831 651292672 1223 33554432000 4194304 4797429 140737431565136 18446744073709551615 216735221895 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 153730 1142 375 148 0 148659 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 636028

[startup+0.29859 s]
/proc/loadavg: 5.67 7.52 7.82 3/176 26256
/proc/meminfo: memFree=24385356/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=674876 CPUtime=1.98 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 3357 0 0 0 198 0 0 0 18 0 4 0 600895831 691073024 2551 33554432000 4194304 4797429 140737431565136 18446744073709551615 4414343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 169466 3606 413 148 0 164395 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 674876

[startup+0.936071 s]
/proc/loadavg: 5.67 7.52 7.82 3/176 26256
/proc/meminfo: memFree=24385356/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=678040 CPUtime=3.69 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 4737 0 0 0 369 0 0 0 19 0 4 0 600895831 694312960 3727 33554432000 4194304 4797429 140737431565136 18446744073709551615 4425051 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 169510 3727 413 148 0 164439 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 678040

[startup+1.03605 s]
/proc/loadavg: 5.67 7.52 7.82 3/176 26256
/proc/meminfo: memFree=24385356/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=678308 CPUtime=4.09 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 4832 0 0 0 409 0 0 0 19 0 4 0 600895831 694587392 3822 33554432000 4194304 4797429 140737431565136 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 169577 3822 414 148 0 164506 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 678308

[startup+1.50097 s]
/proc/loadavg: 5.67 7.52 7.82 3/176 26256
/proc/meminfo: memFree=24385356/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=679228 CPUtime=5.95 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 5359 0 0 0 595 0 0 0 20 0 4 0 600895831 695529472 4106 33554432000 4194304 4797429 140737431565136 18446744073709551615 4424652 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 169807 4106 414 148 0 164736 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 679228

[startup+3.10069 s]
/proc/loadavg: 5.85 7.53 7.82 9/184 26264
/proc/meminfo: memFree=24354288/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=680576 CPUtime=12.35 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 7032 0 0 0 1234 1 0 0 25 0 4 0 600895831 696909824 4515 33554432000 4194304 4797429 140737431565136 18446744073709551615 4424812 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 170144 4515 416 148 0 165073 0
[pid=26256/tid=26262] ppid=26254 vsize=680576 CPUtime=3.08 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 1162 0 0 0 308 0 0 0 25 0 4 0 600895832 696909824 4515 33554432000 4194304 4797429 140737431565136 18446744073709551615 4429141 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=680576 CPUtime=3.07 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 1242 0 0 0 307 0 0 0 25 0 4 0 600895832 696909824 4515 33554432000 4194304 4797429 140737431565136 18446744073709551615 4429169 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=680576 CPUtime=3.08 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 1238 0 0 0 308 0 0 0 25 0 4 0 600895832 696909824 4515 33554432000 4194304 4797429 140737431565136 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 680576

[startup+6.30113 s]
/proc/loadavg: 5.85 7.53 7.82 9/184 26265
/proc/meminfo: memFree=24345612/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=682840 CPUtime=25.12 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 9653 0 0 0 2511 1 0 0 25 0 4 0 600895831 699228160 5600 33554432000 4194304 4797429 140737431565136 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 170710 5600 416 148 0 165639 0
[pid=26256/tid=26262] ppid=26254 vsize=682840 CPUtime=6.27 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 1582 0 0 0 627 0 0 0 25 0 4 0 600895832 699228160 5600 33554432000 4194304 4797429 140737431565136 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=682840 CPUtime=6.25 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 1627 0 0 0 625 0 0 0 25 0 4 0 600895832 699228160 5600 33554432000 4194304 4797429 140737431565136 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=682840 CPUtime=6.28 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 1685 0 0 0 628 0 0 0 25 0 4 0 600895832 699228160 5600 33554432000 4194304 4797429 140737431565136 18446744073709551615 4524507 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 682840

[startup+12.701 s]
/proc/loadavg: 6.26 7.56 7.83 10/184 26295
/proc/meminfo: memFree=24350744/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=685532 CPUtime=50.71 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 13664 0 0 0 5069 2 0 0 25 0 4 0 600895831 701984768 6654 33554432000 4194304 4797429 140737431565136 18446744073709551615 4351600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 171383 6654 419 148 0 166312 0
[pid=26256/tid=26262] ppid=26254 vsize=685532 CPUtime=12.68 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 2770 0 0 0 1268 0 0 0 25 0 4 0 600895832 701984768 6654 33554432000 4194304 4797429 140737431565136 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=685532 CPUtime=12.63 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 2120 0 0 0 1263 0 0 0 25 0 4 0 600895832 701984768 6654 33554432000 4194304 4797429 140737431565136 18446744073709551615 4523994 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=685532 CPUtime=12.69 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 2157 0 0 0 1269 0 0 0 25 0 4 0 600895832 701984768 6654 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 685532

[startup+25.5008 s]
/proc/loadavg: 6.53 7.57 7.83 9/184 26295
/proc/meminfo: memFree=24317316/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=692284 CPUtime=101.83 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 21299 0 0 0 10180 3 0 0 25 0 4 0 600895831 708898816 8687 33554432000 4194304 4797429 140737431565136 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 173071 8687 419 148 0 168000 0
[pid=26256/tid=26262] ppid=26254 vsize=692284 CPUtime=25.47 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 5257 0 0 0 2547 0 0 0 25 0 4 0 600895832 708898816 8687 33554432000 4194304 4797429 140737431565136 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=692284 CPUtime=25.36 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 2926 0 0 0 2536 0 0 0 25 0 4 0 600895832 708898816 8687 33554432000 4194304 4797429 140737431565136 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=692284 CPUtime=25.48 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 3090 0 0 0 2548 0 0 0 25 0 4 0 600895832 708898816 8687 33554432000 4194304 4797429 140737431565136 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 692284

[startup+51.1003 s]
/proc/loadavg: 7.09 7.62 7.84 9/184 26296
/proc/meminfo: memFree=24298520/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=695164 CPUtime=204.1 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 29587 0 0 0 20404 6 0 0 25 0 4 0 600895831 711847936 10240 33554432000 4194304 4797429 140737431565136 18446744073709551615 4351629 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 173791 10240 421 148 0 168720 0
[pid=26256/tid=26262] ppid=26254 vsize=695164 CPUtime=51.07 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 6503 0 0 0 5106 1 0 0 25 0 4 0 600895832 711847936 10240 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=695164 CPUtime=50.83 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 3966 0 0 0 5083 0 0 0 25 0 4 0 600895832 711847936 10240 33554432000 4194304 4797429 140737431565136 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=695164 CPUtime=51.08 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 4248 0 0 0 5107 1 0 0 25 0 4 0 600895832 711847936 10240 33554432000 4194304 4797429 140737431565136 18446744073709551615 4495680 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 695164

[startup+102.3 s]
/proc/loadavg: 7.64 7.69 7.85 9/184 26297
/proc/meminfo: memFree=24276544/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=698336 CPUtime=408.63 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 42772 0 0 0 40852 11 0 0 25 0 4 0 600895831 715096064 12503 33554432000 4194304 4797429 140737431565136 18446744073709551615 4424603 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 174584 12503 423 148 0 169513 0
[pid=26256/tid=26262] ppid=26254 vsize=698336 CPUtime=102.26 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 8132 0 0 0 10225 1 0 0 25 0 4 0 600895832 715096064 12503 33554432000 4194304 4797429 140737431565136 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=698336 CPUtime=101.77 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 5716 0 0 0 10175 2 0 0 25 0 4 0 600895832 715096064 12503 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=698336 CPUtime=102.28 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 5860 0 0 0 10227 1 0 0 25 0 4 0 600895832 715096064 12503 33554432000 4194304 4797429 140737431565136 18446744073709551615 4351621 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 698336

[startup+162.301 s]
/proc/loadavg: 7.90 7.76 7.86 9/184 26299
/proc/meminfo: memFree=24253580/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=705584 CPUtime=648.35 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 57140 0 0 0 64819 16 0 0 25 0 4 0 600895831 722518016 13909 33554432000 4194304 4797429 140737431565136 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 176396 13909 423 148 0 171325 0
[pid=26256/tid=26262] ppid=26254 vsize=705584 CPUtime=162.27 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 10110 0 0 0 16225 2 0 0 25 0 4 0 600895832 722518016 13909 33554432000 4194304 4797429 140737431565136 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=705584 CPUtime=161.46 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 7502 0 0 0 16144 2 0 0 25 0 4 0 600895832 722518016 13909 33554432000 4194304 4797429 140737431565136 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=705584 CPUtime=162.28 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 7679 0 0 0 16227 1 0 0 25 0 4 0 600895832 722518016 13909 33554432000 4194304 4797429 140737431565136 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.35
Current children cumulated vsize (KiB) 705584

[startup+222.3 s]
/proc/loadavg: 8.04 7.82 7.87 9/184 26300
/proc/meminfo: memFree=24233836/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=708364 CPUtime=888 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 68257 0 0 0 88782 18 0 0 25 0 4 0 600895831 725364736 16169 33554432000 4194304 4797429 140737431565136 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 177091 16169 421 148 0 172020 0
[pid=26256/tid=26262] ppid=26254 vsize=708364 CPUtime=222.25 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 11499 0 0 0 22222 3 0 0 25 0 4 0 600895832 725364736 16169 33554432000 4194304 4797429 140737431565136 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=708364 CPUtime=221.15 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 9037 0 0 0 22112 3 0 0 25 0 4 0 600895832 725364736 16169 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=708364 CPUtime=222.29 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 9144 0 0 0 22227 2 0 0 25 0 4 0 600895832 725364736 16169 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 888
Current children cumulated vsize (KiB) 708364

[startup+282.307 s]
/proc/loadavg: 8.09 7.86 7.88 9/184 26302
/proc/meminfo: memFree=24222896/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=712644 CPUtime=1127.71 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 79439 0 0 0 112748 23 0 0 25 0 4 0 600895831 729747456 17698 33554432000 4194304 4797429 140737431565136 18446744073709551615 4424835 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 178161 17698 421 148 0 173090 0
[pid=26256/tid=26262] ppid=26254 vsize=712644 CPUtime=282.26 cores=0,2,4,6

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

[pid=26256] ppid=26254 vsize=728012 CPUtime=2565.74 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 133513 0 0 0 256529 45 0 0 25 0 4 0 600895831 745484288 24887 33554432000 4194304 4797429 140737431565136 18446744073709551615 4345088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 182003 24887 421 148 0 176932 0
[pid=26256/tid=26262] ppid=26254 vsize=728012 CPUtime=642.22 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 19766 0 0 0 64215 7 0 0 25 0 4 0 600895832 745484288 24887 33554432000 4194304 4797429 140737431565136 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=728012 CPUtime=638.92 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 17124 0 0 0 63885 7 0 0 25 0 4 0 600895832 745484288 24887 33554432000 4194304 4797429 140737431565136 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=728012 CPUtime=642.28 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 17445 0 0 0 64223 5 0 0 25 0 4 0 600895832 745484288 24887 33554432000 4194304 4797429 140737431565136 18446744073709551615 4428841 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.74
Current children cumulated vsize (KiB) 728012

[startup+702.301 s]
/proc/loadavg: 8.02 8.01 7.94 9/184 26322
/proc/meminfo: memFree=24157004/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=728248 CPUtime=2805.42 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 141255 0 0 0 280494 48 0 0 25 0 4 0 600895831 745725952 25561 33554432000 4194304 4797429 140737431565136 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 182062 25561 421 148 0 176991 0
[pid=26256/tid=26262] ppid=26254 vsize=728248 CPUtime=702.22 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 20352 0 0 0 70214 8 0 0 25 0 4 0 600895832 745725952 25561 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=728248 CPUtime=698.6 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 18033 0 0 0 69853 7 0 0 25 0 4 0 600895832 745725952 25561 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=728248 CPUtime=702.28 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 18042 0 0 0 70223 5 0 0 25 0 4 0 600895832 745725952 25561 33554432000 4194304 4797429 140737431565136 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 728248

[startup+762.301 s]
/proc/loadavg: 8.08 8.02 7.94 9/184 26324
/proc/meminfo: memFree=24155092/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=732924 CPUtime=3045.09 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 147628 0 0 0 304458 51 0 0 25 0 4 0 600895831 750514176 25737 33554432000 4194304 4797429 140737431565136 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 183231 25737 421 148 0 178160 0
[pid=26256/tid=26262] ppid=26254 vsize=732924 CPUtime=762.21 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 21347 0 0 0 76213 8 0 0 25 0 4 0 600895832 750514176 25737 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=732924 CPUtime=758.28 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 19060 0 0 0 75820 8 0 0 25 0 4 0 600895832 750514176 25737 33554432000 4194304 4797429 140737431565136 18446744073709551615 4430123 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=732924 CPUtime=762.29 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 19198 0 0 0 76223 6 0 0 25 0 4 0 600895832 750514176 25737 33554432000 4194304 4797429 140737431565136 18446744073709551615 4428832 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 732924

[startup+822.301 s]
/proc/loadavg: 8.12 8.04 7.95 9/184 26325
/proc/meminfo: memFree=24137328/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=733136 CPUtime=3284.78 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 154377 0 0 0 328424 54 0 0 25 0 4 0 600895831 750731264 26983 33554432000 4194304 4797429 140737431565136 18446744073709551615 4345201 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 183284 26983 421 148 0 178213 0
[pid=26256/tid=26262] ppid=26254 vsize=733136 CPUtime=822.21 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 22356 0 0 0 82213 8 0 0 25 0 4 0 600895832 750731264 26983 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=733136 CPUtime=817.97 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 20051 0 0 0 81788 9 0 0 25 0 4 0 600895832 750731264 26983 33554432000 4194304 4797429 140737431565136 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=733136 CPUtime=822.29 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 20293 0 0 0 82222 7 0 0 25 0 4 0 600895832 750731264 26983 33554432000 4194304 4797429 140737431565136 18446744073709551615 4429159 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.78
Current children cumulated vsize (KiB) 733136

[startup+882.3 s]
/proc/loadavg: 8.15 8.06 7.96 9/184 26327
/proc/meminfo: memFree=24136184/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=733712 CPUtime=3524.44 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 161430 0 0 0 352387 57 0 0 25 0 4 0 600895831 751321088 27307 33554432000 4194304 4797429 140737431565136 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 183428 27307 421 148 0 178357 0
[pid=26256/tid=26262] ppid=26254 vsize=733712 CPUtime=882.2 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 23259 0 0 0 88211 9 0 0 25 0 4 0 600895832 751321088 27307 33554432000 4194304 4797429 140737431565136 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=733712 CPUtime=877.65 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 20671 0 0 0 87756 9 0 0 25 0 4 0 600895832 751321088 27307 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=733712 CPUtime=882.28 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 21285 0 0 0 88221 7 0 0 25 0 4 0 600895832 751321088 27307 33554432000 4194304 4797429 140737431565136 18446744073709551615 4645690 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 733712

[startup+942.307 s]
/proc/loadavg: 8.14 8.08 7.97 9/184 26328
/proc/meminfo: memFree=24126472/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=735728 CPUtime=3764.14 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 168155 0 0 0 376354 60 0 0 25 0 4 0 600895831 753385472 28148 33554432000 4194304 4797429 140737431565136 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 183932 28148 421 148 0 178861 0
[pid=26256/tid=26262] ppid=26254 vsize=735728 CPUtime=942.21 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 23761 0 0 0 94211 10 0 0 25 0 4 0 600895832 753385472 28148 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=735728 CPUtime=937.33 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 21625 0 0 0 93723 10 0 0 25 0 4 0 600895832 753385472 28148 33554432000 4194304 4797429 140737431565136 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=735728 CPUtime=942.3 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 21915 0 0 0 94222 8 0 0 25 0 4 0 600895832 753385472 28148 33554432000 4194304 4797429 140737431565136 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.14
Current children cumulated vsize (KiB) 735728

[startup+1002.3 s]
/proc/loadavg: 8.08 8.08 7.98 9/184 26330
/proc/meminfo: memFree=24119628/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=737392 CPUtime=4003.79 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 174888 0 0 0 400317 62 0 0 25 0 4 0 600895831 755089408 29213 33554432000 4194304 4797429 140737431565136 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 184348 29213 421 148 0 179277 0
[pid=26256/tid=26262] ppid=26254 vsize=737392 CPUtime=1002.19 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 24781 0 0 0 100209 10 0 0 25 0 4 0 600895832 755089408 29213 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=737392 CPUtime=997.01 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 22639 0 0 0 99691 10 0 0 25 0 4 0 600895832 755089408 29213 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=737392 CPUtime=1002.28 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 23065 0 0 0 100220 8 0 0 25 0 4 0 600895832 755089408 29213 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 737392

[startup+1062.3 s]
/proc/loadavg: 8.03 8.06 7.98 9/184 26332
/proc/meminfo: memFree=24114500/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=739496 CPUtime=4243.47 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 181756 0 0 0 424282 65 0 0 25 0 4 0 600895831 757243904 28981 33554432000 4194304 4797429 140737431565136 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 184874 28981 421 148 0 179803 0
[pid=26256/tid=26262] ppid=26254 vsize=739496 CPUtime=1062.19 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 26087 0 0 0 106208 11 0 0 25 0 4 0 600895832 757243904 28981 33554432000 4194304 4797429 140737431565136 18446744073709551615 4426361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=739496 CPUtime=1056.68 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 23197 0 0 0 105658 10 0 0 25 0 4 0 600895832 757243904 28981 33554432000 4194304 4797429 140737431565136 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=739496 CPUtime=1062.29 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 24014 0 0 0 106220 9 0 0 25 0 4 0 600895832 757243904 28981 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 739496

[startup+1122.3 s]
/proc/loadavg: 8.05 8.06 7.98 9/184 26333
/proc/meminfo: memFree=24107648/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=742784 CPUtime=4483.15 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 187008 0 0 0 448247 68 0 0 25 0 4 0 600895831 760610816 30856 33554432000 4194304 4797429 140737431565136 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 185696 30856 421 148 0 180625 0
[pid=26256/tid=26262] ppid=26254 vsize=742784 CPUtime=1122.19 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 26565 0 0 0 112207 12 0 0 25 0 4 0 600895832 760610816 30856 33554432000 4194304 4797429 140737431565136 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=742784 CPUtime=1116.36 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 24229 0 0 0 111626 10 0 0 25 0 4 0 600895832 760610816 30856 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=742784 CPUtime=1122.29 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 24519 0 0 0 112220 9 0 0 25 0 4 0 600895832 760610816 30856 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.15
Current children cumulated vsize (KiB) 742784

[startup+1182.3 s]
/proc/loadavg: 8.06 8.06 7.99 9/184 26335
/proc/meminfo: memFree=24101040/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=743180 CPUtime=4722.82 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 194149 0 0 0 472212 70 0 0 25 0 4 0 600895831 761016320 29876 33554432000 4194304 4797429 140737431565136 18446744073709551615 4351629 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 185795 29876 421 148 0 180724 0
[pid=26256/tid=26262] ppid=26254 vsize=743180 CPUtime=1182.19 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 27528 0 0 0 118207 12 0 0 25 0 4 0 600895832 761016320 29876 33554432000 4194304 4797429 140737431565136 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=743180 CPUtime=1176.04 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 25112 0 0 0 117593 11 0 0 25 0 4 0 600895832 761016320 29876 33554432000 4194304 4797429 140737431565136 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=743180 CPUtime=1182.29 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 25530 0 0 0 118220 9 0 0 25 0 4 0 600895832 761016320 29876 33554432000 4194304 4797429 140737431565136 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 743180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.04 8.06 7.99 9/184 26335
/proc/meminfo: memFree=24104744/32951124 swapFree=67102140/67111528
[pid=26256] ppid=26254 vsize=743180 CPUtime=4800.33 cores=0,2,4,6
/proc/26256/stat : 26256 (techdemo) R 26254 26256 25742 0 -1 4202496 195219 0 0 0 479963 70 0 0 25 0 4 0 600895831 761016320 30895 33554432000 4194304 4797429 140737431565136 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26256/statm: 185795 30895 421 148 0 180724 0
[pid=26256/tid=26262] ppid=26254 vsize=743180 CPUtime=1201.59 cores=0,2,4,6
/proc/26256/task/26262/stat : 26262 (techdemo) R 26254 26256 25742 0 -1 4202560 27644 0 0 0 120147 12 0 0 25 0 4 0 600895832 761016320 30895 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=743180 CPUtime=1195.34 cores=0,2,4,6
/proc/26256/task/26263/stat : 26263 (techdemo) R 26254 26256 25742 0 -1 4202560 25297 0 0 0 119523 11 0 0 25 0 4 0 600895832 761016320 30895 33554432000 4194304 4797429 140737431565136 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26264] ppid=26254 vsize=743180 CPUtime=1201.7 cores=0,2,4,6
/proc/26256/task/26264/stat : 26264 (techdemo) R 26254 26256 25742 0 -1 4202560 25684 0 0 0 120161 9 0 0 25 0 4 0 600895832 761016320 30895 33554432000 4194304 4797429 140737431565136 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 743180

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.37
CPU user time (s): 4799.66
CPU system time (s): 0.715891
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 853300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.66
system time used= 0.715891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195219
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= 329
involuntary context switches= 24676

runsolver used 1.9987 second user time and 4.38233 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-29 21:50:52
IDJOB=3172849
IDBENCH=82867
IDSOLVER=1584
FILE ID=node119/3172849-1304106652
RUNJOBID= node119-1304106652-26237
PBS_JOBID= 13170637
Free space on /tmp= 71816 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172849-1304106652/watcher-3172849-1304106652 -o /tmp/evaluation-result-3172849-1304106652/solver-3172849-1304106652 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172849-1304106652.cnf

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

MD5SUM BENCH= d8b7f1701bbfddf0d556cafbec39b80e
RANDOM SEED=1644365548

node119.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.815
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.63
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.815
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.83
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.815
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.74
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.815
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	: 5332.83
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.815
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.67
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.815
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.815
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.74
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24385892 kB
Buffers:       1907924 kB
Cached:        6035488 kB
SwapCached:       3688 kB
Active:         150848 kB
Inactive:      7852356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24385892 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           15620 kB
Writeback:           8 kB
AnonPages:       58464 kB
Mapped:          14640 kB
Slab:           498820 kB
PageTables:       4916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   201956 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71800 MiB
End job on node119 at 2011-04-29 22:10:55