Trace number 3251019

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.08 1202.24

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf
MD5SUM78d8e2b8c0fd15b93f96e38e33701f17
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.61315
Satisfiable
(Un)Satisfiability was proved
Number of variables3510
Number of clauses974465
Sum of the clauses size1952320
Maximum clause length62
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2974405
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

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-3251019-1304183219.cnf'
0.00/0.00	c -- header says num vars:           3510
0.00/0.00	c -- header says num clauses:      974465
0.69/0.73	c -- clauses added:            0 learnts,       974465 normals,            0 xors
0.69/0.73	c -- vars added       3510
0.69/0.73	c Parsing time:  0.70 s
0.69/0.73	c  N st     0         0      3510        60    974405         0   1952320         0   no data   no data  --
0.69/0.73	c asymm  cl-useful: 0/60/60 lits-rem:0 time: 0.00
1.37/0.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.7M T:  0.93
1.78/1.08	c Calc non-exist non-lernt bins v-fix:     0 done:   3510 time:  0.37 s
1.78/1.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1.78/1.08	c Subs w/ non-existent bins:      0 time:  0.00 s
2.56/1.25	c bin-w-bin subsume rem            0 bins  time:  0.66 s
3.36/1.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.73 s
3.76/1.53	c Removed useless bin:       0  fixed:     0  bprops:   3.91M  time:  0.38 s
4.96/1.81	c lits-rem:        82  cl-subs:        0  v-elim:   2280  v-fix:    0  time:  1.10 s
4.96/1.81	c learnt bin added due to v-elim: 0
4.96/1.83	c Finding binary XORs  T:     0.09 s  found:       0
4.96/1.89	c Finding non-binary XORs:     0.14 s (found:       0, avg size: nan)
4.96/1.89	c calculated reachability. Time: 0.02
5.36/1.90	c Calc default polars -  time:   0.03 s pos:       0 undec:      60 neg:    3450
5.36/1.90	c =========================================================================================
5.36/1.90	c types(t): F = full restart, N = normal restart
5.36/1.90	c types(t): S = simplification begin/end, E = solution found
5.36/1.90	c restart types(rt): st = static, dy = dynamic
5.36/1.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
5.36/1.90	c  B st     0         0      3450     15221    955734         0   2885735         0   no data   no data  --
7.76/2.56	c Decided on static restart strategy
11.35/3.44	c  N dy    20      4021      3450     15221    955734      3918   2885732   1138553    307.53     24.72  --
16.95/4.86	c  N dy    49      8074      3450     15221    955734      5407   2885732   1067346    190.79     22.87  --
21.74/6.05	c  N dy    78     12109      3450     15221    955734      5227   2885732    792262    210.14     21.15  --
26.13/7.19	c  N dy   108     16243      3450     15221    955734      9259   2885732   1382909    132.74     19.90  --
31.73/8.50	c  N dy   137     20372      3450     15221    955734      7789   2885732   1147656    220.97     19.42  --
37.72/10.06	c  N dy   165     24398      3450     15221    955734     11707   2885732   2042541    231.75     19.20  --
43.31/11.43	c  N dy   193     28435      3450     15221    955734      9034   2885732   1135535    133.28     19.06  --
45.72/12.08	c  S st   205     30001      3450     15221    955734     10575   2885732   1360699    159.59     19.08  --
46.50/12.26	c  S st   205     30502      3450     15221    955734     11072   2885730   1452643    159.59     19.08  --
46.50/12.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
46.50/12.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.08/16.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 15.46
62.49/16.25	c Calc non-exist non-lernt bins v-fix:     0 done:   3450 time:  0.40 s
62.49/16.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.89/16.31	c Subs w/ non-existent bins:      0 time:  0.21 s
63.70/16.53	c bin-w-bin subsume rem            0 bins  time:  0.65 s
68.86/17.84	c subs with bin:        0  lits-rem:      1739  v-fix:    0  time:  5.26 s
69.26/17.94	c Removed useless bin:       0  fixed:     0  bprops:   3.84M  time:  0.38 s
74.45/19.25	c lits-rem:      3278  cl-subs:     1158  v-elim:   3450  v-fix:    0  time:  5.24 s
74.45/19.25	c learnt bin added due to v-elim: 0
74.86/19.32	c vivif2 --  cl tried    15221 cl shrink    13225 lits rem     141078 time: 0.27
74.86/19.35	c vivif2 --  cl tried     9914 cl shrink        0 lits rem          0 time: 0.13
75.66/19.59	c asymm  cl-useful: 25/379/15221 lits-rem:33 time: 0.96
76.06/19.61	c calculated reachability. Time: 0.02
76.06/19.61	c  N dy   205     30502      3450     15221    955734      9914   2738490   1289755    159.59     19.08  --
76.06/19.61	c  F st   205     30502      3450     15221    955734      9914   2738490   1289755    159.59     19.08  --
78.86/20.35	c Decided on static restart strategy
81.65/21.02	c  N dy   225     34615      3450     15221    955734     13928   2738490   2075522    187.25     18.87  --
86.84/22.34	c  N dy   254     38719      3450     15221    955734     10223   2738490   1371108    195.44     18.59  --
92.83/23.85	c  N dy   283     42845      3450     15221    955734     14223   2738490   2181482    189.06     18.61  --
99.23/25.48	c  S st   304     45754      3450     15221    955734     17047   2738490   2756945    168.92     18.77  --
100.42/25.72	c  S st   304     46255      3450     15221    955734      8822   2738488   1015578    168.92     18.77  --
100.42/25.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
100.42/25.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
114.01/29.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 13.54
114.41/29.23	c Calc non-exist non-lernt bins v-fix:     0 done:   3450 time:  0.39 s
114.41/29.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
114.41/29.27	c Subs w/ non-existent bins:      0 time:  0.18 s
115.21/29.47	c bin-w-bin subsume rem            0 bins  time:  0.66 s
120.82/30.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.31 s
121.19/30.90	c Removed useless bin:       0  fixed:     0  bprops:   3.84M  time:  0.37 s
125.21/31.91	c lits-rem:      1471  cl-subs:      196  v-elim:   3450  v-fix:    0  time:  4.04 s
125.21/31.91	c learnt bin added due to v-elim: 0
125.21/31.92	c vivif2 --  cl tried    15221 cl shrink        0 lits rem          0 time: 0.06
125.21/31.95	c vivif2 --  cl tried     8626 cl shrink        0 lits rem          0 time: 0.11
125.99/32.17	c asymm  cl-useful: 8/356/15221 lits-rem:9 time: 0.90
126.39/32.20	c calculated reachability. Time: 0.02
126.39/32.20	c  N dy   304     46255      3450     15221    955734      8626   2737152    992045    168.92     18.77  --
131.58/33.53	c  N dy   332     50377      3450     15221    955734     12613   2737152   1851663    208.54     18.73  --
137.58/35.01	c  N dy   361     54520      3450     15221    955734     16647   2737152   2815834    224.98     18.86  --
142.78/36.34	c  N dy   390     58615      3450     15221    955734     10893   2737152   1421925    212.89     18.68  --
148.76/37.89	c  N dy   418     62669      3450     15221    955734     14826   2737152   2298798    201.09     18.79  --
153.95/39.17	c  N dy   447     66745      3450     15221    955734     18803   2737152   3108369    241.03     18.73  --
157.95/40.18	c  S st   466     69384      3450     15221    955734     10698   2737152   1401111    202.59     18.71  --
158.75/40.36	c  S st   466     69887      3450     15221    955734     11198   2737152   1507825    202.59     18.71  --
158.75/40.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
158.75/40.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
173.93/44.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 14.96
174.33/44.22	c Calc non-exist non-lernt bins v-fix:     0 done:   3450 time:  0.39 s
174.33/44.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
174.33/44.28	c Subs w/ non-existent bins:      0 time:  0.21 s
175.13/44.49	c bin-w-bin subsume rem            0 bins  time:  0.66 s
181.12/45.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.82 s
181.52/46.04	c Removed useless bin:       0  fixed:     0  bprops:   3.84M  time:  0.38 s
189.11/47.97	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:    1.58
203.90/51.66	c Added 35 vars  tried: 80000 time: 14.73
204.30/51.76	c ORs :     35 avg-s:  0.0 cl-sh: 24467 l-rem:  24467 b-add:     70 v-rep:   0 cl-rem: 0 avg s: nan T:   15.13
204.30/51.79	c lits-rem:       127  cl-subs:      257  v-elim:   3450  v-fix:    0  time: 22.97 s
204.30/51.79	c learnt bin added due to v-elim: 0
204.68/51.81	c vivif2 --  cl tried    15256 cl shrink        0 lits rem          0 time: 0.07
204.68/51.84	c vivif2 --  cl tried    10941 cl shrink        0 lits rem          0 time: 0.14
205.48/52.05	c asymm  cl-useful: 35/620/15256 lits-rem:43 time: 0.84
205.48/52.08	c calculated reachability. Time: 0.02
205.48/52.08	c  N dy   466     69887      3485     15256    955804     10941   2733020   1445046    202.59     18.71  --
205.48/52.08	c  F st   466     69887      3485     15256    955804     10941   2733020   1445046    202.59     18.71  --
207.88/52.65	c Decided on static restart strategy
211.08/53.40	c  N dy   489     74364      3485     15256    955811     15318   2733020   2150185    155.62     18.63  --
217.09/55.00	c  N dy   523     79208      3485     15256    955812     20054   2733020   2878318    150.43     18.49  --
224.65/56.81	c  N dy   559     84328      3485     15256    955818     13375   2733020   1735836    202.83     18.55  --
231.84/58.61	c  N dy   598     89818      3485     15256    955818     18740   2733020   2837047    173.70     18.50  --
240.23/60.79	c  N dy   639     95672      3485     15256    955819     24407   2733020   4030936    180.88     18.37  --
248.24/62.74	c  N dy   683    101838      3485     15256    955824     17768   2733019   2404912    170.59     18.43  --
253.41/64.07	c  S st   705    104833      3485     15256    955826     20716   2733019   3098988    258.88     18.46  --
254.21/64.30	c  S st   705    105338      3485     15256    955830     21216   2733019   3192074    258.88     18.46  --
254.61/64.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
254.61/64.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
275.38/69.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   2682 BRemL:     43 BRemN:      0 CBin:       0 P: 60.1M T: 20.81
275.78/69.63	c Calc non-exist non-lernt bins v-fix:     0 done:   3485 time:  0.40 s
275.78/69.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
276.18/69.71	c Subs w/ non-existent bins:      0 time:  0.33 s
276.98/69.97	c bin-w-bin subsume rem            0 bins  time:  0.67 s
283.77/71.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.89 s
284.17/71.77	c Removed useless bin:       0  fixed:     0  bprops:   3.01M  time:  0.31 s
306.14/77.24	c ORs :     81 avg-s:  2.0 cl-sh:     1 l-rem:      1 b-add:      0 v-rep:   0 cl-rem: 9 avg s: 3.0 T:    1.36
306.14/77.28	c lits-rem:       234  cl-subs:     2592  v-elim:   6427  v-fix:    0  time: 22.00 s
306.14/77.28	c learnt bin added due to v-elim: 0
306.54/77.31	c vivif2 --  cl tried    19626 cl shrink     1321 lits rem       1321 time: 0.11
306.54/77.38	c vivif2 --  cl tried    18624 cl shrink      619 lits rem        837 time: 0.28
307.74/77.66	c asymm  cl-useful: 0/373/18305 lits-rem:0 time: 1.14
307.74/77.69	c calculated reachability. Time: 0.02
307.74/77.69	c  N dy   705    105338      3477     18305    955374     18624   2736018   2636583    258.88     18.46  --
317.73/80.10	c  N dy   753    112094      3477     18305    955375     25229   2736018   3890123    224.90     18.55  --
327.72/82.61	c  N dy   804    119320      3477     18305    955375     18620   2736018   2438171    172.91     18.62  --
337.29/85.01	c  N dy   858    127010      3477     18305    955375     26119   2736018   3962421    194.55     18.63  --
348.09/87.76	c  N dy   915    135163      3477     18305    955376     19462   2736016   2527189    201.61     18.73  --
359.67/90.67	c  N dy   977    143908      3477     18305    955377     28034   2736014   4161485    184.38     18.73  --
372.06/93.78	c  N dy  1042    153170      3477     18305    957716     21396   2736014   2916146    234.65     18.68  --
380.45/95.89	c  S st  1077    158009      3477     18305    957716     26127   2736014   3898888    194.76     18.83  --
381.65/96.11	c  S st  1077    158512      3477     18305    957716     26627   2736013   4011894    194.76     18.83  --
381.65/96.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
381.65/96.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
400.41/100.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:     32 BRemN:   1102 CBin:       0 P: 60.0M T: 18.70
400.81/100.93	c Calc non-exist non-lernt bins v-fix:     0 done:   3477 time:  0.40 s
400.81/100.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
401.21/101.03	c Subs w/ non-existent bins:      0 time:  0.42 s
402.41/101.31	c bin-w-bin subsume rem          663 bins  time:  0.69 s
408.41/102.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.09 s
408.41/102.90	c Removed useless bin:      61  fixed:     0  bprops:   2.35M  time:  0.26 s
427.57/107.62	c ORs :     81 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    1.72
427.57/107.67	c lits-rem:       513  cl-subs:     1613  v-elim:   3431  v-fix:    0  time: 19.08 s
427.57/107.67	c learnt bin added due to v-elim: 0
427.57/107.69	c vivif2 --  cl tried    18305 cl shrink        2 lits rem          2 time: 0.08
427.99/107.78	c vivif2 --  cl tried    25014 cl shrink      125 lits rem        180 time: 0.33
429.17/108.02	c asymm  cl-useful: 0/494/18303 lits-rem:0 time: 0.99
429.17/108.05	c calculated reachability. Time: 0.02
429.17/108.05	c  N dy  1077    158512      3477     18303    955860     25014   2733621   3642351    194.76     18.83  --
443.15/111.52	c  N dy  1149    168725      3582     18303    967968     22520   2738405   1865611    232.45     18.86  --
457.94/115.23	c  N dy  1226    179593      3582     18303    967968     33098   2738403   3928240    181.31     18.90  --
475.91/119.71	c  N dy  1308    191171      3582     18303    967968     24822   2738403   2154405    166.57     18.92  --
493.09/124.03	c  N dy  1395    203492      3582     18303    967968     36835   2738401   4684356    281.76     18.99  --
510.26/128.39	c  N dy  1488    216589      3582     18303    967968     30085   2738401   3118206    238.68     19.02  --
532.64/133.98	c  N dy  1587    230546      3582     18303    967968     23706   2738401   2000991    219.52     19.11  --
542.23/136.40	c  S st  1639    237769      3582     18303    967968     30801   2738401   3209934    142.21     19.09  --
543.42/136.60	c  S st  1639    238270      3582     18303    967968     31300   2738401   3285808    142.21     19.09  --
543.42/136.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
543.42/136.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
560.59/140.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   4012 BRemL:    260 BRemN:   1654 CBin:       0 P: 60.0M T: 17.37
560.99/141.07	c Calc non-exist non-lernt bins v-fix:     0 done:   3582 time:  0.40 s
560.99/141.07	c Cache  BProp: 0 Set: 0 BXProp: 4 T: 0.00
561.39/141.19	c Subs w/ non-existent bins:   2193 time:  0.46 s
561.79/141.22	c Replacing        4 vars Replaced       52 lits Time:     0.12 s 
562.59/141.48	c bin-w-bin subsume rem         1177 bins  time:  0.70 s
568.19/142.90	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  5.68 s
568.60/142.95	c Removed useless bin:    1035  fixed:     0  bprops:   1.47M  time:  0.19 s
580.97/146.07	c ORs :     81 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 7 avg s: 3.0 T:    1.54
581.37/146.12	c lits-rem:       120  cl-subs:     1560  v-elim:   3431  v-fix:    0  time: 12.66 s
581.37/146.12	c learnt bin added due to v-elim: 0
581.37/146.14	c vivif2 --  cl tried    18303 cl shrink        0 lits rem          0 time: 0.08
581.78/146.22	c vivif2 --  cl tried    27540 cl shrink       54 lits rem         89 time: 0.31
582.56/146.47	c asymm  cl-useful: 0/583/18303 lits-rem:0 time: 1.03
582.96/146.50	c calculated reachability. Time: 0.02
582.96/146.50	c  N dy  1639    238270      3578     18303    967849     27537   2732961   2968839    142.21     19.09  --
606.13/152.31	c  N dy  1749    253602      3578     18303    969231     23041   2733045   1998302    189.24     19.15  --
626.90/157.57	c  N dy  1864    269922      3578     18303    969231     38980   2733045   5074939    186.33     19.15  --
650.47/163.48	c  N dy  1987    287182      3578     18303    969231     34686   2733045   4438308    285.59     19.22  --
677.24/170.14	c  N dy  2118    305601      3578     18303    969231     30378   2733045   3123522    212.62     19.31  --
703.20/176.64	c  N dy  2257    325199      3578     18303    969231     26127   2733045   2297825    213.34     19.32  --
731.18/183.60	c  N dy  2399    345218      3578     18303    969237     45634   2733045   6145928    160.54     19.43  --
748.34/187.90	c  S st  2486    357405      3578     18303    969237     33162   2733045   3708967    195.53     19.46  --
749.16/188.11	c  S st  2486    357905      3578     18303    969237     33660   2733045   3785208    195.53     19.46  --
749.16/188.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
749.16/188.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
766.33/192.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:     15 BRemN:   1262 CBin:       0 P: 60.0M T: 17.40
766.73/192.59	c Calc non-exist non-lernt bins v-fix:     0 done:   3578 time:  0.40 s
766.73/192.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
767.51/192.71	c Subs w/ non-existent bins:     42 time:  0.46 s
768.31/192.98	c bin-w-bin subsume rem            4 bins  time:  0.69 s
774.30/194.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.05 s
774.70/194.54	c Removed useless bin:       9  fixed:     0  bprops:   1.43M  time:  0.19 s
791.47/198.75	c ORs :     81 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    1.71
791.87/198.80	c lits-rem:        74  cl-subs:     1401  v-elim:   3431  v-fix:    0  time: 17.02 s
791.87/198.80	c learnt bin added due to v-elim: 0
791.87/198.83	c vivif2 --  cl tried    18303 cl shrink        0 lits rem          0 time: 0.08
792.27/198.92	c vivif2 --  cl tried    32217 cl shrink       78 lits rem         78 time: 0.38
793.09/199.16	c asymm  cl-useful: 0/205/18303 lits-rem:0 time: 0.97
793.09/199.19	c calculated reachability. Time: 0.02
793.09/199.19	c  N dy  2486    357905      3578     18303    968025     32139   2730503   3473841    195.53     19.46  --
825.02/207.19	c  N dy  2629    377968      3670     18303    979411     30431   2735647   1890898    180.11     19.56  --
852.19/213.98	c  N dy  2772    398096      3670     18303    979411     50074   2735647   5543784    182.38     19.55  --
880.16/220.99	c  N dy  2915    418213      3670     18303    979411     41520   2735647   4234406    177.56     19.60  --
910.91/228.63	c  N dy  3057    438277      3670     18303    983800     33247   2735771   2508994    170.64     19.60  --
937.28/235.26	c  N dy  3200    458413      3670     18303    983800     52919   2735771   6267577    184.94     19.64  --
964.46/242.03	c  N dy  3342    478493      3670     18303    983800     43427   2735771   4520067    179.73     19.66  --
996.39/250.03	c  N dy  3484    498573      3670     18303    983800     33325   2735771   2523553    177.23     19.65  --
1029.97/258.42	c  N dy  3625    518595      3670     18303    983800     52949   2735771   6269123    148.40     19.69  --
1060.31/266.04	c  S st  3755    536858      3670     18303    983825     40370   2735771   4185282    198.26     19.77  --
1061.50/266.30	c  S st  3755    537359      3670     18303    983825     40870   2735771   4264123    198.26     19.77  --
1061.50/266.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
1061.50/266.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1084.67/272.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:    390 BRemN:   2436 CBin:       0 P: 60.0M T: 23.19
1085.07/272.24	c Calc non-exist non-lernt bins v-fix:     0 done:   3670 time:  0.41 s
1085.07/272.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1085.47/272.37	c Subs w/ non-existent bins:   2454 time:  0.54 s
1085.87/272.41	c Replacing        3 vars Replaced       30 lits Time:     0.13 s 
1086.67/272.69	c bin-w-bin subsume rem         1024 bins  time:  0.70 s
1092.66/274.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.77 s
1092.66/274.18	c Removed useless bin:     293  fixed:     0  bprops:   1.31M  time:  0.19 s
1133.81/284.44	c ORs :     81 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 3.0 T:    1.80
1133.81/284.50	c lits-rem:       201  cl-subs:     1575  v-elim:   3431  v-fix:    0  time: 41.21 s
1133.81/284.50	c learnt bin added due to v-elim: 0
1134.21/284.52	c vivif2 --  cl tried    18303 cl shrink        0 lits rem          0 time: 0.08
1134.61/284.61	c vivif2 --  cl tried    36838 cl shrink       11 lits rem         11 time: 0.38
1135.83/284.96	c asymm  cl-useful: 0/149/18303 lits-rem:0 time: 1.40
1135.83/284.99	c calculated reachability. Time: 0.02
1135.83/284.99	c  N dy  3755    537359      3667     18303    979687     36827   2730301   3852494    198.26     19.77  --
1135.83/284.99	c  F st  3755    537359      3667     18303    979687     36827   2730301   3852494    198.26     19.77  --
1139.40/285.80	c Decided on static restart strategy
1152.99/289.27	c Finding binary XORs  T:     0.10 s  found:       2
1168.56/293.19	c  N dy  3888    557517      3741     18303    989320     60998   2732909   7503494    183.58     19.77  --
1204.51/302.11	c  N dy  4030    577519      3741     18303    989320     48180   2732909   5353910    159.51     19.92  --
1250.85/313.72	c  N dy  4172    597634      3741     18303    992309     35046   2732909   2524444    203.34     20.12  --
1280.82/321.29	c  N dy  4315    617768      3741     18303    992309     54664   2732909   6581645    174.18     20.10  --
1313.96/329.55	c  N dy  4456    637838      3741     18303    992309     40778   2732909   3480652    162.52     20.13  --
1348.31/338.16	c  N dy  4598    657859      3741     18303    992309     60337   2732909   7978777    191.95     20.25  --
1391.45/348.93	c  N dy  4741    677875      3741     18303    992317     45629   2732905   5310279    242.93     20.39  --
1438.19/360.64	c  N dy  4883    697960      3741     18303    992317     65259   2732905   9166336    207.22     20.38  --
1475.74/370.08	c  N dy  5026    718024      3741     18303    992317     49600   2732904   5755379    206.98     20.50  --
1525.67/382.50	c  N dy  5168    738050      3741     18303    992317     69171   2732904  10335821    181.20     20.56  --
1559.62/391.00	c  N dy  5310    758141      3741     18303    992317     52609   2732904   5391916    165.85     20.51  --
1593.17/399.49	c  N dy  5449    778170      3741     18303    992317     72256   2732904   8996853    197.87     20.48  --
1627.95/408.19	c  N dy  5590    798207      3741     18303    992317     54598   2732904   6370519    218.40     20.50  --
1643.51/412.00	c  S st  5646    806039      3741     18303    992317     62302   2732904   7989589    222.35     20.51  --
1644.32/412.23	c  S st  5646    806541      3741     18303    992317     62801   2732904   8081647    222.35     20.51  --
1644.32/412.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
1644.32/412.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1667.50/418.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:    198 BRemN:   2970 CBin:       0 P: 60.0M T: 23.08
1667.88/418.15	c Calc non-exist non-lernt bins v-fix:     0 done:   3741 time:  0.43 s
1667.88/418.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1668.68/418.37	c Subs w/ non-existent bins:   1161 time:  0.85 s
1669.08/418.41	c Replacing        2 vars Replaced      491 lits Time:     0.17 s 
1670.28/418.77	c bin-w-bin subsume rem          484 bins  time:  0.70 s
1677.87/420.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.41 s
1677.87/420.67	c Removed useless bin:      70  fixed:     0  bprops:   1.27M  time:  0.18 s
1824.06/457.20	c ORs :     81 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 4 avg s: 3.0 T:    1.91
1870.39/468.80	c Added 38 vars  tried: 80000 time: 46.32
1874.01/469.79	c ORs :     38 avg-s:  0.0 cl-sh: 88221 l-rem:  88221 b-add:     76 v-rep:   0 cl-rem: 30 avg s: 3.0 T:   50.29
1874.39/469.88	c lits-rem:      1206  cl-subs:     3854  v-elim:   3840  v-fix:    0  time: 196.51 s
1874.39/469.88	c learnt bin added due to v-elim: 0
1874.79/469.90	c vivif2 --  cl tried    18334 cl shrink        0 lits rem          0 time: 0.08
1875.19/470.07	c vivif2 --  cl tried    57759 cl shrink        2 lits rem          2 time: 0.68
1876.39/470.38	c asymm  cl-useful: 0/410/18334 lits-rem:0 time: 1.22
1876.79/470.41	c calculated reachability. Time: 0.02
1876.79/470.41	c  N dy  5646    806541      3777     18334    988667     57757   2722937   7018871    222.35     20.51  --
1913.56/479.63	c  N dy  5790    826637      3777     18334    988668     39924   2722937   3168121    159.70     20.58  --
1941.10/486.56	c  N dy  5931    846722      3777     18334    988671     59627   2722937   6633018    159.53     20.53  --
1973.86/494.72	c  N dy  6074    866756      3777     18334    988674     40349   2722937   3274998    255.52     20.53  --
2006.21/502.82	c  N dy  6217    886886      3777     18334    988674     60106   2722937   7065161    188.24     20.50  --
2048.15/513.33	c  N dy  6358    906923      3777     18334    988677     79754   2722937  10946467    189.71     20.50  --
2082.51/521.92	c  N dy  6500    926955      3777     18334    988678     59335   2722937   6912321    200.90     20.51  --
2127.24/533.19	c  N dy  6641    947009      3825     18334    999421     82160   2724843  10709344    226.02     20.52  --
2161.20/541.63	c  N dy  6784    967052      3825     18334    999933     59140   2724843   6251410    146.48     20.54  --
2198.76/551.06	c  N dy  6927    987102      3825     18334   1000216     78785   2724843  10514442    267.56     20.55  --
2237.50/560.76	c  N dy  7070   1007191      3825     18334   1000216     55552   2724843   5802458    146.94     20.57  --
2274.24/569.93	c  N dy  7213   1027201      3825     18334   1003283     76148   2725409   9728319    190.88     20.63  --
2313.01/579.66	c  N dy  7356   1047235      3839     18334   1005537     52305   2725835   5021091    153.55     20.67  --
2349.34/588.76	c  N dy  7499   1067257      3839     18334   1005538     71975   2725835   8545343    164.00     20.67  --
2388.11/598.45	c  N dy  7639   1087274      3839     18334   1005538     46777   2725835   3462517    164.73     20.63  --
2418.87/606.17	c  N dy  7781   1107423      3839     18334   1005538     66562   2725835   7281854    177.00     20.61  --
2456.00/615.42	c  N dy  7921   1127434      3839     18334   1005538     86212   2725835  11400203    212.84     20.57  --
2493.16/624.72	c  N dy  8063   1147508      3839     18334   1005833     60410   2725835   6177326    251.83     20.61  --
2545.48/637.85	c  N dy  8206   1167624      3839     18334   1005833     80144   2725835  10559004    184.51     20.69  --
2590.61/649.10	c  N dy  8349   1187752      3876     18334   1008588     53646   2725987   4570260    191.72     20.68  --
2630.16/659.08	c  N dy  8494   1207776      3876     18334   1008588     73324   2725987   8980930    177.71     20.75  --
2638.56/661.13	c  S st  8509   1209812      3876     18334   1008592     75337   2725987   9294562    158.80     20.74  --
2639.74/661.48	c  S st  8509   1210314      3876     18334   1008592     75837   2725986   9379240    158.80     20.74  --
2640.14/661.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
2640.14/661.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2670.11/669.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   1631 BRemL:    515 BRemN:   2321 CBin:       0 P: 60.0M T: 30.14
2670.51/669.18	c Calc non-exist non-lernt bins v-fix:     0 done:   3876 time:  0.45 s
2670.51/669.18	c Cache  BProp: 0 Set: 0 BXProp: 5 T: 0.00
2671.71/669.42	c Subs w/ non-existent bins:   1321 time:  0.98 s
2671.71/669.47	c Replacing        5 vars Replaced      168 lits Time:     0.19 s 
2673.32/669.87	c bin-w-bin subsume rem          310 bins  time:  0.70 s
2680.09/671.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.62 s
2680.09/671.57	c Removed useless bin:     111  fixed:     0  bprops:   1.25M  time:  0.19 s
2902.58/727.27	c ORs :    165 avg-s:  2.0 cl-sh:    12 l-rem:     12 b-add:      0 v-rep:   0 cl-rem: 29 avg s: 3.0 T:    2.05
2942.93/737.39	c Added 40 vars  tried: 80000 time: 40.41
2945.74/738.01	c ORs :     40 avg-s:  0.0 cl-sh: 72411 l-rem:  72411 b-add:     80 v-rep:   0 cl-rem: 49 avg s: 3.0 T:   42.90
2946.15/738.11	c lits-rem:       923  cl-subs:     8096  v-elim:   6544  v-fix:    0  time: 265.75 s
2946.15/738.11	c learnt bin added due to v-elim: 0
2946.15/738.14	c vivif2 --  cl tried    22441 cl shrink     1315 lits rem       1315 time: 0.12
2946.92/738.34	c vivif2 --  cl tried    66381 cl shrink      419 lits rem        886 time: 0.79
2948.12/738.63	c asymm  cl-useful: 0/187/21126 lits-rem:0 time: 1.16
2948.12/738.66	c calculated reachability. Time: 0.02
2948.12/738.66	c  N dy  8509   1210314      3903     21126   1004111     66374   2719315   7521709    158.80     20.74  --
2997.66/751.08	c  N dy  8651   1230463      3903     21126   1007531     86194   2719315  11395126    185.82     20.73  --
3038.02/761.11	c  N dy  8792   1250506      3903     21126   1007536     59346   2719315   5326813    148.51     20.70  --
3074.75/770.32	c  N dy  8932   1270562      3903     21126   1007539     79036   2719315   8263283    136.54     20.68  --
3117.11/780.90	c  N dy  9072   1290609      3903     21126   1007539     50894   2719315   3859159    183.52     20.65  --
3155.04/790.47	c  N dy  9214   1310733      3903     21126   1012672     70684   2719315   7133556    167.84     20.64  --
3202.58/802.30	c  N dy  9354   1330863      3903     21126   1012673     90450   2719315   9866778    118.76     20.63  --
3245.72/813.14	c  N dy  9493   1350866      3903     21126   1013336     61166   2719315   5307790    164.10     20.60  --
3284.09/822.74	c  N dy  9633   1370888      3911     21126   1015812     80896   2719347   8679813    154.63     20.58  --
3309.63/829.18	c Finding binary XORs  T:     0.10 s  found:       0
3338.78/836.47	c  N dy  9772   1390916      3911     21126   1015817     50514   2719347   3581649    145.41     20.56  --
3374.74/845.45	c  N dy  9914   1411057      3911     21126   1015817     70357   2719347   6502663    126.60     20.53  --
3422.28/857.35	c  N dy 10053   1431109      3911     21126   1016067     90105   2719347   9586067    172.65     20.52  --
3466.62/868.44	c  N dy 10193   1451110      3911     21126   1016067     58638   2719347   4796443    171.95     20.50  --
3500.56/876.94	c  N dy 10334   1471245      3911     21126   1016067     78462   2719347   8061396    156.54     20.49  --
3544.91/888.03	c  N dy 10474   1491310      3945     21126   1017556     98239   2719485  10995287    151.73     20.46  --
3581.66/897.26	c  N dy 10614   1511319      3945     21126   1017734     65750   2719485   5723803    125.17     20.45  --
3620.01/906.87	c  N dy 10755   1531347      3945     21126   1017734     85437   2719485   8747342    127.27     20.42  --
3665.14/918.15	c  N dy 10895   1551407      3945     21126   1019303    105122   2719485  11467352    146.10     20.40  --
3702.69/927.51	c  N dy 11036   1571434      3945     21126   1019303     71755   2719485   7077255    161.50     20.40  --
3749.03/939.12	c  N dy 11174   1591444      3950     21126   1020122     91396   2719505   9821682    154.90     20.38  --
3800.97/952.14	c  N dy 11312   1611519      3950     21126   1020122     57049   2719505   4418921    162.79     20.36  --
3837.31/961.22	c  N dy 11453   1631604      3950     21126   1020122     76817   2719505   7476530    161.80     20.34  --
3883.64/972.85	c  N dy 11593   1651657      3950     21126   1020136     96521   2719505  10371417    136.57     20.34  --
3935.58/985.83	c  N dy 11732   1671690      3950     21126   1020682     61144   2719505   4997280    156.50     20.34  --
3971.13/994.78	c  N dy 11872   1691786      3950     21126   1020682     80843   2719505   8039487    140.20     20.33  --
4014.67/1005.69	c  S st 12002   1710315      3950     21126   1020682     99064   2719505  10852532    117.00     20.31  --
4016.27/1006.00	c  S st 12002   1710818      3950     21126   1020682     99562   2719505  10938785    117.00     20.31  --
4016.27/1006.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
4016.27/1006.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4038.64/1011.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      6 BRemL:   1415 BRemN:   1924 CBin:       0 P: 60.1M T: 22.32
4039.04/1011.75	c Calc non-exist non-lernt bins v-fix:     0 done:   3950 time:  0.46 s
4039.04/1011.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4040.63/1012.14	c Subs w/ non-existent bins:      0 time:  1.53 s
4040.63/1012.19	c Replacing        1 vars Replaced        9 lits Time:     0.20 s 
4042.63/1012.63	c bin-w-bin subsume rem         1265 bins  time:  0.72 s
4047.82/1013.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.16 s
4047.82/1013.97	c Removed useless bin:      13  fixed:     0  bprops:   1.23M  time:  0.19 s
4340.62/1087.26	c ORs :    254 avg-s:  2.0 cl-sh:    24 l-rem:     24 b-add:      0 v-rep:   0 cl-rem: 42 avg s: 3.0 T:    2.89
4365.41/1093.49	c Added 40 vars  tried: 80000 time: 24.90
4367.79/1094.07	c ORs :     40 avg-s:  0.0 cl-sh: 56057 l-rem:  56057 b-add:     80 v-rep:   0 cl-rem: 49 avg s: 4.8 T:   27.21
4368.19/1094.19	c lits-rem:       210  cl-subs:     9854  v-elim:   6542  v-fix:    0  time: 320.42 s
4368.19/1094.19	c learnt bin added due to v-elim: 0
4368.59/1094.23	c vivif2 --  cl tried    27178 cl shrink     1719 lits rem       1720 time: 0.17
4369.80/1094.55	c vivif2 --  cl tried    89686 cl shrink      354 lits rem        807 time: 1.29
4370.98/1094.86	c asymm  cl-useful: 0/127/25462 lits-rem:0 time: 1.23
4370.98/1094.89	c calculated reachability. Time: 0.02
4370.98/1094.89	c  N dy 12002   1710818      3979     25462   1011572     89684   2715424   9291632    117.00     20.31  --
4420.51/1107.23	c  N dy 12142   1730909      3979     25462   1011591    109453   2715424  12623968    145.78     20.34  --
4459.66/1117.05	c  N dy 12283   1750912      3979     25462   1011592     73212   2715424   6845318    145.05     20.34  --
4498.81/1126.85	c  N dy 12423   1770940      3979     25462   1011596     92881   2715424   9829528    161.22     20.32  --
4544.34/1138.22	c  N dy 12564   1790945      3979     25462   1011596    112586   2715424  12926076    118.57     20.31  --
4579.49/1147.09	c  N dy 12705   1810998      3979     25462   1011597     75347   2715424   6917552    177.71     20.30  --
4616.64/1156.30	c  N dy 12846   1831102      3981     25462   1017081     95149   2715432  10202177    153.01     20.29  --
4663.80/1168.19	c  N dy 12984   1851125      3981     25462   1018737    114837   2715432  13311343    180.58     20.29  --
4698.13/1176.74	c  N dy 13124   1871127      3981     25462   1018906     76485   2715432   6812642    113.97     20.27  --
4738.90/1186.91	c  N dy 13265   1891207      3981     25462   1018906     96235   2715432   9537146    184.10     20.26  --
4790.00/1199.74	c  N dy 13404   1911324      3984     25462   1019878    115985   2715448  12357772    221.03     20.24  --

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-3251019-1304183219/watcher-3251019-1304183219 -o /tmp/evaluation-result-3251019-1304183219/solver-3251019-1304183219 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3251019-1304183219.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: 5.40 7.33 7.68 3/177 14246
/proc/meminfo: memFree=22951968/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=52264 CPUtime=0 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 1320 0 0 0 0 0 0 0 21 0 1 0 529921577 53518336 1255 33554432000 4194304 4797429 140736395051264 18446744073709551615 4367622 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14246/statm: 13066 1258 347 148 0 7995 0

