Trace number 3262639

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 1377.64 344.886

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf
MD5SUMf20ed0313cfa494f86b5c8ef723973ee
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark36.1265
Satisfiable
(Un)Satisfiability was proved
Number of variables135
Number of clauses5251
Sum of the clauses size22611
Maximum clause length12
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 34489
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5762

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-3262639-1304123444.cnf'
0.00/0.00	c -- header says num vars:            135
0.00/0.00	c -- header says num clauses:        5251
0.00/0.00	c -- clauses added:            0 learnts,         5251 normals,            0 xors
0.00/0.00	c -- vars added        135
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       135      5251         0         0     22611         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.38/0.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
0.38/0.17	c Finding binary XORs  T:     0.00 s  found:       0
0.38/0.17	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.38/0.17	c calculated reachability. Time: 0.00
0.38/0.17	c Calc default polars -  time:   0.00 s pos:     135 undec:       0 neg:       0
0.38/0.17	c =========================================================================================
0.38/0.17	c types(t): F = full restart, N = normal restart
0.38/0.17	c types(t): S = simplification begin/end, E = solution found
0.38/0.17	c restart types(rt): st = static, dy = dynamic
0.38/0.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.38/0.17	c  B st     0         0       135      5251         0         0     22611         0   no data   no data
3.18/0.83	c  N dy    15      6054       135      5251         0      3336     22611     51911     11.57     12.23
3.18/0.83	c  N dy    28     10103       135      5251         0      7146     22611    116419     11.40     12.06
3.18/0.83	c  N dy    35     14373       135      5251         0      7110     22611    108326     10.92     11.50
3.18/0.83	c  N dy    43     18384       135      5251         0      5579     22611     79859     10.71     12.85
3.18/0.83	c  N dy    67     22506       135      5251         0      9475     22611    146880     10.91     11.54
3.98/1.03	c  F st    79     25001       135      5251         0     11836     22611    187402     11.00     10.32
3.98/1.03	c  N st    83     27033       135      5251         0      7386     22611    104156     11.00   no data
4.39/1.17	c  S st    85     30001       135      5251         0     10174     22611    148972     11.00   no data
4.39/1.17	c  S st    85     30506       135      5251         0     10675     22611    158525     11.00   no data
4.39/1.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.39/1.17	c blocked clauses removed:        0 vars:      0 tried:         135 T: 0.00 s
4.39/1.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
4.39/1.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4.39/1.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.79/1.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.33	c lits-rem:       158  cl-subs:     1486  v-elim:      0  v-fix:    0  time:  0.08 s
5.17/1.33	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.06
5.17/1.33	c calculated reachability. Time: 0.00
5.17/1.33	c  N dy    85     30506       135      5251         0      9189     22611    142639     11.00   no data
5.57/1.48	c  N dy   101     34539       135      5251         0     12992     22611    204970     10.93     11.53
6.37/1.67	c  N dy   119     38540       135      5251         0      9327     22611    132329     10.98     11.58
7.17/1.85	c  N dy   133     42561       135      5251         0     13077     22611    193799     10.97     11.60
7.97/2.01	c  S st   149     45759       135      5251         0     16095     22611    243565     10.99   no data
7.97/2.04	c  S st   149     46263       135      5251         0     16587     22611    252651     10.99   no data
7.97/2.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.97/2.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.97/2.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.97/2.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.97/2.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.97/2.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
7.97/2.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.97/2.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.97/2.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.36/2.20	c lits-rem:       217  cl-subs:     1907  v-elim:      0  v-fix:    0  time:  0.15 s
8.36/2.20	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
8.78/2.20	c vivif2 --  cl tried    14680 cl shrink        0 lits rem          0 time: 0.00
8.78/2.29	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.09
8.78/2.29	c calculated reachability. Time: 0.00
8.78/2.29	c  N dy   149     46263       135      5251         0     14680     22611    230126     10.99   no data
9.96/2.51	c  N dy   171     50598       135      5251         0     10417     22611    150246     11.02     11.61
10.76/2.70	c  N dy   184     54902       135      5251         0     14476     22611    216986     10.99     11.62
11.56/2.96	c  N dy   198     59748       135      5251         0      9676     22611    131092     10.93     11.58
12.36/3.14	c  N dy   217     63805       135      5251         0     13517     22611    194459     10.97     12.23
13.18/3.35	c  N dy   233     67874       135      5251         0     17324     22611    256116     10.96     12.20
13.58/3.44	c  S st   241     69396       135      5251         0     18747     22611    279872     10.98   no data
13.58/3.47	c  S st   241     69899       135      5251         0     19244     22611    289303     10.98   no data
13.58/3.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.58/3.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
13.58/3.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.58/3.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.58/3.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.58/3.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
13.58/3.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
13.58/3.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
13.58/3.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.35/3.66	c lits-rem:       256  cl-subs:     1746  v-elim:      0  v-fix:    0  time:  0.18 s
14.35/3.66	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
14.35/3.67	c vivif2 --  cl tried    17498 cl shrink        0 lits rem          0 time: 0.00
14.75/3.77	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.10
14.75/3.77	c calculated reachability. Time: 0.00
14.75/3.77	c  N dy   241     69899       135      5251         0     17498     22611    267409     10.98   no data
15.95/4.07	c  N dy   271     75234       135      5251         0     12247     22611    168516     11.03     11.64
17.15/4.32	c  N dy   291     80243       135      5251         0     16947     22611    245491     11.03     11.81
18.35/4.61	c  N dy   305     85606       135      5251         0     21924     22611    324910     10.99     11.57
18.75/4.73	c  F st   308     87500       135      5251         0     12494     22611    164570     10.97     10.49
19.55/4.98	c  N dy   314     92691       135      5251         0     17365     22611    244270     10.97   no data
21.55/5.42	c  N dy   345    100136       135      5251         0     24358     22611    357803     10.98     11.88
22.37/5.68	c  S st   374    104850       135      5251         0     16616     22611    231228     11.01   no data
22.74/5.71	c  S st   374    105357       135      5251         0     17114     22611    240392     11.01   no data
22.74/5.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.74/5.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
22.74/5.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
22.74/5.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.74/5.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.74/5.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
22.74/5.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
22.74/5.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
22.74/5.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.14/5.81	c lits-rem:       133  cl-subs:     1047  v-elim:      0  v-fix:    0  time:  0.09 s
23.14/5.82	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
23.14/5.82	c vivif2 --  cl tried    16067 cl shrink        0 lits rem          0 time: 0.00
23.54/5.91	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.09
23.54/5.91	c calculated reachability. Time: 0.00
23.54/5.91	c  N dy   374    105357       135      5251         0     16067     22611    228623     11.01   no data
25.15/6.35	c  N dy   394    112862       135      5251         0     23039     22611    338198     10.97     11.58
27.14/6.80	c  N dy   418    120249       135      5251         0     16891     22611    232814     10.95     11.57
29.14/7.36	c  N dy   433    130273       135      5251         0     26235     22611    376163     10.86     11.45
31.15/7.87	c  N dy   471    138680       135      5251         0     20096     22611    283020     10.86     17.57
34.33/8.63	c  N dy   499    150254       135      5251         0     15962     22611    204122     10.82     11.50
35.93/9.04	c  S st   532    158036       135      5251         0     23267     22611    321504     10.81   no data
35.93/9.08	c  S st   532    158538       135      5251         0     23760     22611    330352     10.81   no data
35.93/9.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.93/9.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
35.93/9.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
35.93/9.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
35.93/9.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
35.93/9.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
35.93/9.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
35.93/9.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
36.33/9.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.13/9.33	c lits-rem:       434  cl-subs:     2090  v-elim:      0  v-fix:    0  time:  0.23 s
37.13/9.33	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
37.13/9.34	c vivif2 --  cl tried    21670 cl shrink        0 lits rem          0 time: 0.00
37.53/9.46	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.12
37.53/9.46	c calculated reachability. Time: 0.00
37.53/9.46	c  N dy   532    158538       135      5251         0     21670     22611    306566     10.81   no data
40.32/10.16	c  N dy   572    168699       135      5251         0     31196     22611    457225     10.81     15.13
43.12/10.80	c  N dy   597    179491       135      5251         0     25400     22611    346476     10.76     11.35
46.72/11.70	c  N dy   654    192278       135      5251         0     20537     22611    264770     10.77     11.36
49.91/12.51	c  N dy   713    204737       135      5251         0     32224     22611    453630     10.79     11.38
53.50/13.45	c  N dy   773    218152       135      5251         0     27102     22611    365863     10.80     11.49
57.89/14.54	c  N dy   828    232562       135      5251         0     21845     22611    275243     10.80     11.37
59.09/14.87	c  S st   843    237807       135      5251         0     26769     22611    351759     10.79      8.73
59.49/14.90	c  S st   843    238311       135      5251         0     27266     22611    361055     10.79   no data
59.49/14.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
59.49/14.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
59.49/14.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
59.49/14.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.49/14.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.49/14.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
59.49/14.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
59.49/14.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
59.49/14.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.30/15.19	c lits-rem:       359  cl-subs:     2142  v-elim:      0  v-fix:    0  time:  0.26 s
60.30/15.19	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
60.30/15.19	c vivif2 --  cl tried    25124 cl shrink        0 lits rem          0 time: 0.00
61.10/15.33	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.14
61.10/15.33	c calculated reachability. Time: 0.00
61.10/15.33	c  N dy   843    238311       135      5251         0     25124     22611    336805     10.79   no data
65.91/16.56	c  N dy   890    253986       135      5251         0     20125     22611    246395     10.77     11.47
70.30/17.66	c  N dy   958    270229       135      5251         0     35316     22611    483064     10.77     14.50
75.47/18.96	c  N dy  1007    287628       135      5251         0     30995     22611    404124     10.73     11.31
81.46/20.44	c  N dy  1074    306030       135      5251         0     26707     22611    336793     10.73     11.31
81.46/20.45	c  F st  1077    306253       135      5251         0     26923     22611    340481     10.73   no data
87.88/22.05	c  N dy  1147    325942       135      5251         0     22969     22611    276487     10.73     11.30
93.85/23.54	c  N dy  1211    346152       135      5251         0     41904     22611    566993     10.72     11.41
97.45/24.48	c  S st  1246    357468       135      5251         0     29078     22611    363737     10.71   no data
97.85/24.52	c  S st  1246    357968       135      5251         0     29574     22611    372695     10.71   no data
97.85/24.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
97.85/24.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
97.85/24.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
97.85/24.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.85/24.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.85/24.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
97.85/24.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
97.85/24.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
97.85/24.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
99.04/24.84	c lits-rem:       451  cl-subs:     2431  v-elim:      0  v-fix:    0  time:  0.30 s
99.04/24.84	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
99.04/24.85	c vivif2 --  cl tried    27143 cl shrink        0 lits rem          0 time: 0.00
99.84/25.00	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.15
99.84/25.00	c calculated reachability. Time: 0.00
99.84/25.00	c  N dy  1246    357968       135      5251         0     27143     22611    348013     10.71   no data
106.63/26.75	c  N dy  1303    380330       135      5251         0     47896     22611    659507     10.68     11.29
113.42/28.43	c  N dy  1368    400925       135      5251         0     42951     22611    582199     10.67     11.41
121.02/30.32	c  N dy  1435    421557       135      5251         0     37079     22611    487322     10.66     11.28
128.60/32.23	c  N dy  1495    442458       135      5251         0     30375     22611    384304     10.64     11.22
135.39/33.95	c  N dy  1549    462675       135      5251         0     49216     22611    667516     10.62     11.20
142.59/35.74	c  N dy  1625    482821       135      5251         0     40932     22611    540493     10.62     11.31
150.98/37.85	c  N dy  1705    503861       135      5251         0     32589     22611    402357     10.61     11.20
158.18/39.61	c  N dy  1775    524039       135      5251         0     51422     22611    689322     10.61     11.17
162.98/40.89	c  S st  1815    536953       135      5251         0     34542     22611    425407     10.60     10.57
163.36/40.94	c  S st  1815    537459       135      5251         0     35036     22611    433991     10.60   no data
163.36/40.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
163.36/40.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
163.36/40.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
163.36/40.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
163.36/40.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
163.36/40.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
163.36/40.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
163.36/40.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
163.36/40.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
164.95/41.33	c lits-rem:       459  cl-subs:     2369  v-elim:      0  v-fix:    0  time:  0.36 s
164.95/41.33	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
164.95/41.34	c vivif2 --  cl tried    32667 cl shrink        0 lits rem          0 time: 0.01
165.75/41.55	c asymm  cl-useful: 0/5251/5251 lits-rem:0 time: 0.21
165.75/41.55	c calculated reachability. Time: 0.00
165.75/41.55	c  N dy  1815    537459       135      5251         0     32667     22611    409365     10.60   no data
172.94/43.34	c  N dy  1874    557899       135      5251         0     51564     22611    687734     10.58     11.25
180.93/45.39	c  N dy  1957    578842       135      5251         0     41492     22611    528333     10.58     11.22
188.94/47.35	c  N dy  2017    598913       135      5251         0     60193     22611    805739     10.57     12.27
196.11/49.17	c  N dy  2083    618923       135      5251         0     48128     22611    621752     10.56     11.24
205.70/51.52	c  N dy  2142    642070       135      5251         0     37865     22611    455360     10.54     11.20
214.09/53.63	c  N dy  2210    664278       135      5251         0     58515     22611    757497     10.52     11.09
222.48/55.72	c  N dy  2296    684320       135      5251         0     44727     22611    558680     10.52     11.49
231.26/57.92	c  N dy  2368    704442       135      5251         0     63487     22611    840910     10.52     11.08
239.25/59.96	c  N dy  2438    724502       135      5251         0     48665     22611    608622     10.51     11.45
248.45/62.27	c  N dy  2521    744662       135      5251         0     67463     22611    887745     10.52     11.12
256.43/64.28	c  N dy  2587    764718       135      5251         0     51678     22611    650046     10.51     14.93
265.62/66.53	c  N dy  2644    785170       135      5251         0     70593     22611    925800     10.50     11.13
273.61/68.52	c  N dy  2687    805719       135      5251         0     54406     22611    677503     10.49     11.14
273.61/68.57	c  S st  2689    806188       135      5251         0     54835     22611    683799     10.49      9.12
274.01/68.63	c  S st  2689    806690       135      5251         0     55335     22611    692886     10.49   no data
274.01/68.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
274.01/68.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.01
274.01/68.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
274.01/68.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
274.01/68.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
274.01/68.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
274.01/68.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
274.01/68.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
274.01/68.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
280.40/70.24	c lits-rem:      1717  cl-subs:     6872  v-elim:      0  v-fix:    0  time:  1.56 s
280.40/70.24	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
280.40/70.25	c vivif2 --  cl tried    48463 cl shrink        0 lits rem          0 time: 0.01
281.22/70.45	c asymm  cl-useful: 0/2669/5251 lits-rem:0 time: 0.20
281.22/70.45	c calculated reachability. Time: 0.00
281.22/70.45	c  N dy  2689    806690       135      5251         0     48463     22611    618507     10.49   no data
290.41/72.77	c  N dy  2762    827696       135      5251         0     67994     22611    908391     10.49     11.05
299.57/75.08	c  N dy  2840    849602       135      5251         0     52257     22611    651249     10.48     11.13
309.96/77.63	c  N dy  2929    870379       135      5251         0     71606     22611    933873     10.48     11.09
320.35/80.24	c  N dy  2977    895838       135      5251         0     58103     22611    722859     10.46     11.03
331.53/83.04	c  N dy  3046    918245       135      5251         0     40818     22611    470634     10.45     11.06
339.53/85.03	c  N dy  3114    938247       135      5251         0     59333     22611    743693     10.44     11.04
349.91/87.63	c  N dy  3159    958607       135      5251         0     39277     22611    443731     10.43     11.05
357.89/89.63	c  N dy  3244    978952       135      5251         0     58174     22611    721940     10.43     11.04
367.88/92.14	c  N dy  3299    999828       135      5251         0     77469     22611    997014     10.42     10.99
377.47/94.50	c  N dy  3383   1020597       135      5251         0     56969     22611    699648     10.42     10.97
387.08/96.94	c  N dy  3464   1040680       135      5251         0     75581     22611    970700     10.42     10.97
396.64/99.34	c  N dy  3517   1061693       135      5251         0     54256     22611    647791     10.41     11.22
401.04/100.42	c  F st  3544   1071876       135      5251         0     63709     22611    782836     10.40      8.94
408.23/102.28	c  N dy  3574   1087877       135      5251         0     78595     22611   1003761     10.40     10.99
418.22/104.79	c  N dy  3654   1108387       135      5251         0     55862     22611    667789     10.40     10.95
428.60/107.30	c  N dy  3720   1130052       135      5251         0     75946     22611    955614     10.39     10.98
439.81/110.13	c  N dy  3800   1151574       135      5251         0     53329     22611    625732     10.39     11.07
449.37/112.53	c  N dy  3864   1172297       135      5251         0     72460     22611    900270     10.38     10.94
460.96/115.46	c  N dy  3915   1193156       135      5251         0     48157     22611    550064     10.37     10.92
468.95/117.40	c  S st  3981   1210035       135      5251         0     63865     22611    777951     10.37     10.16
468.95/117.48	c  S st  3981   1210539       135      5251         0     64367     22611    787810     10.37   no data
468.95/117.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
469.35/117.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
469.35/117.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
469.35/117.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
469.35/117.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
469.35/117.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
469.35/117.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
469.35/117.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
469.35/117.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
481.33/120.59	c lits-rem:      2672  cl-subs:     7624  v-elim:      0  v-fix:    0  time:  3.04 s
481.33/120.59	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
481.73/120.60	c vivif2 --  cl tried    56743 cl shrink        0 lits rem          0 time: 0.01
482.93/120.91	c asymm  cl-useful: 0/2582/5251 lits-rem:0 time: 0.31
482.93/120.92	c calculated reachability. Time: 0.00
482.93/120.92	c  N dy  3981   1210539       135      5251         0     56743     22611    707058     10.37   no data
494.51/123.89	c  N dy  4071   1231314       135      5251         0     76103     22611    989908     10.37     10.94
506.89/126.90	c  N dy  4149   1252031       135      5251         0     51090     22611    596913     10.37     10.94
516.08/129.29	c  N dy  4226   1272572       135      5251         0     70154     22611    870020     10.37     11.09
527.28/132.03	c  N dy  4276   1292665       135      5251         0     88731     22611   1128051     10.36     10.99
537.25/134.58	c  N dy  4369   1312753       135      5251         0     62143     22611    753882     10.36     11.01
547.24/137.08	c  N dy  4425   1332799       135      5251         0     80582     22611   1014087     10.36     13.29
559.63/140.17	c  N dy  4502   1352902       135      5251         0     52979     22611    615766     10.36     10.92
570.01/142.75	c  N dy  4573   1372990       135      5251         0     71586     22611    881168     10.36     11.63
581.99/145.78	c  N dy  4645   1393508       135      5251         0     90508     22611   1148214     10.35     10.93
592.78/148.48	c  N dy  4710   1413925       135      5251         0     62253     22611    740597     10.35     10.95
603.57/151.12	c  N dy  4798   1433933       135      5251         0     80775     22611   1006159     10.35     10.93
616.35/154.36	c  N dy  4867   1454352       135      5251         0     51548     22611    580990     10.35     10.97
625.54/156.69	c  N dy  4932   1475411       135      5251         0     70974     22611    860520     10.34     10.89
637.55/159.63	c  N dy  5015   1495491       135      5251         0     89526     22611   1123462     10.34     10.89
649.50/162.68	c  N dy  5094   1515921       135      5251         0     59417     22611    691975     10.34     10.91
659.89/165.23	c  N dy  5167   1536074       135      5251         0     78092     22611    957839     10.34     11.04
671.47/168.15	c  N dy  5215   1556153       135      5251         0     96627     22611   1211555     10.33     11.37
683.46/171.11	c  N dy  5288   1577381       135      5251         0     66265     22611    781856     10.33     10.92
693.85/173.80	c  N dy  5353   1597437       135      5251         0     84791     22611   1037545     10.33     10.90
708.22/177.36	c  N dy  5428   1618162       135      5251         0     53132     22611    594810     10.32     10.88
717.41/179.68	c  N dy  5482   1638258       135      5251         0     71562     22611    849647     10.32     12.06
729.00/182.55	c  N dy  5535   1658450       135      5251         0     90200     22611   1110430     10.31     10.95
743.00/186.01	c  N dy  5594   1679098       135      5251         0     57551     22611    654816     10.31     10.90
753.37/188.60	c  N dy  5658   1699900       135      5251         0     76776     22611    926793     10.30     10.91
759.35/190.10	c  S st  5695   1710541       135      5251         0     86523     22611   1060299     10.30      7.26
759.75/190.20	c  S st  5695   1711046       135      5251         0     87020     22611   1068820     10.30   no data
759.75/190.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
759.75/190.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
759.75/190.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
759.75/190.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
759.75/190.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
759.75/190.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
759.75/190.23	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
759.75/190.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
759.75/190.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
785.32/196.63	c lits-rem:      6161  cl-subs:    12943  v-elim:      0  v-fix:    0  time:  6.35 s
785.32/196.63	c vivif2 --  cl tried     5251 cl shrink        0 lits rem          0 time: 0.00
785.32/196.65	c vivif2 --  cl tried    74077 cl shrink        0 lits rem          0 time: 0.02
786.94/197.03	c asymm  cl-useful: 0/1983/5251 lits-rem:0 time: 0.38
786.94/197.03	c calculated reachability. Time: 0.00
786.94/197.03	c  N dy  5695   1711046       135      5251         0     74077     22611    929747     10.30   no data
802.50/200.96	c  N dy  5788   1731089       135      5251         0     92659     22611   1195935     10.30     12.47
818.08/204.88	c  N dy  5847   1753604       135      5251         0     61190     22611    707902     10.30     10.94
828.47/207.45	c  N dy  5899   1773671       135      5251         0     79658     22611    960618     10.29     10.85
840.44/210.47	c  N dy  5955   1794159       135      5251         0     98427     22611   1216713     10.28     10.90
853.62/213.74	c  N dy  6020   1814647       135      5251         0     64234     22611    754395     10.28     10.86
864.82/216.54	c  N dy  6094   1834768       135      5251         0     82767     22611   1009603     10.28     10.83
878.81/220.03	c  N dy  6174   1855218       135      5251         0    101586     22611   1273775     10.28     10.83
892.40/223.47	c  N dy  6234   1875456       135      5251         0     66040     22611    772350     10.27     10.89
903.97/226.37	c  N dy  6323   1895927       135      5251         0     84991     22611   1039498     10.27     10.85
917.14/229.67	c  N dy  6380   1916055       135      5251         0    103559     22611   1297119     10.27     10.85
929.93/232.89	c  N dy  6425   1936097       135      5251         0     66583     22611    763260     10.26     11.36
941.51/235.75	c  N dy  6507   1956398       135      5251         0     85357     22611   1024902     10.26     10.98
957.91/239.81	c  N dy  6581   1980884       135      5251         0    107950     22611   1331995     10.26     10.80
971.09/243.13	c  N dy  6662   2000948       135      5251         0     70307     22611    807898     10.26     13.22
982.26/245.92	c  N dy  6718   2021004       135      5251         0     88743     22611   1060023     10.25     10.82
995.04/249.18	c  N dy  6764   2041458       135      5251         0    107579     22611   1312759     10.25     10.86
1009.42/252.76	c  N dy  6842   2063035       135      5251         0     70244     22611    792270     10.24     10.95
1020.60/255.59	c  N dy  6901   2083160       135      5251         0     88723     22611   1040197     10.24     11.01
1034.58/259.01	c  N dy  6964   2103577       135      5251         0    107511     22611   1295959     10.23     10.80
1048.17/262.40	c  N dy  7024   2123759       135      5251         0     68145     22611    758603     10.23     10.78
1058.97/265.11	c  N dy  7088   2143773       135      5251         1     86564     22611   1009587     10.23     10.87
1072.16/268.41	c  N dy  7131   2164765       135      5251         2    105813     22611   1263741     10.22     10.93
1086.52/272.02	c  N dy  7155   2185584       135      5251         2     66027     22611    717163     10.21     10.80
1097.30/274.72	c  N dy  7219   2205674       135      5251         2     84510     22611    968286     10.21     10.76
1100.49/275.55	c  S st  7242   2211048       135      5251         2     89477     22611   1036963     10.21      9.73
1100.89/275.64	c  S st  7242   2211550       135      5251         2     89971     22611   1045304     10.21   no data
1100.89/275.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1100.89/275.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
1100.89/275.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1100.89/275.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1100.89/275.67	c subs with bin:        5  lits-rem:         0  v-fix:    0  time:  0.00 s
1100.89/275.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    135 time:  0.00 s
1100.89/275.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1100.89/275.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1101.69/275.86	c subs with bin:      682  lits-rem:      1445  v-fix:    0  time:  0.14 s
1124.46/281.58	c lits-rem:     10563  cl-subs:    13498  v-elim:      0  v-fix:    0  time:  5.72 s
1124.46/281.58	c vivif2 --  cl tried     5246 cl shrink        0 lits rem          0 time: 0.00
1124.46/281.59	c vivif2 --  cl tried    75791 cl shrink        0 lits rem          0 time: 0.01
1126.05/281.93	c asymm  cl-useful: 0/1551/5246 lits-rem:0 time: 0.34
1126.05/281.94	c calculated reachability. Time: 0.00
1126.05/281.94	c  N dy  7242   2211550       135      5246         2     75791     22600    890847     10.21   no data
1140.04/285.46	c  N dy  7291   2231721       135      5246         2     94402     22600   1139115     10.20     10.88
1158.01/289.99	c  N dy  7353   2253333       135      5246         2    114241     22600   1403421     10.20     10.75
1172.80/293.63	c  N dy  7415   2274215       135      5246         2     74302     22600    827306     10.19     10.74
1180.39/295.52	c Finding binary XORs  T:     0.00 s  found:       0
1184.78/296.60	c  N dy  7478   2294245       135      5246         3     92791     22600   1075788     10.19     11.18
1198.36/300.09	c  N dy  7536   2314500       135      5246         3    111283     22600   1318512     10.18     10.73
1213.54/303.83	c  N dy  7583   2335025       135      5246         4     69694     22600    758636     10.18     10.75
1224.73/306.62	c  N dy  7618   2355508       135      5246         5     88402     22600    998771     10.17     10.77
1238.71/310.11	c  N dy  7661   2375521       135      5246         5    106617     22600   1237412     10.16     10.75
1254.68/314.18	c  N dy  7705   2395622       135      5246         5     63723     22600    667104     10.15     10.70
1265.49/316.89	c  N dy  7741   2416512       135      5246         5     82818     22600    912504     10.15     10.69
1276.26/319.51	c Finding binary XORs  T:     0.00 s  found:       0
1277.86/319.98	c  N dy  7782   2436569       135      5246         6    101151     22600   1145108     10.14     11.06
1288.64/322.65	c Finding binary XORs  T:     0.00 s  found:       0
1291.86/323.46	c  N dy  7818   2457163       135      5246        11    119990     22600   1384420     10.13     10.67
1301.04/325.78	c Finding binary XORs  T:     0.00 s  found:       0
1305.82/326.91	c  N dy  7856   2477541       135      5246        15     76559     22600    820270     10.12     10.74
1316.21/329.56	c Finding binary XORs  T:     0.00 s  found:       0
1317.41/329.87	c  N dy  7895   2497629       135      5246        19     94912     22600   1054548     10.11     10.68
1325.39/331.89	c Finding binary XORs  T:     0.00 s  found:       0
1331.40/333.32	c  N dy  7922   2518009       134      5126        14    101576     22145   1148323     10.10     10.78
1338.58/335.12	c Finding binary XORs  T:     0.00 s  found:       0
1346.56/337.12	c  N dy  7959   2538015       134      5126        21     62702     22145    640237     10.10     10.73
1348.97/337.73	c Finding binary XORs  T:     0.00 s  found:       0
1356.54/339.64	c Finding binary XORs  T:     0.00 s  found:       0
1357.35/339.80	c  N dy  7973   2558457       133      5008        27     70605     21700    746775     10.08     10.66
1361.35/340.89	c Finding binary XORs  T:     0.00 s  found:       0
1365.74/341.98	c Finding binary XORs  T:     0.00 s  found:       0
1368.94/342.78	c  N dy  7980   2579733       129      4552        22     61345     19966    658202     10.06     10.81
1370.95/343.25	c Finding binary XORs  T:     0.00 s  found:       0
1377.32/344.87	c Finding binary XORs  T:     0.00 s  found:       0
1377.32/344.87	c Following stats are for *FIRST FINISHED THREAD ONLY*
1377.32/344.87	c num threads              : 4          
1377.32/344.87	c restarts                 : 8182       
1377.32/344.87	c dynamic restarts         : 8152       
1377.32/344.87	c static restarts          : 30         
1377.32/344.87	c full restarts            : 4          
1377.32/344.87	c total simplify time      : 0.57       
1377.32/344.87	c learnts DL2              : 0          
1377.32/344.87	c learnts size 2           : 109        
1377.32/344.87	c learnts size 1           : 15          (11.11     % of vars)
1377.32/344.87	c filedLit time            : 0.18        (0.05      % time)
1377.32/344.87	c v-elim SatELite          : 0           (0.00      % vars)
1377.32/344.87	c SatELite time            : 22.62       (6.60      % time)
1377.32/344.87	c v-elim xor               : 0           (0.00      % vars)
1377.32/344.87	c xor elim time            : 0.03        (0.01      % time)
1377.32/344.87	c num binary xor trees     : 0          
1377.32/344.87	c binxor trees' crown      : 0           (nan       leafs/tree)
1377.32/344.87	c bin xor find time        : 0.00       
1377.32/344.87	c OTF clause improved      : 187633      (0.07      clauses/conflict)
1377.32/344.87	c OTF impr. size diff      : 205087      (1.09       lits/clause)
1377.32/344.87	c OTF cl watch-shrink      : 1882318     (0.74      clauses/conflict)
1377.32/344.87	c OTF cl watch-sh-lit      : 5574211     (2.96       lits/clause)
1377.32/344.87	c tried to recurMin cls    : 183382      (7.20       % of conflicts)
1377.32/344.87	c updated cache            : 1162        (0.01       lits/tried recurMin)
1377.32/344.87	c unit cls recevied        : 6           (40.00     % of units)
1377.32/344.87	c unit cls sent            : 2           (13.33     % of units)
1377.32/344.87	c bin cls recevied         : 41         
1377.32/344.87	c bin cls sent             : 26         
1377.32/344.87	c clauses over max glue    : 0           (0.00      % of all clauses)
1377.32/344.87	c conflicts                : 2548053     (7433.78   / sec)
1377.32/344.87	c decisions                : 3156676     (0.28      % random)
1377.32/344.87	c bogo-props               : 64151482579 (187157757.25 / sec)
1377.32/344.87	c conflict literals        : 36254732    (47.53     % deleted)
1377.32/344.87	c Memory used              : 359.67      MB
1377.32/344.87	c single-thread CPU time   : 342.77      s
1377.32/344.87	c all-threads sum CPU time : 1376.71     s
1377.32/344.87	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-3262639-1304123444/watcher-3262639-1304123444 -o /tmp/evaluation-result-3262639-1304123444/solver-3262639-1304123444 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3262639-1304123444.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: 3.71 4.85 6.30 5/180 4950
/proc/meminfo: memFree=31186108/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 408 0 0 0 0 0 0 0 23 0 4 0 523943149 52441088 347 33554432000 4194304 4627427 140736526490608 18446744073709551615 47615766128562 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 12803 347 299 106 0 7774 0
[pid=4950/tid=4951] ppid=4948 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 523943149 52441088 347 33554432000 4194304 4627427 140736526490608 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 523943149 52441088 347 33554432000 4194304 4627427 140736526490608 18446744073709551615 235606664246 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 523943149 52441088 347 33554432000 4194304 4627427 140736526490608 18446744073709551615 47615766128556 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.101911 s]
/proc/loadavg: 3.71 4.85 6.30 5/180 4950
/proc/meminfo: memFree=31186108/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=282004 CPUtime=0.38 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 2165 0 0 0 38 0 0 0 24 0 4 0 523943149 288772096 1949 33554432000 4194304 4627427 140736526490608 18446744073709551615 4327592 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 70501 1949 384 106 0 65472 0
[pid=4950/tid=4951] ppid=4948 vsize=282004 CPUtime=0.09 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 496 0 0 0 9 0 0 0 25 0 4 0 523943149 288772096 1949 33554432000 4194304 4627427 140736526490608 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=282004 CPUtime=0.09 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 471 0 0 0 9 0 0 0 18 0 4 0 523943149 288772096 1949 33554432000 4194304 4627427 140736526490608 18446744073709551615 4327756 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=282004 CPUtime=0.09 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 262 0 0 0 9 0 0 0 25 0 4 0 523943149 288772096 1949 33554432000 4194304 4627427 140736526490608 18446744073709551615 4348160 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282004

