Trace number 3174258

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.37 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf
MD5SUMfe5ef992569d41f4964aa99001a148e1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174258-1307655103.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
3.17/0.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:     277 undec:      85 neg:     288
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       636      2745         0         0      8320         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4918       636      2745         0      4880      8320    133859   no data   no data
3.17/0.80	c  N st    10     11303       636      2745         0      4494      8320     88800   no data   no data
3.17/0.80	c  N st    11     17048       636      2745         0     10155      8320    254045   no data   no data
4.79/1.21	c  F st    12     25000       636      2745         0     12404      8320    311732   no data   no data
4.79/1.21	c  N st    12     25000       636      2745         0     12404      8320    311732   no data   no data
5.57/1.47	c Decided on static restart strategy
5.57/1.47	c  N st    18     30001       636      2745         0     10712      8320    243001   no data   no data
5.57/1.47	c  S st    18     30001       636      2745         0     10712      8320    243001   no data   no data
5.97/1.50	c  S st    18     30505       636      2745         0     11216      8320    255385   no data   no data
5.97/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.51	c blocked clauses removed:        7 vars:      1 tried:         636 T: 0.00 s
5.97/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
5.97/1.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.97/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.57	c lits-rem:       113  cl-subs:      326  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.58	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.01
5.97/1.58	c calculated reachability. Time: 0.00
5.97/1.58	c  N st    18     30505       635      2738         0     10887      8299    244273   no data   no data
7.96/2.01	c  N st    20     37619       635      2738         0     10167      8299    207853   no data   no data
9.56/2.43	c  N st    21     44018       635      2738         0     16496      8299    395746   no data   no data
9.96/2.55	c  S st    22     45757       635      2738         0      9398      8299    157358   no data   no data
9.96/2.58	c  S st    22     46259       635      2738         0      9899      8299    170537   no data   no data
9.96/2.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
9.96/2.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.96/2.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.60	c lits-rem:        17  cl-subs:       22  v-elim:      0  v-fix:    0  time:  0.01 s
10.36/2.60	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
10.36/2.60	c vivif2 --  cl tried     9877 cl shrink        0 lits rem          0 time: 0.00
10.36/2.61	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.01
10.36/2.61	c calculated reachability. Time: 0.00
10.36/2.61	c  N st    22     46259       635      2738         0      9877      8299    169829   no data   no data
14.35/3.68	c  N st    23     60657       635      2738         0     14220      8299    288516   no data   no data
17.15/4.34	c  N st    24     69390       635      2738         0     12023      8299    210648   no data   no data
17.15/4.34	c  S st    24     69390       635      2738         0     12023      8299    210648   no data   no data
17.15/4.38	c  S st    24     69898       635      2738         0     12529      8299    224479   no data   no data
17.15/4.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.15/4.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.15/4.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.15/4.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.15/4.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.15/4.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
17.15/4.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.15/4.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.15/4.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.57/4.41	c lits-rem:        33  cl-subs:      117  v-elim:      0  v-fix:    0  time:  0.02 s
17.57/4.41	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
17.57/4.42	c vivif2 --  cl tried    12412 cl shrink        0 lits rem          0 time: 0.00
17.57/4.42	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.01
17.57/4.42	c calculated reachability. Time: 0.00
17.57/4.42	c  N st    24     69898       635      2738         0     12412      8299    220776   no data   no data
22.74/5.77	c  F st    25     87502       635      2738         0     17808      8299    354375   no data   no data
22.74/5.77	c  N st    25     87502       635      2738         0     17808      8299    354375   no data   no data
24.35/6.19	c  N dy    32     93179       635      2738         0     23429      8299    515969     21.39     22.58
26.36/6.65	c  N dy    50     99232       635      2738         0     16571      8299    262317     18.62     19.61
28.33/7.10	c  S st    71    104847       635      2738         0     22131      8299    411033     18.69     18.04
28.33/7.15	c  S st    71    105349       635      2738         0     22631      8299    424213     18.69   no data
28.33/7.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.33/7.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.33/7.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.33/7.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.33/7.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.33/7.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
28.33/7.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.33/7.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.33/7.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.73/7.25	c lits-rem:       107  cl-subs:      334  v-elim:      0  v-fix:    0  time:  0.07 s
28.73/7.25	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
28.73/7.25	c vivif2 --  cl tried    22297 cl shrink        0 lits rem          0 time: 0.00
28.73/7.27	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.01
28.73/7.27	c calculated reachability. Time: 0.00
28.73/7.27	c  N dy    71    105349       635      2738         0     22297      8299    413719     18.69   no data
31.16/7.89	c  N dy    94    112076       635      2738         0     15129      8299    190326     18.54     19.53
33.53/8.44	c  N dy   119    119273       635      2738         0     22245      8299    378652     18.31     19.48
36.72/9.23	c  N dy   145    126925       635      2738         0     14974      8299    157372     18.29     19.60
39.53/9.91	c  N dy   195    135436       635      2738         0     23426      8299    389214     18.44     19.63
43.12/10.82	c  N dy   215    144139       635      2738         0     16190      8299    167003     18.33     19.31
45.91/11.58	c  N dy   247    153423       635      2738         0     25405      8299    411869     18.29     21.58
47.91/12.06	c  S st   264    158025       635      2738         0     29959      8299    534660     18.27     16.29
48.32/12.13	c  S st   264    158533       635      2738         0     30467      8299    547915     18.27   no data
48.32/12.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.32/12.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.32/12.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.32/12.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.32/12.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.32/12.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
48.32/12.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.32/12.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.32/12.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.10/12.31	c lits-rem:       162  cl-subs:      458  v-elim:      0  v-fix:    0  time:  0.14 s
49.10/12.31	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
49.10/12.31	c vivif2 --  cl tried    30009 cl shrink        0 lits rem          0 time: 0.01
49.10/12.33	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.02
49.10/12.33	c calculated reachability. Time: 0.00
49.10/12.33	c  N dy   264    158533       635      2738         0     30009      8299    533771     18.27   no data
53.12/13.32	c  N dy   299    168650       635      2738         0     23193      8299    327861     18.24     19.41
57.51/14.46	c  N dy   315    179456       635      2738         0     33869      8299    609750     18.04     19.04
61.90/15.59	c  N dy   393    190941       635      2738         0     27430      8299    422079     18.17     20.75
69.48/17.46	c  N dy   429    208005       635      2738         0     25466      8299    342518     17.97     19.35
76.66/19.22	c  N dy   487    222115       635      2738         0     39436      8299    712848     17.97     19.04
83.06/20.85	c  N dy   562    236304       635      2738         0     33736      8299    547244     18.03     21.00
83.88/21.08	c  S st   570    237801       635      2738         0     35219      8299    587846     18.04   no data
84.26/21.19	c  S st   570    238303       635      2738         0     35721      8299    601162     18.04   no data
84.26/21.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.66/21.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
84.66/21.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.66/21.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.66/21.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.66/21.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
84.66/21.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
84.66/21.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
84.66/21.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.46/21.41	c lits-rem:       152  cl-subs:      440  v-elim:      0  v-fix:    0  time:  0.18 s
85.46/21.41	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
85.46/21.42	c vivif2 --  cl tried    35281 cl shrink        0 lits rem          0 time: 0.01
85.46/21.44	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.02
85.46/21.44	c calculated reachability. Time: 0.00
85.46/21.44	c  N dy   570    238303       635      2738         0     35281      8299    586835     18.04   no data
93.04/23.31	c  N dy   655    253982       635      2738         0     30025      8299    427426     18.10     19.11
104.63/26.20	c  N dy   710    277455       635      2738         0     31440      8299    442060     17.96     18.91
113.82/28.59	c  N dy   801    295258       635      2738         0     26320      8299    281696     18.00     19.03
119.03/29.89	c  F st   849    306251       635      2738         0     37203      8299    572802     18.01     15.99
122.21/30.62	c Decided on static restart strategy
123.80/31.04	c  N st   856    314293       635      2738         0     45162      8299    794360     18.01   no data
133.79/33.52	c  N st   859    334559       635      2738         0     41331      8299    871802     18.01   no data
146.17/36.60	c  N st   861    357454       635      2738         0     39144      8299    778242     18.01   no data
146.17/36.60	c  S st   861    357454       635      2738         0     39144      8299    778242     18.01   no data
146.57/36.70	c  S st   861    357961       635      2738         0     39651      8299    791807     18.01   no data
146.57/36.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.57/36.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
146.57/36.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146.57/36.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.57/36.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.57/36.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
146.57/36.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
146.57/36.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
146.57/36.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.39/37.45	c lits-rem:       153  cl-subs:     1979  v-elim:      0  v-fix:    0  time:  0.69 s
149.39/37.45	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
149.39/37.46	c vivif2 --  cl tried    37672 cl shrink        0 lits rem          0 time: 0.01
149.39/37.49	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.03
149.39/37.49	c calculated reachability. Time: 0.00
149.39/37.49	c  N st   861    357961       635      2738         0     37672      8299    736627     18.01   no data
168.14/42.11	c  N st   862    390353       635      2738         0     43873      8299    938460     18.01   no data
198.50/49.77	c  N st   863    438941       635      2738         0     37721      8299    672079     18.01   no data
241.66/60.59	c  N st   864    511823       635      2738         0     51506      8299   1070046     18.01   no data
256.82/64.38	c  N st   865    536943       635      2738         0     45733      8299    855795     18.01   no data
256.82/64.38	c  S st   865    536943       635      2738         0     45733      8299    855795     18.01   no data
257.22/64.49	c  S st   865    537452       635      2738         0     46241      8299    869040     18.01   no data
257.62/64.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
257.62/64.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
257.62/64.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
257.62/64.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
257.62/64.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.62/64.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
257.62/64.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
257.62/64.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
257.62/64.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.01/65.17	c lits-rem:       199  cl-subs:      918  v-elim:      0  v-fix:    0  time:  0.62 s
260.01/65.17	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
260.01/65.19	c vivif2 --  cl tried    45323 cl shrink        0 lits rem          0 time: 0.01
260.41/65.22	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.03
260.41/65.22	c calculated reachability. Time: 0.00
260.41/65.22	c  N st   865    537452       635      2738         0     45323      8299    838058     18.01   no data
386.25/96.80	c  N st   866    701437       635      2738         0     39131      8299    526833     18.01   no data
468.14/117.20	c  N st   867    806179       635      2738         0     68094      8299   1291213     18.01   no data
468.14/117.20	c  S st   867    806179       635      2738         0     68094      8299   1291213     18.01   no data
468.94/117.41	c  S st   867    806682       635      2738         0     68597      8299   1304805     18.01   no data
468.94/117.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
468.94/117.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
468.94/117.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
468.94/117.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
468.94/117.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
468.94/117.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
468.94/117.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
468.94/117.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
469.34/117.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
487.32/122.06	c lits-rem:       826  cl-subs:     4820  v-elim:      0  v-fix:    0  time:  4.55 s
487.32/122.06	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
487.32/122.07	c vivif2 --  cl tried    63777 cl shrink        0 lits rem          0 time: 0.02
487.73/122.13	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.06
487.73/122.13	c calculated reachability. Time: 0.00
487.73/122.13	c  N st   867    806682       635      2738         0     63777      8299   1179189     18.01   no data
713.41/178.67	c  F st   868   1071876       635      2738         0     79540      8299   1459822     18.01   no data
713.41/178.67	c  N st   868   1071876       635      2738         0     79540      8299   1459822     18.01   no data
719.40/180.14	c Decided on static restart strategy
738.19/184.89	c  N st   878   1100181       635      2738         0     63460      8299   1026263     18.01   no data
773.35/193.68	c  N st   880   1136173       635      2738         0     53743      8299    724764     18.01   no data
806.88/202.00	c  N st   881   1168565       635      2738         0     85515      8299   1627034     18.01   no data
848.83/212.52	c  N st   882   1210024       635      2738         0     80165      8299   1488739     18.01   no data
848.83/212.52	c  S st   882   1210024       635      2738         0     80165      8299   1488739     18.01   no data
850.03/212.80	c  S st   882   1210525       635      2738         0     80665      8299   1502521     18.01   no data
850.03/212.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
850.03/212.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
850.03/212.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
850.03/212.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
850.03/212.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
850.03/212.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
850.03/212.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
850.03/212.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
850.42/212.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
874.41/219.00	c lits-rem:       795  cl-subs:     2556  v-elim:      0  v-fix:    0  time:  6.06 s
874.41/219.00	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
874.81/219.02	c vivif2 --  cl tried    78109 cl shrink        0 lits rem          0 time: 0.02
875.19/219.11	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.08
875.19/219.11	c calculated reachability. Time: 0.00
875.19/219.11	c  N st   882   1210525       635      2738         0     78109      8299   1422706     18.01   no data
953.51/238.72	c  N st   883   1283407       635      2738         0     54507      8299    687918     18.01   no data
1060.95/265.61	c  N st   884   1392731       635      2738         0     62641      8299    899544     18.01   no data
1225.94/306.97	c  N st   885   1556717       635      2738         0     67474      8299    969139     18.01   no data
1382.90/346.28	c  N st   886   1710525       635      2738         0    109159      8299   2090082     18.01   no data
1382.90/346.28	c  S st   886   1710525       635      2738         0    109159      8299   2090082     18.01   no data
1384.52/346.62	c  S st   886   1711031       635      2738         0    109665      8299   2103687     18.01   no data
1384.52/346.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1384.52/346.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1384.52/346.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1384.52/346.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1384.52/346.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1384.52/346.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
1384.52/346.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1384.90/346.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1384.90/346.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1451.21/363.33	c lits-rem:      1204  cl-subs:     8866  v-elim:      0  v-fix:    0  time: 16.55 s
1451.21/363.33	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
1451.21/363.36	c vivif2 --  cl tried   100799 cl shrink        0 lits rem          0 time: 0.03
1451.61/363.46	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.10
1451.61/363.47	c calculated reachability. Time: 0.00
1451.61/363.47	c  N st   886   1711031       635      2738         0    100799      8299   1879090     18.01   no data
1883.84/471.66	c  N st   887   2079995       635      2738         0    113095      8299   2210249     18.01   no data
2048.02/512.75	c  N st   888   2211031       635      2738         0    117397      8299   2308507     18.01   no data
2048.02/512.75	c  S st   888   2211031       635      2738         0    117397      8299   2308507     18.01   no data
2049.60/513.13	c  S st   888   2211538       635      2738         0    117904      8299   2322746     18.01   no data
2049.60/513.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2050.00/513.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2050.00/513.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2050.00/513.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2050.00/513.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2050.00/513.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
2050.00/513.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2050.00/513.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2050.40/513.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2089.96/523.20	c lits-rem:      1024  cl-subs:     3709  v-elim:      0  v-fix:    0  time:  9.89 s
2089.96/523.20	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
2089.96/523.23	c vivif2 --  cl tried   114195 cl shrink        0 lits rem          0 time: 0.04
2090.36/523.35	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.12
2090.36/523.36	c calculated reachability. Time: 0.00
2090.36/523.36	c  N st   888   2211538       635      2738         0    114195      8299   2209448     18.01   no data
2713.91/679.44	c  N st   889   2711539       635      2738         0    137891      8299   2768778     18.01   no data
2713.91/679.44	c  S st   889   2711539       635      2738         0    137891      8299   2768778     18.01   no data
2715.94/679.93	c  S st   889   2712045       635      2738         0    138397      8299   2782493     18.01   no data
2715.94/679.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2716.31/680.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2716.31/680.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2716.31/680.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2716.31/680.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2716.31/680.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
2716.31/680.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2716.31/680.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2716.71/680.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2810.98/703.74	c lits-rem:       824  cl-subs:     7372  v-elim:      0  v-fix:    0  time: 23.60 s
2810.98/703.74	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
2810.98/703.78	c vivif2 --  cl tried   131025 cl shrink        0 lits rem          0 time: 0.04
2811.78/703.92	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.14
2811.78/703.92	c calculated reachability. Time: 0.00
2811.78/703.92	c  N st   889   2712045       635      2738         0    131025      8299   2566286     18.01   no data
3529.61/883.65	c  N st   890   3212045       635      2738         0    105614      8299   1595735     18.01   no data
3529.61/883.65	c  S st   890   3212045       635      2738         0    105614      8299   1595735     18.01   no data
3531.21/884.07	c  S st   890   3212551       635      2738         0    106119      8299   1609725     18.01   no data
3531.21/884.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3531.61/884.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3531.61/884.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3531.61/884.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3531.61/884.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3531.61/884.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
3531.61/884.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3531.61/884.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3532.01/884.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3564.36/892.37	c lits-rem:       634  cl-subs:     4639  v-elim:      0  v-fix:    0  time:  8.13 s
3564.36/892.37	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
3564.76/892.40	c vivif2 --  cl tried   101480 cl shrink        0 lits rem          0 time: 0.03
3565.16/892.54	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.14
3565.16/892.54	c calculated reachability. Time: 0.00
3565.16/892.55	c  N st   890   3212551       635      2738         0    101480      8299   1491986     18.01   no data
4367.71/1093.50	c  N st   891   3712552       635      2738         0    112658      8299   1703949     18.01   no data
4367.71/1093.50	c  S st   891   3712552       635      2738         0    112658      8299   1703949     18.01   no data
4369.28/1093.82	c  S st   891   3713054       635      2738         0    113160      8299   1718616     18.01   no data
4369.28/1093.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4369.28/1093.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
4369.28/1093.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4369.28/1093.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4369.28/1093.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4369.28/1093.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    635 time:  0.00 s
4369.28/1093.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4369.68/1093.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4369.68/1093.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4389.67/1098.92	c lits-rem:       398  cl-subs:     3550  v-elim:      0  v-fix:    0  time:  4.94 s
4389.67/1098.92	c vivif2 --  cl tried     2738 cl shrink        0 lits rem          0 time: 0.00
4389.67/1098.94	c vivif2 --  cl tried   109610 cl shrink        0 lits rem          0 time: 0.03
4390.08/1099.06	c asymm  cl-useful: 0/2738/2738 lits-rem:0 time: 0.12
4390.08/1099.06	c calculated reachability. Time: 0.00
4390.08/1099.06	c  N st   891   3713054       635      2738         0    109610      8299   1622071     18.01   no data
4452.36/1114.61	c  F st   892   3751563       635      2738         0    147210      8299   2669484     18.01   no data
4452.36/1114.61	c  N st   892   3751563       635      2738         0    147210      8299   2669484     18.01   no data
4465.15/1117.88	c Decided on static restart strategy
4519.88/1131.53	c  N st   902   3779864       635      2738         0     91820      8299   1045738     18.01   no data
4582.20/1147.13	c  N st   904   3815865       635      2738         0    127086      8299   2004492     18.01   no data
4638.11/1161.14	c  N st   905   3848257       635      2738         0    158920      8299   2943486     18.01   no data
4714.41/1180.24	c  N st   906   3896845       635      2738         0    122260      8299   1907677     18.01   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3174258-1307655103/watcher-3174258-1307655103 -o /tmp/evaluation-result-3174258-1307655103/solver-3174258-1307655103 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174258-1307655103.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: 2.00 2.00 2.00 7/179 11867
/proc/meminfo: memFree=32036428/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 408 0 0 0 0 0 0 0 20 0 4 0 877108080 52441088 347 33554432000 4194304 4627427 140735329796928 18446744073709551615 46953890043826 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 12803 347 299 106 0 7774 0
[pid=11864/tid=11869] ppid=11862 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 877108080 52441088 347 33554432000 4194304 4627427 140735329796928 18446744073709551615 46953890043820 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 877108080 52441088 347 33554432000 4194304 4627427 140735329796928 18446744073709551615 46953890043816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 877108080 52441088 347 33554432000 4194304 4627427 140735329796928 18446744073709551615 218905787377 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.125279 s]
/proc/loadavg: 2.00 2.00 2.00 7/179 11867
/proc/meminfo: memFree=32036428/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=282172 CPUtime=0.47 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 1951 0 0 0 47 0 0 0 18 0 4 0 877108080 288944128 1835 33554432000 4194304 4627427 140735329796928 18446744073709551615 218905836063 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 70543 1835 384 106 0 65514 0
[pid=11864/tid=11869] ppid=11862 vsize=282172 CPUtime=0.11 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 392 0 0 0 11 0 0 0 18 0 4 0 877108080 288944128 1837 33554432000 4194304 4627427 140735329796928 18446744073709551615 4332696 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=282172 CPUtime=0.11 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 435 0 0 0 11 0 0 0 18 0 4 0 877108080 288944128 1844 33554432000 4194304 4627427 140735329796928 18446744073709551615 218905428064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=282172 CPUtime=0.11 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 298 0 0 0 11 0 0 0 18 0 4 0 877108080 288944128 1844 33554432000 4194304 4627427 140735329796928 18446744073709551615 218905836014 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 282172