[startup+0.0957149 s]
/proc/loadavg: 5.40 7.33 7.68 3/177 14246
/proc/meminfo: memFree=22951968/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=63060 CPUtime=0.09 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 4099 0 0 0 9 0 0 0 21 0 1 0 529921577 64573440 3935 33554432000 4194304 4797429 140736395051264 18446744073709551615 4660895 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14246/statm: 15765 3935 348 148 0 10694 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63060

[startup+0.100709 s]
/proc/loadavg: 5.40 7.33 7.68 3/177 14246
/proc/meminfo: memFree=22951968/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=63720 CPUtime=0.09 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 4253 0 0 0 9 0 0 0 21 0 1 0 529921577 65249280 4089 33554432000 4194304 4797429 140736395051264 18446744073709551615 274473628357 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14246/statm: 15930 4089 348 148 0 10859 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63720

[startup+0.300677 s]
/proc/loadavg: 5.40 7.33 7.68 3/177 14246
/proc/meminfo: memFree=22951968/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=87552 CPUtime=0.29 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 10220 0 0 0 28 1 0 0 22 0 1 0 529921577 89653248 10056 33554432000 4194304 4797429 140736395051264 18446744073709551615 4549552 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14246/statm: 21888 10056 348 148 0 16817 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 87552

[startup+0.700545 s]
/proc/loadavg: 5.40 7.33 7.68 3/177 14246
/proc/meminfo: memFree=22951968/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=135700 CPUtime=0.69 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 22240 0 0 0 67 2 0 0 24 0 1 0 529921577 138956800 22076 33554432000 4194304 4797429 140736395051264 18446744073709551615 4431442 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14246/statm: 33925 22076 348 148 0 28854 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135700

