Trace number 3172737

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-mtSAT 3315.9 831.134

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf
MD5SUMef1a26ad366fa6cdd721df0a7f8f760c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.034994
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-3172737-1304092709.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.44/0.21	c asymm  cl-useful: 0/1909/4450 lits-rem:0 time: 0.43
0.44/0.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.01
0.44/0.21	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
0.44/0.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.44/0.21	c Subs w/ non-existent bins:      0 time:  0.00 s
0.44/0.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.44/0.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.44/0.21	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3.15/0.83	c lits-rem:         0  cl-subs:        0  v-elim:     32  v-fix:    0  time:  0.04 s
3.15/0.83	c learnt bin added due to v-elim: 0
3.15/0.83	c Finding binary XORs  T:     0.00 s  found:       0
3.15/0.83	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.15/0.83	c calculated reachability. Time: 0.00
3.15/0.83	c Calc default polars -  time:   0.00 s pos:      24 undec:       0 neg:      26
3.15/0.83	c =========================================================================================
3.15/0.83	c types(t): F = full restart, N = normal restart
3.15/0.83	c types(t): S = simplification begin/end, E = solution found
3.15/0.83	c restart types(rt): st = static, dy = dynamic
3.15/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3.15/0.83	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
3.15/0.83	c Decided on static restart strategy
3.15/0.83	c  N dy    19      4003        50      4450         0      3510     31150     64567     18.53     15.94  --
3.15/0.83	c  N dy    46      8075        50      4450         0      4842     31150     86218     18.96     16.35  --
3.15/0.83	c  N dy    73     12122        50      4450         0      4676     31150     77109     18.67     16.34  --
3.55/0.93	c  N dy   100     16159        50      4450         0      8238     31150    142483     18.93     16.28  --
4.77/1.24	c  N dy   127     20168        50      4450         0      6834     31150    109560     18.82     16.28  --
5.55/1.42	c  N dy   154     24218        50      4450         0     10403     31150    175439     18.78     16.28  --
6.35/1.69	c  N dy   181     28267        50      4450         0      7969     31150    122853     18.60     16.31  --
7.15/1.82	c  S st   193     30001        50      4450         0      9479     31150    150792     18.61     16.31  --
7.15/1.86	c  S st   193     30504        50      4450         0      9940     31150    159576     18.61     16.31  --
7.15/1.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.15/1.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.15/1.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.07
7.15/1.88	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
7.15/1.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.15/1.88	c Subs w/ non-existent bins:      0 time:  0.00 s
7.15/1.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.15/1.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.15/1.88	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.54/2.43	c lits-rem:      1250  cl-subs:     1419  v-elim:     50  v-fix:    0  time:  2.17 s
9.54/2.43	c learnt bin added due to v-elim: 0
9.54/2.43	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
9.54/2.43	c vivif2 --  cl tried     8521 cl shrink        0 lits rem          0 time: 0.00
9.94/2.58	c asymm  cl-useful: 0/1754/4450 lits-rem:0 time: 0.60
9.94/2.58	c calculated reachability. Time: 0.00
9.94/2.58	c  N dy   193     30504        50      4450         0      8521     31150    134080     18.61     16.31  --
9.94/2.58	c  F st   193     30504        50      4450         0      8521     31150    134080     18.61     16.31  --
10.74/2.72	c Decided on static restart strategy
11.14/2.86	c  N dy   212     34508        50      4450         0     12025     31150    198578     18.51     16.28  --
12.34/3.17	c  N dy   240     38628        50      4450         0      8814     31150    131803     18.26     16.24  --
13.55/3.46	c  N dy   267     42631        50      4450         0     12341     31150    197088     18.55     16.26  --
14.73/3.74	c  S st   288     45756        50      4450         0     15063     31150    247355     18.25     16.27  --
14.73/3.79	c  S st   288     46258        50      4450         0     15520     31150    256192     18.25     16.27  --
14.73/3.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.73/3.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.13/3.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  0.14
15.13/3.83	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
15.13/3.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.13/3.83	c Subs w/ non-existent bins:      0 time:  0.00 s
15.13/3.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.13/3.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.13/3.83	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
17.95/4.56	c lits-rem:      2090  cl-subs:     2385  v-elim:     50  v-fix:    0  time:  2.90 s
17.95/4.56	c learnt bin added due to v-elim: 0
17.95/4.56	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.95/4.56	c vivif2 --  cl tried    13135 cl shrink        0 lits rem          0 time: 0.00
18.32/4.67	c asymm  cl-useful: 0/787/4450 lits-rem:0 time: 0.44
18.32/4.67	c calculated reachability. Time: 0.00
18.32/4.67	c  N dy   288     46258        50      4450         0     13135     31150    210641     18.25     16.27  --
19.92/5.02	c  N dy   315     50317        50      4450         0      9009     31150    127777     18.60     16.26  --
21.13/5.32	c  N dy   342     54336        50      4450         0     12540     31150    192737     18.66     16.26  --
22.35/5.69	c  N dy   369     58388        50      4450         0     16083     31150    258573     19.00     16.28  --
23.93/6.04	c  N dy   396     62441        50      4450         0     10974     31150    157971     18.90     16.30  --
25.13/6.37	c  N dy   423     66485        50      4450         0     14514     31150    223258     18.72     16.29  --
26.34/6.66	c  S st   443     69388        50      4450         0     17063     31150    270729     18.89     16.29  --
26.74/6.72	c  S st   443     69893        50      4450         0     17525     31150    279325     18.89     16.29  --
26.74/6.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.74/6.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.9M T:  0.19
26.74/6.77	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
26.74/6.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.74/6.77	c Subs w/ non-existent bins:      0 time:  0.01 s
26.74/6.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.78	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
29.52/7.46	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.31/8.16	c Added 1 vars  tried: 11100 time: 2.80
32.31/8.17	c ORs :      1 avg-s:  0.0 cl-sh:  1156 l-rem:   1156 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    2.83
32.31/8.17	c lits-rem:      1750  cl-subs:     2418  v-elim:     50  v-fix:    0  time:  5.57 s
32.31/8.17	c learnt bin added due to v-elim: 0
32.31/8.17	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
32.31/8.17	c vivif2 --  cl tried    15107 cl shrink        0 lits rem          0 time: 0.01
33.11/8.33	c asymm  cl-useful: 0/1533/4451 lits-rem:0 time: 0.63
33.11/8.33	c calculated reachability. Time: 0.00
33.11/8.33	c  N dy   443     69893        51      4451         2     15107     31129    232338     18.89     16.29  --
33.11/8.33	c  F st   443     69893        51      4451         2     15107     31129    232338     18.89     16.29  --
33.91/8.53	c Decided on static restart strategy
35.12/8.81	c  N dy   466     74488        51      4451         2      9688     31129    124814     18.70     16.28  --
36.70/9.20	c  N dy   498     79294        51      4451         2     13905     31129    203685     18.63     16.29  --
38.31/9.68	c  N dy   532     84375        51      4451         2     18360     31129    286838     19.42     16.30  --
40.70/10.23	c  N dy   569     89852        51      4451         2     12753     31129    173919     18.77     16.32  --
42.70/10.79	c  N dy   608     95689        51      4451         2     17850     31129    269005     18.38     16.33  --
45.49/11.49	c  N dy   649    101821        51      4451         2     11875     31129    150478     18.79     16.34  --
46.70/11.76	c  S st   670    104840        51      4451         2     14520     31129    199921     18.87     16.34  --
47.10/11.82	c  S st   670    105344        51      4451         2     14977     31129    208696     18.87     16.34  --
47.10/11.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.10/11.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.10/11.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.3M T:  0.19
47.10/11.86	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
47.10/11.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.10/11.87	c Subs w/ non-existent bins:      0 time:  0.01 s
47.10/11.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.10/11.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.10/11.87	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
49.49/12.48	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.49/12.48	c lits-rem:       966  cl-subs:     1175  v-elim:     50  v-fix:    0  time:  2.43 s
49.49/12.48	c learnt bin added due to v-elim: 0
49.49/12.48	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
49.49/12.48	c vivif2 --  cl tried    13802 cl shrink        0 lits rem          0 time: 0.01
50.29/12.63	c asymm  cl-useful: 0/1244/4451 lits-rem:0 time: 0.60
50.29/12.63	c calculated reachability. Time: 0.00
50.29/12.63	c  N dy   670    105344        51      4451         2     13802     31129    187805     18.87     16.34  --
53.11/13.36	c  N dy   716    112204        51      4451         2     19782     31129    298906     18.60     16.35  --
56.68/14.24	c  N dy   764    119421        51      4451         2     13914     31129    182728     18.58     16.35  --
59.87/15.08	c  N dy   816    127190        51      4451         2     20751     31129    308825     18.17     16.35  --
63.86/16.09	c  N dy   871    135381        51      4451         2     14852     31129    190446     18.38     16.35  --
67.86/17.07	c  N dy   930    144157        51      4451         2     22567     31129    333292     18.45     16.35  --
72.65/18.26	c  N dy   993    153496        51      4451         2     16730     31129    217060     18.61     16.36  --
74.67/18.77	c  S st  1024    158016        51      4451         2     20701     31129    289874     18.53     16.35  --
75.07/18.84	c  S st  1024    158519        51      4451         2     21164     31129    298721     18.53     16.35  --
75.07/18.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.07/18.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.45/18.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.3M T:  0.30
75.45/18.92	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
75.45/18.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.45/18.92	c Subs w/ non-existent bins:      0 time:  0.01 s
75.45/18.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.45/18.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.45/18.92	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
78.65/19.71	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
78.65/19.71	c lits-rem:      1370  cl-subs:     2200  v-elim:     50  v-fix:    0  time:  3.14 s
78.65/19.71	c learnt bin added due to v-elim: 0
78.65/19.71	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
78.65/19.71	c vivif2 --  cl tried    18964 cl shrink        0 lits rem          0 time: 0.01
79.06/19.87	c asymm  cl-useful: 0/940/4451 lits-rem:0 time: 0.60
79.06/19.87	c calculated reachability. Time: 0.00
79.06/19.87	c  N dy  1024    158519        51      4451         2     18964     31129    258750     18.53     16.35  --
84.64/21.23	c  N dy  1093    168753        51      4451         2     27914     31129    424037     18.25     16.35  --
89.83/22.57	c  N dy  1165    179573        51      4451         2     22542     31129    317769     18.41     16.36  --
96.64/24.26	c  N dy  1242    191142        51      4451         2     17012     31129    207392     18.50     16.37  --
103.02/25.80	c  N dy  1324    203344        55      4451        10     27702     31145    405439     18.95     16.37  --
110.23/27.69	c  N dy  1412    216459        55      4451        10     22579     31145    303772     18.61     16.38  --
119.02/29.87	c  N dy  1505    230376        55      4451        10     34778     31145    530072     18.18     16.38  --
123.00/30.88	c  S st  1555    237780        55      4451        10     23783     31145    319200     18.67     16.38  --
123.41/30.96	c  S st  1555    238283        55      4451        10     24240     31145    328178     18.67     16.38  --
123.41/30.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
123.41/30.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
123.78/31.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.9M T:  0.38
123.78/31.06	c Calc non-exist non-lernt bins v-fix:     0 done:     55 time:  0.00 s
123.78/31.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
123.78/31.06	c Subs w/ non-existent bins:      0 time:  0.01 s
123.78/31.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
123.78/31.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
123.78/31.07	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
127.40/31.99	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.40/32.00	c lits-rem:      1105  cl-subs:     2148  v-elim:     50  v-fix:    0  time:  3.72 s
127.40/32.00	c learnt bin added due to v-elim: 0
127.40/32.00	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
127.40/32.00	c vivif2 --  cl tried    22092 cl shrink        0 lits rem          0 time: 0.01
128.18/32.14	c asymm  cl-useful: 0/734/4451 lits-rem:0 time: 0.57
128.18/32.14	c calculated reachability. Time: 0.00
128.18/32.14	c  N dy  1555    238283        55      4451        10     22092     31145    290796     18.67     16.38  --
137.77/34.55	c  N dy  1658    253568        55      4451        10     35540     31145    539271     18.05     16.35  --
147.76/37.00	c  N dy  1768    269845        55      4451        10     31578     31145    458781     18.47     16.33  --
158.94/39.87	c  N dy  1884    287086        55      4451        10     27481     31145    372414     18.58     16.31  --
172.12/43.14	c  N dy  2008    305511        55      4451        10     23548     31145    290180     18.88     16.29  --
186.10/46.61	c  N dy  2141    325140        59      4451        23     40976     31165    614256     18.20     16.26  --
199.68/50.06	c  N dy  2277    345231        59      4451        23     37585     31165    540651     18.64     16.24  --
209.68/52.53	c  S st  2360    357424        59      4451        25     26259     31167    321037     18.40     16.23  --
210.08/52.63	c  S st  2360    357925        59      4451        25     26715     31167    329557     18.40     16.23  --
210.08/52.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
210.08/52.63	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
210.48/52.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.9M T:  0.46
210.48/52.74	c Calc non-exist non-lernt bins v-fix:     0 done:     59 time:  0.00 s
210.48/52.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
210.48/52.75	c Subs w/ non-existent bins:      0 time:  0.01 s
210.48/52.76	c Replacing        2 vars Replaced     1951 lits Time:     0.04 s 
210.48/52.76	c bin-w-bin subsume rem            4 bins  time:  0.00 s
210.48/52.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
210.48/52.76	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
214.87/53.81	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
214.87/53.81	c lits-rem:      1013  cl-subs:     1605  v-elim:     50  v-fix:    0  time:  4.18 s
214.87/53.81	c learnt bin added due to v-elim: 0
214.87/53.81	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
214.87/53.82	c vivif2 --  cl tried    25110 cl shrink        0 lits rem          0 time: 0.02
215.28/53.97	c asymm  cl-useful: 0/1051/4451 lits-rem:0 time: 0.61
215.28/53.97	c calculated reachability. Time: 0.00
215.28/53.97	c  N dy  2360    357925        57      4451        14     25110     31153    304046     18.40     16.23  --
230.44/57.79	c  N dy  2496    378030        57      4451        14     43009     31153    638052     18.39     16.20  --
246.04/61.60	c  N dy  2632    398116        57      4451        14     37973     31153    536681     18.89     16.18  --
262.40/65.78	c  N dy  2767    418138        57      4451        14     31793     31153    409931     18.80     16.17  --
280.78/70.36	c  N dy  2903    438203        57      4451        14     49719     31153    745104     19.50     16.15  --
296.36/74.26	c  N dy  3038    458255        61      4451        34     42562     31181    602108     19.02     16.14  --
313.93/78.60	c  N dy  3174    478346        61      4451        34     34675     31181    446963     18.53     16.13  --
332.71/83.37	c  N dy  3309    498407        61      4451        34     52581     31181    783548     19.15     16.12  --
349.48/87.52	c  N dy  3445    518539        61      4451        34     43769     31181    610287     18.31     16.11  --
367.46/92.01	c  S st  3569    536887        61      4451        34     32607     31181    395003     18.87     16.10  --
367.86/92.11	c  S st  3569    537393        61      4451        34     33077     31181    404270     18.87     16.10  --
367.86/92.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
367.86/92.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
368.26/92.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.1M T:  0.64
368.26/92.27	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
368.26/92.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
368.26/92.28	c Subs w/ non-existent bins:      0 time:  0.02 s
368.26/92.28	c Replacing        3 vars Replaced      693 lits Time:     0.02 s 
368.26/92.29	c bin-w-bin subsume rem            6 bins  time:  0.00 s
368.26/92.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
368.26/92.29	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
373.87/93.69	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
399.83/100.14	c Added 1 vars  tried: 80000 time: 25.76
399.83/100.17	c ORs :      1 avg-s:  0.0 cl-sh:  2003 l-rem:   2003 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   25.86
399.83/100.18	c lits-rem:       958  cl-subs:     1841  v-elim:     50  v-fix:    0  time: 31.50 s
399.83/100.18	c learnt bin added due to v-elim: 0
399.83/100.18	c vivif2 --  cl tried     4452 cl shrink        0 lits rem          0 time: 0.00
399.83/100.18	c vivif2 --  cl tried    31235 cl shrink        0 lits rem          0 time: 0.02
400.61/100.34	c asymm  cl-useful: 0/736/4452 lits-rem:0 time: 0.62
400.61/100.34	c calculated reachability. Time: 0.00
400.61/100.34	c  N dy  3569    537393        59      4452        19     31235     31130    373507     18.87     16.10  --
400.61/100.34	c  F st  3569    537393        59      4452        19     31235     31130    373507     18.87     16.10  --
402.21/100.70	c Decided on static restart strategy
418.59/104.86	c  N dy  3697    557447        59      4452        20     49105     31130    707270     18.91     16.09  --
438.17/109.71	c  N dy  3833    577508        59      4452        20     38644     31130    499881     18.67     16.08  --
458.54/114.86	c  N dy  3969    597583        59      4452        20     56653     31130    836563     18.99     16.07  --
476.91/119.49	c  N dy  4105    617637        63      4452        32     45180     31150    613687     18.47     16.06  --
500.48/125.32	c  N dy  4240    637652        63      4452        32     32695     31150    373068     18.76     16.05  --
519.65/130.12	c  N dy  4376    657684        67      4452        40     50590     31166    707431     18.82     16.05  --
542.02/135.79	c  N dy  4512    677800        67      4452        40     37316     31166    453279     18.72     16.05  --
561.99/140.79	c  N dy  4648    697873        67      4452        40     55265     31166    788834     18.58     16.04  --
584.79/146.44	c  N dy  4784    718010        69      4452        45     41078     31174    519138     18.68     16.04  --
607.13/152.02	c  N dy  4920    738045        69      4452        45     59037     31174    855461     18.59     16.03  --
678.63/169.99	c  N dy  4973    806089        69      4452        45     51870     31174    678704     16.96     15.83  --
679.03/170.02	c  S st  4973    806089        69      4452        45     51870     31174    678704     16.96     15.83  --
679.43/170.18	c  S st  4973    806590        69      4452        45     52324     31174    687424     16.96     15.83  --
679.43/170.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
679.43/170.18	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
680.63/170.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.9M T:  1.27
681.05/170.50	c Calc non-exist non-lernt bins v-fix:     0 done:     69 time:  0.00 s
681.05/170.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
681.05/170.51	c Subs w/ non-existent bins:      0 time:  0.04 s
681.05/170.55	c Replacing        2 vars Replaced     3581 lits Time:     0.15 s 
681.05/170.56	c bin-w-bin subsume rem            4 bins  time:  0.00 s
681.05/170.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
681.05/170.56	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
693.02/173.59	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
734.18/183.82	c Added 1 vars  tried: 80000 time: 40.86
734.55/183.96	c ORs :      1 avg-s:  0.0 cl-sh:  6795 l-rem:   6795 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   41.40
734.55/183.97	c lits-rem:      1883  cl-subs:     8364  v-elim:     50  v-fix:    0  time: 53.54 s
734.55/183.97	c learnt bin added due to v-elim: 0
734.55/183.97	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
734.55/183.98	c vivif2 --  cl tried    43960 cl shrink        0 lits rem          0 time: 0.04
734.95/184.06	c asymm  cl-useful: 0/278/4453 lits-rem:0 time: 0.34
734.95/184.06	c calculated reachability. Time: 0.00
734.95/184.06	c  N dy  4973    806590        68      4453        37     43960     31139    556490     16.96     15.83  --
1205.93/301.93	c  N dy  4990   1209886        68      4453        37     58664     31139    758474     14.83     14.71  --
1205.93/301.96	c  S st  4990   1209886        68      4453        37     58664     31139    758474     14.83     14.71  --
1206.73/302.16	c  S st  4990   1210387        68      4453        37     59130     31139    767609     14.83     14.71  --
1206.73/302.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1206.73/302.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1208.34/302.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 24.3M T:  1.49
1208.34/302.53	c Calc non-exist non-lernt bins v-fix:     0 done:     68 time:  0.00 s
1208.34/302.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1208.34/302.54	c Subs w/ non-existent bins:      0 time:  0.04 s
1208.34/302.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1208.34/302.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1208.34/302.56	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1224.30/306.55	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.09
1224.30/306.57	c lits-rem:      1289  cl-subs:    11571  v-elim:     50  v-fix:    0  time: 16.02 s
1224.30/306.57	c learnt bin added due to v-elim: 0
1224.30/306.57	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
1224.30/306.58	c vivif2 --  cl tried    47559 cl shrink        1 lits rem          1 time: 0.04
1224.70/306.67	c asymm  cl-useful: 0/187/4453 lits-rem:0 time: 0.36
1224.70/306.67	c calculated reachability. Time: 0.00
1224.70/306.67	c  N dy  4990   1210387        68      4453        37     47559     31139    626591     14.83     14.71  --
1251.06/313.21	c  N dy  5126   1230409        68      4453        37     65714     31139    958081     18.10     14.71  --
1287.84/322.47	c  N dy  5262   1250532        71      4453        47     42157     31155    506956     18.54     14.72  --
1311.79/328.40	c  N dy  5398   1270589        71      4453        47     60338     31155    838901     18.22     14.72  --
1342.54/336.10	c  N dy  5535   1290644        73      4453        52     78447     31163   1169137     18.05     14.72  --
1959.32/490.60	c  N dy  5665   1710387        73      4453        52     77300     31163    990795     15.32     14.16  --
1959.73/490.64	c  S st  5665   1710387        73      4453        52     77300     31163    990795     15.32     14.16  --
1960.91/490.91	c  S st  5665   1710889        73      4453        52     77765     31163    999348     15.32     14.16  --
1960.91/490.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1960.91/490.92	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
1962.91/491.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 34.1M T:  2.12
1962.91/491.45	c Calc non-exist non-lernt bins v-fix:     0 done:     73 time:  0.01 s
1962.91/491.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1962.91/491.46	c Subs w/ non-existent bins:      0 time:  0.06 s
1963.31/491.51	c Replacing        1 vars Replaced     1163 lits Time:     0.17 s 
1963.31/491.52	c bin-w-bin subsume rem            2 bins  time:  0.00 s
1963.31/491.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1963.31/491.53	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1988.48/497.80	c ORs :      3 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.15
2044.40/511.84	c Added 1 vars  tried: 80000 time: 56.08
2045.61/512.10	c ORs :      1 avg-s:  0.0 cl-sh:  8581 l-rem:   8581 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   57.12
2045.61/512.12	c lits-rem:      3076  cl-subs:    17627  v-elim:     50  v-fix:    0  time: 82.25 s
2045.61/512.12	c learnt bin added due to v-elim: 0
2045.61/512.12	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
2045.61/512.13	c vivif2 --  cl tried    60137 cl shrink        1 lits rem          1 time: 0.06
2046.01/512.23	c asymm  cl-useful: 0/158/4454 lits-rem:0 time: 0.37
2046.01/512.23	c calculated reachability. Time: 0.00
2046.01/512.23	c  N dy  5665   1710889        73      4454        48     60137     31135    759825     15.32     14.16  --
2078.37/520.34	c  N dy  5801   1730899        73      4454        48     78292     31135   1093290     18.39     14.16  --
2821.76/706.47	c Finding binary XORs  T:     0.00 s  found:       0
2955.98/740.03	c  N dy  5824   2210891        73      4454        50     75116     31135   1033629     15.48     13.36  --
2955.98/740.08	c  S st  5824   2210891        73      4454        50     75116     31135   1033629     15.48     13.36  --
2957.20/740.35	c  S st  5824   2211395        73      4454        50     75587     31135   1042579     15.48     13.36  --
2957.20/740.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2957.20/740.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2959.58/740.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      1 BRemN:      0 CBin:       0 P: 34.0M T:  2.30
2959.58/740.93	c Calc non-exist non-lernt bins v-fix:     0 done:     73 time:  0.01 s
2959.58/740.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2959.58/740.94	c Subs w/ non-existent bins:      0 time:  0.06 s
2959.58/740.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2962.37/741.63	c subs with bin:     4414  lits-rem:         1  v-fix:    0  time:  2.67 s
2962.37/741.63	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2981.14/746.35	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 16.0 T:    0.17
2981.14/746.37	c lits-rem:      2273  cl-subs:     9757  v-elim:     50  v-fix:    0  time: 18.92 s
2981.14/746.37	c learnt bin added due to v-elim: 0
2981.14/746.37	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
2981.14/746.38	c vivif2 --  cl tried    61413 cl shrink        5 lits rem          6 time: 0.06
2981.54/746.48	c asymm  cl-useful: 0/148/4454 lits-rem:0 time: 0.40
2981.54/746.49	c calculated reachability. Time: 0.00
2981.54/746.49	c  N dy  5824   2211395        73      4454        49     61413     31135    841518     15.48     13.36  --
3313.53/829.56	c  E dy  5868   2393103         0      4454        49    109125     31135   1652635     16.92     13.15  --
3315.85/831.12	c Verified 4454 clauses.
3315.85/831.12	c Verified 4454 clauses.
3315.85/831.12	c Following stats are for *FIRST FINISHED THREAD ONLY*
3315.85/831.12	c num threads              : 4          
3315.85/831.12	c restarts                 : 5868       
3315.85/831.12	c dynamic restarts         : 5844       
3315.85/831.12	c static restarts          : 24         
3315.85/831.12	c full restarts            : 3          
3315.85/831.12	c total simplify time      : 0.12       
3315.85/831.12	c learnts DL2              : 0          
3315.85/831.12	c learnts size 2           : 113        
3315.85/831.12	c learnts size 1           : 1           (1.22      % of vars)
3315.85/831.12	c filedLit time            : 9.55        (0.29      % time)
3315.85/831.12	c v-elim SatELite          : 0           (0.00      % vars)
3315.85/831.12	c SatELite time            : 225.61      (6.81      % time)
3315.85/831.12	c v-elim xor               : 0           (0.00      % vars)
3315.85/831.12	c xor elim time            : 0.08        (0.00      % time)
3315.85/831.12	c num binary xor trees     : 6          
3315.85/831.12	c binxor trees' crown      : 8           (1.33      leafs/tree)
3315.85/831.12	c bin xor find time        : 0.00       
3315.85/831.12	c OTF clause subsumed      : 263837      (0.11      clauses/conflict)
3315.85/831.12	c OTF subs. size diff      : 271620      (1.03       lits/clause)
3315.85/831.12	c OTF cl watch-shrink      : 104026      (0.04      clauses/conflict)
3315.85/831.12	c OTF cl watch-sh-lit      : 120795      (1.16       lits/clause)
3315.85/831.12	c tried to recurMin cls    : 2393102     (100.00     % of conflicts)
3315.85/831.12	c updated cache            : 827         (0.00       lits/tried recurMin)
3315.85/831.12	c OTF Gate-Rem cl          : 128412      (0.05      clauses/conflict)
3315.85/831.12	c OTF Gate-rem lits        : 139169      (1.08      lits/confl)
3315.85/831.12	c unit cls received        : 0           (0.00      % of units)
3315.85/831.12	c unit cls sent            : 1           (100.00    % of units)
3315.85/831.12	c bin cls received         : 86         
3315.85/831.12	c bin cls sent             : 43         
3315.85/831.12	c tri cls recevied         : 29         
3315.85/831.12	c tri cls sent             : 12         
3315.85/831.12	c clauses over max glue    : 0           (0.00      % of all clauses)
3315.85/831.12	c conflicts                : 2393103     (721.83    / sec)
3315.85/831.12	c decisions                : 2680617     (0.21      % random)
3315.85/831.12	c bogo-props               : 68842192776 (20764896.28 / sec)
3315.85/831.12	c props                    : 39688528    (11971.27  / sec)
3315.85/831.12	c conflict literals        : 42360033    (14.85     % deleted)
3315.85/831.12	c Memory used              : 667.96      MB
3315.85/831.12	c single-thread CPU time   : 3315.32     s
3315.85/831.12	c all-threads sum CPU time : 3315.32     s
3315.85/831.12	s SATISFIABLE
3315.85/831.12	v 1 -2 3 4 5 6 7 -8 -9 -10 -11 12 13 -14 -15 16 -17 -18 19 20 -21 22 23 -24 -25 26 -27 28 -29 -30 31 -32 33 34 35 -36 -37 38 -39 -40 41 -42 -43 44 -45 46 47 48 -49 50 0