[startup+0.25996 s]
/proc/loadavg: 2.00 2.00 2.00 7/179 11867
/proc/meminfo: memFree=32036428/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=283648 CPUtime=1.01 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 2770 0 0 0 101 0 0 0 18 0 4 0 877108080 290455552 1993 33554432000 4194304 4627427 140735329796928 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 70912 1993 385 106 0 65883 0
[pid=11864/tid=11869] ppid=11862 vsize=283648 CPUtime=0.25 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 599 0 0 0 25 0 0 0 18 0 4 0 877108080 290455552 1993 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=283648 CPUtime=0.25 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 636 0 0 0 25 0 0 0 18 0 4 0 877108080 290455552 1993 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=283648 CPUtime=0.24 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 500 0 0 0 24 0 0 0 18 0 4 0 877108080 290455552 1993 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 283648

[startup+0.300953 s]
/proc/loadavg: 2.00 2.00 2.00 7/179 11867
/proc/meminfo: memFree=32036428/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=283808 CPUtime=1.17 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 2995 0 0 0 117 0 0 0 18 0 4 0 877108080 290619392 2218 33554432000 4194304 4627427 140735329796928 18446744073709551615 4310126 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 70952 2219 385 106 0 65923 0
[pid=11864/tid=11869] ppid=11862 vsize=283808 CPUtime=0.29 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 656 0 0 0 29 0 0 0 18 0 4 0 877108080 290619392 2219 33554432000 4194304 4627427 140735329796928 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=283808 CPUtime=0.29 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 702 0 0 0 29 0 0 0 18 0 4 0 877108080 290619392 2219 33554432000 4194304 4627427 140735329796928 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=283808 CPUtime=0.28 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 546 0 0 0 28 0 0 0 18 0 4 0 877108080 290619392 2219 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283808

