Trace number 3287402

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 Strange-Night-2-mtUNSAT 1781.96 446.128

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
MD5SUMee159af2e208d290f7f3fefd15c344f2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark731.23
Satisfiable
(Un)Satisfiability was proved
Number of variables44692
Number of clauses129620
Sum of the clauses size302444
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 286412
Number of clauses of size 343206
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3287402-1304029940.cnf'
0.00/0.00	c -- header says num vars:          44692
0.00/0.00	c -- header says num clauses:      129620
0.21/0.11	c -- clauses added:            0 learnts,       129620 normals,            0 xors
0.21/0.11	c -- vars added      44692
0.21/0.11	c Parsing time:  0.05 s
0.21/0.11	c  N st     0         0     44692     43206     86412         0    302442         0   no data   no data
1.57/0.40	c asymm  cl-useful: 0/43205/43205 lits-rem:0 time: 0.33
1.57/1.34	c Flit:    60 Blit:   2357 bXBeca:    0 bXProp: 1247 Bins:      0 BRemL:      0 BRemN:      0 P: 13.2M T:  0.93
1.57/1.34	c Cleaning up after failed var search:     0.00 s 
1.57/1.36	c Replacing     1247 vars Replaced    24577 lits Time:     0.01 s 
1.57/1.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.57/1.38	c bin-w-bin subsume rem          166 bins  time:  0.01 s
1.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1.57/1.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  40581 time:  0.06 s
1.57/1.51	c Removed useless bin:      82  fixed:     0  props:   5.97M  time:  0.05 s
2.25/1.62	c lits-rem:        96  cl-subs:       39  v-elim:  13527  v-fix:    0  time:  0.11 s
2.25/1.66	c Finding binary XORs  T:     0.04 s  found:      53
2.25/1.66	c Replacing       53 vars Replaced      890 lits Time:     0.01 s 
2.25/1.68	c Finding non-binary XORs:     0.01 s (found:     247, avg size: 3.0)
2.25/1.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     18 locsubst:     0 time:   0.01
2.25/1.69	c calculated reachability. Time: 0.01
2.25/1.70	c Calc default polars -  time:   0.00 s pos:    1523 undec:   18098 neg:   25071
2.25/1.70	c =========================================================================================
2.25/1.70	c types(t): F = full restart, N = normal restart
2.25/1.70	c types(t): S = simplification begin/end, E = solution found
2.25/1.70	c restart types(rt): st = static, dy = dynamic
2.25/1.70	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.25/1.70	c  B st     0         0     26983     36290     52986         0    226840         0   no data   no data
8.38/2.20	c  N dy    18      4134     26949     36290     53833      3226    226840     28813      3.92      4.20
11.16/2.84	c  N dy    45      8218     26639     35312     55410      3696    221551     40020      4.45     12.20
13.55/3.45	c  N dy    71     12287     26544     35312     55739      7376    221550     91954      4.64      4.89
15.96/4.05	c  N dy    95     16334     26147     34178     55375      6115    215377     52658      4.81      7.36
18.75/4.75	c  N dy   130     20527     26116     34178     56690     10061    215377    153406      5.17      5.46
19.54/4.92	c Finding binary XORs  T:     0.02 s  found:     606
19.54/4.94	c Replacing      610 vars Replaced    11841 lits Time:     0.01 s 
21.56/5.50	c  N dy   161     24762     25356     33555     54933      8054    210098     53381      5.38      5.73
21.96/5.53	c  F st   163     25000     25345     33555     56051      8284    210098     62704      5.38      4.02
25.95/6.52	c  N dy   169     30001     25317     33021     55784     12908    207703    420014      5.38   no data
25.95/6.52	c  S st   169     30001     25317     33021     55784     12908    207703    420014      5.38   no data
26.36/6.65	c  S st   169     30507     25238     33021     55829     13364    207703    425023      5.38   no data
26.36/6.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:     0 time:   0.01
53.90/13.53	c Flit:    63 Blit:    222 bXBeca:    0 bXProp:  656 Bins: 194171 BRemL:  26597 BRemN:     28 P: 70.8M T:  6.85
53.90/13.54	c Cleaning up after failed var search:     0.01 s 
53.90/13.57	c Replacing      656 vars Replaced    86828 lits Time:     0.03 s 
53.90/13.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
54.30/13.61	c bin-w-bin subsume rem        15056 bins  time:  0.03 s
54.30/13.65	c subs with bin:     1166  lits-rem:       788  v-fix:    0  time:  0.03 s
54.69/13.73	c Subs w/ non-existent bins:    217 l-rem:    222 v-fix:     0 done:  24135 time:  0.08 s
54.69/13.75	c Removed useless bin:      62  fixed:     0  props:   1.73M  time:  0.02 s
55.49/13.92	c lits-rem:        97  cl-subs:      806  v-elim:  13465  v-fix:    0  time:  0.16 s
55.49/13.95	c subs with bin:      904  lits-rem:      4371  v-fix:    0  time:  0.02 s
55.49/13.98	c lits-rem:       113  cl-subs:      201  v-elim:      0  v-fix:    0  time:  0.02 s
59.09/14.83	c asymm  cl-useful: 900/23207/38813 lits-rem:1170 time: 0.85
59.09/14.85	c calculated reachability. Time: 0.02
59.09/14.85	c  N dy   169     30507     10670     38805     83298      5524    162867    177753      5.38   no data
59.49/14.93	c Finding binary XORs  T:     0.07 s  found:      75
61.88/15.52	c  N dy   199     34557     10657     38805     84387      9251    162867    284865      5.58      8.27
63.48/15.92	c Finding binary XORs  T:     0.04 s  found:      42
63.48/15.93	c Replacing      117 vars Replaced     5054 lits Time:     0.01 s 
64.69/16.20	c  N dy   229     38823     10528     38610    114678      8361    162037    315374      5.80      6.19
67.08/16.81	c  N dy   262     42906     10527     38610    114808     12257    162037    431103      6.01      7.92
68.67/17.26	c  S st   283     45761     10526     38610    114957     14914    162037    529240      6.08      6.19
69.07/17.37	c  S st   283     46261     10526     38610    114998     15369    162037    533572      6.08   no data
69.07/17.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:     0 time:   0.01
79.08/19.89	c Flit:    14 Blit:     12 bXBeca:    0 bXProp:   41 Bins:  20595 BRemL:  49290 BRemN:     20 P: 29.0M T:  2.52
79.46/19.91	c Replacing       41 vars Replaced     6752 lits Time:     0.02 s 
79.46/19.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.46/19.94	c bin-w-bin subsume rem        11586 bins  time:  0.01 s
79.46/19.97	c subs with bin:      822  lits-rem:       412  v-fix:    0  time:  0.03 s
79.46/19.99	c Subs w/ non-existent bins:    409 l-rem:    288 v-fix:     0 done:  10455 time:  0.03 s
79.86/20.00	c Removed useless bin:      58  fixed:     0  props:   0.43M  time:  0.01 s
79.86/20.05	c lits-rem:        70  cl-subs:      447  v-elim:    207  v-fix:    0  time:  0.05 s
80.26/20.15	c subs with bin:      296  lits-rem:      3278  v-fix:    0  time:  0.09 s
80.66/20.22	c lits-rem:       618  cl-subs:      316  v-elim:      0  v-fix:    0  time:  0.06 s
80.66/20.24	c vivif2 --  cl tried    37031 cl shrink      740 lits rem        794 time: 0.03
80.66/20.29	c vivif2 --  cl tried    14110 cl shrink     3777 lits rem      24267 time: 0.04
82.66/20.72	c asymm  cl-useful: 0/5811/36675 lits-rem:0 time: 0.43
82.66/20.73	c calculated reachability. Time: 0.01
82.66/20.73	c  N dy   283     46261     10248     36675     70193     13874    154720    363275      6.08   no data
82.66/20.78	c Finding binary XORs  T:     0.04 s  found:      26
85.45/21.41	c  N dy   310     50591     10229     36675    128333     10480    154712    357855      6.16      6.56
86.25/21.69	c Finding binary XORs  T:     0.04 s  found:      50
87.87/22.05	c  N dy   340     54612     10217     36525    127926     14234    154142    477824      6.29     10.45
89.45/22.49	c Finding binary XORs  T:     0.04 s  found:      56
89.84/22.51	c Replacing      134 vars Replaced    20505 lits Time:     0.02 s 
91.04/22.80	c  N dy   364     58702     10072     36391    145866     17957    153450    623789      6.40      6.78
93.44/23.43	c  N dy   397     62849     10064     36391    147694     13059    153450    444677      6.52      6.90
96.25/24.19	c  N dy   417     66988     10063     36391    147748     17092    153450    565322      6.54      6.90
97.84/24.56	c  S st   437     69393     10062     36391    148132     19463    153450    681542      6.64   no data
98.24/24.67	c  S st   437     69897     10062     36391    148158     19935    153448    686144      6.64   no data
98.24/24.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
109.44/27.45	c Flit:    16 Blit:      5 bXBeca:    0 bXProp:   77 Bins:  13218 BRemL:  55136 BRemN:     11 P: 35.6M T:  2.77
109.44/27.48	c Replacing       79 vars Replaced    19413 lits Time:     0.02 s 
109.44/27.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
109.84/27.52	c bin-w-bin subsume rem        23073 bins  time:  0.02 s
109.84/27.54	c subs with bin:      406  lits-rem:       168  v-fix:    0  time:  0.02 s
109.84/27.57	c Subs w/ non-existent bins:     53 l-rem:     50 v-fix:     0 done:   9946 time:  0.03 s
109.84/27.57	c Removed useless bin:      44  fixed:     0  props:   0.40M  time:  0.01 s
110.22/27.62	c lits-rem:        28  cl-subs:      329  v-elim:    146  v-fix:    0  time:  0.05 s
110.22/27.68	c subs with bin:      445  lits-rem:      2382  v-fix:    0  time:  0.05 s
110.62/27.73	c lits-rem:       400  cl-subs:      435  v-elim:      0  v-fix:    0  time:  0.04 s
110.62/27.76	c vivif2 --  cl tried    35562 cl shrink      425 lits rem        454 time: 0.03
111.02/27.80	c vivif2 --  cl tried    17434 cl shrink     3223 lits rem      16100 time: 0.04
112.62/28.21	c asymm  cl-useful: 58/6409/35427 lits-rem:174 time: 0.41
112.62/28.23	c calculated reachability. Time: 0.01
112.62/28.23	c  N dy   437     69897      9800     35369     80688     17322    149846    301885      6.64   no data
112.62/28.27	c Finding binary XORs  T:     0.05 s  found:      35
115.01/28.84	c  N dy   464     74429      9799     35369     84916     12573    149845    226782      6.69     11.49
117.81/29.57	c  N dy   497     80336      9793     35369     84988     18349    149844    434217      6.76      7.16
121.00/30.37	c  N dy   529     85461      9789     35369     89151     23335    149844    614157      6.81      7.22
121.80/30.51	c Finding binary XORs  T:     0.04 s  found:      44
122.63/30.74	c  F st   543     87500      9788     35305     88330     25299    149559    684084      6.82   no data
122.63/30.76	c Replacing       79 vars Replaced    10900 lits Time:     0.02 s 
125.40/31.49	c  N dy   549     92696      9709     35292     88239     19176    149440    488881      6.82   no data
129.39/32.45	c  N dy   586     99156      9695     35292     91820     25491    149440    696975      6.86      7.38
133.39/33.40	c  S st   624    104845      9687     35292     92195     18456    149440    297292      6.93   no data
133.39/33.50	c  S st   624    105353      9687     35292     92356     18948    149440    307323      6.93   no data
133.79/33.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
145.37/36.49	c Flit:     5 Blit:      2 bXBeca:    0 bXProp:   86 Bins:  27829 BRemL:  35604 BRemN:     28 P: 34.8M T:  2.99
145.77/36.52	c Replacing       92 vars Replaced    13101 lits Time:     0.02 s 
145.77/36.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
145.77/36.54	c bin-w-bin subsume rem         5851 bins  time:  0.01 s
145.77/36.56	c subs with bin:      455  lits-rem:       129  v-fix:    0  time:  0.02 s
145.77/36.59	c Subs w/ non-existent bins:     35 l-rem:     43 v-fix:     0 done:   9586 time:  0.03 s
146.17/36.60	c Removed useless bin:      27  fixed:     0  props:   0.34M  time:  0.01 s
146.17/36.64	c lits-rem:        11  cl-subs:      294  v-elim:     71  v-fix:    0  time:  0.04 s
146.17/36.68	c subs with bin:      747  lits-rem:      1698  v-fix:    0  time:  0.03 s
146.57/36.71	c lits-rem:       228  cl-subs:      340  v-elim:      0  v-fix:    0  time:  0.03 s
146.57/36.71	c Added XOR as norm:181
146.57/36.74	c vivif2 --  cl tried    35081 cl shrink      449 lits rem        463 time: 0.03
146.57/36.78	c vivif2 --  cl tried    17032 cl shrink     1829 lits rem       5034 time: 0.04
150.57/37.75	c asymm  cl-useful: 704/15066/34835 lits-rem:1252 time: 0.97
150.57/37.77	c calculated reachability. Time: 0.01
150.57/37.77	c  N dy   624    105353      9515     34719     75708     16832    145970    235027      6.93   no data
150.97/37.82	c Finding binary XORs  T:     0.05 s  found:      51
154.55/38.80	c  N dy   665    112114      9511     34719     84689     23422    145970    422658      6.98      7.37
159.35/39.94	c Finding binary XORs  T:     0.05 s  found:      81
159.35/39.97	c Replacing      132 vars Replaced    22840 lits Time:     0.03 s 
159.75/40.05	c  N dy   713    119513      9352     34515     86195     30475    144973    624033      7.05      7.45
164.55/41.28	c  N dy   766    127166      9349     34515     86710     24390    144965    442635      7.11     10.46
170.54/42.74	c  N dy   820    135319      9347     34515     86960     32346    144965    741883      7.19     10.07
176.53/44.20	c  N dy   891    144007      9339     34515     87270     27325    144950    501955      7.33      9.72
182.52/45.70	c  N dy   948    153316      9330     34515     87503     36481    144950    834189      7.41      8.18
184.14/46.16	c Finding binary XORs  T:     0.05 s  found:      60
185.31/46.47	c  S st   972    158029      9326     34408     90729     25760    144458    355477      7.45   no data
185.71/46.58	c  S st   972    158533      9326     34408     90746     26245    144458    369876      7.45   no data
185.71/46.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
198.50/49.72	c Flit:    10 Blit:      1 bXBeca:    0 bXProp:   75 Bins:  19545 BRemL:  30830 BRemN:     15 P: 34.5M T:  3.13
198.50/49.75	c Replacing      135 vars Replaced    17033 lits Time:     0.02 s 
198.50/49.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
198.50/49.77	c bin-w-bin subsume rem         6695 bins  time:  0.01 s
198.50/49.79	c subs with bin:      380  lits-rem:       208  v-fix:    0  time:  0.02 s
198.90/49.81	c Subs w/ non-existent bins:     45 l-rem:     31 v-fix:     0 done:   9177 time:  0.03 s
198.90/49.82	c Removed useless bin:      29  fixed:     0  props:   0.35M  time:  0.01 s
198.90/49.87	c lits-rem:       111  cl-subs:      524  v-elim:    275  v-fix:    0  time:  0.05 s
199.30/49.92	c subs with bin:      629  lits-rem:      2021  v-fix:    0  time:  0.03 s
199.30/49.96	c lits-rem:       680  cl-subs:      560  v-elim:      0  v-fix:    0  time:  0.04 s
199.30/49.96	c Added XOR as norm:0
199.30/50.00	c vivif2 --  cl tried    33409 cl shrink      557 lits rem        630 time: 0.03
199.70/50.04	c vivif2 --  cl tried    23385 cl shrink     2640 lits rem       9137 time: 0.05
203.29/50.97	c asymm  cl-useful: 67/9384/33285 lits-rem:201 time: 0.93
203.29/50.98	c calculated reachability. Time: 0.01
203.29/50.98	c  N dy   972    158533      8902     33218     66537     23230    140586    272967      7.45   no data
203.69/51.04	c Finding binary XORs  T:     0.05 s  found:      45
209.29/52.46	c Finding binary XORs  T:     0.05 s  found:      60
209.29/52.48	c Replacing      105 vars Replaced    12494 lits Time:     0.02 s 
210.90/52.87	c  N dy  1031    168706      8774     33105     77941     32977    139899    629761      7.48      7.94
218.07/54.67	c  N dy  1095    179855      8757     33105     78683     27970    139899    448868      7.52      8.06
226.46/56.76	c  N dy  1165    191418      8754     33105     79016     39318    139899    903247      7.64      8.11
234.85/58.89	c  N dy  1238    203665      8744     33105     79309     34972    139899    560512      7.73     19.67
242.84/60.83	c Finding binary XORs  T:     0.05 s  found:      57
244.84/61.37	c  N dy  1333    216932      8730     32960     89910     47586    139047   1096556      7.86      8.36
247.63/62.06	c Finding binary XORs  T:     0.05 s  found:      50
247.63/62.08	c Replacing      107 vars Replaced    14870 lits Time:     0.02 s 
255.23/63.96	c  N dy  1411    230937      8611     32913     90150     43517    138690    786598      7.96      8.49
260.41/65.27	c  S st  1450    237800      8603     32913     90322     50316    138690   1013667      8.01   no data
260.81/65.39	c  S st  1450    238303      8603     32913     90333     50808    138690   1034513      8.01   no data
261.21/65.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
273.20/68.47	c Flit:     4 Blit:      1 bXBeca:    0 bXProp:   69 Bins:  12097 BRemL:  27101 BRemN:     23 P: 36.6M T:  3.07
273.60/68.52	c Replacing       69 vars Replaced    15992 lits Time:     0.04 s 
273.60/68.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
273.60/68.54	c bin-w-bin subsume rem         7925 bins  time:  0.01 s
273.60/68.56	c subs with bin:      377  lits-rem:       346  v-fix:    0  time:  0.02 s
273.60/68.58	c Subs w/ non-existent bins:     65 l-rem:     43 v-fix:     0 done:   8528 time:  0.03 s
273.60/68.59	c Removed useless bin:      19  fixed:     0  props:   0.34M  time:  0.01 s
274.00/68.64	c lits-rem:        52  cl-subs:      535  v-elim:    119  v-fix:    0  time:  0.05 s
274.80/68.89	c subs with bin:      949  lits-rem:      8424  v-fix:    0  time:  0.22 s
276.00/69.11	c lits-rem:      2450  cl-subs:     1227  v-elim:      0  v-fix:    0  time:  0.22 s
276.00/69.11	c Added XOR as norm:0
276.00/69.14	c vivif2 --  cl tried    31854 cl shrink      490 lits rem        746 time: 0.03
276.42/69.25	c vivif2 --  cl tried    44995 cl shrink    10416 lits rem      44361 time: 0.11
277.99/69.69	c asymm  cl-useful: 36/5173/31781 lits-rem:108 time: 0.44
278.39/69.71	c calculated reachability. Time: 0.01
278.39/69.71	c  N dy  1450    238303      8409     31745     66258     44824    133915    631648      8.01   no data
278.39/69.76	c Finding binary XORs  T:     0.05 s  found:      67
285.20/71.43	c Finding binary XORs  T:     0.05 s  found:      16
289.59/72.55	c  N dy  1515    253583      8401     31733     72828     42727    133803    673461      8.02      9.33
302.36/75.78	c  N dy  1607    270546      8393     31733     73020     39860    133800    485112      8.08      8.52
315.14/78.98	c  N dy  1699    287932      8392     31733     73269     57065    133800   1095001      8.15      8.60
329.55/82.57	c Finding binary XORs  T:     0.05 s  found:      51
329.92/82.60	c Replacing      134 vars Replaced    19242 lits Time:     0.03 s 
330.32/82.71	c  F st  1784    306253      8251     31646     76156     54039    133276    916181      8.18      8.18
330.32/82.78	c  N st  1785    306505      8251     31646     76156     54291    133276    931382      8.18   no data
346.31/86.70	c  N dy  1880    326340      8239     31646     76988     51913    133272    793728      8.23      8.76
363.08/90.97	c  N dy  2001    346391      8236     31646     77227     48844    133272    599066      8.33     14.26
365.07/91.40	c Finding binary XORs  T:     0.05 s  found:      21
372.67/93.34	c  S st  2064    357455      8236     31601     76851     58819    132986    925432      8.35   no data
373.08/93.49	c  S st  2064    357961      8236     31601     76861     59312    132986    939603      8.35   no data
373.08/93.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
385.45/96.56	c Flit:     9 Blit:      2 bXBeca:    0 bXProp:   30 Bins:  17638 BRemL:  18727 BRemN:     21 P: 37.5M T:  3.06
385.85/96.60	c Replacing       51 vars Replaced    18200 lits Time:     0.04 s 
385.85/96.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
385.85/96.62	c bin-w-bin subsume rem         4765 bins  time:  0.01 s
385.85/96.64	c subs with bin:      210  lits-rem:       310  v-fix:    0  time:  0.02 s
385.85/96.67	c Subs w/ non-existent bins:     18 l-rem:      1 v-fix:     0 done:   8174 time:  0.03 s
385.85/96.67	c Removed useless bin:      23  fixed:     0  props:   0.34M  time:  0.01 s
386.27/96.72	c lits-rem:        32  cl-subs:      361  v-elim:     91  v-fix:    0  time:  0.05 s
387.04/96.91	c subs with bin:     1176  lits-rem:      6602  v-fix:    0  time:  0.16 s
387.84/97.10	c lits-rem:      2353  cl-subs:     1256  v-elim:      0  v-fix:    0  time:  0.18 s
387.84/97.10	c Added XOR as norm:0
387.84/97.13	c vivif2 --  cl tried    30945 cl shrink      388 lits rem        552 time: 0.03
388.24/97.24	c vivif2 --  cl tried    51578 cl shrink     9658 lits rem      32953 time: 0.11
388.64/97.37	c asymm  cl-useful: 6/1231/30854 lits-rem:18 time: 0.13
388.64/97.39	c calculated reachability. Time: 0.01
388.64/97.39	c  N dy  2064    357961      8083     30848     69967     51420    129474    627137      8.35   no data
389.04/97.44	c Finding binary XORs  T:     0.05 s  found:      37
395.05/98.91	c Finding binary XORs  T:     0.05 s  found:       9
405.82/101.65	c  N dy  2188    378021      8073     30821     75792     49045    129293    663098      8.41     14.55
411.81/103.16	c Finding binary XORs  T:     0.05 s  found:      39
411.81/103.18	c Replacing       85 vars Replaced    13901 lits Time:     0.03 s 
424.19/106.20	c  N dy  2315    398222      7986     30782     85329     68840    129038   1321021      8.46      9.08
440.17/110.21	c Finding binary XORs  T:     0.05 s  found:      14
440.17/110.26	c  N dy  2393    418228      7983     30769     85424     62305    128942    952254      8.45     14.09
456.97/114.41	c  N dy  2514    438246      7980     30769     85579     57665    128942    805824      8.50      8.95
474.15/118.75	c  N dy  2630    458281      7976     30769     85716     50171    128942    502196      8.54      9.00
491.72/123.20	c  N dy  2750    478746      7972     30769     85849     70502    128942   1154382      8.57      9.03
509.70/127.64	c Finding binary XORs  T:     0.05 s  found:      27
510.88/127.92	c  N dy  2813    498756      7969     30682     85275     60539    128468    780481      8.55      9.01
529.25/132.50	c  N dy  2921    518884      7966     30682     85386     80460    128468   1406358      8.57      9.10
545.63/136.69	c  S st  3020    536942      7964     30682     85472     70318    128468   1000455      8.58   no data
546.43/136.86	c  S st  3020    537444      7964     30682     85483     70807    128468   1016301      8.58   no data
546.43/136.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
558.42/139.81	c Flit:    11 Blit:      1 bXBeca:    0 bXProp:   64 Bins:  11630 BRemL:  20066 BRemN:      4 P: 38.6M T:  2.94
558.42/139.86	c Replacing      105 vars Replaced    26523 lits Time:     0.05 s 
558.42/139.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
558.42/139.88	c bin-w-bin subsume rem         6279 bins  time:  0.01 s
558.42/139.89	c subs with bin:      187  lits-rem:       143  v-fix:    0  time:  0.02 s
558.82/139.92	c Subs w/ non-existent bins:      4 l-rem:      3 v-fix:     0 done:   7836 time:  0.02 s
558.82/139.93	c Removed useless bin:      26  fixed:     0  props:   0.37M  time:  0.01 s
558.82/139.98	c lits-rem:        31  cl-subs:      342  v-elim:     76  v-fix:    0  time:  0.05 s
560.01/140.24	c subs with bin:      971  lits-rem:      7136  v-fix:    0  time:  0.23 s
561.21/140.54	c lits-rem:      2929  cl-subs:     1488  v-elim:      0  v-fix:    0  time:  0.30 s
561.21/140.54	c Added XOR as norm:0
561.21/140.57	c vivif2 --  cl tried    30064 cl shrink      226 lits rem        260 time: 0.03
562.03/140.72	c vivif2 --  cl tried    62825 cl shrink     9512 lits rem      36162 time: 0.14
563.61/141.14	c asymm  cl-useful: 290/2222/30013 lits-rem:437 time: 0.42
563.61/141.15	c calculated reachability. Time: 0.01
563.61/141.15	c  N dy  3020    537444      7760     30006     68831     62741    124738    768907      8.58   no data
564.00/141.20	c Finding binary XORs  T:     0.05 s  found:      32
572.00/143.20	c Finding binary XORs  T:     0.05 s  found:       7
582.78/145.98	c  N dy  3124    557484      7760     30006     75911     53266    124738    503548      8.59      9.14
600.36/150.31	c  N dy  3210    577613      7758     30006     76027     73221    124736   1141145      8.59      9.06
621.52/155.66	c  N dy  3318    599806      7756     30006     76151     64149    124733    710820      8.59      9.06
625.13/156.54	c Finding binary XORs  T:     0.05 s  found:      17
641.90/160.76	c  N dy  3429    619899      7754     29997     76025     81013    124659   1322424      8.61     12.23
661.08/165.51	c  N dy  3541    640111      7754     29997     76094     71831    124659    981143      8.63      9.11
682.24/170.89	c  N dy  3645    660126      7753     29997     76177     91591    124659   1635008      8.64      9.55
701.82/175.73	c  N dy  3769    680205      7752     29997     76234     78185    124659   1118055      8.67     12.58
724.61/181.42	c  N dy  3875    700312      7751     29997     76313     63996    124659    603599      8.69      9.21
731.38/183.15	c Finding binary XORs  T:     0.05 s  found:      49
731.38/183.18	c Replacing      105 vars Replaced    26194 lits Time:     0.03 s 
744.16/186.35	c Finding binary XORs  T:     0.05 s  found:      30
744.96/186.53	c  N dy  3987    720601      7644     29938     83625     83362    124378   1226828      8.70      9.49
767.73/192.26	c  N dy  4108    740652      7641     29938     84709     67739    124378    700386      8.72     10.05
772.52/193.46	c Finding binary XORs  T:     0.05 s  found:       4
788.51/197.45	c  N dy  4234    760749      7639     29925     83453     87356    124306   1330574      8.74     12.25
812.07/203.32	c  N dy  4352    780769      7637     29925     83493     70886    124306    747328      8.76      9.22
833.64/208.72	c  N dy  4472    800851      7636     29925     83596     90782    124306   1365072      8.77     12.77
839.63/210.30	c  S st  4505    806166      7636     29925     83610     96062    124306   1565308      8.78   no data
840.83/210.50	c  S st  4505    806668      7636     29925     83614     96560    124306   1582272      8.78   no data
840.83/210.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
852.82/213.50	c Flit:     3 Blit:      2 bXBeca:    0 bXProp:   40 Bins:   6165 BRemL:  17383 BRemN:     33 P: 43.7M T:  2.99
852.82/213.56	c Replacing       74 vars Replaced    20484 lits Time:     0.06 s 
852.82/213.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
852.82/213.58	c bin-w-bin subsume rem         6717 bins  time:  0.01 s
853.22/213.60	c subs with bin:      186  lits-rem:        94  v-fix:    0  time:  0.01 s
853.22/213.62	c Subs w/ non-existent bins:     11 l-rem:      4 v-fix:     0 done:   7557 time:  0.02 s
853.22/213.63	c Removed useless bin:      16  fixed:     0  props:   0.34M  time:  0.01 s
853.22/213.69	c lits-rem:        76  cl-subs:      376  v-elim:     98  v-fix:    0  time:  0.06 s
855.62/214.25	c subs with bin:     1234  lits-rem:      8791  v-fix:    0  time:  0.51 s
859.20/215.16	c lits-rem:      6958  cl-subs:     2497  v-elim:      0  v-fix:    0  time:  0.90 s
859.20/215.16	c Added XOR as norm:0
859.20/215.18	c vivif2 --  cl tried    29348 cl shrink      116 lits rem        125 time: 0.03
860.41/215.44	c vivif2 --  cl tried    87032 cl shrink    17150 lits rem      81280 time: 0.25
862.00/215.83	c asymm  cl-useful: 46/1695/29337 lits-rem:52 time: 0.40
862.00/215.85	c calculated reachability. Time: 0.01
862.00/215.85	c  N dy  4505    806668      7459     29335     63866     86958    121733   1206820      8.78   no data
862.40/215.90	c Finding binary XORs  T:     0.05 s  found:      30
875.99/219.39	c Finding binary XORs  T:     0.05 s  found:       8
884.37/221.44	c  N dy  4610    826742      7455     29320     67593     70983    121670    771749      8.78      9.39
900.37/225.44	c Finding binary XORs  T:     0.05 s  found:      20
904.76/226.52	c  N dy  4726    846845      7454     29314     69124     90882    121653   1409223      8.80      9.26
928.31/232.45	c  N dy  4849    866857      7451     29314     69357     72791    121653    749735      8.81      9.35
949.48/237.76	c  N dy  4965    886896      7450     29314     69473     92659    121652   1391992      8.82     12.07
974.26/243.95	c  N dy  5063    907014      7446     29314     69579     73473    121652    716763      8.82      9.64
996.63/249.58	c  N dy  5184    927136      7445     29314     69608     93475    121652   1377207      8.83      9.39
1001.84/250.86	c Finding binary XORs  T:     0.05 s  found:       8
1021.39/255.79	c  N dy  5313    947260      7444     29272     68924    113231    121471   1983216      8.85      9.42
1042.16/260.96	c  N dy  5410    967434      7444     29272     68984     93194    121471   1281635      8.85      9.36
1066.13/266.98	c  N dy  5537    987566      7441     29272     69036    113144    121471   1914290      8.87      9.41
1089.72/272.83	c  N dy  5632   1008059      7440     29272     69119     92300    121471   1186180      8.87      9.34
1112.47/278.51	c  N dy  5733   1028096      7439     29272     69207    112193    121471   1869052      8.87     11.14
1135.23/284.22	c  N dy  5831   1048159      7438     29272     69271     90032    121471   1038219      8.87     10.16
1158.40/290.06	c  N dy  5941   1068253      7437     29272     69341    109973    121471   1728140      8.89      9.37
1163.20/291.21	c  F st  5960   1071878      7437     29272     69358    113579    121471   1868782      8.89      6.11
1163.20/291.28	c Replacing       66 vars Replaced    22544 lits Time:     0.05 s 
1164.41/291.55	c Finding binary XORs  T:     0.05 s  found:      16
1183.97/296.44	c  N dy  6035   1088647      7370     29226     69208     85563    121271    870991      8.89      9.37
1205.54/301.82	c  N dy  6147   1109159      7369     29226     69244    105785    121271   1490097      8.90      9.37
1231.91/308.42	c  N dy  6260   1129350      7366     29226     69273    125757    121271   2151952      8.91      9.49
1253.87/313.90	c  N dy  6370   1149371      7365     29226     69306    101317    121271   1318500      8.91     10.03
1279.04/320.27	c  N dy  6483   1169452      7364     29226     69338    121261    121271   2078574      8.92      9.80
1304.21/326.50	c  N dy  6582   1189493      7359     29226     69380     96104    121271   1135359      8.92      9.41
1328.17/332.52	c  N dy  6699   1209519      7357     29226     69410    116018    121271   1877069      8.93     13.70
1328.97/332.70	c  S st  6704   1210002      7357     29226     69410    116500    121271   1898099      8.93   no data
1329.78/332.97	c  S st  6704   1210505      7357     29226     69415    116997    121271   1919804      8.93   no data
1329.78/332.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1343.35/336.30	c Flit:    11 Blit:      5 bXBeca:    0 bXProp:   57 Bins:  10127 BRemL:  11181 BRemN:     10 P: 51.0M T:  3.31
1343.75/336.41	c Replacing       73 vars Replaced    45936 lits Time:     0.11 s 
1343.75/336.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1343.75/336.43	c bin-w-bin subsume rem         3760 bins  time:  0.01 s
1343.75/336.45	c subs with bin:      192  lits-rem:       183  v-fix:    0  time:  0.02 s
1343.75/336.48	c Subs w/ non-existent bins:     22 l-rem:     36 v-fix:     0 done:   7257 time:  0.03 s
1343.75/336.48	c Removed useless bin:      11  fixed:     0  props:   0.32M  time:  0.01 s
1344.17/336.56	c lits-rem:        29  cl-subs:      226  v-elim:     56  v-fix:    0  time:  0.07 s
1347.75/337.48	c subs with bin:     3004  lits-rem:     29449  v-fix:    0  time:  0.84 s
1355.73/339.43	c lits-rem:      9418  cl-subs:     2773  v-elim:      0  v-fix:    0  time:  1.94 s
1355.73/339.43	c Added XOR as norm:0
1355.73/339.46	c vivif2 --  cl tried    28536 cl shrink      145 lits rem        216 time: 0.03
1357.36/339.87	c vivif2 --  cl tried   102824 cl shrink    25399 lits rem     137273 time: 0.41
1359.33/340.36	c asymm  cl-useful: 62/1302/28516 lits-rem:77 time: 0.49
1359.33/340.38	c calculated reachability. Time: 0.01
1359.33/340.38	c  N dy  6704   1210505      7201     28511     62155    102541    118171   1438099      8.93   no data
1359.73/340.43	c Finding binary XORs  T:     0.06 s  found:      31
1373.32/343.84	c Finding binary XORs  T:     0.05 s  found:       2
1387.70/347.46	c  N dy  6799   1230640      7188     28466     68873    119437    117996   2081001      8.93      9.42
1391.29/348.31	c Finding binary XORs  T:     0.05 s  found:      16
1399.28/350.39	c Finding binary XORs  T:     0.05 s  found:       8
1410.48/353.17	c  N dy  6907   1251481      7175     28362     78427     94363    117626   1279227      8.93      9.55
1425.64/356.94	c Finding binary XORs  T:     0.05 s  found:       1
1436.84/359.78	c  N dy  7024   1271667      7174     28350     78430    114396    117571   1948817      8.94      9.46
1463.99/366.52	c  N dy  7147   1291715      7174     28350     78562     87665    117571    992189      8.95     11.21
1487.56/372.48	c  N dy  7245   1312693      7174     28350     78577    108454    117571   1666057      8.95      9.53
1517.12/379.85	c  N dy  7362   1332787      7169     28350     78613    128359    117571   2266925      8.96      9.43
1541.49/385.99	c  N dy  7457   1352982      7168     28350     78643    101016    117571   1346353      8.96      9.43
1567.45/392.49	c  N dy  7543   1373070      7167     28350     78728    120872    117571   2012937      8.96     11.71
1573.84/394.07	c Finding binary XORs  T:     0.05 s  found:      52
1574.24/394.14	c Replacing      110 vars Replaced    37493 lits Time:     0.07 s 
1597.81/400.04	c  N dy  7647   1394304      7043     28143     79355     91959    116661   1002774      8.96      9.45
1620.58/405.76	c  N dy  7736   1414802      7040     28143     79455    112139    116661   1601501      8.96      9.50
1648.93/412.81	c  N dy  7834   1435360      7037     28143     79492    132425    116661   2240474      8.96      9.55
1675.31/419.46	c  N dy  7910   1455420      7036     28143     79526    102949    116661   1209926      8.96      9.93
1705.26/426.93	c  N dy  7993   1476552      7034     28143     79582    123714    116661   1782444      8.95      9.45
1715.25/429.44	c Finding binary XORs  T:     0.05 s  found:     155
1715.65/429.57	c Replacing      155 vars Replaced   111739 lits Time:     0.13 s 
1734.82/434.35	c  N dy  8088   1497297      6672     27005     51646     89778    111220    842354      8.95      9.50
1754.39/439.26	c Finding binary XORs  T:     0.05 s  found:       8
1760.40/440.77	c  N dy  8160   1517408      6669     26976     51545    108806    111064   1288664      8.95      9.42
1781.56/446.05	c  E dy  8205   1532635      6536     25968     47144     84598    107361    813304      8.93      3.53
1781.56/446.08	c Following stats are for *FIRST FINISHED THREAD ONLY*
1781.56/446.08	c num threads              : 4          
1781.56/446.08	c restarts                 : 8205       
1781.56/446.08	c dynamic restarts         : 8175       
1781.56/446.08	c static restarts          : 30         
1781.56/446.08	c full restarts            : 4          
1781.56/446.08	c total simplify time      : 3.17       
1781.56/446.08	c learnts DL2              : 0          
1781.56/446.08	c learnts size 2           : 698164     
1781.56/446.08	c learnts size 1           : 6635        (14.85     % of vars)
1781.56/446.08	c filedLit time            : 34.58       (7.76      % time)
1781.56/446.08	c v-elim SatELite          : 28131       (62.94     % vars)
1781.56/446.08	c SatELite time            : 4.22        (0.95      % time)
1781.56/446.08	c v-elim xor               : 22          (0.05      % vars)
1781.56/446.08	c xor elim time            : 0.11        (0.02      % time)
1781.56/446.08	c num binary xor trees     : 2894       
1781.56/446.08	c binxor trees' crown      : 4622        (1.60      leafs/tree)
1781.56/446.08	c bin xor find time        : 2.13       
1781.56/446.08	c OTF clause improved      : 14712       (0.01      clauses/conflict)
1781.56/446.08	c OTF impr. size diff      : 19370       (1.32       lits/clause)
1781.56/446.08	c OTF cl watch-shrink      : 1188795     (0.78      clauses/conflict)
1781.56/446.08	c OTF cl watch-sh-lit      : 7406578     (6.23       lits/clause)
1781.56/446.08	c tried to recurMin cls    : 576127      (37.59      % of conflicts)
1781.56/446.08	c updated cache            : 16544       (0.03       lits/tried recurMin)
1781.56/446.08	c unit cls recevied        : 394         (5.94      % of units)
1781.56/446.08	c unit cls sent            : 1072        (16.16     % of units)
1781.56/446.08	c bin cls recevied         : 247716     
1781.56/446.08	c bin cls sent             : 349364     
1781.56/446.08	c clauses over max glue    : 0           (0.00      % of all clauses)
1781.56/446.08	c conflicts                : 1532635     (3437.29   / sec)
1781.56/446.08	c decisions                : 2558216     (0.68      % random)
1781.56/446.08	c bogo-props               : 30582402840 (68588062.15 / sec)
1781.56/446.08	c conflict literals        : 49039248    (42.67     % deleted)
1781.56/446.08	c Memory used              : 1154.08     MB
1781.56/446.08	c single-thread CPU time   : 445.89      s
1781.56/446.08	c all-threads sum CPU time : 1780.49     s
1781.56/446.08	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-3287402-1304029940/watcher-3287402-1304029940 -o /tmp/evaluation-result-3287402-1304029940/solver-3287402-1304029940 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3287402-1304029940.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: 8.16 7.96 5.94 5/180 30306
/proc/meminfo: memFree=23002984/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 593224680 52441088 353 33554432000 4194304 4627427 140735485785616 18446744073709551615 260905394107 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 12803 353 303 106 0 7774 0
[pid=30306/tid=30307] ppid=30304 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 593224680 52441088 353 33554432000 4194304 4627427 140735485785616 18446744073709551615 47996004300720 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 593224680 52441088 353 33554432000 4194304 4627427 140735485785616 18446744073709551615 260900441174 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 593224680 52441088 353 33554432000 4194304 4627427 140735485785616 18446744073709551615 260900441174 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0643781 s]
/proc/loadavg: 8.16 7.96 5.94 5/180 30306
/proc/meminfo: memFree=23002984/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=318856 CPUtime=0.21 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) D 30304 30306 30052 0 -1 4202496 20678 0 0 0 19 2 0 0 25 0 4 0 593224680 326508544 16347 33554432000 4194304 4627427 140735485785616 18446744073709551615 4313348 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 79714 16347 339 106 0 74685 0
[pid=30306/tid=30307] ppid=30304 vsize=318856 CPUtime=0.04 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 5066 0 0 0 4 0 0 0 25 0 4 0 593224680 326508544 16347 33554432000 4194304 4627427 140735485785616 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=318856 CPUtime=0.04 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) D 30304 30306 30052 0 -1 4202560 5058 0 0 0 4 0 0 0 25 0 4 0 593224680 326508544 16347 33554432000 4194304 4627427 140735485785616 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=318856 CPUtime=0.05 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) D 30304 30306 30052 0 -1 4202560 5073 0 0 0 5 0 0 0 25 0 4 0 593224680 326508544 16347 33554432000 4194304 4627427 140735485785616 18446744073709551615 260905091280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 318856

