Trace number 3172884

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.16 1201.82

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf
MD5SUM6689be7bde9914194ce4bfa20183e3c5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.028994
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-3172884-1304111062.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/1918/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.00/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.00/0.13	c lits-rem:         0  cl-subs:        0  v-elim:     32  v-fix:    0  time:  0.04 s
0.00/0.13	c learnt bin added due to v-elim: 0
0.00/0.13	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.13	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.00/0.13	c calculated reachability. Time: 0.00
0.00/0.13	c Calc default polars -  time:   0.00 s pos:      24 undec:       0 neg:      26
0.00/0.13	c =========================================================================================
0.00/0.13	c types(t): F = full restart, N = normal restart
0.00/0.13	c types(t): S = simplification begin/end, E = solution found
0.00/0.13	c restart types(rt): st = static, dy = dynamic
0.00/0.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.00/0.13	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.00/0.21	c Decided on static restart strategy
0.00/0.29	c  N dy    19      4009        50      4450         0      3514     31150     65840     18.69     16.39  --
0.00/0.47	c  N dy    46      8057        50      4450         0      4837     31150     85690     18.57     16.42  --
0.00/0.69	c  N dy    73     12097        50      4450         0      4657     31150     76457     18.78     16.45  --
0.45/0.92	c  N dy   100     16138        50      4450         0      8163     31150    141310     18.66     16.44  --
4.44/1.17	c  N dy   127     20154        50      4450         0      6797     31150    108685     18.73     16.43  --
5.54/1.43	c  N dy   154     24172        50      4450         0     10310     31150    173366     18.42     16.39  --
6.75/1.71	c  N dy   181     28176        50      4450         0      7828     31150    119644     18.69     16.37  --
7.15/1.84	c  S st   194     30000        50      4450         0      9436     31150    149440     18.61     16.38  --
7.15/1.88	c  S st   194     30505        50      4450         0      9890     31150    157954     18.61     16.38  --
7.15/1.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.15/1.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.15/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.15/1.90	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
7.15/1.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.15/1.90	c Subs w/ non-existent bins:      0 time:  0.00 s
7.15/1.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.15/1.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.15/1.90	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.55/2.42	c lits-rem:      1233  cl-subs:     1337  v-elim:     50  v-fix:    0  time:  2.07 s
9.55/2.42	c learnt bin added due to v-elim: 0
9.55/2.42	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
9.55/2.42	c vivif2 --  cl tried     8553 cl shrink        0 lits rem          0 time: 0.00
9.95/2.57	c asymm  cl-useful: 0/1800/4450 lits-rem:0 time: 0.59
9.95/2.57	c calculated reachability. Time: 0.00
9.95/2.57	c  N dy   194     30505        50      4450         0      8553     31150    133855     18.61     16.38  --
9.95/2.57	c  F st   194     30505        50      4450         0      8553     31150    133855     18.61     16.38  --
10.75/2.71	c Decided on static restart strategy
11.15/2.86	c  N dy   214     34654        50      4450         0     12157     31150    200343     18.60     16.36  --
12.36/3.17	c  N dy   241     38711        50      4450         0      8898     31150    133023     18.18     16.34  --
13.54/3.48	c  N dy   269     42849        50      4450         0     12526     31150    199495     18.48     16.33  --
14.74/3.74	c  S st   289     45758        50      4450         0     15071     31150    246959     18.88     16.35  --
15.14/3.80	c  S st   289     46264        50      4450         0     15522     31150    255495     18.88     16.35  --
15.14/3.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.14/3.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.14/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.14/3.86	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
15.14/3.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.14/3.86	c Subs w/ non-existent bins:      0 time:  0.01 s
15.14/3.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.14/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.14/3.86	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
17.91/4.60	c lits-rem:      1974  cl-subs:     2403  v-elim:     50  v-fix:    0  time:  3.00 s
17.91/4.60	c learnt bin added due to v-elim: 0
17.91/4.60	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
18.31/4.60	c vivif2 --  cl tried    13119 cl shrink        0 lits rem          0 time: 0.00
18.31/4.69	c asymm  cl-useful: 0/732/4450 lits-rem:0 time: 0.37
18.31/4.69	c calculated reachability. Time: 0.00
18.31/4.69	c  N dy   289     46264        50      4450         0     13119     31150    209549     18.88     16.35  --
19.91/5.04	c  N dy   316     50281        50      4450         0      8988     31150    125524     17.98     16.32  --
21.13/5.34	c  N dy   343     54334        50      4450         0     12510     31150    191738     19.06     16.34  --
22.71/5.71	c  N dy   370     58374        50      4450         0     16038     31150    257229     18.46     16.35  --
23.90/6.07	c  N dy   398     62516        50      4450         0     11028     31150    157968     18.40     16.36  --
25.12/6.40	c  N dy   425     66532        50      4450         0     14560     31150    223723     19.03     16.36  --
26.30/6.69	c  S st   445     69397        50      4450         0     17080     31150    270289     18.62     16.36  --
26.70/6.75	c  S st   445     69901        50      4450         0     17532     31150    278869     18.62     16.36  --
26.70/6.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.70/6.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.10/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
27.10/6.80	c Calc non-exist non-lernt bins v-fix:     0 done:     50 time:  0.00 s
27.10/6.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.10/6.80	c Subs w/ non-existent bins:      0 time:  0.01 s
27.10/6.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.10/6.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.10/6.80	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
29.52/7.49	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.30/8.18	c Added 1 vars  tried: 11100 time: 2.79
32.30/8.19	c ORs :      1 avg-s:  0.0 cl-sh:  1116 l-rem:   1116 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    2.82
32.70/8.20	c lits-rem:      1882  cl-subs:     2449  v-elim:     50  v-fix:    0  time:  5.57 s
32.70/8.20	c learnt bin added due to v-elim: 0
32.70/8.20	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
32.70/8.20	c vivif2 --  cl tried    15083 cl shrink        0 lits rem          0 time: 0.01
33.10/8.35	c asymm  cl-useful: 0/1457/4451 lits-rem:0 time: 0.62
33.10/8.35	c calculated reachability. Time: 0.00
33.10/8.35	c  N dy   445     69901        51      4451         2     15083     31129    231221     18.62     16.36  --
33.10/8.35	c  F st   445     69901        51      4451         2     15083     31129    231221     18.62     16.36  --
33.91/8.55	c Decided on static restart strategy
35.09/8.82	c  N dy   468     74496        51      4451         2      9674     31129    123947     18.43     16.34  --
36.69/9.21	c  N dy   501     79396        51      4451         2     13967     31129    204033     18.68     16.35  --
38.70/9.73	c  N dy   536     84604        51      4451         2     18528     31129    288482     18.99     16.35  --
40.67/10.29	c  N dy   573     90120        51      4451         2     12938     31129    176832     18.83     16.36  --
43.09/10.86	c  N dy   612     95946        51      4451         2     18003     31129    271193     18.83     16.38  --
45.87/11.59	c  N dy   653    102119        51      4451         2     12090     31129    154108     18.61     16.39  --
47.09/11.84	c  S st   672    104851        51      4451         2     14511     31129    199092     18.87     16.39  --
47.09/11.90	c  S st   672    105354        51      4451         2     14964     31129    207552     18.87     16.39  --
47.09/11.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.09/11.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.49/11.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.3M T:  0.18
47.49/11.95	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
47.49/11.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.49/11.95	c Subs w/ non-existent bins:      0 time:  0.00 s
47.49/11.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.49/11.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.49/11.95	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
49.87/12.52	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.87/12.53	c lits-rem:       883  cl-subs:     1253  v-elim:     50  v-fix:    0  time:  2.30 s
49.87/12.53	c learnt bin added due to v-elim: 0
49.87/12.53	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
49.87/12.53	c vivif2 --  cl tried    13711 cl shrink        0 lits rem          0 time: 0.01
50.27/12.68	c asymm  cl-useful: 0/1298/4451 lits-rem:0 time: 0.58
50.27/12.68	c calculated reachability. Time: 0.00
50.27/12.68	c  N dy   672    105354        51      4451         2     13711     31129    185274     18.87     16.39  --
53.06/13.38	c  N dy   718    112199        51      4451         2     19710     31129    296230     18.58     16.39  --
56.65/14.23	c  N dy   766    119366        51      4451         2     13868     31129    181268     18.65     16.38  --
59.85/15.02	c  N dy   817    126991        51      4451         2     20557     31129    305779     19.01     16.38  --
63.84/16.07	c  N dy   872    135193        51      4451         2     14626     31129    186184     18.64     16.38  --
67.84/17.04	c  N dy   931    143962        51      4451         2     22287     31129    328551     18.65     16.38  --
72.64/18.22	c  N dy   993    153184        51      4451         2     16371     31129    209752     18.86     16.38  --
74.63/18.78	c  S st  1026    158031        51      4451         2     20566     31129    286872     18.80     16.38  --
75.03/18.85	c  S st  1026    158534        51      4451         2     21018     31129    295455     18.80     16.38  --
75.03/18.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.03/18.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.43/18.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.2M T:  0.30
75.43/18.93	c Calc non-exist non-lernt bins v-fix:     0 done:     51 time:  0.00 s
75.43/18.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.43/18.93	c Subs w/ non-existent bins:      0 time:  0.01 s
75.43/18.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.43/18.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.43/18.93	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
78.62/19.70	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.62/19.70	c lits-rem:      1371  cl-subs:     2213  v-elim:     50  v-fix:    0  time:  3.07 s
78.62/19.70	c learnt bin added due to v-elim: 0
78.62/19.71	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
78.62/19.71	c vivif2 --  cl tried    18805 cl shrink        0 lits rem          0 time: 0.01
79.02/19.86	c asymm  cl-useful: 0/892/4451 lits-rem:0 time: 0.61
79.02/19.86	c calculated reachability. Time: 0.00
79.02/19.86	c  N dy  1026    158534        51      4451         2     18805     31129    255877     18.80     16.38  --
84.21/21.16	c  N dy  1094    168676        51      4451         2     27672     31129    420056     18.73     16.38  --
89.80/22.54	c  N dy  1167    179532        51      4451         2     22466     31129    314272     18.45     16.37  --
96.59/24.24	c  N dy  1244    191019        51      4451         2     16881     31129    204031     18.75     16.37  --
102.98/25.82	c  N dy  1326    203234        55      4451        14     27612     31149    403617     18.68     16.38  --
110.57/27.71	c  N dy  1414    216342        55      4451        14     22463     31149    300143     18.95     16.39  --
118.96/29.86	c  N dy  1507    230210        55      4451        14     34548     31149    524841     18.28     16.39  --
123.35/30.91	c  S st  1559    237801        55      4451        14     23696     31149    315937     18.63     16.39  --
123.35/30.99	c  S st  1559    238303        55      4451        14     24153     31149    324611     18.63     16.39  --
123.35/30.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
123.35/30.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
123.75/31.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.0M T:  0.38
123.75/31.09	c Calc non-exist non-lernt bins v-fix:     0 done:     55 time:  0.00 s
123.75/31.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
123.75/31.09	c Subs w/ non-existent bins:      0 time:  0.01 s
124.15/31.10	c Replacing        1 vars Replaced     1309 lits Time:     0.04 s 
124.15/31.11	c bin-w-bin subsume rem            2 bins  time:  0.00 s
124.15/31.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.15/31.11	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
128.15/32.16	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
128.15/32.16	c lits-rem:      1309  cl-subs:     2177  v-elim:     50  v-fix:    0  time:  4.22 s
128.15/32.16	c learnt bin added due to v-elim: 0
128.15/32.16	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
128.15/32.17	c vivif2 --  cl tried    21976 cl shrink        0 lits rem          0 time: 0.01
128.95/32.32	c asymm  cl-useful: 0/731/4451 lits-rem:0 time: 0.61
128.95/32.32	c calculated reachability. Time: 0.00
128.95/32.32	c  N dy  1559    238303        54      4451         8     21976     31141    286507     18.63     16.39  --
138.53/34.72	c  N dy  1662    253527        54      4451         8     35386     31141    537188     18.76     16.37  --
148.12/37.18	c  N dy  1772    269835        54      4451         8     31528     31141    457308     18.71     16.36  --
159.69/40.00	c  N dy  1889    287174        54      4451         8     27597     31141    374166     18.61     16.34  --
172.87/43.35	c  N dy  2013    305573        54      4451         8     23590     31141    288989     18.58     16.31  --
186.44/46.78	c  N dy  2145    325110        58      4451        20     40909     31161    612593     19.14     16.29  --
200.84/50.31	c  N dy  2280    345165        58      4451        20     37420     31161    540256     18.63     16.29  --
210.42/52.75	c  S st  2363    357455        58      4451        20     26196     31161    319261     18.54     16.28  --
210.81/52.85	c  S st  2363    357958        58      4451        20     26654     31161    327857     18.54     16.28  --
210.81/52.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
210.81/52.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
211.21/52.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.9M T:  0.47
211.21/52.97	c Calc non-exist non-lernt bins v-fix:     0 done:     58 time:  0.00 s
211.21/52.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
211.21/52.97	c Subs w/ non-existent bins:      0 time:  0.01 s
211.21/52.97	c Replacing        1 vars Replaced       17 lits Time:     0.00 s 
211.21/52.98	c bin-w-bin subsume rem            2 bins  time:  0.00 s
211.21/52.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
211.21/52.98	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
215.21/53.92	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
215.21/53.93	c lits-rem:       872  cl-subs:     1647  v-elim:     50  v-fix:    0  time:  3.79 s
215.21/53.93	c learnt bin added due to v-elim: 0
215.21/53.93	c vivif2 --  cl tried     4451 cl shrink        0 lits rem          0 time: 0.00
215.21/53.93	c vivif2 --  cl tried    25007 cl shrink        0 lits rem          0 time: 0.02
215.61/54.08	c asymm  cl-useful: 0/969/4451 lits-rem:0 time: 0.60
215.61/54.08	c calculated reachability. Time: 0.00
215.61/54.08	c  N dy  2363    357958        57      4451        14     25007     31153    301367     18.54     16.28  --
230.78/57.88	c  N dy  2499    378035        57      4451        14     42902     31153    636138     18.70     16.25  --
246.35/61.71	c  N dy  2635    398130        61      4451        31     37832     31177    530938     19.12     16.23  --
262.76/65.85	c  N dy  2772    418270        61      4451        31     31841     31177    409353     19.13     16.21  --
280.71/70.34	c  N dy  2908    438308        61      4451        33     49707     31179    744740     19.00     16.19  --
296.29/74.27	c  N dy  3044    458344        61      4451        33     42763     31179    605325     18.68     16.17  --
313.86/78.67	c  N dy  3180    478465        61      4451        33     34864     31179    451340     18.76     16.16  --
333.44/83.58	c  N dy  3316    498610        61      4451        33     52952     31179    789322     18.81     16.14  --
350.62/87.84	c  N dy  3452    518634        61      4451        33     44085     31179    615418     18.32     16.13  --
368.58/92.30	c  S st  3576    536937        61      4451        33     32783     31179    395830     19.05     16.12  --
368.98/92.41	c  S st  3576    537440        61      4451        33     33249     31179    404849     19.05     16.12  --
368.98/92.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
368.98/92.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
369.38/92.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.1M T:  0.64
369.38/92.57	c Calc non-exist non-lernt bins v-fix:     0 done:     61 time:  0.00 s
369.38/92.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
369.38/92.58	c Subs w/ non-existent bins:      0 time:  0.02 s
369.38/92.59	c Replacing        3 vars Replaced     1135 lits Time:     0.03 s 
369.38/92.59	c bin-w-bin subsume rem            6 bins  time:  0.00 s
369.38/92.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
369.38/92.59	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
373.76/93.68	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.72/100.13	c Added 1 vars  tried: 80000 time: 25.76
399.72/100.15	c ORs :      1 avg-s:  0.0 cl-sh:  1648 l-rem:   1648 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   25.83
399.72/100.16	c lits-rem:       686  cl-subs:     1732  v-elim:     50  v-fix:    0  time: 30.21 s
399.72/100.16	c learnt bin added due to v-elim: 0
399.72/100.16	c vivif2 --  cl tried     4452 cl shrink        0 lits rem          0 time: 0.00
399.72/100.16	c vivif2 --  cl tried    31516 cl shrink        0 lits rem          0 time: 0.02
400.52/100.32	c asymm  cl-useful: 0/745/4452 lits-rem:0 time: 0.62
400.52/100.32	c calculated reachability. Time: 0.00
400.52/100.32	c  N dy  3576    537440        59      4452        19     31516     31133    376420     19.05     16.12  --
400.52/100.32	c  F st  3576    537440        59      4452        19     31516     31133    376420     19.05     16.12  --
401.72/100.69	c Decided on static restart strategy
418.48/104.87	c  N dy  3704    557505        59      4452        20     49454     31133    709872     18.48     16.10  --
438.08/109.72	c  N dy  3840    577596        59      4452        20     38880     31133    504067     19.03     16.09  --
458.43/114.88	c  N dy  3977    597698        59      4452        20     56961     31133    842847     19.33     16.08  --
477.20/119.56	c  N dy  4113    617846        63      4452        40     45451     31161    617593     18.63     16.07  --
500.37/125.33	c  N dy  4249    637874        63      4452        40     32946     31161    377774     18.75     16.06  --
519.54/130.12	c  N dy  4385    657974        64      4452        42     50981     31165    714447     18.48     16.05  --
541.91/135.74	c  N dy  4522    678078        64      4452        42     37609     31165    458630     19.17     16.04  --
562.28/140.83	c  N dy  4659    698215        64      4452        42     55692     31165    797572     18.48     16.03  --
584.66/146.45	c  N dy  4795    718359        68      4452        50     41435     31181    526189     18.82     16.03  --
607.82/152.20	c  N dy  4931    738382        68      4452        50     59475     31181    864564     19.00     16.03  --
630.58/157.97	c  N dy  5067    758516        68      4452        50     44268     31181    572970     18.75     16.03  --
654.15/163.85	c  N dy  5204    778637        68      4452        50     62382     31181    912187     18.83     16.02  --
684.12/171.39	c  N dy  5305    806161        68      4452        50     52873     31181    724946     18.82     15.97  --
684.52/171.42	c  S st  5305    806161        68      4452        50     52873     31181    724946     18.82     15.97  --
685.30/171.61	c  S st  5305    806667        68      4452        50     53339     31181    734040     18.82     15.97  --
685.30/171.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
685.30/171.61	c Cache  BProp: 0 Set: 0 BXProp: 4 T: 0.00
686.50/171.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.3M T:  1.29
686.50/171.93	c Calc non-exist non-lernt bins v-fix:     0 done:     68 time:  0.00 s
686.50/171.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
686.50/171.94	c Subs w/ non-existent bins:      0 time:  0.04 s
686.50/171.99	c Replacing        4 vars Replaced     3524 lits Time:     0.20 s 
686.90/172.01	c bin-w-bin subsume rem            8 bins  time:  0.00 s
686.90/172.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
686.90/172.01	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
698.08/174.88	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.04
749.21/187.67	c Added 1 vars  tried: 80000 time: 51.06
750.02/187.82	c ORs :      1 avg-s:  0.0 cl-sh:  7396 l-rem:   7396 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   51.67
750.02/187.83	c lits-rem:      1529  cl-subs:     4682  v-elim:     50  v-fix:    0  time: 63.18 s
750.02/187.83	c learnt bin added due to v-elim: 0
750.02/187.83	c vivif2 --  cl tried     4453 cl shrink        0 lits rem          0 time: 0.00
750.02/187.84	c vivif2 --  cl tried    48657 cl shrink        0 lits rem          0 time: 0.04
750.42/187.93	c asymm  cl-useful: 0/261/4453 lits-rem:0 time: 0.33
750.42/187.93	c calculated reachability. Time: 0.00
750.42/187.93	c  N dy  5305    806667        65      4453        30     48657     31126    646323     18.82     15.97  --
775.16/194.14	c  N dy  5442    826791        65      4453        30     66867     31126    987376     19.26     15.96  --
796.72/199.53	c  N dy  5579    846844        65      4453        30     50208     31126    666588     18.48     15.94  --
823.48/206.26	c  N dy  5717    866948        67      4453        34     68450     31134   1010565     18.91     15.93  --
847.44/212.23	c  N dy  5854    887072        71      4453        42     50720     31150    665893     18.94     15.92  --
875.01/219.18	c  N dy  5991    907154        71      4453        42     69014     31150   1011698     19.18     15.91  --
898.55/225.05	c  N dy  6129    927255        71      4453        42     50232     31150    645893     18.85     15.90  --
924.91/231.68	c  N dy  6266    947326        74      4453        52     68551     31166    990011     18.79     15.89  --
951.28/238.29	c  N dy  6403    967422        74      4453        52     48701     31166    606176     18.37     15.88  --
978.05/244.96	c  N dy  6540    987426        74      4453        52     66836     31166    947188     18.79     15.87  --
1270.82/318.22	c  N dy  6634   1210000        74      4453        52     63725     31166    860748     18.24     15.25  --
1270.82/318.26	c  S st  6634   1210000        74      4453        52     63725     31166    860748     18.24     15.25  --
1271.62/318.49	c  S st  6634   1210505        74      4453        52     64185     31166    869514     18.24     15.25  --
1271.62/318.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1271.62/318.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1273.61/318.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 28.8M T:  1.99
1273.61/318.99	c Calc non-exist non-lernt bins v-fix:     0 done:     74 time:  0.00 s
1273.61/318.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1274.01/319.00	c Subs w/ non-existent bins:      0 time:  0.05 s
1274.01/319.01	c Replacing        1 vars Replaced       17 lits Time:     0.02 s 
1274.01/319.02	c bin-w-bin subsume rem            2 bins  time:  0.00 s
1274.01/319.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1274.01/319.03	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1290.41/323.15	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.12
1343.91/336.53	c Added 1 vars  tried: 80000 time: 53.43
1345.11/336.89	c ORs :      1 avg-s:  0.0 cl-sh: 12474 l-rem:  12474 b-add:      3 v-rep:   0 cl-rem: 0 avg s: nan T:   54.86
1345.51/336.91	c lits-rem:      2025  cl-subs:     7839  v-elim:     50  v-fix:    0  time: 71.41 s
1345.51/336.91	c learnt bin added due to v-elim: 0
1345.51/336.91	c vivif2 --  cl tried     4454 cl shrink        0 lits rem          0 time: 0.00
1345.51/336.92	c vivif2 --  cl tried    56345 cl shrink        0 lits rem          0 time: 0.05
1345.91/337.01	c asymm  cl-useful: 0/221/4454 lits-rem:0 time: 0.34
1345.91/337.01	c calculated reachability. Time: 0.00
1345.91/337.01	c  N dy  6634   1210505        74      4454        49     56345     31139    751608     18.24     15.25  --
1374.66/344.20	c  N dy  6771   1230518        74      4454        50     74391     31139   1083740     18.67     15.24  --
1406.61/352.26	c  N dy  6907   1250565        74      4454        50     49785     31139    605905     18.64     15.23  --
1434.17/359.17	c  N dy  7044   1270684        78      4454        70     68016     31167    939817     17.64     15.22  --
1470.54/368.24	c  N dy  7181   1290759        78      4454        70     86267     31167   1276837     18.47     15.21  --
1496.47/374.72	c  N dy  7317   1310857        80      4454        74     60442     31175    791486     18.21     15.20  --
2099.26/525.69	c  N dy  7327   1710506        80      4454        74     83224     31175   1077024     14.31     14.53  --
2099.63/525.73	c  S st  7327   1710506        80      4454        74     83224     31175   1077024     14.31     14.53  --
2100.83/526.04	c  S st  7327   1711013        84      4454        82     83710     31191   1085940     14.31     14.53  --
2100.83/526.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2100.83/526.05	c Cache  BProp: 0 Set: 0 BXProp: 4 T: 0.00
2103.25/526.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 39.6M T:  2.53
2103.25/526.68	c Calc non-exist non-lernt bins v-fix:     0 done:     84 time:  0.01 s
2103.25/526.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2103.25/526.70	c Subs w/ non-existent bins:      0 time:  0.07 s
2103.65/526.78	c Replacing        4 vars Replaced     2379 lits Time:     0.32 s 
2104.02/526.80	c bin-w-bin subsume rem            8 bins  time:  0.00 s
2104.02/526.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2104.02/526.81	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2131.99/533.87	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.16
2193.90/549.34	c Added 1 vars  tried: 80000 time: 61.79
2195.09/549.60	c ORs :      1 avg-s:  0.0 cl-sh:  8851 l-rem:   8851 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   62.82
2195.09/549.62	c lits-rem:      1953  cl-subs:    20126  v-elim:     50  v-fix:    0  time: 91.12 s
2195.09/549.62	c learnt bin added due to v-elim: 0
2195.09/549.62	c vivif2 --  cl tried     4455 cl shrink        0 lits rem          0 time: 0.00
2195.09/549.64	c vivif2 --  cl tried    63584 cl shrink        5 lits rem          6 time: 0.06
2195.51/549.74	c asymm  cl-useful: 0/107/4455 lits-rem:0 time: 0.40
2195.51/549.74	c calculated reachability. Time: 0.00
2195.51/549.74	c  N dy  7327   1711013        81      4455        62     63584     31147    819994     14.31     14.53  --
2230.64/558.58	c  N dy  7463   1731070        81      4455        62     81702     31147   1145565     18.10     14.53  --
3020.29/756.27	c  N dy  7506   2211013        81      4455        63     80261     31147   1027275     15.10     13.93  --
3020.69/756.31	c  S st  7506   2211013        81      4455        63     80261     31147   1027275     15.10     13.93  --
3020.69/756.32	c Finding binary XORs  T:     0.00 s  found:       1
3020.69/756.32	c Replacing        1 vars Replaced       13 lits Time:     0.02 s 
3021.50/756.58	c  S st  7506   2211515        81      4455        65     80736     31151   1036174     15.10     13.93  --
3021.50/756.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3021.50/756.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3023.88/757.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 34.3M T:  2.28
3023.88/757.15	c Calc non-exist non-lernt bins v-fix:     0 done:     81 time:  0.01 s
3023.88/757.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3023.88/757.17	c Subs w/ non-existent bins:      0 time:  0.07 s
3023.88/757.19	c bin-w-bin subsume rem            2 bins  time:  0.00 s
3027.48/758.08	c subs with bin:     8045  lits-rem:        21  v-fix:    0  time:  3.56 s
3027.48/758.08	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3048.26/763.26	c ORs :      5 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.13
3048.26/763.28	c lits-rem:       680  cl-subs:    13249  v-elim:     50  v-fix:    0  time: 20.73 s
3048.26/763.28	c learnt bin added due to v-elim: 0
3048.26/763.28	c vivif2 --  cl tried     4455 cl shrink        0 lits rem          0 time: 0.00
3048.26/763.29	c vivif2 --  cl tried    59442 cl shrink        0 lits rem          0 time: 0.06
3048.64/763.39	c asymm  cl-useful: 0/170/4455 lits-rem:0 time: 0.39
3049.04/763.40	c calculated reachability. Time: 0.00
3049.04/763.40	c  N dy  7506   2211515        81      4455        63     59442     31147    800962     15.10     13.93  --
3079.39/771.01	c  N dy  7642   2231606        81      4455        63     77718     31147   1131543     17.76     13.93  --
3993.27/999.85	c  N dy  7741   2711515        85      4455        81     82755     31171   1084130     15.99     13.52  --
3993.67/999.90	c  S st  7741   2711515        85      4455        81     82755     31171   1084130     15.99     13.52  --
3994.87/1000.20	c  S st  7741   2712015        86      4455        87     83235     31179   1092655     15.99     13.52  --
3994.87/1000.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3994.87/1000.20	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
3997.67/1000.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 41.9M T:  2.79
3997.67/1000.90	c Calc non-exist non-lernt bins v-fix:     0 done:     86 time:  0.01 s
3997.67/1000.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3997.67/1000.92	c Subs w/ non-existent bins:      0 time:  0.08 s
3997.67/1000.94	c Replacing        3 vars Replaced      340 lits Time:     0.06 s 
3997.67/1000.96	c bin-w-bin subsume rem            6 bins  time:  0.00 s
3998.87/1001.28	c subs with bin:     2986  lits-rem:        11  v-fix:    0  time:  1.28 s
3998.87/1001.28	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4027.23/1008.31	c ORs :      5 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 16.0 T:    0.18
4083.15/1022.38	c Added 1 vars  tried: 80000 time: 56.19
4084.35/1022.66	c ORs :      1 avg-s:  0.0 cl-sh:  8198 l-rem:   8198 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:   57.29
4084.35/1022.68	c lits-rem:      2877  cl-subs:    11141  v-elim:     50  v-fix:    0  time: 85.46 s
4084.35/1022.68	c learnt bin added due to v-elim: 0
4084.35/1022.68	c vivif2 --  cl tried     4456 cl shrink        0 lits rem          0 time: 0.00
4084.35/1022.70	c vivif2 --  cl tried    69107 cl shrink        0 lits rem          0 time: 0.07
4084.76/1022.79	c asymm  cl-useful: 0/185/4456 lits-rem:0 time: 0.37
4084.76/1022.80	c calculated reachability. Time: 0.00
4084.76/1022.80	c  N dy  7741   2712015        84      4456        71     69107     31138    913349     15.99     13.52  --
4084.76/1022.80	c  F st  7741   2712015        84      4456        71     69107     31138    913349     15.99     13.52  --
4087.94/1023.58	c Decided on static restart strategy

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3172884-1304111062/watcher-3172884-1304111062 -o /tmp/evaluation-result-3172884-1304111062/solver-3172884-1304111062 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172884-1304111062.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: 6.45 7.72 7.73 6/178 27016
/proc/meminfo: memFree=30835156/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=50148 CPUtime=0 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 648 0 0 0 0 0 0 0 22 0 1 0 522705843 51351552 580 33554432000 4194304 4797429 140733761207088 18446744073709551615 274664469189 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27016/statm: 12537 580 347 148 0 7466 0