[startup+0.700881 s]
/proc/loadavg: 2.00 2.00 2.00 7/179 11867
/proc/meminfo: memFree=32036428/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=284636 CPUtime=2.77 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 4641 0 0 0 277 0 0 0 18 0 4 0 877108080 291467264 2854 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 71159 2854 385 106 0 66130 0
[pid=11864/tid=11869] ppid=11862 vsize=284636 CPUtime=0.69 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 1069 0 0 0 69 0 0 0 18 0 4 0 877108080 291467264 2854 33554432000 4194304 4627427 140735329796928 18446744073709551615 4321477 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=284636 CPUtime=0.69 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 1111 0 0 0 69 0 0 0 18 0 4 0 877108080 291467264 2854 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=284636 CPUtime=0.68 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 958 0 0 0 68 0 0 0 18 0 4 0 877108080 291467264 2854 33554432000 4194304 4627427 140735329796928 18446744073709551615 4330222 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284636

[startup+1.50074 s]
/proc/loadavg: 2.48 2.10 2.03 10/184 11872
/proc/meminfo: memFree=32014008/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=286276 CPUtime=5.97 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 8067 0 0 0 596 1 0 0 20 0 4 0 877108080 293146624 3440 33554432000 4194304 4627427 140735329796928 18446744073709551615 4332689 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 71569 3440 386 106 0 66540 0
[pid=11864/tid=11869] ppid=11862 vsize=286276 CPUtime=1.49 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 1983 0 0 0 149 0 0 0 20 0 4 0 877108080 293146624 3440 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=286276 CPUtime=1.49 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 1954 0 0 0 149 0 0 0 19 0 4 0 877108080 293146624 3440 33554432000 4194304 4627427 140735329796928 18446744073709551615 4330236 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=286276 CPUtime=1.47 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 1802 0 0 0 147 0 0 0 20 0 4 0 877108080 293146624 3440 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286276

