Trace number 3321041

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 2591.04 324.441

General information on the benchmark

NameAPPLICATIONS/
bitverif/maxxor/maxxor064.cnf
MD5SUM902b28046d424b16042ca612ddad48e0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark809.913
Satisfiable
(Un)Satisfiability was proved
Number of variables51064
Number of clauses152039
Sum of the clauses size354755
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2101358
Number of clauses of size 350679
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.01	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3321041-1304322338.cnf'
0.00/0.03	c -- header says num vars:          51064
0.00/0.03	c -- header says num clauses:      152039
1.12/1.32	c -- clauses added:            0 learnts,       152039 normals,            0 xors
1.12/1.32	c -- vars added      51064
1.12/1.32	c Parsing time:  0.09 s
1.12/1.32	c  N st     0         0     51064     50679    101358         0    354753         0   no data   no data
12.98/1.72	c asymm  cl-useful: 0/6338/50662 lits-rem:0 time: 1.48
139.87/17.60	c Flit:     6 Blit:    123 bXBeca:    0 bXProp:  125 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 15.60
139.87/17.61	c Cleaning up after failed var search:     0.00 s 
139.87/17.63	c Replacing      125 vars Replaced     2382 lits Time:     0.02 s 
139.87/17.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
139.87/17.66	c bin-w-bin subsume rem            0 bins  time:  0.01 s
139.87/17.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
145.48/18.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  50792 time:  0.68 s
147.12/18.53	c Removed useless bin:      58  fixed:     0  props:  20.00M  time:  0.17 s
149.33/18.89	c lits-rem:         0  cl-subs:      396  v-elim:  16930  v-fix:    0  time:  0.30 s
152.49/19.25	c Finding binary XORs  T:     0.36 s  found:       0
152.49/19.28	c Finding non-binary XORs:     0.02 s (found:    2023, avg size: 3.0)
152.49/19.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
153.29/19.37	c calculated reachability. Time: 0.08
153.29/19.37	c Calc default polars -  time:   0.00 s pos:     638 undec:   20518 neg:   29908
153.29/19.37	c =========================================================================================
153.29/19.37	c types(t): F = full restart, N = normal restart
153.29/19.37	c types(t): S = simplification begin/end, E = solution found
153.29/19.37	c restart types(rt): st = static, dy = dynamic
153.29/19.37	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
153.29/19.37	c  B st     0         0     33862     45402     62791         0    293139         0   no data   no data
167.67/21.17	c  N dy     9      4998     33861     45402     62867      4871    293139    301362     15.25     16.10
178.07/22.45	c Finding binary XORs  T:     0.22 s  found:     557
178.07/22.47	c Replacing      557 vars Replaced    12854 lits Time:     0.02 s 
181.26/22.80	c  N dy    25      9020     33302     44100     64636      4506    289215     88507     14.79     17.65
193.25/24.33	c  N dy    42     14042     33300     44100     64782      9345    289215    302554     14.47     15.40
206.05/25.90	c  N dy    64     18328     33298     44100     66516      6975    289214     85928     14.51     15.32
218.83/27.50	c  N dy    88     22426     33298     44100     67929     10984    289214    272945     15.42     16.44
226.07/28.46	c Finding binary XORs  T:     0.22 s  found:     577
226.07/28.48	c Replacing      577 vars Replaced    18189 lits Time:     0.02 s 
227.63/28.69	c  F st    97     25000     32721     42952     66482     12962    285745    385377     15.16      8.61
235.67/29.66	c  N st   101     27032     32720     42952     67061     14959    285744    560902     15.16   no data
244.47/30.75	c  S st   103     30000     32715     42952     67066      9792    285744    225143     15.16   no data
246.81/31.01	c  S st   103     30503     32715     42952     67113     10247    285744    239822     15.16   no data
246.81/31.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
354.71/44.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  156 Bins:  13449 BRemL:     18 BRemN:      0 P: 190.8M T: 13.41
354.71/44.56	c Replacing      156 vars Replaced     6759 lits Time:     0.02 s 
354.71/44.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
354.71/44.58	c bin-w-bin subsume rem         1128 bins  time:  0.01 s
355.51/44.61	c subs with bin:      857  lits-rem:       230  v-fix:    0  time:  0.02 s
357.95/44.93	c Subs w/ non-existent bins:    299 l-rem:   1186 v-fix:     0 done:  32559 time:  0.32 s
358.76/45.01	c Removed useless bin:      75  fixed:     0  props:   5.16M  time:  0.07 s
360.30/45.24	c lits-rem:       104  cl-subs:      422  v-elim:  14181  v-fix:    0  time:  0.23 s
360.30/45.26	c subs with bin:      280  lits-rem:       134  v-fix:    0  time:  0.01 s
360.30/45.29	c lits-rem:        15  cl-subs:       65  v-elim:      0  v-fix:    0  time:  0.02 s
368.28/46.25	c asymm  cl-useful: 939/8822/48252 lits-rem:939 time: 0.95
369.09/46.31	c calculated reachability. Time: 0.05
369.09/46.31	c  N dy   103     30503     18378     48252     32657      4440    257511     34955     15.16   no data
369.88/46.47	c Finding binary XORs  T:     0.16 s  found:       1
377.08/47.30	c  N dy   113     34567     18378     48252     34960      8374    257507    148432     14.57     15.37
385.13/48.35	c  N dy   125     38810     18376     48252     35031     12526    257504    245898     14.15     15.16
393.10/49.34	c  N dy   142     42849     18376     48252     35053      9590    257497    125728     13.98     14.81
397.85/49.97	c  S st   149     45754     18376     48252     36171     12440    257493    192731     13.71     11.74
400.25/50.24	c Finding binary XORs  T:     0.08 s  found:     549
400.25/50.25	c Replacing      550 vars Replaced    15689 lits Time:     0.02 s 
401.05/50.32	c  S st   149     46256     17824     47000     34785     12345    253155    200564     13.71   no data
401.05/50.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
457.00/57.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:  14366 BRemL:    165 BRemN:      0 P: 75.7M T:  6.93
457.00/57.33	c Replacing        4 vars Replaced      133 lits Time:     0.01 s 
457.00/57.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
457.00/57.35	c bin-w-bin subsume rem          474 bins  time:  0.01 s
457.00/57.37	c subs with bin:     1081  lits-rem:       335  v-fix:    0  time:  0.02 s
457.80/57.45	c Subs w/ non-existent bins:    303 l-rem:    496 v-fix:     0 done:  17820 time:  0.08 s
457.80/57.47	c Removed useless bin:      50  fixed:     0  props:   0.96M  time:  0.02 s
458.59/57.54	c lits-rem:         5  cl-subs:       23  v-elim:    206  v-fix:    0  time:  0.07 s
458.59/57.58	c subs with bin:      244  lits-rem:       931  v-fix:    0  time:  0.03 s
459.39/57.63	c lits-rem:       105  cl-subs:      170  v-elim:      0  v-fix:    0  time:  0.04 s
460.19/57.71	c vivif2 --  cl tried    45960 cl shrink      159 lits rem        159 time: 0.07
460.19/57.75	c vivif2 --  cl tried    11237 cl shrink     1959 lits rem      13006 time: 0.05
468.18/58.79	c asymm  cl-useful: 0/3478/45960 lits-rem:0 time: 1.03
468.98/58.83	c calculated reachability. Time: 0.03
468.98/58.83	c  N dy   149     46256     17614     45960     40862     11225    254432    148257     13.71   no data
469.77/58.92	c Finding binary XORs  T:     0.09 s  found:       0
478.57/60.04	c  N dy   151     51254     17614     45960     40900     16108    254432    424283     13.23     14.69
483.35/60.68	c  N dy   158     55403     17609     45960     44505     11262    254432    142958     12.97     13.71
491.36/61.64	c  N dy   168     59473     17607     45960     45669     15205    254432    294304     12.76     14.11
493.76/61.99	c Finding binary XORs  T:     0.09 s  found:     361
494.56/62.01	c Replacing      361 vars Replaced    12166 lits Time:     0.02 s 
501.75/62.91	c  N dy   181     64118     17246     45282     44583     19199    251748    397552     12.53     13.37
509.74/63.96	c  N dy   196     68340     17242     45282     46867     12648    251745    184298     12.49     13.21
512.14/64.24	c  S st   199     69384     17242     45282     46881     13669    251745    208225     12.46   no data
513.74/64.44	c  S st   199     69886     17242     45282     46922     14126    251744    217439     12.46   no data
513.74/64.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
572.88/71.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  108 Bins:   5367 BRemL:   1322 BRemN:      0 P: 78.6M T:  7.39
573.68/71.91	c Replacing      108 vars Replaced     4843 lits Time:     0.02 s 
573.68/71.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
573.68/71.94	c bin-w-bin subsume rem         1203 bins  time:  0.01 s
573.68/71.96	c subs with bin:      425  lits-rem:         6  v-fix:    0  time:  0.02 s
574.48/72.04	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:  17134 time:  0.08 s
574.48/72.06	c Removed useless bin:      38  fixed:     0  props:   0.78M  time:  0.02 s
575.28/72.12	c lits-rem:         0  cl-subs:        5  v-elim:     30  v-fix:    0  time:  0.06 s
576.09/72.23	c subs with bin:      279  lits-rem:       504  v-fix:    0  time:  0.10 s
576.09/72.28	c lits-rem:       231  cl-subs:      204  v-elim:      0  v-fix:    0  time:  0.04 s
576.89/72.37	c vivif2 --  cl tried    44610 cl shrink       79 lits rem         79 time: 0.08
577.74/72.42	c vivif2 --  cl tried    13324 cl shrink     1456 lits rem       9877 time: 0.05
586.53/73.54	c asymm  cl-useful: 0/3154/44610 lits-rem:0 time: 1.12
586.53/73.58	c calculated reachability. Time: 0.03
586.53/73.58	c  N dy   199     69886     17104     44610     49287     13321    249765    203005     12.46   no data
587.33/73.68	c Finding binary XORs  T:     0.10 s  found:       3
598.47/75.01	c  N dy   206     75114     17099     44610     56238     18425    249765    429663     12.24     13.31
604.92/75.84	c Finding binary XORs  T:     0.10 s  found:     510
604.92/75.87	c Replacing      513 vars Replaced    18715 lits Time:     0.03 s 
610.45/76.53	c  N dy   209     81058     16584     43651     55111     23107    246045    690159     11.95     12.96
621.70/77.91	c  N dy   219     86300     16584     43651     56836     16594    246043    359551     11.77     12.50
623.24/78.12	c  F st   220     87501     16584     43651     56841     17764    246043    450458     11.72      7.87
632.84/79.37	c  N dy   226     92692     16583     43651     56848     22906    246043    677827     11.72   no data
648.08/81.30	c  N dy   249     99389     16582     43651     57208     16042    246041    269915     11.58     12.23
656.01/82.20	c Finding binary XORs  T:     0.10 s  found:     204
656.01/82.22	c Replacing      204 vars Replaced     7816 lits Time:     0.02 s 
661.62/82.92	c  S st   273    104830     16376     43216     56917     20992    244511    516554     11.58      9.57
663.22/83.13	c  S st   273    105334     16376     43216     56938     21469    244510    527504     11.58   no data
663.22/83.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
723.16/90.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   15 Bins:   1340 BRemL:   3279 BRemN:      0 P: 80.1M T:  7.46
723.16/90.63	c Replacing       15 vars Replaced      635 lits Time:     0.01 s 
723.16/90.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
723.16/90.66	c bin-w-bin subsume rem         1580 bins  time:  0.01 s
723.16/90.68	c subs with bin:      464  lits-rem:        22  v-fix:    0  time:  0.02 s
723.96/90.76	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:  16361 time:  0.08 s
723.96/90.78	c Removed useless bin:       1  fixed:     0  props:   0.72M  time:  0.02 s
724.76/90.84	c lits-rem:         0  cl-subs:       16  v-elim:     21  v-fix:    0  time:  0.06 s
726.35/91.00	c subs with bin:      337  lits-rem:      1461  v-fix:    0  time:  0.13 s
727.20/91.15	c lits-rem:      1166  cl-subs:      634  v-elim:      0  v-fix:    0  time:  0.15 s
728.01/91.24	c vivif2 --  cl tried    42721 cl shrink        5 lits rem          5 time: 0.08
728.74/91.32	c vivif2 --  cl tried    20191 cl shrink     3907 lits rem      42391 time: 0.08
732.75/91.86	c asymm  cl-useful: 1/1388/42721 lits-rem:3 time: 0.54
732.75/91.90	c calculated reachability. Time: 0.03
732.75/91.90	c  N dy   273    105334     16340     42720     53289     20187    243431    434805     11.58   no data
749.54/93.91	c Finding binary XORs  T:     0.10 s  found:     370
749.54/93.94	c Replacing      370 vars Replaced    17964 lits Time:     0.03 s 
750.33/94.03	c  N dy   295    112076     15967     42081     56961     26240    240947    776932     11.47     12.95
769.51/96.46	c  N dy   318    119891     15961     42081     58988     20221    240943    464051     11.33     12.17
783.90/98.28	c  N dy   344    127543     15961     42081     59193     27771    240942    811159     11.26     15.41
797.55/99.93	c Finding binary XORs  T:     0.10 s  found:     235
797.55/99.95	c Replacing      235 vars Replaced     9794 lits Time:     0.02 s 
801.49/100.43	c  N dy   387    135681     15726     41608     58708     21032    239155    310456     11.24     11.84
819.07/102.64	c  N dy   427    144389     15726     41608     58851     29598    239155    680622     11.21     11.84
839.87/105.21	c  N dy   470    153734     15722     41608     59169     23162    239155    333173     11.22     12.20
848.66/106.32	c  S st   489    158002     15722     41608     59395     27381    239155    582506     11.21   no data
850.31/106.52	c  S st   489    158504     15722     41608     59399     27878    239155    601073     11.21   no data
850.31/106.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
911.00/114.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  161 Bins:   1340 BRemL:   1210 BRemN:      0 P: 82.9M T:  7.58
911.00/114.16	c Replacing      161 vars Replaced    12600 lits Time:     0.03 s 
911.00/114.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
911.00/114.18	c bin-w-bin subsume rem         1994 bins  time:  0.01 s
911.85/114.21	c subs with bin:      203  lits-rem:        16  v-fix:    0  time:  0.02 s
911.85/114.28	c Subs w/ non-existent bins:     12 l-rem:     22 v-fix:     0 done:  15560 time:  0.07 s
911.85/114.30	c Removed useless bin:       3  fixed:     0  props:   0.65M  time:  0.02 s
912.66/114.36	c lits-rem:         8  cl-subs:       25  v-elim:     23  v-fix:    0  time:  0.06 s
915.79/114.75	c subs with bin:      199  lits-rem:      2492  v-fix:    0  time:  0.36 s
917.39/114.90	c lits-rem:       645  cl-subs:      743  v-elim:      0  v-fix:    0  time:  0.14 s
917.39/114.99	c vivif2 --  cl tried    41020 cl shrink       12 lits rem         12 time: 0.08
918.19/115.09	c vivif2 --  cl tried    25427 cl shrink     4613 lits rem      39928 time: 0.10
923.00/115.60	c asymm  cl-useful: 6/1918/41020 lits-rem:18 time: 0.51
923.00/115.64	c calculated reachability. Time: 0.03
923.00/115.64	c  N dy   489    158504     15537     41014     56975     25404    237244    476491     11.21   no data
923.80/115.74	c Finding binary XORs  T:     0.10 s  found:       7
950.16/119.01	c  N dy   512    168792     15534     41014     59309     35532    237244   1086813     11.08     11.77
971.76/121.77	c Finding binary XORs  T:     0.10 s  found:     159
972.56/121.80	c Replacing      166 vars Replaced    12347 lits Time:     0.03 s 
978.95/122.61	c  N dy   544    179626     15366     40736     59947     29674    236113    688562     10.99     20.16
1011.72/126.74	c  N dy   585    191375     15364     40736     60181     23708    236113    261374     10.92     11.69
1040.49/130.39	c  N dy   656    203998     15362     40736     60426     36138    236113    793046     10.93     11.75
1061.33/133.00	c Finding binary XORs  T:     0.10 s  found:      34
1081.25/135.47	c  N dy   725    217846     15362     40713     62881     31559    236043    510387     10.95     11.53
1114.90/139.65	c  N dy   813    231900     15358     40713     63102     45429    236043   1266857     11.06     11.95
1128.42/141.30	c  S st   846    237756     15357     40713     63246     31624    236043    430128     11.09   no data
1129.22/141.49	c  S st   846    238256     15357     40713     63256     32110    236043    451091     11.09   no data
1130.02/141.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1190.78/149.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   26 Bins:   1128 BRemL:   1624 BRemN:      0 P: 83.9M T:  7.63
1190.78/149.16	c Replacing       60 vars Replaced     4296 lits Time:     0.03 s 
1190.78/149.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1190.78/149.19	c bin-w-bin subsume rem          798 bins  time:  0.01 s
1191.58/149.21	c subs with bin:       90  lits-rem:       114  v-fix:    0  time:  0.02 s
1191.58/149.28	c Subs w/ non-existent bins:      4 l-rem:      8 v-fix:     0 done:  15298 time:  0.07 s
1192.38/149.30	c Removed useless bin:       1  fixed:     0  props:   0.61M  time:  0.02 s
1192.38/149.36	c lits-rem:         0  cl-subs:       16  v-elim:     27  v-fix:    0  time:  0.06 s
1194.77/149.62	c subs with bin:      304  lits-rem:      2585  v-fix:    0  time:  0.24 s
1195.57/149.73	c lits-rem:       807  cl-subs:      851  v-elim:      0  v-fix:    0  time:  0.10 s
1196.37/149.82	c vivif2 --  cl tried    40448 cl shrink       57 lits rem         57 time: 0.09
1197.17/149.92	c vivif2 --  cl tried    30301 cl shrink     3133 lits rem      19635 time: 0.10
1201.17/150.45	c asymm  cl-useful: 0/3621/40446 lits-rem:0 time: 0.52
1201.17/150.48	c calculated reachability. Time: 0.03
1201.17/150.49	c  N dy   846    238256     15271     40446     61670     30206    234890    394168     11.09   no data
1202.02/150.59	c Finding binary XORs  T:     0.10 s  found:       0
1248.33/156.31	c  N dy   918    253493     15264     40446     63708     45260    234888   1846527     11.05     13.76
1257.12/157.48	c Finding binary XORs  T:     0.10 s  found:      28
1295.50/162.22	c  N dy  1012    269725     15258     40399     63936     40111    234691    916218     11.07     11.66
1337.06/167.44	c  N dy  1114    287042     15242     40399     64386     36161    234691    522389     11.14     30.34
1364.24/170.84	c Finding binary XORs  T:     0.10 s  found:      25
1385.83/173.60	c  N dy  1242    305392     15242     40309     63221     53116    234101   1720360     11.29     19.57
1389.02/173.98	c  F st  1247    306250     15242     40309     63226     53962    234101   1782041     11.28   no data
1389.82/174.04	c Replacing       53 vars Replaced    13298 lits Time:     0.06 s 
1436.98/179.95	c  N dy  1350    324958     15185     40225     63413     49828    233697   1483358     11.38     12.12
1460.16/182.87	c Finding binary XORs  T:     0.10 s  found:      21
1493.73/187.03	c  N dy  1489    345056     15166     40187     64959     45657    233417   1053055     11.51     15.24
1530.50/191.67	c  S st  1583    357384     15163     40187     65580     57847    233415   1975369     11.62   no data
1532.10/191.87	c  S st  1583    357887     15163     40187     65588     58338    233414   2001816     11.62   no data
1532.10/191.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1625.62/203.55	c Flit:     0 Blit:      3 bXBeca:    0 bXProp:   74 Bins:   4803 BRemL:     21 BRemN:      0 P: 147.6M T: 11.66
1626.42/203.63	c Replacing       95 vars Replaced    13712 lits Time:     0.07 s 
1626.42/203.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1626.42/203.65	c bin-w-bin subsume rem         1068 bins  time:  0.01 s
1626.42/203.68	c subs with bin:      254  lits-rem:       751  v-fix:    0  time:  0.02 s
1627.22/203.76	c Subs w/ non-existent bins:     47 l-rem:    125 v-fix:     0 done:  15066 time:  0.08 s
1627.22/203.78	c Removed useless bin:       0  fixed:     0  props:   0.58M  time:  0.02 s
1628.03/203.85	c lits-rem:       144  cl-subs:      299  v-elim:    168  v-fix:    0  time:  0.08 s
1634.41/204.65	c subs with bin:     1355  lits-rem:     10589  v-fix:    0  time:  0.74 s
1637.61/205.07	c lits-rem:      3043  cl-subs:     1523  v-elim:      0  v-fix:    0  time:  0.41 s
1638.41/205.17	c vivif2 --  cl tried    39326 cl shrink     1042 lits rem       1743 time: 0.10
1640.82/205.43	c vivif2 --  cl tried    42873 cl shrink    10193 lits rem     118931 time: 0.26
1644.80/205.95	c asymm  cl-useful: 6/1070/39128 lits-rem:18 time: 0.52
1645.60/206.00	c calculated reachability. Time: 0.04
1645.60/206.01	c  N dy  1583    357887     14898     39122     68422     42441    227077    844419     11.62   no data
1646.40/206.15	c Finding binary XORs  T:     0.14 s  found:     108
1663.20/208.23	c Finding binary XORs  T:     0.13 s  found:      37
1704.01/213.31	c  N dy  1700    377954     14874     39071     82175     43784    226797   1065791     11.70     12.58
1728.74/216.50	c Finding binary XORs  T:     0.13 s  found:      64
1729.59/216.56	c Replacing      209 vars Replaced    27704 lits Time:     0.06 s 
1761.51/220.55	c  N dy  1842    398032     14659     38886     82185     38852    225899    723999     11.90     12.66
1819.07/227.74	c  N dy  2001    418086     14647     38886     83144     58625    225894   2268217     12.16     18.68
1844.70/230.98	c Finding binary XORs  T:     0.13 s  found:      31
1877.43/235.01	c  N dy  2146    438156     14632     38833     83253     51834    225534   1668564     12.38     16.99
1939.78/242.80	c  N dy  2302    458183     14620     38833     84379     45397    225522    781883     12.59     18.80
1943.77/243.36	c Finding binary XORs  T:     0.13 s  found:      39
1999.72/250.34	c  N dy  2457    478191     14589     38741     84951     63297    224917   2694754     12.83     19.20
2039.69/255.34	c Finding binary XORs  T:     0.13 s  found:      47
2066.07/258.66	c  N dy  2607    498272     14567     38634     84674     53585    224216   1592357     13.01     13.70
2122.03/265.63	c Finding binary XORs  T:     0.14 s  found:     211
2122.83/265.77	c Replacing      328 vars Replaced    64427 lits Time:     0.14 s 
2141.21/268.03	c  N dy  2756    518315     14215     38411     93073     43727    222937    583130     13.19     18.72
2198.77/275.20	c  S st  2907    536830     14145     38411     94624     61983    222908   2508378     13.38   no data
2200.37/275.42	c  S st  2907    537331     14145     38411     94625     62479    222897   2560555     13.38   no data
2200.37/275.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2310.73/289.23	c Flit:    16 Blit:     72 bXBeca:    0 bXProp:  332 Bins:   4183 BRemL:    608 BRemN:      0 P: 200.1M T: 13.79
2311.47/289.36	c Replacing      332 vars Replaced    69522 lits Time:     0.11 s 
2311.47/289.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2311.47/289.39	c bin-w-bin subsume rem         7232 bins  time:  0.02 s
2312.28/289.42	c subs with bin:     1177  lits-rem:      2257  v-fix:    0  time:  0.03 s
2313.08/289.55	c Subs w/ non-existent bins:    128 l-rem:   1703 v-fix:     0 done:  13718 time:  0.13 s
2313.08/289.57	c Removed useless bin:      13  fixed:     0  props:   0.55M  time:  0.01 s
2313.88/289.66	c lits-rem:       305  cl-subs:      496  v-elim:    473  v-fix:    0  time:  0.09 s
2319.52/290.36	c subs with bin:     4596  lits-rem:     10979  v-fix:    0  time:  0.65 s
2322.67/290.78	c lits-rem:      2584  cl-subs:     1948  v-elim:      0  v-fix:    0  time:  0.41 s
2324.27/290.91	c vivif2 --  cl tried    35909 cl shrink     2560 lits rem       5319 time: 0.13
2326.66/291.20	c vivif2 --  cl tried    39469 cl shrink    13974 lits rem     138443 time: 0.29
2330.66/291.78	c asymm  cl-useful: 1/861/35458 lits-rem:3 time: 0.58
2331.46/291.85	c calculated reachability. Time: 0.06
2331.46/291.85	c  N dy  2907    537331     13245     35457     86031     37339    201837    796514     13.38   no data
2333.05/292.10	c Finding binary XORs  T:     0.24 s  found:     398
2333.85/292.12	c Replacing      398 vars Replaced    17992 lits Time:     0.02 s 
2367.43/296.32	c Finding binary XORs  T:     0.20 s  found:     110
2387.41/298.83	c  N dy  2984    557634     12689     35065     90844     54246    199813   2670313     13.34     14.06
2428.17/303.95	c Finding binary XORs  T:     0.20 s  found:     128
2428.97/304.01	c Replacing      238 vars Replaced    35473 lits Time:     0.06 s 
2434.57/304.79	c  N dy  3063    577825     12356     34287     89900     43289    195839   1651346     13.31     14.11
2485.78/311.15	c  N dy  3186    597888     12221     33857     90257     33950    193781    750578     13.34     14.09
2498.52/312.70	c Finding binary XORs  T:     0.20 s  found:     117
2535.30/317.39	c  N dy  3292    617985     12175     33814     90708     53050    193481   2102311     13.34     19.53
2573.72/322.13	c Finding binary XORs  T:     0.20 s  found:      98
2573.72/322.17	c Replacing      215 vars Replaced    22400 lits Time:     0.03 s 
2582.51/323.30	c  N dy  3371    638264     11844     32718    100344     36978    187892    893618     13.31     14.02
2586.45/323.79	c Finding binary XORs  T:     0.20 s  found:     327
2587.25/323.83	c Replacing      327 vars Replaced    23298 lits Time:     0.03 s 
2590.45/324.24	c Following stats are for *FIRST FINISHED THREAD ONLY*
2590.45/324.24	c num threads              : 8          
2590.45/324.24	c restarts                 : 3871       
2590.45/324.24	c dynamic restarts         : 3847       
2590.45/324.24	c static restarts          : 24         
2590.45/324.24	c full restarts            : 3          
2590.45/324.24	c total simplify time      : 5.50       
2590.45/324.24	c learnts DL2              : 0          
2590.45/324.24	c learnts size 2           : 370655     
2590.45/324.24	c learnts size 1           : 1899        (3.72      % of vars)
2590.45/324.24	c filedLit time            : 36.69       (11.33     % time)
2590.45/324.25	c v-elim SatELite          : 31037       (60.78     % vars)
2590.45/324.25	c SatELite time            : 2.33        (0.72      % time)
2590.45/324.25	c v-elim xor               : 0           (0.00      % vars)
2590.45/324.25	c xor elim time            : 0.04        (0.01      % time)
2590.45/324.25	c num binary xor trees     : 1351       
2590.45/324.25	c binxor trees' crown      : 6094        (4.51      leafs/tree)
2590.45/324.25	c bin xor find time        : 4.06       
2590.45/324.25	c OTF clause improved      : 6233        (0.01      clauses/conflict)
2590.45/324.25	c OTF impr. size diff      : 9396        (1.51       lits/clause)
2590.45/324.25	c OTF cl watch-shrink      : 429694      (0.63      clauses/conflict)
2590.45/324.25	c OTF cl watch-sh-lit      : 3965037     (9.23       lits/clause)
2590.45/324.25	c tried to recurMin cls    : 371823      (54.47      % of conflicts)
2590.45/324.25	c updated cache            : 82481       (0.22       lits/tried recurMin)
2590.45/324.25	c unit cls recevied        : 583         (30.70     % of units)
2590.45/324.25	c unit cls sent            : 413         (21.75     % of units)
2590.45/324.25	c bin cls recevied         : 239620     
2590.45/324.25	c bin cls sent             : 26606      
2590.45/324.25	c clauses over max glue    : 0           (0.00      % of all clauses)
2590.45/324.25	c conflicts                : 682610      (2108.97   / sec)
2590.45/324.25	c decisions                : 3326891     (1.07      % random)
2590.45/324.25	c bogo-props               : 8300156384  (25643901.71 / sec)
2590.45/324.25	c conflict literals        : 49197691    (37.28     % deleted)
2590.45/324.25	c Memory used              : 4870.78     MB
2590.45/324.25	c single-thread CPU time   : 323.67      s
2590.45/324.25	c all-threads sum CPU time : 2586.71     s
2590.45/324.25	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-3321041-1304322338/watcher-3321041-1304322338 -o /tmp/evaluation-result-3321041-1304322338/solver-3321041-1304322338 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321041-1304322338.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.40 3.03 1.16 2/221 26256
/proc/meminfo: memFree=28996184/32951124 swapFree=67105204/67111528
[pid=26256] ppid=26254 vsize=92188 CPUtime=0.01 cores=0-7
/proc/26256/stat : 26256 (strangenight2-m) R 26254 26256 26192 0 -1 4202496 412 0 0 0 1 0 0 0 23 0 8 0 524649765 94400512 352 33554432000 4194304 4627427 140734991266832 18446744073709551615 47242199091122 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26256/statm: 23047 352 299 106 0 18018 0
[pid=26256/tid=26257] ppid=26254 vsize=92188 CPUtime=0 cores=0-7
/proc/26256/task/26257/stat : 26257 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 524649766 94400512 352 33554432000 4194304 4627427 140734991266832 18446744073709551615 47242199091116 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26258] ppid=26254 vsize=92188 CPUtime=0 cores=0-7
/proc/26256/task/26258/stat : 26258 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 524649766 94400512 352 33554432000 4194304 4627427 140734991266832 18446744073709551615 47242199091122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26259] ppid=26254 vsize=92188 CPUtime=0 cores=0-7
/proc/26256/task/26259/stat : 26259 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 524649766 94400512 352 33554432000 4194304 4627427 140734991266832 18446744073709551615 47242199091122 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26256/tid=26260] ppid=26254 vsize=92188 CPUtime=0 cores=0-7
/proc/26256/task/26260/stat : 26260 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 524649766 94400512 352 33554432000 4194304 4627427 140734991266832 18446744073709551615 47242199091122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26256/tid=26261] ppid=26254 vsize=92188 CPUtime=0 cores=0-7
/proc/26256/task/26261/stat : 26261 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 524649766 94400512 352 33554432000 4194304 4627427 140734991266832 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26256/tid=26262] ppid=26254 vsize=92188 CPUtime=0 cores=0-7
/proc/26256/task/26262/stat : 26262 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 524649766 94400512 352 33554432000 4194304 4627427 140734991266832 18446744073709551615 47242199091112 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=92188 CPUtime=0 cores=0-7
/proc/26256/task/26263/stat : 26263 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 524649766 94400512 352 33554432000 4194304 4627427 140734991266832 18446744073709551615 47242199091116 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0406289 s]
/proc/loadavg: 6.40 3.03 1.16 2/221 26256
/proc/meminfo: memFree=28996184/32951124 swapFree=67105204/67111528
[pid=26256] ppid=26254 vsize=554380 CPUtime=0.2 cores=0-7
/proc/26256/stat : 26256 (strangenight2-m) S 26254 26256 26192 0 -1 4202496 4258 0 0 0 18 2 0 0 17 0 8 0 524649765 567685120 4134 33554432000 4194304 4627427 140734991266832 18446744073709551615 220816341486 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26256/statm: 138803 4196 338 106 0 133774 0
[pid=26256/tid=26257] ppid=26254 vsize=555596 CPUtime=0.02 cores=0-7
/proc/26256/task/26257/stat : 26257 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 507 0 0 0 2 0 0 0 17 0 8 0 524649766 568930304 4320 33554432000 4194304 4627427 140734991266832 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26258] ppid=26254 vsize=555596 CPUtime=0 cores=0-7
/proc/26256/task/26258/stat : 26258 (strangenight2-m) S 26254 26256 26192 0 -1 4202560 495 0 0 0 0 0 0 0 18 0 8 0 524649766 568930304 4343 33554432000 4194304 4627427 140734991266832 18446744073709551615 220816341486 0 0 4096 2 18446604449089500224 0 0 -1 5 0 0 0
[pid=26256/tid=26259] ppid=26254 vsize=555596 CPUtime=0.03 cores=0-7
/proc/26256/task/26259/stat : 26259 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 573 0 0 0 3 0 0 0 17 0 8 0 524649766 568930304 4357 33554432000 4194304 4627427 140734991266832 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26256/tid=26260] ppid=26254 vsize=555596 CPUtime=0.02 cores=0-7
/proc/26256/task/26260/stat : 26260 (strangenight2-m) S 26254 26256 26192 0 -1 4202560 532 0 0 0 2 0 0 0 17 0 8 0 524649766 568930304 4388 33554432000 4194304 4627427 140734991266832 18446744073709551615 220816341486 0 0 4096 2 18446604449089500224 0 0 -1 0 0 0 0
[pid=26256/tid=26261] ppid=26254 vsize=555596 CPUtime=0.02 cores=0-7
/proc/26256/task/26261/stat : 26261 (strangenight2-m) D 26254 26256 26192 0 -1 4202560 547 0 0 0 2 0 0 0 17 0 8 0 524649766 568930304 4388 33554432000 4194304 4627427 140734991266832 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26256/tid=26262] ppid=26254 vsize=555596 CPUtime=0.02 cores=0-7
/proc/26256/task/26262/stat : 26262 (strangenight2-m) D 26254 26256 26192 0 -1 4202560 601 0 0 0 2 0 0 0 17 0 8 0 524649766 568930304 4388 33554432000 4194304 4627427 140734991266832 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=555596 CPUtime=0.02 cores=0-7
/proc/26256/task/26263/stat : 26263 (strangenight2-m) S 26254 26256 26192 0 -1 4202560 523 0 0 0 2 0 0 0 17 0 8 0 524649766 568930304 4388 33554432000 4194304 4627427 140734991266832 18446744073709551615 220816341486 0 0 4096 2 18446604449089500224 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 554380

