Trace number 3251063

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat TechDemo-Alpha-mt? (TO) 4800.28 1201.93

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf
MD5SUMbfa662ff57088c54e0febd091ce11e5c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.39763
Satisfiable
(Un)Satisfiability was proved
Number of variables1985
Number of clauses409171
Sum of the clauses size820237
Maximum clause length47
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2409126
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

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-3251063-1304183302.cnf'
0.00/0.00	c -- header says num vars:           1985
0.00/0.00	c -- header says num clauses:      409171
0.29/0.31	c -- clauses added:            0 learnts,       409171 normals,            0 xors
0.29/0.31	c -- vars added       1985
0.29/0.31	c Parsing time:  0.30 s
0.29/0.31	c  N st     0         0      1985        45    409126         0    820237         0   no data   no data  --
0.29/0.31	c asymm  cl-useful: 0/45/45 lits-rem:0 time: 0.00
0.29/0.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.1M T:  0.41
0.29/0.64	c Calc non-exist non-lernt bins v-fix:     0 done:   1985 time:  0.15 s
0.29/0.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.29/0.64	c Subs w/ non-existent bins:      0 time:  0.00 s
0.29/0.64	c bin-w-bin subsume rem            0 bins  time:  0.26 s
0.29/0.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.24 s
0.29/0.64	c Removed useless bin:       0  fixed:     0  bprops:   1.64M  time:  0.16 s
0.29/0.76	c lits-rem:       176  cl-subs:        0  v-elim:   1277  v-fix:    0  time:  0.50 s
0.29/0.76	c learnt bin added due to v-elim: 0
5.04/1.52	c Finding binary XORs  T:     0.04 s  found:       0
5.04/1.52	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
5.04/1.52	c calculated reachability. Time: 0.01
5.04/1.52	c Calc default polars -  time:   0.01 s pos:       0 undec:      45 neg:    1940
5.04/1.52	c =========================================================================================
5.04/1.52	c types(t): F = full restart, N = normal restart
5.04/1.52	c types(t): S = simplification begin/end, E = solution found
5.04/1.52	c restart types(rt): st = static, dy = dynamic
5.04/1.52	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
5.04/1.52	c  B st     0         0      1940      8673    398513         0   1219412         0   no data   no data  --
5.04/1.52	c Decided on static restart strategy
5.86/1.74	c  N dy    19      4003      1940      8673    398514      3699   1219398    622768    141.62     16.25  --
9.83/2.77	c  N dy    48      8026      1940      8673    398514      5259   1219398    500656     90.51     13.76  --
14.22/3.80	c  N dy    77     12114      1940      8673    398514      5156   1219398    415533    104.94     13.68  --
18.22/4.88	c  N dy   107     16229      1940      8673    398514      9153   1219397    755795     83.72     13.16  --
22.22/5.83	c  N dy   136     20248      1940      8673    398514      7599   1219395    526744     86.86     13.00  --
26.61/6.91	c  N dy   166     24356      1940      8673    398514     11580   1219392    862959     91.04     12.83  --
30.61/7.96	c  N dy   195     28419      1940      8673    398514      8916   1219391    614872    104.36     12.73  --
32.22/8.38	c  S st   207     30002      1940      8673    398514     10449   1219391    745273     84.40     12.71  --
33.00/8.52	c  S st   207     30506      1940      8673    398514     10949   1219390    791584     84.40     12.71  --
33.00/8.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
33.00/8.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
44.58/11.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 11.49
44.58/11.44	c Calc non-exist non-lernt bins v-fix:     0 done:   1940 time:  0.16 s
44.58/11.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
44.58/11.47	c Subs w/ non-existent bins:      0 time:  0.12 s
44.98/11.57	c bin-w-bin subsume rem            0 bins  time:  0.27 s
50.57/12.97	c subs with bin:        0  lits-rem:      3138  v-fix:    0  time:  5.60 s
50.97/13.01	c Removed useless bin:       0  fixed:     0  bprops:   1.60M  time:  0.16 s
55.76/14.25	c lits-rem:      3316  cl-subs:     1268  v-elim:   1940  v-fix:    0  time:  4.95 s
55.76/14.25	c learnt bin added due to v-elim: 0
55.76/14.27	c vivif2 --  cl tried     8673 cl shrink     7301 lits rem      95616 time: 0.10
55.76/14.29	c vivif2 --  cl tried     9681 cl shrink        0 lits rem          0 time: 0.07
56.57/14.46	c asymm  cl-useful: 104/537/8673 lits-rem:246 time: 0.68
56.57/14.47	c calculated reachability. Time: 0.01
56.57/14.47	c  N dy   207     30506      1940      8673    398514      9681   1114759    690899     84.40     12.71  --
56.57/14.47	c  F st   207     30506      1940      8673    398514      9681   1114759    690899     84.40     12.71  --
58.99/15.07	c Decided on static restart strategy
61.77/15.74	c  N dy   227     34556      1940      8673    398514     13585   1114759   1216663    137.09     12.63  --
66.15/16.89	c  N dy   255     38629      1940      8673    398514      9879   1114759    831950    155.15     12.97  --
71.77/18.25	c  N dy   284     42731      1940      8673    398514     13876   1114759   1215123     73.23     12.78  --
76.56/19.47	c  S st   307     45760      1940      8673    398514     16809   1114759   1538853    124.72     12.77  --
77.34/19.67	c  S st   307     46260      1940      8673    398514     17309   1114759   1585749    124.72     12.77  --
77.34/19.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
77.34/19.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.52/23.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 17.21
94.92/24.04	c Calc non-exist non-lernt bins v-fix:     0 done:   1940 time:  0.16 s
94.92/24.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.92/24.08	c Subs w/ non-existent bins:      0 time:  0.16 s
95.32/24.18	c bin-w-bin subsume rem            0 bins  time:  0.26 s
101.71/25.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.15 s
101.71/25.76	c Removed useless bin:       0  fixed:     0  bprops:   1.60M  time:  0.16 s
110.10/27.87	c lits-rem:      1526  cl-subs:     1421  v-elim:   1940  v-fix:    0  time:  8.44 s
110.10/27.87	c learnt bin added due to v-elim: 0
110.10/27.88	c vivif2 --  cl tried     8673 cl shrink        0 lits rem          0 time: 0.03
110.50/27.91	c vivif2 --  cl tried    15888 cl shrink        0 lits rem          0 time: 0.12
111.31/28.18	c asymm  cl-useful: 1/350/8673 lits-rem:1 time: 1.06
111.31/28.19	c calculated reachability. Time: 0.01
111.31/28.19	c  N dy   307     46260      1940      8673    398514     15888   1114579   1394029    124.72     12.77  --
116.10/29.35	c  N dy   335     50275      1940      8673    398515     11080   1114579    802724    142.67     12.86  --
120.51/30.44	c  N dy   364     54417      1940      8673    398515     15050   1114579   1223588    132.03     12.83  --
125.27/31.66	c  N dy   392     58459      1940      8673    398516     18949   1114579   1634920     88.11     13.05  --
128.89/32.58	c  N dy   421     62592      1940      8673    398516     13377   1114579    911183     68.19     13.03  --
133.69/33.73	c  N dy   450     66686      1940      8673    398516     17354   1114579   1222012     96.03     13.19  --
137.26/34.67	c  S st   469     69392      1940      8673    398516     19977   1114579   1461535     95.04     13.27  --
137.67/34.80	c  S st   469     69893      1940      8673    398516     20477   1114579   1507698     95.04     13.27  --
138.08/34.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
138.08/34.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
150.44/37.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 12.46
150.44/37.97	c Calc non-exist non-lernt bins v-fix:     0 done:   1940 time:  0.16 s
150.44/37.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
150.85/38.02	c Subs w/ non-existent bins:      0 time:  0.19 s
151.27/38.12	c bin-w-bin subsume rem            0 bins  time:  0.26 s
157.23/39.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.15 s
157.63/39.70	c Removed useless bin:       0  fixed:     0  bprops:   1.60M  time:  0.15 s
166.82/42.05	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.58
178.80/45.06	c Added 20 vars  tried: 80000 time: 12.03
179.20/45.19	c ORs :     20 avg-s:  0.0 cl-sh: 24578 l-rem:  24578 b-add:     40 v-rep:   0 cl-rem: 0 avg s: nan T:   12.54
179.60/45.21	c lits-rem:       819  cl-subs:     1849  v-elim:   1940  v-fix:    0  time: 22.03 s
179.60/45.21	c learnt bin added due to v-elim: 0
179.60/45.22	c vivif2 --  cl tried     8693 cl shrink        1 lits rem          1 time: 0.03
179.60/45.26	c vivif2 --  cl tried    18628 cl shrink      111 lits rem        111 time: 0.16
180.40/45.42	c asymm  cl-useful: 0/489/8693 lits-rem:0 time: 0.65
180.40/45.43	c calculated reachability. Time: 0.01
180.40/45.43	c  N dy   469     69893      1960      8693    398556     18628   1113132   1333277     95.04     13.27  --
180.40/45.43	c  F st   469     69893      1960      8693    398556     18628   1113132   1333277     95.04     13.27  --
182.79/46.09	c Decided on static restart strategy
185.60/46.73	c  N dy   492     74400      1960      8693    398563     12368   1113132    815271    112.74     13.40  --
191.59/48.21	c  N dy   526     79268      1960      8693    398572     17072   1113132   1246362     52.57     13.42  --
197.58/49.72	c  N dy   561     84361      1960      8693    398576     21973   1113132   1601615    121.02     13.59  --
203.18/51.17	c  N dy   600     89785      1960      8693    398580     15691   1113132   1101858     97.43     13.54  --
211.16/53.11	c  N dy   640     95522      1960      8693    398582     21287   1113132   1628003    108.69     13.65  --
220.74/55.57	c  N dy   682    101645      1960      8693    398586     14630   1113132    942821     80.39     13.77  --
224.74/56.52	c  S st   705    104840      1960      8693    398590     17673   1113132   1244585    127.72     13.72  --
225.15/56.68	c  S st   705    105343      1960      8693    398591     18172   1113132   1304446    127.72     13.72  --
225.15/56.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
225.15/56.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
238.33/59.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   3219 BRemL:     25 BRemN:      0 CBin:       0 P: 60.1M T: 13.00
238.33/59.99	c Calc non-exist non-lernt bins v-fix:     0 done:   1960 time:  0.17 s
238.33/59.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
238.75/60.04	c Subs w/ non-existent bins:      0 time:  0.18 s
239.15/60.14	c bin-w-bin subsume rem            0 bins  time:  0.28 s
245.11/61.62	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  5.93 s
245.11/61.64	c Removed useless bin:       0  fixed:     0  bprops:   0.93M  time:  0.10 s
251.51/63.26	c ORs :     57 avg-s:  2.0 cl-sh:     1 l-rem:      1 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.68
251.51/63.28	c lits-rem:       262  cl-subs:     1654  v-elim:   2387  v-fix:    0  time:  6.54 s
251.51/63.28	c learnt bin added due to v-elim: 0
251.51/63.29	c vivif2 --  cl tried     9143 cl shrink      164 lits rem        164 time: 0.03
251.92/63.33	c vivif2 --  cl tried    16518 cl shrink     1165 lits rem       1600 time: 0.18
252.70/63.51	c asymm  cl-useful: 0/588/8981 lits-rem:0 time: 0.72
252.70/63.52	c calculated reachability. Time: 0.01
252.70/63.52	c  N dy   705    105343      1959      8981    401493     16518   1113394   1181485    127.72     13.72  --
260.71/65.54	c  N dy   753    112157      1959      8981    401493     23114   1113394   1731946     99.79     13.83  --
269.09/67.68	c  N dy   804    119344      1959      8981    401493     16520   1113394   1121181     74.24     13.72  --
280.67/70.58	c  N dy   856    127059      1959      8981    401494     23872   1113394   1855147     99.90     13.84  --
291.88/73.38	c  N dy   912    135183      1959      8981    401494     17305   1113392   1140081     78.42     13.91  --
303.84/76.40	c  N dy   973    143939      1959      8981    401494     25806   1113392   1811724     68.49     13.94  --
315.82/79.39	c  N dy  1037    153157      1959      8981    401495     19318   1113392   1376386    124.19     14.03  --
323.01/81.18	c  S st  1071    158014      1959      8981    401495     24012   1113392   1792314    122.22     14.00  --
323.81/81.33	c  S st  1071    158515      1959      8981    401495     24512   1113392   1857612    122.22     14.00  --
323.81/81.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
323.81/81.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
339.39/85.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    377 BRemL:      5 BRemN:    162 CBin:       0 P: 60.0M T: 15.59
339.39/85.29	c Calc non-exist non-lernt bins v-fix:     0 done:   1959 time:  0.18 s
339.39/85.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
339.80/85.35	c Subs w/ non-existent bins:      0 time:  0.23 s
340.21/85.47	c bin-w-bin subsume rem          134 bins  time:  0.28 s
346.18/86.99	c subs with bin:        0  lits-rem:         3  v-fix:    0  time:  6.09 s
346.58/87.01	c Removed useless bin:       0  fixed:     0  bprops:   0.88M  time:  0.10 s
354.16/88.99	c ORs :     57 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.79
354.56/89.01	c lits-rem:       356  cl-subs:     1750  v-elim:   1935  v-fix:    0  time:  7.98 s
354.56/89.01	c learnt bin added due to v-elim: 0
354.56/89.02	c vivif2 --  cl tried     8981 cl shrink        0 lits rem          0 time: 0.03
354.56/89.07	c vivif2 --  cl tried    22762 cl shrink       99 lits rem        211 time: 0.19
355.36/89.29	c asymm  cl-useful: 0/160/8981 lits-rem:0 time: 0.91
355.76/89.30	c calculated reachability. Time: 0.01
355.76/89.30	c  N dy  1071    158515      1959      8981    401571     22762   1113015   1695561    122.22     14.00  --
375.36/94.25	c  N dy  1141    168674      1979      8981    401618     32654   1113095   2758024    110.60     14.19  --
388.92/97.60	c  N dy  1217    179577      1979      8981    401618     26764   1113095   2119164     73.51     14.28  --
404.10/101.42	c  N dy  1298    191167      1979      8981    401618     20545   1113095   1356319    107.29     14.24  --
419.30/105.22	c  N dy  1384    203420      1979      8981    401618     32304   1113095   2396043     82.01     14.22  --
434.06/108.91	c  N dy  1475    216429      1979      8981    401618     26580   1113095   1958516     70.59     14.17  --
450.83/113.10	c  N dy  1572    230377      1979      8981    401618     20698   1113095   1287591     87.09     14.11  --
459.63/115.34	c  S st  1624    237772      1979      8981    401618     27873   1113095   1971541     75.54     14.11  --
460.43/115.51	c  S st  1624    238276      1979      8981    401618     28376   1113095   2024606     75.54     14.11  --
460.43/115.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
460.43/115.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
474.80/119.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   2582 BRemL:     27 BRemN:      0 CBin:       0 P: 60.0M T: 14.44
474.80/119.18	c Calc non-exist non-lernt bins v-fix:     0 done:   1979 time:  0.17 s
474.80/119.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
475.20/119.25	c Subs w/ non-existent bins:      0 time:  0.27 s
475.60/119.36	c bin-w-bin subsume rem            0 bins  time:  0.29 s
481.59/120.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.89 s
481.59/120.86	c Removed useless bin:       0  fixed:     0  bprops:   0.71M  time:  0.09 s
489.20/122.73	c ORs :     57 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.84
489.20/122.76	c lits-rem:       445  cl-subs:     1777  v-elim:   1935  v-fix:    0  time:  7.58 s
489.20/122.76	c learnt bin added due to v-elim: 0
489.20/122.77	c vivif2 --  cl tried     8981 cl shrink        0 lits rem          0 time: 0.03
489.60/122.82	c vivif2 --  cl tried    26599 cl shrink        0 lits rem          0 time: 0.22
490.38/123.05	c asymm  cl-useful: 0/160/8981 lits-rem:0 time: 0.93
490.38/123.06	c calculated reachability. Time: 0.01
490.38/123.06	c  N dy  1624    238276      1979      8981    404173     26599   1113088   1870268     75.54     14.11  --
509.95/127.95	c  N dy  1730    253526      1979      8981    404670     21675   1113224   1182782     78.87     14.05  --
532.73/133.60	c  N dy  1843    269751      1979      8981    404670     37396   1113224   2808023    107.25     14.00  --
559.51/140.40	c  N dy  1964    287017      1979      8981    404670     32471   1113224   2188911     60.61     14.03  --
583.45/146.38	c  N dy  2092    305447      2059      8981    414462     28849   1114984   1471656     65.97     13.96  --
611.42/153.36	c  N dy  2228    325058      2059      8981    414462     24029   1114984   1103849     57.39     13.99  --
635.78/159.49	c  N dy  2367    345150      2059      8981    414463     43333   1114984   2564172     70.17     13.96  --
652.56/163.69	c  S st  2453    357415      2059      8981    414463     30856   1114984   1620356     62.78     13.93  --
653.36/163.84	c  S st  2453    357915      2059      8981    414463     31355   1114984   1662998     62.78     13.93  --
653.36/163.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
653.36/163.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
666.54/167.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   2943 BRemL:    259 BRemN:    166 CBin:       0 P: 60.0M T: 13.35
666.94/167.24	c Calc non-exist non-lernt bins v-fix:     0 done:   2059 time:  0.18 s
666.94/167.24	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
667.34/167.32	c Subs w/ non-existent bins:    802 time:  0.31 s
667.34/167.33	c Replacing        1 vars Replaced       14 lits Time:     0.06 s 
667.74/167.44	c bin-w-bin subsume rem          691 bins  time:  0.30 s
673.75/169.00	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  6.20 s
674.15/169.02	c Removed useless bin:      72  fixed:     0  bprops:   0.53M  time:  0.08 s
680.13/170.54	c ORs :     57 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 9 avg s: 3.1 T:    0.72
680.13/170.56	c lits-rem:       297  cl-subs:     1812  v-elim:   1935  v-fix:    0  time:  6.18 s
680.13/170.56	c learnt bin added due to v-elim: 0
680.13/170.57	c vivif2 --  cl tried     8981 cl shrink        0 lits rem          0 time: 0.03
680.53/170.63	c vivif2 --  cl tried    28731 cl shrink      452 lits rem        452 time: 0.24
681.33/170.82	c asymm  cl-useful: 0/143/8981 lits-rem:0 time: 0.77
681.33/170.84	c calculated reachability. Time: 0.01
681.33/170.84	c  N dy  2453    357915      2058      8981    416662     28285   1114481   1559633     62.78     13.93  --
712.49/178.64	c  N dy  2594    377951      2120      8981    425621     49640   1115939   3405955    100.81     13.93  --
745.24/186.84	c  N dy  2732    398017      2120      8981    425622     43353   1115939   2747278    101.08     13.94  --
780.00/195.53	c  N dy  2871    418126      2120      8981    425622     36517   1115939   2106620    139.48     13.96  --
816.34/204.60	c  N dy  3010    438162      2120      8981    425622     28712   1115939   1346112     81.87     13.92  --
844.30/211.64	c  N dy  3149    458272      2120      8981    427254     48080   1115939   2988870    117.79     13.96  --
867.10/217.38	c Finding binary XORs  T:     0.04 s  found:       5
869.87/218.09	c  N dy  3291    478354      2120      8981    427255     39380   1115939   2217808     88.86     13.89  --
896.23/224.69	c  N dy  3433    498402      2120      8981    427255     29814   1115938   1367372    111.45     13.92  --
925.79/232.07	c  N dy  3574    518429      2120      8981    427255     49200   1115938   3335792    130.91     13.93  --
956.95/239.84	c  S st  3704    536872      2120      8981    427256     37028   1115938   2037840     80.82     13.91  --
957.75/240.06	c  S st  3704    537372      2120      8981    427256     37526   1115938   2086024     80.82     13.91  --
957.75/240.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
957.75/240.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
973.73/244.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      2 BRemL:    445 BRemN:   1459 CBin:       0 P: 60.0M T: 15.99
974.12/244.12	c Calc non-exist non-lernt bins v-fix:     0 done:   2120 time:  0.19 s
974.12/244.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
974.52/244.21	c Subs w/ non-existent bins:    603 time:  0.37 s
974.52/244.23	c Replacing        5 vars Replaced       31 lits Time:     0.07 s 
974.92/244.35	c bin-w-bin subsume rem          898 bins  time:  0.30 s
981.34/245.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.38 s
981.34/245.97	c Removed useless bin:     228  fixed:     0  bprops:   0.52M  time:  0.08 s
991.31/248.49	c ORs :     57 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    0.94
1004.89/251.82	c Added 22 vars  tried: 80000 time: 13.33
1005.29/251.90	c ORs :     22 avg-s:  0.0 cl-sh: 15402 l-rem:  15402 b-add:     44 v-rep:   0 cl-rem: 11 avg s: 3.0 T:   13.62
1005.29/251.93	c lits-rem:       467  cl-subs:     2456  v-elim:   1935  v-fix:    0  time: 23.80 s
1005.29/251.93	c learnt bin added due to v-elim: 0
1005.29/251.94	c vivif2 --  cl tried     9002 cl shrink        2 lits rem          2 time: 0.03
1005.69/252.01	c vivif2 --  cl tried    34455 cl shrink       46 lits rem         53 time: 0.29
1006.49/252.23	c asymm  cl-useful: 0/216/9002 lits-rem:0 time: 0.90
1006.49/252.25	c calculated reachability. Time: 0.01
1006.49/252.25	c  N dy  3704    537372      2137      9002    424268     34449   1111333   1921524     80.82     13.91  --
1006.49/252.25	c  F st  3704    537372      2137      9002    424268     34449   1111333   1921524     80.82     13.91  --
1009.28/252.94	c Decided on static restart strategy
1038.86/260.31	c  N dy  3837    557507      2137      9002    424270     53945   1111333   3970468    137.71     13.91  --
1075.99/269.61	c  N dy  3975    577527      2137      9002    424270     42741   1111333   2817368    102.68     13.97  --
1107.55/277.57	c  N dy  4113    597598      2137      9002    424270     62046   1111333   4257005     68.36     14.00  --
1133.92/284.11	c  N dy  4254    617648      2137      9002    424271     49647   1111332   3039155     91.02     13.93  --
1165.89/292.17	c  N dy  4393    637726      2137      9002    424274     36261   1111332   1792770    103.69     13.96  --
1199.03/300.47	c  N dy  4534    657867      2137      9002    427992     55664   1111332   3646154     83.45     13.94  --
1232.98/308.91	c  N dy  4674    677999      2137      9002    428236     41374   1111332   2099123     96.70     13.90  --
1262.97/316.42	c  N dy  4813    698029      2211      9002    435627     62045   1112610   3735646    107.00     13.91  --
1292.50/323.88	c  N dy  4953    718147      2211      9002    435627     46068   1112610   2500792     94.99     13.89  --
1322.46/331.30	c  N dy  5093    738211      2211      9002    435627     65420   1112610   4166162    130.88     13.88  --
1354.84/339.47	c  N dy  5234    758305      2211      9002    435628     48831   1112610   2723796     97.44     13.87  --
1391.97/348.79	c  N dy  5372    778343      2211      9002    440123     68180   1112610   4429434     67.82     13.91  --
1419.14/355.51	c  N dy  5513    798361      2211      9002    440124     50679   1112610   2752782     77.70     13.88  --
1429.93/358.22	c  S st  5568    806058      2211      9002    440125     58095   1112609   3335331     74.05     13.87  --
1430.72/358.44	c  S st  5568    806559      2211      9002    440125     58594   1112609   3383015     74.05     13.87  --
1430.72/358.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1430.72/358.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1447.12/362.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:     18 BRemL:   1050 BRemN:    954 CBin:       0 P: 60.0M T: 16.29
1447.12/362.58	c Calc non-exist non-lernt bins v-fix:     0 done:   2211 time:  0.20 s
1447.12/362.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1447.89/362.73	c Subs w/ non-existent bins:    485 time:  0.59 s
1447.89/362.75	c Replacing        4 vars Replaced      457 lits Time:     0.08 s 
1448.69/362.90	c bin-w-bin subsume rem          191 bins  time:  0.31 s
1455.49/364.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.95 s
1455.49/364.66	c Removed useless bin:      43  fixed:     0  bprops:   0.51M  time:  0.08 s
1477.05/370.01	c ORs :    123 avg-s:  2.0 cl-sh:    14 l-rem:     14 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.87
1477.05/370.05	c lits-rem:       389  cl-subs:     5363  v-elim:   1928  v-fix:    0  time: 21.51 s
1477.05/370.05	c learnt bin added due to v-elim: 0
1477.05/370.06	c vivif2 --  cl tried     9002 cl shrink        3 lits rem          3 time: 0.03
1477.45/370.18	c vivif2 --  cl tried    52745 cl shrink      842 lits rem       1195 time: 0.50
1478.65/370.40	c asymm  cl-useful: 0/331/9002 lits-rem:0 time: 0.85
1478.65/370.41	c calculated reachability. Time: 0.01
1478.65/370.41	c  N dy  5568    806559      2207      9002    437899     52741   1110592   3061347     74.05     13.87  --
1511.81/378.74	c  N dy  5708    826624      2220      9002    438954     72157   1110644   4855019    119.54     13.86  --
1542.97/386.54	c  N dy  5849    846744      2220      9002    438954     54196   1110644   3447998     87.92     13.85  --
1575.72/394.74	c  N dy  5988    866823      2220      9002    439850     73529   1110644   5293695    106.68     13.88  --
1605.30/402.20	c  N dy  6126    886909      2220      9002    439850     54418   1110644   3145268     89.89     13.89  --
1654.81/414.59	c  N dy  6260    907036      2246      9002    442578     73678   1110748   4749423     84.78     13.96  --
1691.97/423.83	c  N dy  6398    927115      2246      9002    442578     53659   1110748   3229493     62.78     14.00  --
1733.91/434.33	c  N dy  6534    947229      2246      9002    442578     73019   1110748   4583360     70.54     14.00  --
1767.47/442.79	c  N dy  6673    967246      2246      9002    442578     51865   1110747   2794118    128.82     14.01  --
1812.23/453.99	c  N dy  6813    987321      2246      9002    442674     71241   1110747   4737174     69.37     14.04  --
1859.34/465.75	c  N dy  6950   1007391      2246      9002    442680     49097   1110747   2409133     57.19     14.04  --
1891.70/473.89	c  N dy  7088   1027449      2246      9002    442680     68342   1110747   3946626     85.30     14.03  --
1943.23/486.71	c  N dy  7224   1047552      2246      9002    442681     45325   1110746   2184138     54.78     14.03  --
1973.59/494.38	c  N dy  7365   1067683      2246      9002    442681     64736   1110746   3804204     67.77     14.02  --
2007.15/502.78	c  N dy  7504   1087708      2246      9002    442681     83981   1110746   5263053     71.58     14.01  --
2039.50/510.87	c  N dy  7646   1107766      2246      9002    442681     60148   1110746   3690170    107.69     14.00  --
2079.05/520.76	c  N dy  7784   1127767      2246      9002    442681     79503   1110746   5464558     80.22     14.00  --
2079.05/520.77	c Finding binary XORs  T:     0.04 s  found:       0
2109.00/528.27	c  N dy  7926   1147822      2246      9002    442681     54520   1110746   2962275     71.33     13.98  --
2144.56/537.14	c  N dy  8066   1167961      2246      9002    442682     73865   1110745   4972452     64.45     13.98  --
2177.71/545.47	c  N dy  8207   1187980      2246      9002    442682     47841   1110743   2357132    103.04     13.97  --
2208.47/553.15	c  N dy  8348   1208087      2246      9002    442682     67423   1110743   4394769     73.56     14.00  --
2212.86/554.29	c  S st  8361   1209839      2246      9002    442682     69086   1110743   4530454     97.54     14.00  --
2214.06/554.59	c  S st  8361   1210340      2246      9002    442682     69584   1110743   4597816     97.54     14.00  --
2214.46/554.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
2214.46/554.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2235.24/559.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:    580 BRemN:    302 CBin:       0 P: 60.0M T: 21.00
2235.64/559.92	c Calc non-exist non-lernt bins v-fix:     0 done:   2246 time:  0.20 s
2235.64/559.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2236.44/560.10	c Subs w/ non-existent bins:      0 time:  0.70 s
2236.84/560.28	c bin-w-bin subsume rem            4 bins  time:  0.31 s
2244.82/562.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.99 s
2245.22/562.30	c Removed useless bin:       7  fixed:     0  bprops:   0.50M  time:  0.08 s
2283.17/571.86	c ORs :    123 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    1.17
2309.94/578.56	c Added 23 vars  tried: 80000 time: 26.77
2311.13/578.83	c ORs :     23 avg-s:  0.0 cl-sh: 35191 l-rem:  35191 b-add:     46 v-rep:   0 cl-rem: 16 avg s: 3.0 T:   27.82
2311.13/578.88	c lits-rem:       581  cl-subs:     6434  v-elim:   1928  v-fix:    0  time: 66.24 s
2311.13/578.88	c learnt bin added due to v-elim: 0
2311.13/578.89	c vivif2 --  cl tried     9025 cl shrink        2 lits rem          2 time: 0.03
2311.93/579.03	c vivif2 --  cl tried    63134 cl shrink      104 lits rem        148 time: 0.58
2312.75/579.29	c asymm  cl-useful: 0/201/9025 lits-rem:0 time: 1.02
2313.15/579.30	c calculated reachability. Time: 0.01
2313.15/579.30	c  N dy  8361   1210340      2269      9025    441835     63134   1108198   4133418     97.54     14.00  --
2373.85/594.55	c  N dy  8492   1230350      2269      9025    442008     82169   1108198   8425458    219.24     14.27  --
2421.38/606.44	c  N dy  8627   1250363      2269      9025    442023     55371   1108197   3830888    174.36     14.49  --
2463.73/617.04	c  N dy  8761   1270390      2269      9025    442095     74657   1108197   7100736    115.81     14.77  --
2522.05/631.66	c  N dy  8897   1290476      2294      9025    446640     93924   1108297   9766191    158.87     14.96  --
2573.59/644.58	c  N dy  9032   1310536      2294      9025    446714     66270   1108297   6344365    109.82     15.16  --
2631.11/658.95	c  N dy  9167   1330659      2294      9025    446714     85893   1108297  10082247    167.04     15.40  --
2686.25/672.76	c  N dy  9301   1350737      2294      9025    447437     56953   1108297   5020912    294.73     15.63  --
2748.94/688.47	c  N dy  9435   1370770      2311      9025    448262     76446   1108365   8444697    148.87     15.87  --
2804.47/702.40	c  N dy  9571   1390866      2311      9025    448262     95946   1108365  12791010    286.66     16.04  --
2862.41/716.85	c  N dy  9702   1410868      2311      9025    448511     65995   1108365   6235739    150.84     16.42  --
2933.50/734.66	c  N dy  9834   1430959      2311      9025    448511     85383   1108365  10200339    264.00     16.67  --
3036.56/760.40	c  N dy  9965   1451045      2335      9025    449606     54478   1108461   3390113    202.14     17.01  --
3070.51/768.98	c  N dy 10100   1471107      2335      9025    449606     73940   1108461   5834058     65.31     17.20  --
3122.44/781.95	c  N dy 10233   1491119      2335      9025    449606     93249   1108461   8305527    195.07     17.42  --
3174.00/794.86	c  N dy 10366   1511182      2335      9025    449860     61253   1108461   4084536    132.04     17.75  --
3217.52/805.78	c  N dy 10500   1531196      2335      9025    449860     80578   1108461   7554909    206.43     18.02  --
3283.43/822.21	c  N dy 10634   1551323      2335      9025    449860    100197   1108461  11250647    107.33     18.25  --
3336.98/835.60	c  N dy 10770   1571408      2335      9025    449860     67395   1108461   5960241    142.84     18.38  --
3391.28/849.28	c  N dy 10905   1591551      2335      9025    449860     86794   1108461   9564258    162.28     18.55  --
3454.39/865.03	c  N dy 11038   1611626      2335      9025    449860    106387   1108461  13581774    225.52     18.77  --
3513.51/879.86	c  N dy 11169   1631768      2335      9025    449860     72583   1108461   6687927    213.29     19.01  --
3580.23/896.58	c  N dy 11301   1651831      2335      9025    449860     92072   1108461  10645383    205.53     19.21  --
3650.93/914.21	c  N dy 11436   1671947      2335      9025    449860     57300   1108461   3350986    169.30     19.37  --
3692.89/924.71	c  N dy 11568   1691953      2335      9025    449860     76723   1108461   7048029    234.56     19.51  --
3766.78/943.21	c  S st 11689   1710340      2335      9025    449860     94655   1108461   9961840    133.44     19.67  --
3767.98/943.53	c  S st 11689   1710841      2335      9025    449860     95154   1108461   9997283    133.44     19.67  --
3767.98/943.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
3767.98/943.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3789.17/948.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:   1783 BRemN:    321 CBin:       0 P: 60.0M T: 21.29
3789.57/948.94	c Calc non-exist non-lernt bins v-fix:     0 done:   2335 time:  0.20 s
3789.57/948.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3790.35/949.18	c Subs w/ non-existent bins:      0 time:  0.98 s
3791.54/949.48	c bin-w-bin subsume rem            0 bins  time:  0.32 s
3801.94/952.03	c subs with bin:        0  lits-rem:         9  v-fix:    0  time: 10.21 s
3801.94/952.05	c Removed useless bin:       3  fixed:     0  bprops:   0.49M  time:  0.08 s
4196.60/1050.88	c ORs :    187 avg-s:  2.0 cl-sh:  2055 l-rem:   2055 b-add:      1 v-rep:   0 cl-rem: 8 avg s: 3.0 T:    1.92
4251.33/1064.59	c Added 24 vars  tried: 80000 time: 54.79
4253.72/1065.10	c ORs :     24 avg-s:  0.0 cl-sh: 41003 l-rem:  41003 b-add:     48 v-rep:   0 cl-rem: 30 avg s: 20.0 T:   56.83
4253.72/1065.19	c lits-rem:       143  cl-subs:    14116  v-elim:   2373  v-fix:    0  time: 451.87 s
4253.72/1065.19	c learnt bin added due to v-elim: 0
4254.12/1065.20	c vivif2 --  cl tried     9480 cl shrink      209 lits rem        209 time: 0.04
4254.94/1065.46	c vivif2 --  cl tried    81027 cl shrink     2430 lits rem      70581 time: 1.04
4256.11/1065.75	c asymm  cl-useful: 0/91/9271 lits-rem:0 time: 1.18
4256.11/1065.77	c calculated reachability. Time: 0.01
4256.11/1065.77	c  N dy 11689   1710841      2358      9271    447525     81027   1106642   6918392    133.44     19.67  --
4302.06/1077.28	c  N dy 11826   1730901      2358      9271    447525    100625   1106642  10247907    157.12     19.79  --
4359.59/1091.68	c  N dy 11962   1751031      2358      9271    447526     65029   1106642   4533711    204.32     20.00  --
4424.70/1107.98	c  N dy 12097   1771177      2358      9271    447526     84661   1106642   7975915    203.84     20.19  --
4529.76/1134.20	c  N dy 12229   1791266      2358      9271    451222    104234   1106642  11675943    218.35     20.40  --
4578.50/1146.42	c  N dy 12366   1811350      2359      9271    451295     67395   1106646   4840334    214.98     20.56  --
4644.01/1162.89	c  N dy 12502   1831427      2359      9271    451295     86975   1106646   8328209    164.56     20.71  --
4756.65/1191.01	c  N dy 12635   1851537      2359      9271    451295    106551   1106646  12271246    210.18     20.95  --

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-3251063-1304183302/watcher-3251063-1304183302 -o /tmp/evaluation-result-3251063-1304183302/solver-3251063-1304183302 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3251063-1304183302.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: 7.88 7.35 7.67 5/180 11261
/proc/meminfo: memFree=30777548/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=52264 CPUtime=0 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 1275 0 0 0 0 0 0 0 25 0 1 0 529928940 53518336 1210 33554432000 4194304 4797429 140734168285984 18446744073709551615 4365441 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11261/statm: 13066 1213 347 148 0 7995 0