[startup+3.10045 s]
/proc/loadavg: 2.48 2.10 2.03 9/184 11872
/proc/meminfo: memFree=31968624/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=287196 CPUtime=12.36 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 19465 0 0 0 1233 3 0 0 25 0 4 0 877108080 294088704 10723 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309225 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 71799 10723 389 106 0 66770 0
[pid=11864/tid=11869] ppid=11862 vsize=287196 CPUtime=3.09 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 4400 0 0 0 309 0 0 0 25 0 4 0 877108080 294088704 10723 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=287196 CPUtime=3.08 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 5356 0 0 0 308 0 0 0 25 0 4 0 877108080 294088704 10723 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=287196 CPUtime=3.07 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 4390 0 0 0 306 1 0 0 25 0 4 0 877108080 294088704 10723 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 287196

[startup+6.30087 s]
/proc/loadavg: 2.48 2.10 2.03 10/184 11872
/proc/meminfo: memFree=31928372/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=288224 CPUtime=25.14 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 28523 0 0 0 2509 5 0 0 25 0 4 0 877108080 295141376 14480 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 72056 14480 389 106 0 67027 0
[pid=11864/tid=11869] ppid=11862 vsize=288224 CPUtime=6.28 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 8122 0 0 0 628 0 0 0 25 0 4 0 877108080 295141376 14480 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=288224 CPUtime=6.28 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 7252 0 0 0 628 0 0 0 25 0 4 0 877108080 295141376 14480 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=288224 CPUtime=6.25 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 5909 0 0 0 624 1 0 0 25 0 4 0 877108080 295141376 14480 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 288224

