Trace number 3367161

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-mt (fixed)UNSAT 2931.01 754.56

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
MD5SUM2bee695ce4278b72ee9295631ad94252
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark180.219
Satisfiable
(Un)Satisfiability was proved
Number of variables31357
Number of clauses133420
Sum of the clauses size370492
Maximum clause length37
Minimum clause length1
Number of clauses of size 1278
Number of clauses of size 258046
Number of clauses of size 369900
Number of clauses of size 4166
Number of clauses of size 5305
Number of clauses of size over 54725

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367161-1305389083.cnf'
0.00/0.02	c -- header says num vars:          31357
0.00/0.02	c -- header says num clauses:      133420
3.17/0.88	c -- clauses added:            0 learnts,       133420 normals,            0 xors
3.17/0.88	c -- vars added      31357
3.17/0.88	c Parsing time:  0.06 s
3.17/0.88	c  N st     0         0     31357     75096     58046         0    370214         0   no data   no data
3.17/0.88	c asymm  cl-useful: 98/3955/74946 lits-rem:194 time: 0.70
12.33/3.10	c Flit:    29 Blit:      3 bXBeca:    0 bXProp: 3530 Bins:      0 BRemL:      0 BRemN:      0 P: 53.8M T:  2.25
12.33/3.12	c Replacing     3530 vars Replaced   149255 lits Time:     0.02 s 
12.33/3.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
12.33/3.15	c bin-w-bin subsume rem            6 bins  time:  0.00 s
12.33/3.16	c subs with bin:        2  lits-rem:         4  v-fix:    0  time:  0.01 s
13.53/3.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  27511 time:  0.26 s
13.93/3.57	c Removed useless bin:       3  fixed:     0  props:  20.01M  time:  0.15 s
14.74/3.77	c lits-rem:        13  cl-subs:       68  v-elim:   9170  v-fix:    0  time:  0.19 s
15.15/3.87	c Finding binary XORs  T:     0.09 s  found:     863
15.15/3.88	c Replacing      863 vars Replaced    19975 lits Time:     0.01 s 
15.57/3.94	c Finding non-binary XORs:     0.04 s (found:   11722, avg size: 3.1)
15.57/3.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   5042 locsubst:  3432 time:   0.02
15.57/3.95	c Replacing      182 vars Replaced     2243 lits Time:     0.00 s 
15.57/3.96	c calculated reachability. Time: 0.01
15.57/3.96	c Calc default polars -  time:   0.00 s pos:    3229 undec:   19459 neg:    8669
15.57/3.96	c =========================================================================================
15.57/3.96	c types(t): F = full restart, N = normal restart
15.57/3.96	c types(t): S = simplification begin/end, E = solution found
15.57/3.96	c restart types(rt): st = static, dy = dynamic
15.57/3.96	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
15.57/3.96	c  B st     0         0     12254     22048     33175         0    221010         0   no data   no data
16.72/4.21	c  N dy    19      4085     12254     22048     33215      3364    221008     91625     15.77     16.68
17.52/4.46	c  N dy    37      8129     12254     22048     33645      6633    221008    176286     13.54     14.58
18.72/4.70	c  N dy    52     14790     12253     22048     33732     11688    221008    276396     11.09     11.93
19.96/5.04	c  N dy    77     19004     12252     22048     34116     15277    221002    377425     11.60     12.99
20.70/5.28	c  N dy    94     23612     12252     22048     34269     11107    221000    162165     11.18     12.17
21.11/5.32	c  F st    96     25001     12252     22048     34276     12112    221000    173255     10.92      3.66
21.11/5.33	c Replacing        1 vars Replaced       19 lits Time:     0.00 s 
22.31/5.61	c Finding binary XORs  T:     0.07 s  found:     227
22.31/5.62	c Replacing      227 vars Replaced    14455 lits Time:     0.01 s 
23.11/5.89	c  N st   101     28295     12024     22030     34107     12983    220921    390285     10.92   no data
24.35/6.15	c  S st   102     30000     12024     22030     34108     14662    220920    540565     10.92   no data
24.69/6.23	c  S st   102     30505     12024     22030     34118     15106    220920    550853     10.92   no data
24.69/6.26	c x-sub:   267 x-cut:      0 vfix:      0 v-elim:   2541 locsubst:  1333 time:   0.03
36.67/9.26	c Flit:    15 Blit:      3 bXBeca:    0 bXProp: 2255 Bins:  86690 BRemL:  18705 BRemN:      0 P: 64.1M T:  2.97
36.67/9.29	c Replacing     2348 vars Replaced   277008 lits Time:     0.03 s 
37.09/9.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
37.09/9.35	c bin-w-bin subsume rem        65491 bins  time:  0.04 s
37.09/9.40	c subs with bin:     7272  lits-rem:     14659  v-fix:    0  time:  0.05 s
37.51/9.43	c Subs w/ non-existent bins:   2061 l-rem:   2010 v-fix:     0 done:   7114 time:  0.03 s
37.51/9.44	c Removed useless bin:    1564  fixed:     0  props:   0.83M  time:  0.00 s
37.51/9.46	c lits-rem:       248  cl-subs:     3237  v-elim:     52  v-fix:    0  time:  0.03 s
37.51/9.47	c subs with bin:      121  lits-rem:      3059  v-fix:    0  time:  0.01 s
37.51/9.48	c lits-rem:       103  cl-subs:      256  v-elim:      0  v-fix:    0  time:  0.01 s
38.25/9.65	c asymm  cl-useful: 113/5415/9370 lits-rem:113 time: 0.17
38.25/9.65	c calculated reachability. Time: 0.00
38.25/9.65	c  N dy   102     30505      7062      9370     30300      1238    106336     37089     10.92   no data
38.65/9.70	c Finding binary XORs  T:     0.05 s  found:      26
39.46/9.91	c  N dy   131     34701      7062      9370     30478      4886    106335    137309     11.94     12.79
40.26/10.12	c  N dy   146     39258      7062      9370     30493      8429    106334    245805     12.70     13.54
41.05/10.33	c  N dy   171     43293      7062      9370    103646      6675    106332    277735     13.14     20.55
41.05/10.39	c  S st   179     45757      7062      9370    107719      8498    106331    314517     12.99   no data
41.47/10.47	c Finding binary XORs  T:     0.04 s  found:      33
41.47/10.49	c  S st   179     46258      7062      9370    107732      8926    106331    319254     12.99   no data
41.89/10.52	c x-sub:   189 x-cut:      0 vfix:      0 v-elim:   1142 locsubst:   317 time:   0.03
43.05/10.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   2266 BRemL:  39584 BRemN:   1213 P:  6.0M T:  0.36
43.05/10.88	c Replacing       85 vars Replaced     2149 lits Time:     0.00 s 
43.05/10.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.45/10.91	c bin-w-bin subsume rem        44456 bins  time:  0.02 s
43.45/10.92	c subs with bin:      420  lits-rem:       454  v-fix:    0  time:  0.01 s
43.45/10.93	c Subs w/ non-existent bins:    146 l-rem:    193 v-fix:     0 done:   5835 time:  0.01 s
43.45/10.94	c Removed useless bin:      76  fixed:     0  props:   0.30M  time:  0.00 s
43.45/10.94	c lits-rem:        17  cl-subs:       87  v-elim:     29  v-fix:    0  time:  0.01 s
43.45/10.95	c subs with bin:       97  lits-rem:        75  v-fix:    0  time:  0.00 s
43.45/10.96	c lits-rem:       171  cl-subs:      348  v-elim:      0  v-fix:    0  time:  0.00 s
43.45/10.96	c vivif2 --  cl tried     8790 cl shrink       46 lits rem         90 time: 0.00
43.45/10.96	c vivif2 --  cl tried     1805 cl shrink       39 lits rem         46 time: 0.00
44.24/11.16	c asymm  cl-useful: 302/8790/8790 lits-rem:411 time: 0.20
44.24/11.17	c calculated reachability. Time: 0.00
44.24/11.17	c  N dy   179     46258      5806      8785     24428      1805     94525     37038     12.99   no data
44.64/11.28	c  N dy   198     50393      5806      8785     24428      4923     94521    112839     13.23     14.64
45.04/11.37	c  N dy   209     54920      5806      8785     25919      8014     94518    172332     13.09     14.06
45.44/11.49	c  N dy   234     58922      5806      8785     27189     11557     94513    256671     13.34     28.81
45.86/11.59	c  N dy   243     62967      5806      8785     27189     14973     94511    335227     13.27     14.06
46.28/11.65	c Finding binary XORs  T:     0.04 s  found:      24
46.63/11.78	c  N dy   265     67038      5806      8785     27190     10641     94510    180114     13.68     20.76
47.03/11.83	c  S st   273     69388      5806      8785     27191     12323     94510    210028     13.63      9.02
47.03/11.86	c  S st   273     69890      5806      8785     27201     12761     94509    214919     13.63   no data
47.03/11.89	c x-sub:    45 x-cut:      0 vfix:      0 v-elim:    280 locsubst:   486 time:   0.03
47.83/12.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    235 BRemL:   9623 BRemN:    138 P:  4.6M T:  0.16
47.83/12.06	c Replacing       50 vars Replaced     1073 lits Time:     0.00 s 
47.83/12.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.83/12.06	c bin-w-bin subsume rem          830 bins  time:  0.00 s
47.83/12.08	c subs with bin:      162  lits-rem:         0  v-fix:    0  time:  0.01 s
47.83/12.08	c Subs w/ non-existent bins:     22 l-rem:      0 v-fix:     0 done:   5476 time:  0.01 s
47.83/12.09	c Removed useless bin:      41  fixed:     0  props:   0.77M  time:  0.00 s
47.83/12.09	c lits-rem:         2  cl-subs:       72  v-elim:      5  v-fix:    0  time:  0.01 s
48.23/12.10	c subs with bin:      462  lits-rem:       217  v-fix:    0  time:  0.01 s
48.23/12.12	c lits-rem:       253  cl-subs:      872  v-elim:      0  v-fix:    0  time:  0.02 s
48.23/12.13	c vivif2 --  cl tried     8520 cl shrink        8 lits rem         20 time: 0.00
48.23/12.13	c vivif2 --  cl tried     5267 cl shrink       28 lits rem         28 time: 0.00
49.03/12.31	c asymm  cl-useful: 1272/8520/8520 lits-rem:3474 time: 0.18
49.03/12.32	c calculated reachability. Time: 0.00
49.03/12.32	c  N dy   273     69890      5471      7519     17721      5267     90659     69520     13.63   no data
49.83/12.52	c  N dy   313     74464      5471      7519     17735      9333     90658    231732     14.65     15.45
50.67/12.75	c  N dy   340     80857      5471      7519     18018     15128     90656    406472     15.16     16.29
51.41/12.98	c  N dy   367     86078      5471      7519     18214     19840     90654    583487     15.84     17.05
51.81/13.09	c Finding binary XORs  T:     0.04 s  found:     289
52.21/13.11	c Replacing      289 vars Replaced    32530 lits Time:     0.02 s 
52.21/13.13	c  F st   381     87500      5182      7462     17578     21036     89279    637038     16.11   no data
53.42/13.49	c Decided on static restart strategy
53.42/13.49	c  N st   387     92694      5182      7462     17582     14734     89277    420871     16.11   no data
55.41/13.94	c  N st   389     99807      5182      7462    119225     20961     89275   1058939     16.11   no data
55.41/13.98	c Finding binary XORs  T:     0.04 s  found:      20
56.20/14.10	c  S st   390    104836      5182      7462    119226     24850     89273   1299935     16.11   no data
56.20/14.15	c  S st   390    105337      5182      7462    119237     25297     89273   1305646     16.11   no data
56.60/14.21	c x-sub:    27 x-cut:      0 vfix:      0 v-elim:    100 locsubst:   779 time:   0.06
57.80/14.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   15 Bins:   4518 BRemL:  41215 BRemN:    312 P:  5.5M T:  0.35
57.80/14.57	c Replacing      107 vars Replaced     5286 lits Time:     0.00 s 
57.80/14.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
58.20/14.62	c bin-w-bin subsume rem        57436 bins  time:  0.05 s
58.20/14.63	c subs with bin:      154  lits-rem:        50  v-fix:    0  time:  0.01 s
58.20/14.64	c Subs w/ non-existent bins:    130 l-rem:     18 v-fix:     0 done:   4975 time:  0.01 s
58.20/14.65	c Removed useless bin:     160  fixed:     0  props:   0.35M  time:  0.00 s
58.20/14.65	c lits-rem:         2  cl-subs:      428  v-elim:     40  v-fix:    0  time:  0.01 s
58.20/14.68	c subs with bin:       26  lits-rem:      1691  v-fix:    0  time:  0.02 s
58.61/14.72	c lits-rem:       408  cl-subs:      828  v-elim:      0  v-fix:    0  time:  0.04 s
58.61/14.72	c vivif2 --  cl tried     6888 cl shrink       40 lits rem         44 time: 0.00
58.61/14.72	c vivif2 --  cl tried     9681 cl shrink       27 lits rem         27 time: 0.00
59.02/14.88	c asymm  cl-useful: 625/6888/6888 lits-rem:2036 time: 0.14
59.02/14.88	c calculated reachability. Time: 0.00
59.02/14.88	c  N st   390    105337      4935      6360     24698      9681     83361    172517     16.11   no data
59.44/14.92	c Finding binary XORs  T:     0.04 s  found:     382
59.44/14.93	c Replacing      382 vars Replaced    16360 lits Time:     0.01 s 
62.19/15.67	c  N st   391    114935      4553      6359     23915     10400     81825    885928     16.11   no data
66.18/16.65	c  N st   392    129332      4553      6359     25074     23488     81825   2143378     16.11   no data
66.18/16.69	c Finding binary XORs  T:     0.04 s  found:     211
66.58/16.79	c Replacing      211 vars Replaced    36081 lits Time:     0.10 s 
82.13/20.61	c  N st   393    150928      4342      6129     29239     28498     80590   2981675     16.11   no data
82.13/20.65	c Finding binary XORs  T:     0.04 s  found:     171
82.53/20.78	c Replacing      171 vars Replaced    77433 lits Time:     0.13 s 
85.34/21.44	c  S st   394    158005      4171      5880     31132     35300     79409   3613535     16.11   no data
85.34/21.49	c  S st   394    158508      4171      5880     31143     35668     79409   3617519     16.11   no data
86.11/21.62	c x-sub:    87 x-cut:      0 vfix:      0 v-elim:    107 locsubst:  1828 time:   0.13
86.51/21.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    816 BRemL:  14177 BRemN:    171 P:  3.9M T:  0.14
86.51/21.78	c Replacing      134 vars Replaced     3176 lits Time:     0.01 s 
86.51/21.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
86.51/21.78	c bin-w-bin subsume rem         1113 bins  time:  0.00 s
86.51/21.79	c subs with bin:      410  lits-rem:         0  v-fix:    0  time:  0.01 s
86.91/21.80	c Subs w/ non-existent bins:     66 l-rem:      0 v-fix:     0 done:   3930 time:  0.01 s
86.91/21.81	c Removed useless bin:      33  fixed:     0  props:   0.35M  time:  0.00 s
86.91/21.82	c lits-rem:         0  cl-subs:     1396  v-elim:    103  v-fix:    0  time:  0.01 s
86.91/21.86	c subs with bin:        5  lits-rem:       598  v-fix:    0  time:  0.01 s
91.71/23.03	c lits-rem:       392  cl-subs:      586  v-elim:      0  v-fix:    0  time:  1.16 s
91.71/23.04	c vivif2 --  cl tried     4392 cl shrink       37 lits rem         47 time: 0.00
91.71/23.06	c vivif2 --  cl tried    11875 cl shrink      161 lits rem        552 time: 0.02
92.10/23.11	c asymm  cl-useful: 544/4392/4392 lits-rem:1881 time: 0.05
92.10/23.12	c calculated reachability. Time: 0.00
92.10/23.12	c  N st   394    158508      3827      3926     16137     11875     68777    901926     16.11   no data
100.07/25.16	c  N st   395    207096      3827      3926     16137     26798     68777   1632224     16.11   no data
100.47/25.21	c Finding binary XORs  T:     0.05 s  found:      43
100.47/25.22	c Replacing       43 vars Replaced      783 lits Time:     0.01 s 
102.89/25.88	c  N st   396    237762      3784      3890     17701     29129     68553   1174983     16.11   no data
102.89/25.88	c  S st   396    237762      3784      3890     17701     29129     68553   1174983     16.11   no data
103.31/25.92	c  S st   396    238263      3784      3890     18200     29509     68553   1179864     16.11   no data
103.66/26.02	c x-sub:   132 x-cut:      0 vfix:      0 v-elim:     78 locsubst:   677 time:   0.09
104.06/26.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:    176 BRemL:   1430 BRemN:     77 P:  2.8M T:  0.11
104.06/26.17	c Replacing       62 vars Replaced     9442 lits Time:     0.04 s 
104.06/26.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
104.06/26.17	c bin-w-bin subsume rem          503 bins  time:  0.00 s
104.06/26.18	c subs with bin:      119  lits-rem:         0  v-fix:    0  time:  0.01 s
104.06/26.19	c Subs w/ non-existent bins:     40 l-rem:      0 v-fix:     0 done:   3644 time:  0.01 s
104.06/26.19	c Removed useless bin:      11  fixed:     0  props:   0.25M  time:  0.00 s
104.46/26.20	c lits-rem:         4  cl-subs:       86  v-elim:     88  v-fix:    0  time:  0.01 s
104.46/26.23	c subs with bin:        5  lits-rem:         9  v-fix:    0  time:  0.00 s
139.15/34.91	c lits-rem:      2306  cl-subs:     5629  v-elim:      0  v-fix:    0  time:  8.57 s
139.15/34.91	c vivif2 --  cl tried     3935 cl shrink       17 lits rem         37 time: 0.00
139.15/34.93	c vivif2 --  cl tried    23272 cl shrink        0 lits rem          0 time: 0.02
139.15/34.97	c asymm  cl-useful: 438/3934/3934 lits-rem:1258 time: 0.04
139.15/34.97	c calculated reachability. Time: 0.00
139.15/34.97	c  N st   396    238263      3556      3557     16060     23272     64414    922922     16.11   no data
158.70/39.85	c  F st   397    306250      3556      3557     16062     43217     64414   3291613     16.11   no data
158.70/39.86	c  N st   397    306250      3556      3557     16062     43217     64414   3291613     16.11   no data
159.10/39.90	c Finding binary XORs  T:     0.04 s  found:      24
159.50/40.02	c Decided on static restart strategy
164.30/41.22	c  N st   407    334551      3556      3557     16445     39804     64404   2418053     16.11   no data
174.65/43.80	c  N st   409    357395      3556      3557     16452     34633     64403   2074847     16.11   no data
174.65/43.80	c  S st   409    357395      3556      3557     16452     34633     64403   2074847     16.11   no data
174.65/43.82	c Finding binary XORs  T:     0.02 s  found:      30
174.65/43.84	c Replacing       54 vars Replaced     4548 lits Time:     0.02 s 
174.65/43.88	c  S st   409    357897      3502      3481     19605     34982     64015   2084338     16.11   no data
175.05/43.99	c x-sub:    62 x-cut:      0 vfix:      0 v-elim:     62 locsubst:   575 time:   0.10
175.45/44.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:    692 BRemL:   2311 BRemN:     68 P:  2.3M T:  0.10
175.45/44.09	c Replacing       60 vars Replaced     1404 lits Time:     0.01 s 
175.45/44.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
175.45/44.09	c bin-w-bin subsume rem          368 bins  time:  0.00 s
175.85/44.11	c subs with bin:      101  lits-rem:         0  v-fix:    0  time:  0.01 s
175.85/44.11	c Subs w/ non-existent bins:     10 l-rem:      0 v-fix:     0 done:   3380 time:  0.00 s
175.85/44.12	c Removed useless bin:      20  fixed:     0  props:   0.23M  time:  0.00 s
175.85/44.14	c lits-rem:         1  cl-subs:       73  v-elim:     28  v-fix:    0  time:  0.02 s
175.85/44.18	c subs with bin:       70  lits-rem:        33  v-fix:    0  time:  0.01 s
193.00/48.43	c lits-rem:      1252  cl-subs:     1759  v-elim:      0  v-fix:    0  time:  4.20 s
193.00/48.43	c vivif2 --  cl tried     3382 cl shrink        8 lits rem          9 time: 0.00
193.00/48.46	c vivif2 --  cl tried    26913 cl shrink       23 lits rem         39 time: 0.02
193.00/48.49	c asymm  cl-useful: 122/3382/3382 lits-rem:315 time: 0.03
193.00/48.49	c calculated reachability. Time: 0.00
193.00/48.49	c  N st   409    357897      3352      3296     17404     26913     61685   1431914     16.11   no data
207.36/52.01	c  N st   410    390289      3352      3296     17409     30553     61685   1963008     16.11   no data
207.36/52.04	c Finding binary XORs  T:     0.02 s  found:      12
241.66/60.69	c  N st   411    438877      3352      3296     17444     47219     61685   4106943     16.11   no data
242.05/60.71	c Finding binary XORs  T:     0.02 s  found:       6
259.61/65.17	c  N st   412    511759      3352      3296     17864     53340     61685   4246098     16.11   no data
270.36/67.86	c  N st   413    536845      3352      3296     17886     43272     61685   3300934     16.11   no data
270.36/67.86	c  S st   413    536845      3352      3296     17886     43272     61685   3300934     16.11   no data
270.76/67.92	c  S st   413    537348      3352      3296     17892     43636     61685   3308769     16.11   no data
271.16/68.02	c x-sub:    59 x-cut:      0 vfix:      0 v-elim:     38 locsubst:     9 time:   0.10
271.56/68.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   13 Bins:    526 BRemL:    748 BRemN:      9 P:  2.4M T:  0.10
271.56/68.17	c Replacing       33 vars Replaced    13860 lits Time:     0.05 s 
271.56/68.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
271.56/68.18	c bin-w-bin subsume rem          108 bins  time:  0.00 s
271.56/68.19	c subs with bin:       61  lits-rem:         0  v-fix:    0  time:  0.01 s
271.96/68.20	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:   3281 time:  0.00 s
271.96/68.20	c Removed useless bin:      16  fixed:     0  props:   0.21M  time:  0.00 s
271.96/68.23	c lits-rem:         0  cl-subs:       44  v-elim:     30  v-fix:    0  time:  0.03 s
272.36/68.35	c subs with bin:        8  lits-rem:      1008  v-fix:    0  time:  0.04 s
297.89/74.71	c lits-rem:       200  cl-subs:     1416  v-elim:      0  v-fix:    0  time:  6.28 s
297.89/74.71	c vivif2 --  cl tried     3269 cl shrink        4 lits rem          6 time: 0.00
297.89/74.77	c vivif2 --  cl tried    40823 cl shrink      233 lits rem        897 time: 0.06
298.29/74.81	c asymm  cl-useful: 95/3269/3269 lits-rem:110 time: 0.04
298.29/74.81	c calculated reachability. Time: 0.00
298.29/74.81	c  N st   413    537348      3251      3266     17264     40823     60211   3022409     16.11   no data
392.86/98.56	c  N st   414    701333      3251      3266     17264     49414     60211   4130780     16.11   no data
392.86/98.58	c Finding binary XORs  T:     0.02 s  found:      51
393.61/98.75	c Replacing       51 vars Replaced    62384 lits Time:     0.16 s 
441.12/110.66	c  N st   415    806022      3200      3218     18539     66598     59955   5953530     16.11   no data
441.12/110.66	c  S st   415    806022      3200      3218     18539     66598     59955   5953530     16.11   no data
441.46/110.72	c Finding binary XORs  T:     0.02 s  found:       6
441.46/110.78	c  S st   415    806525      3187      3218     18467     66949     59535   5966746     16.11   no data
442.26/110.90	c x-sub:     4 x-cut:      0 vfix:      0 v-elim:     27 locsubst:   403 time:   0.12
442.66/111.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bins:   2526 BRemL:   2901 BRemN:     18 P:  2.7M T:  0.12
442.66/111.05	c Replacing       72 vars Replaced     5002 lits Time:     0.03 s 
442.66/111.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
442.66/111.06	c bin-w-bin subsume rem          105 bins  time:  0.00 s
442.66/111.07	c subs with bin:      178  lits-rem:         7  v-fix:    0  time:  0.01 s
442.66/111.07	c Subs w/ non-existent bins:     12 l-rem:      0 v-fix:     0 done:   3088 time:  0.00 s
442.66/111.08	c Removed useless bin:       6  fixed:     0  props:   0.18M  time:  0.00 s
443.06/111.13	c lits-rem:         4  cl-subs:      107  v-elim:     50  v-fix:    0  time:  0.06 s
443.46/111.29	c subs with bin:        5  lits-rem:        15  v-fix:    0  time:  0.02 s
557.92/139.96	c lits-rem:       681  cl-subs:     2269  v-elim:      0  v-fix:    0  time: 28.33 s
557.92/139.96	c vivif2 --  cl tried     3076 cl shrink       11 lits rem         21 time: 0.00
558.32/140.06	c vivif2 --  cl tried    61969 cl shrink        3 lits rem          5 time: 0.10
558.72/140.10	c asymm  cl-useful: 158/3076/3076 lits-rem:446 time: 0.04
558.72/140.10	c calculated reachability. Time: 0.00
558.72/140.10	c  N st   415    806525      3038      2941     17701     61969     57692   5407276     16.11   no data
764.12/191.63	c  F st   416   1071875      3038      2941     17703     58197     57692   4679577     16.11   no data
764.12/191.63	c  N st   416   1071875      3038      2941     17703     58197     57692   4679577     16.11   no data
764.12/191.66	c Finding binary XORs  T:     0.02 s  found:      38
764.52/191.75	c Replacing       38 vars Replaced    12247 lits Time:     0.09 s 
766.10/192.13	c Decided on static restart strategy
775.28/194.46	c  N st   426   1100178      3000      2908     22542     41545     57491   2834677     16.11   no data
782.07/196.15	c Finding binary XORs  T:     0.01 s  found:       2
794.03/199.15	c  N st   428   1136171      3000      2908     22548     71499     57491   6101150     16.11   no data
811.58/203.55	c  N st   429   1168564      2963      2855     21461     56391     56046   4397599     16.11   no data
811.98/203.60	c Finding binary XORs  T:     0.01 s  found:      56
811.98/203.63	c Replacing       75 vars Replaced     4453 lits Time:     0.03 s 
835.11/209.45	c  N st   430   1209787      2782      2684     18204     46821     51425   3336501     16.11   no data
835.11/209.45	c  S st   430   1209787      2782      2684     18204     46821     51425   3336501     16.11   no data
835.52/209.52	c  S st   430   1210288      2782      2684     18227     47160     51425   3341596     16.11   no data
835.95/209.63	c x-sub:    57 x-cut:      0 vfix:      0 v-elim:      5 locsubst:   375 time:   0.11
836.29/209.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:   3783 BRemL:   5807 BRemN:      6 P:  2.5M T:  0.11
836.29/209.76	c Replacing      181 vars Replaced     6181 lits Time:     0.02 s 
836.29/209.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
836.29/209.76	c bin-w-bin subsume rem          452 bins  time:  0.00 s
836.29/209.77	c subs with bin:      123  lits-rem:       176  v-fix:    0  time:  0.01 s
836.29/209.78	c Subs w/ non-existent bins:      5 l-rem:      0 v-fix:     0 done:   2596 time:  0.00 s
836.29/209.78	c Removed useless bin:       7  fixed:     0  props:   0.15M  time:  0.00 s
836.69/209.82	c lits-rem:         0  cl-subs:       38  v-elim:     37  v-fix:    0  time:  0.04 s
837.09/209.90	c subs with bin:       25  lits-rem:        21  v-fix:    0  time:  0.02 s
881.76/221.10	c lits-rem:      1686  cl-subs:     2349  v-elim:      0  v-fix:    0  time: 11.06 s
881.76/221.10	c vivif2 --  cl tried     2644 cl shrink       14 lits rem         28 time: 0.00
881.76/221.14	c vivif2 --  cl tried    43760 cl shrink      467 lits rem        580 time: 0.04
881.76/221.17	c asymm  cl-useful: 8/2644/2644 lits-rem:9 time: 0.03
881.76/221.18	c calculated reachability. Time: 0.00
881.76/221.18	c  N st   430   1210288      2559      2644     15459     43760     49771   3058124     16.11   no data
926.44/232.33	c  N st   431   1283171      2559      2644     15462     61895     49771   4962025     16.11   no data
926.44/232.35	c Finding binary XORs  T:     0.02 s  found:       5
1007.79/252.78	c  N st   432   1392494      2559      2644     15476     66646     49771   5391632     16.11   no data
1008.19/252.85	c Finding binary XORs  T:     0.01 s  found:      39
1008.59/252.90	c Replacing       50 vars Replaced     6107 lits Time:     0.05 s 
1126.65/282.53	c  N st   433   1556478      2418      2516     21351     62850     45965   5006640     16.11   no data
1199.24/300.78	c  N st   434   1710289      2398      2516     21424     89649     45965   7477705     16.11   no data
1199.24/300.78	c  S st   434   1710289      2398      2516     21424     89649     45965   7477705     16.11   no data
1199.66/300.85	c Finding binary XORs  T:     0.01 s  found:      27
1199.66/300.88	c Replacing       27 vars Replaced     1293 lits Time:     0.02 s 
1200.08/300.98	c  S st   434   1710792      2355      2476     20248     89915     44314   7485942     16.11   no data
1200.82/301.10	c x-sub:   171 x-cut:      0 vfix:      0 v-elim:      0 locsubst:   186 time:   0.12
1201.22/301.23	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:   35 Bins:   7368 BRemL:  11141 BRemN:      2 P:  2.8M T:  0.13
1201.62/301.32	c Replacing      120 vars Replaced     8578 lits Time:     0.09 s 
1201.62/301.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1201.62/301.32	c bin-w-bin subsume rem         1549 bins  time:  0.00 s
1201.62/301.33	c subs with bin:      164  lits-rem:       248  v-fix:    0  time:  0.01 s
1201.62/301.33	c Subs w/ non-existent bins:     31 l-rem:      0 v-fix:     0 done:   2234 time:  0.00 s
1201.62/301.34	c Removed useless bin:       1  fixed:     0  props:   0.14M  time:  0.00 s
1202.02/301.41	c lits-rem:         0  cl-subs:       16  v-elim:     13  v-fix:    0  time:  0.08 s
1202.82/301.61	c subs with bin:       26  lits-rem:       485  v-fix:    0  time:  0.02 s
1969.27/493.82	c lits-rem:      8000  cl-subs:    10884  v-elim:      0  v-fix:    0  time: 189.83 s
1969.27/493.82	c vivif2 --  cl tried     2319 cl shrink       13 lits rem         74 time: 0.00
1969.67/493.93	c vivif2 --  cl tried    78289 cl shrink       18 lits rem         48 time: 0.11
1969.67/493.96	c asymm  cl-useful: 39/2319/2319 lits-rem:108 time: 0.03
1969.67/493.96	c calculated reachability. Time: 0.00
1969.67/493.96	c  N st   434   1710792      2221      2285     14682     78288     42098   6309958     16.11   no data
2266.76/568.45	c  N st   435   2079758      2221      2285     14683     80605     42098   6976778     16.11   no data
2267.56/568.61	c Finding binary XORs  T:     0.02 s  found:     145
2267.96/568.70	c Replacing      180 vars Replaced    17023 lits Time:     0.09 s 
2341.74/587.29	c  N st   436   2210793      1544      1596      5918     71902     22488   5654375     16.11   no data
2341.74/587.29	c  S st   436   2210793      1544      1596      5918     71902     22488   5654375     16.11   no data
2342.14/587.31	c Finding binary XORs  T:     0.01 s  found:       3
2342.54/587.41	c  S st   436   2211296      1544      1596      5979     72248     22488   5668677     16.11   no data
2342.94/587.53	c x-sub:    55 x-cut:      2 vfix:      0 v-elim:     21 locsubst:   175 time:   0.12
2343.34/587.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    614 BRemL:   1866 BRemN:      5 P:  1.3M T:  0.07
2343.34/587.63	c Replacing       88 vars Replaced     2215 lits Time:     0.02 s 
2343.34/587.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2343.34/587.63	c bin-w-bin subsume rem          670 bins  time:  0.00 s
2343.34/587.63	c subs with bin:       31  lits-rem:       133  v-fix:    0  time:  0.00 s
2343.34/587.63	c Subs w/ non-existent bins:      7 l-rem:      0 v-fix:     0 done:   1435 time:  0.00 s
2343.34/587.64	c Removed useless bin:      10  fixed:     0  props:   0.07M  time:  0.00 s
2343.74/587.70	c lits-rem:         0  cl-subs:       43  v-elim:     83  v-fix:    0  time:  0.07 s
2344.55/587.92	c subs with bin:       18  lits-rem:       769  v-fix:    0  time:  0.08 s
2510.45/629.55	c lits-rem:      2692  cl-subs:     3662  v-elim:      0  v-fix:    0  time: 41.15 s
2510.45/629.55	c vivif2 --  cl tried     1212 cl shrink       83 lits rem        142 time: 0.00
2510.85/629.65	c vivif2 --  cl tried    67746 cl shrink     3294 lits rem       4632 time: 0.11
2510.85/629.66	c asymm  cl-useful: 40/1160/1160 lits-rem:112 time: 0.01
2510.85/629.67	c calculated reachability. Time: 0.00
2510.85/629.67	c  N st   436   2211296      1352      1130      3629     67746     19443   5247662     16.11   no data
2930.94/754.50	c Following stats are for *FIRST FINISHED THREAD ONLY*
2930.94/754.50	c num threads              : 4          
2930.94/754.50	c restarts                 : 16119      
2930.94/754.50	c dynamic restarts         : 16089      
2930.94/754.50	c static restarts          : 30         
2930.94/754.50	c full restarts            : 4          
2930.94/754.50	c total simplify time      : 3.12       
2930.94/754.50	c learnts DL2              : 0          
2930.94/754.50	c learnts size 2           : 683783     
2930.94/754.50	c learnts size 1           : 1310        (4.18      % of vars)
2930.94/754.50	c filedLit time            : 7.12        (0.94      % time)
2930.94/754.50	c v-elim SatELite          : 13642       (43.51     % vars)
2930.94/754.50	c SatELite time            : 9.12        (1.21      % time)
2930.94/754.50	c v-elim xor               : 0           (0.00      % vars)
2930.94/754.50	c xor elim time            : 0.09        (0.01      % time)
2930.94/754.50	c num binary xor trees     : 2551       
2930.94/754.50	c binxor trees' crown      : 12276       (4.81      leafs/tree)
2930.94/754.50	c bin xor find time        : 1.65       
2930.94/754.50	c OTF clause improved      : 212562      (0.06      clauses/conflict)
2930.94/754.50	c OTF impr. size diff      : 218523      (1.03       lits/clause)
2930.94/754.50	c OTF cl watch-shrink      : 1258747     (0.35      clauses/conflict)
2930.94/754.50	c OTF cl watch-sh-lit      : 2835637     (2.25       lits/clause)
2930.94/754.50	c tried to recurMin cls    : 1437895     (39.70      % of conflicts)
2930.94/754.50	c updated cache            : 96561       (0.07       lits/tried recurMin)
2930.94/754.50	c unit cls recevied        : 19          (1.45      % of units)
2930.94/754.50	c unit cls sent            : 1458        (111.30    % of units)
2930.94/754.50	c bin cls recevied         : 317201     
2930.94/754.50	c bin cls sent             : 292697     
2930.94/754.50	c clauses over max glue    : 0           (0.00      % of all clauses)
2930.94/754.50	c conflicts                : 3621877     (4800.99   / sec)
2930.94/754.50	c decisions                : 8681593     (3.26      % random)
2930.94/754.50	c bogo-props               : 61663901754 (81738749.59 / sec)
2930.94/754.50	c conflict literals        : 87854168    (10.84     % deleted)
2930.94/754.50	c Memory used              : 1936.41     MB
2930.94/754.50	c single-thread CPU time   : 754.40      s
2930.94/754.50	c all-threads sum CPU time : 2927.38     s
2930.94/754.50	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: 961)

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-3367161-1305389083/watcher-3367161-1305389083 -o /tmp/evaluation-result-3367161-1305389083/solver-3367161-1305389083 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367161-1305389083.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.04 5.82 4.67 5/367 13876
/proc/meminfo: memFree=16511676/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) R 13874 13876 13799 0 -1 4202496 406 0 0 0 0 0 0 0 24 0 4 0 729139039 52396032 347 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718920112 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13876/statm: 12792 347 299 95 0 7774 0
[pid=13876/tid=13877] ppid=13874 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 729139039 52396032 352 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919705 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 729139039 52396032 352 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919705 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 729139039 52396032 352 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919703 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0578819 s]
/proc/loadavg: 8.04 5.82 4.67 5/367 13876
/proc/meminfo: memFree=16511676/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=301816 CPUtime=0.21 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) D 13874 13876 13799 0 -1 4202496 13617 0 0 0 20 1 0 0 18 0 4 0 729139039 309059584 11582 33554432000 4194304 4580107 140736636074160 18446744073709551615 4306964 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 75994 11717 338 95 0 70976 0
[pid=13876/tid=13877] ppid=13874 vsize=303976 CPUtime=0.04 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 3316 0 0 0 4 0 0 0 25 0 4 0 729139039 311271424 11717 33554432000 4194304 4580107 140736636074160 18446744073709551615 260905451946 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=303976 CPUtime=0.05 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 3341 0 0 0 5 0 0 0 18 0 4 0 729139039 311271424 11717 33554432000 4194304 4580107 140736636074160 18446744073709551615 260905052422 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=303976 CPUtime=0.05 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) D 13874 13876 13799 0 -1 4202560 3375 0 0 0 5 0 0 0 18 0 4 0 729139039 311271424 11717 33554432000 4194304 4580107 140736636074160 18446744073709551615 4307185 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 301816