[startup+1.5004 s]
/proc/loadavg: 5.40 7.33 7.68 10/184 14253
/proc/meminfo: memFree=22745452/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=767372 CPUtime=3.76 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 34580 0 0 0 369 7 0 0 18 0 4 0 529921577 785788928 34382 33554432000 4194304 4797429 140736395051264 18446744073709551615 4630385 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 191843 34382 391 148 0 186772 0
[pid=14246/tid=14251] ppid=14244 vsize=767372 CPUtime=0.75 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 3229 0 0 0 74 1 0 0 18 0 4 0 529921651 785788928 34382 33554432000 4194304 4797429 140736395051264 18446744073709551615 4365035 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=767372 CPUtime=0.74 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 3223 0 0 0 74 0 0 0 18 0 4 0 529921651 785788928 34382 33554432000 4194304 4797429 140736395051264 18446744073709551615 4630042 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=767372 CPUtime=0.75 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 3226 0 0 0 74 1 0 0 18 0 4 0 529921651 785788928 34382 33554432000 4194304 4797429 140736395051264 18446744073709551615 4345776 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 767372

[startup+3.10112 s]
/proc/loadavg: 5.77 7.38 7.69 9/184 14253
/proc/meminfo: memFree=22696224/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=772552 CPUtime=10.15 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 48754 0 0 0 1005 10 0 0 22 0 4 0 529921577 791093248 48492 33554432000 4194304 4797429 140736395051264 18446744073709551615 4395274 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 193138 48492 411 148 0 188067 0
[pid=14246/tid=14251] ppid=14244 vsize=772552 CPUtime=2.35 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 6975 0 0 0 233 2 0 0 21 0 4 0 529921651 791093248 48492 33554432000 4194304 4797429 140736395051264 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=772552 CPUtime=2.35 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 6990 0 0 0 234 1 0 0 21 0 4 0 529921651 791093248 48492 33554432000 4194304 4797429 140736395051264 18446744073709551615 4425019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=772552 CPUtime=2.34 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 6753 0 0 0 232 2 0 0 21 0 4 0 529921651 791093248 48492 33554432000 4194304 4797429 140736395051264 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.15
Current children cumulated vsize (KiB) 772552