[startup+0.0103929 s]
/proc/loadavg: 7.88 7.35 7.67 5/180 11261
/proc/meminfo: memFree=30777548/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=52948 CPUtime=0 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 1522 0 0 0 0 0 0 0 25 0 1 0 529928940 54218752 1457 33554432000 4194304 4797429 140734168285984 18446744073709551615 235594527429 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11261/statm: 13237 1457 348 148 0 8166 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 52948

[startup+0.100383 s]
/proc/loadavg: 7.88 7.35 7.67 5/180 11261
/proc/meminfo: memFree=30777548/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=63508 CPUtime=0.09 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 4157 0 0 0 9 0 0 0 25 0 1 0 529928940 65032192 4092 33554432000 4194304 4797429 140734168285984 18446744073709551615 235594527429 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11261/statm: 15877 4093 348 148 0 10806 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63508

[startup+0.300348 s]
/proc/loadavg: 7.88 7.35 7.67 5/180 11261
/proc/meminfo: memFree=30777548/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=85444 CPUtime=0.29 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 9634 0 0 0 28 1 0 0 25 0 1 0 529928940 87494656 9569 33554432000 4194304 4797429 140734168285984 18446744073709551615 4660251 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11261/statm: 21361 9569 348 148 0 16290 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85444

[startup+1.24018 s]
/proc/loadavg: 7.88 7.35 7.67 5/180 11261
/proc/meminfo: memFree=30777548/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=713516 CPUtime=4 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 20776 0 0 0 397 3 0 0 25 0 4 0 529928940 730640384 20638 33554432000 4194304 4797429 140734168285984 18446744073709551615 4387526 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 178379 20639 411 148 0 173308 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 713516