[startup+0.785865 s]
/proc/loadavg: 8.04 5.82 4.67 5/367 13876
/proc/meminfo: memFree=16511676/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=312848 CPUtime=3.11 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) R 13874 13876 13799 0 -1 4202496 19614 0 0 0 308 3 0 0 19 0 4 0 729139039 320356352 17548 33554432000 4194304 4580107 140736636074160 18446744073709551615 260905437367 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 78212 17548 361 95 0 73194 0
[pid=13876/tid=13877] ppid=13874 vsize=312848 CPUtime=0.76 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) D 13874 13876 13799 0 -1 4202560 4692 0 0 0 76 0 0 0 25 0 4 0 729139039 320356352 17548 33554432000 4194304 4580107 140736636074160 18446744073709551615 260905055265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=312848 CPUtime=0.77 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 4712 0 0 0 76 1 0 0 18 0 4 0 729139039 320356352 17548 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=312848 CPUtime=0.77 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 5085 0 0 0 77 0 0 0 18 0 4 0 729139039 320356352 17548 33554432000 4194304 4580107 140736636074160 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 312848

[startup+0.800721 s]
/proc/loadavg: 8.04 5.82 4.67 5/367 13876
/proc/meminfo: memFree=16511676/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=312848 CPUtime=3.17 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) R 13874 13876 13799 0 -1 4202496 20171 0 0 0 314 3 0 0 19 0 4 0 729139039 320356352 18105 33554432000 4194304 4580107 140736636074160 18446744073709551615 4293048 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 78212 18105 361 95 0 73194 0
[pid=13876/tid=13877] ppid=13874 vsize=312848 CPUtime=0.78 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 4851 0 0 0 78 0 0 0 25 0 4 0 729139039 320356352 18105 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=312848 CPUtime=0.79 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 4899 0 0 0 78 1 0 0 19 0 4 0 729139039 320356352 18105 33554432000 4194304 4580107 140736636074160 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=312848 CPUtime=0.79 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 5087 0 0 0 79 0 0 0 18 0 4 0 729139039 320356352 18108 33554432000 4194304 4580107 140736636074160 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 312848