[startup+0.111816 s]
/proc/loadavg: 8.16 7.96 5.94 5/180 30306
/proc/meminfo: memFree=23002984/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=321480 CPUtime=0.41 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 23395 0 0 0 38 3 0 0 25 0 4 0 593224680 329195520 19033 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 80370 19033 364 106 0 75341 0
[pid=30306/tid=30307] ppid=30304 vsize=321480 CPUtime=0.09 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 5721 0 0 0 9 0 0 0 25 0 4 0 593224680 329195520 19033 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=321480 CPUtime=0.09 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 5717 0 0 0 9 0 0 0 25 0 4 0 593224680 329195520 19033 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=321480 CPUtime=0.09 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 5809 0 0 0 9 0 0 0 25 0 4 0 593224680 329195520 19033 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 321480

[startup+0.300725 s]
/proc/loadavg: 8.16 7.96 5.94 5/180 30306
/proc/meminfo: memFree=23002984/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=321480 CPUtime=1.17 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 23529 0 0 0 114 3 0 0 25 0 4 0 593224680 329195520 19134 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308764 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 80370 19134 364 106 0 75341 0
[pid=30306/tid=30307] ppid=30304 vsize=321480 CPUtime=0.28 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 5721 0 0 0 28 0 0 0 25 0 4 0 593224680 329195520 19134 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308135 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=321480 CPUtime=0.28 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 5717 0 0 0 28 0 0 0 25 0 4 0 593224680 329195520 19134 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=321480 CPUtime=0.28 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 5943 0 0 0 28 0 0 0 25 0 4 0 593224680 329195520 19134 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 321480