Verifier Data 

OK

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

running on 4 cores: 1,3,5,7

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: 8.09 8.10 8.02 5/176 8823
/proc/meminfo: memFree=29740084/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=50144 CPUtime=0 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 648 0 0 0 0 0 0 0 23 0 1 0 501686190 51347456 579 33554432000 4194304 4797429 140735366863504 18446744073709551615 254261277381 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/8823/statm: 12536 579 347 148 0 7465 0

[startup+0.121688 s]
/proc/loadavg: 8.09 8.10 8.02 5/176 8823
/proc/meminfo: memFree=29740084/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=556404 CPUtime=0.44 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 1243 0 0 0 44 0 0 0 18 0 4 0 501686190 569757696 1071 33554432000 4194304 4797429 140735366863504 18446744073709551615 4429174 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 139101 1071 379 148 0 134030 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 556404

[startup+0.236171 s]
/proc/loadavg: 8.09 8.10 8.02 5/176 8823
/proc/meminfo: memFree=29740084/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=609048 CPUtime=0.9 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 2051 0 0 0 90 0 0 0 18 0 4 0 501686190 623665152 1788 33554432000 4194304 4797429 140735366863504 18446744073709551615 254261313180 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 152262 1788 408 148 0 147191 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 609048

[startup+0.397143 s]
/proc/loadavg: 8.09 8.10 8.02 5/176 8823
/proc/meminfo: memFree=29740084/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=610628 CPUtime=1.54 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 2968 0 0 0 154 0 0 0 18 0 4 0 501686190 625283072 2185 33554432000 4194304 4797429 140735366863504 18446744073709551615 4425966 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 152657 2185 409 148 0 147586 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 610628