[startup+0.900704 s]
/proc/loadavg: 8.04 5.82 4.67 5/367 13876
/proc/meminfo: memFree=16511676/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=314320 CPUtime=3.57 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) R 13874 13876 13799 0 -1 4202496 23944 0 0 0 353 4 0 0 19 0 4 0 729139039 321863680 21878 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294259 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 78580 21878 362 95 0 73562 0
[pid=13876/tid=13877] ppid=13874 vsize=314320 CPUtime=0.88 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 5971 0 0 0 87 1 0 0 25 0 4 0 729139039 321863680 21878 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294704 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=314320 CPUtime=0.88 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 6041 0 0 0 87 1 0 0 19 0 4 0 729139039 321863680 21878 33554432000 4194304 4580107 140736636074160 18446744073709551615 4235735 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=314320 CPUtime=0.89 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 5485 0 0 0 89 0 0 0 19 0 4 0 729139039 321863680 21878 33554432000 4194304 4580107 140736636074160 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 314320

[startup+1.50059 s]
/proc/loadavg: 8.04 5.82 4.67 5/367 13876
/proc/meminfo: memFree=16511676/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=314716 CPUtime=5.96 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) R 13874 13876 13799 0 -1 4202496 44474 0 0 0 587 9 0 0 20 0 4 0 729139039 322269184 42408 33554432000 4194304 4580107 140736636074160 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 78679 42408 362 95 0 73661 0
[pid=13876/tid=13877] ppid=13874 vsize=314716 CPUtime=1.47 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 12721 0 0 0 145 2 0 0 25 0 4 0 729139039 322269184 42408 33554432000 4194304 4580107 140736636074160 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=314716 CPUtime=1.49 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 12837 0 0 0 146 3 0 0 20 0 4 0 729139039 322269184 42408 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294144 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=314716 CPUtime=1.49 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 5675 0 0 0 149 0 0 0 20 0 4 0 729139039 322269184 42408 33554432000 4194304 4580107 140736636074160 18446744073709551615 4317131 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 314716

