Trace number 3265719

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 4791.35 1199.46

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn006.shuffled-as.sat05-3846.cnf
MD5SUMf38a91a0947f21d9ceeb8762ba4c5f93
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark919.536
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of clauses18473
Sum of the clauses size132415
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2442
Number of clauses of size 32342
Number of clauses of size 4463
Number of clauses of size 5642
Number of clauses of size over 514542

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3265719-1304129546.cnf'
0.00/0.00	c -- header says num vars:           2969
0.00/0.00	c -- header says num clauses:       18473
0.02/0.02	c -- clauses added:            0 learnts,        18473 normals,            0 xors
0.02/0.02	c -- vars added       2969
0.02/0.02	c Parsing time:  0.01 s
0.02/0.02	c  N st     0         0      2969     16976      1250         0    130621         0   no data   no data
0.02/0.15	c asymm  cl-useful: 1433/15881/15881 lits-rem:2141 time: 0.11
0.02/0.15	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
0.57/0.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.57/0.15	c bin-w-bin subsume rem          990 bins  time:  0.00 s
0.57/0.16	c subs with bin:       67  lits-rem:       106  v-fix:    0  time:  0.00 s
0.57/0.16	c Subs w/ non-existent bins:      0 l-rem:      5 v-fix:     0 done:   2912 time:  0.00 s
0.57/0.16	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
0.57/0.27	c lits-rem:      7094  cl-subs:     3427  v-elim:    182  v-fix:    0  time:  0.03 s
0.57/0.27	c Finding binary XORs  T:     0.00 s  found:       0
0.57/0.27	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.57/0.27	c calculated reachability. Time: 0.00
0.57/0.27	c Calc default polars -  time:   0.00 s pos:    1012 undec:     936 neg:    1021
0.57/0.27	c =========================================================================================
0.57/0.27	c types(t): F = full restart, N = normal restart
0.57/0.27	c types(t): S = simplification begin/end, E = solution found
0.57/0.27	c restart types(rt): st = static, dy = dynamic
0.57/0.27	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.57/0.27	c  B st     0         0      2730     12179      1100         0     88846         0   no data   no data
0.57/0.27	c  N dy    16      4154      2730     12179      1128      3915     88837     53198      6.52      6.87
0.57/0.93	c  N dy    36      8382      2730     12179      1212      5534     88831     68809      6.47      6.90
0.57/0.93	c  N dy    63     12415      2730     12179      1274      5373     88827     59609      6.67      7.72
0.57/0.93	c  N dy    93     16512      2730     12179      1309      9287     88824    115469      6.84      7.75
0.57/0.93	c  N dy   123     20556      2730     12179      1429      7770     88823     85618      6.99      8.18
0.57/0.93	c  N dy   154     24592      2730     12179      1544     11632     88822    150126      7.21      7.63
0.57/0.93	c  F st   159     25000      2730     12179      1546     12033     88822    159184      7.27   no data
4.21/1.13	c  N dy   165     30001      2730     12179      1562     10438     88821    154006      7.27   no data
4.21/1.13	c  S st   165     30001      2730     12179      1562     10438     88821    154006      7.27   no data
4.61/1.23	c  S st   165     30503      2730     12179      1688     10889     88820    158962      7.27   no data
4.61/1.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.61/1.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   43 Bins:    904 BRemL:     18 BRemN:      0 P:  0.7M T:  0.02
4.61/1.23	c Replacing       43 vars Replaced    16920 lits Time:     0.01 s 
4.61/1.23	c blocked clauses removed:      390 vars:    243 tried:        2687 T: 0.00 s
4.61/1.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.61/1.23	c subs with bin:      135  lits-rem:       712  v-fix:    0  time:  0.00 s
4.61/1.23	c Subs w/ non-existent bins:      0 l-rem:      1 v-fix:     0 done:   2444 time:  0.00 s
4.61/1.23	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
4.61/1.23	c lits-rem:       702  cl-subs:      333  v-elim:     78  v-fix:    0  time:  0.02 s
5.01/1.33	c subs with bin:      973  lits-rem:      6194  v-fix:    0  time:  0.04 s
5.01/1.33	c lits-rem:      1414  cl-subs:      706  v-elim:      0  v-fix:    0  time:  0.05 s
5.95/1.53	c asymm  cl-useful: 107/11080/11080 lits-rem:117 time: 0.24
5.95/1.53	c calculated reachability. Time: 0.00
5.95/1.53	c  N dy   165     30503      2366     11080      2326      8627     79011    125043      7.27   no data
5.95/1.53	c Finding binary XORs  T:     0.00 s  found:       0
6.76/1.73	c  N dy   201     34582      2366     11080      2339     12589     79011    196029      7.53      9.35
7.54/1.95	c  N dy   234     38637      2366     11080      2479      9262     79011    102079      7.79      9.47
8.34/2.16	c  N dy   265     42737      2366     11080      2589     13237     79011    177941      7.96      8.50
9.55/2.41	c  S st   292     45754      2366     11080      2596     16180     79011    248722      8.13   no data
9.55/2.45	c  S st   292     46255      2366     11080      2596     16681     79011    256135      8.13   no data
9.55/2.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:     35 BRemL:      9 BRemN:      0 P:  0.9M T:  0.02
9.55/2.48	c Replacing        3 vars Replaced     2075 lits Time:     0.00 s 
9.55/2.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.48	c bin-w-bin subsume rem           88 bins  time:  0.00 s
9.55/2.49	c subs with bin:       30  lits-rem:        49  v-fix:    0  time:  0.00 s
9.55/2.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2363 time:  0.00 s
9.55/2.49	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
9.95/2.50	c lits-rem:       169  cl-subs:       58  v-elim:     63  v-fix:    0  time:  0.01 s
9.95/2.59	c subs with bin:      488  lits-rem:      1347  v-fix:    0  time:  0.08 s
10.74/2.75	c lits-rem:       873  cl-subs:      653  v-elim:      0  v-fix:    0  time:  0.11 s
10.74/2.75	c vivif2 --  cl tried    10968 cl shrink        0 lits rem          0 time: 0.00
10.74/2.75	c vivif2 --  cl tried    15534 cl shrink       75 lits rem         76 time: 0.00
12.34/3.11	c asymm  cl-useful: 25/10169/10968 lits-rem:26 time: 0.40
12.34/3.11	c calculated reachability. Time: 0.00
12.34/3.11	c  N dy   292     46255      2300     10968      2530     15534     77813    242259      8.13   no data
13.54/3.40	c  N dy   328     50338      2300     10968      2595     11103     77813    141251      8.36      9.03
13.54/3.42	c Finding binary XORs  T:     0.00 s  found:       0
14.74/3.71	c  N dy   364     54342      2300     10968      2604     15037     77813    238397      8.57     14.87
16.33/4.10	c  N dy   404     58440      2300     10968      2617     19079     77813    347502      8.78      9.37
17.54/4.43	c  N dy   440     62465      2300     10968      2632     13391     77813    182351      8.95     12.74
19.14/4.81	c  N dy   477     66472      2300     10968      2637     17347     77813    291652      9.11     10.77
20.35/5.13	c  S st   505     69384      2300     10968      2652     20213     77813    372164      9.25   no data
20.35/5.19	c  S st   505     69886      2300     10968      2652     20712     77813    381771      9.25   no data
20.35/5.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.73/5.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      1 BRemN:      0 P:  1.1M T:  0.03
20.73/5.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
20.73/5.22	c bin-w-bin subsume rem           11 bins  time:  0.00 s
20.73/5.23	c subs with bin:       10  lits-rem:         0  v-fix:    0  time:  0.00 s
20.73/5.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2300 time:  0.00 s
20.73/5.23	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
20.73/5.24	c lits-rem:        30  cl-subs:       23  v-elim:     13  v-fix:    0  time:  0.01 s
21.13/5.39	c subs with bin:      348  lits-rem:       946  v-fix:    0  time:  0.15 s
21.93/5.59	c lits-rem:       944  cl-subs:      473  v-elim:      0  v-fix:    0  time:  0.20 s
22.33/5.60	c vivif2 --  cl tried    10926 cl shrink        0 lits rem          0 time: 0.00
22.33/5.60	c vivif2 --  cl tried    19892 cl shrink      177 lits rem        178 time: 0.01
22.33/5.62	c asymm  cl-useful: 3/757/10926 lits-rem:10 time: 0.01
22.33/5.62	c calculated reachability. Time: 0.00
22.33/5.62	c  N dy   505     69886      2287     10924      2646     19892     77383    371493      9.25   no data
24.35/6.11	c  N dy   546     74915      2287     10924      2694     14114     77383    182038      9.40      9.93
25.93/6.59	c  N dy   585     79721      2287     10924      2714     18868     77383    316468      9.54     10.51
26.72/6.77	c Finding binary XORs  T:     0.00 s  found:       0
28.74/7.20	c  N dy   631     84861      2287     10924      2738     12161     77383    108231      9.68     12.78
29.51/7.44	c  F st   653     87500      2287     10924      2740     14779     77383    182679      9.76   no data
31.12/7.80	c  N st   658     90796      2287     10924      2741     18032     77383    277381      9.76   no data
33.92/8.51	c  N dy   694     96601      2287     10924      2759     23771     77383    444869      9.85     13.10
36.31/9.18	c  N dy   745    102847      2287     10924      2771     17128     77383    223881      9.98     10.55
37.53/9.41	c  S st   765    104829      2287     10924      2800     19090     77383    279109     10.03   no data
37.53/9.47	c  S st   765    105329      2287     10924      2802     19582     77383    287869     10.03   no data
37.53/9.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.53/9.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      2 BRemN:      0 P:  1.1M T:  0.03
37.53/9.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
37.53/9.50	c bin-w-bin subsume rem           15 bins  time:  0.00 s
37.53/9.50	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
37.53/9.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2287 time:  0.00 s
37.53/9.50	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
37.93/9.51	c lits-rem:        15  cl-subs:        4  v-elim:      3  v-fix:    0  time:  0.01 s
38.31/9.61	c subs with bin:      572  lits-rem:      1551  v-fix:    0  time:  0.10 s
38.71/9.71	c lits-rem:       365  cl-subs:      443  v-elim:      0  v-fix:    0  time:  0.09 s
38.71/9.71	c vivif2 --  cl tried    10915 cl shrink        0 lits rem          0 time: 0.00
38.71/9.71	c vivif2 --  cl tried    18570 cl shrink       88 lits rem         93 time: 0.00
40.30/10.12	c asymm  cl-useful: 38/8609/10915 lits-rem:39 time: 0.41
40.30/10.12	c calculated reachability. Time: 0.00
40.30/10.12	c  N dy   765    105329      2284     10915      2794     18570     77251    278229     10.03   no data
42.32/10.69	c Finding binary XORs  T:     0.00 s  found:       0
43.90/11.05	c  N dy   820    112254      2284     10915      2812     25425     77251    466212     10.14     10.68
47.50/11.93	c  N dy   878    119424      2284     10915      2821     18695     77251    247037     10.23     10.89
51.49/12.91	c  N dy   934    127126      2284     10915      2829     26315     77251    452689     10.32     16.92
56.28/14.12	c  N dy   977    137106      2284     10915      2846     21331     77251    306188     10.32     10.87
61.48/15.42	c  N dy  1038    145921      2284     10915      2855     30054     77251    546111     10.40     12.19
65.88/16.52	c Finding binary XORs  T:     0.00 s  found:       0
65.88/16.55	c  N dy  1096    155316      2284     10915      2870     23533     77251    337107     10.46     12.83
67.48/16.92	c  S st  1109    157993      2284     10915      2872     26172     77251    406741     10.46      9.30
67.88/17.00	c  S st  1109    158496      2284     10915      2872     26667     77251    417209     10.46   no data
67.88/17.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
67.88/17.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      1 BRemN:      0 P:  1.4M T:  0.03
67.88/17.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
67.88/17.04	c bin-w-bin subsume rem           16 bins  time:  0.00 s
67.88/17.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.88/17.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2284 time:  0.00 s
67.88/17.04	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
67.88/17.05	c lits-rem:        30  cl-subs:       12  v-elim:      4  v-fix:    0  time:  0.01 s
68.69/17.20	c subs with bin:      374  lits-rem:       732  v-fix:    0  time:  0.14 s
69.07/17.38	c lits-rem:       487  cl-subs:      651  v-elim:      0  v-fix:    0  time:  0.17 s
69.07/17.38	c vivif2 --  cl tried    10900 cl shrink        0 lits rem          0 time: 0.00
69.07/17.39	c vivif2 --  cl tried    25634 cl shrink      319 lits rem        352 time: 0.01
69.87/17.53	c asymm  cl-useful: 7/2291/10900 lits-rem:7 time: 0.14
69.87/17.53	c calculated reachability. Time: 0.00
69.87/17.53	c  N dy  1109    158496      2280     10900      2856     25634     77064    405600     10.46   no data
75.86/19.07	c  N dy  1176    168704      2280     10900      2870     18940     77064    199760     10.53     13.51
82.65/20.70	c  N dy  1251    180389      2280     10900      2876     30490     77064    510300     10.58     11.15
89.44/22.46	c  N dy  1323    192556      2280     10900      2883     24728     77064    340114     10.63     11.34
97.44/24.47	c  N dy  1397    205027      2280     10900      2895     37018     77064    672377     10.68     11.30
98.64/24.80	c Finding binary XORs  T:     0.00 s  found:       0
105.02/26.34	c  N dy  1471    218207      2280     10900      2901     31246     77064    491210     10.71     11.28
114.61/28.76	c  N dy  1502    232660      2280     10900      2903     25775     77064    340618     10.67     11.24
117.80/29.51	c  S st  1514    237747      2280     10900      2907     30777     77064    475309     10.67   no data
117.80/29.59	c  S st  1514    238247      2280     10900      2907     31270     77064    485120     10.67   no data
118.20/29.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
118.20/29.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.04
118.20/29.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
118.20/29.64	c bin-w-bin subsume rem            2 bins  time:  0.00 s
118.20/29.64	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
118.20/29.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2280 time:  0.00 s
118.20/29.64	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
118.20/29.66	c lits-rem:        47  cl-subs:        7  v-elim:      0  v-fix:    0  time:  0.01 s
119.00/29.83	c subs with bin:      324  lits-rem:       218  v-fix:    0  time:  0.16 s
119.80/30.06	c lits-rem:       553  cl-subs:     1166  v-elim:      0  v-fix:    0  time:  0.22 s
119.80/30.06	c vivif2 --  cl tried    10888 cl shrink        0 lits rem          0 time: 0.00
119.80/30.07	c vivif2 --  cl tried    29783 cl shrink      433 lits rem        473 time: 0.01
120.60/30.29	c asymm  cl-useful: 41/4445/10888 lits-rem:42 time: 0.22
120.60/30.29	c calculated reachability. Time: 0.00
120.60/30.29	c  N dy  1514    238247      2280     10888      2905     29783     76908    467393     10.67   no data
131.39/32.91	c  N dy  1583    254217      2280     10888      2912     24833     76908    295143     10.69     11.38
142.17/35.63	c  N dy  1661    270704      2280     10888      2919     41063     76908    719593     10.71     11.32
152.96/38.36	c  N dy  1716    288112      2280     10888      2925     36457     76908    561155     10.69     11.28
160.56/40.27	c Finding binary XORs  T:     0.00 s  found:       0
165.37/41.48	c  F st  1799    306252      2280     10888      2934     31727     76908    436591     10.69   no data
165.74/41.52	c  N st  1800    306503      2280     10888      2934     31973     76908    442716     10.69   no data
168.94/42.36	c Decided on static restart strategy
185.71/46.54	c  N st  1809    334554      2280     10888      2944     36983     76908    675892     10.69   no data
203.30/50.93	c  N st  1811    357370      2280     10888      2952     35350     76908    605082     10.69   no data
203.30/50.93	c  S st  1811    357370      2280     10888      2952     35350     76908    605082     10.69   no data
203.70/51.03	c  S st  1811    357871      2280     10888      2953     35850     76908    616359     10.69   no data
203.70/51.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
203.70/51.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  2.0M T:  0.05
203.70/51.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
203.70/51.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
203.70/51.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
203.70/51.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2280 time:  0.00 s
203.70/51.10	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
204.10/51.11	c lits-rem:        27  cl-subs:       12  v-elim:      3  v-fix:    0  time:  0.01 s
204.92/51.32	c subs with bin:      120  lits-rem:       275  v-fix:    0  time:  0.20 s
206.50/51.79	c lits-rem:       729  cl-subs:     1810  v-elim:      0  v-fix:    0  time:  0.47 s
206.90/51.80	c vivif2 --  cl tried    10872 cl shrink        0 lits rem          0 time: 0.00
206.90/51.81	c vivif2 --  cl tried    33924 cl shrink      748 lits rem        772 time: 0.01
207.70/52.04	c asymm  cl-useful: 0/1503/10872 lits-rem:0 time: 0.23
207.70/52.04	c calculated reachability. Time: 0.00
207.70/52.04	c  N st  1811    357871      2277     10872      2955     33924     76734    587128     10.69   no data
235.28/58.92	c  N st  1812    390266      2277     10872      2955     40582     76734    734755     10.69   no data
279.99/70.18	c  N st  1813    438854      2277     10872      2959     34278     76734    489352     10.69   no data
347.91/87.18	c  N st  1814    511736      2277     10872      2965     47917     76734    822757     10.69   no data
347.91/87.18	c Finding binary XORs  T:     0.00 s  found:       0
374.27/93.73	c  N st  1815    536806      2277     10872      2970     42292     76734    650091     10.69   no data
374.27/93.73	c  S st  1815    536806      2277     10872      2970     42292     76734    650091     10.69   no data
374.67/93.88	c  S st  1815    537307      2277     10872      2975     42791     76734    661111     10.69   no data
374.67/93.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
375.07/93.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      3 BRemN:      0 P:  2.3M T:  0.06
375.07/93.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
375.07/93.94	c bin-w-bin subsume rem            1 bins  time:  0.00 s
375.07/93.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
375.07/93.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2277 time:  0.00 s
375.07/93.95	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
375.07/93.96	c lits-rem:         0  cl-subs:        0  v-elim:      2  v-fix:    0  time:  0.01 s
375.89/94.17	c subs with bin:       63  lits-rem:       105  v-fix:    0  time:  0.19 s
378.26/94.78	c lits-rem:      1190  cl-subs:     2414  v-elim:      0  v-fix:    0  time:  0.61 s
378.26/94.78	c vivif2 --  cl tried    10872 cl shrink        0 lits rem          0 time: 0.00
378.66/94.80	c vivif2 --  cl tried    40314 cl shrink      996 lits rem       1070 time: 0.02
379.46/95.04	c asymm  cl-useful: 2/830/10872 lits-rem:2 time: 0.23
379.46/95.04	c calculated reachability. Time: 0.00
379.46/95.04	c  N st  1815    537307      2275     10872      2973     40314     76732    623604     10.69   no data
552.06/138.25	c  N st  1816    701292      2275     10872      2974     69583     76731   1318719     10.69   no data
678.28/169.85	c  N st  1817    805962      2275     10872      2980     63454     76731   1134833     10.69   no data
678.28/169.85	c  S st  1817    805962      2275     10872      2980     63454     76731   1134833     10.69   no data
679.10/170.06	c  S st  1817    806465      2275     10872      2983     63953     76731   1146355     10.69   no data
679.10/170.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
679.50/170.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  3.3M T:  0.10
679.50/170.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
679.50/170.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
679.50/170.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
679.50/170.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2275 time:  0.00 s
679.50/170.17	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
679.50/170.19	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.02 s
681.47/170.63	c subs with bin:       62  lits-rem:        80  v-fix:    0  time:  0.40 s
690.27/172.82	c lits-rem:      4099  cl-subs:     4873  v-elim:      0  v-fix:    0  time:  2.19 s
690.27/172.82	c vivif2 --  cl tried    10871 cl shrink        0 lits rem          0 time: 0.00
690.27/172.85	c vivif2 --  cl tried    59018 cl shrink      412 lits rem        439 time: 0.02
691.47/173.13	c asymm  cl-useful: 2/665/10871 lits-rem:2 time: 0.28
691.47/173.13	c calculated reachability. Time: 0.00
691.47/173.13	c  N st  1817    806465      2275     10871      2984     59018     76723   1058184     10.69   no data
1015.83/254.34	c  F st  1818   1071876      2275     10871      2986     75605     76723   1358097     10.69   no data
1015.83/254.35	c  N st  1818   1071876      2275     10871      2986     75605     76723   1358097     10.69   no data
1023.03/256.12	c Decided on static restart strategy
1054.58/264.04	c  N st  1828   1100181      2275     10871      2996     59257     76723    943836     10.69   no data
1102.92/276.18	c  N st  1830   1136175      2275     10871      3000     49484     76723    627651     10.69   no data
1140.49/285.58	c  N st  1831   1168567      2275     10871      3004     81078     76723   1486598     10.69   no data
1140.49/285.58	c Finding binary XORs  T:     0.00 s  found:       0
1192.80/298.69	c  N st  1832   1209698      2275     10871      3006     75223     76723   1329115     10.69   no data
1192.80/298.69	c  S st  1832   1209698      2275     10871      3006     75223     76723   1329115     10.69   no data
1193.99/298.94	c  S st  1832   1210200      2275     10871      3007     75722     76723   1341107     10.69   no data
1193.99/298.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1194.39/299.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.9M T:  0.13
1194.39/299.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1194.39/299.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1194.39/299.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1194.39/299.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2275 time:  0.00 s
1194.39/299.08	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1194.79/299.11	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.03 s
1196.79/299.65	c subs with bin:       97  lits-rem:       490  v-fix:    0  time:  0.50 s
1207.98/302.41	c lits-rem:      5092  cl-subs:     5131  v-elim:      0  v-fix:    0  time:  2.76 s
1207.98/302.41	c vivif2 --  cl tried    10868 cl shrink        0 lits rem          0 time: 0.00
1207.98/302.44	c vivif2 --  cl tried    70496 cl shrink      343 lits rem        355 time: 0.03
1209.18/302.74	c asymm  cl-useful: 0/527/10868 lits-rem:0 time: 0.30
1209.18/302.74	c calculated reachability. Time: 0.00
1209.18/302.74	c  N st  1832   1210200      2275     10868      3007     70496     76696   1254087     10.69   no data
1316.24/329.55	c  N st  1833   1283082      2275     10868      3007     95186     76695   1949361     10.69   no data
1487.61/372.43	c  N st  1834   1392406      2275     10868      3007     55374     76695    726369     10.69   no data
1778.40/445.25	c  N st  1835   1556394      2275     10868      3011     60366     76695    804822     10.69   no data
2058.44/515.31	c  N st  1836   1710201      2275     10868      3019    101622     76695   1832327     10.69   no data
2058.44/515.31	c  S st  1836   1710201      2275     10868      3019    101622     76695   1832327     10.69   no data
2059.63/515.65	c  S st  1836   1710706      2275     10868      3019    102120     76695   1844805     10.69   no data
2059.63/515.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2060.43/515.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.8M T:  0.18
2060.43/515.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2060.43/515.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2060.43/515.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2060.43/515.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2275 time:  0.00 s
2060.43/515.84	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2060.43/515.88	c lits-rem:         0  cl-subs:        1  v-elim:      3  v-fix:    0  time:  0.03 s
2063.65/516.67	c subs with bin:       53  lits-rem:       720  v-fix:    0  time:  0.74 s
2111.98/528.73	c lits-rem:      7982  cl-subs:    28445  v-elim:      0  v-fix:    0  time: 12.06 s
2111.98/528.73	c vivif2 --  cl tried    10823 cl shrink        0 lits rem          0 time: 0.00
2111.98/528.76	c vivif2 --  cl tried    73662 cl shrink      236 lits rem        240 time: 0.03
2113.55/529.14	c asymm  cl-useful: 1/455/10823 lits-rem:2 time: 0.38
2113.55/529.14	c calculated reachability. Time: 0.00
2113.55/529.14	c  N st  1836   1710706      2272     10823      3019     73662     76276   1221654     10.69   no data
2428.35/607.91	c Finding binary XORs  T:     0.00 s  found:       1
2776.27/695.09	c  N st  1837   2079671      2271     10711      3031     84516     75535   1353802     10.69   no data
3036.32/760.14	c  N st  1838   2210708      2271     10711      3038     89499     75535   1388812     10.69   no data
3036.32/760.14	c  S st  1838   2210708      2271     10711      3038     89499     75535   1388812     10.69   no data
3037.52/760.45	c  S st  1838   2211208      2271     10711      3050     89996     75535   1400097     10.69   no data
3037.52/760.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3038.32/760.62	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     11 BRemL:      8 BRemN:      0 P:  4.6M T:  0.16
3038.32/760.65	c Replacing        1 vars Replaced       85 lits Time:     0.03 s 
3038.32/760.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3038.32/760.66	c bin-w-bin subsume rem            2 bins  time:  0.00 s
3038.32/760.66	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.00 s
3038.32/760.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2269 time:  0.00 s
3038.32/760.66	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3038.32/760.69	c lits-rem:        86  cl-subs:       35  v-elim:     10  v-fix:    0  time:  0.03 s
3042.32/761.67	c subs with bin:     2142  lits-rem:      7445  v-fix:    0  time:  0.94 s
3056.72/765.21	c lits-rem:      8555  cl-subs:     8337  v-elim:      0  v-fix:    0  time:  3.54 s
3056.72/765.22	c vivif2 --  cl tried    10671 cl shrink        0 lits rem          0 time: 0.00
3056.72/765.25	c vivif2 --  cl tried    76932 cl shrink     1242 lits rem       1614 time: 0.03
3057.89/765.57	c asymm  cl-useful: 1/419/10671 lits-rem:1 time: 0.33
3057.89/765.58	c calculated reachability. Time: 0.00
3057.89/765.58	c  N st  1838   2211208      2259     10671      3020     76932     75039   1176780     10.69   no data
3057.89/765.58	c Finding binary XORs  T:     0.00 s  found:       0
4124.87/1032.62	c  N st  1839   2711208      2259     10671      3037    104433     75039   1771076     10.69   no data
4124.87/1032.62	c  S st  1839   2711208      2259     10671      3037    104433     75039   1771076     10.69   no data
4126.47/1033.01	c  S st  1839   2711708      2257     10671      3043    104930     75039   1781909     10.69   no data
4126.47/1033.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4127.27/1033.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     20 BRemL:      6 BRemN:      0 P:  5.6M T:  0.20
4127.27/1033.27	c Replacing        1 vars Replaced     3906 lits Time:     0.05 s 
4127.27/1033.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4127.27/1033.28	c bin-w-bin subsume rem           10 bins  time:  0.00 s
4127.27/1033.28	c subs with bin:        7  lits-rem:       129  v-fix:    0  time:  0.00 s
4127.27/1033.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2256 time:  0.00 s
4127.27/1033.28	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
4127.66/1033.32	c lits-rem:        98  cl-subs:       28  v-elim:      4  v-fix:    0  time:  0.04 s
4132.87/1034.66	c subs with bin:     1736  lits-rem:     21347  v-fix:    0  time:  1.29 s
4153.62/1039.80	c lits-rem:      8780  cl-subs:     6028  v-elim:      0  v-fix:    0  time:  5.14 s
4153.62/1039.80	c vivif2 --  cl tried    10340 cl shrink        0 lits rem          0 time: 0.00
4153.62/1039.84	c vivif2 --  cl tried    94029 cl shrink     1270 lits rem       1378 time: 0.04
4154.84/1040.19	c asymm  cl-useful: 5/561/10340 lits-rem:5 time: 0.35
4154.84/1040.20	c calculated reachability. Time: 0.00
4154.84/1040.20	c  N st  1839   2711708      2252     10340      3040     94029     72592   1581573     10.69   no data
4154.84/1040.20	c Finding binary XORs  T:     0.00 s  found:       0
4791.16/1199.44	c Following stats are for *FIRST FINISHED THREAD ONLY*
4791.16/1199.44	c num threads              : 4          
4791.16/1199.44	c restarts                 : 1859       
4791.16/1199.44	c dynamic restarts         : 1800       
4791.16/1199.44	c static restarts          : 59         
4791.16/1199.44	c full restarts            : 4          
4791.16/1199.44	c total simplify time      : 0.49       
4791.16/1199.44	c learnts DL2              : 0          
4791.16/1199.44	c learnts size 2           : 5457       
4791.16/1199.44	c learnts size 1           : 291         (9.80      % of vars)
4791.16/1199.44	c filedLit time            : 1.07        (0.09      % time)
4791.16/1199.44	c v-elim SatELite          : 596         (20.07     % vars)
4791.16/1199.44	c SatELite time            : 36.17       (3.03      % time)
4791.16/1199.44	c v-elim xor               : 0           (0.00      % vars)
4791.16/1199.44	c xor elim time            : 0.05        (0.00      % time)
4791.16/1199.44	c num binary xor trees     : 58         
4791.16/1199.44	c binxor trees' crown      : 60          (1.03      leafs/tree)
4791.16/1199.44	c bin xor find time        : 0.01       
4791.16/1199.44	c OTF clause improved      : 67409       (0.02      clauses/conflict)
4791.16/1199.44	c OTF impr. size diff      : 88476       (1.31       lits/clause)
4791.16/1199.44	c OTF cl watch-shrink      : 2431722     (0.81      clauses/conflict)
4791.16/1199.44	c OTF cl watch-sh-lit      : 12482045    (5.13       lits/clause)
4791.16/1199.44	c tried to recurMin cls    : 568833      (19.06      % of conflicts)
4791.16/1199.44	c updated cache            : 14677       (0.03       lits/tried recurMin)
4791.16/1199.44	c unit cls recevied        : 8           (2.75      % of units)
4791.16/1199.44	c unit cls sent            : 23          (7.90      % of units)
4791.16/1199.44	c bin cls recevied         : 1100       
4791.16/1199.44	c bin cls sent             : 732        
4791.16/1199.44	c clauses over max glue    : 0           (0.00      % of all clauses)
4791.16/1199.44	c conflicts                : 2985021     (2502.64   / sec)
4791.16/1199.44	c decisions                : 6854893     (1.28      % random)
4791.16/1199.44	c bogo-props               : 144657625621 (121280690.74 / sec)
4791.16/1199.44	c conflict literals        : 80625946    (49.95     % deleted)
4791.16/1199.44	c Memory used              : 585.86      MB
4791.16/1199.44	c single-thread CPU time   : 1192.75     s
4791.16/1199.44	c all-threads sum CPU time : 4789.12     s
4791.16/1199.44	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-3265719-1304129546/watcher-3265719-1304129546 -o /tmp/evaluation-result-3265719-1304129546/solver-3265719-1304129546 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3265719-1304129546.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.78 8.05 8.04 1/173 16518
/proc/meminfo: memFree=31224372/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 524553236 52441088 347 33554432000 4194304 4627427 140735148775824 18446744073709551615 47995332429740 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 12803 347 299 106 0 7774 0
[pid=16518/tid=16519] ppid=16516 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524553237 52441088 347 33554432000 4194304 4627427 140735148775824 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524553237 52441088 347 33554432000 4194304 4627427 140735148775824 18446744073709551615 47995332429746 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524553237 52441088 347 33554432000 4194304 4627427 140735148775824 18446744073709551615 47995332429746 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0150601 s]
/proc/loadavg: 7.78 8.05 8.04 1/173 16518
/proc/meminfo: memFree=31224372/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=283732 CPUtime=0.02 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 2708 0 0 0 2 0 0 0 18 0 4 0 524553236 290541568 2516 33554432000 4194304 4627427 140735148775824 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 70974 2608 340 106 0 65945 0
[pid=16518/tid=16519] ppid=16516 vsize=283896 CPUtime=0 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) S 16516 16518 15609 0 -1 4202560 556 0 0 0 0 0 0 0 18 0 4 0 524553237 290709504 2658 33554432000 4194304 4627427 140735148775824 18446744073709551615 242970655214 0 0 4096 2 18446604467085316160 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=283896 CPUtime=0 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) S 16516 16518 15609 0 -1 4202560 569 0 0 0 0 0 0 0 18 0 4 0 524553237 290709504 2682 33554432000 4194304 4627427 140735148775824 18446744073709551615 242970655214 0 0 4096 2 18446604467085316160 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=283896 CPUtime=0.01 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 675 0 0 0 1 0 0 0 18 0 4 0 524553237 290709504 2724 33554432000 4194304 4627427 140735148775824 18446744073709551615 4530525 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 283732