[startup+0.102607 s]
/proc/loadavg: 6.40 3.03 1.16 2/221 26256
/proc/meminfo: memFree=28996184/32951124 swapFree=67105204/67111528
[pid=26256] ppid=26254 vsize=582604 CPUtime=0.55 cores=0-7
/proc/26256/stat : 26256 (strangenight2-m) S 26254 26256 26192 0 -1 4202496 17375 0 0 0 39 16 0 0 17 0 8 0 524649765 596586496 14950 33554432000 4194304 4627427 140734991266832 18446744073709551615 220816341486 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26256/statm: 145394 14953 339 106 0 140365 0
[pid=26256/tid=26257] ppid=26254 vsize=583628 CPUtime=0.05 cores=0-7
/proc/26256/task/26257/stat : 26257 (strangenight2-m) D 26254 26256 26192 0 -1 4202560 2261 0 0 0 4 1 0 0 17 0 8 0 524649766 597635072 14985 33554432000 4194304 4627427 140734991266832 18446744073709551615 4354520 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26258] ppid=26254 vsize=585680 CPUtime=0.04 cores=0-7
/proc/26256/task/26258/stat : 26258 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 2011 0 0 0 2 2 0 0 17 0 8 0 524649766 599736320 14994 33554432000 4194304 4627427 140734991266832 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26256/tid=26259] ppid=26254 vsize=587732 CPUtime=0.07 cores=0-7
/proc/26256/task/26259/stat : 26259 (strangenight2-m) D 26254 26256 26192 0 -1 4202560 2088 0 0 0 5 2 0 0 17 0 8 0 524649766 601837568 15287 33554432000 4194304 4627427 140734991266832 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26256/tid=26260] ppid=26254 vsize=589784 CPUtime=0.06 cores=0-7
/proc/26256/task/26260/stat : 26260 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 2208 0 0 0 5 1 0 0 17 0 8 0 524649766 603938816 16007 33554432000 4194304 4627427 140734991266832 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26256/tid=26261] ppid=26254 vsize=589784 CPUtime=0.05 cores=0-7
/proc/26256/task/26261/stat : 26261 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 2219 0 0 0 4 1 0 0 17 0 8 0 524649766 603938816 15750 33554432000 4194304 4627427 140734991266832 18446744073709551615 220816279687 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26256/tid=26262] ppid=26254 vsize=589784 CPUtime=0.06 cores=0-7
/proc/26256/task/26262/stat : 26262 (strangenight2-m) D 26254 26256 26192 0 -1 4202560 2436 0 0 0 5 1 0 0 17 0 8 0 524649766 603938816 15750 33554432000 4194304 4627427 140734991266832 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=588756 CPUtime=0.07 cores=0-7
/proc/26256/task/26263/stat : 26263 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 2237 0 0 0 5 2 0 0 17 0 8 0 524649766 602886144 15790 33554432000 4194304 4627427 140734991266832 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 582604

