Trace number 3281100

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 1654.75 422.311

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
MD5SUM8a76c8add64173ae39149aae572a02d9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark185.162
Satisfiable
(Un)Satisfiability was proved
Number of variables37432
Number of clauses147345
Sum of the clauses size401667
Maximum clause length37
Minimum clause length1
Number of clauses of size 1603
Number of clauses of size 269621
Number of clauses of size 371450
Number of clauses of size 4266
Number of clauses of size 5505
Number of clauses of size over 54900

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-3281100-1304028694.cnf'
0.00/0.01	c -- header says num vars:          37432
0.00/0.01	c -- header says num clauses:      147345
0.28/0.88	c -- clauses added:            0 learnts,       147345 normals,            0 xors
0.28/0.88	c -- vars added      37432
0.28/0.88	c Parsing time:  0.05 s
0.28/0.88	c  N st     0         0     37432     77121     69621         0    401064         0   no data   no data
0.28/0.88	c asymm  cl-useful: 55/3644/76971 lits-rem:108 time: 0.76
16.56/4.28	c Flit:    79 Blit:      3 bXBeca:    0 bXProp: 7905 Bins:      0 BRemL:      0 BRemN:      0 P: 72.9M T:  3.20
16.96/4.31	c Replacing     7905 vars Replaced   205687 lits Time:     0.02 s 
16.96/4.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.96/4.34	c bin-w-bin subsume rem            6 bins  time:  0.01 s
16.96/4.36	c subs with bin:        2  lits-rem:         4  v-fix:    0  time:  0.01 s
18.15/4.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28836 time:  0.31 s
18.94/4.86	c Removed useless bin:       3  fixed:     0  props:  20.02M  time:  0.18 s
19.73/5.09	c lits-rem:        13  cl-subs:       68  v-elim:   9612  v-fix:    0  time:  0.21 s
20.53/5.20	c Finding binary XORs  T:     0.11 s  found:     913
20.53/5.21	c Replacing      913 vars Replaced    20428 lits Time:     0.01 s 
20.53/5.27	c Finding non-binary XORs:     0.04 s (found:   12105, avg size: 3.1)
20.53/5.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   5172 locsubst: 11477 time:   0.02
20.53/5.28	c Replacing      285 vars Replaced     3361 lits Time:     0.01 s 
20.92/5.30	c calculated reachability. Time: 0.01
20.92/5.30	c Calc default polars -  time:   0.00 s pos:    3253 undec:   25360 neg:    8819
20.92/5.30	c =========================================================================================
20.92/5.30	c types(t): F = full restart, N = normal restart
20.92/5.30	c types(t): S = simplification begin/end, E = solution found
20.92/5.30	c restart types(rt): st = static, dy = dynamic
20.92/5.30	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
20.92/5.30	c  B st     0         0     12854     22298     33475         0    223838         0   no data   no data
22.13/5.65	c  N dy    19      4068     12854     22298     33520      3436    223835    156002     10.86     40.02
23.32/5.90	c  N dy    34      8529     12852     22298     34079      7152    223835    255904     11.90     12.64
24.52/6.29	c  N dy    60     13067     12852     22298     34096     10990    223834    390995     13.55     14.63
25.73/6.58	c  N dy    79     17155     12852     22298     34375     14260    223830    482311     13.17     13.88
26.53/6.78	c  N dy    86     21158     12852     22298     34557      9412    223830    158260     12.55     20.31
27.34/6.94	c Finding binary XORs  T:     0.08 s  found:     168
27.34/6.95	c Replacing      168 vars Replaced     7279 lits Time:     0.01 s 
28.51/7.20	c  F st   106     25001     12683     22290     34248     12199    223798    253030     12.38     11.08
28.51/7.25	c  N st   107     25252     12683     22281     34248     12446    223760    266895     12.38   no data
30.91/7.88	c  N dy   112     30000     12683     22281     34366     16676    223760    596398     12.38   no data
30.91/7.88	c  S st   112     30000     12683     22281     34366     16676    223760    596398     12.38   no data
31.32/7.94	c  S st   112     30503     12683     22281     34377     17113    223758    604266     12.38   no data
31.32/7.97	c x-sub:   352 x-cut:      0 vfix:      0 v-elim:   2638 locsubst:  1071 time:   0.03
44.08/11.19	c Flit:    12 Blit:      2 bXBeca:    1 bXProp: 1978 Bins:  85648 BRemL:  18644 BRemN:      0 P: 65.8M T:  3.20
44.50/11.23	c Replacing     2074 vars Replaced   257943 lits Time:     0.03 s 
44.50/11.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.50/11.29	c bin-w-bin subsume rem        59807 bins  time:  0.05 s
44.91/11.34	c subs with bin:     6238  lits-rem:     15249  v-fix:    0  time:  0.05 s
44.91/11.38	c Subs w/ non-existent bins:   2022 l-rem:   1950 v-fix:     0 done:   7956 time:  0.04 s
45.28/11.40	c Removed useless bin:     790  fixed:     0  props:   2.07M  time:  0.01 s
45.28/11.43	c lits-rem:       249  cl-subs:     3228  v-elim:     57  v-fix:    0  time:  0.03 s
45.28/11.45	c subs with bin:      120  lits-rem:      3479  v-fix:    0  time:  0.01 s
45.28/11.45	c lits-rem:       190  cl-subs:      363  v-elim:      0  v-fix:    0  time:  0.01 s
46.88/11.80	c asymm  cl-useful: 159/6923/10567 lits-rem:159 time: 0.35
46.88/11.81	c calculated reachability. Time: 0.00
46.88/11.81	c  N dy   112     30503      7899     10567     37799      1458    115842     52103     12.38   no data
46.88/11.87	c Finding binary XORs  T:     0.06 s  found:      26
47.68/12.04	c  N dy   129     34689      7899     10567     37917      4708    115836    115503     12.17     13.45
48.08/12.15	c  N dy   138     40472      7899     10567     37925      8932    115834    173262     11.53     12.34
48.89/12.35	c Finding binary XORs  T:     0.05 s  found:      14
48.89/12.39	c  N dy   154     44693      7899     10567    110516      7555    115834    275928     11.60     12.47
49.29/12.43	c  S st   161     45755      7899     10567    110519      8302    115834    290684     11.65      7.49
49.29/12.47	c  S st   161     46258      7899     10567    110524      8718    115834    297326     11.65   no data
49.67/12.50	c x-sub:   151 x-cut:      0 vfix:      0 v-elim:   1228 locsubst:   605 time:   0.03
52.07/13.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   4559 BRemL:  49454 BRemN:   1586 P: 10.1M T:  0.64
52.07/13.14	c Replacing       80 vars Replaced     1276 lits Time:     0.00 s 
52.07/13.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
52.07/13.18	c bin-w-bin subsume rem        39041 bins  time:  0.03 s
52.07/13.19	c subs with bin:      113  lits-rem:        18  v-fix:    0  time:  0.01 s
52.47/13.21	c Subs w/ non-existent bins:      0 l-rem:     26 v-fix:     0 done:   6591 time:  0.02 s
52.47/13.21	c Removed useless bin:      26  fixed:     0  props:   0.47M  time:  0.00 s
52.47/13.22	c lits-rem:         9  cl-subs:       92  v-elim:     17  v-fix:    0  time:  0.01 s
52.47/13.23	c subs with bin:       11  lits-rem:       293  v-fix:    0  time:  0.00 s
52.47/13.23	c lits-rem:        46  cl-subs:      344  v-elim:      0  v-fix:    0  time:  0.00 s
52.47/13.24	c vivif2 --  cl tried    10407 cl shrink       55 lits rem         95 time: 0.01
52.47/13.24	c vivif2 --  cl tried     1222 cl shrink       24 lits rem         24 time: 0.00
54.46/13.70	c asymm  cl-useful: 189/10407/10407 lits-rem:245 time: 0.46
54.46/13.71	c calculated reachability. Time: 0.00
54.46/13.71	c  N dy   161     46258      6574     10406     24675      1221    105101     25824     11.65   no data
54.46/13.75	c Finding binary XORs  T:     0.05 s  found:       1
55.26/13.94	c  N dy   193     50366      6574     10406     37941      4504    105100    159148     12.62     13.71
56.06/14.16	c  N dy   226     54411      6574     10406     41318      7807    105100    292773     13.66     27.75
56.46/14.22	c Finding binary XORs  T:     0.05 s  found:     178
56.46/14.23	c Replacing      179 vars Replaced    15437 lits Time:     0.01 s 
57.26/14.40	c  N dy   248     61642      6395     10354     40696     13332    104830    423602     13.77     14.51
57.67/14.56	c  N dy   269     66694      6395     10354     40714      9238    104830    181616     14.11     15.53
57.67/14.59	c  S st   270     69388      6395     10354     40714     10804    104830    196471     13.78      5.29
58.07/14.63	c  S st   270     69889      6395     10354     40716     11260    104829    202741     13.78   no data
58.07/14.67	c x-sub:    55 x-cut:      0 vfix:      0 v-elim:    277 locsubst:   904 time:   0.04
59.66/15.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  135 Bins:   2361 BRemL:  19211 BRemN:    191 P:  7.3M T:  0.39
59.66/15.07	c Replacing      174 vars Replaced     4951 lits Time:     0.00 s 
59.66/15.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
59.66/15.08	c bin-w-bin subsume rem         5786 bins  time:  0.00 s
59.66/15.09	c subs with bin:      991  lits-rem:       633  v-fix:    0  time:  0.01 s
60.06/15.10	c Subs w/ non-existent bins:    215 l-rem:    354 v-fix:     0 done:   5944 time:  0.01 s
60.06/15.11	c Removed useless bin:     252  fixed:     0  props:   0.96M  time:  0.01 s
60.06/15.11	c lits-rem:         4  cl-subs:      307  v-elim:      5  v-fix:    0  time:  0.01 s
60.06/15.12	c subs with bin:      277  lits-rem:       962  v-fix:    0  time:  0.00 s
60.06/15.13	c lits-rem:        94  cl-subs:      393  v-elim:      0  v-fix:    0  time:  0.01 s
60.06/15.14	c vivif2 --  cl tried     8834 cl shrink        9 lits rem         21 time: 0.01
60.06/15.14	c vivif2 --  cl tried     2938 cl shrink       20 lits rem         20 time: 0.00
60.85/15.37	c asymm  cl-useful: 1145/8834/8834 lits-rem:3264 time: 0.23
60.85/15.37	c calculated reachability. Time: 0.00
60.85/15.37	c  N dy   270     69889      5939      7924     18736      2938     93024     37780     13.78   no data
61.25/15.41	c Finding binary XORs  T:     0.04 s  found:     264
61.25/15.42	c Replacing      264 vars Replaced     5507 lits Time:     0.00 s 
62.07/15.66	c  F st   297     87500      5675      7917     18170     12910     91911    203113     13.60     10.00
62.07/15.66	c  N st   297     87500      5675      7917     18170     12910     91911    203113     13.60     10.00
62.47/15.74	c Finding binary XORs  T:     0.04 s  found:       5
64.45/16.28	c  N dy   307     93093      5674      7917    117196     11368     91899    678372     13.73     37.57
66.05/16.62	c  N dy   347    104834      5674      7917    117968     19809     91897    925035     14.36     13.30
66.05/16.62	c  S st   347    104834      5674      7917    117968     19809     91897    925035     14.36     13.30
66.05/16.67	c  S st   347    105337      5674      7917    119660     20233     91897    933242     14.36   no data
66.46/16.73	c x-sub:    39 x-cut:      0 vfix:      0 v-elim:    121 locsubst:  1325 time:   0.06
68.03/17.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   25 Bins:   4457 BRemL:  41072 BRemN:    226 P:  6.0M T:  0.43
68.03/17.16	c Replacing      106 vars Replaced     4438 lits Time:     0.00 s 
68.03/17.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
68.43/17.24	c bin-w-bin subsume rem        58725 bins  time:  0.07 s
68.43/17.25	c subs with bin:      200  lits-rem:       111  v-fix:    0  time:  0.01 s
68.43/17.26	c Subs w/ non-existent bins:     24 l-rem:      0 v-fix:     0 done:   5447 time:  0.01 s
68.43/17.27	c Removed useless bin:     110  fixed:     0  props:   0.67M  time:  0.00 s
68.43/17.27	c lits-rem:        13  cl-subs:      502  v-elim:     38  v-fix:    0  time:  0.01 s
68.43/17.29	c subs with bin:       12  lits-rem:       463  v-fix:    0  time:  0.01 s
68.83/17.31	c lits-rem:       234  cl-subs:      543  v-elim:      0  v-fix:    0  time:  0.02 s
68.83/17.31	c vivif2 --  cl tried     7345 cl shrink       33 lits rem         35 time: 0.00
68.83/17.31	c vivif2 --  cl tried     5349 cl shrink       13 lits rem         13 time: 0.00
69.23/17.47	c asymm  cl-useful: 737/7345/7345 lits-rem:2172 time: 0.16
69.23/17.48	c calculated reachability. Time: 0.00
69.23/17.48	c  N dy   347    105337      5409      6853     23793      5349     85807     92997     14.36   no data
70.04/17.63	c Finding binary XORs  T:     0.05 s  found:     237
70.04/17.64	c Replacing      237 vars Replaced     8259 lits Time:     0.01 s 
71.26/17.95	c  N dy   408    112064      5172      6848     23361     10781     84818    457708     16.71     73.07
72.43/18.26	c  N dy   461    119268      5172      6848     27338     11313     84817    378179     18.19     28.84
73.22/18.42	c Finding binary XORs  T:     0.04 s  found:     151
73.22/18.44	c Replacing      151 vars Replaced    14235 lits Time:     0.02 s 
74.02/18.60	c  N dy   489    128253      5021      6677     27079     17870     83877    619304     18.85     19.99
76.03/19.15	c  N dy   567    136460      5021      6677     27128     24563     83877   1031629     20.81     42.30
78.42/19.75	c  N dy   640    145340      5021      6677     27146     19799     83876    657516     22.73     23.96
80.42/20.20	c  N dy   677    157410      5021      6677     27147     29658     83876   1010527     22.92     24.20
80.42/20.26	c  S st   682    158006      5021      6677     27156     30208     83876   1047428     23.05   no data
80.82/20.30	c  S st   682    158508      5021      6677     27160     30621     83876   1050934     23.05   no data
80.82/20.39	c x-sub:    77 x-cut:      0 vfix:      0 v-elim:    104 locsubst:   202 time:   0.08
81.62/20.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   30 Bins:    588 BRemL:  10260 BRemN:    251 P:  4.4M T:  0.20
81.62/20.60	c Replacing       58 vars Replaced     1644 lits Time:     0.00 s 
82.02/20.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.02/20.60	c bin-w-bin subsume rem          753 bins  time:  0.00 s
82.02/20.61	c subs with bin:      347  lits-rem:       120  v-fix:    0  time:  0.01 s
82.02/20.62	c Subs w/ non-existent bins:    147 l-rem:     32 v-fix:     0 done:   4859 time:  0.01 s
82.02/20.63	c Removed useless bin:      64  fixed:     0  props:   0.55M  time:  0.00 s
82.02/20.64	c lits-rem:        23  cl-subs:      750  v-elim:     87  v-fix:    0  time:  0.01 s
82.02/20.65	c subs with bin:      140  lits-rem:       765  v-fix:    0  time:  0.01 s
83.22/20.99	c lits-rem:      1416  cl-subs:     1901  v-elim:      0  v-fix:    0  time:  0.34 s
83.62/21.00	c vivif2 --  cl tried     5700 cl shrink       57 lits rem         65 time: 0.00
83.62/21.00	c vivif2 --  cl tried    17198 cl shrink       17 lits rem         21 time: 0.01
84.03/21.10	c asymm  cl-useful: 612/5700/5700 lits-rem:1971 time: 0.10
84.03/21.11	c calculated reachability. Time: 0.00
84.03/21.11	c  N dy   682    158508      4772      5203     16283     17198     75486    304828     23.05   no data
84.43/21.29	c Finding binary XORs  T:     0.06 s  found:     179
84.81/21.31	c Replacing      179 vars Replaced    13905 lits Time:     0.02 s 
87.60/22.07	c  N dy   782    168663      4593      5190     17919     14628     74716    437215     26.29     64.20
88.42/22.30	c Finding binary XORs  T:     0.04 s  found:     150
88.83/22.32	c Replacing      150 vars Replaced    12707 lits Time:     0.02 s 
90.81/22.89	c  N dy   874    179439      4443      5002     17807     23619     73727   1114786     28.53     38.98
94.40/23.74	c  N dy   942    200387      4443      5002     17817     23564     73725    411164     29.42     31.11
96.79/24.31	c  N dy   998    213192      4443      5002     17861     33225     73722    952191     30.24     91.86
100.79/25.30	c  N dy  1071    237762      4443      5002     17895     32815     73719    581901     30.74     19.16
100.79/25.30	c  S st  1071    237762      4443      5002     17895     32815     73719    581901     30.74     19.16
100.79/25.34	c  S st  1071    238264      4443      5002     17904     33152     73719    584451     30.74   no data
101.19/25.48	c x-sub:    28 x-cut:      0 vfix:      0 v-elim:     71 locsubst:  2112 time:   0.14
102.01/25.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   35 Bins:   1334 BRemL:   2358 BRemN:    194 P:  3.4M T:  0.15
102.01/25.65	c Replacing      187 vars Replaced     9000 lits Time:     0.01 s 
102.01/25.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
102.01/25.65	c bin-w-bin subsume rem          701 bins  time:  0.00 s
102.01/25.67	c subs with bin:      339  lits-rem:         0  v-fix:    0  time:  0.01 s
102.01/25.67	c Subs w/ non-existent bins:     36 l-rem:      0 v-fix:     0 done:   4185 time:  0.01 s
102.01/25.68	c Removed useless bin:      29  fixed:     0  props:   0.35M  time:  0.00 s
102.01/25.69	c lits-rem:         1  cl-subs:      724  v-elim:     91  v-fix:    0  time:  0.01 s
102.38/25.70	c subs with bin:      182  lits-rem:       598  v-fix:    0  time:  0.01 s
102.78/25.89	c lits-rem:       957  cl-subs:     1238  v-elim:      0  v-fix:    0  time:  0.19 s
102.78/25.90	c vivif2 --  cl tried     4185 cl shrink       42 lits rem         61 time: 0.00
103.18/25.90	c vivif2 --  cl tried    16275 cl shrink       52 lits rem         53 time: 0.00
103.18/25.95	c asymm  cl-useful: 552/4185/4185 lits-rem:1745 time: 0.05
103.18/25.96	c calculated reachability. Time: 0.00
103.18/25.96	c  N dy  1071    238264      4094      3696     15681     16274     66864    227039     30.74   no data
109.17/27.42	c  F st  1076    306250      4094      3696     15681     29582     66864    569811     28.85     22.84
109.17/27.43	c  N st  1076    306250      4094      3696     15681     29582     66864    569811     28.85     22.84
109.17/27.48	c Finding binary XORs  T:     0.05 s  found:      57
109.17/27.49	c Replacing       57 vars Replaced     1730 lits Time:     0.00 s 
109.98/27.62	c Decided on static restart strategy
112.37/28.27	c  N st  1086    334551      4037      3692     16889     34840     66613   1587616     28.85   no data
116.77/29.30	c Finding binary XORs  T:     0.03 s  found:       2
117.57/29.59	c  N st  1088    357397      4037      3692     16894     33070     66613   2183416     28.85   no data
117.57/29.59	c  S st  1088    357397      4037      3692     16894     33070     66613   2183416     28.85   no data
117.97/29.63	c  S st  1088    357900      4037      3692     16896     33468     66613   2197398     28.85   no data
118.36/29.75	c x-sub:   154 x-cut:      0 vfix:      0 v-elim:     71 locsubst:   408 time:   0.11
118.76/29.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    338 BRemL:   1321 BRemN:     79 P:  2.4M T:  0.12
118.76/29.88	c Replacing       49 vars Replaced     4538 lits Time:     0.01 s 
118.76/29.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
118.76/29.89	c bin-w-bin subsume rem          493 bins  time:  0.00 s
118.76/29.90	c subs with bin:      106  lits-rem:         0  v-fix:    0  time:  0.01 s
119.18/29.90	c Subs w/ non-existent bins:     32 l-rem:      0 v-fix:     0 done:   3917 time:  0.01 s
119.18/29.91	c Removed useless bin:       8  fixed:     0  props:   0.26M  time:  0.00 s
119.18/29.93	c lits-rem:         1  cl-subs:       65  v-elim:     76  v-fix:    0  time:  0.02 s
119.18/29.97	c subs with bin:        4  lits-rem:         3  v-fix:    0  time:  0.00 s
143.53/36.09	c lits-rem:      2496  cl-subs:     2483  v-elim:      0  v-fix:    0  time:  6.12 s
143.53/36.09	c vivif2 --  cl tried     3771 cl shrink       41 lits rem         54 time: 0.00
143.93/36.11	c vivif2 --  cl tried    19340 cl shrink        0 lits rem          0 time: 0.02
143.93/36.15	c asymm  cl-useful: 299/3770/3770 lits-rem:884 time: 0.04
143.93/36.16	c calculated reachability. Time: 0.00
143.93/36.16	c  N st  1088    357900      3841      3524     15002     19340     63023   1137502     28.85   no data
155.91/39.11	c  N st  1089    390292      3841      3524     15002     29088     63018   2440899     28.85   no data
155.91/39.15	c Finding binary XORs  T:     0.04 s  found:      12
196.65/49.37	c  N st  1090    438880      3841      3524     16957     47963     63018   4848484     28.85   no data
197.05/49.40	c Finding binary XORs  T:     0.02 s  found:      10
232.20/58.20	c  N st  1091    511763      3841      3524     19235     54751     63018   5100655     28.85   no data
232.20/58.23	c Finding binary XORs  T:     0.02 s  found:      51
233.00/58.41	c Replacing       73 vars Replaced    33702 lits Time:     0.18 s 
255.38/64.02	c  N st  1092    536851      3768      3487     20502     46337     62819   4407994     28.85   no data
255.38/64.02	c  S st  1092    536851      3768      3487     20502     46337     62819   4407994     28.85   no data
255.38/64.05	c Finding binary XORs  T:     0.02 s  found:       3
255.78/64.11	c  S st  1092    537356      3768      3487     21739     46693     62819   4415871     28.85   no data
256.16/64.24	c x-sub:    81 x-cut:      0 vfix:      0 v-elim:     46 locsubst:   158 time:   0.13
256.56/64.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    363 BRemL:   4222 BRemN:     44 P:  2.4M T:  0.12
256.56/64.39	c Replacing       23 vars Replaced     4201 lits Time:     0.03 s 
256.56/64.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
256.56/64.39	c bin-w-bin subsume rem          258 bins  time:  0.00 s
256.97/64.41	c subs with bin:      134  lits-rem:         0  v-fix:    0  time:  0.01 s
256.97/64.41	c Subs w/ non-existent bins:     27 l-rem:      0 v-fix:     0 done:   3699 time:  0.01 s
256.97/64.42	c Removed useless bin:      15  fixed:     0  props:   0.23M  time:  0.00 s
256.97/64.46	c lits-rem:         0  cl-subs:       50  v-elim:     43  v-fix:    0  time:  0.04 s
257.76/64.60	c subs with bin:       11  lits-rem:       401  v-fix:    0  time:  0.06 s
330.08/82.73	c lits-rem:      2891  cl-subs:     3210  v-elim:      0  v-fix:    0  time: 18.12 s
330.08/82.73	c vivif2 --  cl tried     3438 cl shrink       14 lits rem         24 time: 0.00
330.08/82.78	c vivif2 --  cl tried    31523 cl shrink        0 lits rem          0 time: 0.05
330.48/82.82	c asymm  cl-useful: 112/3438/3438 lits-rem:133 time: 0.04
330.48/82.82	c calculated reachability. Time: 0.00
330.48/82.82	c  N st  1092    537356      3656      3432     17243     31523     60604   2849525     28.85   no data
434.71/108.99	c  N st  1093    701341      3656      3432     17253     52355     60604   4878003     28.85   no data
435.11/109.03	c Finding binary XORs  T:     0.03 s  found:      55
435.53/109.16	c Replacing       55 vars Replaced    47263 lits Time:     0.13 s 
512.61/128.48	c  N st  1094    806034      3601      3376     18814     71101     60295   6762450     28.85   no data
512.61/128.48	c  S st  1094    806034      3601      3376     18814     71101     60295   6762450     28.85   no data
513.01/128.56	c  S st  1094    806535      3601      3376     18917     71494     60295   6774221     28.85   no data
513.41/128.68	c x-sub:    20 x-cut:      0 vfix:      0 v-elim:     23 locsubst:   256 time:   0.12
514.21/128.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   13 Bins:    324 BRemL:    955 BRemN:     18 P:  2.7M T:  0.13
515.03/129.03	c Replacing       41 vars Replaced    38999 lits Time:     0.22 s 
515.03/129.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
515.03/129.04	c bin-w-bin subsume rem           40 bins  time:  0.00 s
515.03/129.05	c subs with bin:      228  lits-rem:         0  v-fix:    0  time:  0.01 s
515.03/129.06	c Subs w/ non-existent bins:     24 l-rem:      0 v-fix:     0 done:   3537 time:  0.01 s
515.03/129.06	c Removed useless bin:       6  fixed:     0  props:   0.21M  time:  0.00 s
515.41/129.14	c lits-rem:         0  cl-subs:       84  v-elim:     45  v-fix:    0  time:  0.08 s
516.21/129.35	c subs with bin:        3  lits-rem:       407  v-fix:    0  time:  0.05 s
719.13/180.17	c lits-rem:      1409  cl-subs:     4472  v-elim:      0  v-fix:    0  time: 50.82 s
719.13/180.17	c vivif2 --  cl tried     3177 cl shrink       12 lits rem         31 time: 0.00
719.53/180.27	c vivif2 --  cl tried    62959 cl shrink      644 lits rem       1450 time: 0.11
719.93/180.31	c asymm  cl-useful: 160/3177/3177 lits-rem:414 time: 0.03
719.93/180.31	c calculated reachability. Time: 0.00
719.93/180.31	c  N st  1094    806535      3492      3053     17999     62959     58481   5833777     28.85   no data
930.04/232.99	c  F st  1095   1071875      3492      3053     18000     61225     58481   5262356     28.85   no data
930.04/232.99	c  N st  1095   1071875      3492      3053     18000     61225     58481   5262356     28.85   no data
930.44/233.07	c Finding binary XORs  T:     0.03 s  found:      62
931.64/233.36	c Replacing       82 vars Replaced    70027 lits Time:     0.29 s 
932.84/233.62	c Decided on static restart strategy
936.85/234.69	c  N st  1105   1100181      3377      2993     24099     82462     56843   6926378     28.85   no data
949.63/237.87	c  N st  1107   1136174      3376      2993     24108     70243     56843   5600293     28.85   no data
965.19/241.72	c  N st  1108   1168566      3376      2993     24113     56098     56843   4267352     28.85   no data
995.15/249.25	c  N st  1109   1209803      3376      2993     24114     50784     56843   3825816     28.85   no data
995.15/249.25	c  S st  1109   1209803      3376      2993     24114     50784     56843   3825816     28.85   no data
995.55/249.32	c  S st  1109   1210306      3376      2993     24128     51157     56843   3835935     28.85   no data
995.95/249.44	c x-sub:    29 x-cut:      0 vfix:      0 v-elim:      8 locsubst:   118 time:   0.12
996.75/249.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   33 Bins:   5685 BRemL:   9495 BRemN:     17 P:  2.6M T:  0.20
997.15/249.79	c Replacing       48 vars Replaced    15071 lits Time:     0.15 s 
997.15/249.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
997.15/249.79	c bin-w-bin subsume rem          899 bins  time:  0.00 s
997.55/249.81	c subs with bin:      102  lits-rem:        13  v-fix:    0  time:  0.02 s
997.55/249.82	c Subs w/ non-existent bins:     13 l-rem:      0 v-fix:     0 done:   3320 time:  0.01 s
997.55/249.82	c Removed useless bin:       3  fixed:     0  props:   0.18M  time:  0.00 s
997.55/249.89	c lits-rem:         0  cl-subs:       74  v-elim:     30  v-fix:    0  time:  0.07 s
997.97/249.99	c subs with bin:       16  lits-rem:      1175  v-fix:    0  time:  0.01 s
1195.70/299.44	c lits-rem:     10032  cl-subs:     5556  v-elim:      0  v-fix:    0  time: 49.44 s
1195.70/299.44	c vivif2 --  cl tried     2916 cl shrink       25 lits rem         67 time: 0.00
1195.70/299.49	c vivif2 --  cl tried    45340 cl shrink        2 lits rem          5 time: 0.05
1196.10/299.53	c asymm  cl-useful: 25/2914/2914 lits-rem:27 time: 0.04
1196.10/299.54	c calculated reachability. Time: 0.00
1196.10/299.54	c  N st  1109   1210306      3290      2914     19033     45340     54795   3325487     28.85   no data
1238.02/310.00	c  N st  1110   1283188      3290      2914     19033     61992     54795   4932104     28.85   no data
1238.02/310.07	c Finding binary XORs  T:     0.03 s  found:      68
1238.42/310.18	c Replacing       69 vars Replaced    16267 lits Time:     0.11 s 
1303.13/326.34	c  N st  1111   1392511      3150      2856     26737     57006     51819   4320719     28.85   no data
1380.24/345.64	c  N st  1112   1556496      3120      2856     26819     57281     51819   4065942     28.85   no data
1380.24/345.69	c Finding binary XORs  T:     0.02 s  found:      30
1380.65/345.72	c Replacing       41 vars Replaced     3632 lits Time:     0.03 s 
1469.70/368.03	c  N st  1113   1710306      3069      2817     24574     87028     50065   7300384     28.85   no data
1469.70/368.03	c  S st  1113   1710306      3069      2817     24574     87028     50065   7300384     28.85   no data
1470.10/368.13	c Finding binary XORs  T:     0.02 s  found:      94
1470.50/368.21	c Replacing       96 vars Replaced    15075 lits Time:     0.08 s 
1470.90/368.30	c  S st  1113   1710809      2740      2440     24345     78622     39624   6628209     28.85   no data
1471.30/368.41	c x-sub:    15 x-cut:      0 vfix:      0 v-elim:      2 locsubst:   372 time:   0.11
1471.70/368.59	c Flit:     0 Blit:      2 bXBeca:    0 bXProp:   72 Bins:  17081 BRemL:  19177 BRemN:     45 P:  3.4M T:  0.18
1472.10/368.66	c Replacing      238 vars Replaced    16775 lits Time:     0.07 s 
1472.10/368.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1472.10/368.66	c bin-w-bin subsume rem         2780 bins  time:  0.00 s
1472.10/368.67	c subs with bin:      127  lits-rem:       745  v-fix:    0  time:  0.01 s
1472.10/368.68	c Subs w/ non-existent bins:     24 l-rem:      0 v-fix:     0 done:   2498 time:  0.00 s
1472.10/368.68	c Removed useless bin:       0  fixed:     0  props:   0.11M  time:  0.00 s
1472.52/368.76	c lits-rem:         0  cl-subs:       47  v-elim:     26  v-fix:    0  time:  0.08 s
1473.29/368.93	c subs with bin:       62  lits-rem:       114  v-fix:    0  time:  0.03 s
1654.38/422.13	c lits-rem:      1369  cl-subs:     3952  v-elim:      0  v-fix:    0  time: 53.20 s
1654.38/422.13	c vivif2 --  cl tried     2326 cl shrink       19 lits rem         38 time: 0.00
1654.58/422.21	c vivif2 --  cl tried    72983 cl shrink       33 lits rem         38 time: 0.09
1654.58/422.24	c asymm  cl-useful: 55/2326/2326 lits-rem:152 time: 0.03
1654.58/422.25	c calculated reachability. Time: 0.00
1654.58/422.25	c  N st  1113   1710809      2472      2280     19052     72982     36052   6031827     28.85   no data
1654.58/422.25	c Following stats are for *FIRST FINISHED THREAD ONLY*
1654.58/422.25	c num threads              : 4          
1654.58/422.25	c restarts                 : 11289      
1654.58/422.25	c dynamic restarts         : 11259      
1654.58/422.25	c static restarts          : 30         
1654.58/422.25	c full restarts            : 4          
1654.58/422.25	c total simplify time      : 2.92       
1654.58/422.25	c learnts DL2              : 0          
1654.58/422.25	c learnts size 2           : 737049     
1654.58/422.25	c learnts size 1           : 1710        (4.57      % of vars)
1654.58/422.25	c filedLit time            : 8.74        (2.07      % time)
1654.58/422.25	c v-elim SatELite          : 13699       (36.60     % vars)
1654.58/422.25	c SatELite time            : 7.26        (1.72      % time)
1654.58/422.25	c v-elim xor               : 0           (0.00      % vars)
1654.58/422.25	c xor elim time            : 0.06        (0.01      % time)
1654.58/422.25	c num binary xor trees     : 2839       
1654.58/422.25	c binxor trees' crown      : 16517       (5.82      leafs/tree)
1654.58/422.25	c bin xor find time        : 1.68       
1654.58/422.25	c OTF clause improved      : 168566      (0.07      clauses/conflict)
1654.58/422.25	c OTF impr. size diff      : 173342      (1.03       lits/clause)
1654.58/422.25	c OTF cl watch-shrink      : 810415      (0.31      clauses/conflict)
1654.58/422.25	c OTF cl watch-sh-lit      : 1534438     (1.89       lits/clause)
1654.58/422.25	c tried to recurMin cls    : 1031915     (40.02      % of conflicts)
1654.58/422.25	c updated cache            : 73506       (0.07       lits/tried recurMin)
1654.58/422.25	c unit cls recevied        : 43          (2.51      % of units)
1654.58/422.25	c unit cls sent            : 1597        (93.39     % of units)
1654.58/422.25	c bin cls recevied         : 347667     
1654.58/422.25	c bin cls sent             : 318271     
1654.58/422.25	c clauses over max glue    : 0           (0.00      % of all clauses)
1654.58/422.25	c conflicts                : 2578586     (6111.79   / sec)
1654.58/422.25	c decisions                : 6211113     (3.45      % random)
1654.58/422.25	c bogo-props               : 36755143942 (87117344.56 / sec)
1654.58/422.25	c conflict literals        : 60213034    (9.40      % deleted)
1654.58/422.25	c Memory used              : 1811.01     MB
1654.58/422.25	c single-thread CPU time   : 421.90      s
1654.58/422.25	c all-threads sum CPU time : 1651.79     s
1654.58/422.25	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3281100-1304028694/watcher-3281100-1304028694 -o /tmp/evaluation-result-3281100-1304028694/solver-3281100-1304028694 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3281100-1304028694.cnf 