[startup+1.71247 s]
/proc/loadavg: 8.16 7.96 5.94 5/180 30306
/proc/meminfo: memFree=23002984/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=359324 CPUtime=6.81 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 51815 0 0 0 672 9 0 0 25 0 4 0 593224680 367947776 46106 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 89831 46106 389 106 0 84802 0
[pid=30306/tid=30307] ppid=30304 vsize=359324 CPUtime=1.69 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 14997 0 0 0 166 3 0 0 19 0 4 0 593224680 367947776 46106 33554432000 4194304 4627427 140735485785616 18446744073709551615 4298978 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=359324 CPUtime=1.69 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 14971 0 0 0 166 3 0 0 18 0 4 0 593224680 367947776 46106 33554432000 4194304 4627427 140735485785616 18446744073709551615 4299072 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=359324 CPUtime=1.69 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 6772 0 0 0 169 0 0 0 25 0 4 0 593224680 367947776 46106 33554432000 4194304 4627427 140735485785616 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.81
Current children cumulated vsize (KiB) 359324

[startup+1.80045 s]
/proc/loadavg: 8.16 7.96 5.94 5/180 30306
/proc/meminfo: memFree=23002984/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=359324 CPUtime=7.16 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 52140 0 0 0 707 9 0 0 25 0 4 0 593224680 367947776 46207 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309284 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 89831 46207 389 106 0 84802 0
[pid=30306/tid=30307] ppid=30304 vsize=359324 CPUtime=1.78 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 15166 0 0 0 175 3 0 0 19 0 4 0 593224680 367947776 46207 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=359324 CPUtime=1.78 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 15102 0 0 0 175 3 0 0 18 0 4 0 593224680 367947776 46207 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=359324 CPUtime=1.78 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 6789 0 0 0 178 0 0 0 25 0 4 0 593224680 367947776 46207 33554432000 4194304 4627427 140735485785616 18446744073709551615 4329811 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 359324