[startup+6.30056 s]
/proc/loadavg: 5.77 7.38 7.69 9/184 14253
/proc/meminfo: memFree=22644392/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=803708 CPUtime=22.93 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 65433 0 0 0 2279 14 0 0 25 0 4 0 529921577 822996992 53092 33554432000 4194304 4797429 140736395051264 18446744073709551615 4415778 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 200927 53092 415 148 0 195856 0
[pid=14246/tid=14251] ppid=14244 vsize=803708 CPUtime=5.55 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 11068 0 0 0 552 3 0 0 25 0 4 0 529921651 822996992 53093 33554432000 4194304 4797429 140736395051264 18446744073709551615 274473628705 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=803708 CPUtime=5.54 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 10593 0 0 0 552 2 0 0 25 0 4 0 529921651 822996992 53093 33554432000 4194304 4797429 140736395051264 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=803708 CPUtime=5.52 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 10286 0 0 0 549 3 0 0 25 0 4 0 529921651 822996992 53093 33554432000 4194304 4797429 140736395051264 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 22.93
Current children cumulated vsize (KiB) 803708

[startup+12.7004 s]
/proc/loadavg: 6.11 7.40 7.70 9/184 14253
/proc/meminfo: memFree=22583272/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=807876 CPUtime=48.5 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 82176 0 0 0 4831 19 0 0 25 0 4 0 529921577 827265024 63896 33554432000 4194304 4797429 140736395051264 18446744073709551615 4429118 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 201969 63896 415 148 0 196898 0
[pid=14246/tid=14251] ppid=14244 vsize=807876 CPUtime=11.95 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 14775 0 0 0 1191 4 0 0 25 0 4 0 529921651 827265024 63896 33554432000 4194304 4797429 140736395051264 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=807876 CPUtime=11.95 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 13584 0 0 0 1192 3 0 0 25 0 4 0 529921651 827265024 63896 33554432000 4194304 4797429 140736395051264 18446744073709551615 4506622 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=807876 CPUtime=11.89 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 13184 0 0 0 1185 4 0 0 25 0 4 0 529921651 827265024 63896 33554432000 4194304 4797429 140736395051264 18446744073709551615 4568164 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 48.5
Current children cumulated vsize (KiB) 807876