running on 4 cores: 0,2,4,6

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: 0.00 0.01 0.00 1/176 16087
/proc/meminfo: memFree=25516364/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 413 0 0 0 0 0 0 0 20 0 4 0 514467640 52441088 352 33554432000 4194304 4627427 140734788217568 18446744073709551615 47864679016370 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 12803 352 303 106 0 7774 0
[pid=16087/tid=16088] ppid=16085 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 4 0 514467641 52441088 352 33554432000 4194304 4627427 140734788217568 18446744073709551615 232335892411 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 514467641 52441088 352 33554432000 4194304 4627427 140734788217568 18446744073709551615 47864679016370 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 514467641 52441088 352 33554432000 4194304 4627427 140734788217568 18446744073709551615 232330939478 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.02223 s]
/proc/loadavg: 0.00 0.01 0.00 1/176 16087
/proc/meminfo: memFree=25516364/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=284120 CPUtime=0.05 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 3194 0 0 0 5 0 0 0 18 0 4 0 514467640 290938880 2971 33554432000 4194304 4627427 140734788217568 18446744073709551615 232335553569 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 71030 3024 340 106 0 66001 0
[pid=16087/tid=16088] ppid=16085 vsize=284696 CPUtime=0.01 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 713 0 0 0 1 0 0 0 18 0 4 0 514467641 291528704 3123 33554432000 4194304 4627427 140734788217568 18446744073709551615 232335892283 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=284696 CPUtime=0.01 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) S 16085 16087 16058 0 -1 4202560 617 0 0 0 1 0 0 0 18 0 4 0 514467641 291528704 3138 33554432000 4194304 4627427 140734788217568 18446744073709551615 232335997422 0 0 4096 2 18446604448221973376 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=284696 CPUtime=0.01 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 847 0 0 0 1 0 0 0 18 0 4 0 514467641 291528704 3138 33554432000 4194304 4627427 140734788217568 18446744073709551615 232335997471 0 0 4096 2 18446604448221973376 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 284120