[startup+0.70009 s]
/proc/loadavg: 8.09 8.10 8.02 5/176 8823
/proc/meminfo: memFree=29740084/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=613792 CPUtime=2.75 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 4445 0 0 0 275 0 0 0 18 0 4 0 501686190 628523008 3466 33554432000 4194304 4797429 140735366863504 18446744073709551615 4425120 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 153448 3467 413 148 0 148377 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 613792

[startup+1.50095 s]
/proc/loadavg: 8.09 8.10 8.02 10/184 8831
/proc/meminfo: memFree=29714660/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=615220 CPUtime=5.95 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 5250 0 0 0 595 0 0 0 20 0 4 0 501686190 629985280 4033 33554432000 4194304 4797429 140735366863504 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 153805 4033 414 148 0 148734 0
[pid=8823/tid=8829] ppid=8821 vsize=615220 CPUtime=1.48 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 1012 0 0 0 148 0 0 0 25 0 4 0 501686191 629985280 4033 33554432000 4194304 4797429 140735366863504 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=615220 CPUtime=1.48 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) R 8821 8823 8275 0 -1 4202560 911 0 0 0 148 0 0 0 20 0 4 0 501686191 629985280 4033 33554432000 4194304 4797429 140735366863504 18446744073709551615 4524968 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=615220 CPUtime=1.48 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 946 0 0 0 148 0 0 0 20 0 4 0 501686191 629985280 4033 33554432000 4194304 4797429 140735366863504 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 615220