[startup+1.50014 s]
/proc/loadavg: 7.88 7.35 7.67 5/180 11261
/proc/meminfo: memFree=30777548/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=714172 CPUtime=5.04 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 21660 0 0 0 501 3 0 0 25 0 4 0 529928940 731312128 21520 33554432000 4194304 4797429 140734168285984 18446744073709551615 4424768 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 178543 21520 411 148 0 173472 0
Current children cumulated CPU time (s) 5.04
Current children cumulated vsize (KiB) 714172

[startup+3.10086 s]
/proc/loadavg: 7.97 7.37 7.67 9/184 11265
/proc/meminfo: memFree=30682180/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=728484 CPUtime=11.43 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 28145 0 0 0 1139 4 0 0 25 0 4 0 529928940 745967616 23562 33554432000 4194304 4797429 140734168285984 18446744073709551615 4425015 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 182121 23562 412 148 0 177050 0
[pid=11261/tid=11263] ppid=11259 vsize=728484 CPUtime=2.77 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 3901 0 0 0 277 0 0 0 25 0 4 0 529928971 745967616 23563 33554432000 4194304 4797429 140734168285984 18446744073709551615 235594563259 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=728484 CPUtime=2.76 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 4519 0 0 0 276 0 0 0 23 0 4 0 529928971 745967616 23563 33554432000 4194304 4797429 140734168285984 18446744073709551615 4351270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=728484 CPUtime=2.77 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 4743 0 0 0 277 0 0 0 22 0 4 0 529928971 745967616 23563 33554432000 4194304 4797429 140734168285984 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.43
Current children cumulated vsize (KiB) 728484