[startup+0.105348 s]
/proc/loadavg: 0.00 0.01 0.00 1/176 16087
/proc/meminfo: memFree=25516364/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=373576 CPUtime=0.28 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 18184 0 0 0 20 8 0 0 17 0 4 0 514467640 382541824 16124 33554432000 4194304 4627427 140734788217568 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 93514 16212 343 106 0 88485 0
[pid=16087/tid=16088] ppid=16085 vsize=374896 CPUtime=0.07 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) S 16085 16087 16058 0 -1 4202560 4473 0 0 0 6 1 0 0 17 0 4 0 514467641 383893504 16228 33554432000 4194304 4627427 140734788217568 18446744073709551615 232335997422 0 0 4096 2 18446604448221973376 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=374896 CPUtime=0.05 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) S 16085 16087 16058 0 -1 4202560 4168 0 0 0 4 1 0 0 17 0 4 0 514467641 383893504 16246 33554432000 4194304 4627427 140734788217568 18446744073709551615 232335997422 0 0 4096 2 18446604448221973376 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=374896 CPUtime=0.05 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 4870 0 0 0 3 2 0 0 17 0 4 0 514467641 383893504 16259 33554432000 4194304 4627427 140734788217568 18446744073709551615 232335589584 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 373576

[startup+0.969579 s]
/proc/loadavg: 0.00 0.01 0.00 1/176 16087
/proc/meminfo: memFree=25516364/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=396280 CPUtime=4.28 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 31025 0 0 0 414 14 0 0 18 0 4 0 514467640 405790720 26843 33554432000 4194304 4627427 140734788217568 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 99280 28538 369 106 0 94251 0
[pid=16087/tid=16088] ppid=16085 vsize=399456 CPUtime=1.22 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 9379 0 0 0 120 2 0 0 18 0 4 0 514467641 409042944 31322 33554432000 4194304 4627427 140734788217568 18446744073709551615 4239550 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=404456 CPUtime=1.31 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) D 16085 16087 16058 0 -1 4202560 10502 0 0 0 123 8 0 0 18 0 4 0 514467641 414162944 34950 33554432000 4194304 4627427 140734788217568 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=407964 CPUtime=1.44 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 7005 0 0 0 141 3 0 0 20 0 4 0 514467641 417755136 38723 33554432000 4194304 4627427 140734788217568 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 396280

