Trace number 3266817

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.07 1201.62

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf
MD5SUM1bb1eb2a3bb0b22f560ab6712b727e98
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.385941
Satisfiable
(Un)Satisfiability was proved
Number of variables943
Number of clauses93431
Sum of the clauses size187745
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 293401
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

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-3266817-1304183522.cnf'
0.00/0.00	c -- header says num vars:            943
0.00/0.00	c -- header says num clauses:       93431
0.00/0.07	c -- clauses added:            0 learnts,        93431 normals,            0 xors
0.00/0.07	c -- vars added        943
0.00/0.07	c Parsing time:  0.07 s
0.00/0.07	c  N st     0         0       943        30     93401         0    187745         0   no data   no data  --
0.00/0.07	c asymm  cl-useful: 0/30/30 lits-rem:0 time: 0.00
0.00/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.5M T:  0.10
0.00/0.11	c Calc non-exist non-lernt bins v-fix:     0 done:    943 time:  0.04 s
0.00/0.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.11	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.06 s
0.00/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
0.00/0.14	c Removed useless bin:       0  fixed:     0  bprops:   0.38M  time:  0.04 s
0.36/0.17	c lits-rem:       619  cl-subs:        0  v-elim:    598  v-fix:    0  time:  0.10 s
0.36/0.17	c learnt bin added due to v-elim: 0
0.36/0.17	c Finding binary XORs  T:     0.01 s  found:       0
0.36/0.18	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.36/0.18	c calculated reachability. Time: 0.00
0.36/0.18	c Calc default polars -  time:   0.00 s pos:       0 undec:      30 neg:     913
0.36/0.18	c =========================================================================================
0.36/0.18	c types(t): F = full restart, N = normal restart
0.36/0.18	c types(t): S = simplification begin/end, E = solution found
0.36/0.18	c restart types(rt): st = static, dy = dynamic
0.36/0.18	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.36/0.18	c  B st     0         0       913      2653     89835         0    274886         0   no data   no data  --
1.36/0.41	c Decided on static restart strategy
2.16/0.69	c  N dy    21      4141       913      2653     89835      4028    274883    321665     48.62     12.46  --
4.58/1.24	c  N dy    50      8293       913      2653     89835      5574    274883    304590     82.08     11.29  --
6.96/1.83	c  N dy    79     12384       913      2653     89836      5427    274880    292160     70.36     12.16  --
8.97/2.37	c  N dy   108     16427       913      2653     89841      9283    274880    490268     65.06     11.40  --
11.36/2.94	c  N dy   136     20450       913      2653     89841      7757    274875    439576    102.69     11.46  --
14.95/3.80	c  N dy   164     24532       913      2653     89843     11628    274875    838269     62.12     11.59  --
17.77/4.55	c  N dy   193     28613       913      2653     89844      9019    274875    400216     47.92     11.64  --
18.54/4.77	c  S st   203     30001       913      2653     89844     10366    274875    503094     83.33     11.53  --
18.94/4.84	c  S st   203     30503       913      2653     89845     10864    274875    525111     83.33     11.53  --
18.94/4.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
18.94/4.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.76/5.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P: 20.3M T:  2.94
21.76/5.58	c Calc non-exist non-lernt bins v-fix:     0 done:    913 time:  0.04 s
21.76/5.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
21.76/5.60	c Subs w/ non-existent bins:      0 time:  0.05 s
22.16/5.63	c bin-w-bin subsume rem            0 bins  time:  0.06 s
27.73/7.05	c subs with bin:      236  lits-rem:      4459  v-fix:    0  time:  5.70 s
27.73/7.06	c Removed useless bin:       0  fixed:     0  bprops:   0.36M  time:  0.04 s
38.12/9.62	c lits-rem:      2054  cl-subs:     1498  v-elim:    913  v-fix:    0  time: 10.24 s
38.12/9.62	c learnt bin added due to v-elim: 0
38.12/9.63	c vivif2 --  cl tried     2653 cl shrink     1713 lits rem      19224 time: 0.02
38.12/9.64	c vivif2 --  cl tried     9130 cl shrink      169 lits rem        177 time: 0.04
38.52/9.78	c asymm  cl-useful: 0/720/2653 lits-rem:0 time: 0.58
38.52/9.78	c calculated reachability. Time: 0.00
38.52/9.78	c  N dy   203     30503       913      2653     89847      9130    248037    451888     83.33     11.53  --
38.52/9.78	c  F st   203     30503       913      2653     89847      9130    248037    451888     83.33     11.53  --
40.11/10.14	c Decided on static restart strategy
41.31/10.48	c  N dy   223     34600       913      2653     89849     12993    248037    729489     98.15     11.66  --
44.13/11.13	c  N dy   251     38606       913      2653     89851      9305    248037    422207     35.79     11.88  --
46.11/11.69	c  N dy   279     42652       913      2653     89851     13114    248037    619386     25.34     11.75  --
48.53/12.21	c  S st   301     45755       913      2653     89853     16070    248037    779832     79.47     11.63  --
48.53/12.27	c  S st   301     46257       913      2653     89853     16568    248037    824712     79.47     11.63  --
48.53/12.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
48.53/12.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.69/13.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 34.7M T:  5.10
53.69/13.56	c Calc non-exist non-lernt bins v-fix:     0 done:    913 time:  0.04 s
53.69/13.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.69/13.58	c Subs w/ non-existent bins:      0 time:  0.08 s
54.10/13.62	c bin-w-bin subsume rem            1 bins  time:  0.07 s
60.09/15.14	c subs with bin:        9  lits-rem:        95  v-fix:    0  time:  6.07 s
60.09/15.14	c Removed useless bin:       0  fixed:     0  bprops:   0.36M  time:  0.03 s
70.50/17.71	c lits-rem:      3117  cl-subs:     3393  v-elim:    913  v-fix:    0  time: 10.24 s
70.50/17.71	c learnt bin added due to v-elim: 0
70.50/17.71	c vivif2 --  cl tried     2653 cl shrink        6 lits rem          6 time: 0.00
70.50/17.73	c vivif2 --  cl tried    13166 cl shrink      346 lits rem        355 time: 0.07
71.27/17.90	c asymm  cl-useful: 0/307/2653 lits-rem:0 time: 0.69
71.27/17.90	c calculated reachability. Time: 0.00
71.27/17.90	c  N dy   301     46257       913      2653     89852     13166    248029    682400     79.47     11.63  --
73.67/18.57	c  N dy   330     50337       913      2653     89852      8626    248029    406721     91.45     11.68  --
76.46/19.22	c  N dy   358     54415       913      2653     89853     12540    248029    736135     51.66     11.76  --
79.66/20.06	c  N dy   385     58424       913      2653     89853     16373    248029    911404     47.64     11.76  --
82.45/20.79	c  N dy   414     62558       913      2653     89853     10851    248029    488648     41.92     11.90  --
84.85/21.38	c  N dy   443     66650       913      2653     89854     14791    248029    822014     70.43     11.92  --
87.25/21.98	c  S st   463     69385       913      2653     89855     17382    248029    972053     37.34     11.86  --
87.67/22.07	c  S st   463     69888       913      2653     89855     17883    248029   1012294     37.34     11.86  --
87.67/22.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
87.67/22.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.23/24.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P: 59.8M T:  9.37
97.23/24.43	c Calc non-exist non-lernt bins v-fix:     0 done:    913 time:  0.04 s
97.23/24.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.23/24.45	c Subs w/ non-existent bins:      0 time:  0.08 s
97.23/24.48	c bin-w-bin subsume rem            0 bins  time:  0.07 s
103.22/25.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.00 s
103.22/25.99	c Removed useless bin:       0  fixed:     0  bprops:   0.36M  time:  0.03 s
110.82/27.86	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.10
121.21/30.42	c Added 10 vars  tried: 80000 time: 10.21
121.21/30.47	c ORs :     10 avg-s:  0.0 cl-sh: 12458 l-rem:  12458 b-add:     20 v-rep:   0 cl-rem: 0 avg s: nan T:   10.43
121.21/30.49	c lits-rem:      2461  cl-subs:     1438  v-elim:    913  v-fix:    0  time: 17.94 s
121.21/30.49	c learnt bin added due to v-elim: 0
121.21/30.49	c vivif2 --  cl tried     2663 cl shrink        2 lits rem          2 time: 0.00
121.61/30.51	c vivif2 --  cl tried    16445 cl shrink      214 lits rem        220 time: 0.08
122.01/30.69	c asymm  cl-useful: 0/531/2663 lits-rem:0 time: 0.72
122.01/30.69	c calculated reachability. Time: 0.00
122.01/30.69	c  N dy   463     69888       923      2663     89876     16445    247688    902165     37.34     11.86  --
122.01/30.69	c  F st   463     69888       923      2663     89876     16445    247688    902165     37.34     11.86  --
123.60/31.06	c Decided on static restart strategy
125.60/31.54	c  N dy   486     74478       923      2663     89886     20787    247688   1479888    170.11     12.78  --
128.39/32.24	c  N dy   519     79369       923      2663     89898     14960    247688    963295    182.12     13.94  --
133.98/33.60	c  N dy   554     84535       923      2663     89898     19906    247688   1750462    161.77     15.28  --
139.98/35.15	c  N dy   591     90051       923      2663     89900     13768    247688    824690    152.10     16.51  --
146.37/36.75	c  N dy   630     95829       923      2663     89900     19250    247688   1667195    141.50     17.95  --
155.16/38.96	c  N dy   672    102087       923      2663     89900     12851    247688    577845    173.39     19.02  --
157.56/39.51	c  S st   691    104833       923      2663     89900     15380    247688   1047661    240.38     19.50  --
157.97/39.61	c  S st   691    105333       923      2663     89901     15879    247688   1078732    240.38     19.50  --
157.97/39.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
157.97/39.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
171.94/43.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   1027 BRemL:     23 BRemN:      0 CBin:       0 P: 60.0M T: 14.29
172.34/43.20	c Calc non-exist non-lernt bins v-fix:     0 done:    923 time:  0.04 s
172.34/43.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
172.34/43.22	c Subs w/ non-existent bins:      0 time:  0.08 s
172.34/43.26	c bin-w-bin subsume rem            0 bins  time:  0.06 s
178.33/44.76	c subs with bin:        0  lits-rem:        28  v-fix:    0  time:  6.01 s
178.33/44.76	c Removed useless bin:       0  fixed:     0  bprops:   0.25M  time:  0.03 s
184.34/46.25	c ORs :     21 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 6 avg s: 3.0 T:    0.09
184.34/46.26	c lits-rem:      2787  cl-subs:     1899  v-elim:   1284  v-fix:    0  time:  5.98 s
184.34/46.26	c learnt bin added due to v-elim: 0
184.34/46.26	c vivif2 --  cl tried     3196 cl shrink      290 lits rem        291 time: 0.01
184.34/46.28	c vivif2 --  cl tried    13980 cl shrink      244 lits rem        304 time: 0.07
185.52/46.56	c asymm  cl-useful: 0/292/2906 lits-rem:0 time: 1.10
185.52/46.56	c calculated reachability. Time: 0.00
185.52/46.56	c  N dy   691    105333       920      2906     90643     13980    247901    835939    240.38     19.50  --
193.14/48.45	c  N dy   737    112144       920      2906     90643     20394    247901   2022376    189.16     20.71  --
205.91/51.67	c  N dy   786    119444       920      2906     90643     14066    247901    713311    193.89     22.36  --
213.49/53.54	c  N dy   837    127080       920      2906     90643     21281    247901   1861872     51.91     23.95  --
225.47/56.54	c  N dy   891    135268       920      2906     90643     14781    247901    581421     75.72     24.61  --
233.86/58.61	c  N dy   949    143907       920      2906     90644     22905    247901   2084034    241.21     25.53  --
245.05/61.41	c  N dy  1011    153220       920      2906     90646     16628    247901    862578    173.51     26.34  --
249.45/62.59	c  S st  1043    157999       920      2906     90646     21177    247901   1610120    131.50     26.89  --
250.26/62.75	c  S st  1043    158500       920      2906     90646     21677    247901   1639693    131.50     26.89  --
250.26/62.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
250.26/62.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
267.84/67.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      1 BRemL:      1 BRemN:    294 CBin:       0 P: 60.0M T: 17.73
267.84/67.20	c Calc non-exist non-lernt bins v-fix:     0 done:    920 time:  0.04 s
267.84/67.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
268.24/67.23	c Subs w/ non-existent bins:      0 time:  0.10 s
268.24/67.27	c bin-w-bin subsume rem          287 bins  time:  0.06 s
274.21/68.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.93 s
274.21/68.76	c Removed useless bin:       1  fixed:     0  bprops:   0.27M  time:  0.03 s
285.00/71.41	c ORs :     21 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.10
285.00/71.42	c lits-rem:      2806  cl-subs:     2377  v-elim:    908  v-fix:    0  time: 10.63 s
285.00/71.42	c learnt bin added due to v-elim: 0
285.00/71.42	c vivif2 --  cl tried     2906 cl shrink        3 lits rem          3 time: 0.01
285.00/71.45	c vivif2 --  cl tried    19300 cl shrink      402 lits rem        488 time: 0.10
286.19/71.73	c asymm  cl-useful: 0/322/2906 lits-rem:0 time: 1.13
286.19/71.74	c calculated reachability. Time: 0.00
286.19/71.74	c  N dy  1043    158500       920      2906     90065     19299    247308   1284415    131.50     26.89  --
299.38/75.06	c  N dy  1110    168672       920      2906     90065     28845    247308   2870849    204.90     28.00  --
313.76/78.66	c  N dy  1182    179492       920      2906     90065     23186    247308   1925502    208.28     29.04  --
336.53/84.32	c  N dy  1259    190990       950      2906     92637     17463    248204    710983    195.38     29.96  --
354.91/89.00	c  N dy  1340    203285       950      2906     92637     29115    248204   2862952    183.68     30.02  --
386.07/96.75	c  N dy  1425    216341       950      2906     92638     23328    248204   1807914    226.12     30.64  --
412.44/103.38	c  N dy  1517    230246       950      2906     92638     36455    248204   4269239    198.53     31.30  --
422.05/105.77	c  S st  1567    237750       950      2906     93703     24777    248700   1882574    240.31     31.93  --
423.22/106.00	c  S st  1567    238250       950      2906     93703     25275    248700   1902985    240.31     31.93  --
423.22/106.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
423.22/106.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
443.62/111.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      4 BRemL:     78 BRemN:     18 CBin:       0 P: 60.0M T: 20.72
444.02/111.21	c Calc non-exist non-lernt bins v-fix:     0 done:    950 time:  0.04 s
444.02/111.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
444.02/111.24	c Subs w/ non-existent bins:    648 time:  0.13 s
444.02/111.25	c Replacing        1 vars Replaced     1771 lits Time:     0.06 s 
444.40/111.30	c bin-w-bin subsume rem          621 bins  time:  0.06 s
450.40/112.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.02 s
450.40/112.82	c Removed useless bin:     205  fixed:     0  bprops:   0.16M  time:  0.02 s
461.20/115.59	c ORs :     21 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
461.60/115.61	c lits-rem:      1367  cl-subs:     1906  v-elim:    908  v-fix:    0  time: 11.14 s
461.60/115.61	c learnt bin added due to v-elim: 0
461.60/115.61	c vivif2 --  cl tried     2906 cl shrink        0 lits rem          0 time: 0.01
461.60/115.63	c vivif2 --  cl tried    22721 cl shrink       12 lits rem         12 time: 0.10
463.18/116.00	c asymm  cl-useful: 0/190/2906 lits-rem:0 time: 1.47
463.18/116.01	c calculated reachability. Time: 0.00
463.18/116.01	c  N dy  1567    238250       949      2906     92788     22715    248018   1548011    240.31     31.93  --
484.75/121.49	c  N dy  1670    253605       949      2906     92788     37078    248018   3825556    158.74     32.59  --
503.92/126.29	c  N dy  1781    269911       949      2906     92788     32827    248018   2831225    145.44     33.13  --
530.68/132.99	c  N dy  1897    287218       949      2906     92789     28570    248018   2198899    166.43     34.09  --
561.85/140.70	c  N dy  2021    305651       949      2906     92792     24293    248018   1248910    147.87     34.26  --
592.22/148.39	c  N dy  2151    325181       989      2906     96100     43548    249058   4232626    219.69     35.12  --
618.98/155.03	c  N dy  2286    345275       989      2906     96100     39413    249058   3492658    171.10     35.53  --
640.56/160.49	c  S st  2368    357376       989      2906     96100     27117    249058   1458070    112.00     35.94  --
640.96/160.59	c  S st  2368    357880       989      2906     96100     27616    249058   1503407    112.00     35.94  --
640.96/160.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
640.96/160.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
655.33/164.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    987 BRemL:    175 BRemN:    810 CBin:       0 P: 60.0M T: 14.11
655.33/164.14	c Calc non-exist non-lernt bins v-fix:     0 done:    989 time:  0.05 s
655.33/164.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
655.33/164.17	c Subs w/ non-existent bins:    444 time:  0.13 s
655.73/164.21	c bin-w-bin subsume rem          420 bins  time:  0.06 s
662.13/165.84	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  6.50 s
662.13/165.85	c Removed useless bin:     113  fixed:     0  bprops:   0.13M  time:  0.02 s
671.32/168.14	c ORs :     21 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.10
671.32/168.16	c lits-rem:      1451  cl-subs:     1952  v-elim:    908  v-fix:    0  time:  9.23 s
671.32/168.16	c learnt bin added due to v-elim: 0
671.32/168.16	c vivif2 --  cl tried     2906 cl shrink        1 lits rem          1 time: 0.00
671.32/168.19	c vivif2 --  cl tried    25219 cl shrink      327 lits rem        397 time: 0.12
672.54/168.42	c asymm  cl-useful: 0/263/2906 lits-rem:0 time: 0.92
672.54/168.42	c calculated reachability. Time: 0.00
672.54/168.42	c  N dy  2368    357880       989      2906     95572     25216    247211   1284309    112.00     35.94  --
703.30/176.15	c  N dy  2503    377893       989      2906     95577     44517    247217   4366379    176.34     36.53  --
734.05/183.85	c  N dy  2638    397917       989      2906     95578     38915    247217   3204321    140.85     37.12  --
766.40/191.95	c  N dy  2773    418038       989      2906     95578     32463    247217   2227381    217.03     37.48  --
806.36/201.93	c  N dy  2907    438160      1033      2906     99248     52555    248691   5288612    177.68     38.02  --
834.32/208.90	c  N dy  3041    458257      1033      2906     99262     44614    248691   3901075    157.02     38.44  --
870.28/217.90	c  N dy  3175    478337      1033      2906     99269     35801    248691   2308876    191.91     39.02  --
906.22/226.94	c  N dy  3309    498406      1033      2906    100382     55157    249079   5390466    167.72     39.34  --
934.59/234.03	c  N dy  3444    518497      1033      2906    100382     45470    249079   3721067    159.21     39.56  --
972.94/243.69	c  S st  3567    536820      1033      2906    100391     33335    249079   1719798    172.92     39.90  --
973.74/243.81	c  S st  3567    537321      1033      2906    100391     33836    249079   1751116    172.92     39.90  --
973.74/243.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
973.74/243.82	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
988.94/247.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:    241 BRemN:    804 CBin:       0 P: 60.0M T: 15.43
988.94/247.69	c Calc non-exist non-lernt bins v-fix:     0 done:   1033 time:  0.05 s
988.94/247.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
989.31/247.73	c Subs w/ non-existent bins:    846 time:  0.16 s
989.31/247.74	c Replacing        2 vars Replaced       31 lits Time:     0.04 s 
989.31/247.79	c bin-w-bin subsume rem          785 bins  time:  0.06 s
995.71/249.37	c subs with bin:       10  lits-rem:         2  v-fix:    0  time:  6.32 s
995.71/249.37	c Removed useless bin:      85  fixed:     0  bprops:   0.12M  time:  0.02 s
1006.89/252.13	c ORs :     21 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.09
1025.27/256.70	c Added 11 vars  tried: 80000 time: 18.24
1025.27/256.79	c ORs :     11 avg-s:  0.0 cl-sh: 16323 l-rem:  16323 b-add:     22 v-rep:   0 cl-rem: 3 avg s: 3.0 T:   18.60
1025.67/256.81	c lits-rem:      1695  cl-subs:     2299  v-elim:    908  v-fix:    0  time: 29.70 s
1025.67/256.81	c learnt bin added due to v-elim: 0
1025.67/256.81	c vivif2 --  cl tried     2917 cl shrink        0 lits rem          0 time: 0.00
1025.67/256.84	c vivif2 --  cl tried    30678 cl shrink      264 lits rem        266 time: 0.14
1026.87/257.11	c asymm  cl-useful: 0/270/2917 lits-rem:0 time: 1.10
1026.87/257.12	c calculated reachability. Time: 0.00
1026.87/257.12	c  N dy  3567    537321      1042      2917     98677     30497    246952   1459502    172.92     39.90  --
1026.87/257.12	c  F st  3567    537321      1042      2917     98677     30497    246952   1459502    172.92     39.90  --
1028.48/257.53	c Decided on static restart strategy
1052.83/263.60	c  N dy  3694    557346      1042      2917     98773     49303    246952   3461413    147.36     39.40  --
1089.60/272.88	c  N dy  3826    577457      1042      2917     98787     38541    246952   2175328    126.38     38.94  --
1131.52/283.34	c  N dy  3959    597566      1042      2917     98793     57732    246952   4810809    139.34     38.51  --
1170.68/293.15	c  N dy  4091    617602      1042      2917     98794     45664    246952   3683427    211.16     38.14  --
1218.62/305.11	c  N dy  4223    637663      1064      2917    101167     33141    247650   1401571    167.64     37.76  --
1249.38/312.82	c  N dy  4355    657806      1064      2917    101174     52434    247650   3709072    102.27     37.48  --
1294.12/324.06	c  N dy  4485    677928      1064      2917    102101     38453    248038   2079282    198.31     37.09  --
1322.91/331.21	c Finding binary XORs  T:     0.01 s  found:       2
1339.67/335.47	c  N dy  4614    697988      1064      2917    102101     57823    248038   4712648    138.73     36.68  --
1380.04/345.53	c  N dy  4746    718081      1108      2917    104470     42675    248572   2356951    132.81     36.31  --
1428.75/357.78	c  N dy  4878    738088      1108      2917    104472     62020    248572   4521485    110.12     36.04  --
1466.31/367.10	c  N dy  5011    758144      1108      2917    105246     45457    248572   1909068     58.86     35.80  --
1493.88/374.04	c  N dy  5145    778187      1108      2917    105246     64698    248572   4339922    105.70     35.58  --
1530.62/383.29	c  N dy  5278    798318      1108      2917    105256     47574    248572   2748543    109.68     35.40  --
1542.99/386.36	c  S st  5330    805981      1108      2917    105256     54877    248572   3699609     99.63     35.37  --
1543.79/386.56	c  S st  5330    806486      1108      2917    105256     55379    248572   3734916     99.63     35.37  --
1543.79/386.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1543.79/386.57	c Cache  BProp: 0 Set: 0 BXProp: 3 T: 0.00
1564.60/391.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      1 BRemL:   1321 BRemN:   1541 CBin:       0 P: 60.1M T: 20.75
1564.60/391.78	c Calc non-exist non-lernt bins v-fix:     0 done:   1108 time:  0.06 s
1564.60/391.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1564.98/391.85	c Subs w/ non-existent bins:    679 time:  0.29 s
1564.98/391.87	c Replacing        7 vars Replaced      314 lits Time:     0.06 s 
1565.38/391.95	c bin-w-bin subsume rem          798 bins  time:  0.06 s
1572.17/393.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.95 s
1572.57/393.70	c Removed useless bin:      37  fixed:     0  bprops:   0.11M  time:  0.02 s
1613.30/403.91	c ORs :     45 avg-s:  2.0 cl-sh:    30 l-rem:     30 b-add:      2 v-rep:   0 cl-rem: 4 avg s: 3.0 T:    0.21
1613.30/403.95	c lits-rem:      3088  cl-subs:    10710  v-elim:   1588  v-fix:    0  time: 40.93 s
1613.30/403.95	c learnt bin added due to v-elim: 0
1613.30/403.95	c vivif2 --  cl tried     3613 cl shrink      335 lits rem        335 time: 0.01
1613.71/404.04	c vivif2 --  cl tried    43988 cl shrink     3186 lits rem       4132 time: 0.38
1614.91/404.37	c asymm  cl-useful: 0/105/3278 lits-rem:0 time: 1.32
1614.91/404.38	c calculated reachability. Time: 0.00
1614.91/404.38	c  N dy  5330    806486      1098      3278    101154     43974    245734   2683392     99.63     35.37  --
1660.05/415.60	c  N dy  5463    826605      1146      3278    103975     63224    245932   6279576    265.75     35.53  --
1719.58/430.59	c  N dy  5594    846680      1146      3278    104599     45465    245932   3032291    169.84     35.64  --
1765.52/442.09	c  N dy  5726    866737      1146      3278    104600     64650    245932   5952145    149.71     35.67  --
1811.45/453.57	c  N dy  5858    886818      1146      3278    104604     45895    245932   2413018     98.97     35.50  --
1849.82/463.15	c  N dy  5989    906924      1146      3278    104604     65134    245932   5217757    172.44     35.40  --
1896.15/474.75	c  N dy  6119    926929      1146      3278    104604     45076    245932   2424599    116.41     35.43  --
1944.49/486.89	c  N dy  6249    947018      1146      3278    104604     64209    245932   5023573    139.43     35.40  --
2023.19/506.56	c  N dy  6379    967100      1146      3278    104604     43282    245932   2022363    108.21     35.55  --
2071.52/518.63	c  N dy  6508    987152      1146      3278    104604     62501    245932   4453567     89.21     35.51  --
2145.43/537.12	c  N dy  6638   1007178      1146      3278    104604     81664    245932   6836014     99.86     35.48  --
2179.39/545.68	c  N dy  6770   1027268      1146      3278    104604     59765    245932   4581215    203.80     35.45  --
2226.12/557.35	c  N dy  6902   1047298      1146      3278    104604     78973    245932   6787718     61.16     35.33  --
2258.50/565.45	c  N dy  7034   1067312      1146      3278    104604     56128    245932   3550854    155.00     35.30  --
2301.22/576.15	c  N dy  7165   1087340      1146      3278    104604     75304    245932   5983109     92.61     35.30  --
2347.16/587.68	c  N dy  7297   1107430      1146      3278    104604     51487    245932   2761573    156.89     35.24  --
2395.50/599.74	c  N dy  7427   1127545      1146      3278    104604     70790    245932   5416068    149.35     35.27  --
2439.06/610.65	c  N dy  7558   1147593      1146      3278    104604     45809    245932   1952584    142.30     35.33  --
2476.59/620.05	c  N dy  7689   1167715      1146      3278    104604     64892    245932   4821770    172.50     35.29  --
2552.09/638.92	c  N dy  7819   1187832      1146      3278    104604     84011    245932   7731307    131.80     35.29  --
2600.03/650.95	c  N dy  7951   1207874      1146      3278    104604     58398    245932   3838150    151.21     35.30  --
2603.22/651.71	c  S st  7964   1209730      1146      3278    104604     60187    245932   4115396    144.92     35.31  --
2604.02/651.99	c  S st  7964   1210232      1146      3278    104604     60686    245932   4138995    144.92     35.31  --
2604.42/652.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2604.42/652.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2626.80/657.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:    621 BRemN:   1488 CBin:       0 P: 60.1M T: 22.48
2626.80/657.64	c Calc non-exist non-lernt bins v-fix:     0 done:   1146 time:  0.05 s
2626.80/657.64	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
2627.20/657.72	c Subs w/ non-existent bins:      0 time:  0.32 s
2627.20/657.74	c Replacing        2 vars Replaced       31 lits Time:     0.06 s 
2627.61/657.83	c bin-w-bin subsume rem          302 bins  time:  0.06 s
2635.18/659.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.86 s
2635.58/659.80	c Removed useless bin:       3  fixed:     0  bprops:   0.11M  time:  0.02 s
2669.54/668.39	c ORs :     45 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.28
2707.11/677.75	c Added 12 vars  tried: 80000 time: 37.36
2709.08/678.28	c ORs :     12 avg-s:  0.0 cl-sh: 42555 l-rem:  42555 b-add:     24 v-rep:   0 cl-rem: 6 avg s: 3.0 T:   39.50
2709.48/678.32	c lits-rem:       835  cl-subs:     6153  v-elim:    903  v-fix:    0  time: 73.98 s
2709.48/678.32	c learnt bin added due to v-elim: 0
2709.48/678.32	c vivif2 --  cl tried     3289 cl shrink        0 lits rem          0 time: 0.00
2709.48/678.39	c vivif2 --  cl tried    54528 cl shrink      152 lits rem        466 time: 0.28
2711.10/678.71	c asymm  cl-useful: 0/106/3289 lits-rem:0 time: 1.28
2711.10/678.72	c calculated reachability. Time: 0.00
2711.10/678.72	c  N dy  7964   1210232      1156      3289    102210     54528    242533   3295862    144.92     35.31  --
2745.44/687.37	c  N dy  8097   1230286      1156      3289    102253     73762    242533   5286807     95.33     35.18  --
2795.00/699.78	c  N dy  8229   1250364      1156      3289    102288     47200    242533   1939986    125.20     35.20  --
2822.14/706.54	c  N dy  8362   1270431      1156      3289    102289     66441    242533   4572194    126.67     35.28  --
2874.46/719.68	c  N dy  8495   1290531      1156      3289    103594     85838    242533   7221708     58.97     35.37  --
2915.61/730.00	c  N dy  8627   1310672      1156      3289    103599     58179    242533   2731141     53.49     35.26  --
2950.77/738.76	c  N dy  8760   1330825      1204      3289    105815     77550    242733   4820882    121.24     35.24  --
2997.90/750.56	c  N dy  8893   1350904      1204      3289    105817     48949    242733   1819240     69.90     35.31  --
3020.67/756.26	c  N dy  9025   1370916      1204      3289    105817     68307    242733   3737681    106.67     35.28  --
3056.63/765.25	c  N dy  9159   1391009      1204      3289    106369     87710    242733   6673315    135.38     35.39  --
3097.37/775.40	c  N dy  9292   1411110      1226      3289    107357     58328    242873   2549506    108.93     35.21  --
3129.33/783.45	c  N dy  9426   1431144      1226      3289    107358     77528    242873   5205493    164.40     35.31  --
3186.07/797.68	c  N dy  9559   1451181      1226      3289    107358     96721    242873   7534745     83.81     35.35  --
3218.80/805.85	c  N dy  9691   1471292      1226      3289    107378     65926    242873   3059417     86.82     35.38  --
3253.57/814.57	c  N dy  9823   1491333      1248      3289    107965     85200    242961   4956134    100.36     35.38  --
3303.10/826.92	c  N dy  9954   1511420      1248      3289    107966     53511    242961   2097187    186.36     35.42  --
3328.28/833.21	c  N dy 10088   1531478      1248      3289    107966     72857    242961   4586145     66.87     35.41  --
3375.04/844.95	c  N dy 10220   1551601      1248      3289    108012     92293    242961   6195194     72.23     35.34  --
3402.18/851.78	c Finding binary XORs  T:     0.02 s  found:       3
3419.75/856.13	c  N dy 10353   1571715      1248      3289    108012     59564    242961   2748116     88.33     35.32  --
3458.52/865.89	c  N dy 10485   1591788      1248      3289    108012     78957    242961   5016340    107.27     35.35  --
3517.23/880.58	c  N dy 10617   1611818      1248      3289    108012     98244    242961   7231396    115.85     35.38  --
3557.18/890.57	c  N dy 10747   1631923      1248      3289    108012     64634    242961   3445516    146.25     35.44  --
3599.15/901.09	c  N dy 10879   1652056      1248      3289    108012     84035    242961   5350886     67.50     35.49  --
3651.88/914.28	c  N dy 11010   1672070      1248      3289    108012    103356    242961   7696829    152.71     35.57  --
3683.82/922.22	c  N dy 11143   1692149      1248      3289    108012     68747    242961   3596588    108.90     35.58  --
3722.58/931.95	c  S st 11262   1710235      1248      3289    108012     86180    242961   5591405     78.83     35.58  --
3723.78/932.21	c  S st 11262   1710735      1248      3289    108012     86678    242961   5617029     78.83     35.58  --
3723.78/932.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3723.78/932.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3747.74/938.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:   2514 BRemN:     94 CBin:       0 P: 60.1M T: 24.25
3748.16/938.32	c Calc non-exist non-lernt bins v-fix:     0 done:   1248 time:  0.06 s
3748.16/938.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3748.56/938.44	c Subs w/ non-existent bins:     26 time:  0.51 s
3748.56/938.46	c Replacing        3 vars Replaced       48 lits Time:     0.08 s 
3748.94/938.58	c bin-w-bin subsume rem           19 bins  time:  0.07 s
3757.73/940.74	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  8.63 s
3757.73/940.74	c Removed useless bin:       0  fixed:     0  bprops:   0.11M  time:  0.02 s
3903.13/977.17	c ORs :     78 avg-s:  2.0 cl-sh:   329 l-rem:    329 b-add:      2 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    0.63
3949.87/988.82	c Added 13 vars  tried: 80000 time: 46.51
3953.86/989.82	c ORs :     13 avg-s:  0.0 cl-sh: 61435 l-rem:  61435 b-add:     26 v-rep:   0 cl-rem: 10 avg s: 3.0 T:   50.51
3953.86/989.87	c lits-rem:      1194  cl-subs:    11985  v-elim:   1431  v-fix:    0  time: 196.23 s
3953.86/989.87	c learnt bin added due to v-elim: 0
3953.86/989.87	c vivif2 --  cl tried     3515 cl shrink       69 lits rem         69 time: 0.01
3954.26/989.99	c vivif2 --  cl tried    74657 cl shrink     2016 lits rem       3021 time: 0.45
3955.45/990.26	c asymm  cl-useful: 0/100/3447 lits-rem:0 time: 1.07
3955.45/990.26	c calculated reachability. Time: 0.00
3955.45/990.26	c  N dy 11262   1710735      1257      3447    105243     74655    242555   4227613     78.83     35.58  --
4001.00/1001.68	c  N dy 11393   1730790      1257      3447    105244     94010    242555   6697139    175.32     35.47  --
4046.95/1013.18	c  N dy 11525   1750884      1257      3447    105246     58667    242555   2343614    105.20     35.42  --
4089.67/1023.84	c  N dy 11657   1770954      1257      3447    105246     78070    242555   4930087    125.04     35.38  --
4152.82/1039.68	c  N dy 11788   1791087      1276      3447    106937     97432    242629   7199629     67.85     35.30  --
4219.12/1056.21	c  N dy 11919   1811155      1276      3447    106959     60933    242629   2638361    155.69     35.27  --
4262.68/1067.14	c  N dy 12048   1831196      1276      3447    106959     80208    242629   5114537     98.00     35.24  --
4326.98/1083.21	c  N dy 12177   1851320      1279      3447    107140     99570    242645   7656957    147.16     35.22  --
4412.86/1104.75	c  N dy 12307   1871332      1279      3447    107178     62158    242645   2665795    135.13     35.28  --
4456.80/1115.78	c  N dy 12436   1891358      1279      3447    107179     81471    242645   5146671    135.64     35.31  --
4531.51/1134.43	c  N dy 12564   1911390      1279      3447    107179    100683    242645   7409001    126.16     35.33  --
4602.64/1152.25	c  N dy 12693   1931432      1298      3447    107685     62143    242725   2491903     92.70     35.29  --
4635.82/1160.55	c  N dy 12823   1951473      1298      3447    107685     81475    242725   4514115    141.31     35.24  --
4705.72/1178.04	c  N dy 12953   1971550      1298      3447    107685    100944    242725   7259889    125.54     35.34  --
4776.04/1195.68	c  N dy 13084   1991565      1298      3447    107687     61403    242725   2341558    115.24     35.35  --

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.93 8.00 8.04 5/180 14087
/proc/meminfo: memFree=30976844/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 1091 0 0 0 0 0 0 0 25 0 1 0 529950698 52465664 1026 33554432000 4194304 4797429 140733316683376 18446744073709551615 210204316161 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/14087/statm: 12809 1026 348 148 0 7738 0