[startup+3.10066 s]
/proc/loadavg: 8.09 8.10 8.02 9/184 8831
/proc/meminfo: memFree=29707584/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=617808 CPUtime=12.34 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 6944 0 0 0 1234 0 0 0 25 0 4 0 501686190 632635392 4453 33554432000 4194304 4797429 140735366863504 18446744073709551615 4425030 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 154452 4453 416 148 0 149381 0
[pid=8823/tid=8829] ppid=8821 vsize=617808 CPUtime=3.08 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 1262 0 0 0 308 0 0 0 25 0 4 0 501686191 632635392 4453 33554432000 4194304 4797429 140735366863504 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=617808 CPUtime=3.07 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) R 8821 8823 8275 0 -1 4202560 1132 0 0 0 307 0 0 0 25 0 4 0 501686191 632635392 4453 33554432000 4194304 4797429 140735366863504 18446744073709551615 4648114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=617808 CPUtime=3.08 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 1170 0 0 0 308 0 0 0 25 0 4 0 501686191 632635392 4453 33554432000 4194304 4797429 140735366863504 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 617808

[startup+6.30109 s]
/proc/loadavg: 8.09 8.10 8.02 9/184 8831
/proc/meminfo: memFree=29696792/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=621356 CPUtime=25.13 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 9572 0 0 0 2512 1 0 0 25 0 4 0 501686190 636268544 5545 33554432000 4194304 4797429 140735366863504 18446744073709551615 4424967 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 155339 5545 416 148 0 150268 0
[pid=8823/tid=8829] ppid=8821 vsize=621356 CPUtime=6.28 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 1646 0 0 0 628 0 0 0 25 0 4 0 501686191 636268544 5545 33554432000 4194304 4797429 140735366863504 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=621356 CPUtime=6.25 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) R 8821 8823 8275 0 -1 4202560 1529 0 0 0 625 0 0 0 25 0 4 0 501686191 636268544 5545 33554432000 4194304 4797429 140735366863504 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=621356 CPUtime=6.28 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 1628 0 0 0 628 0 0 0 25 0 4 0 501686191 636268544 5545 33554432000 4194304 4797429 140735366863504 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 621356