[startup+3.10021 s]
/proc/loadavg: 8.16 7.96 5.94 9/184 30310
/proc/meminfo: memFree=22814284/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=364288 CPUtime=12.36 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 54534 0 0 0 1226 10 0 0 25 0 4 0 593224680 373030912 46231 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 91072 46231 389 106 0 86043 0
[pid=30306/tid=30307] ppid=30304 vsize=364288 CPUtime=3.08 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 15838 0 0 0 305 3 0 0 21 0 4 0 593224680 373030912 46231 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=364288 CPUtime=3.08 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 15760 0 0 0 305 3 0 0 20 0 4 0 593224680 373030912 46231 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=364288 CPUtime=3.09 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 7480 0 0 0 308 1 0 0 25 0 4 0 593224680 373030912 46231 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 364288

[startup+6.30062 s]
/proc/loadavg: 7.82 7.90 5.93 10/184 30342
/proc/meminfo: memFree=23382912/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=346628 CPUtime=25.14 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 76192 0 0 0 2501 13 0 0 25 0 4 0 593224680 354947072 48273 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308942 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 86657 48273 390 106 0 81628 0
[pid=30306/tid=30307] ppid=30304 vsize=346628 CPUtime=6.26 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 24031 0 0 0 622 4 0 0 25 0 4 0 593224680 354947072 48273 33554432000 4194304 4627427 140735485785616 18446744073709551615 4327629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=346628 CPUtime=6.28 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 23738 0 0 0 624 4 0 0 25 0 4 0 593224680 354947072 48273 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=346628 CPUtime=6.28 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 11588 0 0 0 627 1 0 0 25 0 4 0 593224680 354947072 48273 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308954 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 346628