[startup+3.1003 s]
/proc/loadavg: 8.19 5.89 4.70 9/371 13880
/proc/meminfo: memFree=16272432/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=515344 CPUtime=12.33 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) R 13874 13876 13799 0 -1 4202496 62562 0 0 0 1220 13 0 0 25 0 4 0 729139039 527712256 59623 33554432000 4194304 4580107 140736636074160 18446744073709551615 4293295 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 128836 59627 367 95 0 123818 0
[pid=13876/tid=13877] ppid=13874 vsize=515344 CPUtime=3.08 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 18719 0 0 0 305 3 0 0 25 0 4 0 729139039 527712256 59628 33554432000 4194304 4580107 140736636074160 18446744073709551615 4401482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=515344 CPUtime=3.09 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 18319 0 0 0 305 4 0 0 25 0 4 0 729139039 527712256 59631 33554432000 4194304 4580107 140736636074160 18446744073709551615 4401259 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=515344 CPUtime=3.09 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 6817 0 0 0 309 0 0 0 25 0 4 0 729139039 527712256 59632 33554432000 4194304 4580107 140736636074160 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 515344

[startup+6.30072 s]
/proc/loadavg: 8.18 5.92 4.71 9/371 13880
/proc/meminfo: memFree=16201504/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=516596 CPUtime=25.1 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) R 13874 13876 13799 0 -1 4202496 93138 0 0 0 2491 19 0 0 25 0 4 0 729139039 528994304 77733 33554432000 4194304 4580107 140736636074160 18446744073709551615 260905059247 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 129149 77736 380 95 0 124131 0
[pid=13876/tid=13877] ppid=13874 vsize=516596 CPUtime=6.28 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 27308 0 0 0 623 5 0 0 25 0 4 0 729139039 528994304 77736 33554432000 4194304 4580107 140736636074160 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=516596 CPUtime=6.28 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 27691 0 0 0 623 5 0 0 25 0 4 0 729139039 528994304 77736 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=516596 CPUtime=6.29 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 9315 0 0 0 628 1 0 0 25 0 4 0 729139039 528994304 77736 33554432000 4194304 4580107 140736636074160 18446744073709551615 4231546 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 516596