[startup+12.7007 s]
/proc/loadavg: 3.33 2.29 2.10 9/184 11872
/proc/meminfo: memFree=31872104/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=306668 CPUtime=50.7 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 44909 0 0 0 5063 7 0 0 25 0 4 0 877108080 314028032 22971 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 76667 22971 389 106 0 71638 0
[pid=11864/tid=11869] ppid=11862 vsize=306668 CPUtime=12.68 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 12866 0 0 0 1267 1 0 0 25 0 4 0 877108080 314028032 22971 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=306668 CPUtime=12.69 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 10980 0 0 0 1268 1 0 0 25 0 4 0 877108080 314028032 22971 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=306668 CPUtime=12.61 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 9666 0 0 0 1259 2 0 0 25 0 4 0 877108080 314028032 22971 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 306668

[startup+25.5004 s]
/proc/loadavg: 4.05 2.48 2.16 9/184 11872
/proc/meminfo: memFree=31830196/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=279788 CPUtime=101.83 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 64127 0 0 0 10170 13 0 0 25 0 4 0 877108080 286502912 25887 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 69947 25887 389 106 0 64918 0
[pid=11864/tid=11869] ppid=11862 vsize=279788 CPUtime=25.48 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 19723 0 0 0 2545 3 0 0 25 0 4 0 877108080 286502912 25887 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=279788 CPUtime=25.48 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 17152 0 0 0 2546 2 0 0 25 0 4 0 877108080 286502912 25887 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=279788 CPUtime=25.34 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 13986 0 0 0 2531 3 0 0 25 0 4 0 877108080 286502912 25887 33554432000 4194304 4627427 140735329796928 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 279788