[startup+0.151592 s]
/proc/loadavg: 7.78 8.05 8.04 1/173 16518
/proc/meminfo: memFree=31224372/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=286696 CPUtime=0.57 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) D 16516 16518 15609 0 -1 4202496 5142 0 0 0 55 2 0 0 18 0 4 0 524553236 293576704 4632 33554432000 4194304 4627427 140735148775824 18446744073709551615 242970211361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 71674 4634 371 106 0 66645 0
[pid=16518/tid=16519] ppid=16516 vsize=286696 CPUtime=0.13 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 971 0 0 0 13 0 0 0 18 0 4 0 524553237 293576704 4637 33554432000 4194304 4627427 140735148775824 18446744073709551615 242970593463 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=286696 CPUtime=0.13 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 948 0 0 0 13 0 0 0 18 0 4 0 524553237 293576704 4654 33554432000 4194304 4627427 140735148775824 18446744073709551615 242970211013 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=286696 CPUtime=0.14 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) S 16516 16518 15609 0 -1 4202560 1387 0 0 0 14 0 0 0 18 0 4 0 524553237 293576704 4662 33554432000 4194304 4627427 140735148775824 18446744073709551615 242970655214 0 0 4096 2 18446604467085316160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 286696

[startup+1.06653 s]
/proc/loadavg: 7.78 8.05 8.04 1/173 16518
/proc/meminfo: memFree=31224372/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=284908 CPUtime=4.21 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 13064 0 0 0 417 4 0 0 19 0 4 0 524553236 291745792 8931 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 71227 8931 386 106 0 66198 0
[pid=16518/tid=16519] ppid=16516 vsize=284908 CPUtime=1.04 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 3109 0 0 0 103 1 0 0 19 0 4 0 524553237 291745792 8931 33554432000 4194304 4627427 140735148775824 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=284908 CPUtime=1.05 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 3236 0 0 0 104 1 0 0 19 0 4 0 524553237 291745792 8931 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=284908 CPUtime=1.04 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 2987 0 0 0 104 0 0 0 19 0 4 0 524553237 291745792 8931 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 284908