[startup+12.7135 s]
/proc/loadavg: 8.16 5.95 4.73 9/371 13881
/proc/meminfo: memFree=16084348/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=593676 CPUtime=50.67 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) R 13874 13876 13799 0 -1 4202496 125153 0 0 0 5042 25 0 0 25 0 4 0 729139039 607924224 104964 33554432000 4194304 4580107 140736636074160 18446744073709551615 4321122 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 148419 104964 380 95 0 143401 0
[pid=13876/tid=13877] ppid=13874 vsize=593676 CPUtime=12.69 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 30400 0 0 0 1264 5 0 0 25 0 4 0 729139039 607924224 104964 33554432000 4194304 4580107 140736636074160 18446744073709551615 4339853 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=593676 CPUtime=12.7 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 32123 0 0 0 1263 7 0 0 25 0 4 0 729139039 607924224 104964 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=593676 CPUtime=12.7 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 30171 0 0 0 1266 4 0 0 25 0 4 0 729139039 607924224 104964 33554432000 4194304 4580107 140736636074160 18446744073709551615 4497334 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 593676

[startup+25.5002 s]
/proc/loadavg: 8.14 6.02 4.77 9/371 13881
/proc/meminfo: memFree=15977764/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=768840 CPUtime=101.67 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) R 13874 13876 13799 0 -1 4202496 180621 0 0 0 10132 35 0 0 25 0 4 0 729139039 787292160 132326 33554432000 4194304 4580107 140736636074160 18446744073709551615 4304880 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 192210 132326 381 95 0 187192 0
[pid=13876/tid=13877] ppid=13874 vsize=768840 CPUtime=25.48 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 49082 0 0 0 2539 9 0 0 25 0 4 0 729139039 787292160 132326 33554432000 4194304 4580107 140736636074160 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=768840 CPUtime=25.49 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 43530 0 0 0 2540 9 0 0 25 0 4 0 729139039 787292160 132326 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=768840 CPUtime=25.48 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 36493 0 0 0 2543 5 0 0 25 0 4 0 729139039 787292160 132326 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 768840