[startup+12.7005 s]
/proc/loadavg: 7.84 7.90 5.94 9/184 30342
/proc/meminfo: memFree=23052140/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=604828 CPUtime=50.7 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 124817 0 0 0 5048 22 0 0 25 0 4 0 593224680 619343872 96233 33554432000 4194304 4627427 140735485785616 18446744073709551615 4238633 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 151207 96233 391 106 0 146178 0
[pid=30306/tid=30307] ppid=30304 vsize=604828 CPUtime=12.62 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 37136 0 0 0 1256 6 0 0 25 0 4 0 593224680 619343872 96233 33554432000 4194304 4627427 140735485785616 18446744073709551615 4237412 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=604828 CPUtime=12.68 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 32330 0 0 0 1262 6 0 0 25 0 4 0 593224680 619343872 96233 33554432000 4194304 4627427 140735485785616 18446744073709551615 4240186 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=604828 CPUtime=12.68 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 26432 0 0 0 1264 4 0 0 25 0 4 0 593224680 619343872 96233 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 604828

[startup+25.5011 s]
/proc/loadavg: 7.94 7.92 5.98 9/184 30342
/proc/meminfo: memFree=22620748/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=764648 CPUtime=101.83 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 172820 0 0 0 10149 34 0 0 25 0 4 0 593224680 782999552 134682 33554432000 4194304 4627427 140735485785616 18446744073709551615 4227573 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 191162 134682 391 106 0 186133 0
[pid=30306/tid=30307] ppid=30304 vsize=764648 CPUtime=25.35 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 44797 0 0 0 2526 9 0 0 25 0 4 0 593224680 782999552 134682 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=764648 CPUtime=25.48 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 45341 0 0 0 2539 9 0 0 25 0 4 0 593224680 782999552 134682 33554432000 4194304 4627427 140735485785616 18446744073709551615 4327482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=764648 CPUtime=25.48 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 47667 0 0 0 2539 9 0 0 25 0 4 0 593224680 782999552 134682 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308438 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 764648