[startup+1.16651 s]
/proc/loadavg: 7.78 8.05 8.04 1/173 16518
/proc/meminfo: memFree=31224372/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=284908 CPUtime=4.61 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 13242 0 0 0 457 4 0 0 19 0 4 0 524553236 291745792 9109 33554432000 4194304 4627427 140735148775824 18446744073709551615 4415761 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 71227 9109 390 106 0 66198 0
[pid=16518/tid=16519] ppid=16516 vsize=284908 CPUtime=1.14 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 3158 0 0 0 113 1 0 0 19 0 4 0 524553237 291745792 9109 33554432000 4194304 4627427 140735148775824 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=284908 CPUtime=1.15 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 3283 0 0 0 114 1 0 0 19 0 4 0 524553237 291745792 9109 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=284908 CPUtime=1.14 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 3039 0 0 0 114 0 0 0 19 0 4 0 524553237 291745792 9109 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 284908

[startup+1.50046 s]
/proc/loadavg: 7.78 8.05 8.04 1/173 16518
/proc/meminfo: memFree=31224372/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=284872 CPUtime=5.95 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 14997 0 0 0 590 5 0 0 20 0 4 0 524553236 291708928 10366 33554432000 4194304 4627427 140735148775824 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 71218 10366 390 106 0 66189 0
[pid=16518/tid=16519] ppid=16516 vsize=284872 CPUtime=1.47 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 3497 0 0 0 146 1 0 0 19 0 4 0 524553237 291708928 10366 33554432000 4194304 4627427 140735148775824 18446744073709551615 4333184 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=284872 CPUtime=1.48 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 3627 0 0 0 147 1 0 0 20 0 4 0 524553237 291708928 10366 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=284872 CPUtime=1.48 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 3458 0 0 0 147 1 0 0 19 0 4 0 524553237 291708928 10366 33554432000 4194304 4627427 140735148775824 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 284872