[startup+51.1005 s]
/proc/loadavg: 8.08 6.21 4.87 9/371 13882
/proc/meminfo: memFree=15882244/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=932408 CPUtime=203.79 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) R 13874 13876 13799 0 -1 4202496 238814 0 0 0 20330 49 0 0 25 0 4 0 729139039 954785792 154245 33554432000 4194304 4580107 140736636074160 18446744073709551615 4304894 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 233102 154245 381 95 0 228084 0
[pid=13876/tid=13877] ppid=13874 vsize=932408 CPUtime=51.09 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 66197 0 0 0 5096 13 0 0 25 0 4 0 729139039 954785792 154253 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=932408 CPUtime=51.1 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 64920 0 0 0 5096 14 0 0 25 0 4 0 729139039 954785792 154253 33554432000 4194304 4580107 140736636074160 18446744073709551615 4295131 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=932408 CPUtime=51.1 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 39445 0 0 0 5104 6 0 0 25 0 4 0 729139039 954785792 154253 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 932408

[startup+102.301 s]
/proc/loadavg: 8.07 6.50 5.03 9/371 13883
/proc/meminfo: memFree=15663320/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=1054020 CPUtime=407.97 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) R 13874 13876 13799 0 -1 4202496 358709 0 0 0 40719 78 0 0 25 0 4 0 729139039 1079316480 182597 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 263505 182597 381 95 0 258487 0
[pid=13876/tid=13877] ppid=13874 vsize=1054020 CPUtime=102.28 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 107313 0 0 0 10206 22 0 0 25 0 4 0 729139039 1079316480 182597 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=1054020 CPUtime=102.29 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 97295 0 0 0 10206 23 0 0 25 0 4 0 729139039 1079316480 182597 33554432000 4194304 4580107 140736636074160 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=1054020 CPUtime=102.28 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 39679 0 0 0 10222 6 0 0 25 0 4 0 729139039 1079316480 182597 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.97
Current children cumulated vsize (KiB) 1054020