[startup+25.5012 s]
/proc/loadavg: 6.40 7.41 7.70 9/184 14254
/proc/meminfo: memFree=22551120/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=821980 CPUtime=99.63 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 100237 0 0 0 9938 25 0 0 25 0 4 0 529921577 841707520 67679 33554432000 4194304 4797429 140736395051264 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 205495 67679 416 148 0 200424 0
[pid=14246/tid=14251] ppid=14244 vsize=821980 CPUtime=24.74 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 18045 0 0 0 2469 5 0 0 25 0 4 0 529921651 841707520 67679 33554432000 4194304 4797429 140736395051264 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=821980 CPUtime=24.74 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 16724 0 0 0 2470 4 0 0 25 0 4 0 529921651 841707520 67679 33554432000 4194304 4797429 140736395051264 18446744073709551615 4557781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=821980 CPUtime=24.62 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 16182 0 0 0 2457 5 0 0 25 0 4 0 529921651 841707520 67679 33554432000 4194304 4797429 140736395051264 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 99.63
Current children cumulated vsize (KiB) 821980

[startup+51.1007 s]
/proc/loadavg: 7.03 7.48 7.71 9/184 14255
/proc/meminfo: memFree=22513412/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=826820 CPUtime=201.89 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 116688 0 0 0 20159 30 0 0 25 0 4 0 529921577 846663680 71719 33554432000 4194304 4797429 140736395051264 18446744073709551615 4495559 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 206705 71719 419 148 0 201634 0
[pid=14246/tid=14251] ppid=14244 vsize=826820 CPUtime=50.35 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 19356 0 0 0 5029 6 0 0 25 0 4 0 529921651 846663680 71719 33554432000 4194304 4797429 140736395051264 18446744073709551615 4415689 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=826820 CPUtime=50.34 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 18473 0 0 0 5029 5 0 0 25 0 4 0 529921651 846663680 71719 33554432000 4194304 4797429 140736395051264 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=826820 CPUtime=50.07 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 17625 0 0 0 5002 5 0 0 25 0 4 0 529921651 846663680 71719 33554432000 4194304 4797429 140736395051264 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 201.89
Current children cumulated vsize (KiB) 826820