[startup+6.30029 s]
/proc/loadavg: 7.97 7.37 7.67 9/184 11265
/proc/meminfo: memFree=30669168/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=733008 CPUtime=24.21 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 34103 0 0 0 2415 6 0 0 25 0 4 0 529928940 750600192 26894 33554432000 4194304 4797429 140734168285984 18446744073709551615 4351618 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 183252 26894 415 148 0 178181 0
[pid=11261/tid=11263] ppid=11259 vsize=733008 CPUtime=5.97 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 4889 0 0 0 597 0 0 0 25 0 4 0 529928971 750600192 26894 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=733008 CPUtime=5.94 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 5918 0 0 0 593 1 0 0 25 0 4 0 529928971 750600192 26894 33554432000 4194304 4797429 140734168285984 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=733008 CPUtime=5.97 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 5349 0 0 0 597 0 0 0 25 0 4 0 529928971 750600192 26894 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.21
Current children cumulated vsize (KiB) 733008

[startup+12.7012 s]
/proc/loadavg: 7.97 7.39 7.68 9/184 11265
/proc/meminfo: memFree=30641520/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=739940 CPUtime=49.79 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 42036 0 0 0 4972 7 0 0 25 0 4 0 529928940 757698560 31880 33554432000 4194304 4797429 140734168285984 18446744073709551615 4520376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 184985 31880 416 148 0 179914 0
[pid=11261/tid=11263] ppid=11259 vsize=739940 CPUtime=12.38 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 6880 0 0 0 1237 1 0 0 25 0 4 0 529928971 757698560 31880 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=739940 CPUtime=12.31 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 7096 0 0 0 1230 1 0 0 25 0 4 0 529928971 757698560 31880 33554432000 4194304 4797429 140734168285984 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=739940 CPUtime=12.38 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 6898 0 0 0 1238 0 0 0 25 0 4 0 529928971 757698560 31880 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.79
Current children cumulated vsize (KiB) 739940