[startup+1.38537 s]
/proc/loadavg: 6.40 3.03 1.16 2/221 26256
/proc/meminfo: memFree=28996184/32951124 swapFree=67105204/67111528
[pid=26256] ppid=26254 vsize=641012 CPUtime=10.45 cores=0-7
/proc/26256/stat : 26256 (strangenight2-m) R 26254 26256 26192 0 -1 4202496 50245 0 0 0 998 47 0 0 19 0 8 0 524649765 656396288 41721 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26256/statm: 160253 41721 365 106 0 155224 0
[pid=26256/tid=26257] ppid=26254 vsize=641012 CPUtime=1.3 cores=0-7
/proc/26256/task/26257/stat : 26257 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6328 0 0 0 124 6 0 0 19 0 8 0 524649766 656396288 41721 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26258] ppid=26254 vsize=641012 CPUtime=1.28 cores=0-7
/proc/26256/task/26258/stat : 26258 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6077 0 0 0 122 6 0 0 19 0 8 0 524649766 656396288 41721 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26256/tid=26259] ppid=26254 vsize=641012 CPUtime=1.3 cores=0-7
/proc/26256/task/26259/stat : 26259 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6041 0 0 0 125 5 0 0 19 0 8 0 524649766 656396288 41721 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26256/tid=26260] ppid=26254 vsize=641012 CPUtime=1.3 cores=0-7
/proc/26256/task/26260/stat : 26260 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6085 0 0 0 126 4 0 0 18 0 8 0 524649766 656396288 41721 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26256/tid=26261] ppid=26254 vsize=641012 CPUtime=1.29 cores=0-7
/proc/26256/task/26261/stat : 26261 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 5848 0 0 0 124 5 0 0 19 0 8 0 524649766 656396288 41721 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26256/tid=26262] ppid=26254 vsize=641012 CPUtime=1.3 cores=0-7
/proc/26256/task/26262/stat : 26262 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6292 0 0 0 125 5 0 0 19 0 8 0 524649766 656396288 41721 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308349 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=641012 CPUtime=1.31 cores=0-7
/proc/26256/task/26263/stat : 26263 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6344 0 0 0 125 6 0 0 19 0 8 0 524649766 656396288 41721 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.45
Current children cumulated vsize (KiB) 641012