[startup+102.307 s]
/proc/loadavg: 7.69 7.58 7.73 9/184 14256
/proc/meminfo: memFree=22445920/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=851444 CPUtime=406.43 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 162482 0 0 0 40600 43 0 0 25 0 4 0 529921577 871878656 82664 33554432000 4194304 4797429 140736395051264 18446744073709551615 4520376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 212861 82664 421 148 0 207790 0
[pid=14246/tid=14251] ppid=14244 vsize=851444 CPUtime=101.55 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 23325 0 0 0 10148 7 0 0 25 0 4 0 529921651 871878656 82664 33554432000 4194304 4797429 140736395051264 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=851444 CPUtime=101.55 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 22417 0 0 0 10149 6 0 0 25 0 4 0 529921651 871878656 82664 33554432000 4194304 4797429 140736395051264 18446744073709551615 4557822 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=851444 CPUtime=101 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 21615 0 0 0 10093 7 0 0 25 0 4 0 529921651 871878656 82664 33554432000 4194304 4797429 140736395051264 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 406.43
Current children cumulated vsize (KiB) 851444

[startup+162.301 s]
/proc/loadavg: 8.01 7.68 7.76 9/184 14257
/proc/meminfo: memFree=22423548/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=856480 CPUtime=646.08 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 213615 0 0 0 64550 58 0 0 25 0 4 0 529921577 877035520 86034 33554432000 4194304 4797429 140736395051264 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 214120 86034 421 148 0 209049 0
[pid=14246/tid=14251] ppid=14244 vsize=856480 CPUtime=161.54 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 27979 0 0 0 16145 9 0 0 25 0 4 0 529921651 877035520 86034 33554432000 4194304 4797429 140736395051264 18446744073709551615 4425045 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=856480 CPUtime=161.55 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 26317 0 0 0 16147 8 0 0 25 0 4 0 529921651 877035520 86034 33554432000 4194304 4797429 140736395051264 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=856480 CPUtime=160.68 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 25643 0 0 0 16059 9 0 0 25 0 4 0 529921651 877035520 86034 33554432000 4194304 4797429 140736395051264 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 646.08
Current children cumulated vsize (KiB) 856480