[startup+0.200893 s]
/proc/loadavg: 3.71 4.85 6.30 5/180 4950
/proc/meminfo: memFree=31186108/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=283688 CPUtime=0.77 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 2830 0 0 0 77 0 0 0 24 0 4 0 523943149 290496512 2083 33554432000 4194304 4627427 140736526490608 18446744073709551615 4327365 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 70922 2083 385 106 0 65893 0
[pid=4950/tid=4951] ppid=4948 vsize=283688 CPUtime=0.19 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 678 0 0 0 19 0 0 0 25 0 4 0 523943149 290496512 2083 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=283688 CPUtime=0.19 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 637 0 0 0 19 0 0 0 18 0 4 0 523943149 290496512 2083 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=283688 CPUtime=0.19 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 405 0 0 0 19 0 0 0 25 0 4 0 523943149 290496512 2083 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283688

[startup+0.300875 s]
/proc/loadavg: 3.71 4.85 6.30 5/180 4950
/proc/meminfo: memFree=31186108/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=283864 CPUtime=1.17 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 3140 0 0 0 117 0 0 0 25 0 4 0 523943149 290676736 2393 33554432000 4194304 4627427 140736526490608 18446744073709551615 4333807 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 70966 2393 385 106 0 65937 0
[pid=4950/tid=4951] ppid=4948 vsize=283864 CPUtime=0.29 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 759 0 0 0 29 0 0 0 25 0 4 0 523943149 290676736 2393 33554432000 4194304 4627427 140736526490608 18446744073709551615 4324648 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=283864 CPUtime=0.29 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 712 0 0 0 29 0 0 0 18 0 4 0 523943149 290676736 2393 33554432000 4194304 4627427 140736526490608 18446744073709551615 4327413 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=283864 CPUtime=0.29 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 488 0 0 0 29 0 0 0 25 0 4 0 523943149 290676736 2393 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283864