[startup+1.40136 s]
/proc/loadavg: 6.40 3.03 1.16 2/221 26256
/proc/meminfo: memFree=28996184/32951124 swapFree=67105204/67111528
[pid=26256] ppid=26254 vsize=641012 CPUtime=10.58 cores=0-7
/proc/26256/stat : 26256 (strangenight2-m) R 26254 26256 26192 0 -1 4202496 50246 0 0 0 1011 47 0 0 19 0 8 0 524649765 656396288 41722 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26256/statm: 160253 41722 365 106 0 155224 0
[pid=26256/tid=26257] ppid=26254 vsize=641012 CPUtime=1.32 cores=0-7
/proc/26256/task/26257/stat : 26257 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6328 0 0 0 126 6 0 0 19 0 8 0 524649766 656396288 41722 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26258] ppid=26254 vsize=641012 CPUtime=1.3 cores=0-7
/proc/26256/task/26258/stat : 26258 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6077 0 0 0 124 6 0 0 19 0 8 0 524649766 656396288 41722 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26256/tid=26259] ppid=26254 vsize=641012 CPUtime=1.31 cores=0-7
/proc/26256/task/26259/stat : 26259 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6041 0 0 0 126 5 0 0 19 0 8 0 524649766 656396288 41722 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26256/tid=26260] ppid=26254 vsize=641012 CPUtime=1.31 cores=0-7
/proc/26256/task/26260/stat : 26260 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6085 0 0 0 127 4 0 0 19 0 8 0 524649766 656396288 41722 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26256/tid=26261] ppid=26254 vsize=641012 CPUtime=1.3 cores=0-7
/proc/26256/task/26261/stat : 26261 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 5848 0 0 0 125 5 0 0 19 0 8 0 524649766 656396288 41722 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26256/tid=26262] ppid=26254 vsize=641012 CPUtime=1.32 cores=0-7
/proc/26256/task/26262/stat : 26262 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6292 0 0 0 127 5 0 0 19 0 8 0 524649766 656396288 41722 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=641012 CPUtime=1.32 cores=0-7
/proc/26256/task/26263/stat : 26263 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6345 0 0 0 126 6 0 0 19 0 8 0 524649766 656396288 41722 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.58
Current children cumulated vsize (KiB) 641012