[startup+12.701 s]
/proc/loadavg: 8.08 8.10 8.02 9/184 8831
/proc/meminfo: memFree=29688168/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=627888 CPUtime=50.69 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 13341 0 0 0 5067 2 0 0 25 0 4 0 501686190 642957312 7115 33554432000 4194304 4797429 140735366863504 18446744073709551615 4426348 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 156972 7115 419 148 0 151901 0
[pid=8823/tid=8829] ppid=8821 vsize=627888 CPUtime=12.68 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 2724 0 0 0 1268 0 0 0 25 0 4 0 501686191 642957312 7115 33554432000 4194304 4797429 140735366863504 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=627888 CPUtime=12.61 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) R 8821 8823 8275 0 -1 4202560 1940 0 0 0 1261 0 0 0 25 0 4 0 501686191 642957312 7115 33554432000 4194304 4797429 140735366863504 18446744073709551615 4425049 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=627888 CPUtime=12.68 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 2067 0 0 0 1268 0 0 0 25 0 4 0 501686191 642957312 7115 33554432000 4194304 4797429 140735366863504 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 627888

[startup+25.5007 s]
/proc/loadavg: 8.06 8.09 8.02 9/184 8832
/proc/meminfo: memFree=29674892/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=630788 CPUtime=101.82 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 19436 0 0 0 10178 4 0 0 25 0 4 0 501686190 645926912 8446 33554432000 4194304 4797429 140735366863504 18446744073709551615 4424732 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 157697 8446 419 148 0 152626 0
[pid=8823/tid=8829] ppid=8821 vsize=630788 CPUtime=25.48 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 4248 0 0 0 2548 0 0 0 25 0 4 0 501686191 645926912 8446 33554432000 4194304 4797429 140735366863504 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=630788 CPUtime=25.33 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) R 8821 8823 8275 0 -1 4202560 2791 0 0 0 2533 0 0 0 25 0 4 0 501686191 645926912 8446 33554432000 4194304 4797429 140735366863504 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=630788 CPUtime=25.48 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 2788 0 0 0 2548 0 0 0 25 0 4 0 501686191 645926912 8446 33554432000 4194304 4797429 140735366863504 18446744073709551615 4425054 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 630788