[startup+0.700807 s]
/proc/loadavg: 3.71 4.85 6.30 5/180 4950
/proc/meminfo: memFree=31186108/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=284920 CPUtime=2.78 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 5162 0 0 0 277 1 0 0 25 0 4 0 523943149 291758080 2738 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 71230 2738 385 106 0 66201 0
[pid=4950/tid=4951] ppid=4948 vsize=284920 CPUtime=0.68 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 1271 0 0 0 68 0 0 0 25 0 4 0 523943149 291758080 2738 33554432000 4194304 4627427 140736526490608 18446744073709551615 4326177 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=284920 CPUtime=0.68 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 1228 0 0 0 68 0 0 0 18 0 4 0 523943149 291758080 2738 33554432000 4194304 4627427 140736526490608 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=284920 CPUtime=0.69 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 983 0 0 0 69 0 0 0 25 0 4 0 523943149 291758080 2738 33554432000 4194304 4627427 140736526490608 18446744073709551615 4327603 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284920

[startup+1.50067 s]
/proc/loadavg: 3.71 4.85 6.30 9/184 4954
/proc/meminfo: memFree=31148504/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=285956 CPUtime=5.97 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 9808 0 0 0 595 2 0 0 25 0 4 0 523943149 292818944 5200 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 71489 5200 389 106 0 66460 0
[pid=4950/tid=4951] ppid=4948 vsize=285956 CPUtime=1.48 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 2936 0 0 0 148 0 0 0 25 0 4 0 523943149 292818944 5200 33554432000 4194304 4627427 140736526490608 18446744073709551615 4427838 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=285956 CPUtime=1.48 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 1940 0 0 0 148 0 0 0 20 0 4 0 523943149 292818944 5200 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=285956 CPUtime=1.49 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 1699 0 0 0 149 0 0 0 25 0 4 0 523943149 292818944 5200 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285956

