Trace number 3284180

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-mtUNSAT 1899.64 477.693

General information on the benchmark

Namevelev-pipe-o-uns-1.1-6.cnf
MD5SUMd986f0b849e7c714ed5d3a26373567af
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark12.6861
Satisfiable
(Un)Satisfiability was proved
Number of variables17710
Number of clauses304026
Sum of the clauses size890580
Maximum clause length131
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2268354
Number of clauses of size 326401
Number of clauses of size 4173
Number of clauses of size 5120
Number of clauses of size over 58977

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-3284180-1304038169.cnf'
0.00/0.00	c -- header says num vars:          17710
0.00/0.00	c -- header says num clauses:      304026
0.29/0.39	c -- clauses added:            0 learnts,       304026 normals,            0 xors
0.29/0.39	c -- vars added      17710
0.29/0.39	c Parsing time:  0.37 s
0.29/0.39	c  N st     0         0     17710     35671    268354         0    890579         0   no data   no data  --
0.79/0.59	c asymm  cl-useful: 328/1015/35670 lits-rem:2190 time: 0.78
5.40/1.84	c Flit:   273 Blit:     63 bXBeca:    0 bXProp: 2030 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 19.4M T:  3.97
5.40/1.85	c Cleaning up after failed var search:     0.04 s 
5.80/1.94	c Calc non-exist non-lernt bins v-fix:     0 done:  16801 time:  0.36 s
5.80/1.94	c Cache  BProp: 21 Set: 0 BXProp: 7 T: 0.00
5.80/1.96	c Subs w/ non-existent bins:     12 time:  0.07 s
5.80/1.98	c Replacing     2037 vars Replaced    27029 lits Time:     0.06 s 
6.20/2.04	c bin-w-bin subsume rem           49 bins  time:  0.13 s
6.61/2.17	c subs with bin:       96  lits-rem:       660  v-fix:    0  time:  0.53 s
7.01/2.22	c Removed useless bin:     586  fixed:     0  bprops:   3.44M  time:  0.20 s
7.75/2.45	c lits-rem:        65  cl-subs:      672  v-elim:   5427  v-fix:    0  time:  0.81 s
7.75/2.45	c learnt bin added due to v-elim: 0
8.15/2.50	c Finding binary XORs  T:     0.20 s  found:      64
8.15/2.51	c Replacing       64 vars Replaced    14697 lits Time:     0.06 s 
8.15/2.55	c Finding non-binary XORs:     0.08 s (found:       0, avg size: nan)
8.15/2.55	c calculated reachability. Time: 0.05
8.15/2.56	c Calc default polars -  time:   0.02 s pos:    1256 undec:    7493 neg:    8961
8.15/2.56	c =========================================================================================
8.15/2.56	c types(t): F = full restart, N = normal restart
8.15/2.56	c types(t): S = simplification begin/end, E = solution found
8.15/2.56	c restart types(rt): st = static, dy = dynamic
8.15/2.56	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
8.15/2.56	c  B st     0         0     10287     25544    229585         0    846372         0   no data   no data  --
9.35/2.80	c Decided on static restart strategy
10.15/3.04	c  N dy    20      4093     10286     25544    229751      3767    846365    170769     44.15     28.52  --
12.54/3.65	c  N dy    48      8205     10286     25544    229779      4769    846365    194634     51.35     34.40  --
14.94/4.21	c  N dy    76     12231     10286     25544    229844      8550    846364    386995     47.44     33.03  --
17.34/4.82	c  N dy   104     16331     10283     25544    230191      7794    846364    287982     52.88     31.62  --
19.74/5.43	c  N dy   131     20363     10282     25544    230282     11556    846364    459380     39.79     30.20  --
22.13/6.04	c  N dy   159     24508     10282     25544    230337      9427    846364    316056     41.05     28.98  --
24.54/6.62	c  N dy   187     28621     10282     25544    230399     13295    846360    474901     46.25     27.94  --
25.32/6.87	c  S st   197     30001     10282     25544    230412      7392    846360    192212     30.29     27.52  --
26.12/7.05	c  S st   197     30501     10282     25544    230593      7705    846359    195591     30.29     27.52  --
26.12/7.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
26.12/7.06	c Cache  BProp: 21 Set: 0 BXProp: 0 T: 0.00
52.05/13.55	c Flit:    37 Blit:      3 bXBeca:    0 bXProp:   48 Bin:  30642 BRemL:   1444 BRemN:     77 CBin:       0 P: 60.0M T: 25.80
52.45/13.64	c Calc non-exist non-lernt bins v-fix:     0 done:  10237 time:  0.34 s
52.45/13.64	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
52.85/13.71	c Subs w/ non-existent bins:    223 time:  0.27 s
52.85/13.74	c Replacing       48 vars Replaced    11214 lits Time:     0.10 s 
52.85/13.79	c bin-w-bin subsume rem         1986 bins  time:  0.13 s
55.26/14.37	c subs with bin:      802  lits-rem:     32261  v-fix:    0  time:  2.28 s
55.26/14.39	c Removed useless bin:    2537  fixed:     0  bprops:   0.78M  time:  0.09 s
58.03/15.09	c lits-rem:     14309  cl-subs:     2506  v-elim:   6691  v-fix:    0  time:  2.78 s
58.03/15.09	c learnt bin added due to v-elim: 0
58.44/15.12	c vivif2 --  cl tried    22990 cl shrink     3627 lits rem      10292 time: 0.13
58.44/15.13	c vivif2 --  cl tried     5729 cl shrink      246 lits rem        837 time: 0.06
58.84/15.28	c asymm  cl-useful: 30/1368/22937 lits-rem:224 time: 0.59
59.25/15.31	c calculated reachability. Time: 0.09
59.25/15.31	c  N dy   197     30501      8932     22937    217099      5724    693469    179145     30.29     27.52  --
59.25/15.31	c  F st   197     30501      8932     22937    217099      5724    693469    179145     30.29     27.52  --
60.04/15.59	c Decided on static restart strategy
61.24/15.82	c  N dy   217     34628      8932     22937    217126      9529    693469    299223     28.71     26.29  --
63.24/16.34	c  N dy   245     38771      8932     22937    217133     13377    693469    412199     27.73     25.15  --
65.23/16.82	c  N dy   272     42811      8931     22937    217144      9145    693457    251273     42.40     24.80  --
66.43/17.17	c  S st   292     45753      8879     22937    217154     11978    693457    359022     47.60     24.51  --
66.82/17.29	c  S st   292     46257      8879     22937    217165     12462    693451    369970     47.60     24.51  --
67.22/17.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
67.22/17.31	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
78.01/20.08	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:   37 Bin:   4455 BRemL:    445 BRemN:   1607 CBin:       0 P: 53.0M T: 11.06
78.41/20.16	c Calc non-exist non-lernt bins v-fix:     0 done:   8875 time:  0.31 s
78.41/20.16	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
78.81/20.25	c Subs w/ non-existent bins:    232 time:  0.36 s
78.81/20.29	c Replacing       37 vars Replaced     3425 lits Time:     0.16 s 
79.21/20.34	c bin-w-bin subsume rem          591 bins  time:  0.12 s
81.23/20.84	c subs with bin:       48  lits-rem:      1429  v-fix:    0  time:  2.01 s
81.23/20.86	c Removed useless bin:    1364  fixed:     0  bprops:   0.61M  time:  0.07 s
83.60/21.41	c lits-rem:      2297  cl-subs:     1840  v-elim:   4064  v-fix:    0  time:  2.20 s
83.60/21.41	c learnt bin added due to v-elim: 0
83.60/21.44	c vivif2 --  cl tried    21537 cl shrink      456 lits rem       3853 time: 0.10
83.60/21.45	c vivif2 --  cl tried     6032 cl shrink       82 lits rem        127 time: 0.07
84.40/21.60	c asymm  cl-useful: 26/1496/21393 lits-rem:112 time: 0.57
84.40/21.62	c calculated reachability. Time: 0.08
84.40/21.62	c  N dy   292     46257      8536     21393    203220      6031    648986    208658     47.60     24.51  --
86.02/22.05	c  N dy   319     50382      8535     21393    229675     10763    649060    423096     42.08     24.23  --
87.99/22.57	c  N dy   347     54507      8535     21393    229677     14701    649060    572731     35.08     23.94  --
90.41/23.19	c  N dy   375     58610      8534     21393    229680     18540    648995    681032     24.06     23.23  --
92.39/23.66	c  N dy   402     62703      8534     21393    229684     12895    648995    374566     32.02     22.80  --
94.40/24.13	c  N dy   430     66827      8534     21393    229685     16861    648995    498207     34.86     22.32  --
95.18/24.33	c Finding binary XORs  T:     0.25 s  found:      16
95.98/24.59	c  S st   449     69385      8534     21393    229587     19294    648907    554789     24.66     21.92  --
96.78/24.72	c  S st   449     69887      8534     21393    229594     19783    648906    562752     24.66     21.92  --
96.78/24.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
96.78/24.73	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
109.16/27.86	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   16 Bin:   3735 BRemL:   9110 BRemN:   7184 CBin:       0 P: 60.0M T: 12.49
109.56/27.93	c Calc non-exist non-lernt bins v-fix:     0 done:   8533 time:  0.29 s
109.56/27.94	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
109.96/28.03	c Subs w/ non-existent bins:    326 time:  0.36 s
109.96/28.06	c Replacing       32 vars Replaced     9028 lits Time:     0.11 s 
110.36/28.11	c bin-w-bin subsume rem         1061 bins  time:  0.12 s
113.55/28.92	c subs with bin:      271  lits-rem:      3043  v-fix:    0  time:  3.23 s
113.55/28.94	c Removed useless bin:     457  fixed:     0  bprops:   0.54M  time:  0.06 s
118.75/30.22	c ORs :   6902 avg-s: 25.0 cl-sh:  7970 l-rem:  19751 b-add:     89 v-rep:   0 cl-rem: 290 avg s: 17.4 T:    0.98
123.14/31.34	c Added 51 vars  tried: 80000 time: 4.45
123.14/31.35	c ORs :     51 avg-s:  0.0 cl-sh: 11063 l-rem:  11063 b-add:    106 v-rep:   2 cl-rem: 136 avg s: 4.3 T:    4.53
123.14/31.37	c lits-rem:     17574  cl-subs:     3879  v-elim:   2700  v-fix:    0  time:  9.73 s
123.14/31.37	c learnt bin added due to v-elim: 0
123.54/31.40	c vivif2 --  cl tried    20692 cl shrink      402 lits rem        982 time: 0.11
123.54/31.45	c vivif2 --  cl tried    15545 cl shrink     1971 lits rem       6780 time: 0.20
123.94/31.59	c asymm  cl-useful: 32/1000/20683 lits-rem:59 time: 0.54
124.34/31.61	c calculated reachability. Time: 0.07
124.34/31.61	c  N dy   449     69887      8551     20683    215643     15539    608653    413054     24.66     21.92  --
124.34/31.61	c  F st   449     69887      8551     20683    215643     15539    608653    413054     24.66     21.92  --
124.34/31.62	c Replacing        2 vars Replaced      349 lits Time:     0.05 s 
125.93/32.06	c Decided on static restart strategy
128.34/32.60	c  N dy   471     74357      8549     20683    215665     19925    608641    609147     49.49     21.64  --
132.32/33.66	c  N dy   505     79233      8549     20683    215682     14366    608625    414225     61.05     21.39  --
137.52/34.92	c  N dy   541     84355      8549     20683    215715     19388    608621    641783     35.80     21.20  --
141.91/36.00	c  N dy   578     89772      8549     20683    215720     13220    608618    311537     46.21     20.94  --
148.30/37.61	c  N dy   617     95563      8549     20683    231990     19118    608634    717803     40.94     21.03  --
153.49/38.92	c  N dy   660    101793      8549     20683    236097     25388    608652    959365     31.84     20.72  --
156.69/39.73	c  S st   681    104830      8549     20683    236104     15585    608651    426451     74.67     20.73  --
157.09/39.86	c  S st   681    105334      8549     20683    236134     16055    608648    433610     74.67     20.73  --
157.09/39.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
157.09/39.87	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
168.67/42.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:   6110 BRemL:   5069 BRemN:    274 CBin:       0 P: 51.9M T: 11.66
169.09/42.87	c Calc non-exist non-lernt bins v-fix:     0 done:   8549 time:  0.29 s
169.09/42.87	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
169.49/42.97	c Subs w/ non-existent bins:     71 time:  0.40 s
169.49/42.99	c Replacing        5 vars Replaced     1198 lits Time:     0.06 s 
169.87/43.04	c bin-w-bin subsume rem          206 bins  time:  0.13 s
172.27/43.67	c subs with bin:      282  lits-rem:      3116  v-fix:    0  time:  2.53 s
172.27/43.69	c Removed useless bin:     323  fixed:     0  bprops:   0.53M  time:  0.07 s
176.66/44.77	c ORs :   3401 avg-s: 15.2 cl-sh:  3681 l-rem:  13959 b-add:      9 v-rep:   0 cl-rem: 74 avg s: 18.5 T:    0.81
176.66/44.78	c lits-rem:      1927  cl-subs:     2143  v-elim:   3112  v-fix:    0  time:  4.36 s
176.66/44.78	c learnt bin added due to v-elim: 0
177.06/44.81	c vivif2 --  cl tried    20442 cl shrink      290 lits rem        985 time: 0.12
177.06/44.87	c vivif2 --  cl tried    13841 cl shrink     2137 lits rem       3748 time: 0.23
177.46/45.00	c asymm  cl-useful: 131/1153/20425 lits-rem:255 time: 0.53
177.88/45.02	c calculated reachability. Time: 0.07
177.88/45.02	c  N dy   681    105334      8519     20425    236190     13836    590059    373053     74.67     20.73  --
181.85/46.08	c  N dy   728    112120      8517     20425    236205     20429    590043    539418     23.50     20.25  --
186.66/47.22	c  N dy   778    119365      8516     20425    236212     13857    590015    273043     35.29     19.91  --
191.06/48.35	c  N dy   830    127046      8516     20425    236214     21344    590004    467150     22.74     19.50  --
196.63/49.73	c  N dy   886    135210      8515     20425    236221     14689    589996    275694     30.37     19.14  --
201.82/51.06	c  N dy   946    143912      8515     20425    236228     23107    589995    485099     22.31     18.74  --
207.81/52.58	c Finding binary XORs  T:     0.24 s  found:       1
208.63/52.72	c  N dy  1009    153119      8513     20425    235618     16479    589573    286475     23.11     18.31  --
211.81/53.50	c  S st  1043    158002      8513     20425    235621     21252    589562    410729     26.83     18.14  --
212.22/53.60	c  S st  1043    158502      8513     20425    235626     21745    589560    416873     26.83     18.14  --
212.22/53.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
212.22/53.62	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
223.40/56.44	c Flit:     8 Blit:      0 bXBeca:    0 bXProp:    2 Bin:   2117 BRemL:    452 BRemN:    334 CBin:       0 P: 50.6M T: 11.27
223.80/56.52	c Calc non-exist non-lernt bins v-fix:     0 done:   8495 time:  0.30 s
223.80/56.53	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
224.20/56.63	c Subs w/ non-existent bins:     27 time:  0.44 s
224.20/56.66	c Replacing        3 vars Replaced     2294 lits Time:     0.09 s 
224.59/56.71	c bin-w-bin subsume rem          157 bins  time:  0.13 s
226.61/57.24	c subs with bin:       71  lits-rem:       526  v-fix:    0  time:  2.11 s
226.61/57.26	c Removed useless bin:      60  fixed:     0  bprops:   0.51M  time:  0.07 s
230.18/58.15	c ORs :   3376 avg-s: 15.2 cl-sh:    21 l-rem:    142 b-add:      1 v-rep:   0 cl-rem: 21 avg s: 32.2 T:    0.62
230.18/58.16	c lits-rem:      1645  cl-subs:     3487  v-elim:   3115  v-fix:    0  time:  3.63 s
230.18/58.16	c learnt bin added due to v-elim: 0
230.18/58.19	c vivif2 --  cl tried    20462 cl shrink      110 lits rem        265 time: 0.11
230.60/58.24	c vivif2 --  cl tried    18177 cl shrink       37 lits rem         41 time: 0.20
231.00/58.38	c asymm  cl-useful: 105/859/20455 lits-rem:228 time: 0.54
231.37/58.40	c calculated reachability. Time: 0.07
231.37/58.40	c  N dy  1043    158502      8476     20452    235399     18176    587177    346856     26.83     18.14  --
238.17/60.13	c  N dy  1115    168751      8475     20452    254508     28705    587390    637423     21.30     17.80  --
245.36/61.95	c  N dy  1189    179552      8594     20452    268980     23023    587901    477929     25.14     17.49  --
253.75/64.06	c  N dy  1268    191158      8594     20452    268990     34316    587901    734903     22.68     17.11  --
262.14/66.14	c  N dy  1351    203391      8593     20452    269001     28404    587897    591189     20.57     16.76  --
271.32/68.49	c  N dy  1440    216453      8593     20452    269007     22493    587894    432836     28.13     16.44  --
275.32/69.40	c Finding binary XORs  T:     0.24 s  found:       6
281.32/70.96	c  N dy  1534    230361      8585     20450    268901     36002    587823    768172     22.99     16.15  --
286.91/72.30	c  S st  1585    237753      8585     20450    268905     23710    587821    444273     29.73     16.08  --
287.31/72.40	c  S st  1585    238255      8585     20450    268906     24209    587821    451936     29.73     16.08  --
287.31/72.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
287.31/72.42	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
299.29/75.48	c Flit:     6 Blit:      0 bXBeca:    0 bXProp:    4 Bin:   1768 BRemL:   3295 BRemN:    417 CBin:       0 P: 58.4M T: 12.23
299.69/75.56	c Calc non-exist non-lernt bins v-fix:     0 done:   8576 time:  0.32 s
299.69/75.57	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
300.09/75.68	c Subs w/ non-existent bins:    275 time:  0.46 s
300.49/75.71	c Replacing       10 vars Replaced     2868 lits Time:     0.09 s 
300.49/75.76	c bin-w-bin subsume rem          106 bins  time:  0.16 s
302.48/76.28	c subs with bin:      347  lits-rem:      1968  v-fix:    0  time:  2.06 s
302.48/76.30	c Removed useless bin:     184  fixed:     0  bprops:   0.49M  time:  0.07 s
305.70/77.08	c ORs :   3347 avg-s: 14.9 cl-sh:    83 l-rem:    224 b-add:     24 v-rep:   0 cl-rem: 22 avg s: 15.8 T:    0.62
305.70/77.09	c lits-rem:       970  cl-subs:     3181  v-elim:   2535  v-fix:    0  time:  3.18 s
305.70/77.09	c learnt bin added due to v-elim: 0
306.07/77.12	c vivif2 --  cl tried    20156 cl shrink      198 lits rem        455 time: 0.12
306.07/77.18	c vivif2 --  cl tried    20389 cl shrink      606 lits rem        764 time: 0.24
306.87/77.32	c asymm  cl-useful: 105/852/20156 lits-rem:185 time: 0.57
306.87/77.35	c calculated reachability. Time: 0.07
306.87/77.35	c  N dy  1585    238255      8563     20156    265276     20368    579511    392402     29.73     16.08  --
317.66/80.05	c  N dy  1690    253497      8561     20156    275762     35300    579528    799757     32.87     15.84  --
329.24/82.99	c  N dy  1802    269699      8561     20156    275772     30639    579527    647309     26.71     15.63  --
342.82/86.34	c  N dy  1920    286985      8561     20156    275779     26078    579524    478752     23.10     15.39  --
357.61/90.00	c  N dy  2046    305431      8561     20156    275789     44035    579523    929528     21.17     15.17  --
371.61/93.59	c  N dy  2181    325001      8561     20156    276747     40880    579521    843054     26.63     14.97  --
386.76/97.35	c  N dy  2317    345023      8560     20156    277051     37087    579517    782408     28.70     14.81  --
397.57/100.05	c  S st  2403    357382      8629     20156    288809     24841    579793    423849     24.48     14.68  --
397.97/100.18	c  S st  2403    357886      8629     20156    288812     25337    579791    432145     24.48     14.68  --
397.97/100.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
398.35/100.20	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
411.15/103.40	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    5 Bin:   1442 BRemL:   2324 BRemN:    357 CBin:       0 P: 60.0M T: 12.80
411.15/103.49	c Calc non-exist non-lernt bins v-fix:     0 done:   8627 time:  0.32 s
411.15/103.49	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
411.93/103.61	c Subs w/ non-existent bins:     86 time:  0.48 s
411.93/103.64	c Replacing        5 vars Replaced      752 lits Time:     0.09 s 
411.93/103.69	c bin-w-bin subsume rem           56 bins  time:  0.17 s
413.53/104.09	c subs with bin:      290  lits-rem:       813  v-fix:    0  time:  1.61 s
413.93/104.11	c Removed useless bin:      35  fixed:     0  bprops:   0.47M  time:  0.07 s
416.32/104.78	c ORs :   3348 avg-s: 14.9 cl-sh:    43 l-rem:    108 b-add:     10 v-rep:   0 cl-rem: 13 avg s: 30.5 T:    0.67
416.32/104.80	c lits-rem:      1352  cl-subs:     1487  v-elim:   2654  v-fix:    0  time:  2.73 s
416.32/104.80	c learnt bin added due to v-elim: 0
416.73/104.82	c vivif2 --  cl tried    20108 cl shrink      114 lits rem        255 time: 0.11
416.73/104.89	c vivif2 --  cl tried    22696 cl shrink      533 lits rem        899 time: 0.25
417.53/105.03	c asymm  cl-useful: 134/1153/20108 lits-rem:229 time: 0.56
417.53/105.05	c calculated reachability. Time: 0.07
417.53/105.06	c  N dy  2403    357886      8617     20100    286461     22695    577892    405477     24.48     14.68  --
432.72/108.85	c  N dy  2539    377951      8615     20100    286476     42258    577891    875895     27.64     14.49  --
449.48/113.05	c  N dy  2676    398105      8615     20100    287218     36739    577891    692921     22.89     14.34  --
457.07/115.00	c Finding binary XORs  T:     0.24 s  found:       0
468.28/117.70	c  N dy  2813    418135      8614     20099    290883     29747    577642    516675     24.85     14.21  --
485.03/121.99	c  N dy  2948    438226      8613     20099    290889     49437    577641    989739     22.40     14.12  --
502.60/126.30	c  N dy  3084    458230      8613     20099    290892     41645    577641    785599     28.77     14.03  --
520.59/130.80	c  N dy  3220    478262      8611     20099    291406     32894    577642    553455     27.45     13.93  --
537.75/135.18	c  N dy  3357    498269      8686     20099    301397     52597    577953    995995     25.75     13.82  --
556.15/139.72	c  N dy  3494    518294      8685     20099    301406     42822    577950    802799     19.88     13.73  --
572.91/143.94	c  S st  3620    536830      8684     20099    301415     30649    577950    492035     22.57     13.65  --
573.33/144.05	c  S st  3620    537334      8684     20099    301415     31151    577950    502575     22.57     13.65  --
573.33/144.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
573.33/144.07	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
586.50/147.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bin:    960 BRemL:   2401 BRemN:    195 CBin:       0 P: 60.0M T: 13.07
586.91/147.43	c Calc non-exist non-lernt bins v-fix:     0 done:   8684 time:  0.33 s
586.91/147.43	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
587.28/147.57	c Subs w/ non-existent bins:     59 time:  0.58 s
587.68/147.60	c Replacing        6 vars Replaced     1183 lits Time:     0.10 s 
587.68/147.66	c bin-w-bin subsume rem           45 bins  time:  0.18 s
589.29/148.10	c subs with bin:      183  lits-rem:       884  v-fix:    0  time:  1.73 s
589.69/148.11	c Removed useless bin:      61  fixed:     0  bprops:   0.46M  time:  0.07 s
592.48/148.86	c ORs :   3345 avg-s: 14.8 cl-sh:    37 l-rem:     41 b-add:      9 v-rep:   0 cl-rem: 6 avg s: 15.2 T:    0.60
592.48/148.88	c lits-rem:       592  cl-subs:     1477  v-elim:   2486  v-fix:    0  time:  3.05 s
592.48/148.88	c learnt bin added due to v-elim: 0
592.88/148.91	c vivif2 --  cl tried    20078 cl shrink       90 lits rem        368 time: 0.12
592.88/148.99	c vivif2 --  cl tried    28945 cl shrink      265 lits rem        365 time: 0.34
593.68/149.13	c asymm  cl-useful: 149/682/20078 lits-rem:175 time: 0.57
593.68/149.16	c calculated reachability. Time: 0.07
593.68/149.16	c  N dy  3620    537334      8677     20077    299339     28930    576020    479531     22.57     13.65  --
593.68/149.16	c  F st  3620    537334      8677     20077    299339     28930    576020    479531     22.57     13.65  --
595.71/149.63	c Decided on static restart strategy
611.26/153.59	c  N dy  3749    557415      8675     20077    303911     48755    576120    950180     26.39     13.57  --
630.85/158.46	c  N dy  3887    577447      8675     20077    304814     37080    576142    631392     20.89     13.50  --
648.02/162.73	c  N dy  4025    597570      8675     20077    304818     56792    576142   1103419     22.06     13.46  --
665.61/167.12	c  N dy  4161    617711      8675     20077    305311     44198    576158    772536     18.26     13.41  --
667.18/167.57	c Finding binary XORs  T:     0.25 s  found:       3
684.75/171.96	c  N dy  4298    637796      8675     20077    309468     63844    576013   1285318     29.63     13.39  --
703.13/176.50	c  N dy  4435    657830      8675     20077    309945     50242    576027    899174     19.81     13.34  --
723.91/181.76	c  N dy  4572    677838      8674     20077    309954     35527    576027    556248     18.56     13.28  --
740.70/185.99	c  N dy  4707    697864      8674     20077    310521     55137    576027   1021763     25.41     13.23  --
759.86/190.78	c  N dy  4842    717929      8672     20077    314528     39625    576027    646645     20.09     13.19  --
777.83/195.27	c  N dy  4979    737979      8672     20077    314531     59319    576027   1106687     17.59     13.15  --
797.01/200.02	c  N dy  5116    758077      8672     20077    314533     42783    576027    725883     22.94     13.16  --
815.78/204.76	c  N dy  5253    778194      8672     20077    314663     62512    576021   1237975     25.72     13.14  --
834.16/209.39	c  N dy  5389    798274      8672     20077    318088     45029    576019    775703     22.76     13.12  --
840.95/211.07	c  S st  5441    806002      8672     20077    318341     52625    576023    976299     23.62     13.12  --
841.76/211.22	c  S st  5441    806505      8672     20077    318341     53126    576023    989495     23.62     13.12  --
841.76/211.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
841.76/211.24	c Cache  BProp: 4 Set: 0 BXProp: 1 T: 0.02
855.33/214.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:    307 BRemL:   4726 BRemN:     65 CBin:       0 P: 60.0M T: 13.62
855.73/214.73	c Calc non-exist non-lernt bins v-fix:     0 done:   8672 time:  0.34 s
855.73/214.74	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.02
856.93/215.00	c Subs w/ non-existent bins:    146 time:  1.06 s
856.93/215.03	c Replacing        8 vars Replaced     1416 lits Time:     0.12 s 
857.33/215.11	c bin-w-bin subsume rem          241 bins  time:  0.19 s
861.32/216.13	c subs with bin:      338  lits-rem:       953  v-fix:    0  time:  4.08 s
861.32/216.15	c Removed useless bin:      24  fixed:     0  bprops:   0.45M  time:  0.07 s
870.91/218.58	c ORs :   3343 avg-s: 14.7 cl-sh:    64 l-rem:     67 b-add:      7 v-rep:   0 cl-rem: 11 avg s: 10.5 T:    0.73
880.50/220.91	c Added 1 vars  tried: 80000 time: 9.33
880.50/220.91	c ORs :      1 avg-s:  0.0 cl-sh:   390 l-rem:    390 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    9.34
880.50/220.94	c lits-rem:      1653  cl-subs:     5543  v-elim:   2483  v-fix:    0  time: 19.12 s
880.50/220.94	c learnt bin added due to v-elim: 0
880.50/220.97	c vivif2 --  cl tried    19957 cl shrink       61 lits rem         86 time: 0.11
881.32/221.13	c vivif2 --  cl tried    45702 cl shrink     1177 lits rem       3769 time: 0.67
881.69/221.28	c asymm  cl-useful: 59/454/19957 lits-rem:75 time: 0.57
882.09/221.30	c calculated reachability. Time: 0.08
882.09/221.31	c  N dy  5441    806505      8666     19954    313393     45693    573705    835317     23.62     13.12  --
900.87/226.07	c  N dy  5579    826616      8664     19954    316237     65419    573734   1309313     29.76     13.09  --
920.05/230.86	c  N dy  5717    846724      8664     19954    316357     47037    573736    785798     19.91     13.07  --
937.62/235.29	c  N dy  5853    866731      8664     19954    316359     66664    573736   1305792     26.00     13.07  --
956.02/239.85	c  N dy  5990    886807      8664     19954    316513     47313    573754    788256     25.76     13.07  --
967.98/242.89	c Finding binary XORs  T:     0.25 s  found:       2
973.59/244.28	c  N dy  6125    906921      8664     19950    316422     67082    573634   1310610     23.45     13.08  --
991.55/248.78	c  N dy  6261    927064      8664     19950    319024     46674    573696    762392     22.16     13.09  --
1009.92/253.35	c  N dy  6396    947080      8664     19950    319024     66343    573696   1252402     22.36     13.08  --
1029.10/258.17	c  N dy  6532    967102      8664     19950    319024     44770    573696    678525     22.49     13.07  --
1045.07/262.14	c  N dy  6665    987104      8664     19950    319024     64412    573695   1180756     27.30     13.07  --
1064.65/267.00	c  N dy  6801   1007159      8664     19950    322003     84125    573697   1713765     40.98     13.07  --
1082.63/271.56	c  N dy  6937   1027186      8668     19950    322885     61605    573763   1137531     28.65     13.09  --
1102.99/276.65	c  N dy  7072   1047306      8667     19950    322887     81318    573763   1674041     30.05     13.11  --
1122.18/281.45	c  N dy  7207   1067367      8667     19950    322887     57843    573763   1028624     27.87     13.12  --
1140.95/286.14	c  N dy  7342   1087472      8667     19950    326589     77555    573767   1580257     27.96     13.13  --
1160.52/291.00	c  N dy  7478   1107570      8667     19950    326739     53220    573767    884190     27.19     13.13  --
1178.09/295.43	c  N dy  7611   1127571      8667     19950    326740     72870    573767   1400677     27.72     13.13  --
1199.67/300.82	c  N dy  7748   1147609      8667     19950    326740     47401    573767    710345     34.41     13.17  --
1218.04/305.44	c  N dy  7884   1167725      8667     19950    326741     67167    573767   1251619     22.90     13.18  --
1238.01/310.40	c  N dy  8019   1187817      8667     19950    326857     87183    573771   1760055     25.29     13.17  --
1257.19/315.20	c  N dy  8154   1207872      8664     19950    327830     60700    573772   1035416     27.05     13.18  --
1259.21/315.76	c  S st  8167   1209758      8664     19950    327830     62543    573772   1089917     30.78     13.18  --
1259.59/315.90	c  S st  8167   1210260      8664     19950    327830     63042    573772   1099720     30.78     13.18  --
1259.99/315.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1259.99/315.91	c Cache  BProp: 6 Set: 0 BXProp: 12 T: 0.02
1274.37/319.57	c Flit:     6 Blit:      0 bXBeca:    0 bXProp:    5 Bin:    558 BRemL:   5794 BRemN:    130 CBin:       0 P: 60.0M T: 14.62
1274.77/319.66	c Calc non-exist non-lernt bins v-fix:     0 done:   8658 time:  0.35 s
1274.77/319.67	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.02
1275.97/319.98	c Subs w/ non-existent bins:    414 time:  1.25 s
1276.38/320.02	c Replacing       12 vars Replaced     5606 lits Time:     0.17 s 
1276.78/320.11	c bin-w-bin subsume rem          334 bins  time:  0.20 s
1281.18/321.29	c subs with bin:      616  lits-rem:      2827  v-fix:    0  time:  4.75 s
1281.55/321.31	c Removed useless bin:      36  fixed:     0  bprops:   0.45M  time:  0.08 s
1286.74/322.66	c ORs :   3326 avg-s: 14.7 cl-sh:    58 l-rem:     90 b-add:      3 v-rep:   0 cl-rem: 19 avg s: 8.4 T:    0.66
1286.74/322.68	c lits-rem:      1895  cl-subs:     7984  v-elim:   2964  v-fix:    0  time:  5.48 s
1286.74/322.68	c learnt bin added due to v-elim: 0
1287.14/322.71	c vivif2 --  cl tried    19951 cl shrink      210 lits rem       1202 time: 0.12
1287.94/322.91	c vivif2 --  cl tried    53951 cl shrink     1060 lits rem       2382 time: 0.79
1288.34/323.05	c asymm  cl-useful: 35/413/19948 lits-rem:50 time: 0.55
1288.34/323.08	c calculated reachability. Time: 0.07
1288.34/323.08	c  N dy  8167   1210260      8588     19943    319072     53946    573618    919662     30.78     13.18  --
1307.92/327.90	c  N dy  8302   1230339      8588     19943    319080     73648    573618   1500497     28.90     13.18  --
1328.69/333.16	c  N dy  8437   1250420      8587     19943    319397     93412    573624   2052261     29.88     13.17  --
1346.69/337.67	c  N dy  8571   1270421      8587     19943    322900     66170    573642   1157644     32.44     13.16  --
1358.25/340.52	c Finding binary XORs  T:     0.25 s  found:       3
1366.64/342.64	c  N dy  8706   1290488      8586     19919    322837     85620    573530   1687543     28.07     13.14  --
1386.63/347.62	c  N dy  8841   1310606      8586     19919    322838     57339    573530    947960     20.08     13.15  --
1406.19/352.51	c  N dy  8975   1330609      8585     19919    323465     77152    573535   1551459     29.53     13.16  --
1430.57/358.68	c  N dy  9108   1350674      8560     19919    325309     97093    573571   2248760     27.20     13.19  --
1449.33/363.30	c  N dy  9243   1370802      8560     19919    325310     67631    573571   1209220     24.52     13.20  --
1470.90/368.72	c  N dy  9377   1390827      8560     19919    325311     87378    573571   1814050     33.53     13.20  --
1493.67/374.43	c  N dy  9511   1410861      8560     19919    326236     56921    573617    869634     32.02     13.21  --
1513.66/379.44	c  N dy  9644   1430871      8560     19919    335230     77205    573853   1473338     28.14     13.22  --
1538.42/385.66	c  N dy  9780   1450936      8556     19919    335231     96948    573853   2136796     28.19     13.23  --
1559.98/391.06	c  N dy  9914   1470960      8554     19919    335233     65259    573853   1092045     23.77     13.24  --
1583.56/396.98	c  N dy 10049   1491051      8554     19919    335639     85284    574091   1770942     35.84     13.24  --
1611.12/403.87	c  N dy 10184   1511093      8553     19919    335787     52580    574095    686921     33.85     13.25  --
1630.69/408.75	c  N dy 10319   1531129      8544     19919    337242     72721    574115   1256030     33.17     13.25  --
1654.68/414.77	c  N dy 10453   1551205      8542     19919    337676     93065    574155   1943096     27.68     13.25  --
1679.83/421.09	c  N dy 10587   1571276      8540     19919    337778     59168    574157    826286     22.51     13.27  --
1701.79/426.58	c  N dy 10721   1591366      8532     19919    338573     79453    574188   1435788     32.32     13.27  --
1728.16/433.15	c  N dy 10856   1611414      8530     19919    338576     99137    574188   2110647     31.84     13.28  --
1741.34/436.45	c Finding binary XORs  T:     0.25 s  found:      37
1758.12/440.69	c  N dy 10993   1631419      8528     18085    334273     58570    558069    811167     26.34     13.28  --
1782.49/446.76	c  N dy 11128   1651545      8525     18085    334997     78486    558135   1463382     36.95     13.28  --
1811.65/454.09	c  N dy 11264   1671612      8522     18085    334998     98279    558135   2182146     49.15     13.29  --
1840.41/461.25	c  N dy 11399   1691718      8502     18085    335909     62998    558223    939855     32.50     13.30  --
1862.78/466.88	c  S st 11524   1710260      8481     18085    336505     81407    558285   1605576     39.45     13.33  --
1863.58/467.08	c  S st 11524   1710762      8472     18085    336506     81901    558285   1616409     39.45     13.33  --
1863.58/467.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1863.98/467.10	c Cache  BProp: 461 Set: 0 BXProp: 1 T: 0.02
1879.16/470.99	c Flit:     1 Blit:      1 bXBeca:    0 bXProp:   17 Bin:   3391 BRemL:  13230 BRemN:    338 CBin:       0 P: 60.0M T: 15.53
1879.56/471.08	c Calc non-exist non-lernt bins v-fix:     0 done:   8465 time:  0.35 s
1879.56/471.08	c Cache  BProp: 382 Set: 0 BXProp: 0 T: 0.02
1881.56/471.53	c Subs w/ non-existent bins:   1648 time:  1.79 s
1881.96/471.65	c Replacing       58 vars Replaced    42752 lits Time:     0.47 s 
1882.36/471.74	c bin-w-bin subsume rem          504 bins  time:  0.20 s
1887.57/473.07	c subs with bin:     1194  lits-rem:     10549  v-fix:    0  time:  5.31 s
1887.57/473.09	c Removed useless bin:     291  fixed:     0  bprops:   0.43M  time:  0.07 s
1895.28/475.23	c ORs :   2833 avg-s: 14.0 cl-sh:   995 l-rem:   1364 b-add:     45 v-rep:   0 cl-rem: 189 avg s: 19.5 T:    0.40
1898.76/477.10	c Added 0 vars  tried: 80000 time: 3.42
1898.76/477.10	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:    3.42
1898.76/477.13	c lits-rem:       772  cl-subs:    15648  v-elim:   4917  v-fix:    0  time: 10.87 s
1898.76/477.13	c learnt bin added due to v-elim: 0
1898.76/477.15	c vivif2 --  cl tried    17966 cl shrink      809 lits rem       3957 time: 0.03
1898.96/477.39	c vivif2 --  cl tried    55956 cl shrink    10416 lits rem      17951 time: 0.24
1899.16/477.53	c asymm  cl-useful: 20/512/17768 lits-rem:29 time: 0.14
1899.16/477.56	c calculated reachability. Time: 0.02
1899.16/477.56	c  N dy 11524   1710762      7728     17765    289667     55892    538731   1119700     39.45     13.33  --
1899.31/477.65	c Following stats are for *FIRST FINISHED THREAD ONLY*
1899.31/477.65	c num threads              : 4          
1899.31/477.65	c restarts                 : 146        
1899.31/477.65	c dynamic restarts         : 47         
1899.31/477.65	c static restarts          : 99         
1899.31/477.65	c full restarts            : 20         
1899.31/477.65	c total simplify time      : 0.54       
1899.31/477.65	c learnts DL2              : 0          
1899.31/477.65	c learnts size 2           : 520749     
1899.31/477.65	c learnts size 1           : 3294        (18.27     % of vars)
1899.31/477.65	c filedLit time            : 1073.78     (56.58     % time)
1899.31/477.65	c v-elim SatELite          : 7761        (43.04     % vars)
1899.31/477.65	c SatELite time            : 296.82      (15.64     % time)
1899.31/477.65	c v-elim xor               : 0           (0.00      % vars)
1899.31/477.65	c xor elim time            : 3.92        (0.21      % time)
1899.31/477.65	c num binary xor trees     : 664        
1899.31/477.65	c binxor trees' crown      : 2421        (3.65      leafs/tree)
1899.31/477.65	c bin xor find time        : 0.74       
1899.31/477.65	c OTF clause subsumed      : 2095        (0.01      clauses/conflict)
1899.31/477.65	c OTF subs. size diff      : 2481        (1.18       lits/clause)
1899.31/477.65	c OTF cl watch-shrink      : 109612      (0.73      clauses/conflict)
1899.31/477.65	c OTF cl watch-sh-lit      : 787861      (7.19       lits/clause)
1899.31/477.65	c tried to recurMin cls    : 149594      (99.99      % of conflicts)
1899.31/477.65	c updated cache            : 106         (0.00       lits/tried recurMin)
1899.31/477.65	c OTF Gate-Rem cl          : 22927       (0.15      clauses/conflict)
1899.31/477.65	c OTF Gate-rem lits        : 66907       (2.92      lits/confl)
1899.31/477.65	c unit cls received        : 58          (1.76      % of units)
1899.31/477.65	c unit cls sent            : 51          (1.55      % of units)
1899.31/477.65	c bin cls received         : 143041     
1899.31/477.65	c bin cls sent             : 111094     
1899.31/477.65	c tri cls recevied         : 6610       
1899.31/477.65	c tri cls sent             : 19301      
1899.31/477.65	c clauses over max glue    : 0           (0.00      % of all clauses)
1899.31/477.65	c conflicts                : 149610      (78.83     / sec)
1899.31/477.65	c decisions                : 1213929     (24.34     % random)
1899.31/477.65	c bogo-props               : 47777964    (25175.19  / sec)
1899.31/477.65	c props                    : 4117034     (2169.35   / sec)
1899.31/477.65	c conflict literals        : 3429180     (35.45     % deleted)
1899.31/477.65	c Memory used              : 948.35      MB
1899.31/477.65	c single-thread CPU time   : 1897.82     s
1899.31/477.65	c all-threads sum CPU time : 1897.82     s
1899.31/477.65	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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

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

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