[startup+51.1011 s]
/proc/loadavg: 8.12 8.10 8.02 9/184 8832
/proc/meminfo: memFree=29664060/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=635608 CPUtime=204.09 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 27794 0 0 0 20403 6 0 0 25 0 4 0 501686190 650862592 10122 33554432000 4194304 4797429 140735366863504 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 158902 10122 421 148 0 153831 0
[pid=8823/tid=8829] ppid=8821 vsize=635608 CPUtime=51.08 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 5444 0 0 0 5108 0 0 0 25 0 4 0 501686191 650862592 10122 33554432000 4194304 4797429 140735366863504 18446744073709551615 4524149 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=635608 CPUtime=50.8 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) R 8821 8823 8275 0 -1 4202560 4297 0 0 0 5080 0 0 0 25 0 4 0 501686191 650862592 10122 33554432000 4194304 4797429 140735366863504 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=635608 CPUtime=51.08 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 3795 0 0 0 5108 0 0 0 25 0 4 0 501686191 650862592 10122 33554432000 4194304 4797429 140735366863504 18446744073709551615 4495518 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 635608

[startup+102.301 s]
/proc/loadavg: 8.10 8.10 8.02 9/184 8834
/proc/meminfo: memFree=29644504/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=644040 CPUtime=408.62 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 41698 0 0 0 40851 11 0 0 25 0 4 0 501686190 659496960 12694 33554432000 4194304 4797429 140735366863504 18446744073709551615 254261313214 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 161010 12694 423 148 0 155939 0
[pid=8823/tid=8829] ppid=8821 vsize=644040 CPUtime=102.29 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 7145 0 0 0 10228 1 0 0 25 0 4 0 501686191 659496960 12694 33554432000 4194304 4797429 140735366863504 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=644040 CPUtime=101.72 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) R 8821 8823 8275 0 -1 4202560 6003 0 0 0 10171 1 0 0 25 0 4 0 501686191 659496960 12694 33554432000 4194304 4797429 140735366863504 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=644040 CPUtime=102.28 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 6391 0 0 0 10227 1 0 0 25 0 4 0 501686191 659496960 12694 33554432000 4194304 4797429 140735366863504 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 644040

[startup+162.3 s]
/proc/loadavg: 8.23 8.13 8.04 9/184 8844
/proc/meminfo: memFree=29624888/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=646484 CPUtime=648.28 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 54771 0 0 0 64812 16 0 0 25 0 4 0 501686190 661999616 13906 33554432000 4194304 4797429 140735366863504 18446744073709551615 4351600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 161621 13906 423 148 0 156550 0
[pid=8823/tid=8829] ppid=8821 vsize=646484 CPUtime=162.28 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 8959 0 0 0 16227 1 0 0 25 0 4 0 501686191 661999616 13906 33554432000 4194304 4797429 140735366863504 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=646484 CPUtime=161.4 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) R 8821 8823 8275 0 -1 4202560 7796 0 0 0 16138 2 0 0 25 0 4 0 501686191 661999616 13906 33554432000 4194304 4797429 140735366863504 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=646484 CPUtime=162.28 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 8018 0 0 0 16226 2 0 0 25 0 4 0 501686191 661999616 13906 33554432000 4194304 4797429 140735366863504 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.28
Current children cumulated vsize (KiB) 646484

[startup+222.307 s]
/proc/loadavg: 8.16 8.12 8.04 9/184 8846
/proc/meminfo: memFree=29613440/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=652608 CPUtime=887.97 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 65596 0 0 0 88778 19 0 0 25 0 4 0 501686190 668270592 15675 33554432000 4194304 4797429 140735366863504 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 163152 15675 422 148 0 158081 0
[pid=8823/tid=8829] ppid=8821 vsize=652608 CPUtime=222.29 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 10354 0 0 0 22227 2 0 0 25 0 4 0 501686191 668270592 15675 33554432000 4194304 4797429 140735366863504 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=652608 CPUtime=221.07 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) R 8821 8823 8275 0 -1 4202560 9311 0 0 0 22105 2 0 0 25 0 4 0 501686191 668270592 15675 33554432000 4194304 4797429 140735366863504 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=652608 CPUtime=222.29 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 9466 0 0 0 22226 3 0 0 25 0 4 0 501686191 668270592 15675 33554432000 4194304 4797429 140735366863504 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.97
Current children cumulated vsize (KiB) 652608

[startup+282.301 s]

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

/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 15326 0 0 0 52222 7 0 0 25 0 4 0 501686191 689139712 22832 33554432000 4194304 4797429 140735366863504 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2086.34
Current children cumulated vsize (KiB) 672988

[startup+582.301 s]
/proc/loadavg: 8.08 8.12 8.06 9/184 8855
/proc/meminfo: memFree=29550760/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=676372 CPUtime=2326.02 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 120665 0 0 0 232559 43 0 0 25 0 4 0 501686190 692604928 23794 33554432000 4194304 4797429 140735366863504 18446744073709551615 4424610 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 169093 23794 421 148 0 164022 0
[pid=8823/tid=8829] ppid=8821 vsize=676372 CPUtime=582.29 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 18222 0 0 0 58224 5 0 0 25 0 4 0 501686191 692604928 23794 33554432000 4194304 4797429 140735366863504 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=676372 CPUtime=579.11 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) R 8821 8823 8275 0 -1 4202560 16600 0 0 0 57906 5 0 0 25 0 4 0 501686191 692604928 23794 33554432000 4194304 4797429 140735366863504 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=676372 CPUtime=582.29 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 16832 0 0 0 58222 7 0 0 25 0 4 0 501686191 692604928 23794 33554432000 4194304 4797429 140735366863504 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2326.02
Current children cumulated vsize (KiB) 676372