[startup+0.150464 s]
/proc/loadavg: 7.93 8.00 8.04 5/180 14087
/proc/meminfo: memFree=30976844/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=680960 CPUtime=0.36 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 4350 0 0 0 36 0 0 0 25 0 4 0 529950698 697303040 4269 33554432000 4194304 4797429 140733316683376 18446744073709551615 4503802 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 170240 4269 399 148 0 165169 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 680960

[startup+0.206363 s]
/proc/loadavg: 7.93 8.00 8.04 5/180 14087
/proc/meminfo: memFree=30976844/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=681632 CPUtime=0.59 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 5646 0 0 0 58 1 0 0 25 0 4 0 529950698 697991168 5553 33554432000 4194304 4797429 140733316683376 18446744073709551615 210204752415 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 170408 5554 409 148 0 165337 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 681632

[startup+0.300593 s]
/proc/loadavg: 7.93 8.00 8.04 5/180 14087
/proc/meminfo: memFree=30976844/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=681896 CPUtime=0.96 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 6213 0 0 0 95 1 0 0 25 0 4 0 529950698 698261504 6118 33554432000 4194304 4797429 140733316683376 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 170474 6118 409 148 0 165403 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 681896

[startup+0.700526 s]
/proc/loadavg: 7.93 8.00 8.04 5/180 14087
/proc/meminfo: memFree=30976844/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=682576 CPUtime=2.56 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 7685 0 0 0 255 1 0 0 25 0 4 0 529950698 698957824 7585 33554432000 4194304 4797429 140733316683376 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 170644 7585 411 148 0 165573 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 682576