[startup+3.10118 s]
/proc/loadavg: 7.78 8.05 8.04 8/182 16553
/proc/meminfo: memFree=31152780/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=275748 CPUtime=12.34 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 20791 0 0 0 1228 6 0 0 25 0 4 0 524553236 282365952 14767 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 68937 14767 418 106 0 63908 0
[pid=16518/tid=16519] ppid=16516 vsize=275748 CPUtime=3.06 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 4624 0 0 0 305 1 0 0 25 0 4 0 524553237 282365952 14767 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=275748 CPUtime=3.08 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 5388 0 0 0 307 1 0 0 25 0 4 0 524553237 282365952 14767 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=275748 CPUtime=3.08 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 5169 0 0 0 307 1 0 0 25 0 4 0 524553237 282365952 14767 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 275748

[startup+6.30063 s]
/proc/loadavg: 7.88 8.06 8.05 11/182 16553
/proc/meminfo: memFree=31110448/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=294516 CPUtime=25.13 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 27359 0 0 0 2505 8 0 0 25 0 4 0 524553236 301584384 19033 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 73629 19033 390 106 0 68600 0
[pid=16518/tid=16519] ppid=16516 vsize=294516 CPUtime=6.25 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 6944 0 0 0 623 2 0 0 25 0 4 0 524553237 301584384 19033 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=294516 CPUtime=6.28 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 6475 0 0 0 626 2 0 0 25 0 4 0 524553237 301584384 19033 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=294516 CPUtime=6.29 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 6499 0 0 0 627 2 0 0 25 0 4 0 524553237 301584384 19033 33554432000 4194304 4627427 140735148775824 18446744073709551615 4325228 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 294516