[startup+1.50134 s]
/proc/loadavg: 6.40 3.03 1.16 2/221 26256
/proc/meminfo: memFree=28996184/32951124 swapFree=67105204/67111528
[pid=26256] ppid=26254 vsize=641012 CPUtime=11.38 cores=0-7
/proc/26256/stat : 26256 (strangenight2-m) R 26254 26256 26192 0 -1 4202496 50252 0 0 0 1091 47 0 0 19 0 8 0 524649765 656396288 41728 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26256/statm: 160253 41728 365 106 0 155224 0
[pid=26256/tid=26257] ppid=26254 vsize=641012 CPUtime=1.42 cores=0-7
/proc/26256/task/26257/stat : 26257 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6328 0 0 0 136 6 0 0 19 0 8 0 524649766 656396288 41728 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308162 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26258] ppid=26254 vsize=641012 CPUtime=1.4 cores=0-7
/proc/26256/task/26258/stat : 26258 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6077 0 0 0 134 6 0 0 19 0 8 0 524649766 656396288 41728 33554432000 4194304 4627427 140734991266832 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26256/tid=26259] ppid=26254 vsize=641012 CPUtime=1.41 cores=0-7
/proc/26256/task/26259/stat : 26259 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6041 0 0 0 136 5 0 0 19 0 8 0 524649766 656396288 41728 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26256/tid=26260] ppid=26254 vsize=641012 CPUtime=1.41 cores=0-7
/proc/26256/task/26260/stat : 26260 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6085 0 0 0 137 4 0 0 19 0 8 0 524649766 656396288 41728 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26256/tid=26261] ppid=26254 vsize=641012 CPUtime=1.4 cores=0-7
/proc/26256/task/26261/stat : 26261 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 5848 0 0 0 135 5 0 0 19 0 8 0 524649766 656396288 41728 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26256/tid=26262] ppid=26254 vsize=641012 CPUtime=1.42 cores=0-7
/proc/26256/task/26262/stat : 26262 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6292 0 0 0 137 5 0 0 19 0 8 0 524649766 656396288 41728 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=641012 CPUtime=1.42 cores=0-7
/proc/26256/task/26263/stat : 26263 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 6351 0 0 0 136 6 0 0 19 0 8 0 524649766 656396288 41728 33554432000 4194304 4627427 140734991266832 18446744073709551615 4332812 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.38
Current children cumulated vsize (KiB) 641012