[startup+25.5009 s]
/proc/loadavg: 7.98 7.41 7.68 9/184 11266
/proc/meminfo: memFree=30643872/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=741268 CPUtime=100.91 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 49347 0 0 0 10082 9 0 0 25 0 4 0 529928940 759058432 33638 33554432000 4194304 4797429 140734168285984 18446744073709551615 4520284 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 185317 33638 418 148 0 180246 0
[pid=11261/tid=11263] ppid=11259 vsize=741268 CPUtime=25.17 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 7957 0 0 0 2516 1 0 0 25 0 4 0 529928971 759058432 33638 33554432000 4194304 4797429 140734168285984 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=741268 CPUtime=25.04 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 7648 0 0 0 2503 1 0 0 25 0 4 0 529928971 759058432 33638 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=741268 CPUtime=25.17 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 7942 0 0 0 2517 0 0 0 25 0 4 0 529928971 759058432 33638 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 100.91
Current children cumulated vsize (KiB) 741268

[startup+51.1004 s]
/proc/loadavg: 8.05 7.47 7.69 9/184 11267
/proc/meminfo: memFree=30622632/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=746572 CPUtime=203.18 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 63048 0 0 0 20304 14 0 0 25 0 4 0 529928940 764489728 36322 33554432000 4194304 4797429 140734168285984 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 186643 36322 419 148 0 181572 0
[pid=11261/tid=11263] ppid=11259 vsize=746572 CPUtime=50.77 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 8957 0 0 0 5076 1 0 0 25 0 4 0 529928971 764489728 36322 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=746572 CPUtime=50.51 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 9582 0 0 0 5049 2 0 0 25 0 4 0 529928971 764489728 36322 33554432000 4194304 4797429 140734168285984 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=746572 CPUtime=50.77 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 9734 0 0 0 5076 1 0 0 25 0 4 0 529928971 764489728 36322 33554432000 4194304 4797429 140734168285984 18446744073709551615 4524585 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.18
Current children cumulated vsize (KiB) 746572