[startup+1.86783 s]
/proc/loadavg: 0.00 0.01 0.00 1/176 16087
/proc/meminfo: memFree=25516364/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=416564 CPUtime=7.27 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 54069 0 0 0 692 35 0 0 18 0 4 0 514467640 426561536 49887 33554432000 4194304 4627427 140734788217568 18446744073709551615 4308940 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 104141 49888 369 106 0 99112 0
[pid=16087/tid=16088] ppid=16085 vsize=416564 CPUtime=1.84 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 15217 0 0 0 180 4 0 0 19 0 4 0 514467641 426561536 49888 33554432000 4194304 4627427 140734788217568 18446744073709551615 4239523 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=416564 CPUtime=1.8 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 15614 0 0 0 165 15 0 0 19 0 4 0 514467641 426561536 49888 33554432000 4194304 4627427 140734788217568 18446744073709551615 4309376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=416564 CPUtime=1.81 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 7095 0 0 0 178 3 0 0 20 0 4 0 514467641 426561536 49888 33554432000 4194304 4627427 140734788217568 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 416564

[startup+1.90082 s]
/proc/loadavg: 0.00 0.01 0.00 1/176 16087
/proc/meminfo: memFree=25516364/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=418120 CPUtime=7.41 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 55100 0 0 0 705 36 0 0 18 0 4 0 514467640 428154880 50918 33554432000 4194304 4627427 140734788217568 18446744073709551615 4308411 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 104530 50918 369 106 0 99501 0
[pid=16087/tid=16088] ppid=16085 vsize=418120 CPUtime=1.87 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 15593 0 0 0 183 4 0 0 19 0 4 0 514467641 428154880 50918 33554432000 4194304 4627427 140734788217568 18446744073709551615 4229264 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=418120 CPUtime=1.83 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 15978 0 0 0 168 15 0 0 19 0 4 0 514467641 428154880 50922 33554432000 4194304 4627427 140734788217568 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=418120 CPUtime=1.84 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 7102 0 0 0 181 3 0 0 20 0 4 0 514467641 428154880 50922 33554432000 4194304 4627427 140734788217568 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 418120