[startup+12.7005 s]
/proc/loadavg: 7.89 8.06 8.05 9/182 16553
/proc/meminfo: memFree=31070268/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=314384 CPUtime=50.71 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 36863 0 0 0 5061 10 0 0 25 0 4 0 524553236 321929216 23352 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 78596 23352 390 106 0 73567 0
[pid=16518/tid=16519] ppid=16516 vsize=314384 CPUtime=12.62 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 8813 0 0 0 1260 2 0 0 25 0 4 0 524553237 321929216 23352 33554432000 4194304 4627427 140735148775824 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=314384 CPUtime=12.68 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 9553 0 0 0 1266 2 0 0 25 0 4 0 524553237 321929216 23352 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=314384 CPUtime=12.69 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 8790 0 0 0 1267 2 0 0 25 0 4 0 524553237 321929216 23352 33554432000 4194304 4627427 140735148775824 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 314384

[startup+25.5003 s]
/proc/loadavg: 7.91 8.06 8.04 9/182 16553
/proc/meminfo: memFree=31038360/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=314896 CPUtime=101.83 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 52285 0 0 0 10170 13 0 0 25 0 4 0 524553236 322453504 27453 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309525 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 78724 27453 390 106 0 73695 0
[pid=16518/tid=16519] ppid=16516 vsize=314896 CPUtime=25.35 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 12916 0 0 0 2532 3 0 0 25 0 4 0 524553237 322453504 27453 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=314896 CPUtime=25.47 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 14185 0 0 0 2544 3 0 0 25 0 4 0 524553237 322453504 27453 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=314896 CPUtime=25.48 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 11320 0 0 0 2546 2 0 0 25 0 4 0 524553237 322453504 27453 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 314896