[startup+0 s]
/proc/loadavg: 7.42 7.94 7.96 2/174 26323
/proc/meminfo: memFree=28015012/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=50612 CPUtime=0 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 943 0 0 0 0 0 0 0 25 0 1 0 515414659 51826688 874 33554432000 4194304 4797429 140736464812144 18446744073709551615 4365507 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26323/statm: 12653 875 348 148 0 7582 0

[startup+0.090945 s]
/proc/loadavg: 7.42 7.94 7.96 2/174 26323
/proc/meminfo: memFree=28015012/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=66904 CPUtime=0.08 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 5465 0 0 0 8 0 0 0 25 0 1 0 515414659 68509696 4942 33554432000 4194304 4797429 140736464812144 18446744073709551615 218905427650 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26323/statm: 16726 4942 349 148 0 11655 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 66904

[startup+0.100949 s]
/proc/loadavg: 7.42 7.94 7.96 2/174 26323
/proc/meminfo: memFree=28015012/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=67696 CPUtime=0.09 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 5741 0 0 0 9 0 0 0 25 0 1 0 515414659 69320704 5218 33554432000 4194304 4797429 140736464812144 18446744073709551615 218905391813 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26323/statm: 16924 5219 349 148 0 11853 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67696

[startup+0.300904 s]
/proc/loadavg: 7.42 7.94 7.96 2/174 26323
/proc/meminfo: memFree=28015012/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=90760 CPUtime=0.29 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 13127 0 0 0 28 1 0 0 25 0 1 0 515414659 92938240 11644 33554432000 4194304 4797429 140736464812144 18446744073709551615 218905427449 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26323/statm: 22690 11645 349 148 0 17619 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 90760