[startup+3.10062 s]
/proc/loadavg: 0.00 0.01 0.00 6/182 16095
/proc/meminfo: memFree=25231252/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=504496 CPUtime=12.17 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 79654 0 0 0 1163 54 0 0 18 0 4 0 514467640 516603904 74631 33554432000 4194304 4627427 140734788217568 18446744073709551615 232335553569 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 126124 74631 371 106 0 121095 0
[pid=16087/tid=16088] ppid=16085 vsize=504496 CPUtime=3.07 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 24173 0 0 0 301 6 0 0 21 0 4 0 514467641 516603904 74631 33554432000 4194304 4627427 140734788217568 18446744073709551615 4299701 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=504496 CPUtime=3.02 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 23513 0 0 0 278 24 0 0 18 0 4 0 514467641 516603904 74631 33554432000 4194304 4627427 140734788217568 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=504496 CPUtime=3.03 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 8197 0 0 0 300 3 0 0 25 0 4 0 514467641 516603904 74631 33554432000 4194304 4627427 140734788217568 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 504496

[startup+6.30101 s]
/proc/loadavg: 0.40 0.09 0.03 6/180 16095
/proc/meminfo: memFree=25005084/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=643064 CPUtime=24.93 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 103359 0 0 0 2426 67 0 0 20 0 4 0 514467640 658497536 94330 33554432000 4194304 4627427 140734788217568 18446744073709551615 4310833 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 160766 94330 390 106 0 155737 0
[pid=16087/tid=16088] ppid=16085 vsize=643064 CPUtime=6.27 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 30944 0 0 0 620 7 0 0 25 0 4 0 514467641 658497536 94330 33554432000 4194304 4627427 140734788217568 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=643064 CPUtime=6.19 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 32054 0 0 0 589 30 0 0 21 0 4 0 514467641 658497536 94330 33554432000 4194304 4627427 140734788217568 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=643064 CPUtime=6.22 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 9752 0 0 0 619 3 0 0 20 0 4 0 514467641 658497536 94330 33554432000 4194304 4627427 140734788217568 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.93
Current children cumulated vsize (KiB) 643064