[startup+3.10104 s]
/proc/loadavg: 6.40 3.03 1.16 9/229 26264
/proc/meminfo: memFree=28463440/32951124 swapFree=67105204/67111528
[pid=26256] ppid=26254 vsize=1099876 CPUtime=24.14 cores=0-7
/proc/26256/stat : 26256 (strangenight2-m) R 26254 26256 26192 0 -1 4202496 142537 0 0 0 2346 68 0 0 19 0 8 0 524649765 1126273024 134013 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308661 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26256/statm: 274969 134013 368 106 0 269940 0
[pid=26256/tid=26257] ppid=26254 vsize=1099876 CPUtime=3.01 cores=0-7
/proc/26256/task/26257/stat : 26257 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 19511 0 0 0 292 9 0 0 18 0 8 0 524649766 1126273024 134013 33554432000 4194304 4627427 140734991266832 18446744073709551615 4238603 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26258] ppid=26254 vsize=1099876 CPUtime=3 cores=0-7
/proc/26256/task/26258/stat : 26258 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 18995 0 0 0 291 9 0 0 23 0 8 0 524649766 1126273024 134014 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26256/tid=26259] ppid=26254 vsize=1099876 CPUtime=3.02 cores=0-7
/proc/26256/task/26259/stat : 26259 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 19337 0 0 0 293 9 0 0 18 0 8 0 524649766 1126273024 134016 33554432000 4194304 4627427 140734991266832 18446744073709551615 4229226 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26256/tid=26260] ppid=26254 vsize=1099876 CPUtime=3.02 cores=0-7
/proc/26256/task/26260/stat : 26260 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 19114 0 0 0 295 7 0 0 18 0 8 0 524649766 1126273024 134020 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26256/tid=26261] ppid=26254 vsize=1099876 CPUtime=3 cores=0-7
/proc/26256/task/26261/stat : 26261 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 18618 0 0 0 292 8 0 0 18 0 8 0 524649766 1126273024 134022 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26256/tid=26262] ppid=26254 vsize=1099876 CPUtime=3.01 cores=0-7
/proc/26256/task/26262/stat : 26262 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 19367 0 0 0 293 8 0 0 23 0 8 0 524649766 1126273024 134022 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=1099876 CPUtime=3.02 cores=0-7
/proc/26256/task/26263/stat : 26263 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 7094 0 0 0 296 6 0 0 18 0 8 0 524649766 1126273024 134022 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.14
Current children cumulated vsize (KiB) 1099876

[startup+6.30046 s]
/proc/loadavg: 6.53 3.11 1.20 9/229 26264
/proc/meminfo: memFree=27940664/32951124 swapFree=67105204/67111528
[pid=26256] ppid=26254 vsize=1944592 CPUtime=49.61 cores=0-7
/proc/26256/stat : 26256 (strangenight2-m) R 26254 26256 26192 0 -1 4202496 328498 0 0 0 4856 105 0 0 18 0 8 0 524649765 1991262208 319432 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26256/statm: 486148 319443 369 106 0 481119 0
[pid=26256/tid=26257] ppid=26254 vsize=1944592 CPUtime=6.2 cores=0-7
/proc/26256/task/26257/stat : 26257 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 45610 0 0 0 605 15 0 0 20 0 8 0 524649766 1991262208 319448 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26258] ppid=26254 vsize=1944592 CPUtime=6.17 cores=0-7
/proc/26256/task/26258/stat : 26258 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 45796 0 0 0 604 13 0 0 18 0 8 0 524649766 1991262208 319459 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308149 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26256/tid=26259] ppid=26254 vsize=1944592 CPUtime=6.2 cores=0-7
/proc/26256/task/26259/stat : 26259 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 45688 0 0 0 607 13 0 0 25 0 8 0 524649766 1991262208 319463 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26256/tid=26260] ppid=26254 vsize=1944592 CPUtime=6.2 cores=0-7
/proc/26256/task/26260/stat : 26260 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 45315 0 0 0 607 13 0 0 25 0 8 0 524649766 1991262208 319466 33554432000 4194304 4627427 140734991266832 18446744073709551615 4238365 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26256/tid=26261] ppid=26254 vsize=1944592 CPUtime=6.19 cores=0-7
/proc/26256/task/26261/stat : 26261 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 45303 0 0 0 605 14 0 0 25 0 8 0 524649766 1991262208 319468 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26256/tid=26262] ppid=26254 vsize=1944592 CPUtime=6.2 cores=0-7
/proc/26256/task/26262/stat : 26262 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 46067 0 0 0 607 13 0 0 25 0 8 0 524649766 1991262208 319469 33554432000 4194304 4627427 140734991266832 18446744073709551615 4238365 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=1944592 CPUtime=6.21 cores=0-7
/proc/26256/task/26263/stat : 26263 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 7798 0 0 0 615 6 0 0 25 0 8 0 524649766 1991262208 319469 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308141 0 0 4096 2 0 0 0 -1 4 0 0 0

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

[pid=26256/tid=26258] ppid=26254 vsize=4988340 CPUtime=282.35 cores=0-7
/proc/26256/task/26258/stat : 26258 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 165809 0 0 0 28183 52 0 0 25 0 8 0 524649766 5108060160 969071 33554432000 4194304 4627427 140734991266832 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26256/tid=26259] ppid=26254 vsize=4988340 CPUtime=282.23 cores=0-7
/proc/26256/task/26259/stat : 26259 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 170844 0 0 0 28173 50 0 0 25 0 8 0 524649766 5108060160 969071 33554432000 4194304 4627427 140734991266832 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26256/tid=26260] ppid=26254 vsize=4988340 CPUtime=282.35 cores=0-7
/proc/26256/task/26260/stat : 26260 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 158483 0 0 0 28184 51 0 0 25 0 8 0 524649766 5108060160 969071 33554432000 4194304 4627427 140734991266832 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26256/tid=26261] ppid=26254 vsize=4988340 CPUtime=281.25 cores=0-7
/proc/26256/task/26261/stat : 26261 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 165887 0 0 0 28073 52 0 0 25 0 8 0 524649766 5108060160 969071 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26256/tid=26262] ppid=26254 vsize=4988340 CPUtime=282.36 cores=0-7
/proc/26256/task/26262/stat : 26262 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 159982 0 0 0 28187 49 0 0 25 0 8 0 524649766 5108060160 969071 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=4988340 CPUtime=282.38 cores=0-7
/proc/26256/task/26263/stat : 26263 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 150020 0 0 0 28196 42 0 0 25 0 8 0 524649766 5108060160 969071 33554432000 4194304 4627427 140734991266832 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2257.17
Current children cumulated vsize (KiB) 4988340