[startup+0.745411 s]
/proc/loadavg: 7.42 7.94 7.96 2/174 26323
/proc/meminfo: memFree=28015012/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=747440 CPUtime=1.72 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) D 26321 26323 26197 0 -1 4202496 26121 0 0 0 164 8 0 0 18 0 4 0 515414659 765378560 21037 33554432000 4194304 4797429 140736464812144 18446744073709551615 218905774263 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26323/statm: 186893 21090 385 148 0 181822 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 747440

[startup+1.50065 s]
/proc/loadavg: 7.42 7.94 7.96 5/178 26327
/proc/meminfo: memFree=27838880/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=774488 CPUtime=4.21 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 51648 0 0 0 377 44 0 0 18 0 4 0 515414659 793075712 46564 33554432000 4194304 4797429 140736464812144 18446744073709551615 4428023 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26323/statm: 193622 46564 385 148 0 188551 0
[pid=26323/tid=26325] ppid=26321 vsize=774488 CPUtime=0.93 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) R 26321 26323 26197 0 -1 4202560 8117 0 0 0 85 8 0 0 18 0 4 0 515414699 793075712 46564 33554432000 4194304 4797429 140736464812144 18446744073709551615 4430051 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=774488 CPUtime=0.95 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) R 26321 26323 26197 0 -1 4202560 8286 0 0 0 84 11 0 0 18 0 4 0 515414699 793075712 46564 33554432000 4194304 4797429 140736464812144 18446744073709551615 4225989 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=774488 CPUtime=0.94 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 8365 0 0 0 84 10 0 0 18 0 4 0 515414699 793075712 46564 33554432000 4194304 4797429 140736464812144 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 774488