[startup+222.301 s]
/proc/loadavg: 8.12 7.77 7.78 9/184 14259
/proc/meminfo: memFree=22386076/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=861624 CPUtime=885.74 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 265505 0 0 0 88500 74 0 0 25 0 4 0 529921577 882302976 89222 33554432000 4194304 4797429 140736395051264 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 215406 89222 421 148 0 210335 0
[pid=14246/tid=14251] ppid=14244 vsize=861624 CPUtime=221.53 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 31749 0 0 0 22144 9 0 0 25 0 4 0 529921651 882302976 89222 33554432000 4194304 4797429 140736395051264 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=861624 CPUtime=221.55 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 29833 0 0 0 22146 9 0 0 25 0 4 0 529921651 882302976 89222 33554432000 4194304 4797429 140736395051264 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=861624 CPUtime=220.34 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 29040 0 0 0 22024 10 0 0 25 0 4 0 529921651 882302976 89222 33554432000 4194304 4797429 140736395051264 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 885.74
Current children cumulated vsize (KiB) 861624

[startup+282.301 s]

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

[pid=14246] ppid=14244 vsize=898668 CPUtime=2563.47 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 541626 0 0 0 256177 170 0 0 25 0 4 0 529921577 920236032 107987 33554432000 4194304 4797429 140736395051264 18446744073709551615 274473658320 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 224667 107987 421 148 0 219596 0
[pid=14246/tid=14251] ppid=14244 vsize=898668 CPUtime=641.51 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 50748 0 0 0 64135 16 0 0 25 0 4 0 529921651 920236032 107987 33554432000 4194304 4797429 140736395051264 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=898668 CPUtime=641.56 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 48812 0 0 0 64142 14 0 0 25 0 4 0 529921651 920236032 107987 33554432000 4194304 4797429 140736395051264 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=898668 CPUtime=638.07 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 47351 0 0 0 63790 17 0 0 25 0 4 0 529921651 920236032 107987 33554432000 4194304 4797429 140736395051264 18446744073709551615 4520400 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2563.47
Current children cumulated vsize (KiB) 898668

[startup+702.301 s]
/proc/loadavg: 8.05 8.02 7.89 9/184 14272
/proc/meminfo: memFree=22164788/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=911528 CPUtime=2803.12 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 561268 0 0 0 280135 177 0 0 25 0 4 0 529921577 933404672 113773 33554432000 4194304 4797429 140736395051264 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 227882 113773 421 148 0 222811 0
[pid=14246/tid=14251] ppid=14244 vsize=911528 CPUtime=701.49 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 52680 0 0 0 70133 16 0 0 25 0 4 0 529921651 933404672 113773 33554432000 4194304 4797429 140736395051264 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=911528 CPUtime=701.55 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 50708 0 0 0 70141 14 0 0 25 0 4 0 529921651 933404672 113773 33554432000 4194304 4797429 140736395051264 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=911528 CPUtime=697.74 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 49098 0 0 0 69756 18 0 0 25 0 4 0 529921651 933404672 113773 33554432000 4194304 4797429 140736395051264 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2803.12
Current children cumulated vsize (KiB) 911528

[startup+762.307 s]
/proc/loadavg: 8.02 8.01 7.90 9/184 14273
/proc/meminfo: memFree=22196388/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=915480 CPUtime=3042.82 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 581799 0 0 0 304098 184 0 0 25 0 4 0 529921577 937451520 107348 33554432000 4194304 4797429 140736395051264 18446744073709551615 4425030 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 228870 107348 421 148 0 223799 0
[pid=14246/tid=14251] ppid=14244 vsize=915480 CPUtime=761.5 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 55709 0 0 0 76132 18 0 0 25 0 4 0 529921651 937451520 107348 33554432000 4194304 4797429 140736395051264 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=915480 CPUtime=761.57 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 53346 0 0 0 76141 16 0 0 25 0 4 0 529921651 937451520 107348 33554432000 4194304 4797429 140736395051264 18446744073709551615 4425019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=915480 CPUtime=757.42 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 51920 0 0 0 75723 19 0 0 25 0 4 0 529921651 937451520 107348 33554432000 4194304 4797429 140736395051264 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.82
Current children cumulated vsize (KiB) 915480

[startup+822.301 s]
/proc/loadavg: 8.07 8.02 7.91 9/184 14275
/proc/meminfo: memFree=22132276/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=918148 CPUtime=3282.48 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 612969 0 0 0 328051 197 0 0 25 0 4 0 529921577 940183552 115469 33554432000 4194304 4797429 140736395051264 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 229537 115469 421 148 0 224466 0
[pid=14246/tid=14251] ppid=14244 vsize=918148 CPUtime=821.49 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 57122 0 0 0 82131 18 0 0 25 0 4 0 529921651 940183552 115469 33554432000 4194304 4797429 140736395051264 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=918148 CPUtime=821.55 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 55003 0 0 0 82139 16 0 0 25 0 4 0 529921651 940183552 115469 33554432000 4194304 4797429 140736395051264 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=918148 CPUtime=817.09 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 53653 0 0 0 81689 20 0 0 25 0 4 0 529921651 940183552 115469 33554432000 4194304 4797429 140736395051264 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3282.48
Current children cumulated vsize (KiB) 918148

[startup+882.3 s]
/proc/loadavg: 8.16 8.05 7.92 9/184 14277
/proc/meminfo: memFree=22161412/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=920192 CPUtime=3522.14 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 647650 0 0 0 352005 209 0 0 25 0 4 0 529921577 942276608 113169 33554432000 4194304 4797429 140736395051264 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 230048 113169 421 148 0 224977 0
[pid=14246/tid=14251] ppid=14244 vsize=920192 CPUtime=881.48 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 60584 0 0 0 88129 19 0 0 25 0 4 0 529921651 942276608 113170 33554432000 4194304 4797429 140736395051264 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=920192 CPUtime=881.56 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 57716 0 0 0 88139 17 0 0 25 0 4 0 529921651 942276608 113170 33554432000 4194304 4797429 140736395051264 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=920192 CPUtime=876.76 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 56312 0 0 0 87655 21 0 0 25 0 4 0 529921651 942276608 113170 33554432000 4194304 4797429 140736395051264 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3522.14
Current children cumulated vsize (KiB) 920192

[startup+942.301 s]
/proc/loadavg: 8.18 8.07 7.93 9/184 14278
/proc/meminfo: memFree=22109204/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=923488 CPUtime=3761.81 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 678801 0 0 0 375959 222 0 0 25 0 4 0 529921577 945651712 119457 33554432000 4194304 4797429 140736395051264 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 230872 119457 421 148 0 225801 0
[pid=14246/tid=14251] ppid=14244 vsize=923488 CPUtime=941.48 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 62010 0 0 0 94128 20 0 0 25 0 4 0 529921651 945651712 119457 33554432000 4194304 4797429 140736395051264 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=923488 CPUtime=941.56 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 59477 0 0 0 94138 18 0 0 25 0 4 0 529921651 945651712 119457 33554432000 4194304 4797429 140736395051264 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=923488 CPUtime=936.44 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 58051 0 0 0 93623 21 0 0 25 0 4 0 529921651 945651712 119457 33554432000 4194304 4797429 140736395051264 18446744073709551615 4520192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3761.81
Current children cumulated vsize (KiB) 923488