[startup+3.10039 s]
/proc/loadavg: 3.71 4.85 6.30 9/184 4954
/proc/meminfo: memFree=31124188/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=287192 CPUtime=12.36 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 18836 0 0 0 1233 3 0 0 25 0 4 0 523943149 294084608 10330 33554432000 4194304 4627427 140736526490608 18446744073709551615 4327629 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 71798 10330 389 106 0 66769 0
[pid=4950/tid=4951] ppid=4948 vsize=287192 CPUtime=3.07 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 5098 0 0 0 307 0 0 0 25 0 4 0 523943149 294084608 10331 33554432000 4194304 4627427 140736526490608 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=287192 CPUtime=3.08 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 4487 0 0 0 308 0 0 0 25 0 4 0 523943149 294084608 10331 33554432000 4194304 4627427 140736526490608 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=287192 CPUtime=3.08 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 4127 0 0 0 308 0 0 0 25 0 4 0 523943149 294084608 10331 33554432000 4194304 4627427 140736526490608 18446744073709551615 4333594 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 287192

[startup+6.30083 s]
/proc/loadavg: 4.05 4.91 6.31 9/184 4954
/proc/meminfo: memFree=31060700/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=288436 CPUtime=25.15 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 28671 0 0 0 2510 5 0 0 25 0 4 0 523943149 295358464 12292 33554432000 4194304 4627427 140736526490608 18446744073709551615 4350176 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 72109 12292 389 106 0 67080 0
[pid=4950/tid=4951] ppid=4948 vsize=288436 CPUtime=6.26 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 6997 0 0 0 625 1 0 0 25 0 4 0 523943149 295358464 12292 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=288436 CPUtime=6.29 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 7117 0 0 0 628 1 0 0 25 0 4 0 523943149 295358464 12292 33554432000 4194304 4627427 140736526490608 18446744073709551615 4249224 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=288436 CPUtime=6.29 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 7205 0 0 0 628 1 0 0 25 0 4 0 523943149 295358464 12292 33554432000 4194304 4627427 140736526490608 18446744073709551615 4427131 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 288436