[startup+51.1008 s]
/proc/loadavg: 5.39 2.92 2.31 9/184 11873
/proc/meminfo: memFree=31770256/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=325672 CPUtime=204.09 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 100759 0 0 0 20388 21 0 0 25 0 4 0 877108080 333488128 37071 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 81418 37071 389 106 0 76389 0
[pid=11864/tid=11869] ppid=11862 vsize=325672 CPUtime=51.08 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 27860 0 0 0 5103 5 0 0 25 0 4 0 877108080 333488128 37071 33554432000 4194304 4627427 140735329796928 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=325672 CPUtime=51.09 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 27707 0 0 0 5104 5 0 0 25 0 4 0 877108080 333488128 37071 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=325672 CPUtime=50.81 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 22314 0 0 0 5075 6 0 0 25 0 4 0 877108080 333488128 37071 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 325672

[startup+102.301 s]
/proc/loadavg: 7.04 3.80 2.65 9/184 11874
/proc/meminfo: memFree=31651184/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=423372 CPUtime=408.64 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 146727 0 0 0 40826 38 0 0 25 0 4 0 877108080 433532928 52275 33554432000 4194304 4627427 140735329796928 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 105843 52275 389 106 0 100814 0
[pid=11864/tid=11869] ppid=11862 vsize=423372 CPUtime=102.29 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 41300 0 0 0 10219 10 0 0 25 0 4 0 877108080 433532928 52275 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=423372 CPUtime=102.29 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 39655 0 0 0 10220 9 0 0 25 0 4 0 877108080 433532928 52275 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=423372 CPUtime=101.73 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 33139 0 0 0 10164 9 0 0 25 0 4 0 877108080 433532928 52275 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 423372

[startup+162.301 s]

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

[pid=11864] ppid=11862 vsize=629076 CPUtime=2565.71 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 457456 0 0 0 256393 178 0 0 25 0 4 0 877108080 644173824 104331 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 157269 104331 389 106 0 152240 0
[pid=11864/tid=11869] ppid=11862 vsize=629076 CPUtime=642.3 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 118844 0 0 0 64183 47 0 0 25 0 4 0 877108080 644173824 104331 33554432000 4194304 4627427 140735329796928 18446744073709551615 4333279 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=629076 CPUtime=642.28 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 113531 0 0 0 64189 39 0 0 25 0 4 0 877108080 644173824 104331 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=629076 CPUtime=638.8 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 111670 0 0 0 63835 45 0 0 25 0 4 0 877108080 644173824 104331 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.71
Current children cumulated vsize (KiB) 629076