[startup+51.1004 s]
/proc/loadavg: 8.02 7.94 6.04 9/184 30343
/proc/meminfo: memFree=22456148/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=911020 CPUtime=204.09 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 211709 0 0 0 20365 44 0 0 25 0 4 0 593224680 932884480 154981 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 227755 154981 391 106 0 222726 0
[pid=30306/tid=30307] ppid=30304 vsize=911020 CPUtime=50.81 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 54285 0 0 0 5070 11 0 0 25 0 4 0 593224680 932884480 154981 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=911020 CPUtime=51.08 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 55589 0 0 0 5096 12 0 0 25 0 4 0 593224680 932884480 154981 33554432000 4194304 4627427 140735485785616 18446744073709551615 4299555 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=911020 CPUtime=51.09 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 61629 0 0 0 5096 13 0 0 25 0 4 0 593224680 932884480 154981 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 911020

[startup+102.307 s]
/proc/loadavg: 8.12 7.98 6.15 9/184 30344
/proc/meminfo: memFree=22336840/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=932524 CPUtime=408.64 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 265441 0 0 0 40806 58 0 0 25 0 4 0 593224680 954904576 172749 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 233131 172749 391 106 0 228102 0
[pid=30306/tid=30307] ppid=30304 vsize=932524 CPUtime=101.74 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 70585 0 0 0 10158 16 0 0 25 0 4 0 593224680 954904576 172749 33554432000 4194304 4627427 140735485785616 18446744073709551615 4321918 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=932524 CPUtime=102.29 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 76275 0 0 0 10212 17 0 0 25 0 4 0 593224680 954904576 172749 33554432000 4194304 4627427 140735485785616 18446744073709551615 4515202 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=932524 CPUtime=102.3 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 73252 0 0 0 10213 17 0 0 25 0 4 0 593224680 954904576 172749 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 932524