[startup+12.7009 s]
/proc/loadavg: 1.01 0.22 0.07 10/188 16104
/proc/meminfo: memFree=23926852/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=738812 CPUtime=50.47 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 132894 0 0 0 4973 74 0 0 25 0 4 0 514467640 756543488 118050 33554432000 4194304 4627427 140734788217568 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 184703 118050 391 106 0 179674 0
[pid=16087/tid=16088] ppid=16085 vsize=738812 CPUtime=12.67 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 34674 0 0 0 1259 8 0 0 25 0 4 0 514467641 756543488 118050 33554432000 4194304 4627427 140734788217568 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=738812 CPUtime=12.56 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 35807 0 0 0 1225 31 0 0 25 0 4 0 514467641 756543488 118050 33554432000 4194304 4627427 140734788217568 18446744073709551615 4332067 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=738812 CPUtime=12.62 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 28666 0 0 0 1255 7 0 0 25 0 4 0 514467641 756543488 118050 33554432000 4194304 4627427 140734788217568 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 738812

[startup+25.5006 s]
/proc/loadavg: 2.56 0.60 0.20 9/188 16104
/proc/meminfo: memFree=23382496/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=817880 CPUtime=101.61 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 168790 0 0 0 10080 81 0 0 25 0 4 0 514467640 837509120 135559 33554432000 4194304 4627427 140734788217568 18446744073709551615 4237301 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 204470 135559 391 106 0 199441 0
[pid=16087/tid=16088] ppid=16085 vsize=817880 CPUtime=25.47 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 43873 0 0 0 2537 10 0 0 25 0 4 0 514467641 837509120 135559 33554432000 4194304 4627427 140734788217568 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=817880 CPUtime=25.29 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 42522 0 0 0 2497 32 0 0 25 0 4 0 514467641 837509120 135559 33554432000 4194304 4627427 140734788217568 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=817880 CPUtime=25.43 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 36875 0 0 0 2534 9 0 0 25 0 4 0 514467641 837509120 135559 33554432000 4194304 4627427 140734788217568 18446744073709551615 4410118 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 817880