[startup+1002.3 s]
/proc/loadavg: 8.18 8.08 7.94 9/184 14280
/proc/meminfo: memFree=22110560/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=990136 CPUtime=4001.49 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 712407 0 0 0 399914 235 0 0 25 0 4 0 529921577 1013899264 117979 33554432000 4194304 4797429 140736395051264 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 247534 117979 421 148 0 242463 0
[pid=14246/tid=14251] ppid=14244 vsize=990136 CPUtime=1001.48 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 65133 0 0 0 100126 22 0 0 25 0 4 0 529921651 1013899264 117979 33554432000 4194304 4797429 140736395051264 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=990136 CPUtime=1001.56 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 62477 0 0 0 100137 19 0 0 25 0 4 0 529921651 1013899264 117979 33554432000 4194304 4797429 140736395051264 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=990136 CPUtime=996.1 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 59545 0 0 0 99589 21 0 0 25 0 4 0 529921651 1013899264 117979 33554432000 4194304 4797429 140736395051264 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4001.49
Current children cumulated vsize (KiB) 990136

[startup+1062.3 s]
/proc/loadavg: 8.18 8.10 7.95 9/184 14281
/proc/meminfo: memFree=22027712/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=1002300 CPUtime=4241.16 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 722983 0 0 0 423878 238 0 0 25 0 4 0 529921577 1026355200 124106 33554432000 4194304 4797429 140736395051264 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 250575 124106 421 148 0 245504 0
[pid=14246/tid=14251] ppid=14244 vsize=1002300 CPUtime=1061.46 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 66793 0 0 0 106124 22 0 0 25 0 4 0 529921651 1026355200 124106 33554432000 4194304 4797429 140736395051264 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=1002300 CPUtime=1061.55 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 64246 0 0 0 106136 19 0 0 25 0 4 0 529921651 1026355200 124106 33554432000 4194304 4797429 140736395051264 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=1002300 CPUtime=1055.79 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 62649 0 0 0 105556 23 0 0 25 0 4 0 529921651 1026355200 124106 33554432000 4194304 4797429 140736395051264 18446744073709551615 4520288 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4241.16
Current children cumulated vsize (KiB) 1002300

[startup+1122.3 s]
/proc/loadavg: 8.12 8.09 7.96 9/184 14283
/proc/meminfo: memFree=22007488/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=1069732 CPUtime=4480.83 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 743116 0 0 0 447836 247 0 0 25 0 4 0 529921577 1095405568 124062 33554432000 4194304 4797429 140736395051264 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 267433 124062 421 148 0 262362 0
[pid=14246/tid=14251] ppid=14244 vsize=1069732 CPUtime=1121.46 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 70260 0 0 0 112123 23 0 0 25 0 4 0 529921651 1095405568 124062 33554432000 4194304 4797429 140736395051264 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=1069732 CPUtime=1121.56 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 66046 0 0 0 112136 20 0 0 25 0 4 0 529921651 1095405568 124062 33554432000 4194304 4797429 140736395051264 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=1069732 CPUtime=1115.46 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 64260 0 0 0 111522 24 0 0 25 0 4 0 529921651 1095405568 124062 33554432000 4194304 4797429 140736395051264 18446744073709551615 4359920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4480.83
Current children cumulated vsize (KiB) 1069732

[startup+1182.3 s]
/proc/loadavg: 8.11 8.09 7.96 9/184 14285
/proc/meminfo: memFree=22009580/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=1137740 CPUtime=4720.5 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 779421 0 0 0 471789 261 0 0 25 0 4 0 529921577 1165045760 122779 33554432000 4194304 4797429 140736395051264 18446744073709551615 4341174 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 284435 122779 421 148 0 279364 0
[pid=14246/tid=14251] ppid=14244 vsize=1137740 CPUtime=1181.46 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 71605 0 0 0 118123 23 0 0 25 0 4 0 529921651 1165045760 122779 33554432000 4194304 4797429 140736395051264 18446744073709551615 4509120 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=1137740 CPUtime=1181.56 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 68653 0 0 0 118134 22 0 0 25 0 4 0 529921651 1165045760 122779 33554432000 4194304 4797429 140736395051264 18446744073709551615 4531992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=1137740 CPUtime=1175.14 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 67869 0 0 0 117489 25 0 0 25 0 4 0 529921651 1165045760 122779 33554432000 4194304 4797429 140736395051264 18446744073709551615 4520744 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4720.5
Current children cumulated vsize (KiB) 1137740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.07 8.08 7.96 6/179 14286
/proc/meminfo: memFree=22489876/32950928 swapFree=67111524/67111528
[pid=14246] ppid=14244 vsize=1139680 CPUtime=4800.02 cores=1,3,5,7
/proc/14246/stat : 14246 (techdemo) R 14244 14246 13200 0 -1 4202496 791571 0 0 0 479737 265 0 0 25 0 4 0 529921577 1167032320 121435 33554432000 4194304 4797429 140736395051264 18446744073709551615 274473664267 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14246/statm: 284920 121435 421 148 0 279849 0
[pid=14246/tid=14251] ppid=14244 vsize=1139680 CPUtime=1201.37 cores=1,3,5,7
/proc/14246/task/14251/stat : 14251 (techdemo) R 14244 14246 13200 0 -1 4202560 72133 0 0 0 120113 24 0 0 25 0 4 0 529921651 1167032320 121435 33554432000 4194304 4797429 140736395051264 18446744073709551615 4520020 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=1139680 CPUtime=1201.47 cores=1,3,5,7
/proc/14246/task/14252/stat : 14252 (techdemo) R 14244 14246 13200 0 -1 4202560 69204 0 0 0 120125 22 0 0 25 0 4 0 529921651 1167032320 121435 33554432000 4194304 4797429 140736395051264 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14246/tid=14253] ppid=14244 vsize=1139680 CPUtime=1194.93 cores=1,3,5,7
/proc/14246/task/14253/stat : 14253 (techdemo) R 14244 14246 13200 0 -1 4202560 68433 0 0 0 119468 25 0 0 25 0 4 0 529921651 1167032320 121435 33554432000 4194304 4797429 140736395051264 18446744073709551615 4520341 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 1139680

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): 1202.24
CPU time (s): 4800.08
CPU user time (s): 4797.4
CPU system time (s): 2.68059
CPU usage (%): 399.261
Max. virtual memory (cumulated for all children) (KiB): 1198664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.4
system time used= 2.68059
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 791573
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= 2697
involuntary context switches= 33919

runsolver used 1.9717 second user time and 4.6133 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-30 19:06:59
IDJOB=3251019
IDBENCH=88208
IDSOLVER=1584
FILE ID=node125/3251019-1304183219
RUNJOBID= node125-1304183219-14227
PBS_JOBID= 13172427
Free space on /tmp= 72996 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251019-1304183219/watcher-3251019-1304183219 -o /tmp/evaluation-result-3251019-1304183219/solver-3251019-1304183219 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3251019-1304183219.cnf

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

MD5SUM BENCH= 78d8e2b8c0fd15b93f96e38e33701f17
RANDOM SEED=711913920

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.828
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:      22952496 kB
Buffers:       2135688 kB
Cached:        7249392 kB
SwapCached:          4 kB
Active:        2630988 kB
Inactive:      6842568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22952496 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           34684 kB
Writeback:           0 kB
AnonPages:       87692 kB
Mapped:          15116 kB
Slab:           461644 kB
PageTables:       4864 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   260716 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= 73000 MiB
End job on node125 at 2011-04-30 19:27:03