[startup+1.50039 s]
/proc/loadavg: 7.93 8.00 8.04 9/184 14091
/proc/meminfo: memFree=30946552/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=688772 CPUtime=5.76 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 10750 0 0 0 574 2 0 0 25 0 4 0 529950698 705302528 8318 33554432000 4194304 4797429 140733316683376 18446744073709551615 4389738 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 172193 8318 412 148 0 167122 0
[pid=14087/tid=14089] ppid=14085 vsize=688772 CPUtime=1.41 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 1786 0 0 0 141 0 0 0 20 0 4 0 529950705 705302528 8318 33554432000 4194304 4797429 140733316683376 18446744073709551615 210204343953 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=688772 CPUtime=1.41 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 2007 0 0 0 141 0 0 0 25 0 4 0 529950705 705302528 8318 33554432000 4194304 4797429 140733316683376 18446744073709551615 4351647 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=688772 CPUtime=1.41 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 2099 0 0 0 141 0 0 0 20 0 4 0 529950705 705302528 8318 33554432000 4194304 4797429 140733316683376 18446744073709551615 4415763 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 688772

[startup+3.10113 s]
/proc/loadavg: 7.93 8.00 8.04 9/184 14091
/proc/meminfo: memFree=30938740/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=690344 CPUtime=12.16 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 14771 0 0 0 1213 3 0 0 25 0 4 0 529950698 706912256 10841 33554432000 4194304 4797429 140733316683376 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 172586 10841 415 148 0 167515 0
[pid=14087/tid=14089] ppid=14085 vsize=690344 CPUtime=3.01 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 2485 0 0 0 301 0 0 0 25 0 4 0 529950705 706912256 10841 33554432000 4194304 4797429 140733316683376 18446744073709551615 4506622 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=690344 CPUtime=3.01 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 2986 0 0 0 301 0 0 0 25 0 4 0 529950705 706912256 10841 33554432000 4194304 4797429 140733316683376 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=690344 CPUtime=3 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 2707 0 0 0 300 0 0 0 25 0 4 0 529950705 706912256 10841 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 690344