[startup+3.10036 s]
/proc/loadavg: 7.42 7.94 7.96 7/178 26327
/proc/meminfo: memFree=27734368/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=855464 CPUtime=10.55 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 61831 0 0 0 1002 53 0 0 18 0 4 0 515414659 875995136 56607 33554432000 4194304 4797429 140736464812144 18446744073709551615 4424368 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26323/statm: 213866 56607 414 148 0 208795 0
[pid=26323/tid=26325] ppid=26321 vsize=855464 CPUtime=2.53 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) R 26321 26323 26197 0 -1 4202560 10629 0 0 0 242 11 0 0 18 0 4 0 515414699 875995136 56607 33554432000 4194304 4797429 140736464812144 18446744073709551615 4422985 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=855464 CPUtime=2.53 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) R 26321 26323 26197 0 -1 4202560 10895 0 0 0 240 13 0 0 18 0 4 0 515414699 875995136 56607 33554432000 4194304 4797429 140736464812144 18446744073709551615 4423635 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=855464 CPUtime=2.53 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 10763 0 0 0 242 11 0 0 19 0 4 0 515414699 875995136 56607 33554432000 4194304 4797429 140736464812144 18446744073709551615 4426003 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.55
Current children cumulated vsize (KiB) 855464

[startup+6.30078 s]
/proc/loadavg: 7.23 7.89 7.94 6/181 26333
/proc/meminfo: memFree=27544040/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=869544 CPUtime=23.32 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 71253 0 0 0 2276 56 0 0 25 0 4 0 515414659 890413056 60130 33554432000 4194304 4797429 140736464812144 18446744073709551615 4391054 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26323/statm: 217386 60130 418 148 0 212315 0
[pid=26323/tid=26325] ppid=26321 vsize=869544 CPUtime=5.73 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) R 26321 26323 26197 0 -1 4202560 12509 0 0 0 561 12 0 0 25 0 4 0 515414699 890413056 60130 33554432000 4194304 4797429 140736464812144 18446744073709551615 218905836063 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=869544 CPUtime=5.73 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) R 26321 26323 26197 0 -1 4202560 12766 0 0 0 559 14 0 0 25 0 4 0 515414699 890413056 60130 33554432000 4194304 4797429 140736464812144 18446744073709551615 4259686 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=869544 CPUtime=5.74 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 12619 0 0 0 562 12 0 0 25 0 4 0 515414699 890413056 60130 33554432000 4194304 4797429 140736464812144 18446744073709551615 218905836063 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.32
Current children cumulated vsize (KiB) 869544