[startup+0.122127 s]
/proc/loadavg: 6.45 7.72 7.73 6/178 27016
/proc/meminfo: memFree=30835156/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=608076 CPUtime=0.45 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 1563 0 0 0 45 0 0 0 18 0 4 0 522705843 622669824 1304 33554432000 4194304 4797429 140733761207088 18446744073709551615 274664469189 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 231833 2313 408 148 0 226762 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 608076

[startup+1.02431 s]
/proc/loadavg: 6.45 7.72 7.73 6/178 27016
/proc/meminfo: memFree=30835156/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=678980 CPUtime=4.04 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 4788 0 0 0 404 0 0 0 19 0 4 0 522705843 695275520 3777 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424670 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 169745 3777 413 148 0 164674 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 678980

[startup+1.12433 s]
/proc/loadavg: 6.45 7.72 7.73 6/178 27016
/proc/meminfo: memFree=30835156/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=679448 CPUtime=4.44 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 5035 0 0 0 444 0 0 0 19 0 4 0 522705843 695754752 3792 33554432000 4194304 4797429 140733761207088 18446744073709551615 4425049 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 169862 3792 414 148 0 164791 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 679448

[startup+1.2064 s]
/proc/loadavg: 6.45 7.72 7.73 6/178 27016
/proc/meminfo: memFree=30835156/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=679664 CPUtime=4.84 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 5204 0 0 0 484 0 0 0 19 0 4 0 522705843 695975936 3954 33554432000 4194304 4797429 140733761207088 18446744073709551615 274664504988 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 169916 3954 414 148 0 164845 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 679664