[startup+642.301 s]
/proc/loadavg: 8.03 8.10 8.05 9/184 8857
/proc/meminfo: memFree=29544168/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=680296 CPUtime=2565.71 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 128975 0 0 0 256525 46 0 0 25 0 4 0 501686190 696623104 23893 33554432000 4194304 4797429 140735366863504 18446744073709551615 4351618 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 170074 23893 421 148 0 165003 0
[pid=8823/tid=8829] ppid=8821 vsize=680296 CPUtime=642.29 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 19302 0 0 0 64223 6 0 0 25 0 4 0 501686191 696623104 23893 33554432000 4194304 4797429 140735366863504 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=680296 CPUtime=638.79 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) R 8821 8823 8275 0 -1 4202560 17574 0 0 0 63874 5 0 0 25 0 4 0 501686191 696623104 23893 33554432000 4194304 4797429 140735366863504 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=680296 CPUtime=642.3 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 17536 0 0 0 64222 8 0 0 25 0 4 0 501686191 696623104 23893 33554432000 4194304 4797429 140735366863504 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.71
Current children cumulated vsize (KiB) 680296

[startup+702.3 s]
/proc/loadavg: 8.07 8.09 8.05 9/184 8859
/proc/meminfo: memFree=29537824/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=682532 CPUtime=2805.39 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 135302 0 0 0 280489 50 0 0 25 0 4 0 501686190 698912768 26061 33554432000 4194304 4797429 140735366863504 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 170633 26061 421 148 0 165562 0
[pid=8823/tid=8829] ppid=8821 vsize=682532 CPUtime=702.3 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 20243 0 0 0 70223 7 0 0 25 0 4 0 501686191 698912768 26061 33554432000 4194304 4797429 140735366863504 18446744073709551615 4424846 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=682532 CPUtime=698.45 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) R 8821 8823 8275 0 -1 4202560 18168 0 0 0 69840 5 0 0 25 0 4 0 501686191 698912768 26061 33554432000 4194304 4797429 140735366863504 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=682532 CPUtime=702.29 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 18497 0 0 0 70221 8 0 0 25 0 4 0 501686191 698912768 26061 33554432000 4194304 4797429 140735366863504 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 682532

[startup+762.301 s]
/proc/loadavg: 8.02 8.07 8.04 9/184 8860
/proc/meminfo: memFree=29532576/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=683572 CPUtime=3045.08 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 142088 0 0 0 304455 53 0 0 25 0 4 0 501686190 699977728 26681 33554432000 4194304 4797429 140735366863504 18446744073709551615 4424850 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 170893 26681 421 148 0 165822 0
[pid=8823/tid=8829] ppid=8821 vsize=683572 CPUtime=762.3 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 20804 0 0 0 76223 7 0 0 25 0 4 0 501686191 699977728 26681 33554432000 4194304 4797429 140735366863504 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=683572 CPUtime=758.14 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) R 8821 8823 8275 0 -1 4202560 19105 0 0 0 75808 6 0 0 25 0 4 0 501686191 699977728 26681 33554432000 4194304 4797429 140735366863504 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=683572 CPUtime=762.31 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 19474 0 0 0 76222 9 0 0 25 0 4 0 501686191 699977728 26681 33554432000 4194304 4797429 140735366863504 18446744073709551615 4351618 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 683572

[startup+822.301 s]
/proc/loadavg: 8.01 8.06 8.04 9/184 8862
/proc/meminfo: memFree=29533784/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=683992 CPUtime=3284.74 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 149653 0 0 0 328418 56 0 0 25 0 4 0 501686190 700407808 26390 33554432000 4194304 4797429 140735366863504 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 170998 26390 421 148 0 165927 0
[pid=8823/tid=8829] ppid=8821 vsize=683992 CPUtime=822.29 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 21860 0 0 0 82222 7 0 0 25 0 4 0 501686191 700407808 26390 33554432000 4194304 4797429 140735366863504 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=683992 CPUtime=817.81 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) R 8821 8823 8275 0 -1 4202560 20172 0 0 0 81775 6 0 0 25 0 4 0 501686191 700407808 26390 33554432000 4194304 4797429 140735366863504 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=683992 CPUtime=822.3 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 20453 0 0 0 82220 10 0 0 25 0 4 0 501686191 700407808 26390 33554432000 4194304 4797429 140735366863504 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 683992

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

[startup+825.6 s]
/proc/loadavg: 8.01 8.06 8.04 9/184 8862
/proc/meminfo: memFree=29532540/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=683992 CPUtime=3297.92 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 149844 0 0 0 329736 56 0 0 25 0 4 0 501686190 700407808 26569 33554432000 4194304 4797429 140735366863504 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 170998 26569 421 148 0 165927 0
[pid=8823/tid=8829] ppid=8821 vsize=683992 CPUtime=825.59 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 21881 0 0 0 82552 7 0 0 25 0 4 0 501686191 700407808 26569 33554432000 4194304 4797429 140735366863504 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=683992 CPUtime=821.09 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) R 8821 8823 8275 0 -1 4202560 20196 0 0 0 82103 6 0 0 25 0 4 0 501686191 700407808 26569 33554432000 4194304 4797429 140735366863504 18446744073709551615 4424610 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=683992 CPUtime=825.6 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 20485 0 0 0 82550 10 0 0 25 0 4 0 501686191 700407808 26569 33554432000 4194304 4797429 140735366863504 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3297.92
Current children cumulated vsize (KiB) 683992

[startup+828.801 s]
/proc/loadavg: 8.09 8.07 8.04 9/184 8862
/proc/meminfo: memFree=29530804/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=683992 CPUtime=3310.71 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) R 8821 8823 8275 0 -1 4202496 150011 0 0 0 331014 57 0 0 25 0 4 0 501686190 700407808 26727 33554432000 4194304 4797429 140735366863504 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 170998 26727 421 148 0 165927 0
[pid=8823/tid=8829] ppid=8821 vsize=683992 CPUtime=828.8 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 21912 0 0 0 82872 8 0 0 25 0 4 0 501686191 700407808 26727 33554432000 4194304 4797429 140735366863504 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=683992 CPUtime=824.27 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) R 8821 8823 8275 0 -1 4202560 20215 0 0 0 82421 6 0 0 25 0 4 0 501686191 700407808 26727 33554432000 4194304 4797429 140735366863504 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=683992 CPUtime=828.8 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) R 8821 8823 8275 0 -1 4202560 20502 0 0 0 82870 10 0 0 25 0 4 0 501686191 700407808 26727 33554432000 4194304 4797429 140735366863504 18446744073709551615 4425001 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3310.71
Current children cumulated vsize (KiB) 683992