[startup+6.30059 s]
/proc/loadavg: 7.93 8.00 8.04 9/184 14091
/proc/meminfo: memFree=30924480/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=695136 CPUtime=24.93 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 18372 0 0 0 2490 3 0 0 25 0 4 0 529950698 711819264 13433 33554432000 4194304 4797429 140733316683376 18446744073709551615 4520280 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 173784 13433 416 148 0 168713 0
[pid=14087/tid=14089] ppid=14085 vsize=695136 CPUtime=6.21 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 2747 0 0 0 621 0 0 0 25 0 4 0 529950705 711819264 13433 33554432000 4194304 4797429 140733316683376 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=695136 CPUtime=6.21 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 3239 0 0 0 621 0 0 0 25 0 4 0 529950705 711819264 13433 33554432000 4194304 4797429 140733316683376 18446744073709551615 210204306164 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=695136 CPUtime=6.19 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 3679 0 0 0 619 0 0 0 25 0 4 0 529950705 711819264 13433 33554432000 4194304 4797429 140733316683376 18446744073709551615 4524442 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.93
Current children cumulated vsize (KiB) 695136

[startup+12.7005 s]
/proc/loadavg: 7.94 8.00 8.04 9/184 14092
/proc/meminfo: memFree=30916576/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=696512 CPUtime=50.5 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 21727 0 0 0 5046 4 0 0 25 0 4 0 529950698 713228288 13996 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429177 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 174128 13996 418 148 0 169057 0
[pid=14087/tid=14089] ppid=14085 vsize=696512 CPUtime=12.61 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 3499 0 0 0 1260 1 0 0 25 0 4 0 529950705 713228288 13996 33554432000 4194304 4797429 140733316683376 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=696512 CPUtime=12.61 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 3707 0 0 0 1261 0 0 0 25 0 4 0 529950705 713228288 13996 33554432000 4194304 4797429 140733316683376 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=696512 CPUtime=12.55 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 4042 0 0 0 1255 0 0 0 25 0 4 0 529950705 713228288 13996 33554432000 4194304 4797429 140733316683376 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 696512