[startup+1.50022 s]
/proc/loadavg: 6.45 7.72 7.73 6/178 27016
/proc/meminfo: memFree=30835156/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=679848 CPUtime=5.94 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 5315 0 0 0 594 0 0 0 19 0 4 0 522705843 696164352 4060 33554432000 4194304 4797429 140733761207088 18446744073709551615 4425001 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 169962 4060 414 148 0 164891 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 679848

[startup+3.10595 s]
/proc/loadavg: 6.45 7.72 7.73 9/182 27020
/proc/meminfo: memFree=30800420/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=682000 CPUtime=12.36 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 7050 0 0 0 1235 1 0 0 25 0 4 0 522705843 698368000 4471 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 170500 4471 416 148 0 165429 0
[pid=27016/tid=27018] ppid=27014 vsize=682000 CPUtime=3.08 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 1188 0 0 0 308 0 0 0 25 0 4 0 522705844 698368000 4471 33554432000 4194304 4797429 140733761207088 18446744073709551615 4429007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=682000 CPUtime=3.08 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 1256 0 0 0 308 0 0 0 25 0 4 0 522705844 698368000 4471 33554432000 4194304 4797429 140733761207088 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=682000 CPUtime=3.08 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 1316 0 0 0 308 0 0 0 25 0 4 0 522705844 698368000 4471 33554432000 4194304 4797429 140733761207088 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 682000