[startup+12.7006 s]
/proc/loadavg: 7.05 7.85 7.92 6/181 26334
/proc/meminfo: memFree=26826492/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=907668 CPUtime=48.85 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 89973 0 0 0 4816 69 0 0 20 0 4 0 515414659 929452032 77679 33554432000 4194304 4797429 140736464812144 18446744073709551615 4428866 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26323/statm: 226917 77679 418 148 0 221846 0
[pid=26323/tid=26325] ppid=26321 vsize=907668 CPUtime=12.12 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) R 26321 26323 26197 0 -1 4202560 15882 0 0 0 1197 15 0 0 21 0 4 0 515414699 929452032 77679 33554432000 4194304 4797429 140736464812144 18446744073709551615 4506757 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=907668 CPUtime=12.12 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) R 26321 26323 26197 0 -1 4202560 16507 0 0 0 1195 17 0 0 25 0 4 0 515414699 929452032 77679 33554432000 4194304 4797429 140736464812144 18446744073709551615 4524149 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=907668 CPUtime=12.12 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 16322 0 0 0 1197 15 0 0 22 0 4 0 515414699 929452032 77679 33554432000 4194304 4797429 140736464812144 18446744073709551615 4528952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.85
Current children cumulated vsize (KiB) 907668

[startup+25.5003 s]
/proc/loadavg: 7.05 7.80 7.91 9/184 26337
/proc/meminfo: memFree=25928468/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=926388 CPUtime=99.97 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 104496 0 0 0 9920 77 0 0 25 0 4 0 515414659 948621312 89773 33554432000 4194304 4797429 140736464812144 18446744073709551615 4267531 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26323/statm: 231597 89773 421 148 0 226526 0
[pid=26323/tid=26325] ppid=26321 vsize=926388 CPUtime=24.91 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) R 26321 26323 26197 0 -1 4202560 19524 0 0 0 2474 17 0 0 25 0 4 0 515414699 948621312 89773 33554432000 4194304 4797429 140736464812144 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=926388 CPUtime=24.91 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) R 26321 26323 26197 0 -1 4202560 19260 0 0 0 2473 18 0 0 25 0 4 0 515414699 948621312 89773 33554432000 4194304 4797429 140736464812144 18446744073709551615 4428841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=926388 CPUtime=24.91 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 19438 0 0 0 2474 17 0 0 25 0 4 0 515414699 948621312 89773 33554432000 4194304 4797429 140736464812144 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (KiB) 926388