[startup+162.301 s]

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

/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 107729 0 0 0 28047 29 0 0 25 0 4 0 593224680 1003126784 198000 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=979616 CPUtime=282.28 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 114904 0 0 0 28197 31 0 0 25 0 4 0 593224680 1003126784 198000 33554432000 4194304 4627427 140735485785616 18446744073709551615 4332428 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=979616 CPUtime=282.29 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 107375 0 0 0 28202 27 0 0 25 0 4 0 593224680 1003126784 198000 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1127.65
Current children cumulated vsize (KiB) 979616

[startup+342.301 s]
/proc/loadavg: 8.06 8.04 6.58 9/184 30350
/proc/meminfo: memFree=22001456/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=1084376 CPUtime=1367.32 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 449865 0 0 0 136613 119 0 0 25 0 4 0 593224680 1110401024 212602 33554432000 4194304 4627427 140735485785616 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 271094 212602 391 106 0 266065 0
[pid=30306/tid=30307] ppid=30304 vsize=1084376 CPUtime=340.43 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 124786 0 0 0 34010 33 0 0 25 0 4 0 593224680 1110401024 212602 33554432000 4194304 4627427 140735485785616 18446744073709551615 4467952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=1084376 CPUtime=342.28 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 126873 0 0 0 34192 36 0 0 25 0 4 0 593224680 1110401024 212602 33554432000 4194304 4627427 140735485785616 18446744073709551615 4305848 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=1084376 CPUtime=342.3 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 127345 0 0 0 34198 32 0 0 25 0 4 0 593224680 1110401024 212602 33554432000 4194304 4627427 140735485785616 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1367.32
Current children cumulated vsize (KiB) 1084376

[startup+402.301 s]
/proc/loadavg: 8.21 8.07 6.68 10/185 30355
/proc/meminfo: memFree=21918804/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=1116236 CPUtime=1607 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 492796 0 0 0 160566 134 0 0 25 0 4 0 593224680 1143025664 228883 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 279059 228883 391 106 0 274030 0
[pid=30306/tid=30307] ppid=30304 vsize=1116236 CPUtime=400.11 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 133404 0 0 0 39974 37 0 0 25 0 4 0 593224680 1143025664 228883 33554432000 4194304 4627427 140735485785616 18446744073709551615 4326360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=1116236 CPUtime=402.28 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 142350 0 0 0 40188 40 0 0 25 0 4 0 593224680 1143025664 228883 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=1116236 CPUtime=402.29 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 141697 0 0 0 40191 38 0 0 25 0 4 0 593224680 1143025664 228883 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1607
Current children cumulated vsize (KiB) 1116236

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

[startup+410.601 s]
/proc/loadavg: 8.33 8.10 6.71 10/185 30355
/proc/meminfo: memFree=21891524/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=1116236 CPUtime=1640.15 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 495373 0 0 0 163879 136 0 0 25 0 4 0 593224680 1143025664 231459 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 279059 231459 391 106 0 274030 0
[pid=30306/tid=30307] ppid=30304 vsize=1116236 CPUtime=408.36 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 134280 0 0 0 40799 37 0 0 25 0 4 0 593224680 1143025664 231459 33554432000 4194304 4627427 140735485785616 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=1116236 CPUtime=410.58 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 143217 0 0 0 41017 41 0 0 25 0 4 0 593224680 1143025664 231459 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=1116236 CPUtime=410.59 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 141697 0 0 0 41021 38 0 0 25 0 4 0 593224680 1143025664 231459 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1640.15
Current children cumulated vsize (KiB) 1116236

[startup+423.4 s]
/proc/loadavg: 8.26 8.10 6.73 9/184 30356
/proc/meminfo: memFree=21891020/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=1116236 CPUtime=1691.3 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 500024 0 0 0 168992 138 0 0 25 0 4 0 593224680 1143025664 236007 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 279059 236007 391 106 0 274030 0
[pid=30306/tid=30307] ppid=30304 vsize=1116236 CPUtime=421.09 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 136682 0 0 0 42071 38 0 0 25 0 4 0 593224680 1143025664 236007 33554432000 4194304 4627427 140735485785616 18446744073709551615 4333154 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=1116236 CPUtime=423.39 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 143238 0 0 0 42298 41 0 0 25 0 4 0 593224680 1143025664 236007 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=1116236 CPUtime=423.4 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 143542 0 0 0 42302 38 0 0 25 0 4 0 593224680 1143025664 236007 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1691.3
Current children cumulated vsize (KiB) 1116236