[startup+12.7007 s]
/proc/loadavg: 4.37 4.96 6.32 9/184 4954
/proc/meminfo: memFree=31031212/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=290392 CPUtime=50.71 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 43571 0 0 0 5064 7 0 0 25 0 4 0 523943149 297361408 14342 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 72598 14342 389 106 0 67569 0
[pid=4950/tid=4951] ppid=4948 vsize=290392 CPUtime=12.62 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 10723 0 0 0 1260 2 0 0 25 0 4 0 523943149 297361408 14342 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=290392 CPUtime=12.69 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 11361 0 0 0 1267 2 0 0 25 0 4 0 523943149 297361408 14343 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=290392 CPUtime=12.68 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 10297 0 0 0 1267 1 0 0 25 0 4 0 523943149 297361408 14343 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 290392

[startup+25.5005 s]
/proc/loadavg: 5.17 5.11 6.34 9/184 4954
/proc/meminfo: memFree=30995464/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=293384 CPUtime=101.84 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 67519 0 0 0 10172 12 0 0 25 0 4 0 523943149 300425216 16665 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 73346 16665 389 106 0 68317 0
[pid=4950/tid=4951] ppid=4948 vsize=293384 CPUtime=25.35 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 17034 0 0 0 2532 3 0 0 25 0 4 0 523943149 300425216 16665 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=293384 CPUtime=25.48 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 16832 0 0 0 2545 3 0 0 25 0 4 0 523943149 300425216 16665 33554432000 4194304 4627427 140736526490608 18446744073709551615 4327583 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=293384 CPUtime=25.49 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 15902 0 0 0 2547 2 0 0 25 0 4 0 523943149 300425216 16665 33554432000 4194304 4627427 140736526490608 18446744073709551615 4327583 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 293384