[startup+51.101 s]
/proc/loadavg: 4.57 1.23 0.41 9/188 16105
/proc/meminfo: memFree=22990104/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=1016864 CPUtime=203.85 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 260578 0 0 0 20286 99 0 0 25 0 4 0 514467640 1041268736 181230 33554432000 4194304 4627427 140734788217568 18446744073709551615 4309779 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 254216 181230 391 106 0 249187 0
[pid=16087/tid=16088] ppid=16085 vsize=1016864 CPUtime=51.07 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 62486 0 0 0 5092 15 0 0 25 0 4 0 514467641 1041268736 181230 33554432000 4194304 4627427 140734788217568 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=1016864 CPUtime=50.74 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 81759 0 0 0 5034 40 0 0 25 0 4 0 514467641 1041268736 181230 33554432000 4194304 4627427 140734788217568 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=1016864 CPUtime=51.03 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 47577 0 0 0 5092 11 0 0 25 0 4 0 514467641 1041268736 181230 33554432000 4194304 4627427 140734788217568 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 1016864

[startup+102.301 s]
/proc/loadavg: 6.56 2.29 0.81 9/188 16107
/proc/meminfo: memFree=22673196/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=982684 CPUtime=408.35 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 397294 0 0 0 40703 132 0 0 25 0 4 0 514467640 1006268416 194961 33554432000 4194304 4627427 140734788217568 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 245671 194961 391 106 0 240642 0
[pid=16087/tid=16088] ppid=16085 vsize=982684 CPUtime=102.27 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 106713 0 0 0 10201 26 0 0 25 0 4 0 514467641 1006268416 194961 33554432000 4194304 4627427 140734788217568 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=982684 CPUtime=101.65 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 135754 0 0 0 10111 54 0 0 25 0 4 0 514467641 1006268416 194961 33554432000 4194304 4627427 140734788217568 18446744073709551615 4309768 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=982684 CPUtime=102.23 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 54038 0 0 0 10211 12 0 0 25 0 4 0 514467641 1006268416 194961 33554432000 4194304 4627427 140734788217568 18446744073709551615 4334696 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.35
Current children cumulated vsize (KiB) 982684

[startup+162.3 s]
/proc/loadavg: 6.67 3.15 1.21 7/188 16108
/proc/meminfo: memFree=21973256/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=1323696 CPUtime=648.01 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 483845 0 0 0 64637 164 0 0 25 0 4 0 514467640 1355464704 233955 33554432000 4194304 4627427 140734788217568 18446744073709551615 4420151 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 330924 233955 391 106 0 325895 0
[pid=16087/tid=16088] ppid=16085 vsize=1323696 CPUtime=162.26 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 139108 0 0 0 16187 39 0 0 25 0 4 0 514467641 1355464704 233955 33554432000 4194304 4627427 140734788217568 18446744073709551615 4309607 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=1323696 CPUtime=161.33 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 161764 0 0 0 16069 64 0 0 25 0 4 0 514467641 1355464704 233955 33554432000 4194304 4627427 140734788217568 18446744073709551615 4333184 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=1323696 CPUtime=162.23 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 60243 0 0 0 16208 15 0 0 25 0 4 0 514467641 1355464704 233955 33554432000 4194304 4627427 140734788217568 18446744073709551615 4333365 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 648.01
Current children cumulated vsize (KiB) 1323696

[startup+222.301 s]
/proc/loadavg: 7.13 3.89 1.58 10/188 16110
/proc/meminfo: memFree=21773464/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=1422784 CPUtime=887.7 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 592609 0 0 0 88577 193 0 0 25 0 4 0 514467640 1456930816 250942 33554432000 4194304 4627427 140734788217568 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 355696 250942 391 106 0 350667 0
[pid=16087/tid=16088] ppid=16085 vsize=1422784 CPUtime=222.28 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 182659 0 0 0 22177 51 0 0 25 0 4 0 514467641 1456930816 250942 33554432000 4194304 4627427 140734788217568 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=1422784 CPUtime=221 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 203715 0 0 0 22025 75 0 0 25 0 4 0 514467641 1456930816 250942 33554432000 4194304 4627427 140734788217568 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=1422784 CPUtime=222.22 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 67515 0 0 0 22205 17 0 0 25 0 4 0 514467641 1456930816 250942 33554432000 4194304 4627427 140734788217568 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 887.7
Current children cumulated vsize (KiB) 1422784

[startup+282.301 s]
/proc/loadavg: 7.04 4.45 1.91 7/188 16111
/proc/meminfo: memFree=21513384/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=1588688 CPUtime=1127.37 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 664077 0 0 0 112515 222 0 0 25 0 4 0 514467640 1626816512 291960 33554432000 4194304 4627427 140734788217568 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 397172 291960 391 106 0 392143 0
[pid=16087/tid=16088] ppid=16085 vsize=1588688 CPUtime=282.28 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 193868 0 0 0 28167 61 0 0 25 0 4 0 514467641 1626816512 291960 33554432000 4194304 4627427 140734788217568 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=1588688 CPUtime=280.67 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 229430 0 0 0 27988 79 0 0 25 0 4 0 514467641 1626816512 291960 33554432000 4194304 4627427 140734788217568 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=1588688 CPUtime=282.23 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 75622 0 0 0 28202 21 0 0 25 0 4 0 514467641 1626816512 291960 33554432000 4194304 4627427 140734788217568 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1127.37
Current children cumulated vsize (KiB) 1588688

[startup+342.3 s]
/proc/loadavg: 6.73 4.83 2.20 11/188 16113
/proc/meminfo: memFree=21166052/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=1690128 CPUtime=1367.06 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 767731 0 0 0 136445 261 0 0 25 0 4 0 514467640 1730691072 289681 33554432000 4194304 4627427 140734788217568 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 422532 289681 391 106 0 417503 0
[pid=16087/tid=16088] ppid=16085 vsize=1690128 CPUtime=342.28 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 241414 0 0 0 34145 83 0 0 25 0 4 0 514467641 1730691072 289682 33554432000 4194304 4627427 140734788217568 18446744073709551615 4321694 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=1690128 CPUtime=340.35 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 246030 0 0 0 33951 84 0 0 25 0 4 0 514467641 1730691072 289682 33554432000 4194304 4627427 140734788217568 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=1690128 CPUtime=342.23 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 85450 0 0 0 34199 24 0 0 25 0 4 0 514467641 1730691072 289682 33554432000 4194304 4627427 140734788217568 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1367.06
Current children cumulated vsize (KiB) 1690128

[startup+402.301 s]
/proc/loadavg: 7.25 5.35 2.54 7/188 16115
/proc/meminfo: memFree=20931356/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=1760124 CPUtime=1606.72 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 849665 0 0 0 160383 289 0 0 25 0 4 0 514467640 1802366976 312552 33554432000 4194304 4627427 140734788217568 18446744073709551615 4420191 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16087/statm: 440031 312552 391 106 0 435002 0
[pid=16087/tid=16088] ppid=16085 vsize=1760124 CPUtime=402.27 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 259248 0 0 0 40139 88 0 0 25 0 4 0 514467641 1802366976 312552 33554432000 4194304 4627427 140734788217568 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=1760124 CPUtime=400.02 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 281001 0 0 0 39904 98 0 0 25 0 4 0 514467641 1802366976 312552 33554432000 4194304 4627427 140734788217568 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=1760124 CPUtime=402.23 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 94731 0 0 0 40195 28 0 0 25 0 4 0 514467641 1802366976 312552 33554432000 4194304 4627427 140734788217568 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1606.72
Current children cumulated vsize (KiB) 1760124

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