[startup+102.3 s]
/proc/loadavg: 8.16 7.59 7.72 9/184 11268
/proc/meminfo: memFree=30595552/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=754980 CPUtime=407.69 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 90348 0 0 0 40747 22 0 0 25 0 4 0 529928940 773099520 41330 33554432000 4194304 4797429 140734168285984 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 188745 41330 419 148 0 183674 0
[pid=11261/tid=11263] ppid=11259 vsize=754980 CPUtime=101.98 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 11339 0 0 0 10195 3 0 0 25 0 4 0 529928971 773099520 41330 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=754980 CPUtime=101.42 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 12353 0 0 0 10139 3 0 0 25 0 4 0 529928971 773099520 41330 33554432000 4194304 4797429 140734168285984 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=754980 CPUtime=101.98 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 12637 0 0 0 10195 3 0 0 25 0 4 0 529928971 773099520 41330 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.69
Current children cumulated vsize (KiB) 754980

[startup+162.301 s]
/proc/loadavg: 8.19 7.70 7.74 9/184 11269
/proc/meminfo: memFree=30576052/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=761028 CPUtime=647.38 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 125374 0 0 0 64705 33 0 0 25 0 4 0 529928940 779292672 44240 33554432000 4194304 4797429 140734168285984 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 190257 44240 421 148 0 185186 0
[pid=11261/tid=11263] ppid=11259 vsize=761028 CPUtime=161.98 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 14846 0 0 0 16195 3 0 0 25 0 4 0 529928971 779292672 44240 33554432000 4194304 4797429 140734168285984 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=761028 CPUtime=161.1 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 15505 0 0 0 16106 4 0 0 25 0 4 0 529928971 779292672 44240 33554432000 4194304 4797429 140734168285984 18446744073709551615 4424868 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=761028 CPUtime=161.98 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 15392 0 0 0 16194 4 0 0 25 0 4 0 529928971 779292672 44240 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 647.38
Current children cumulated vsize (KiB) 761028