[startup+25.5004 s]
/proc/loadavg: 7.95 8.00 8.03 9/184 14092
/proc/meminfo: memFree=30902280/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=702384 CPUtime=101.62 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 27754 0 0 0 10157 5 0 0 25 0 4 0 529950698 719241216 16679 33554432000 4194304 4797429 140733316683376 18446744073709551615 4520256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 175596 16679 418 148 0 170525 0
[pid=14087/tid=14089] ppid=14085 vsize=702384 CPUtime=25.41 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 4172 0 0 0 2540 1 0 0 25 0 4 0 529950705 719241216 16679 33554432000 4194304 4797429 140733316683376 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=702384 CPUtime=25.41 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 4398 0 0 0 2541 0 0 0 25 0 4 0 529950705 719241216 16679 33554432000 4194304 4797429 140733316683376 18446744073709551615 4520288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=702384 CPUtime=25.29 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 4830 0 0 0 2528 1 0 0 25 0 4 0 529950705 719241216 16679 33554432000 4194304 4797429 140733316683376 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 702384

[startup+51.1011 s]
/proc/loadavg: 8.05 8.01 8.04 9/184 14093
/proc/meminfo: memFree=30875952/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=709032 CPUtime=203.9 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 41359 0 0 0 20382 8 0 0 25 0 4 0 529950698 726048768 21199 33554432000 4194304 4797429 140733316683376 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 177258 21199 419 148 0 172187 0
[pid=14087/tid=14089] ppid=14085 vsize=709032 CPUtime=51.01 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 5303 0 0 0 5100 1 0 0 25 0 4 0 529950705 726048768 21199 33554432000 4194304 4797429 140733316683376 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=709032 CPUtime=51.01 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 5465 0 0 0 5100 1 0 0 25 0 4 0 529950705 726048768 21199 33554432000 4194304 4797429 140733316683376 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=709032 CPUtime=50.77 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 6055 0 0 0 5076 1 0 0 25 0 4 0 529950705 726048768 21199 33554432000 4194304 4797429 140733316683376 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 709032