[startup+830.401 s]
/proc/loadavg: 8.09 8.07 8.04 9/184 8862
/proc/meminfo: memFree=29530304/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=683992 CPUtime=3315.16 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) S 8821 8823 8275 0 -1 4202496 150068 0 0 0 331459 57 0 0 17 0 4 0 501686190 700407808 26769 33554432000 4194304 4797429 140735366863504 18446744073709551615 254273445489 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 170998 26769 424 148 0 165927 0
[pid=8823/tid=8829] ppid=8821 vsize=683992 CPUtime=830.4 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 21912 0 0 0 83032 8 0 0 25 0 4 0 501686191 700407808 26769 33554432000 4194304 4797429 140735366863504 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=683992 CPUtime=825.14 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) S 8821 8823 8275 0 -1 4202560 20230 0 0 0 82508 6 0 0 25 0 4 0 501686191 700407808 26769 33554432000 4194304 4797429 140735366863504 18446744073709551615 46957467625012 0 0 4096 2 18446604454225508352 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=683992 CPUtime=830 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) S 8821 8823 8275 0 -1 4202560 20518 0 0 0 82990 10 0 0 25 0 4 0 501686191 700407808 26769 33554432000 4194304 4797429 140735366863504 18446744073709551615 46957467625012 0 0 4096 2 18446604454225508352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3315.16
Current children cumulated vsize (KiB) 683992

[startup+830.801 s]
/proc/loadavg: 8.09 8.07 8.04 6/184 8862
/proc/meminfo: memFree=29530056/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=683992 CPUtime=3315.56 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) S 8821 8823 8275 0 -1 4202496 150068 0 0 0 331499 57 0 0 15 0 4 0 501686190 700407808 26769 33554432000 4194304 4797429 140735366863504 18446744073709551615 254273445489 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 170998 26769 424 148 0 165927 0
[pid=8823/tid=8829] ppid=8821 vsize=683992 CPUtime=830.8 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 21912 0 0 0 83072 8 0 0 25 0 4 0 501686191 700407808 26769 33554432000 4194304 4797429 140735366863504 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=683992 CPUtime=825.14 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) S 8821 8823 8275 0 -1 4202560 20230 0 0 0 82508 6 0 0 25 0 4 0 501686191 700407808 26769 33554432000 4194304 4797429 140735366863504 18446744073709551615 46957467625012 0 0 4096 2 18446604454225508352 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=683992 CPUtime=830 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) S 8821 8823 8275 0 -1 4202560 20518 0 0 0 82990 10 0 0 25 0 4 0 501686191 700407808 26769 33554432000 4194304 4797429 140735366863504 18446744073709551615 46957467625012 0 0 4096 2 18446604454225508352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3315.56
Current children cumulated vsize (KiB) 683992

[startup+831 s]
/proc/loadavg: 8.09 8.07 8.04 6/184 8862
/proc/meminfo: memFree=29530056/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=683992 CPUtime=3315.76 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) S 8821 8823 8275 0 -1 4202496 150068 0 0 0 331519 57 0 0 15 0 4 0 501686190 700407808 26769 33554432000 4194304 4797429 140735366863504 18446744073709551615 254273445489 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 170998 26769 424 148 0 165927 0
[pid=8823/tid=8829] ppid=8821 vsize=683992 CPUtime=831 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 21912 0 0 0 83092 8 0 0 25 0 4 0 501686191 700407808 26769 33554432000 4194304 4797429 140735366863504 18446744073709551615 4656592 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=683992 CPUtime=825.14 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) S 8821 8823 8275 0 -1 4202560 20230 0 0 0 82508 6 0 0 25 0 4 0 501686191 700407808 26769 33554432000 4194304 4797429 140735366863504 18446744073709551615 46957467625012 0 0 4096 2 18446604454225508352 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=683992 CPUtime=830 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) S 8821 8823 8275 0 -1 4202560 20518 0 0 0 82990 10 0 0 25 0 4 0 501686191 700407808 26769 33554432000 4194304 4797429 140735366863504 18446744073709551615 46957467625012 0 0 4096 2 18446604454225508352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3315.76
Current children cumulated vsize (KiB) 683992

[startup+831.1 s]
/proc/loadavg: 8.09 8.07 8.04 6/184 8862
/proc/meminfo: memFree=29530056/32951124 swapFree=67111348/67111528
[pid=8823] ppid=8821 vsize=683992 CPUtime=3315.85 cores=1,3,5,7
/proc/8823/stat : 8823 (techdemo) S 8821 8823 8275 0 -1 4202496 150068 0 0 0 331528 57 0 0 15 0 4 0 501686190 700407808 26769 33554432000 4194304 4797429 140735366863504 18446744073709551615 254273445489 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8823/statm: 170998 26769 424 148 0 165927 0
[pid=8823/tid=8829] ppid=8821 vsize=683992 CPUtime=831.1 cores=1,3,5,7
/proc/8823/task/8829/stat : 8829 (techdemo) R 8821 8823 8275 0 -1 4202560 21912 0 0 0 83102 8 0 0 25 0 4 0 501686191 700407808 26769 33554432000 4194304 4797429 140735366863504 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8823/tid=8830] ppid=8821 vsize=683992 CPUtime=825.14 cores=1,3,5,7
/proc/8823/task/8830/stat : 8830 (techdemo) S 8821 8823 8275 0 -1 4202560 20230 0 0 0 82508 6 0 0 25 0 4 0 501686191 700407808 26769 33554432000 4194304 4797429 140735366863504 18446744073709551615 46957467625012 0 0 4096 2 18446604454225508352 0 0 -1 7 0 0 0
[pid=8823/tid=8831] ppid=8821 vsize=683992 CPUtime=830 cores=1,3,5,7
/proc/8823/task/8831/stat : 8831 (techdemo) S 8821 8823 8275 0 -1 4202560 20518 0 0 0 82990 10 0 0 25 0 4 0 501686191 700407808 26769 33554432000 4194304 4797429 140735366863504 18446744073709551615 46957467625012 0 0 4096 2 18446604454225508352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3315.85
Current children cumulated vsize (KiB) 683992

Child status: 10
Real time (s): 831.134
CPU time (s): 3315.9
CPU user time (s): 3315.32
CPU system time (s): 0.577912
CPU usage (%): 398.961
Max. virtual memory (cumulated for all children) (KiB): 790672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3315.32
system time used= 0.577912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150078
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= 458
involuntary context switches= 19913

runsolver used 1.34679 second user time and 3.19951 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-29 17:58:29
IDJOB=3172737
IDBENCH=82755
IDSOLVER=1584
FILE ID=node140/3172737-1304092709
RUNJOBID= node140-1304091504-8711
PBS_JOBID= 13170564
Free space on /tmp= 72664 MiB

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

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

MD5SUM BENCH= ef1a26ad366fa6cdd721df0a7f8f760c
RANDOM SEED=790992461

node140.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.833
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.833
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	: 5226.14
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.833
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.75
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.833
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.77
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.833
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.75
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.833
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.74
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.833
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.833
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29740860 kB
Buffers:        999964 kB
Cached:        1657452 kB
SwapCached:        180 kB
Active:         270576 kB
Inactive:      2449864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29740860 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           15568 kB
Writeback:           0 kB
AnonPages:       62440 kB
Mapped:          15460 kB
Slab:           426632 kB
PageTables:       3876 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   195120 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= 72648 MiB
End job on node140 at 2011-04-29 18:12:20