[startup+702.301 s]
/proc/loadavg: 8.17 7.58 5.26 9/184 11890
/proc/meminfo: memFree=31181920/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=732716 CPUtime=2805.39 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 486706 0 0 0 280345 194 0 0 25 0 4 0 877108080 750301184 110030 33554432000 4194304 4627427 140735329796928 18446744073709551615 4420268 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 183179 110030 389 106 0 178150 0
[pid=11864/tid=11869] ppid=11862 vsize=732716 CPUtime=702.3 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 127954 0 0 0 70178 52 0 0 25 0 4 0 877108080 750301184 110030 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=732716 CPUtime=702.28 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 117028 0 0 0 70187 41 0 0 25 0 4 0 877108080 750301184 110030 33554432000 4194304 4627427 140735329796928 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=732716 CPUtime=698.47 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 119309 0 0 0 69798 49 0 0 25 0 4 0 877108080 750301184 110030 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309125 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 732716

[startup+762.3 s]
/proc/loadavg: 8.16 7.68 5.44 9/184 11892
/proc/meminfo: memFree=31142196/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=695476 CPUtime=3045.09 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 511805 0 0 0 304301 208 0 0 25 0 4 0 877108080 712167424 112149 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 173869 112149 389 106 0 168840 0
[pid=11864/tid=11869] ppid=11862 vsize=695476 CPUtime=762.31 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 135290 0 0 0 76175 56 0 0 25 0 4 0 877108080 712167424 112149 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=695476 CPUtime=762.28 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 124683 0 0 0 76183 45 0 0 25 0 4 0 877108080 712167424 112149 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=695476 CPUtime=758.15 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 122883 0 0 0 75763 52 0 0 25 0 4 0 877108080 712167424 112149 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 695476

[startup+822.3 s]
/proc/loadavg: 8.15 7.77 5.61 9/184 11893
/proc/meminfo: memFree=31138928/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=683140 CPUtime=3284.74 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 536430 0 0 0 328254 220 0 0 25 0 4 0 877108080 699535360 109417 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 170785 109417 389 106 0 165756 0
[pid=11864/tid=11869] ppid=11862 vsize=683140 CPUtime=822.3 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 142497 0 0 0 82171 59 0 0 25 0 4 0 877108080 699535360 109417 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=683140 CPUtime=822.28 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 132366 0 0 0 82178 50 0 0 25 0 4 0 877108080 699535360 109417 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=683140 CPUtime=817.82 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 127729 0 0 0 81728 54 0 0 25 0 4 0 877108080 699535360 109417 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 683140

[startup+882.307 s]
/proc/loadavg: 8.13 7.84 5.76 9/184 11895
/proc/meminfo: memFree=31077016/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=683476 CPUtime=3524.44 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 567380 0 0 0 352210 234 0 0 25 0 4 0 877108080 699879424 116378 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 170869 116378 389 106 0 165840 0
[pid=11864/tid=11869] ppid=11862 vsize=683476 CPUtime=882.31 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 155406 0 0 0 88168 63 0 0 25 0 4 0 877108080 699879424 116378 33554432000 4194304 4627427 140735329796928 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=683476 CPUtime=882.29 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 139502 0 0 0 88174 55 0 0 25 0 4 0 877108080 699879424 116378 33554432000 4194304 4627427 140735329796928 18446744073709551615 4325016 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=683476 CPUtime=877.49 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 131367 0 0 0 87693 56 0 0 25 0 4 0 877108080 699879424 116378 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 683476

[startup+942.301 s]
/proc/loadavg: 8.05 7.86 5.90 9/184 11897
/proc/meminfo: memFree=31023396/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=696644 CPUtime=3764.1 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 591242 0 0 0 376165 245 0 0 25 0 4 0 877108080 713363456 126683 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309284 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 174161 126683 389 106 0 169132 0
[pid=11864/tid=11869] ppid=11862 vsize=696644 CPUtime=942.3 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 158987 0 0 0 94166 64 0 0 25 0 4 0 877108080 713363456 126683 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=696644 CPUtime=942.28 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 144439 0 0 0 94170 58 0 0 25 0 4 0 877108080 713363456 126683 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=696644 CPUtime=937.17 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 140403 0 0 0 93658 59 0 0 25 0 4 0 877108080 713363456 126683 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 696644

[startup+1002.3 s]
/proc/loadavg: 8.05 7.90 6.03 10/184 11898
/proc/meminfo: memFree=31035632/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=683952 CPUtime=4003.78 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 616894 0 0 0 400122 256 0 0 25 0 4 0 877108080 700366848 125988 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 170988 125988 389 106 0 165959 0
[pid=11864/tid=11869] ppid=11862 vsize=683952 CPUtime=1002.3 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 165497 0 0 0 100164 66 0 0 25 0 4 0 877108080 700366848 125988 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=683952 CPUtime=1002.28 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 151173 0 0 0 100168 60 0 0 25 0 4 0 877108080 700366848 125988 33554432000 4194304 4627427 140735329796928 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=683952 CPUtime=996.84 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 145740 0 0 0 99623 61 0 0 25 0 4 0 877108080 700366848 125988 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 683952

[startup+1062.3 s]
/proc/loadavg: 8.05 7.93 6.16 9/184 11900
/proc/meminfo: memFree=31009556/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=750044 CPUtime=4243.46 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 641701 0 0 0 424078 268 0 0 25 0 4 0 877108080 768045056 128774 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 187511 128774 389 106 0 182482 0
[pid=11864/tid=11869] ppid=11862 vsize=750044 CPUtime=1062.31 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 172506 0 0 0 106161 70 0 0 25 0 4 0 877108080 768045056 128774 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=750044 CPUtime=1062.28 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 157960 0 0 0 106165 63 0 0 18 0 4 0 877108080 768045056 128774 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=750044 CPUtime=1056.52 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 149726 0 0 0 105589 63 0 0 25 0 4 0 877108080 768045056 128774 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309275 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 750044