[startup+222.3 s]
/proc/loadavg: 8.19 7.78 7.77 9/184 11271
/proc/meminfo: memFree=30547864/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=768440 CPUtime=887.05 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 153978 0 0 0 88663 42 0 0 25 0 4 0 529928940 786882560 50466 33554432000 4194304 4797429 140734168285984 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 192110 50466 421 148 0 187039 0
[pid=11261/tid=11263] ppid=11259 vsize=768440 CPUtime=221.98 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 17525 0 0 0 22194 4 0 0 25 0 4 0 529928971 786882560 50466 33554432000 4194304 4797429 140734168285984 18446744073709551615 4359982 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=768440 CPUtime=220.77 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 18117 0 0 0 22072 5 0 0 25 0 4 0 529928971 786882560 50466 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=768440 CPUtime=221.97 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 18067 0 0 0 22193 4 0 0 25 0 4 0 529928971 786882560 50466 33554432000 4194304 4797429 140734168285984 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 887.05
Current children cumulated vsize (KiB) 768440

[startup+282.307 s]
/proc/loadavg: 8.18 7.85 7.79 9/184 11273
/proc/meminfo: memFree=30522672/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=775452 CPUtime=1126.74 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 180935 0 0 0 112622 52 0 0 25 0 4 0 529928940 794062848 51993 33554432000 4194304 4797429 140734168285984 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 193863 51993 421 148 0 188792 0
[pid=11261/tid=11263] ppid=11259 vsize=775452 CPUtime=281.99 cores=1,3,5,7

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

[pid=11261] ppid=11259 vsize=796508 CPUtime=2564.79 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 330801 0 0 0 256371 108 0 0 25 0 4 0 529928940 815624192 71067 33554432000 4194304 4797429 140734168285984 18446744073709551615 4425001 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 199127 71067 421 148 0 194056 0
[pid=11261/tid=11263] ppid=11259 vsize=796508 CPUtime=641.99 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 32315 0 0 0 64190 9 0 0 25 0 4 0 529928971 815624192 71067 33554432000 4194304 4797429 140734168285984 18446744073709551615 4425021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=796508 CPUtime=638.49 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 33947 0 0 0 63839 10 0 0 25 0 4 0 529928971 815624192 71067 33554432000 4194304 4797429 140734168285984 18446744073709551615 4495483 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=796508 CPUtime=641.98 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 33885 0 0 0 64187 11 0 0 25 0 4 0 529928971 815624192 71067 33554432000 4194304 4797429 140734168285984 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2564.79
Current children cumulated vsize (KiB) 796508

[startup+702.301 s]
/proc/loadavg: 8.04 8.02 7.89 9/184 11284
/proc/meminfo: memFree=30357484/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=799776 CPUtime=2804.47 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 356283 0 0 0 280329 118 0 0 25 0 4 0 529928940 818970624 80743 33554432000 4194304 4797429 140734168285984 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 199944 80743 421 148 0 194873 0
[pid=11261/tid=11263] ppid=11259 vsize=799776 CPUtime=701.99 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 33745 0 0 0 70190 9 0 0 25 0 4 0 529928971 818970624 80743 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=799776 CPUtime=698.17 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 36767 0 0 0 69806 11 0 0 25 0 4 0 529928971 818970624 80743 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=799776 CPUtime=701.98 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 35215 0 0 0 70187 11 0 0 25 0 4 0 529928971 818970624 80743 33554432000 4194304 4797429 140734168285984 18446744073709551615 4425015 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2804.47
Current children cumulated vsize (KiB) 799776

[startup+762.301 s]
/proc/loadavg: 8.05 8.03 7.90 9/184 11285
/proc/meminfo: memFree=30394272/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=867340 CPUtime=3044.14 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 381887 0 0 0 304286 128 0 0 25 0 4 0 529928940 888156160 73395 33554432000 4194304 4797429 140734168285984 18446744073709551615 4351787 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 216835 73395 421 148 0 211764 0
[pid=11261/tid=11263] ppid=11259 vsize=867340 CPUtime=761.99 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 36407 0 0 0 76189 10 0 0 25 0 4 0 529928971 888156160 73395 33554432000 4194304 4797429 140734168285984 18446744073709551615 4425966 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=867340 CPUtime=757.83 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 37828 0 0 0 75772 11 0 0 25 0 4 0 529928971 888156160 73395 33554432000 4194304 4797429 140734168285984 18446744073709551615 4425045 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=867340 CPUtime=761.98 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 37641 0 0 0 76186 12 0 0 25 0 4 0 529928971 888156160 73395 33554432000 4194304 4797429 140734168285984 18446744073709551615 4428788 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.14
Current children cumulated vsize (KiB) 867340

[startup+822.301 s]
/proc/loadavg: 8.05 8.04 7.91 9/184 11287
/proc/meminfo: memFree=30319852/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=870664 CPUtime=3283.85 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 404812 0 0 0 328247 138 0 0 25 0 4 0 529928940 891559936 83297 33554432000 4194304 4797429 140734168285984 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 217666 83297 421 148 0 212595 0
[pid=11261/tid=11263] ppid=11259 vsize=870664 CPUtime=821.99 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 38012 0 0 0 82189 10 0 0 25 0 4 0 529928971 891559936 83297 33554432000 4194304 4797429 140734168285984 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=870664 CPUtime=817.52 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 40600 0 0 0 81740 12 0 0 25 0 4 0 529928971 891559936 83297 33554432000 4194304 4797429 140734168285984 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=870664 CPUtime=821.98 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 38752 0 0 0 82186 12 0 0 25 0 4 0 529928971 891559936 83297 33554432000 4194304 4797429 140734168285984 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3283.85
Current children cumulated vsize (KiB) 870664

[startup+882.3 s]
/proc/loadavg: 8.13 8.06 7.92 9/184 11289
/proc/meminfo: memFree=30329004/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=873068 CPUtime=3523.5 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 434284 0 0 0 352201 149 0 0 25 0 4 0 529928940 894021632 79988 33554432000 4194304 4797429 140734168285984 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 218267 79988 421 148 0 213196 0
[pid=11261/tid=11263] ppid=11259 vsize=873068 CPUtime=881.99 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 40754 0 0 0 88188 11 0 0 25 0 4 0 529928971 894021632 79988 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=873068 CPUtime=877.19 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 41762 0 0 0 87707 12 0 0 25 0 4 0 529928971 894021632 79988 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=873068 CPUtime=881.98 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 41408 0 0 0 88185 13 0 0 25 0 4 0 529928971 894021632 79988 33554432000 4194304 4797429 140734168285984 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3523.5
Current children cumulated vsize (KiB) 873068

[startup+942.307 s]
/proc/loadavg: 8.10 8.06 7.93 9/184 11290
/proc/meminfo: memFree=30311716/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=874736 CPUtime=3763.21 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 456703 0 0 0 376163 158 0 0 25 0 4 0 529928940 895729664 84955 33554432000 4194304 4797429 140734168285984 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 218684 84955 421 148 0 213613 0
[pid=11261/tid=11263] ppid=11259 vsize=874736 CPUtime=942 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 41977 0 0 0 94188 12 0 0 25 0 4 0 529928971 895729664 84955 33554432000 4194304 4797429 140734168285984 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=874736 CPUtime=936.86 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 44582 0 0 0 93673 13 0 0 25 0 4 0 529928971 895729664 84955 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=874736 CPUtime=941.99 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 42498 0 0 0 94185 14 0 0 25 0 4 0 529928971 895729664 84955 33554432000 4194304 4797429 140734168285984 18446744073709551615 4423679 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.21
Current children cumulated vsize (KiB) 874736