[startup+6.30039 s]
/proc/loadavg: 6.66 7.74 7.73 9/182 27020
/proc/meminfo: memFree=30792332/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=684732 CPUtime=25.12 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 9607 0 0 0 2511 1 0 0 25 0 4 0 522705843 701165568 5519 33554432000 4194304 4797429 140733761207088 18446744073709551615 274664504977 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 171183 5519 416 148 0 166112 0
[pid=27016/tid=27018] ppid=27014 vsize=684732 CPUtime=6.28 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 1640 0 0 0 628 0 0 0 25 0 4 0 522705844 701165568 5519 33554432000 4194304 4797429 140733761207088 18446744073709551615 4523994 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=684732 CPUtime=6.26 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 1724 0 0 0 626 0 0 0 25 0 4 0 522705844 701165568 5519 33554432000 4194304 4797429 140733761207088 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=684732 CPUtime=6.26 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 1761 0 0 0 626 0 0 0 25 0 4 0 522705844 701165568 5519 33554432000 4194304 4797429 140733761207088 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 684732

[startup+12.7003 s]
/proc/loadavg: 6.76 7.74 7.74 9/182 27020
/proc/meminfo: memFree=30786012/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=690888 CPUtime=50.67 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 13446 0 0 0 5064 3 0 0 25 0 4 0 522705843 707469312 7139 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 172722 7139 419 148 0 167651 0
[pid=27016/tid=27018] ppid=27014 vsize=690888 CPUtime=12.67 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 2805 0 0 0 1267 0 0 0 25 0 4 0 522705844 707469312 7139 33554432000 4194304 4797429 140733761207088 18446744073709551615 4495518 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=690888 CPUtime=12.65 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 2220 0 0 0 1265 0 0 0 25 0 4 0 522705844 707469312 7139 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=690888 CPUtime=12.62 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 2244 0 0 0 1262 0 0 0 25 0 4 0 522705844 707469312 7139 33554432000 4194304 4797429 140733761207088 18446744073709551615 4425057 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 690888