[startup+162.314 s]

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

/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 45276 0 0 0 52221 8 0 0 25 0 4 0 729139039 1762086912 315422 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2082.91
Current children cumulated vsize (KiB) 1720788

[startup+582.3 s]
/proc/loadavg: 8.11 7.79 6.27 9/371 13896
/proc/meminfo: memFree=15062692/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=1745324 CPUtime=2322.2 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) R 13874 13876 13799 0 -1 4202496 928282 0 0 0 231930 290 0 0 25 0 4 0 729139039 1787211776 311807 33554432000 4194304 4580107 140736636074160 18446744073709551615 4318664 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 436331 311807 381 95 0 431313 0
[pid=13876/tid=13877] ppid=13874 vsize=1745324 CPUtime=582.29 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 274050 0 0 0 58145 84 0 0 25 0 4 0 729139039 1787211776 311807 33554432000 4194304 4580107 140736636074160 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=1745324 CPUtime=582.3 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 298294 0 0 0 58135 95 0 0 25 0 4 0 729139039 1787211776 311807 33554432000 4194304 4580107 140736636074160 18446744073709551615 4297101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=1745324 CPUtime=582.3 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 45585 0 0 0 58221 9 0 0 25 0 4 0 729139039 1787211776 311807 33554432000 4194304 4580107 140736636074160 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2322.2
Current children cumulated vsize (KiB) 1745324

[startup+642.3 s]
/proc/loadavg: 8.14 7.86 6.39 9/371 13897
/proc/meminfo: memFree=14899736/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=1914008 CPUtime=2561.49 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) R 13874 13876 13799 0 -1 4202496 1041714 0 0 0 255817 332 0 0 25 0 4 0 729139039 1959944192 340576 33554432000 4194304 4580107 140736636074160 18446744073709551615 4316680 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 478502 340576 381 95 0 473484 0
[pid=13876/tid=13877] ppid=13874 vsize=1914008 CPUtime=642.28 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 309031 0 0 0 64130 98 0 0 25 0 4 0 729139039 1959944192 340576 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=1914008 CPUtime=642.3 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 357097 0 0 0 64115 115 0 0 25 0 4 0 729139039 1959944192 340576 33554432000 4194304 4580107 140736636074160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=1914008 CPUtime=642.29 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 46350 0 0 0 64220 9 0 0 25 0 4 0 729139039 1959944192 340576 33554432000 4194304 4580107 140736636074160 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2561.49
Current children cumulated vsize (KiB) 1914008

[startup+702.3 s]
/proc/loadavg: 7.92 7.86 6.48 8/371 13899
/proc/meminfo: memFree=14878508/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=1982880 CPUtime=2782.34 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) S 13874 13876 13799 0 -1 4202496 1098448 0 0 0 277877 357 0 0 25 0 4 0 729139039 2030469120 348412 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919732 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 495720 348412 381 95 0 490702 0
[pid=13876/tid=13877] ppid=13874 vsize=1982880 CPUtime=702.3 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 335075 0 0 0 70120 110 0 0 25 0 4 0 729139039 2030469120 348412 33554432000 4194304 4580107 140736636074160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=1982880 CPUtime=702.32 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 357097 0 0 0 70117 115 0 0 25 0 4 0 729139039 2030469120 348412 33554432000 4194304 4580107 140736636074160 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=1982880 CPUtime=702.31 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 49428 0 0 0 70221 10 0 0 25 0 4 0 729139039 2030469120 348412 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718895300 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2782.34
Current children cumulated vsize (KiB) 1982880

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

[startup+717.301 s]
/proc/loadavg: 7.72 7.82 6.49 8/371 13899
/proc/meminfo: memFree=14882464/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=1982880 CPUtime=2827.33 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) S 13874 13876 13799 0 -1 4202496 1098448 0 0 0 282376 357 0 0 25 0 4 0 729139039 2030469120 348412 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919732 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 495720 348412 381 95 0 490702 0
[pid=13876/tid=13877] ppid=13874 vsize=1982880 CPUtime=717.29 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 335075 0 0 0 71619 110 0 0 25 0 4 0 729139039 2030469120 348412 33554432000 4194304 4580107 140736636074160 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=1982880 CPUtime=717.31 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 357097 0 0 0 71616 115 0 0 25 0 4 0 729139039 2030469120 348412 33554432000 4194304 4580107 140736636074160 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=1982880 CPUtime=717.29 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 49428 0 0 0 71719 10 0 0 25 0 4 0 729139039 2030469120 348412 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718895147 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2827.33
Current children cumulated vsize (KiB) 1982880

[startup+730.1 s]
/proc/loadavg: 7.68 7.81 6.50 8/371 13900
/proc/meminfo: memFree=14868196/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=1982880 CPUtime=2865.73 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) S 13874 13876 13799 0 -1 4202496 1098448 0 0 0 286216 357 0 0 25 0 4 0 729139039 2030469120 348412 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919732 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 495720 348412 381 95 0 490702 0
[pid=13876/tid=13877] ppid=13874 vsize=1982880 CPUtime=730.09 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 335075 0 0 0 72899 110 0 0 25 0 4 0 729139039 2030469120 348412 33554432000 4194304 4580107 140736636074160 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=1982880 CPUtime=730.11 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 357097 0 0 0 72896 115 0 0 25 0 4 0 729139039 2030469120 348412 33554432000 4194304 4580107 140736636074160 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=1982880 CPUtime=730.09 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 49428 0 0 0 72999 10 0 0 25 0 4 0 729139039 2030469120 348412 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718895147 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2865.73
Current children cumulated vsize (KiB) 1982880

[startup+742.901 s]
/proc/loadavg: 7.53 7.77 6.50 8/371 13900
/proc/meminfo: memFree=14866944/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=1982880 CPUtime=2904.13 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) S 13874 13876 13799 0 -1 4202496 1098448 0 0 0 290056 357 0 0 25 0 4 0 729139039 2030469120 348412 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919732 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 495720 348412 381 95 0 490702 0
[pid=13876/tid=13877] ppid=13874 vsize=1982880 CPUtime=742.89 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 335075 0 0 0 74179 110 0 0 25 0 4 0 729139039 2030469120 348412 33554432000 4194304 4580107 140736636074160 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=1982880 CPUtime=742.91 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 357097 0 0 0 74176 115 0 0 25 0 4 0 729139039 2030469120 348412 33554432000 4194304 4580107 140736636074160 18446744073709551615 4416997 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=1982880 CPUtime=742.9 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 49428 0 0 0 74280 10 0 0 25 0 4 0 729139039 2030469120 348412 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718895147 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2904.13
Current children cumulated vsize (KiB) 1982880