[startup+51.101 s]
/proc/loadavg: 6.14 5.34 6.39 9/184 4955
/proc/meminfo: memFree=30949248/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=307856 CPUtime=204.1 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 103646 0 0 0 20390 20 0 0 25 0 4 0 523943149 315244544 22052 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309234 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 76964 22052 389 106 0 71935 0
[pid=4950/tid=4951] ppid=4948 vsize=307856 CPUtime=50.8 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 27339 0 0 0 5075 5 0 0 25 0 4 0 523943149 315244544 22052 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=307856 CPUtime=51.08 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 26387 0 0 0 5103 5 0 0 25 0 4 0 523943149 315244544 22052 33554432000 4194304 4627427 140736526490608 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=307856 CPUtime=51.09 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 24585 0 0 0 5104 5 0 0 25 0 4 0 523943149 315244544 22052 33554432000 4194304 4627427 140736526490608 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 307856

[startup+102.301 s]
/proc/loadavg: 7.23 5.76 6.47 9/184 4957
/proc/meminfo: memFree=30865860/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=310588 CPUtime=408.65 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 162614 0 0 0 40827 38 0 0 25 0 4 0 523943149 318042112 27923 33554432000 4194304 4627427 140736526490608 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 77647 27923 389 106 0 72618 0
[pid=4950/tid=4951] ppid=4948 vsize=310588 CPUtime=101.74 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 41643 0 0 0 10164 10 0 0 25 0 4 0 523943149 318042112 27923 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=310588 CPUtime=102.29 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 41550 0 0 0 10219 10 0 0 25 0 4 0 523943149 318042112 27923 33554432000 4194304 4627427 140736526490608 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=310588 CPUtime=102.3 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 40880 0 0 0 10220 10 0 0 25 0 4 0 523943149 318042112 27923 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 310588