[startup+25.5011 s]
/proc/loadavg: 7.04 7.76 7.74 9/182 27020
/proc/meminfo: memFree=30770336/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=693944 CPUtime=101.78 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 18997 0 0 0 10174 4 0 0 25 0 4 0 522705843 710598656 8527 33554432000 4194304 4797429 140733761207088 18446744073709551615 4425120 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 173486 8527 421 148 0 168415 0
[pid=27016/tid=27018] ppid=27014 vsize=693944 CPUtime=25.47 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 3600 0 0 0 2546 1 0 0 25 0 4 0 522705844 710598656 8527 33554432000 4194304 4797429 140733761207088 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=693944 CPUtime=25.44 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 3005 0 0 0 2544 0 0 0 25 0 4 0 522705844 710598656 8528 33554432000 4194304 4797429 140733761207088 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=693944 CPUtime=25.36 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 2997 0 0 0 2536 0 0 0 25 0 4 0 522705844 710598656 8528 33554432000 4194304 4797429 140733761207088 18446744073709551615 4656668 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 693944

[startup+51.1006 s]
/proc/loadavg: 7.36 7.77 7.74 9/182 27021
/proc/meminfo: memFree=30757548/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=697376 CPUtime=204.02 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 30273 0 0 0 20394 8 0 0 25 0 4 0 522705843 714113024 10335 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424614 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 174344 10335 421 148 0 169273 0
[pid=27016/tid=27018] ppid=27014 vsize=697376 CPUtime=51.06 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 4833 0 0 0 5105 1 0 0 25 0 4 0 522705844 714113024 10335 33554432000 4194304 4797429 140733761207088 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=697376 CPUtime=51.03 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 6367 0 0 0 5102 1 0 0 25 0 4 0 522705844 714113024 10335 33554432000 4194304 4797429 140733761207088 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=697376 CPUtime=50.82 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 4484 0 0 0 5081 1 0 0 25 0 4 0 522705844 714113024 10335 33554432000 4194304 4797429 140733761207088 18446744073709551615 4495473 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.02
Current children cumulated vsize (KiB) 697376