[startup+436.201 s]
/proc/loadavg: 8.22 8.09 6.74 9/184 30356
/proc/meminfo: memFree=21860716/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=1181772 CPUtime=1742.42 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 504435 0 0 0 174101 141 0 0 25 0 4 0 593224680 1210134528 234903 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309130 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 295443 234903 391 106 0 290414 0
[pid=30306/tid=30307] ppid=30304 vsize=1181772 CPUtime=433.82 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 137629 0 0 0 43343 39 0 0 25 0 4 0 593224680 1210134528 234903 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=1181772 CPUtime=436.18 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 145307 0 0 0 43576 42 0 0 25 0 4 0 593224680 1210134528 234903 33554432000 4194304 4627427 140735485785616 18446744073709551615 4302926 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=1181772 CPUtime=436.19 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 144937 0 0 0 43580 39 0 0 25 0 4 0 593224680 1210134528 234903 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1742.42
Current children cumulated vsize (KiB) 1181772

[startup+442.601 s]
/proc/loadavg: 8.20 8.09 6.75 9/184 30356
/proc/meminfo: memFree=21864188/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=1181772 CPUtime=1767.98 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 507381 0 0 0 176656 142 0 0 25 0 4 0 593224680 1210134528 237849 33554432000 4194304 4627427 140735485785616 18446744073709551615 4299555 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 295443 237849 391 106 0 290414 0
[pid=30306/tid=30307] ppid=30304 vsize=1181772 CPUtime=440.19 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 137629 0 0 0 43980 39 0 0 25 0 4 0 593224680 1210134528 237849 33554432000 4194304 4627427 140735485785616 18446744073709551615 4305865 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=1181772 CPUtime=442.58 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 145816 0 0 0 44216 42 0 0 25 0 4 0 593224680 1210134528 237849 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=1181772 CPUtime=442.6 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 147374 0 0 0 44220 40 0 0 25 0 4 0 593224680 1210134528 237849 33554432000 4194304 4627427 140735485785616 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1767.98
Current children cumulated vsize (KiB) 1181772

[startup+444.201 s]
/proc/loadavg: 8.18 8.09 6.75 9/184 30356
/proc/meminfo: memFree=21858732/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=1181772 CPUtime=1774.37 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 507660 0 0 0 177295 142 0 0 25 0 4 0 593224680 1210134528 238128 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 295443 238128 391 106 0 290414 0
[pid=30306/tid=30307] ppid=30304 vsize=1181772 CPUtime=441.78 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 137629 0 0 0 44139 39 0 0 25 0 4 0 593224680 1210134528 238128 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=1181772 CPUtime=444.18 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 145931 0 0 0 44376 42 0 0 25 0 4 0 593224680 1210134528 238128 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=1181772 CPUtime=444.2 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 147538 0 0 0 44380 40 0 0 25 0 4 0 593224680 1210134528 238128 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1774.37
Current children cumulated vsize (KiB) 1181772

[startup+445 s]
/proc/loadavg: 8.18 8.09 6.75 9/184 30356
/proc/meminfo: memFree=21857616/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=1181772 CPUtime=1777.57 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 507791 0 0 0 177615 142 0 0 25 0 4 0 593224680 1210134528 238259 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 295443 238259 391 106 0 290414 0
[pid=30306/tid=30307] ppid=30304 vsize=1181772 CPUtime=442.58 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 137629 0 0 0 44219 39 0 0 25 0 4 0 593224680 1210134528 238259 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=1181772 CPUtime=444.98 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 145996 0 0 0 44456 42 0 0 25 0 4 0 593224680 1210134528 238259 33554432000 4194304 4627427 140735485785616 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=1181772 CPUtime=445 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 147604 0 0 0 44460 40 0 0 25 0 4 0 593224680 1210134528 238259 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1777.57
Current children cumulated vsize (KiB) 1181772

[startup+445.801 s]
/proc/loadavg: 8.18 8.09 6.75 9/184 30356
/proc/meminfo: memFree=21855012/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=1181772 CPUtime=1780.76 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 507898 0 0 0 177934 142 0 0 25 0 4 0 593224680 1210134528 238366 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 295443 238366 391 106 0 290414 0
[pid=30306/tid=30307] ppid=30304 vsize=1181772 CPUtime=443.37 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 137629 0 0 0 44298 39 0 0 25 0 4 0 593224680 1210134528 238366 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=1181772 CPUtime=445.78 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 146033 0 0 0 44536 42 0 0 25 0 4 0 593224680 1210134528 238366 33554432000 4194304 4627427 140735485785616 18446744073709551615 4260660 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=1181772 CPUtime=445.8 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 147674 0 0 0 44540 40 0 0 25 0 4 0 593224680 1210134528 238366 33554432000 4194304 4627427 140735485785616 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1780.76
Current children cumulated vsize (KiB) 1181772

[startup+446.001 s]
/proc/loadavg: 8.18 8.09 6.75 9/184 30356
/proc/meminfo: memFree=21855012/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=1181772 CPUtime=1781.56 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) R 30304 30306 30052 0 -1 4202496 507918 0 0 0 178014 142 0 0 25 0 4 0 593224680 1210134528 238386 33554432000 4194304 4627427 140735485785616 18446744073709551615 4324120 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 295443 238386 391 106 0 290414 0
[pid=30306/tid=30307] ppid=30304 vsize=1181772 CPUtime=443.57 cores=1,3,5,7
/proc/30306/task/30307/stat : 30307 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 137629 0 0 0 44318 39 0 0 25 0 4 0 593224680 1210134528 238386 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30306/tid=30308] ppid=30304 vsize=1181772 CPUtime=445.98 cores=1,3,5,7
/proc/30306/task/30308/stat : 30308 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 146036 0 0 0 44556 42 0 0 25 0 4 0 593224680 1210134528 238386 33554432000 4194304 4627427 140735485785616 18446744073709551615 4324120 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=1181772 CPUtime=446 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4202560 147691 0 0 0 44560 40 0 0 25 0 4 0 593224680 1210134528 238386 33554432000 4194304 4627427 140735485785616 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 1181772

[startup+446.101 s]
/proc/loadavg: 8.18 8.09 6.75 9/184 30356
/proc/meminfo: memFree=21855012/32950928 swapFree=67071984/67111528
[pid=30306] ppid=30304 vsize=0 CPUtime=1781.93 cores=1,3,5,7
/proc/30306/stat : 30306 (strangenight2-m) Z 30304 30306 30052 0 -1 4202524 508959 0 0 0 178049 144 0 0 25 0 2 0 593224680 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/30306/statm: 0 0 0 0 0 0 0
[pid=30306/tid=30309] ppid=30304 vsize=0 CPUtime=446.1 cores=1,3,5,7
/proc/30306/task/30309/stat : 30309 (strangenight2-m) R 30304 30306 30052 0 -1 4203588 147696 0 0 0 44568 42 0 0 25 0 2 0 593224680 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 446.128
CPU time (s): 1781.96
CPU user time (s): 1780.49
CPU system time (s): 1.46778
CPU usage (%): 399.428
Max. virtual memory (cumulated for all children) (KiB): 1262804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.49
system time used= 1.46778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508959
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= 2348
involuntary context switches= 11891

runsolver used 0.723889 second user time and 1.72174 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-29 00:32:20
IDJOB=3287402
IDBENCH=82466
IDSOLVER=1586
FILE ID=node116/3287402-1304029940
RUNJOBID= node116-1304028687-30071
PBS_JOBID= 13170336
Free space on /tmp= 72504 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3287402-1304029940/watcher-3287402-1304029940 -o /tmp/evaluation-result-3287402-1304029940/solver-3287402-1304029940 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3287402-1304029940.cnf

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

MD5SUM BENCH= ee159af2e208d290f7f3fefd15c344f2
RANDOM SEED=724254061

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.826
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.826
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:      23003264 kB
Buffers:       1891376 kB
Cached:        6883176 kB
SwapCached:       9732 kB
Active:        5015992 kB
Inactive:      4509132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23003264 kB
SwapTotal:    67111528 kB
SwapFree:     67071984 kB
Dirty:            7404 kB
Writeback:           0 kB
AnonPages:      743900 kB
Mapped:          14484 kB
Slab:           358104 kB
PageTables:       6148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1191128 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= 72496 MiB
End job on node116 at 2011-04-29 00:39:46