[startup+102.301 s]
/proc/loadavg: 8.14 8.04 8.04 9/184 14094
/proc/meminfo: memFree=30842084/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=721668 CPUtime=408.46 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 70982 0 0 0 40832 14 0 0 25 0 4 0 529950698 738988032 25934 33554432000 4194304 4797429 140733316683376 18446744073709551615 210204344006 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 180417 25934 421 148 0 175346 0
[pid=14087/tid=14089] ppid=14085 vsize=721668 CPUtime=102.21 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 6755 0 0 0 10220 1 0 0 25 0 4 0 529950705 738988032 25934 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=721668 CPUtime=102.22 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 7273 0 0 0 10221 1 0 0 25 0 4 0 529950705 738988032 25934 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=721668 CPUtime=101.72 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 7702 0 0 0 10170 2 0 0 25 0 4 0 529950705 738988032 25934 33554432000 4194304 4797429 140733316683376 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.46
Current children cumulated vsize (KiB) 721668

[startup+162.301 s]
/proc/loadavg: 8.16 8.06 8.05 9/184 14095
/proc/meminfo: memFree=30828124/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=728160 CPUtime=648.15 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 103994 0 0 0 64792 23 0 0 25 0 4 0 529950698 745635840 26682 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429177 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 182040 26682 423 148 0 176969 0
[pid=14087/tid=14089] ppid=14085 vsize=728160 CPUtime=162.2 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 8726 0 0 0 16218 2 0 0 25 0 4 0 529950705 745635840 26682 33554432000 4194304 4797429 140733316683376 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=728160 CPUtime=162.21 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 9225 0 0 0 16220 1 0 0 25 0 4 0 529950705 745635840 26682 33554432000 4194304 4797429 140733316683376 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=728160 CPUtime=161.42 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 10143 0 0 0 16139 3 0 0 25 0 4 0 529950705 745635840 26682 33554432000 4194304 4797429 140733316683376 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.15
Current children cumulated vsize (KiB) 728160