[startup+51.1009 s]
/proc/loadavg: 8.00 8.07 8.05 9/182 16554
/proc/meminfo: memFree=31009008/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=326460 CPUtime=204.1 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 75194 0 0 0 20389 21 0 0 25 0 4 0 524553236 334295040 30094 33554432000 4194304 4627427 140735148775824 18446744073709551615 4442874 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 81615 30094 390 106 0 76586 0
[pid=16518/tid=16519] ppid=16516 vsize=326460 CPUtime=50.83 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 20229 0 0 0 5078 5 0 0 25 0 4 0 524553237 334295040 30094 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=326460 CPUtime=51.07 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 19757 0 0 0 5102 5 0 0 25 0 4 0 524553237 334295040 30094 33554432000 4194304 4627427 140735148775824 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=326460 CPUtime=51.08 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 14642 0 0 0 5105 3 0 0 25 0 4 0 524553237 334295040 30094 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 326460

[startup+102.301 s]
/proc/loadavg: 8.07 8.07 8.05 9/182 16555
/proc/meminfo: memFree=30951692/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=341516 CPUtime=408.63 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 118635 0 0 0 40828 35 0 0 25 0 4 0 524553236 349712384 38482 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 85379 38482 390 106 0 80350 0
[pid=16518/tid=16519] ppid=16516 vsize=341516 CPUtime=101.79 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 31817 0 0 0 10168 11 0 0 25 0 4 0 524553237 349712384 38482 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=341516 CPUtime=102.26 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 29908 0 0 0 10218 8 0 0 25 0 4 0 524553237 349712384 38482 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=341516 CPUtime=102.26 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 24434 0 0 0 10220 6 0 0 25 0 4 0 524553237 349712384 38482 33554432000 4194304 4627427 140735148775824 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 341516