[startup+1122.3 s]
/proc/loadavg: 8.13 7.97 6.28 9/184 11901
/proc/meminfo: memFree=30945152/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=737396 CPUtime=4483.12 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 668130 0 0 0 448031 281 0 0 25 0 4 0 877108080 755093504 135449 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 184349 135449 389 106 0 179320 0
[pid=11864/tid=11869] ppid=11862 vsize=737396 CPUtime=1122.31 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 179386 0 0 0 112158 73 0 0 25 0 4 0 877108080 755093504 135449 33554432000 4194304 4627427 140735329796928 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=737396 CPUtime=1122.28 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 164066 0 0 0 112161 67 0 0 25 0 4 0 877108080 755093504 135449 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=737396 CPUtime=1116.19 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 156516 0 0 0 111552 67 0 0 25 0 4 0 877108080 755093504 135449 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 737396

[startup+1182.3 s]
/proc/loadavg: 8.12 7.99 6.39 9/184 11903
/proc/meminfo: memFree=30920696/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=737884 CPUtime=4722.8 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 690594 0 0 0 471986 294 0 0 25 0 4 0 877108080 755593216 136584 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 184471 136584 389 106 0 179442 0
[pid=11864/tid=11869] ppid=11862 vsize=737884 CPUtime=1182.3 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 183536 0 0 0 118154 76 0 0 25 0 4 0 877108080 755593216 136584 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=737884 CPUtime=1182.27 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 170315 0 0 0 118157 70 0 0 25 0 4 0 877108080 755593216 136584 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=737884 CPUtime=1175.87 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 164595 0 0 0 117517 70 0 0 25 0 4 0 877108080 755593216 136584 33554432000 4194304 4627427 140735329796928 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.8
Current children cumulated vsize (KiB) 737884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.08 7.99 6.43 10/184 11904
/proc/meminfo: memFree=30927872/32951124 swapFree=67053156/67111528
[pid=11864] ppid=11862 vsize=738124 CPUtime=4800.31 cores=1,3,5,7
/proc/11864/stat : 11864 (strangenight2-m) R 11862 11864 11294 0 -1 4202496 698932 0 0 0 479732 299 0 0 25 0 4 0 877108080 755838976 136357 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11864/statm: 184531 136357 389 106 0 179502 0
[pid=11864/tid=11869] ppid=11862 vsize=738124 CPUtime=1201.72 cores=1,3,5,7
/proc/11864/task/11869/stat : 11869 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 186113 0 0 0 120093 79 0 0 25 0 4 0 877108080 755838976 136358 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11864/tid=11870] ppid=11862 vsize=738124 CPUtime=1201.68 cores=1,3,5,7
/proc/11864/task/11870/stat : 11870 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 173458 0 0 0 120097 71 0 0 25 0 4 0 877108080 755838976 136358 33554432000 4194304 4627427 140735329796928 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11864/tid=11871] ppid=11862 vsize=738124 CPUtime=1195.16 cores=1,3,5,7
/proc/11864/task/11871/stat : 11871 (strangenight2-m) R 11862 11864 11294 0 -1 4202560 167062 0 0 0 119444 72 0 0 25 0 4 0 877108080 755838976 136358 33554432000 4194304 4627427 140735329796928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 738124

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.37
CPU user time (s): 4797.35
CPU system time (s): 3.02054
CPU usage (%): 399.453
Max. virtual memory (cumulated for all children) (KiB): 852056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.35
system time used= 3.02054
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 698934
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= 531
involuntary context switches= 31735

runsolver used 1.75573 second user time and 4.81727 second system time

The end

Launcher Data 

Begin job on node137 at 2011-06-09 23:31:44
IDJOB=3174258
IDBENCH=83076
IDSOLVER=1586
FILE ID=node137/3174258-1307655103
RUNJOBID= node137-1307655103-11838
PBS_JOBID= 13549410
Free space on /tmp= 74104 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174258-1307655103/watcher-3174258-1307655103 -o /tmp/evaluation-result-3174258-1307655103/solver-3174258-1307655103 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174258-1307655103.cnf

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

MD5SUM BENCH= fe5ef992569d41f4964aa99001a148e1
RANDOM SEED=1318607905

node137.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.844
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.68
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.844
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.844
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.74
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.844
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.74
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.844
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.844
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.844
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.83
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.844
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32037548 kB
Buffers:        205808 kB
Cached:         513436 kB
SwapCached:      12208 kB
Active:         351112 kB
Inactive:       387456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32037548 kB
SwapTotal:    67111528 kB
SwapFree:     67053156 kB
Dirty:           11320 kB
Writeback:           0 kB
AnonPages:       16972 kB
Mapped:           8900 kB
Slab:           110452 kB
PageTables:       4668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190424 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74092 MiB
End job on node137 at 2011-06-09 23:51:47