[startup+222.307 s]
/proc/loadavg: 8.12 8.06 8.05 9/184 14097
/proc/meminfo: memFree=30793344/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=733116 CPUtime=887.86 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 134936 0 0 0 88755 31 0 0 25 0 4 0 529950698 750710784 31732 33554432000 4194304 4797429 140733316683376 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 183279 31732 421 148 0 178208 0
[pid=14087/tid=14089] ppid=14085 vsize=733116 CPUtime=222.2 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 10360 0 0 0 22218 2 0 0 25 0 4 0 529950705 750710784 31732 33554432000 4194304 4797429 140733316683376 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=733116 CPUtime=222.22 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 11547 0 0 0 22220 2 0 0 25 0 4 0 529950705 750710784 31732 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=733116 CPUtime=221.12 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 11504 0 0 0 22109 3 0 0 25 0 4 0 529950705 750710784 31732 33554432000 4194304 4797429 140733316683376 18446744073709551615 4520385 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.86
Current children cumulated vsize (KiB) 733116

[startup+282.301 s]

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

[pid=14087] ppid=14085 vsize=779100 CPUtime=2805.36 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 312229 0 0 0 280451 85 0 0 25 0 4 0 529950698 797798400 47145 33554432000 4194304 4797429 140733316683376 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 194775 47145 421 148 0 189704 0
[pid=14087/tid=14089] ppid=14085 vsize=779100 CPUtime=702.15 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 23364 0 0 0 70209 6 0 0 25 0 4 0 529950705 797798400 47145 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=779100 CPUtime=702.21 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 23920 0 0 0 70215 6 0 0 25 0 4 0 529950705 797798400 47145 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=779100 CPUtime=698.67 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 24359 0 0 0 69859 8 0 0 25 0 4 0 529950705 797798400 47145 33554432000 4194304 4797429 140733316683376 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 779100

[startup+762.301 s]
/proc/loadavg: 8.11 8.08 8.05 9/184 14112
/proc/meminfo: memFree=30655792/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=780828 CPUtime=3045.06 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 336392 0 0 0 304412 94 0 0 25 0 4 0 529950698 799567872 49954 33554432000 4194304 4797429 140733316683376 18446744073709551615 4425939 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 195207 49954 421 148 0 190136 0
[pid=14087/tid=14089] ppid=14085 vsize=780828 CPUtime=762.15 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 25086 0 0 0 76208 7 0 0 25 0 4 0 529950705 799567872 49954 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=780828 CPUtime=762.21 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 25598 0 0 0 76215 6 0 0 25 0 4 0 529950705 799567872 49954 33554432000 4194304 4797429 140733316683376 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=780828 CPUtime=758.36 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 26571 0 0 0 75828 8 0 0 25 0 4 0 529950705 799567872 49954 33554432000 4194304 4797429 140733316683376 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 780828

[startup+822.301 s]
/proc/loadavg: 8.12 8.09 8.06 9/184 14113
/proc/meminfo: memFree=30645212/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=780856 CPUtime=3284.73 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 356800 0 0 0 328373 100 0 0 25 0 4 0 529950698 799596544 52242 33554432000 4194304 4797429 140733316683376 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 195214 52242 421 148 0 190143 0
[pid=14087/tid=14089] ppid=14085 vsize=780856 CPUtime=822.14 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 26849 0 0 0 82207 7 0 0 25 0 4 0 529950705 799596544 52242 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=780856 CPUtime=822.21 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 26694 0 0 0 82214 7 0 0 25 0 4 0 529950705 799596544 52242 33554432000 4194304 4797429 140733316683376 18446744073709551615 4520194 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=780856 CPUtime=818.05 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 27541 0 0 0 81796 9 0 0 25 0 4 0 529950705 799596544 52242 33554432000 4194304 4797429 140733316683376 18446744073709551615 4424994 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 780856

[startup+882.307 s]
/proc/loadavg: 8.11 8.10 8.06 9/184 14115
/proc/meminfo: memFree=30628424/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=781120 CPUtime=3524.44 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 376828 0 0 0 352338 106 0 0 25 0 4 0 529950698 799866880 53632 33554432000 4194304 4797429 140733316683376 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 195280 53632 421 148 0 190209 0
[pid=14087/tid=14089] ppid=14085 vsize=781120 CPUtime=882.14 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 27849 0 0 0 88207 7 0 0 25 0 4 0 529950705 799866880 53632 33554432000 4194304 4797429 140733316683376 18446744073709551615 4425057 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=781120 CPUtime=882.22 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 28501 0 0 0 88214 8 0 0 25 0 4 0 529950705 799866880 53632 33554432000 4194304 4797429 140733316683376 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=781120 CPUtime=877.75 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 29226 0 0 0 87765 10 0 0 25 0 4 0 529950705 799866880 53632 33554432000 4194304 4797429 140733316683376 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 781120

[startup+942.301 s]
/proc/loadavg: 8.04 8.08 8.06 9/184 14117
/proc/meminfo: memFree=30631348/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=791408 CPUtime=3764.12 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 399739 0 0 0 376298 114 0 0 25 0 4 0 529950698 810401792 53818 33554432000 4194304 4797429 140733316683376 18446744073709551615 4524473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 197852 53818 421 148 0 192781 0
[pid=14087/tid=14089] ppid=14085 vsize=791408 CPUtime=942.13 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 29675 0 0 0 94205 8 0 0 25 0 4 0 529950705 810401792 53818 33554432000 4194304 4797429 140733316683376 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=791408 CPUtime=942.21 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 30402 0 0 0 94213 8 0 0 25 0 4 0 529950705 810401792 53818 33554432000 4194304 4797429 140733316683376 18446744073709551615 4506535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=791408 CPUtime=937.44 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 31090 0 0 0 93734 10 0 0 25 0 4 0 529950705 810401792 53818 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 791408