[startup+162.3 s]
/proc/loadavg: 7.72 6.17 6.57 9/184 4958
/proc/meminfo: memFree=30782344/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=312444 CPUtime=648.3 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 224247 0 0 0 64776 54 0 0 25 0 4 0 523943149 319942656 40039 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 78111 40039 389 106 0 73082 0
[pid=4950/tid=4951] ppid=4948 vsize=312444 CPUtime=161.41 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 57346 0 0 0 16128 13 0 0 25 0 4 0 523943149 319942656 40039 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=312444 CPUtime=162.28 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 57390 0 0 0 16214 14 0 0 25 0 4 0 523943149 319942656 40039 33554432000 4194304 4627427 140736526490608 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=312444 CPUtime=162.29 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 57039 0 0 0 16214 15 0 0 25 0 4 0 523943149 319942656 40039 33554432000 4194304 4627427 140736526490608 18446744073709551615 4327756 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.3
Current children cumulated vsize (KiB) 312444

[startup+222.307 s]
/proc/loadavg: 7.89 6.50 6.65 10/184 4960
/proc/meminfo: memFree=30730076/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=367536 CPUtime=888.01 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 272959 0 0 0 88732 69 0 0 25 0 4 0 523943149 376356864 47518 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 91884 47518 389 106 0 86855 0
[pid=4950/tid=4951] ppid=4948 vsize=367536 CPUtime=221.09 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 70365 0 0 0 22091 18 0 0 25 0 4 0 523943149 376356864 47518 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=367536 CPUtime=222.28 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 68544 0 0 0 22211 17 0 0 25 0 4 0 523943149 376356864 47518 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=367536 CPUtime=222.3 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 68817 0 0 0 22212 18 0 0 25 0 4 0 523943149 376356864 47518 33554432000 4194304 4627427 140736526490608 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 888.01
Current children cumulated vsize (KiB) 367536

[startup+282.3 s]
/proc/loadavg: 7.96 6.77 6.73 9/184 4961
/proc/meminfo: memFree=30672364/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=367924 CPUtime=1127.65 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 311682 0 0 0 112684 81 0 0 25 0 4 0 523943149 376754176 52423 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 91981 52423 389 106 0 86952 0
[pid=4950/tid=4951] ppid=4948 vsize=367924 CPUtime=280.76 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 79739 0 0 0 28055 21 0 0 25 0 4 0 523943149 376754176 52423 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=367924 CPUtime=282.28 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 78572 0 0 0 28207 21 0 0 25 0 4 0 523943149 376754176 52423 33554432000 4194304 4627427 140736526490608 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=367924 CPUtime=282.3 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 80125 0 0 0 28209 21 0 0 25 0 4 0 523943149 376754176 52423 33554432000 4194304 4627427 140736526490608 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1127.65
Current children cumulated vsize (KiB) 367924