[startup+102.301 s]
/proc/loadavg: 7.96 7.86 7.77 10/183 27025
/proc/meminfo: memFree=30722100/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=702036 CPUtime=408.51 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 43452 0 0 0 40837 14 0 0 25 0 4 0 522705843 718884864 12485 33554432000 4194304 4797429 140733761207088 18446744073709551615 4404809 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 175509 12485 423 148 0 170438 0
[pid=27016/tid=27018] ppid=27014 vsize=702036 CPUtime=102.24 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 6467 0 0 0 10222 2 0 0 25 0 4 0 522705844 718884864 12485 33554432000 4194304 4797429 140733761207088 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=702036 CPUtime=102.22 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 8287 0 0 0 10220 2 0 0 25 0 4 0 522705844 718884864 12485 33554432000 4194304 4797429 140733761207088 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=702036 CPUtime=101.74 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 6358 0 0 0 10173 1 0 0 25 0 4 0 522705844 718884864 12485 33554432000 4194304 4797429 140733761207088 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.51
Current children cumulated vsize (KiB) 702036

[startup+162.3 s]
/proc/loadavg: 8.21 7.95 7.81 9/182 27027
/proc/meminfo: memFree=30724276/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=710156 CPUtime=648.17 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 57405 0 0 0 64798 19 0 0 25 0 4 0 522705843 727199744 14193 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 177539 14193 421 148 0 172468 0
[pid=27016/tid=27018] ppid=27014 vsize=710156 CPUtime=162.23 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 8312 0 0 0 16220 3 0 0 25 0 4 0 522705844 727199744 14193 33554432000 4194304 4797429 140733761207088 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=710156 CPUtime=162.21 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 10156 0 0 0 16218 3 0 0 25 0 4 0 522705844 727199744 14193 33554432000 4194304 4797429 140733761207088 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=710156 CPUtime=161.42 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 8278 0 0 0 16140 2 0 0 25 0 4 0 522705844 727199744 14193 33554432000 4194304 4797429 140733761207088 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.17
Current children cumulated vsize (KiB) 710156

[startup+222.301 s]
/proc/loadavg: 8.19 7.99 7.83 9/182 27029
/proc/meminfo: memFree=30706752/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=715880 CPUtime=887.79 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 69022 0 0 0 88756 23 0 0 25 0 4 0 522705843 733061120 15898 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424709 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 178970 15898 423 148 0 173899 0
[pid=27016/tid=27018] ppid=27014 vsize=715880 CPUtime=222.22 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 9795 0 0 0 22218 4 0 0 25 0 4 0 522705844 733061120 15898 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424610 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=715880 CPUtime=222.2 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 11767 0 0 0 22216 4 0 0 25 0 4 0 522705844 733061120 15898 33554432000 4194304 4797429 140733761207088 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=715880 CPUtime=221.1 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 9870 0 0 0 22107 3 0 0 25 0 4 0 522705844 733061120 15898 33554432000 4194304 4797429 140733761207088 18446744073709551615 4425630 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.79
Current children cumulated vsize (KiB) 715880