[startup+1002.3 s]
/proc/loadavg: 8.17 8.08 7.94 9/184 11292
/proc/meminfo: memFree=30281176/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=875892 CPUtime=4002.86 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 470374 0 0 0 400125 161 0 0 25 0 4 0 529928940 896913408 91849 33554432000 4194304 4797429 140734168285984 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 218973 91849 421 148 0 213902 0
[pid=11261/tid=11263] ppid=11259 vsize=875892 CPUtime=1001.99 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 44818 0 0 0 100187 12 0 0 25 0 4 0 529928971 896913408 91849 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=875892 CPUtime=996.54 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 45619 0 0 0 99640 14 0 0 25 0 4 0 529928971 896913408 91849 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=875892 CPUtime=1001.98 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 44961 0 0 0 100183 15 0 0 25 0 4 0 529928971 896913408 91849 33554432000 4194304 4797429 140734168285984 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4002.86
Current children cumulated vsize (KiB) 875892

[startup+1062.3 s]
/proc/loadavg: 6.74 7.76 7.84 5/175 11311
/proc/meminfo: memFree=30539052/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=876088 CPUtime=4242.53 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 475251 0 0 0 424090 163 0 0 25 0 4 0 529928940 897114112 93268 33554432000 4194304 4797429 140734168285984 18446744073709551615 4495554 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 219022 93268 421 148 0 213951 0
[pid=11261/tid=11263] ppid=11259 vsize=876088 CPUtime=1062 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 45684 0 0 0 106187 13 0 0 25 0 4 0 529928971 897114112 93268 33554432000 4194304 4797429 140734168285984 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=876088 CPUtime=1056.21 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 48504 0 0 0 105606 15 0 0 25 0 4 0 529928971 897114112 93268 33554432000 4194304 4797429 140734168285984 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=876088 CPUtime=1061.99 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 45971 0 0 0 106183 16 0 0 25 0 4 0 529928971 897114112 93268 33554432000 4194304 4797429 140734168285984 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4242.53
Current children cumulated vsize (KiB) 876088

[startup+1122.3 s]
/proc/loadavg: 5.05 7.08 7.60 5/175 11313
/proc/meminfo: memFree=30536536/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=878616 CPUtime=4482.22 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 498870 0 0 0 448047 175 0 0 25 0 4 0 529928940 899702784 94004 33554432000 4194304 4797429 140734168285984 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 219654 94004 421 148 0 214583 0
[pid=11261/tid=11263] ppid=11259 vsize=878616 CPUtime=1122 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 48455 0 0 0 112186 14 0 0 25 0 4 0 529928971 899702784 94004 33554432000 4194304 4797429 140734168285984 18446744073709551615 4425034 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=878616 CPUtime=1115.89 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 50249 0 0 0 111573 16 0 0 25 0 4 0 529928971 899702784 94004 33554432000 4194304 4797429 140734168285984 18446744073709551615 4255091 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=878616 CPUtime=1121.99 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 48728 0 0 0 112182 17 0 0 25 0 4 0 529928971 899702784 94004 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.22
Current children cumulated vsize (KiB) 878616

[startup+1182.3 s]
/proc/loadavg: 4.47 6.55 7.38 5/175 11315
/proc/meminfo: memFree=30522380/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=882808 CPUtime=4721.9 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 519658 0 0 0 472002 188 0 0 25 0 4 0 529928940 903995392 97532 33554432000 4194304 4797429 140734168285984 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 220702 97532 421 148 0 215631 0
[pid=11261/tid=11263] ppid=11259 vsize=882808 CPUtime=1182 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 50057 0 0 0 118185 15 0 0 25 0 4 0 529928971 903995392 97532 33554432000 4194304 4797429 140734168285984 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=882808 CPUtime=1175.56 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 52945 0 0 0 117539 17 0 0 25 0 4 0 529928971 903995392 97532 33554432000 4194304 4797429 140734168285984 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=882808 CPUtime=1181.99 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 50257 0 0 0 118181 18 0 0 25 0 4 0 529928971 903995392 97532 33554432000 4194304 4797429 140734168285984 18446744073709551615 4650663 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4721.9
Current children cumulated vsize (KiB) 882808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.91 s]
/proc/loadavg: 4.34 6.38 7.31 5/175 11315
/proc/meminfo: memFree=30508232/32950928 swapFree=67111404/67111528
[pid=11261] ppid=11259 vsize=882808 CPUtime=4800.23 cores=1,3,5,7
/proc/11261/stat : 11261 (techdemo) R 11259 11261 10804 0 -1 4202496 523090 0 0 0 479833 190 0 0 25 0 4 0 529928940 903995392 100949 33554432000 4194304 4797429 140734168285984 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11261/statm: 220702 100949 421 148 0 215631 0
[pid=11261/tid=11263] ppid=11259 vsize=882808 CPUtime=1201.61 cores=1,3,5,7
/proc/11261/task/11263/stat : 11263 (techdemo) R 11259 11261 10804 0 -1 4202560 50290 0 0 0 120146 15 0 0 25 0 4 0 529928971 903995392 100949 33554432000 4194304 4797429 140734168285984 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11261/tid=11264] ppid=11259 vsize=882808 CPUtime=1195.06 cores=1,3,5,7
/proc/11261/task/11264/stat : 11264 (techdemo) R 11259 11261 10804 0 -1 4202560 53278 0 0 0 119489 17 0 0 25 0 4 0 529928971 903995392 100949 33554432000 4194304 4797429 140734168285984 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11261/tid=11265] ppid=11259 vsize=882808 CPUtime=1201.6 cores=1,3,5,7
/proc/11261/task/11265/stat : 11265 (techdemo) R 11259 11261 10804 0 -1 4202560 50601 0 0 0 120142 18 0 0 25 0 4 0 529928971 903995392 100949 33554432000 4194304 4797429 140734168285984 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 882808

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.28
CPU user time (s): 4798.36
CPU system time (s): 1.92371
CPU usage (%): 399.38
Max. virtual memory (cumulated for all children) (KiB): 990428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.36
system time used= 1.92371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523091
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= 901
involuntary context switches= 28582

runsolver used 1.9777 second user time and 4.5913 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-30 19:08:22
IDJOB=3251063
IDBENCH=88209
IDSOLVER=1584
FILE ID=node120/3251063-1304183302
RUNJOBID= node120-1304183138-11205
PBS_JOBID= 13172454
Free space on /tmp= 73152 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251063-1304183302/watcher-3251063-1304183302 -o /tmp/evaluation-result-3251063-1304183302/solver-3251063-1304183302 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3251063-1304183302.cnf

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

MD5SUM BENCH= bfa662ff57088c54e0febd091ce11e5c
RANDOM SEED=329487923

node120.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.809
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.61
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.809
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.07
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.809
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.82
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.809
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.809
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.78
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.809
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.809
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.82
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.809
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:     32950928 kB
MemFree:      30777828 kB
Buffers:        546056 kB
Cached:        1078528 kB
SwapCached:          8 kB
Active:         805856 kB
Inactive:      1007356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30777828 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:           12852 kB
Writeback:           0 kB
AnonPages:      187856 kB
Mapped:          15924 kB
Slab:           297264 kB
PageTables:       4908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   780000 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= 73156 MiB
End job on node120 at 2011-04-30 19:28:26