[startup+162.301 s]

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

/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 115226 0 0 0 88162 42 0 0 25 0 4 0 524553237 586018816 93768 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.46
Current children cumulated vsize (KiB) 572284

[startup+942.306 s]
/proc/loadavg: 8.12 8.10 8.07 10/182 16578
/proc/meminfo: memFree=30471336/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=572312 CPUtime=3764.18 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 497915 0 0 0 376230 188 0 0 25 0 4 0 524553236 586047488 92110 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 143078 92110 391 106 0 138049 0
[pid=16518/tid=16519] ppid=16516 vsize=572312 CPUtime=937.55 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 129263 0 0 0 93702 53 0 0 25 0 4 0 524553237 586047488 92110 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=572312 CPUtime=942.25 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 130238 0 0 0 94179 46 0 0 25 0 4 0 524553237 586047488 92110 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=572312 CPUtime=942.03 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 116841 0 0 0 94160 43 0 0 25 0 4 0 524553237 586047488 92110 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309200 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.18
Current children cumulated vsize (KiB) 572312

[startup+1002.3 s]
/proc/loadavg: 8.11 8.09 8.07 10/182 16579
/proc/meminfo: memFree=30451596/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=586324 CPUtime=4003.83 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 514326 0 0 0 400187 196 0 0 25 0 4 0 524553236 600395776 92875 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 146581 92875 391 106 0 141552 0
[pid=16518/tid=16519] ppid=16516 vsize=586324 CPUtime=997.24 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 131603 0 0 0 99669 55 0 0 25 0 4 0 524553237 600395776 92875 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=586324 CPUtime=1002.25 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 134657 0 0 0 100176 49 0 0 25 0 4 0 524553237 600395776 92875 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=586324 CPUtime=1002.01 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 122366 0 0 0 100157 44 0 0 25 0 4 0 524553237 600395776 92875 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.83
Current children cumulated vsize (KiB) 586324

[startup+1062.3 s]
/proc/loadavg: 8.04 8.07 8.06 9/182 16581
/proc/meminfo: memFree=30422540/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=628208 CPUtime=4243.49 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 531867 0 0 0 424146 203 0 0 25 0 4 0 524553236 643284992 100600 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 157052 100600 391 106 0 152023 0
[pid=16518/tid=16519] ppid=16516 vsize=628208 CPUtime=1056.92 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 135208 0 0 0 105635 57 0 0 25 0 4 0 524553237 643284992 100600 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=628208 CPUtime=1062.25 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 140366 0 0 0 106173 52 0 0 25 0 4 0 524553237 643284992 100600 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=628208 CPUtime=1061.99 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 126551 0 0 0 106153 46 0 0 25 0 4 0 524553237 643284992 100600 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.49
Current children cumulated vsize (KiB) 628208

[startup+1122.3 s]
/proc/loadavg: 8.08 8.07 8.06 9/182 16582
/proc/meminfo: memFree=30426844/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=558908 CPUtime=4483.16 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 547363 0 0 0 448105 211 0 0 25 0 4 0 524553236 572321792 93072 33554432000 4194304 4627427 140735148775824 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 139727 93072 390 106 0 134698 0
[pid=16518/tid=16519] ppid=16516 vsize=558908 CPUtime=1116.61 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 140331 0 0 0 111602 59 0 0 25 0 4 0 524553237 572321792 93072 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=558908 CPUtime=1122.25 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 144456 0 0 0 112170 55 0 0 25 0 4 0 524553237 572321792 93072 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=558908 CPUtime=1121.98 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 127928 0 0 0 112151 47 0 0 25 0 4 0 524553237 572321792 93072 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.16
Current children cumulated vsize (KiB) 558908

[startup+1182.3 s]
/proc/loadavg: 8.03 8.06 8.06 10/182 16584
/proc/meminfo: memFree=30376348/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=599916 CPUtime=4722.84 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 565461 0 0 0 472065 219 0 0 25 0 4 0 524553236 614313984 104463 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 149979 104463 390 106 0 144950 0
[pid=16518/tid=16519] ppid=16516 vsize=599916 CPUtime=1176.3 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 144448 0 0 0 117569 61 0 0 25 0 4 0 524553237 614313984 104463 33554432000 4194304 4627427 140735148775824 18446744073709551615 4310574 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=599916 CPUtime=1182.25 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 149932 0 0 0 118169 56 0 0 25 0 4 0 524553237 614313984 104463 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=599916 CPUtime=1181.96 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 132636 0 0 0 118147 49 0 0 25 0 4 0 524553237 614313984 104463 33554432000 4194304 4627427 140735148775824 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.84
Current children cumulated vsize (KiB) 599916

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

[startup+1191 s]
/proc/loadavg: 8.02 8.05 8.05 9/182 16584
/proc/meminfo: memFree=30377212/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=599916 CPUtime=4757.61 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 567069 0 0 0 475540 221 0 0 25 0 4 0 524553236 614313984 106071 33554432000 4194304 4627427 140735148775824 18446744073709551615 4333536 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 149979 106071 390 106 0 144950 0
[pid=16518/tid=16519] ppid=16516 vsize=599916 CPUtime=1184.96 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 144787 0 0 0 118435 61 0 0 25 0 4 0 524553237 614313984 106071 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=599916 CPUtime=1190.95 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 150376 0 0 0 119038 57 0 0 25 0 4 0 524553237 614313984 106071 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=599916 CPUtime=1190.66 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 133088 0 0 0 119017 49 0 0 25 0 4 0 524553237 614313984 106071 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4757.61
Current children cumulated vsize (KiB) 599916