[startup+308.101 s]
/proc/loadavg: 8.07 6.25 3.08 9/229 26272
/proc/meminfo: memFree=25031288/32951124 swapFree=67105204/67111528
[pid=26256] ppid=26254 vsize=4959552 CPUtime=2461.75 cores=0-7
/proc/26256/stat : 26256 (strangenight2-m) R 26254 26256 26192 0 -1 4202496 1332415 0 0 0 245771 404 0 0 25 0 8 0 524649765 5078581248 990638 33554432000 4194304 4627427 140734991266832 18446744073709551615 4327381 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26256/statm: 1239888 990638 391 106 0 1234859 0
[pid=26256/tid=26257] ppid=26254 vsize=4959552 CPUtime=307.96 cores=0-7
/proc/26256/task/26257/stat : 26257 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 168360 0 0 0 30748 48 0 0 25 0 8 0 524649766 5078581248 990639 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308942 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26258] ppid=26254 vsize=4959552 CPUtime=307.94 cores=0-7
/proc/26256/task/26258/stat : 26258 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 173630 0 0 0 30739 55 0 0 25 0 8 0 524649766 5078581248 990639 33554432000 4194304 4627427 140734991266832 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26256/tid=26259] ppid=26254 vsize=4959552 CPUtime=307.83 cores=0-7
/proc/26256/task/26259/stat : 26259 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 179116 0 0 0 30730 53 0 0 25 0 8 0 524649766 5078581248 990639 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26256/tid=26260] ppid=26254 vsize=4959552 CPUtime=307.95 cores=0-7
/proc/26256/task/26260/stat : 26260 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 166760 0 0 0 30741 54 0 0 25 0 8 0 524649766 5078581248 990639 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26256/tid=26261] ppid=26254 vsize=4959552 CPUtime=306.68 cores=0-7
/proc/26256/task/26261/stat : 26261 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 167278 0 0 0 30615 53 0 0 25 0 8 0 524649766 5078581248 990639 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26256/tid=26262] ppid=26254 vsize=4959552 CPUtime=307.95 cores=0-7
/proc/26256/task/26262/stat : 26262 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 167515 0 0 0 30743 52 0 0 25 0 8 0 524649766 5078581248 990639 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=4959552 CPUtime=307.97 cores=0-7
/proc/26256/task/26263/stat : 26263 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 155311 0 0 0 30754 43 0 0 25 0 8 0 524649766 5078581248 990639 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2461.75
Current children cumulated vsize (KiB) 4959552

[startup+314.509 s]
/proc/loadavg: 8.06 6.28 3.11 9/229 26272
/proc/meminfo: memFree=25007480/32951124 swapFree=67105204/67111528
[pid=26256] ppid=26254 vsize=5021404 CPUtime=2512.97 cores=0-7
/proc/26256/stat : 26256 (strangenight2-m) R 26254 26256 26192 0 -1 4202496 1342880 0 0 0 250889 408 0 0 25 0 8 0 524649765 5141917696 996082 33554432000 4194304 4627427 140734991266832 18446744073709551615 4322609 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26256/statm: 1255351 996082 391 106 0 1250322 0
[pid=26256/tid=26257] ppid=26254 vsize=5021404 CPUtime=314.37 cores=0-7
/proc/26256/task/26257/stat : 26257 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 169986 0 0 0 31388 49 0 0 25 0 8 0 524649766 5141917696 996082 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26258] ppid=26254 vsize=5021404 CPUtime=314.35 cores=0-7
/proc/26256/task/26258/stat : 26258 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 174616 0 0 0 31380 55 0 0 25 0 8 0 524649766 5141917696 996082 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26256/tid=26259] ppid=26254 vsize=5021404 CPUtime=314.23 cores=0-7
/proc/26256/task/26259/stat : 26259 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 179458 0 0 0 31370 53 0 0 25 0 8 0 524649766 5141917696 996082 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26256/tid=26260] ppid=26254 vsize=5021404 CPUtime=314.37 cores=0-7
/proc/26256/task/26260/stat : 26260 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 168289 0 0 0 31382 55 0 0 25 0 8 0 524649766 5141917696 996082 33554432000 4194304 4627427 140734991266832 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26256/tid=26261] ppid=26254 vsize=5021404 CPUtime=313.04 cores=0-7
/proc/26256/task/26261/stat : 26261 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 169519 0 0 0 31250 54 0 0 25 0 8 0 524649766 5141917696 996082 33554432000 4194304 4627427 140734991266832 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26256/tid=26262] ppid=26254 vsize=5021404 CPUtime=314.36 cores=0-7
/proc/26256/task/26262/stat : 26262 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 167705 0 0 0 31384 52 0 0 25 0 8 0 524649766 5141917696 996082 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=5021404 CPUtime=314.38 cores=0-7
/proc/26256/task/26263/stat : 26263 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 156678 0 0 0 31394 44 0 0 25 0 8 0 524649766 5141917696 996082 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2512.97
Current children cumulated vsize (KiB) 5021404

[startup+320.9 s]
/proc/loadavg: 8.05 6.34 3.16 9/229 26273
/proc/meminfo: memFree=24996568/32951124 swapFree=67105204/67111528
[pid=26256] ppid=26254 vsize=4922136 CPUtime=2564.07 cores=0-7
/proc/26256/stat : 26256 (strangenight2-m) R 26254 26256 26192 0 -1 4202496 1351649 0 0 0 255994 413 0 0 25 0 8 0 524649765 5040267264 999456 33554432000 4194304 4627427 140734991266832 18446744073709551615 4328792 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26256/statm: 1230534 999456 391 106 0 1225505 0
[pid=26256/tid=26257] ppid=26254 vsize=4922136 CPUtime=320.76 cores=0-7
/proc/26256/task/26257/stat : 26257 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 172445 0 0 0 32027 49 0 0 25 0 8 0 524649766 5040267264 999456 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26258] ppid=26254 vsize=4922136 CPUtime=320.74 cores=0-7
/proc/26256/task/26258/stat : 26258 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 174616 0 0 0 32019 55 0 0 25 0 8 0 524649766 5040267264 999456 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26256/tid=26259] ppid=26254 vsize=4922136 CPUtime=320.62 cores=0-7
/proc/26256/task/26259/stat : 26259 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 179606 0 0 0 32009 53 0 0 25 0 8 0 524649766 5040267264 999456 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26256/tid=26260] ppid=26254 vsize=4922136 CPUtime=320.76 cores=0-7
/proc/26256/task/26260/stat : 26260 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 169010 0 0 0 32021 55 0 0 25 0 8 0 524649766 5040267264 999456 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26256/tid=26261] ppid=26254 vsize=4922136 CPUtime=319.39 cores=0-7
/proc/26256/task/26261/stat : 26261 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 170738 0 0 0 31885 54 0 0 25 0 8 0 524649766 5040267264 999456 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26256/tid=26262] ppid=26254 vsize=4922136 CPUtime=320.75 cores=0-7
/proc/26256/task/26262/stat : 26262 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 168253 0 0 0 32023 52 0 0 25 0 8 0 524649766 5040267264 999456 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=4922136 CPUtime=320.77 cores=0-7
/proc/26256/task/26263/stat : 26263 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 159093 0 0 0 32032 45 0 0 25 0 8 0 524649766 5040267264 999456 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2564.07
Current children cumulated vsize (KiB) 4922136

[startup+322.501 s]
/proc/loadavg: 8.05 6.34 3.16 9/229 26273
/proc/meminfo: memFree=24988856/32951124 swapFree=67105204/67111528
[pid=26256] ppid=26254 vsize=4974368 CPUtime=2576.86 cores=0-7
/proc/26256/stat : 26256 (strangenight2-m) R 26254 26256 26192 0 -1 4202496 1353075 0 0 0 257273 413 0 0 25 0 8 0 524649765 5093752832 1000882 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309396 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26256/statm: 1243592 1000882 391 106 0 1238563 0
[pid=26256/tid=26257] ppid=26254 vsize=4974368 CPUtime=322.37 cores=0-7
/proc/26256/task/26257/stat : 26257 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 172764 0 0 0 32187 50 0 0 25 0 8 0 524649766 5093752832 1000882 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26258] ppid=26254 vsize=4974368 CPUtime=322.34 cores=0-7
/proc/26256/task/26258/stat : 26258 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 174616 0 0 0 32179 55 0 0 25 0 8 0 524649766 5093752832 1000883 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26256/tid=26259] ppid=26254 vsize=4974368 CPUtime=322.22 cores=0-7
/proc/26256/task/26259/stat : 26259 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 179785 0 0 0 32169 53 0 0 25 0 8 0 524649766 5093752832 1000883 33554432000 4194304 4627427 140734991266832 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26256/tid=26260] ppid=26254 vsize=4974368 CPUtime=322.36 cores=0-7
/proc/26256/task/26260/stat : 26260 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 169010 0 0 0 32181 55 0 0 25 0 8 0 524649766 5093752832 1000883 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26256/tid=26261] ppid=26254 vsize=4974368 CPUtime=320.99 cores=0-7
/proc/26256/task/26261/stat : 26261 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 170965 0 0 0 32044 55 0 0 25 0 8 0 524649766 5093752832 1000883 33554432000 4194304 4627427 140734991266832 18446744073709551615 4349212 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26256/tid=26262] ppid=26254 vsize=4974368 CPUtime=322.35 cores=0-7
/proc/26256/task/26262/stat : 26262 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 168673 0 0 0 32183 52 0 0 25 0 8 0 524649766 5093752832 1000883 33554432000 4194304 4627427 140734991266832 18446744073709551615 4310565 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=4974368 CPUtime=322.37 cores=0-7
/proc/26256/task/26263/stat : 26263 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 159375 0 0 0 32192 45 0 0 25 0 8 0 524649766 5093752832 1000883 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2576.86
Current children cumulated vsize (KiB) 4974368