[startup+749.301 s]
/proc/loadavg: 7.49 7.75 6.51 7/371 13900
/proc/meminfo: memFree=14862356/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=1982880 CPUtime=2920.54 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) S 13874 13876 13799 0 -1 4202496 1098578 0 0 0 291697 357 0 0 25 0 4 0 729139039 2030469120 348236 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919732 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 495720 348236 381 95 0 490702 0
[pid=13876/tid=13877] ppid=13874 vsize=1982880 CPUtime=749.29 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 335075 0 0 0 74819 110 0 0 25 0 4 0 729139039 2030469120 348236 33554432000 4194304 4580107 140736636074160 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=1982880 CPUtime=746.52 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) S 13874 13876 13799 0 -1 4202560 357227 0 0 0 74537 115 0 0 25 0 4 0 729139039 2030469120 348236 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919732 0 0 4096 2 18446604461322918016 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=1982880 CPUtime=749.3 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 49428 0 0 0 74920 10 0 0 25 0 4 0 729139039 2030469120 348236 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718895147 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2920.54
Current children cumulated vsize (KiB) 1982880

[startup+752.501 s]
/proc/loadavg: 7.37 7.72 6.50 7/371 13900
/proc/meminfo: memFree=14855160/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=1982880 CPUtime=2926.94 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) S 13874 13876 13799 0 -1 4202496 1098578 0 0 0 292337 357 0 0 25 0 4 0 729139039 2030469120 348236 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919732 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 495720 348236 381 95 0 490702 0
[pid=13876/tid=13877] ppid=13874 vsize=1982880 CPUtime=752.49 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 335075 0 0 0 75139 110 0 0 25 0 4 0 729139039 2030469120 348236 33554432000 4194304 4580107 140736636074160 18446744073709551615 4416709 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=1982880 CPUtime=746.52 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) S 13874 13876 13799 0 -1 4202560 357227 0 0 0 74537 115 0 0 25 0 4 0 729139039 2030469120 348236 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919732 0 0 4096 2 18446604461322918016 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=1982880 CPUtime=752.5 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 49428 0 0 0 75240 10 0 0 25 0 4 0 729139039 2030469120 348236 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718895300 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2926.94
Current children cumulated vsize (KiB) 1982880

[startup+753.301 s]
/proc/loadavg: 7.37 7.72 6.50 7/371 13900
/proc/meminfo: memFree=14850200/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=1982880 CPUtime=2928.54 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) S 13874 13876 13799 0 -1 4202496 1098578 0 0 0 292497 357 0 0 25 0 4 0 729139039 2030469120 348236 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919732 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 495720 348236 381 95 0 490702 0
[pid=13876/tid=13877] ppid=13874 vsize=1982880 CPUtime=753.29 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 335075 0 0 0 75219 110 0 0 25 0 4 0 729139039 2030469120 348236 33554432000 4194304 4580107 140736636074160 18446744073709551615 4416018 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=1982880 CPUtime=746.52 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) S 13874 13876 13799 0 -1 4202560 357227 0 0 0 74537 115 0 0 25 0 4 0 729139039 2030469120 348236 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919732 0 0 4096 2 18446604461322918016 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=1982880 CPUtime=753.3 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 49428 0 0 0 75320 10 0 0 25 0 4 0 729139039 2030469120 348236 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718895136 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2928.54
Current children cumulated vsize (KiB) 1982880

[startup+754.114 s]
/proc/loadavg: 7.37 7.72 6.50 7/371 13900
/proc/meminfo: memFree=14849084/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=1982880 CPUtime=2930.17 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) S 13874 13876 13799 0 -1 4202496 1098578 0 0 0 292660 357 0 0 25 0 4 0 729139039 2030469120 348236 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919732 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 495720 348236 381 95 0 490702 0
[pid=13876/tid=13877] ppid=13874 vsize=1982880 CPUtime=754.1 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 335075 0 0 0 75300 110 0 0 25 0 4 0 729139039 2030469120 348236 33554432000 4194304 4580107 140736636074160 18446744073709551615 4416310 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=1982880 CPUtime=746.52 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) S 13874 13876 13799 0 -1 4202560 357227 0 0 0 74537 115 0 0 25 0 4 0 729139039 2030469120 348236 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919732 0 0 4096 2 18446604461322918016 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=1982880 CPUtime=754.11 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 49428 0 0 0 75401 10 0 0 25 0 4 0 729139039 2030469120 348236 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718895300 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2930.17
Current children cumulated vsize (KiB) 1982880

[startup+754.501 s]
/proc/loadavg: 7.37 7.72 6.50 7/371 13900
/proc/meminfo: memFree=14849084/32950928 swapFree=65762508/67111528
[pid=13876] ppid=13874 vsize=1982880 CPUtime=2930.94 cores=1,3,5,7
/proc/13876/stat : 13876 (strangenight2-m) S 13874 13876 13799 0 -1 4202496 1098706 0 0 0 292737 357 0 0 25 0 4 0 729139039 2030469120 348364 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919732 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13876/statm: 495720 348364 381 95 0 490702 0
[pid=13876/tid=13877] ppid=13874 vsize=1982880 CPUtime=754.49 cores=1,3,5,7
/proc/13876/task/13877/stat : 13877 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 335203 0 0 0 75339 110 0 0 25 0 4 0 729139039 2030469120 348364 33554432000 4194304 4580107 140736636074160 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13876/tid=13878] ppid=13874 vsize=1982880 CPUtime=746.52 cores=1,3,5,7
/proc/13876/task/13878/stat : 13878 (strangenight2-m) S 13874 13876 13799 0 -1 4202560 357227 0 0 0 74537 115 0 0 25 0 4 0 729139039 2030469120 348364 33554432000 4194304 4580107 140736636074160 18446744073709551615 47499718919732 0 0 4096 2 18446604461322918016 0 0 -1 3 0 0 0
[pid=13876/tid=13879] ppid=13874 vsize=1982880 CPUtime=754.5 cores=1,3,5,7
/proc/13876/task/13879/stat : 13879 (strangenight2-m) R 13874 13876 13799 0 -1 4202560 49428 0 0 0 75440 10 0 0 25 0 4 0 729139039 2030469120 348364 33554432000 4194304 4580107 140736636074160 18446744073709551615 4205160 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2930.94
Current children cumulated vsize (KiB) 1982880

Child status: 20
Real time (s): 754.56
CPU time (s): 2931.01
CPU user time (s): 2927.38
CPU system time (s): 3.63245
CPU usage (%): 388.44
Max. virtual memory (cumulated for all children) (KiB): 2082484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2927.38
system time used= 3.63245
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1098709
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= 2926
involuntary context switches= 12633

runsolver used 2.54861 second user time and 6.559 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-14 18:04:44
IDJOB=3367161
IDBENCH=20529
IDSOLVER=1844
FILE ID=node116/3367161-1305389083
RUNJOBID= node116-1305388868-13818
PBS_JOBID= 13324425
Free space on /tmp= 73104 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k20.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367161-1305389083/watcher-3367161-1305389083 -o /tmp/evaluation-result-3367161-1305389083/solver-3367161-1305389083 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367161-1305389083.cnf

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

MD5SUM BENCH= 2bee695ce4278b72ee9295631ad94252
RANDOM SEED=2019228302

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:      16511956 kB
Buffers:        288560 kB
Cached:        4580680 kB
SwapCached:      12420 kB
Active:       13120744 kB
Inactive:      3041904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      16511956 kB
SwapTotal:    67111528 kB
SwapFree:     65762508 kB
Dirty:            8756 kB
Writeback:           0 kB
AnonPages:    11291264 kB
Mapped:          16344 kB
Slab:           160832 kB
PageTables:      47660 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 85006272 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= 73100 MiB
End job on node116 at 2011-05-14 18:17:18