[startup+51.1007 s]
/proc/loadavg: 7.38 7.82 7.91 9/184 26337
/proc/meminfo: memFree=25887492/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=936804 CPUtime=202.22 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 116826 0 0 0 20134 88 0 0 25 0 4 0 515414659 959287296 93345 33554432000 4194304 4797429 140736464812144 18446744073709551615 4424139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26323/statm: 234201 93345 422 148 0 229130 0
[pid=26323/tid=26325] ppid=26321 vsize=936804 CPUtime=50.51 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) R 26321 26323 26197 0 -1 4202560 21256 0 0 0 5032 19 0 0 25 0 4 0 515414699 959287296 93345 33554432000 4194304 4797429 140736464812144 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=936804 CPUtime=50.46 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) R 26321 26323 26197 0 -1 4202560 20898 0 0 0 5026 20 0 0 25 0 4 0 515414699 959287296 93345 33554432000 4194304 4797429 140736464812144 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=936804 CPUtime=50.51 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 21014 0 0 0 5033 18 0 0 25 0 4 0 515414699 959287296 93345 33554432000 4194304 4797429 140736464812144 18446744073709551615 4428520 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 202.22
Current children cumulated vsize (KiB) 936804

[startup+102.307 s]
/proc/loadavg: 7.79 7.86 7.91 9/184 26339
/proc/meminfo: memFree=25802184/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=945120 CPUtime=406.76 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 135088 0 0 0 40576 100 0 0 25 0 4 0 515414659 967802880 96442 33554432000 4194304 4797429 140736464812144 18446744073709551615 4429118 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26323/statm: 236280 96442 422 148 0 231209 0
[pid=26323/tid=26325] ppid=26321 vsize=945120 CPUtime=101.73 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) R 26321 26323 26197 0 -1 4202560 23136 0 0 0 10152 21 0 0 25 0 4 0 515414699 967802880 96442 33554432000 4194304 4797429 140736464812144 18446744073709551615 4346677 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=945120 CPUtime=101.38 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) R 26321 26323 26197 0 -1 4202560 22845 0 0 0 10117 21 0 0 25 0 4 0 515414699 967802880 96442 33554432000 4194304 4797429 140736464812144 18446744073709551615 4647986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=945120 CPUtime=101.72 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 22813 0 0 0 10152 20 0 0 25 0 4 0 515414699 967802880 96442 33554432000 4194304 4797429 140736464812144 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 406.76
Current children cumulated vsize (KiB) 945120