[startup+1194.21 s]
/proc/loadavg: 8.02 8.05 8.05 9/182 16584
/proc/meminfo: memFree=30374112/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=599916 CPUtime=4770.41 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 567660 0 0 0 476820 221 0 0 25 0 4 0 524553236 614313984 106662 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 149979 106662 390 106 0 144950 0
[pid=16518/tid=16519] ppid=16516 vsize=599916 CPUtime=1188.15 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 144897 0 0 0 118754 61 0 0 25 0 4 0 524553237 614313984 106662 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=599916 CPUtime=1194.16 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 150532 0 0 0 119359 57 0 0 25 0 4 0 524553237 614313984 106662 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=599916 CPUtime=1193.86 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 133260 0 0 0 119337 49 0 0 25 0 4 0 524553237 614313984 106662 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4770.41
Current children cumulated vsize (KiB) 599916

[startup+1197.4 s]
/proc/loadavg: 8.02 8.05 8.05 9/182 16584
/proc/meminfo: memFree=30370888/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=599916 CPUtime=4783.19 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 568267 0 0 0 478098 221 0 0 25 0 4 0 524553236 614313984 107269 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 149979 107269 390 106 0 144950 0
[pid=16518/tid=16519] ppid=16516 vsize=599916 CPUtime=1191.33 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 145047 0 0 0 119072 61 0 0 25 0 4 0 524553237 614313984 107269 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=599916 CPUtime=1197.36 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 150658 0 0 0 119679 57 0 0 25 0 4 0 524553237 614313984 107269 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=599916 CPUtime=1197.06 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 133444 0 0 0 119657 49 0 0 25 0 4 0 524553237 614313984 107269 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309192 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4783.19
Current children cumulated vsize (KiB) 599916

[startup+1198.2 s]
/proc/loadavg: 8.02 8.05 8.05 9/182 16584
/proc/meminfo: memFree=30370888/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=599916 CPUtime=4786.37 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 568398 0 0 0 478416 221 0 0 25 0 4 0 524553236 614313984 107400 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 149979 107400 390 106 0 144950 0
[pid=16518/tid=16519] ppid=16516 vsize=599916 CPUtime=1192.12 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 145070 0 0 0 119151 61 0 0 25 0 4 0 524553237 614313984 107400 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=599916 CPUtime=1198.15 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 150693 0 0 0 119758 57 0 0 25 0 4 0 524553237 614313984 107400 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=599916 CPUtime=1197.86 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 133480 0 0 0 119737 49 0 0 25 0 4 0 524553237 614313984 107400 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4786.37
Current children cumulated vsize (KiB) 599916

[startup+1199 s]
/proc/loadavg: 8.02 8.05 8.05 10/182 16584
/proc/meminfo: memFree=30369772/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=599916 CPUtime=4789.56 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 568533 0 0 0 478735 221 0 0 25 0 4 0 524553236 614313984 107535 33554432000 4194304 4627427 140735148775824 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 149979 107535 390 106 0 144950 0
[pid=16518/tid=16519] ppid=16516 vsize=599916 CPUtime=1192.93 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 145091 0 0 0 119231 62 0 0 25 0 4 0 524553237 614313984 107535 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=599916 CPUtime=1198.95 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 150728 0 0 0 119838 57 0 0 25 0 4 0 524553237 614313984 107535 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=599916 CPUtime=1198.65 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 133517 0 0 0 119816 49 0 0 25 0 4 0 524553237 614313984 107535 33554432000 4194304 4627427 140735148775824 18446744073709551615 4305844 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4789.56
Current children cumulated vsize (KiB) 599916

[startup+1199.4 s]
/proc/loadavg: 8.02 8.05 8.05 10/182 16584
/proc/meminfo: memFree=30369772/32951132 swapFree=67111364/67111528
[pid=16518] ppid=16516 vsize=599916 CPUtime=4791.16 cores=1,3,5,7
/proc/16518/stat : 16518 (strangenight2-m) R 16516 16518 15609 0 -1 4202496 568601 0 0 0 478895 221 0 0 25 0 4 0 524553236 614313984 107603 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16518/statm: 149979 107603 390 106 0 144950 0
[pid=16518/tid=16519] ppid=16516 vsize=599916 CPUtime=1193.33 cores=1,3,5,7
/proc/16518/task/16519/stat : 16519 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 145100 0 0 0 119271 62 0 0 25 0 4 0 524553237 614313984 107603 33554432000 4194304 4627427 140735148775824 18446744073709551615 4324120 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16518/tid=16520] ppid=16516 vsize=599916 CPUtime=1199.35 cores=1,3,5,7
/proc/16518/task/16520/stat : 16520 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 150745 0 0 0 119878 57 0 0 25 0 4 0 524553237 614313984 107603 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16518/tid=16521] ppid=16516 vsize=599916 CPUtime=1199.05 cores=1,3,5,7
/proc/16518/task/16521/stat : 16521 (strangenight2-m) R 16516 16518 15609 0 -1 4202560 133538 0 0 0 119856 49 0 0 25 0 4 0 524553237 614313984 107603 33554432000 4194304 4627427 140735148775824 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4791.16
Current children cumulated vsize (KiB) 599916

Child status: 20
Real time (s): 1199.46
CPU time (s): 4791.35
CPU user time (s): 4789.12
CPU system time (s): 2.23266
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 642868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.12
system time used= 2.23266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 568610
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= 1808
involuntary context switches= 32289

runsolver used 1.75073 second user time and 4.31434 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-30 04:12:26
IDJOB=3265719
IDBENCH=85802
IDSOLVER=1586
FILE ID=node128/3265719-1304129546
RUNJOBID= node128-1304128340-15954
PBS_JOBID= 13170761
Free space on /tmp= 67504 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn006.shuffled-as.sat05-3846.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265719-1304129546/watcher-3265719-1304129546 -o /tmp/evaluation-result-3265719-1304129546/solver-3265719-1304129546 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3265719-1304129546.cnf

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

MD5SUM BENCH= f38a91a0947f21d9ceeb8762ba4c5f93
RANDOM SEED=1994803329

node128.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.852
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.70
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.852
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.852
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.852
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.852
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.852
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.852
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31224652 kB
Buffers:        431368 kB
Cached:         814484 kB
SwapCached:          0 kB
Active:         174056 kB
Inactive:      1138148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31224652 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            6252 kB
Writeback:           0 kB
AnonPages:       66456 kB
Mapped:          15408 kB
Slab:           352124 kB
PageTables:       4516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   222024 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 67520 MiB
End job on node128 at 2011-04-30 04:32:25