[startup+282.301 s]
/proc/loadavg: 8.13 8.00 7.84 9/182 27030
/proc/meminfo: memFree=30694188/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=717712 CPUtime=1127.43 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 78910 0 0 0 112714 29 0 0 25 0 4 0 522705843 734937088 17833 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 179428 17833 423 148 0 174357 0
[pid=27016/tid=27018] ppid=27014 vsize=717712 CPUtime=282.21 cores=1,3,5,7

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

[pid=27016] ppid=27014 vsize=737372 CPUtime=2805 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 139633 0 0 0 280441 59 0 0 25 0 4 0 522705843 755068928 24616 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 184343 24616 434 148 0 179272 0
[pid=27016/tid=27018] ppid=27014 vsize=737372 CPUtime=702.16 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 19282 0 0 0 70206 10 0 0 25 0 4 0 522705844 755068928 24616 33554432000 4194304 4797429 140733761207088 18446744073709551615 4404796 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=737372 CPUtime=702.14 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 21322 0 0 0 70205 9 0 0 25 0 4 0 522705844 755068928 24616 33554432000 4194304 4797429 140733761207088 18446744073709551615 4429762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=737372 CPUtime=698.48 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 19219 0 0 0 69839 9 0 0 25 0 4 0 522705844 755068928 24616 33554432000 4194304 4797429 140733761207088 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805
Current children cumulated vsize (KiB) 737372

[startup+762.301 s]
/proc/loadavg: 8.16 8.08 7.93 9/182 27043
/proc/meminfo: memFree=30622808/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=737540 CPUtime=3044.64 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 146164 0 0 0 304403 61 0 0 25 0 4 0 522705843 755240960 25552 33554432000 4194304 4797429 140733761207088 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 184385 25552 434 148 0 179314 0
[pid=27016/tid=27018] ppid=27014 vsize=737540 CPUtime=762.15 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 19858 0 0 0 76205 10 0 0 25 0 4 0 522705844 755240960 25552 33554432000 4194304 4797429 140733761207088 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=737540 CPUtime=762.13 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 21891 0 0 0 76204 9 0 0 25 0 4 0 522705844 755240960 25552 33554432000 4194304 4797429 140733761207088 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=737540 CPUtime=758.15 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 20240 0 0 0 75806 9 0 0 25 0 4 0 522705844 755240960 25552 33554432000 4194304 4797429 140733761207088 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.64
Current children cumulated vsize (KiB) 737540

[startup+822.301 s]
/proc/loadavg: 8.16 8.10 7.94 9/182 27045
/proc/meminfo: memFree=30612984/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=738344 CPUtime=3284.31 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 152621 0 0 0 328365 66 0 0 25 0 4 0 522705843 756064256 26973 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 184586 26973 434 148 0 179515 0
[pid=27016/tid=27018] ppid=27014 vsize=738344 CPUtime=822.14 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 21118 0 0 0 82204 10 0 0 25 0 4 0 522705844 756064256 26973 33554432000 4194304 4797429 140733761207088 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=738344 CPUtime=822.13 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 23052 0 0 0 82203 10 0 0 25 0 4 0 522705844 756064256 26973 33554432000 4194304 4797429 140733761207088 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=738344 CPUtime=817.83 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 20799 0 0 0 81773 10 0 0 25 0 4 0 522705844 756064256 26973 33554432000 4194304 4797429 140733761207088 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.31
Current children cumulated vsize (KiB) 738344

[startup+882.301 s]
/proc/loadavg: 8.12 8.09 7.95 9/182 27046
/proc/meminfo: memFree=30610236/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=743296 CPUtime=3523.96 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 161170 0 0 0 352327 69 0 0 25 0 4 0 522705843 761135104 27577 33554432000 4194304 4797429 140733761207088 18446744073709551615 4426361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 185824 27577 434 148 0 180753 0
[pid=27016/tid=27018] ppid=27014 vsize=743296 CPUtime=882.14 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 22439 0 0 0 88203 11 0 0 25 0 4 0 522705844 761135104 27577 33554432000 4194304 4797429 140733761207088 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=743296 CPUtime=882.13 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 24321 0 0 0 88202 11 0 0 25 0 4 0 522705844 761135104 27577 33554432000 4194304 4797429 140733761207088 18446744073709551615 4255584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=743296 CPUtime=877.49 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 21861 0 0 0 87739 10 0 0 25 0 4 0 522705844 761135104 27577 33554432000 4194304 4797429 140733761207088 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.96
Current children cumulated vsize (KiB) 743296

[startup+942.3 s]
/proc/loadavg: 8.10 8.09 7.95 9/182 27047
/proc/meminfo: memFree=30603644/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=746556 CPUtime=3763.61 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 169083 0 0 0 376290 71 0 0 25 0 4 0 522705843 764473344 28148 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 186639 28148 434 148 0 181568 0
[pid=27016/tid=27018] ppid=27014 vsize=746556 CPUtime=942.12 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 23756 0 0 0 94201 11 0 0 25 0 4 0 522705844 764473344 28148 33554432000 4194304 4797429 140733761207088 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=746556 CPUtime=942.13 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 25504 0 0 0 94201 12 0 0 25 0 4 0 522705844 764473344 28148 33554432000 4194304 4797429 140733761207088 18446744073709551615 4429141 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=746556 CPUtime=937.17 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 22845 0 0 0 93706 11 0 0 25 0 4 0 522705844 764473344 28148 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.61
Current children cumulated vsize (KiB) 746556

[startup+1002.3 s]
/proc/loadavg: 8.11 8.09 7.96 9/182 27049
/proc/meminfo: memFree=30594944/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=748560 CPUtime=4003.26 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 174979 0 0 0 400252 74 0 0 25 0 4 0 522705843 766525440 29534 33554432000 4194304 4797429 140733761207088 18446744073709551615 4568003 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 187140 29534 434 148 0 182069 0
[pid=27016/tid=27018] ppid=27014 vsize=748560 CPUtime=1002.12 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 24225 0 0 0 100200 12 0 0 25 0 4 0 522705844 766525440 29534 33554432000 4194304 4797429 140733761207088 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=748560 CPUtime=1002.12 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 25955 0 0 0 100200 12 0 0 25 0 4 0 522705844 766525440 29534 33554432000 4194304 4797429 140733761207088 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=748560 CPUtime=996.83 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 23446 0 0 0 99672 11 0 0 25 0 4 0 522705844 766525440 29534 33554432000 4194304 4797429 140733761207088 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.26
Current children cumulated vsize (KiB) 748560