[startup+162.301 s]
/proc/loadavg: 7.68 7.81 7.89 9/184 26371
/proc/meminfo: memFree=26806388/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=952476 CPUtime=646.41 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 149964 0 0 0 64532 109 0 0 25 0 4 0 515414659 975335424 99725 33554432000 4194304 4797429 140736464812144 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26323/statm: 238119 99725 422 148 0 233048 0
[pid=26323/tid=26325] ppid=26321 vsize=952476 CPUtime=161.71 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) R 26321 26323 26197 0 -1 4202560 24165 0 0 0 16150 21 0 0 25 0 4 0 515414699 975335424 99725 33554432000 4194304 4797429 140736464812144 18446744073709551615 4427946 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=952476 CPUtime=161.28 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) R 26321 26323 26197 0 -1 4202560 24099 0 0 0 16106 22 0 0 25 0 4 0 515414699 975335424 99725 33554432000 4194304 4797429 140736464812144 18446744073709551615 4429169 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=952476 CPUtime=161.72 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 23810 0 0 0 16151 21 0 0 25 0 4 0 515414699 975335424 99725 33554432000 4194304 4797429 140736464812144 18446744073709551615 4424364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 646.41
Current children cumulated vsize (KiB) 952476

[startup+222.301 s]
/proc/loadavg: 7.94 7.86 7.90 9/184 26372
/proc/meminfo: memFree=26574296/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=956196 CPUtime=886.08 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 164463 0 0 0 88492 116 0 0 25 0 4 0 515414659 979144704 100797 33554432000 4194304 4797429 140736464812144 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26323/statm: 239049 100797 445 148 0 233978 0
[pid=26323/tid=26325] ppid=26321 vsize=956196 CPUtime=221.72 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) R 26321 26323 26197 0 -1 4202560 25379 0 0 0 22150 22 0 0 25 0 4 0 515414699 979144704 100797 33554432000 4194304 4797429 140736464812144 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=956196 CPUtime=221.28 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) R 26321 26323 26197 0 -1 4202560 25427 0 0 0 22105 23 0 0 25 0 4 0 515414699 979144704 100797 33554432000 4194304 4797429 140736464812144 18446744073709551615 4346600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=956196 CPUtime=221.71 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 25390 0 0 0 22150 21 0 0 25 0 4 0 515414699 979144704 100797 33554432000 4194304 4797429 140736464812144 18446744073709551615 4524611 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 886.08
Current children cumulated vsize (KiB) 956196

[startup+282.301 s]
/proc/loadavg: 7.83 7.85 7.90 9/184 26404
/proc/meminfo: memFree=26910600/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=961024 CPUtime=1125.77 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 179936 0 0 0 112455 122 0 0 25 0 4 0 515414659 984088576 102430 33554432000 4194304 4797429 140736464812144 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26323/statm: 240256 102430 428 148 0 235185 0
[pid=26323/tid=26325] ppid=26321 vsize=961024 CPUtime=281.71 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) R 26321 26323 26197 0 -1 4202560 26433 0 0 0 28149 22 0 0 25 0 4 0 515414699 984088576 102430 33554432000 4194304 4797429 140736464812144 18446744073709551615 4346545 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=961024 CPUtime=281.28 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) R 26321 26323 26197 0 -1 4202560 26402 0 0 0 28105 23 0 0 25 0 4 0 515414699 984088576 102430 33554432000 4194304 4797429 140736464812144 18446744073709551615 218905399663 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=961024 CPUtime=281.71 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 26534 0 0 0 28150 21 0 0 25 0 4 0 515414699 984088576 102430 33554432000 4194304 4797429 140736464812144 18446744073709551615 4427326 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1125.77
Current children cumulated vsize (KiB) 961024

[startup+342.301 s]
/proc/loadavg: 7.87 7.86 7.90 9/184 26435
/proc/meminfo: memFree=27320644/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=964016 CPUtime=1365.44 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 192283 0 0 0 136416 128 0 0 25 0 4 0 515414659 987152384 103840 33554432000 4194304 4797429 140736464812144 18446744073709551615 4352349 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26323/statm: 241004 103840 423 148 0 235933 0
[pid=26323/tid=26325] ppid=26321 vsize=964016 CPUtime=341.72 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) R 26321 26323 26197 0 -1 4202560 27370 0 0 0 34149 23 0 0 25 0 4 0 515414699 987152384 103840 33554432000 4194304 4797429 140736464812144 18446744073709551615 4428646 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=964016 CPUtime=341.29 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) R 26321 26323 26197 0 -1 4202560 27321 0 0 0 34105 24 0 0 25 0 4 0 515414699 987152384 103840 33554432000 4194304 4797429 140736464812144 18446744073709551615 4404796 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=964016 CPUtime=341.72 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 27382 0 0 0 34150 22 0 0 25 0 4 0 515414699 987152384 103840 33554432000 4194304 4797429 140736464812144 18446744073709551615 4427887 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1365.44
Current children cumulated vsize (KiB) 964016

[startup+402.301 s]
/proc/loadavg: 8.00 7.89 7.91 9/184 26437
/proc/meminfo: memFree=27286744/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=966652 CPUtime=1605.12 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 207162 0 0 0 160377 135 0 0 25 0 4 0 515414659 989851648 106381 33554432000 4194304 4797429 140736464812144 18446744073709551615 4425015 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26323/statm: 241663 106381 423 148 0 236592 0
[pid=26323/tid=26325] ppid=26321 vsize=966652 CPUtime=401.71 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) R 26321 26323 26197 0 -1 4202560 28880 0 0 0 40148 23 0 0 25 0 4 0 515414699 989851648 106381 33554432000 4194304 4797429 140736464812144 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=966652 CPUtime=401.29 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) R 26321 26323 26197 0 -1 4202560 27933 0 0 0 40104 25 0 0 25 0 4 0 515414699 989851648 106381 33554432000 4194304 4797429 140736464812144 18446744073709551615 4647986 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=966652 CPUtime=401.72 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 28727 0 0 0 40149 23 0 0 25 0 4 0 515414699 989851648 106381 33554432000 4194304 4797429 140736464812144 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1605.12
Current children cumulated vsize (KiB) 966652

[startup+462.301 s]
/proc/loadavg: 8.05 7.92 7.91 9/184 26439
/proc/meminfo: memFree=27272024/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=971104 CPUtime=1844.8 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 220038 0 0 0 184338 142 0 0 25 0 4 0 515414659 994410496 107091 33554432000 4194304 4797429 140736464812144 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26323/statm: 242776 107091 422 148 0 237705 0
[pid=26323/tid=26325] ppid=26321 vsize=971104 CPUtime=461.72 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) R 26321 26323 26197 0 -1 4202560 29481 0 0 0 46148 24 0 0 25 0 4 0 515414699 994410496 107091 33554432000 4194304 4797429 140736464812144 18446744073709551615 4356150 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=971104 CPUtime=461.29 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) R 26321 26323 26197 0 -1 4202560 29107 0 0 0 46104 25 0 0 25 0 4 0 515414699 994410496 107091 33554432000 4194304 4797429 140736464812144 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=971104 CPUtime=461.72 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 29303 0 0 0 46149 23 0 0 25 0 4 0 515414699 994410496 107091 33554432000 4194304 4797429 140736464812144 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1844.8
Current children cumulated vsize (KiB) 971104

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

[startup+467.1 s]
/proc/loadavg: 8.04 7.93 7.91 9/184 26439
/proc/meminfo: memFree=27265948/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=971104 CPUtime=1863.98 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 220873 0 0 0 186255 143 0 0 25 0 4 0 515414659 994410496 107903 33554432000 4194304 4797429 140736464812144 18446744073709551615 4680808 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26323/statm: 242776 107903 422 148 0 237705 0
[pid=26323/tid=26325] ppid=26321 vsize=971104 CPUtime=466.52 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) R 26321 26323 26197 0 -1 4202560 29524 0 0 0 46628 24 0 0 25 0 4 0 515414699 994410496 107903 33554432000 4194304 4797429 140736464812144 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=971104 CPUtime=466.09 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) R 26321 26323 26197 0 -1 4202560 29142 0 0 0 46584 25 0 0 25 0 4 0 515414699 994410496 107903 33554432000 4194304 4797429 140736464812144 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=971104 CPUtime=466.52 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 29374 0 0 0 46629 23 0 0 25 0 4 0 515414699 994410496 107903 33554432000 4194304 4797429 140736464812144 18446744073709551615 4642194 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1863.98
Current children cumulated vsize (KiB) 971104

[startup+473.501 s]
/proc/loadavg: 8.04 7.93 7.91 9/184 26439
/proc/meminfo: memFree=27261340/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=971104 CPUtime=1889.54 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 221484 0 0 0 188811 143 0 0 25 0 4 0 515414659 994410496 108498 33554432000 4194304 4797429 140736464812144 18446744073709551615 4506622 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26323/statm: 242776 108498 422 148 0 237705 0
[pid=26323/tid=26325] ppid=26321 vsize=971104 CPUtime=472.92 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) R 26321 26323 26197 0 -1 4202560 29770 0 0 0 47268 24 0 0 25 0 4 0 515414699 994410496 108498 33554432000 4194304 4797429 140736464812144 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=971104 CPUtime=472.49 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) R 26321 26323 26197 0 -1 4202560 29240 0 0 0 47224 25 0 0 25 0 4 0 515414699 994410496 108498 33554432000 4194304 4797429 140736464812144 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=971104 CPUtime=472.92 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 29478 0 0 0 47269 23 0 0 25 0 4 0 515414699 994410496 108498 33554432000 4194304 4797429 140736464812144 18446744073709551615 4427280 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1889.54
Current children cumulated vsize (KiB) 971104