[startup+1002.3 s]
/proc/loadavg: 8.05 8.08 8.06 9/184 14118
/proc/meminfo: memFree=30593488/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=793004 CPUtime=4003.79 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 405706 0 0 0 400263 116 0 0 25 0 4 0 529950698 812036096 59707 33554432000 4194304 4797429 140733316683376 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 198251 59707 421 148 0 193180 0
[pid=14087/tid=14089] ppid=14085 vsize=793004 CPUtime=1002.13 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 30686 0 0 0 100204 9 0 0 25 0 4 0 529950705 812036096 59707 33554432000 4194304 4797429 140733316683376 18446744073709551615 4509125 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=793004 CPUtime=1002.21 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 31353 0 0 0 100213 8 0 0 25 0 4 0 529950705 812036096 59707 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=793004 CPUtime=997.12 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 32072 0 0 0 99701 11 0 0 25 0 4 0 529950705 812036096 59707 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 793004

[startup+1062.3 s]
/proc/loadavg: 8.13 8.09 8.06 9/184 14119
/proc/meminfo: memFree=30618376/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=795496 CPUtime=4243.48 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 427062 0 0 0 424227 121 0 0 25 0 4 0 529950698 814587904 55323 33554432000 4194304 4797429 140733316683376 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 198874 55323 421 148 0 193803 0
[pid=14087/tid=14089] ppid=14085 vsize=795496 CPUtime=1062.13 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 32329 0 0 0 106204 9 0 0 25 0 4 0 529950705 814587904 55323 33554432000 4194304 4797429 140733316683376 18446744073709551615 4509104 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=795496 CPUtime=1062.21 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 33267 0 0 0 106212 9 0 0 25 0 4 0 529950705 814587904 55323 33554432000 4194304 4797429 140733316683376 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=795496 CPUtime=1056.81 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 34016 0 0 0 105670 11 0 0 25 0 4 0 529950705 814587904 55323 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 795496

[startup+1122.3 s]
/proc/loadavg: 7.23 7.89 8.00 5/175 14139
/proc/meminfo: memFree=30865824/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=797208 CPUtime=4483.17 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 442815 0 0 0 448188 129 0 0 25 0 4 0 529950698 816340992 58861 33554432000 4194304 4797429 140733316683376 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 199302 58861 421 148 0 194231 0
[pid=14087/tid=14089] ppid=14085 vsize=797208 CPUtime=1122.12 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 34027 0 0 0 112203 9 0 0 25 0 4 0 529950705 816340992 58861 33554432000 4194304 4797429 140733316683376 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=797208 CPUtime=1122.21 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 34181 0 0 0 112212 9 0 0 25 0 4 0 529950705 816340992 58861 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=797208 CPUtime=1116.51 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 34959 0 0 0 111640 11 0 0 25 0 4 0 529950705 816340992 58861 33554432000 4194304 4797429 140733316683376 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 797208

[startup+1182.3 s]
/proc/loadavg: 5.25 7.20 7.75 5/175 14141
/proc/meminfo: memFree=30858032/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=798472 CPUtime=4722.9 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 458778 0 0 0 472154 136 0 0 25 0 4 0 529950698 817635328 61031 33554432000 4194304 4797429 140733316683376 18446744073709551615 4424659 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 199618 61031 421 148 0 194547 0
[pid=14087/tid=14089] ppid=14085 vsize=798472 CPUtime=1182.12 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 35114 0 0 0 118202 10 0 0 25 0 4 0 529950705 817635328 61031 33554432000 4194304 4797429 140733316683376 18446744073709551615 4428962 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=798472 CPUtime=1182.21 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 35909 0 0 0 118211 10 0 0 25 0 4 0 529950705 817635328 61032 33554432000 4194304 4797429 140733316683376 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=798472 CPUtime=1176.25 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 36745 0 0 0 117613 12 0 0 25 0 4 0 529950705 817635328 61032 33554432000 4194304 4797429 140733316683376 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.9
Current children cumulated vsize (KiB) 798472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 4.89 6.99 7.67 5/175 14141
/proc/meminfo: memFree=30867300/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=799628 CPUtime=4800.02 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 465776 0 0 0 479864 138 0 0 25 0 4 0 529950698 818819072 58513 33554432000 4194304 4797429 140733316683376 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 199907 58513 421 148 0 194836 0
[pid=14087/tid=14089] ppid=14085 vsize=799628 CPUtime=1201.42 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 35336 0 0 0 120132 10 0 0 25 0 4 0 529950705 818819072 58513 33554432000 4194304 4797429 140733316683376 18446744073709551615 4414280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=799628 CPUtime=1201.52 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 36227 0 0 0 120142 10 0 0 25 0 4 0 529950705 818819072 58513 33554432000 4194304 4797429 140733316683376 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=799628 CPUtime=1195.45 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 37072 0 0 0 119533 12 0 0 25 0 4 0 529950705 818819072 58513 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 799628

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

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

[startup+1201.6 s]
/proc/loadavg: 4.89 6.99 7.67 5/175 14141
/proc/meminfo: memFree=30867300/32951124 swapFree=67107188/67111528
[pid=14087] ppid=14085 vsize=799628 CPUtime=4800.02 cores=0,2,4,6
/proc/14087/stat : 14087 (techdemo) R 14085 14087 13814 0 -1 4202496 465776 0 0 0 479864 138 0 0 25 0 4 0 529950698 818819072 58513 33554432000 4194304 4797429 140733316683376 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14087/statm: 199907 58513 421 148 0 194836 0
[pid=14087/tid=14089] ppid=14085 vsize=799628 CPUtime=1201.42 cores=0,2,4,6
/proc/14087/task/14089/stat : 14089 (techdemo) R 14085 14087 13814 0 -1 4202560 35336 0 0 0 120132 10 0 0 25 0 4 0 529950705 818819072 58513 33554432000 4194304 4797429 140733316683376 18446744073709551615 4414280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14087/tid=14090] ppid=14085 vsize=799628 CPUtime=1201.52 cores=0,2,4,6
/proc/14087/task/14090/stat : 14090 (techdemo) R 14085 14087 13814 0 -1 4202560 36227 0 0 0 120142 10 0 0 25 0 4 0 529950705 818819072 58513 33554432000 4194304 4797429 140733316683376 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14087/tid=14091] ppid=14085 vsize=799628 CPUtime=1195.45 cores=0,2,4,6
/proc/14087/task/14091/stat : 14091 (techdemo) R 14085 14087 13814 0 -1 4202560 37072 0 0 0 119533 12 0 0 25 0 4 0 529950705 818819072 58513 33554432000 4194304 4797429 140733316683376 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 799628

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.62
CPU time (s): 4800.07
CPU user time (s): 4798.67
CPU system time (s): 1.40079
CPU usage (%): 399.466
Max. virtual memory (cumulated for all children) (KiB): 889372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.67
system time used= 1.40079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465777
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= 354
involuntary context switches= 22475

runsolver used 1.90671 second user time and 4.20636 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-30 19:12:02
IDJOB=3266817
IDBENCH=88214
IDSOLVER=1584
FILE ID=node130/3266817-1304183522
RUNJOBID= node130-1304181022-13832
PBS_JOBID= 13172459
Free space on /tmp= 72692 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266817-1304183522/watcher-3266817-1304183522 -o /tmp/evaluation-result-3266817-1304183522/solver-3266817-1304183522 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3266817-1304183522.cnf

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

MD5SUM BENCH= 1bb1eb2a3bb0b22f560ab6712b727e98
RANDOM SEED=79032363

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.81
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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30977124 kB
Buffers:        207964 kB
Cached:        1313316 kB
SwapCached:       1852 kB
Active:         495904 kB
Inactive:      1202524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30977124 kB
SwapTotal:    67111528 kB
SwapFree:     67107188 kB
Dirty:            8988 kB
Writeback:           4 kB
AnonPages:      176172 kB
Mapped:          15876 kB
Slab:           212944 kB
PageTables:       4852 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   776428 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= 72692 MiB
End job on node130 at 2011-04-30 19:32:06