[startup+323.308 s]
/proc/loadavg: 8.05 6.34 3.16 9/229 26273
/proc/meminfo: memFree=24982532/32951124 swapFree=67105204/67111528
[pid=26256] ppid=26254 vsize=4987672 CPUtime=2583.31 cores=0-7
/proc/26256/stat : 26256 (strangenight2-m) R 26254 26256 26192 0 -1 4202496 1354479 0 0 0 257917 414 0 0 25 0 8 0 524649765 5107376128 1002064 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26256/statm: 1246918 1002064 391 106 0 1241889 0
[pid=26256/tid=26257] ppid=26254 vsize=4987672 CPUtime=323.17 cores=0-7
/proc/26256/task/26257/stat : 26257 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 172915 0 0 0 32267 50 0 0 25 0 8 0 524649766 5107376128 1002064 33554432000 4194304 4627427 140734991266832 18446744073709551615 4515560 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26258] ppid=26254 vsize=4987672 CPUtime=323.15 cores=0-7
/proc/26256/task/26258/stat : 26258 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 174616 0 0 0 32260 55 0 0 25 0 8 0 524649766 5107376128 1002064 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26256/tid=26259] ppid=26254 vsize=4987672 CPUtime=323.03 cores=0-7
/proc/26256/task/26259/stat : 26259 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 179793 0 0 0 32250 53 0 0 25 0 8 0 524649766 5107376128 1002064 33554432000 4194304 4627427 140734991266832 18446744073709551615 4515610 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26256/tid=26260] ppid=26254 vsize=4987672 CPUtime=323.16 cores=0-7
/proc/26256/task/26260/stat : 26260 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 169010 0 0 0 32261 55 0 0 25 0 8 0 524649766 5107376128 1002064 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26256/tid=26261] ppid=26254 vsize=4987672 CPUtime=321.78 cores=0-7
/proc/26256/task/26261/stat : 26261 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 171966 0 0 0 32123 55 0 0 25 0 8 0 524649766 5107376128 1002064 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26256/tid=26262] ppid=26254 vsize=4987672 CPUtime=323.15 cores=0-7
/proc/26256/task/26262/stat : 26262 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 168825 0 0 0 32263 52 0 0 25 0 8 0 524649766 5107376128 1002064 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=4987672 CPUtime=323.17 cores=0-7
/proc/26256/task/26263/stat : 26263 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 159466 0 0 0 32272 45 0 0 25 0 8 0 524649766 5107376128 1002064 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2583.31
Current children cumulated vsize (KiB) 4987672

[startup+324.101 s]
/proc/loadavg: 8.05 6.34 3.16 9/229 26273
/proc/meminfo: memFree=24982532/32951124 swapFree=67105204/67111528
[pid=26256] ppid=26254 vsize=4987672 CPUtime=2589.65 cores=0-7
/proc/26256/stat : 26256 (strangenight2-m) R 26254 26256 26192 0 -1 4202496 1355269 0 0 0 258551 414 0 0 25 0 8 0 524649765 5107376128 1002854 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26256/statm: 1246918 1002854 391 106 0 1241889 0
[pid=26256/tid=26257] ppid=26254 vsize=4987672 CPUtime=323.96 cores=0-7
/proc/26256/task/26257/stat : 26257 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 173013 0 0 0 32346 50 0 0 25 0 8 0 524649766 5107376128 1002854 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26256/tid=26258] ppid=26254 vsize=4987672 CPUtime=323.94 cores=0-7
/proc/26256/task/26258/stat : 26258 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 174616 0 0 0 32339 55 0 0 25 0 8 0 524649766 5107376128 1002854 33554432000 4194304 4627427 140734991266832 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26256/tid=26259] ppid=26254 vsize=4987672 CPUtime=323.83 cores=0-7
/proc/26256/task/26259/stat : 26259 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 180144 0 0 0 32329 54 0 0 25 0 8 0 524649766 5107376128 1002854 33554432000 4194304 4627427 140734991266832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26256/tid=26260] ppid=26254 vsize=4987672 CPUtime=323.96 cores=0-7
/proc/26256/task/26260/stat : 26260 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 169010 0 0 0 32341 55 0 0 25 0 8 0 524649766 5107376128 1002854 33554432000 4194304 4627427 140734991266832 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26256/tid=26261] ppid=26254 vsize=4987672 CPUtime=322.58 cores=0-7
/proc/26256/task/26261/stat : 26261 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 172080 0 0 0 32203 55 0 0 25 0 8 0 524649766 5107376128 1002854 33554432000 4194304 4627427 140734991266832 18446744073709551615 4258988 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26256/tid=26262] ppid=26254 vsize=4987672 CPUtime=323.95 cores=0-7
/proc/26256/task/26262/stat : 26262 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 168925 0 0 0 32343 52 0 0 25 0 8 0 524649766 5107376128 1002854 33554432000 4194304 4627427 140734991266832 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26256/tid=26263] ppid=26254 vsize=4987672 CPUtime=323.97 cores=0-7
/proc/26256/task/26263/stat : 26263 (strangenight2-m) R 26254 26256 26192 0 -1 4202560 159593 0 0 0 32352 45 0 0 25 0 8 0 524649766 5107376128 1002854 33554432000 4194304 4627427 140734991266832 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2589.65
Current children cumulated vsize (KiB) 4987672

[startup+324.301 s]
/proc/loadavg: 8.05 6.34 3.16 2/222 26273
/proc/meminfo: memFree=26020040/32951124 swapFree=67105204/67111528
[pid=26256] ppid=26254 vsize=0 CPUtime=2590.9 cores=0-7
/proc/26256/stat : 26256 (strangenight2-m) R 26254 26256 26192 0 -1 4203524 1355467 0 0 0 258670 420 0 0 25 0 1 0 524649765 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26256/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2590.9
Current children cumulated vsize (KiB) 0

[startup+324.408 s]
/proc/loadavg: 8.05 6.34 3.16 2/222 26273
/proc/meminfo: memFree=26020040/32951124 swapFree=67105204/67111528
[pid=26256] ppid=26254 vsize=0 CPUtime=2591 cores=0-7
/proc/26256/stat : 26256 (strangenight2-m) R 26254 26256 26192 0 -1 4203524 1355467 0 0 0 258670 430 0 0 25 0 1 0 524649765 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26256/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2591
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 324.441
CPU time (s): 2591.04
CPU user time (s): 2586.71
CPU system time (s): 4.33634
CPU usage (%): 798.617
Max. virtual memory (cumulated for all children) (KiB): 5138736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2586.71
system time used= 4.33634
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1355467
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= 93778
involuntary context switches= 11228

runsolver used 0.564914 second user time and 1.51877 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-02 09:45:39
IDJOB=3321041
IDBENCH=70817
IDSOLVER=1709
FILE ID=node147/3321041-1304322338
RUNJOBID= node147-1304322183-26206
PBS_JOBID= 13176779
Free space on /tmp= 73548 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321041-1304322338/watcher-3321041-1304322338 -o /tmp/evaluation-result-3321041-1304322338/solver-3321041-1304322338 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321041-1304322338.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 902b28046d424b16042ca612ddad48e0
RANDOM SEED=1639531112

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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:     32951124 kB
MemFree:      28996464 kB
Buffers:        361244 kB
Cached:        1900716 kB
SwapCached:       3088 kB
Active:        1641656 kB
Inactive:      1961468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28996464 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:            8160 kB
Writeback:           0 kB
AnonPages:     1340924 kB
Mapped:          19012 kB
Slab:           276060 kB
PageTables:      12744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 24614212 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= 73544 MiB
End job on node147 at 2011-05-02 09:51:03