[startup+1062.3 s]
/proc/loadavg: 8.11 8.08 7.96 9/182 27051
/proc/meminfo: memFree=30589336/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=751688 CPUtime=4242.93 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 180644 0 0 0 424216 77 0 0 25 0 4 0 522705843 769728512 29403 33554432000 4194304 4797429 140733761207088 18446744073709551615 4351624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 187922 29403 434 148 0 182851 0
[pid=27016/tid=27018] ppid=27014 vsize=751688 CPUtime=1062.12 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 25182 0 0 0 106199 13 0 0 25 0 4 0 522705844 769728512 29403 33554432000 4194304 4797429 140733761207088 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=751688 CPUtime=1062.11 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 26898 0 0 0 106199 12 0 0 25 0 4 0 522705844 769728512 29403 33554432000 4194304 4797429 140733761207088 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=751688 CPUtime=1056.5 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 24459 0 0 0 105638 12 0 0 25 0 4 0 522705844 769728512 29403 33554432000 4194304 4797429 140733761207088 18446744073709551615 4425633 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.93
Current children cumulated vsize (KiB) 751688

[startup+1122.3 s]
/proc/loadavg: 8.10 8.08 7.97 9/182 27053
/proc/meminfo: memFree=30587824/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=751836 CPUtime=4482.56 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 186691 0 0 0 448176 80 0 0 25 0 4 0 522705843 769880064 29789 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 187959 29789 434 148 0 182888 0
[pid=27016/tid=27018] ppid=27014 vsize=751836 CPUtime=1122.1 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 26258 0 0 0 112197 13 0 0 25 0 4 0 522705844 769880064 29789 33554432000 4194304 4797429 140733761207088 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=751836 CPUtime=1122.11 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 27834 0 0 0 112198 13 0 0 25 0 4 0 522705844 769880064 29789 33554432000 4194304 4797429 140733761207088 18446744073709551615 4429163 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=751836 CPUtime=1116.16 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 25424 0 0 0 111604 12 0 0 25 0 4 0 522705844 769880064 29789 33554432000 4194304 4797429 140733761207088 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.56
Current children cumulated vsize (KiB) 751836

[startup+1182.31 s]
/proc/loadavg: 8.14 8.10 7.98 9/182 27054
/proc/meminfo: memFree=30573160/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=753668 CPUtime=4722.24 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 192521 0 0 0 472142 82 0 0 25 0 4 0 522705843 771756032 31003 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 188417 31003 434 148 0 183346 0
[pid=27016/tid=27018] ppid=27014 vsize=753668 CPUtime=1182.11 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 26830 0 0 0 118197 14 0 0 25 0 4 0 522705844 771756032 31003 33554432000 4194304 4797429 140733761207088 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=753668 CPUtime=1182.11 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 28370 0 0 0 118198 13 0 0 25 0 4 0 522705844 771756032 31003 33554432000 4194304 4797429 140733761207088 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=753668 CPUtime=1175.84 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 25852 0 0 0 117571 13 0 0 25 0 4 0 522705844 771756032 31003 33554432000 4194304 4797429 140733761207088 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.24
Current children cumulated vsize (KiB) 753668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.10 8.09 7.98 9/182 27055
/proc/meminfo: memFree=30585920/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=753820 CPUtime=4800.12 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 195118 0 0 0 479928 84 0 0 25 0 4 0 522705843 771911680 29982 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 188455 29982 434 148 0 183384 0
[pid=27016/tid=27018] ppid=27014 vsize=753820 CPUtime=1201.6 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 27439 0 0 0 120146 14 0 0 25 0 4 0 522705844 771911680 29982 33554432000 4194304 4797429 140733761207088 18446744073709551615 4429759 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=753820 CPUtime=1201.61 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 29032 0 0 0 120147 14 0 0 25 0 4 0 522705844 771911680 29982 33554432000 4194304 4797429 140733761207088 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=753820 CPUtime=1195.23 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 26555 0 0 0 119510 13 0 0 25 0 4 0 522705844 771911680 29982 33554432000 4194304 4797429 140733761207088 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 753820

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

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

[startup+1201.8 s]
/proc/loadavg: 8.10 8.09 7.98 9/182 27055
/proc/meminfo: memFree=30585920/32951132 swapFree=67111356/67111528
[pid=27016] ppid=27014 vsize=753820 CPUtime=4800.12 cores=1,3,5,7
/proc/27016/stat : 27016 (techdemo) R 27014 27016 26975 0 -1 4202496 195118 0 0 0 479928 84 0 0 25 0 4 0 522705843 771911680 29982 33554432000 4194304 4797429 140733761207088 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27016/statm: 188455 29982 434 148 0 183384 0
[pid=27016/tid=27018] ppid=27014 vsize=753820 CPUtime=1201.6 cores=1,3,5,7
/proc/27016/task/27018/stat : 27018 (techdemo) R 27014 27016 26975 0 -1 4202560 27439 0 0 0 120146 14 0 0 25 0 4 0 522705844 771911680 29982 33554432000 4194304 4797429 140733761207088 18446744073709551615 4429759 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27016/tid=27019] ppid=27014 vsize=753820 CPUtime=1201.61 cores=1,3,5,7
/proc/27016/task/27019/stat : 27019 (techdemo) R 27014 27016 26975 0 -1 4202560 29032 0 0 0 120147 14 0 0 25 0 4 0 522705844 771911680 29982 33554432000 4194304 4797429 140733761207088 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27016/tid=27020] ppid=27014 vsize=753820 CPUtime=1195.23 cores=1,3,5,7
/proc/27016/task/27020/stat : 27020 (techdemo) R 27014 27016 26975 0 -1 4202560 26555 0 0 0 119510 13 0 0 25 0 4 0 522705844 771911680 29982 33554432000 4194304 4797429 140733761207088 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 753820

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.82
CPU time (s): 4800.16
CPU user time (s): 4799.3
CPU system time (s): 0.85387
CPU usage (%): 399.408
Max. virtual memory (cumulated for all children) (KiB): 846552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.3
system time used= 0.85387
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195118
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= 351
involuntary context switches= 32527

runsolver used 1.91271 second user time and 4.53331 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 23:04:22
IDJOB=3172884
IDBENCH=82902
IDSOLVER=1584
FILE ID=node131/3172884-1304111062
RUNJOBID= node131-1304111062-26994
PBS_JOBID= 13170681
Free space on /tmp= 71380 MiB

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

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

MD5SUM BENCH= 6689be7bde9914194ce4bfa20183e3c5
RANDOM SEED=488028744

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.75
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.830
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.77
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.830
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.75
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.830
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.830
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30835436 kB
Buffers:        208908 kB
Cached:        1530208 kB
SwapCached:        168 kB
Active:         164648 kB
Inactive:      1642604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30835436 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           15684 kB
Writeback:           0 kB
AnonPages:       68060 kB
Mapped:          15740 kB
Slab:           243052 kB
PageTables:       5172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   270496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71372 MiB
End job on node131 at 2011-04-29 23:24:26