[startup+410.901 s]
/proc/loadavg: 6.82 5.32 2.56 7/188 16115
/proc/meminfo: memFree=20929848/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=1854468 CPUtime=1631.98 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 851676 0 0 0 162908 290 0 0 25 0 4 0 514467640 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 4420176 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16087/statm: 463617 311945 391 106 0 458588 0
[pid=16087/tid=16088] ppid=16085 vsize=1854468 CPUtime=406.32 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) S 16085 16087 16058 0 -1 4202560 259322 0 0 0 40544 88 0 0 25 0 4 0 514467641 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 47864679015988 0 0 4096 2 18446604448221973376 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=1854468 CPUtime=404.04 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) S 16085 16087 16058 0 -1 4202560 282436 0 0 0 40305 99 0 0 25 0 4 0 514467641 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 47864679015988 0 0 4096 2 18446604448221973376 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=1854468 CPUtime=410.83 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 95233 0 0 0 41055 28 0 0 25 0 4 0 514467641 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 47864678991556 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1631.98
Current children cumulated vsize (KiB) 1854468

[startup+417.301 s]
/proc/loadavg: 6.76 5.33 2.58 7/188 16115
/proc/meminfo: memFree=20946092/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=1854468 CPUtime=1644.78 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 851676 0 0 0 164188 290 0 0 25 0 4 0 514467640 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16087/statm: 463617 311945 391 106 0 458588 0
[pid=16087/tid=16088] ppid=16085 vsize=1854468 CPUtime=406.32 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) S 16085 16087 16058 0 -1 4202560 259322 0 0 0 40544 88 0 0 25 0 4 0 514467641 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 47864679015988 0 0 4096 2 18446604448221973376 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=1854468 CPUtime=404.04 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) S 16085 16087 16058 0 -1 4202560 282436 0 0 0 40305 99 0 0 25 0 4 0 514467641 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 47864679015988 0 0 4096 2 18446604448221973376 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=1854468 CPUtime=417.23 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 95233 0 0 0 41695 28 0 0 25 0 4 0 514467641 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 47864678991556 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.78
Current children cumulated vsize (KiB) 1854468

[startup+420.507 s]
/proc/loadavg: 6.70 5.34 2.60 7/188 16115
/proc/meminfo: memFree=20942864/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=1854468 CPUtime=1651.19 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 851676 0 0 0 164829 290 0 0 25 0 4 0 514467640 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 4427861 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16087/statm: 463617 311945 391 106 0 458588 0
[pid=16087/tid=16088] ppid=16085 vsize=1854468 CPUtime=406.32 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) S 16085 16087 16058 0 -1 4202560 259322 0 0 0 40544 88 0 0 25 0 4 0 514467641 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 47864679015988 0 0 4096 2 18446604448221973376 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=1854468 CPUtime=404.04 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) S 16085 16087 16058 0 -1 4202560 282436 0 0 0 40305 99 0 0 25 0 4 0 514467641 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 47864679015988 0 0 4096 2 18446604448221973376 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=1854468 CPUtime=420.43 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 95233 0 0 0 42015 28 0 0 25 0 4 0 514467641 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 4219962 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1651.19
Current children cumulated vsize (KiB) 1854468

[startup+421.301 s]
/proc/loadavg: 6.70 5.34 2.60 7/188 16115
/proc/meminfo: memFree=20942864/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=1854468 CPUtime=1652.78 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 851676 0 0 0 164988 290 0 0 25 0 4 0 514467640 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 4427841 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16087/statm: 463617 311945 391 106 0 458588 0
[pid=16087/tid=16088] ppid=16085 vsize=1854468 CPUtime=406.32 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) S 16085 16087 16058 0 -1 4202560 259322 0 0 0 40544 88 0 0 25 0 4 0 514467641 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 47864679015988 0 0 4096 2 18446604448221973376 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=1854468 CPUtime=404.04 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) S 16085 16087 16058 0 -1 4202560 282436 0 0 0 40305 99 0 0 25 0 4 0 514467641 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 47864679015988 0 0 4096 2 18446604448221973376 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=1854468 CPUtime=421.23 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 95233 0 0 0 42095 28 0 0 25 0 4 0 514467641 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 47864678991556 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1652.78
Current children cumulated vsize (KiB) 1854468

[startup+422.101 s]
/proc/loadavg: 6.70 5.34 2.60 7/188 16115
/proc/meminfo: memFree=20941748/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=1854468 CPUtime=1654.38 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) R 16085 16087 16058 0 -1 4202496 851676 0 0 0 165148 290 0 0 25 0 4 0 514467640 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 4302288 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16087/statm: 463617 311945 391 106 0 458588 0
[pid=16087/tid=16088] ppid=16085 vsize=1854468 CPUtime=406.32 cores=0,2,4,6
/proc/16087/task/16088/stat : 16088 (strangenight2-m) S 16085 16087 16058 0 -1 4202560 259322 0 0 0 40544 88 0 0 25 0 4 0 514467641 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 47864679015988 0 0 4096 2 18446604448221973376 0 0 -1 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=1854468 CPUtime=404.04 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) S 16085 16087 16058 0 -1 4202560 282436 0 0 0 40305 99 0 0 25 0 4 0 514467641 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 47864679015988 0 0 4096 2 18446604448221973376 0 0 -1 6 0 0 0
[pid=16087/tid=16090] ppid=16085 vsize=1854468 CPUtime=422.03 cores=0,2,4,6
/proc/16087/task/16090/stat : 16090 (strangenight2-m) R 16085 16087 16058 0 -1 4202560 95233 0 0 0 42175 28 0 0 25 0 4 0 514467641 1898975232 311945 33554432000 4194304 4627427 140734788217568 18446744073709551615 47864678991556 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1654.38
Current children cumulated vsize (KiB) 1854468

[startup+422.301 s]
/proc/loadavg: 6.70 5.34 2.60 7/188 16115
/proc/meminfo: memFree=20941748/32951124 swapFree=67111524/67111528
[pid=16087] ppid=16085 vsize=0 CPUtime=1654.74 cores=0,2,4,6
/proc/16087/stat : 16087 (strangenight2-m) Z 16085 16087 16058 0 -1 4203548 851683 0 0 0 165179 295 0 0 25 0 2 0 514467640 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16087/statm: 0 0 0 0 0 0 0
[pid=16087/tid=16089] ppid=16085 vsize=0 CPUtime=404.08 cores=0,2,4,6
/proc/16087/task/16089/stat : 16089 (strangenight2-m) R 16085 16087 16058 0 -1 4203588 282436 0 0 0 40305 103 0 0 18 0 2 0 514467641 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1654.74
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 422.311
CPU time (s): 1654.75
CPU user time (s): 1651.79
CPU system time (s): 2.96155
CPU usage (%): 391.833
Max. virtual memory (cumulated for all children) (KiB): 1854468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1651.79
system time used= 2.96155
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 851683
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= 8865
involuntary context switches= 23733

runsolver used 0.712891 second user time and 1.61075 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 00:11:35
IDJOB=3281100
IDBENCH=20523
IDSOLVER=1586
FILE ID=node132/3281100-1304028694
RUNJOBID= node132-1304028687-16077
PBS_JOBID= 13170320
Free space on /tmp= 71872 MiB

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

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

MD5SUM BENCH= 8a76c8add64173ae39149aae572a02d9
RANDOM SEED=443346046

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25516644 kB
Buffers:        734396 kB
Cached:        6147376 kB
SwapCached:          4 kB
Active:        1522092 kB
Inactive:      5424024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25516644 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            9568 kB
Writeback:           0 kB
AnonPages:       63660 kB
Mapped:          14416 kB
Slab:           425668 kB
PageTables:       4616 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186404 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71732 MiB
End job on node132 at 2011-04-29 00:18:37