[startup+342.301 s]
/proc/loadavg: 8.10 7.02 6.82 9/184 4963
/proc/meminfo: memFree=30661260/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=368296 CPUtime=1367.34 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 340116 0 0 0 136642 92 0 0 25 0 4 0 523943149 377135104 53130 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 92074 53130 389 106 0 87045 0
[pid=4950/tid=4951] ppid=4948 vsize=368296 CPUtime=340.43 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 86873 0 0 0 34020 23 0 0 25 0 4 0 523943149 377135104 53130 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=368296 CPUtime=342.28 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 86147 0 0 0 34204 24 0 0 25 0 4 0 523943149 377135104 53130 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=368296 CPUtime=342.29 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 88016 0 0 0 34205 24 0 0 25 0 4 0 523943149 377135104 53130 33554432000 4194304 4627427 140736526490608 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1367.34
Current children cumulated vsize (KiB) 368296

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

[startup+342.401 s]
/proc/loadavg: 8.10 7.02 6.82 9/184 4963
/proc/meminfo: memFree=30661260/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=368296 CPUtime=1367.74 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 340121 0 0 0 136682 92 0 0 25 0 4 0 523943149 377135104 53135 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 92074 53135 389 106 0 87045 0
[pid=4950/tid=4951] ppid=4948 vsize=368296 CPUtime=340.53 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 86878 0 0 0 34030 23 0 0 25 0 4 0 523943149 377135104 53135 33554432000 4194304 4627427 140736526490608 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=368296 CPUtime=342.38 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 86147 0 0 0 34214 24 0 0 25 0 4 0 523943149 377135104 53135 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=368296 CPUtime=342.39 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 88016 0 0 0 34215 24 0 0 25 0 4 0 523943149 377135104 53135 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1367.74
Current children cumulated vsize (KiB) 368296

[startup+344 s]
/proc/loadavg: 8.10 7.02 6.82 9/184 4963
/proc/meminfo: memFree=30657168/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=368296 CPUtime=1374.13 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 340217 0 0 0 137321 92 0 0 25 0 4 0 523943149 377135104 51443 33554432000 4194304 4627427 140736526490608 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 92074 51443 389 106 0 87045 0
[pid=4950/tid=4951] ppid=4948 vsize=368296 CPUtime=342.12 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 86954 0 0 0 34189 23 0 0 25 0 4 0 523943149 377135104 51443 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=368296 CPUtime=343.98 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 86167 0 0 0 34374 24 0 0 25 0 4 0 523943149 377135104 51443 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=368296 CPUtime=343.99 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 88016 0 0 0 34375 24 0 0 25 0 4 0 523943149 377135104 51443 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1374.13
Current children cumulated vsize (KiB) 368296

[startup+344.406 s]
/proc/loadavg: 8.10 7.02 6.82 9/184 4963
/proc/meminfo: memFree=30660268/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=368296 CPUtime=1375.75 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 340217 0 0 0 137483 92 0 0 25 0 4 0 523943149 377135104 51443 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309206 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 92074 51443 389 106 0 87045 0
[pid=4950/tid=4951] ppid=4948 vsize=368296 CPUtime=342.52 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 86954 0 0 0 34229 23 0 0 25 0 4 0 523943149 377135104 51443 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=368296 CPUtime=344.39 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 86167 0 0 0 34415 24 0 0 25 0 4 0 523943149 377135104 51443 33554432000 4194304 4627427 140736526490608 18446744073709551615 4327616 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=368296 CPUtime=344.4 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 88016 0 0 0 34416 24 0 0 25 0 4 0 523943149 377135104 51443 33554432000 4194304 4627427 140736526490608 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1375.75
Current children cumulated vsize (KiB) 368296

[startup+344.8 s]
/proc/loadavg: 8.10 7.02 6.82 9/184 4963
/proc/meminfo: memFree=30660268/32950928 swapFree=67111404/67111528
[pid=4950] ppid=4948 vsize=368296 CPUtime=1377.32 cores=1,3,5,7
/proc/4950/stat : 4950 (strangenight2-m) R 4948 4950 4213 0 -1 4202496 340217 0 0 0 137640 92 0 0 25 0 4 0 523943149 377135104 51443 33554432000 4194304 4627427 140736526490608 18446744073709551615 4324205 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4950/statm: 92074 51443 389 106 0 87045 0
[pid=4950/tid=4951] ppid=4948 vsize=368296 CPUtime=342.92 cores=1,3,5,7
/proc/4950/task/4951/stat : 4951 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 86954 0 0 0 34269 23 0 0 25 0 4 0 523943149 377135104 51443 33554432000 4194304 4627427 140736526490608 18446744073709551615 4324294 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4950/tid=4952] ppid=4948 vsize=368296 CPUtime=344.78 cores=1,3,5,7
/proc/4950/task/4952/stat : 4952 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 86167 0 0 0 34454 24 0 0 25 0 4 0 523943149 377135104 51443 33554432000 4194304 4627427 140736526490608 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4950/tid=4953] ppid=4948 vsize=368296 CPUtime=344.79 cores=1,3,5,7
/proc/4950/task/4953/stat : 4953 (strangenight2-m) R 4948 4950 4213 0 -1 4202560 88016 0 0 0 34455 24 0 0 25 0 4 0 523943149 377135104 51443 33554432000 4194304 4627427 140736526490608 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1377.32
Current children cumulated vsize (KiB) 368296

Child status: 20
Real time (s): 344.886
CPU time (s): 1377.64
CPU user time (s): 1376.71
CPU system time (s): 0.931858
CPU usage (%): 399.448
Max. virtual memory (cumulated for all children) (KiB): 433460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1376.71
system time used= 0.931858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 340220
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= 644
involuntary context switches= 5362

runsolver used 0.562914 second user time and 1.3308 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-30 02:30:44
IDJOB=3262639
IDBENCH=83361
IDSOLVER=1586
FILE ID=node120/3262639-1304123444
RUNJOBID= node120-1304123444-4928
PBS_JOBID= 13170710
Free space on /tmp= 72068 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262639-1304123444/watcher-3262639-1304123444 -o /tmp/evaluation-result-3262639-1304123444/solver-3262639-1304123444 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3262639-1304123444.cnf

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

MD5SUM BENCH= f20ed0313cfa494f86b5c8ef723973ee
RANDOM SEED=394176740

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31186264 kB
Buffers:        503868 kB
Cached:         821220 kB
SwapCached:          8 kB
Active:         433356 kB
Inactive:       972480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31186264 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:           12096 kB
Writeback:           0 kB
AnonPages:       81072 kB
Mapped:          15468 kB
Slab:           295996 kB
PageTables:       4716 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   282648 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= 72064 MiB
End job on node120 at 2011-04-30 02:36:29