[startup+475.101 s]
/proc/loadavg: 8.04 7.93 7.91 7/184 26439
/proc/meminfo: memFree=27258612/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=971104 CPUtime=1895.08 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 221927 0 0 0 189365 143 0 0 25 0 4 0 515414659 994410496 108919 33554432000 4194304 4797429 140736464812144 18446744073709551615 4531952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26323/statm: 242776 108919 423 148 0 237705 0
[pid=26323/tid=26325] ppid=26321 vsize=971104 CPUtime=474.04 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) S 26321 26323 26197 0 -1 4202560 30026 0 0 0 47380 24 0 0 21 0 4 0 515414699 994410496 108919 33554432000 4194304 4797429 140736464812144 18446744073709551615 218917559921 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=971104 CPUtime=473.71 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) S 26321 26323 26197 0 -1 4202560 29325 0 0 0 47345 26 0 0 25 0 4 0 515414699 994410496 108919 33554432000 4194304 4797429 140736464812144 18446744073709551615 47861161391668 0 0 4096 2 18446604467135265728 0 0 -1 1 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=971104 CPUtime=474.52 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 29478 0 0 0 47429 23 0 0 25 0 4 0 515414699 994410496 108919 33554432000 4194304 4797429 140736464812144 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1895.08
Current children cumulated vsize (KiB) 971104

[startup+476.701 s]
/proc/loadavg: 8.04 7.93 7.91 7/184 26439
/proc/meminfo: memFree=27260100/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=971104 CPUtime=1898.27 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 222000 0 0 0 189684 143 0 0 25 0 4 0 515414659 994410496 108990 33554432000 4194304 4797429 140736464812144 18446744073709551615 4510040 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26323/statm: 242776 108990 423 148 0 237705 0
[pid=26323/tid=26325] ppid=26321 vsize=971104 CPUtime=474.04 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) S 26321 26323 26197 0 -1 4202560 30026 0 0 0 47380 24 0 0 15 0 4 0 515414699 994410496 108990 33554432000 4194304 4797429 140736464812144 18446744073709551615 218917559921 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=971104 CPUtime=473.71 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) S 26321 26323 26197 0 -1 4202560 29325 0 0 0 47345 26 0 0 25 0 4 0 515414699 994410496 108990 33554432000 4194304 4797429 140736464812144 18446744073709551615 47861161391668 0 0 4096 2 18446604467135265728 0 0 -1 1 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=971104 CPUtime=476.12 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 29546 0 0 0 47589 23 0 0 25 0 4 0 515414699 994410496 108990 33554432000 4194304 4797429 140736464812144 18446744073709551615 47861161391632 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1898.27
Current children cumulated vsize (KiB) 971104

[startup+477.101 s]
/proc/loadavg: 8.04 7.93 7.91 7/184 26439
/proc/meminfo: memFree=27260100/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=971104 CPUtime=1898.76 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 222000 0 0 0 189733 143 0 0 25 0 4 0 515414659 994410496 108990 33554432000 4194304 4797429 140736464812144 18446744073709551615 4510040 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26323/statm: 242776 108990 423 148 0 237705 0
[pid=26323/tid=26325] ppid=26321 vsize=971104 CPUtime=474.04 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) S 26321 26323 26197 0 -1 4202560 30026 0 0 0 47380 24 0 0 15 0 4 0 515414699 994410496 108990 33554432000 4194304 4797429 140736464812144 18446744073709551615 218917559921 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=971104 CPUtime=473.71 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) S 26321 26323 26197 0 -1 4202560 29325 0 0 0 47345 26 0 0 25 0 4 0 515414699 994410496 108990 33554432000 4194304 4797429 140736464812144 18446744073709551615 47861161391668 0 0 4096 2 18446604467135265728 0 0 -1 1 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=971104 CPUtime=476.2 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) S 26321 26323 26197 0 -1 4202560 29546 0 0 0 47597 23 0 0 25 0 4 0 515414699 994410496 108990 33554432000 4194304 4797429 140736464812144 18446744073709551615 47861161391668 0 0 4096 2 18446604467135265728 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1898.76
Current children cumulated vsize (KiB) 971104

[startup+477.5 s]
/proc/loadavg: 8.04 7.93 7.91 6/184 26439
/proc/meminfo: memFree=27259480/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=971104 CPUtime=1899.16 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 222295 0 0 0 189773 143 0 0 25 0 4 0 515414659 994410496 109270 33554432000 4194304 4797429 140736464812144 18446744073709551615 4427384 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26323/statm: 242776 109270 423 148 0 237705 0
[pid=26323/tid=26325] ppid=26321 vsize=971104 CPUtime=474.04 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) S 26321 26323 26197 0 -1 4202560 30026 0 0 0 47380 24 0 0 15 0 4 0 515414699 994410496 109270 33554432000 4194304 4797429 140736464812144 18446744073709551615 218917559921 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=971104 CPUtime=473.71 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) S 26321 26323 26197 0 -1 4202560 29325 0 0 0 47345 26 0 0 25 0 4 0 515414699 994410496 109270 33554432000 4194304 4797429 140736464812144 18446744073709551615 47861161391668 0 0 4096 2 18446604467135265728 0 0 -1 1 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=971104 CPUtime=476.2 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) S 26321 26323 26197 0 -1 4202560 29546 0 0 0 47597 23 0 0 25 0 4 0 515414699 994410496 109270 33554432000 4194304 4797429 140736464812144 18446744073709551615 47861161391668 0 0 4096 2 18446604467135265728 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1899.16
Current children cumulated vsize (KiB) 971104

[startup+477.6 s]
/proc/loadavg: 8.04 7.93 7.91 6/184 26439
/proc/meminfo: memFree=27259480/32951124 swapFree=67111356/67111528
[pid=26323] ppid=26321 vsize=966868 CPUtime=1899.31 cores=1,3,5,7
/proc/26323/stat : 26323 (techdemo) R 26321 26323 26197 0 -1 4202496 222300 0 0 0 189788 143 0 0 25 0 4 0 515414659 990072832 108505 33554432000 4194304 4797429 140736464812144 18446744073709551615 218905386187 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26323/statm: 241717 108505 427 148 0 236646 0
[pid=26323/tid=26325] ppid=26321 vsize=966868 CPUtime=474.06 cores=1,3,5,7
/proc/26323/task/26325/stat : 26325 (techdemo) R 26321 26323 26197 0 -1 4202560 30026 0 0 0 47382 24 0 0 15 0 4 0 515414699 990072832 108505 33554432000 4194304 4797429 140736464812144 18446744073709551615 47861161392050 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26323/tid=26326] ppid=26321 vsize=966868 CPUtime=473.73 cores=1,3,5,7
/proc/26323/task/26326/stat : 26326 (techdemo) R 26321 26323 26197 0 -1 4202560 29325 0 0 0 47347 26 0 0 18 0 4 0 515414699 990072832 108505 33554432000 4194304 4797429 140736464812144 18446744073709551615 47861161392040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26323/tid=26327] ppid=26321 vsize=966868 CPUtime=476.22 cores=1,3,5,7
/proc/26323/task/26327/stat : 26327 (techdemo) R 26321 26323 26197 0 -1 4202560 29546 0 0 0 47599 23 0 0 18 0 4 0 515414699 990072832 108505 33554432000 4194304 4797429 140736464812144 18446744073709551615 47861161392040 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1899.31
Current children cumulated vsize (KiB) 966868

Child status: 20
Real time (s): 477.693
CPU time (s): 1899.64
CPU user time (s): 1898.19
CPU system time (s): 1.45478
CPU usage (%): 397.67
Max. virtual memory (cumulated for all children) (KiB): 1072800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1898.19
system time used= 1.45478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222301
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= 14026
involuntary context switches= 8904

runsolver used 0.726889 second user time and 1.90871 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-29 02:49:29
IDJOB=3284180
IDBENCH=71718
IDSOLVER=1584
FILE ID=node137/3284180-1304038169
RUNJOBID= node137-1304036965-26216
PBS_JOBID= 13170366
Free space on /tmp= 71608 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3284180-1304038169/watcher-3284180-1304038169 -o /tmp/evaluation-result-3284180-1304038169/solver-3284180-1304038169 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3284180-1304038169.cnf

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

MD5SUM BENCH= d986f0b849e7c714ed5d3a26373567af
RANDOM SEED=289137456

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28015540 kB
Buffers:        865912 kB
Cached:        3543488 kB
SwapCached:         56 kB
Active:         166072 kB
Inactive:      4309924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28015540 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           20640 kB
Writeback:           0 kB
AnonPages:       66836 kB
Mapped:          14680 kB
Slab:           395184 kB
PageTables:       4248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191616 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= 71592 MiB
End job on node137 at 2011-04-29 02:57:27