Trace number 3265631

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 3551.31 889.171

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn009.shuffled-as.sat05-3849.cnf
MD5SUMf2a1eb7937a7cda114ce344a30ca1145
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark824.93
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of clauses18718
Sum of the clauses size134151
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2435
Number of clauses of size 32341
Number of clauses of size 4498
Number of clauses of size 5677
Number of clauses of size over 514725

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-3265631-1304129485.cnf'
0.00/0.00	c -- header says num vars:           2969
0.00/0.00	c -- header says num clauses:       18718
0.53/0.14	c -- clauses added:            0 learnts,        18718 normals,            0 xors
0.53/0.14	c -- vars added       2969
0.53/0.14	c Parsing time:  0.01 s
0.53/0.14	c  N st     0         0      2969     17259      1118         0    132209         0   no data   no data
0.53/0.14	c asymm  cl-useful: 1331/16139/16139 lits-rem:1978 time: 0.12
0.53/0.14	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
0.53/0.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.58/0.43	c bin-w-bin subsume rem         1011 bins  time:  0.00 s
1.58/0.43	c subs with bin:       24  lits-rem:       125  v-fix:    0  time:  0.00 s
1.58/0.43	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:   2912 time:  0.00 s
1.58/0.43	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1.58/0.43	c lits-rem:      6910  cl-subs:     3381  v-elim:    195  v-fix:    0  time:  0.03 s
1.58/0.43	c Finding binary XORs  T:     0.00 s  found:       0
1.58/0.43	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.58/0.43	c calculated reachability. Time: 0.00
1.58/0.43	c Calc default polars -  time:   0.00 s pos:     989 undec:     946 neg:    1034
1.58/0.43	c =========================================================================================
1.58/0.43	c types(t): F = full restart, N = normal restart
1.58/0.43	c types(t): S = simplification begin/end, E = solution found
1.58/0.43	c restart types(rt): st = static, dy = dynamic
1.58/0.43	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.58/0.43	c  B st     0         0      2717     12513      1073         0     91022         0   no data   no data
3.97/1.03	c  N dy    14      4475      2717     12513      1101      4287     91006     59367      6.80      7.30
3.97/1.03	c  N dy    33      8507      2717     12513      1178      5761     91000     71367      6.70      7.25
3.97/1.03	c  N dy    60     12744      2717     12513      1311      5752     90997     63067      6.80      7.39
3.97/1.03	c  N dy    91     16988      2717     12513      1327      9877     90994    127561      7.06      7.46
3.97/1.03	c  N dy   122     21062      2717     12513      1396      8403     90994     97928      7.22      8.92
3.97/1.03	c  F st   153     25000      2717     12513      1499     12221     90991    157399      7.32   no data
3.97/1.03	c  N st   154     25250      2717     12513      1499     12466     90991    163667      7.32   no data
4.79/1.23	c  N dy   159     30000      2717     12513      1522     10544     90990    148903      7.32   no data
4.79/1.23	c  S st   159     30000      2717     12513      1522     10544     90990    148903      7.32   no data
5.17/1.33	c  S st   159     30502      2717     12513      1562     11004     90989    154480      7.32   no data
5.17/1.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   41 Bins:    913 BRemL:     12 BRemN:      0 P:  0.6M T:  0.02
5.17/1.33	c Replacing       41 vars Replaced    13876 lits Time:     0.01 s 
5.17/1.33	c blocked clauses removed:      405 vars:    242 tried:        2676 T: 0.00 s
5.17/1.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.33	c subs with bin:      134  lits-rem:       727  v-fix:    0  time:  0.00 s
5.17/1.33	c Subs w/ non-existent bins:      0 l-rem:      3 v-fix:     0 done:   2434 time:  0.00 s
5.17/1.33	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
5.17/1.33	c lits-rem:       842  cl-subs:      365  v-elim:     55  v-fix:    0  time:  0.02 s
5.57/1.43	c subs with bin:      343  lits-rem:      4472  v-fix:    0  time:  0.03 s
5.57/1.43	c lits-rem:       978  cl-subs:      754  v-elim:      0  v-fix:    0  time:  0.06 s
6.76/1.73	c asymm  cl-useful: 87/11421/11421 lits-rem:93 time: 0.25
6.76/1.73	c calculated reachability. Time: 0.00
6.76/1.73	c  N dy   159     30502      2379     11421      2249      9639     81538    136805      7.32   no data
6.76/1.73	c Finding binary XORs  T:     0.00 s  found:       3
7.16/1.85	c  N dy   189     34543      2379     11421      2413     13556     81538    204982      7.45      7.97
7.97/2.09	c  N dy   226     38570      2379     11421      2479     10014     81538    116050      7.67     10.03
9.19/2.35	c  N dy   262     42650      2379     11421      2567     14005     81538    201048      7.90     12.52
9.96/2.59	c  S st   290     45755      2379     11421      2579     17028     81538    265581      8.03     13.03
10.36/2.64	c  S st   290     46259      2379     11421      2582      8906     81538     74152      8.03   no data
10.36/2.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.36/2.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:     58 BRemL:     16 BRemN:      0 P:  0.6M T:  0.01
10.36/2.65	c Replacing        8 vars Replaced     2355 lits Time:     0.00 s 
10.36/2.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.36/2.66	c bin-w-bin subsume rem          100 bins  time:  0.00 s
10.36/2.66	c subs with bin:       15  lits-rem:        26  v-fix:    0  time:  0.00 s
10.36/2.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2371 time:  0.00 s
10.36/2.66	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
10.36/2.67	c lits-rem:       271  cl-subs:       72  v-elim:     46  v-fix:    0  time:  0.01 s
10.36/2.69	c subs with bin:      367  lits-rem:       518  v-fix:    0  time:  0.01 s
10.76/2.70	c lits-rem:       146  cl-subs:      266  v-elim:      0  v-fix:    0  time:  0.01 s
10.76/2.70	c vivif2 --  cl tried    11328 cl shrink        0 lits rem          0 time: 0.00
10.76/2.71	c vivif2 --  cl tried     8270 cl shrink        5 lits rem          5 time: 0.00
11.56/2.95	c asymm  cl-useful: 34/11328/11328 lits-rem:34 time: 0.25
11.56/2.95	c calculated reachability. Time: 0.00
11.56/2.95	c  N dy   290     46259      2325     11328      2507      8270     80334     69958      8.03   no data
12.36/3.19	c  N dy   325     50264      2325     11328      2585     12186     80334    149479      8.18      9.99
12.76/3.28	c Finding binary XORs  T:     0.00 s  found:       0
13.96/3.50	c  N dy   359     54378      2325     11328      2600     16183     80334    230714      8.29      8.76
15.16/3.87	c  N dy   396     58539      2325     11328      2652     10575     80334     96701      8.42      8.94
16.36/4.16	c  N dy   431     62568      2325     11328      2690     14531     80334    183101      8.54     10.61
17.98/4.54	c  N dy   467     66660      2325     11328      2706     18556     80334    272106      8.63     10.21
19.15/4.84	c  S st   493     69388      2325     11328      2750     21238     80334    335717      8.72   no data
19.15/4.89	c  S st   493     69889      2325     11328      2754     11008     80334     90602      8.72   no data
19.15/4.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.55/4.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:      3 BRemN:      0 P:  0.7M T:  0.02
19.55/4.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
19.55/4.91	c bin-w-bin subsume rem           43 bins  time:  0.00 s
19.55/4.92	c subs with bin:        7  lits-rem:         3  v-fix:    0  time:  0.00 s
19.55/4.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2325 time:  0.00 s
19.55/4.92	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
19.55/4.93	c lits-rem:        34  cl-subs:       18  v-elim:      4  v-fix:    0  time:  0.01 s
19.55/4.94	c subs with bin:      500  lits-rem:       399  v-fix:    0  time:  0.01 s
19.55/4.96	c lits-rem:       166  cl-subs:      279  v-elim:      0  v-fix:    0  time:  0.01 s
19.55/4.96	c vivif2 --  cl tried    11297 cl shrink        0 lits rem          0 time: 0.00
19.55/4.96	c vivif2 --  cl tried    10235 cl shrink        3 lits rem          3 time: 0.00
20.75/5.27	c asymm  cl-useful: 58/11297/11297 lits-rem:58 time: 0.31
20.75/5.27	c calculated reachability. Time: 0.00
20.75/5.27	c  N dy   493     69889      2321     11297      2716     10235     79961     86228      8.72   no data
21.96/5.57	c Finding binary XORs  T:     0.00 s  found:       0
21.96/5.59	c  N dy   529     74424      2321     11297      2781     14664     79961    183599      8.79      9.26
23.95/6.05	c  N dy   570     79219      2321     11297      2817     19354     79961    289006      8.88     11.22
26.36/6.64	c  N dy   617     84322      2321     11297      2824     12652     79961    119818      9.01     12.34
27.54/6.91	c  F st   646     87501      2321     11297      2839     15782     79961    193648      9.06   no data
28.74/7.24	c  N st   651     90795      2321     11297      2839     19018     79961    269681      9.06   no data
31.54/7.90	c  N dy   686     96622      2321     11297      2841     24732     79961    398635      9.12     10.50
33.94/8.53	c  N dy   739    102845      2321     11297      2849     18115     79961    226912      9.21     10.48
34.74/8.75	c  S st   759    104834      2321     11297      2859     20087     79961    274467      9.25   no data
35.15/8.81	c  S st   759    105334      2321     11297      2860     20581     79961    284573      9.25   no data
35.15/8.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.15/8.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
35.15/8.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
35.15/8.84	c bin-w-bin subsume rem           15 bins  time:  0.00 s
35.15/8.84	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
35.15/8.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2321 time:  0.00 s
35.15/8.84	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
35.15/8.85	c lits-rem:        47  cl-subs:       20  v-elim:      6  v-fix:    0  time:  0.01 s
35.55/8.94	c subs with bin:      460  lits-rem:       493  v-fix:    0  time:  0.08 s
35.93/9.04	c lits-rem:       355  cl-subs:      522  v-elim:      0  v-fix:    0  time:  0.09 s
35.93/9.04	c vivif2 --  cl tried    11266 cl shrink        0 lits rem          0 time: 0.00
35.93/9.04	c vivif2 --  cl tried    19604 cl shrink       33 lits rem         33 time: 0.01
37.53/9.45	c asymm  cl-useful: 33/8277/11266 lits-rem:34 time: 0.41
37.53/9.45	c calculated reachability. Time: 0.00
37.53/9.45	c  N dy   759    105334      2315     11266      2849     19604     79621    275667      9.25   no data
41.13/10.32	c  N dy   805    112379      2315     11266      2858     26519     79621    435497      9.30      9.84
41.13/10.32	c Finding binary XORs  T:     0.00 s  found:       0
43.94/11.07	c  N dy   864    119573      2315     11266      2869     19837     79621    258357      9.36      9.95
47.52/11.98	c  N dy   921    127245      2315     11266      2874     27361     79621    425591      9.40     10.93
51.52/12.94	c  N dy   981    135638      2315     11266      2879     20907     79621    269848      9.46      9.97
55.92/14.02	c  N dy  1055    144345      2315     11266      2885     29465     79621    469612      9.53     10.17
60.31/15.15	c  N dy  1125    153863      2315     11266      2892     23120     79621    301845      9.58     10.10
62.30/15.69	c  S st  1156    158001      2315     11266      2895     27187     79621    397810      9.61   no data
62.70/15.77	c  S st  1156    158504      2315     11266      2895     27686     79621    408057      9.61   no data
62.70/15.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
63.10/15.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      1 BRemN:      0 P:  1.4M T:  0.03
63.10/15.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
63.10/15.81	c bin-w-bin subsume rem            1 bins  time:  0.00 s
63.10/15.81	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
63.10/15.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2315 time:  0.00 s
63.10/15.81	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
63.10/15.83	c lits-rem:        10  cl-subs:       10  v-elim:      6  v-fix:    0  time:  0.01 s
63.50/15.97	c subs with bin:      397  lits-rem:       342  v-fix:    0  time:  0.13 s
64.30/16.15	c lits-rem:       559  cl-subs:      778  v-elim:      0  v-fix:    0  time:  0.18 s
64.30/16.15	c vivif2 --  cl tried    11254 cl shrink        0 lits rem          0 time: 0.00
64.30/16.16	c vivif2 --  cl tried    26512 cl shrink      122 lits rem        122 time: 0.01
65.10/16.39	c asymm  cl-useful: 6/2977/11254 lits-rem:6 time: 0.23
65.10/16.40	c calculated reachability. Time: 0.00
65.10/16.40	c  N dy  1156    158504      2309     11254      2895     26512     79497    395959      9.61   no data
71.09/17.81	c  N dy  1232    168712      2309     11254      2897     19852     79497    214941      9.67     10.29
74.29/18.66	c Finding binary XORs  T:     0.00 s  found:       0
76.28/19.20	c  N dy  1287    179550      2309     11254      2901     30475     79497    471956      9.68     10.93
83.08/20.83	c  N dy  1377    191074      2309     11254      2904     24139     79497    302903      9.75     12.87
90.27/22.67	c  N dy  1466    203338      2309     11254      2906     36201     79497    592269      9.80     10.37
97.47/24.45	c  N dy  1555    216361      2309     11254      2913     30332     79497    438677      9.85     10.53
105.87/26.58	c  N dy  1651    230353      2309     11254      2919     24433     79497    275834      9.88     10.41
110.27/27.64	c  S st  1702    237756      2309     11254      2923     31695     79497    448021      9.91   no data
110.65/27.73	c  S st  1702    238258      2309     11254      2923     32196     79497    459487      9.91   no data
110.65/27.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
110.65/27.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  1.6M T:  0.04
110.65/27.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
110.65/27.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.65/27.78	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
110.65/27.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2309 time:  0.00 s
110.65/27.78	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
110.65/27.79	c lits-rem:        41  cl-subs:        6  v-elim:      1  v-fix:    0  time:  0.01 s
111.44/27.95	c subs with bin:      339  lits-rem:       271  v-fix:    0  time:  0.15 s
112.24/28.18	c lits-rem:       591  cl-subs:     1034  v-elim:      0  v-fix:    0  time:  0.23 s
112.24/28.19	c vivif2 --  cl tried    11240 cl shrink        0 lits rem          0 time: 0.00
112.64/28.20	c vivif2 --  cl tried    30829 cl shrink       75 lits rem         75 time: 0.01
113.44/28.41	c asymm  cl-useful: 34/4628/11240 lits-rem:46 time: 0.22
113.44/28.42	c calculated reachability. Time: 0.00
113.44/28.42	c  N dy  1702    238258      2308     11239      2927     30829     79324    444715      9.91   no data
123.05/30.83	c  N dy  1800    253486      2308     11239      2933     25132     79324    282637      9.95     10.63
131.02/32.84	c Finding binary XORs  T:     0.00 s  found:       0
133.41/33.46	c  N dy  1906    269768      2308     11239      2938     41139     79324    664215      9.98     10.67
144.21/36.15	c  N dy  2011    287057      2308     11239      2942     36540     79324    540124     10.01     10.55
156.59/39.23	c  N dy  2130    305400      2308     11239      2955     31904     79324    413128     10.05     10.58
156.99/39.37	c  F st  2135    306252      2308     11239      2956     32744     79324    431834     10.05   no data
160.59/40.23	c Decided on static restart strategy
169.78/42.53	c  N st  2144    324958      2308     11239      2960     28908     79324    421615     10.05   no data
187.36/46.97	c  N st  2146    348954      2308     11239      2961     28507     79324    388180     10.05   no data
192.95/48.35	c  S st  2147    357387      2308     11239      2961     36774     79324    593467     10.05   no data
193.37/48.46	c  S st  2147    357888      2308     11239      2964     37269     79324    603526     10.05   no data
193.37/48.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
193.77/48.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  1.9M T:  0.05
193.77/48.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
193.77/48.52	c bin-w-bin subsume rem            1 bins  time:  0.00 s
193.77/48.52	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.00 s
193.77/48.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2308 time:  0.00 s
193.77/48.52	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
193.77/48.54	c lits-rem:         7  cl-subs:        6  v-elim:      4  v-fix:    0  time:  0.01 s
194.55/48.75	c subs with bin:      148  lits-rem:       249  v-fix:    0  time:  0.19 s
196.94/49.33	c lits-rem:      1020  cl-subs:     2691  v-elim:      0  v-fix:    0  time:  0.58 s
196.94/49.33	c vivif2 --  cl tried    11228 cl shrink        0 lits rem          0 time: 0.00
196.94/49.34	c vivif2 --  cl tried    34432 cl shrink       57 lits rem         57 time: 0.01
197.76/49.57	c asymm  cl-useful: 0/1576/11228 lits-rem:0 time: 0.23
197.76/49.57	c calculated reachability. Time: 0.00
197.76/49.57	c  N st  2147    357888      2304     11228      2964     34432     79226    562244     10.05   no data
222.92/55.81	c  N st  2148    390280      2304     11228      2965     40914     79226    662267     10.05   no data
271.66/68.01	c  N st  2149    438869      2304     11228      2966     34963     79226    469887     10.05   no data
335.98/84.13	c  N st  2150    511756      2304     11228      2966     48805     79226    825957     10.05   no data
357.15/89.46	c  N st  2151    536833      2304     11228      2970     43101     79226    697406     10.05   no data
357.15/89.46	c  S st  2151    536833      2304     11228      2970     43101     79226    697406     10.05   no data
357.55/89.60	c  S st  2151    537334      2304     11228      2970     43601     79226    708103     10.05   no data
357.95/89.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
357.95/89.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  2.4M T:  0.06
357.95/89.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
357.95/89.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
357.95/89.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
357.95/89.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2304 time:  0.00 s
357.95/89.67	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
357.95/89.69	c lits-rem:         0  cl-subs:        0  v-elim:      2  v-fix:    0  time:  0.02 s
359.15/89.95	c subs with bin:       14  lits-rem:        48  v-fix:    0  time:  0.24 s
361.95/90.66	c lits-rem:      1352  cl-subs:     1632  v-elim:      0  v-fix:    0  time:  0.71 s
361.95/90.66	c vivif2 --  cl tried    11226 cl shrink        0 lits rem          0 time: 0.00
361.95/90.67	c vivif2 --  cl tried    41957 cl shrink       25 lits rem         25 time: 0.01
363.15/90.92	c asymm  cl-useful: 0/865/11226 lits-rem:0 time: 0.24
363.15/90.92	c calculated reachability. Time: 0.00
363.15/90.92	c  N st  2151    537334      2302     11226      2971     41957     79201    681320     10.05   no data
538.13/134.74	c  N st  2152    701318      2302     11226      2971     71592     79201   1434163     10.05   no data
667.58/167.13	c  N st  2153    806003      2302     11226      2972     65233     79200   1155289     10.05   no data
667.58/167.13	c  S st  2153    806003      2302     11226      2972     65233     79200   1155289     10.05   no data
667.58/167.13	c Finding binary XORs  T:     0.00 s  found:       0
668.40/167.34	c  S st  2153    806507      2302     11226      2976     65736     79200   1167093     10.05   no data
668.40/167.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
668.77/167.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.5M T:  0.11
668.77/167.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
668.77/167.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
668.77/167.46	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
668.77/167.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2302 time:  0.00 s
668.77/167.46	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
668.77/167.49	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.02 s
670.77/167.97	c subs with bin:       68  lits-rem:       751  v-fix:    0  time:  0.45 s
681.95/170.78	c lits-rem:      4103  cl-subs:     5175  v-elim:      0  v-fix:    0  time:  2.80 s
681.95/170.78	c vivif2 --  cl tried    11223 cl shrink        0 lits rem          0 time: 0.00
682.35/170.80	c vivif2 --  cl tried    60493 cl shrink       62 lits rem         62 time: 0.02
683.15/171.09	c asymm  cl-useful: 0/564/11223 lits-rem:0 time: 0.28
683.15/171.09	c calculated reachability. Time: 0.00
683.15/171.09	c  N st  2153    806507      2302     11223      2976     60493     79180   1069734     10.05   no data
1021.53/255.75	c  F st  2154   1071879      2302     11223      2977     76366     79180   1323399     10.05   no data
1021.53/255.75	c  N st  2154   1071879      2302     11223      2977     76366     79180   1323399     10.05   no data
1029.12/257.66	c Decided on static restart strategy
1059.87/265.36	c  N st  2164   1100186      2302     11223      2992     59937     79180    872503     10.05   no data
1105.81/276.85	c  N st  2166   1136179      2302     11223      2992     50271     79180    644984     10.05   no data
1142.99/286.18	c  N st  2167   1168572      2302     11223      2993     82089     79180   1559865     10.05   no data
1198.89/300.13	c  N st  2168   1209760      2302     11223      2993     76441     79180   1312926     10.05   no data
1198.89/300.13	c  S st  2168   1209760      2302     11223      2993     76441     79180   1312926     10.05   no data
1200.11/300.42	c  S st  2168   1210262      2302     11223      2994     76942     79180   1323701     10.05   no data
1200.11/300.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1200.49/300.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  3.9M T:  0.16
1200.49/300.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1200.49/300.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1200.89/300.60	c subs with bin:        1  lits-rem:         4  v-fix:    0  time:  0.00 s
1200.89/300.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2302 time:  0.00 s
1200.89/300.60	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1200.89/300.63	c lits-rem:         0  cl-subs:        2  v-elim:      1  v-fix:    0  time:  0.03 s
1203.29/301.27	c subs with bin:      432  lits-rem:      2352  v-fix:    0  time:  0.60 s
1216.47/304.55	c lits-rem:      5948  cl-subs:     8742  v-elim:      0  v-fix:    0  time:  3.28 s
1216.47/304.55	c vivif2 --  cl tried    11220 cl shrink        0 lits rem          0 time: 0.00
1216.47/304.58	c vivif2 --  cl tried    67768 cl shrink       48 lits rem         48 time: 0.03
1217.69/304.88	c asymm  cl-useful: 1/484/11220 lits-rem:1 time: 0.30
1217.69/304.88	c calculated reachability. Time: 0.00
1217.69/304.88	c  N st  2168   1210262      2301     11220      2998     67768     79160   1164681     10.05   no data
1315.95/329.49	c  N st  2169   1283144      2301     11220      3000     92062     79160   1705382     10.05   no data
1461.78/365.92	c  N st  2170   1392468      2301     11220      3005    102361     79160   2028461     10.05   no data
1700.67/425.79	c  N st  2171   1556452      2301     11220      3010     57213     79160    716267     10.05   no data
1700.67/425.79	c Finding binary XORs  T:     0.00 s  found:       0
1917.99/480.15	c  N st  2172   1710262      2301     11220      3019     98632     79159   1713689     10.05   no data
1917.99/480.15	c  S st  2172   1710262      2301     11220      3019     98632     79159   1713689     10.05   no data
1919.19/480.45	c  S st  2172   1710764      2300     11220      3020     99132     79159   1725565     10.05   no data
1919.19/480.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1919.99/480.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     10 BRemL:      0 BRemN:      0 P:  4.9M T:  0.17
1919.99/480.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1919.99/480.64	c bin-w-bin subsume rem            3 bins  time:  0.00 s
1919.99/480.64	c subs with bin:        6  lits-rem:         8  v-fix:    0  time:  0.00 s
1919.99/480.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2300 time:  0.00 s
1919.99/480.64	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1919.99/480.68	c lits-rem:        80  cl-subs:       29  v-elim:      4  v-fix:    0  time:  0.03 s
1928.77/482.85	c subs with bin:     5584  lits-rem:      3572  v-fix:    0  time:  2.11 s
1970.31/493.27	c lits-rem:     10145  cl-subs:    15111  v-elim:      0  v-fix:    0  time: 10.42 s
1970.31/493.27	c vivif2 --  cl tried    11058 cl shrink        0 lits rem          0 time: 0.00
1970.71/493.31	c vivif2 --  cl tried    72594 cl shrink      453 lits rem        479 time: 0.03
1972.71/493.82	c asymm  cl-useful: 1/419/11058 lits-rem:1 time: 0.51
1972.71/493.82	c calculated reachability. Time: 0.00
1972.71/493.82	c  N st  2172   1710764      2296     11058      3003     72593     78014   1248425     10.05   no data
2569.53/643.29	c  N st  2173   2079728      2296     11058      3003     91363     78014   1572123     10.05   no data
2803.24/701.77	c  N st  2174   2210765      2294     11058      3023     95092     78014   1573663     10.05   no data
2803.24/701.77	c  S st  2174   2210765      2294     11058      3023     95092     78014   1573663     10.05   no data
2803.24/701.79	c Finding binary XORs  T:     0.00 s  found:       0
2804.83/702.19	c  S st  2174   2211268      2294     10807      2998     92179     76426   1537538     10.05   no data
2805.23/702.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2806.04/702.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     16 BRemL:     12 BRemN:      0 P:  5.4M T:  0.26
2806.04/702.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2806.04/702.46	c bin-w-bin subsume rem           14 bins  time:  0.00 s
2806.04/702.47	c subs with bin:       17  lits-rem:        31  v-fix:    0  time:  0.00 s
2806.04/702.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2294 time:  0.00 s
2806.04/702.47	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2806.44/702.51	c lits-rem:       142  cl-subs:       64  v-elim:     10  v-fix:    0  time:  0.04 s
2817.61/705.36	c subs with bin:     6220  lits-rem:      4810  v-fix:    0  time:  2.80 s
2838.39/710.52	c lits-rem:      6411  cl-subs:     4565  v-elim:      0  v-fix:    0  time:  5.16 s
2838.39/710.53	c vivif2 --  cl tried    10724 cl shrink        1 lits rem          1 time: 0.00
2838.39/710.60	c vivif2 --  cl tried    81393 cl shrink     7580 lits rem      10686 time: 0.07
2840.38/711.07	c asymm  cl-useful: 2/325/10724 lits-rem:3 time: 0.47
2840.38/711.08	c calculated reachability. Time: 0.00
2840.38/711.08	c  N st  2174   2211268      2284     10724      2993     81393     75643   1327262     10.05   no data
3551.08/889.15	c Following stats are for *FIRST FINISHED THREAD ONLY*
3551.08/889.15	c num threads              : 4          
3551.08/889.15	c restarts                 : 689        
3551.08/889.15	c dynamic restarts         : 621        
3551.08/889.15	c static restarts          : 68         
3551.08/889.15	c full restarts            : 4          
3551.08/889.15	c total simplify time      : 0.49       
3551.08/889.15	c learnts DL2              : 0          
3551.08/889.15	c learnts size 2           : 5320       
3551.08/889.15	c learnts size 1           : 401         (13.51     % of vars)
3551.08/889.15	c filedLit time            : 0.73        (0.08      % time)
3551.08/889.15	c v-elim SatELite          : 589         (19.84     % vars)
3551.08/889.15	c SatELite time            : 15.51       (1.75      % time)
3551.08/889.15	c v-elim xor               : 0           (0.00      % vars)
3551.08/889.15	c xor elim time            : 0.03        (0.00      % time)
3551.08/889.15	c num binary xor trees     : 65         
3551.08/889.15	c binxor trees' crown      : 71          (1.09      leafs/tree)
3551.08/889.15	c bin xor find time        : 0.01       
3551.08/889.15	c OTF clause improved      : 66670       (0.03      clauses/conflict)
3551.08/889.15	c OTF impr. size diff      : 93889       (1.41       lits/clause)
3551.08/889.15	c OTF cl watch-shrink      : 2171785     (0.82      clauses/conflict)
3551.08/889.15	c OTF cl watch-sh-lit      : 11446614    (5.27       lits/clause)
3551.08/889.15	c tried to recurMin cls    : 488340      (18.37      % of conflicts)
3551.08/889.15	c updated cache            : 12967       (0.03       lits/tried recurMin)
3551.08/889.15	c unit cls recevied        : 15          (3.74      % of units)
3551.08/889.15	c unit cls sent            : 56          (13.97     % of units)
3551.08/889.15	c bin cls recevied         : 1989       
3551.08/889.15	c bin cls sent             : 665        
3551.08/889.15	c clauses over max glue    : 0           (0.00      % of all clauses)
3551.08/889.15	c conflicts                : 2658879     (2994.07   / sec)
3551.08/889.15	c decisions                : 4974306     (2.18      % random)
3551.08/889.15	c bogo-props               : 118322289286 (133238469.75 / sec)
3551.08/889.15	c conflict literals        : 69433377    (52.96     % deleted)
3551.08/889.15	c Memory used              : 561.19      MB
3551.08/889.15	c single-thread CPU time   : 888.05      s
3551.08/889.15	c all-threads sum CPU time : 3549.93     s
3551.08/889.15	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-3265631-1304129485/watcher-3265631-1304129485 -o /tmp/evaluation-result-3265631-1304129485/solver-3265631-1304129485 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3265631-1304129485.cnf 

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

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


[startup+0 s]
/proc/loadavg: 4.93 7.16 7.62 6/180 6054
/proc/meminfo: memFree=29349252/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 505363945 52441088 348 33554432000 4194304 4627427 140737010594496 18446744073709551615 47891823294386 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 12803 348 299 106 0 7774 0
[pid=6054/tid=6055] ppid=6052 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 505363945 52441088 348 33554432000 4194304 4627427 140737010594496 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 505363945 52441088 348 33554432000 4194304 4627427 140737010594496 18446744073709551615 47891823294390 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 505363945 52441088 348 33554432000 4194304 4627427 140737010594496 18446744073709551615 47891823294386 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.140221 s]
/proc/loadavg: 4.93 7.16 7.62 6/180 6054
/proc/meminfo: memFree=29349252/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=286080 CPUtime=0.53 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) D 6052 6054 4553 0 -1 4202496 4568 0 0 0 53 0 0 0 18 0 4 0 505363945 292945920 4047 33554432000 4194304 4627427 140737010594496 18446744073709551615 4228547 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 71520 4047 366 106 0 66491 0
[pid=6054/tid=6055] ppid=6052 vsize=286080 CPUtime=0.13 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 950 0 0 0 13 0 0 0 25 0 4 0 505363945 292945920 4047 33554432000 4194304 4627427 140737010594496 18446744073709551615 228095494327 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=286080 CPUtime=0.13 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 950 0 0 0 13 0 0 0 25 0 4 0 505363945 292945920 4047 33554432000 4194304 4627427 140737010594496 18446744073709551615 4239597 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=286080 CPUtime=0.13 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 1302 0 0 0 13 0 0 0 18 0 4 0 505363945 292945920 4047 33554432000 4194304 4627427 140737010594496 18446744073709551615 4334677 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 286080

[startup+0.200508 s]
/proc/loadavg: 4.93 7.16 7.62 6/180 6054
/proc/meminfo: memFree=29349252/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=290656 CPUtime=0.77 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 8175 0 0 0 76 1 0 0 18 0 4 0 505363945 297631744 7169 33554432000 4194304 4627427 140737010594496 18446744073709551615 4507021 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 72664 7169 385 106 0 67635 0
[pid=6054/tid=6055] ppid=6052 vsize=290656 CPUtime=0.18 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 2093 0 0 0 18 0 0 0 25 0 4 0 505363945 297631744 7169 33554432000 4194304 4627427 140737010594496 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=290656 CPUtime=0.18 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 2156 0 0 0 18 0 0 0 18 0 4 0 505363945 297631744 7169 33554432000 4194304 4627427 140737010594496 18446744073709551615 4504795 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=290656 CPUtime=0.19 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 1407 0 0 0 19 0 0 0 18 0 4 0 505363945 297631744 7169 33554432000 4194304 4627427 140737010594496 18446744073709551615 4325081 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 290656

[startup+0.300489 s]
/proc/loadavg: 4.93 7.16 7.62 6/180 6054
/proc/meminfo: memFree=29349252/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=293036 CPUtime=1.18 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 9056 0 0 0 116 2 0 0 18 0 4 0 505363945 300068864 7202 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 73259 7202 385 106 0 68230 0
[pid=6054/tid=6055] ppid=6052 vsize=293036 CPUtime=0.28 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 2349 0 0 0 28 0 0 0 25 0 4 0 505363945 300068864 7202 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=293036 CPUtime=0.28 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 2410 0 0 0 28 0 0 0 18 0 4 0 505363945 300068864 7202 33554432000 4194304 4627427 140737010594496 18446744073709551615 4333109 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=293036 CPUtime=0.29 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 1527 0 0 0 29 0 0 0 18 0 4 0 505363945 300068864 7202 33554432000 4194304 4627427 140737010594496 18446744073709551615 4308979 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 293036

[startup+0.700416 s]
/proc/loadavg: 4.93 7.16 7.62 6/180 6054
/proc/meminfo: memFree=29349252/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=283812 CPUtime=2.77 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 11748 0 0 0 275 2 0 0 18 0 4 0 505363945 290623488 8309 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309290 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 70953 8309 386 106 0 65924 0
[pid=6054/tid=6055] ppid=6052 vsize=283812 CPUtime=0.68 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 3001 0 0 0 68 0 0 0 25 0 4 0 505363945 290623488 8309 33554432000 4194304 4627427 140737010594496 18446744073709551615 4324972 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=283812 CPUtime=0.68 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 3090 0 0 0 68 0 0 0 18 0 4 0 505363945 290623488 8309 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=283812 CPUtime=0.69 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 2419 0 0 0 69 0 0 0 18 0 4 0 505363945 290623488 8310 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 283812

[startup+1.50027 s]
/proc/loadavg: 5.26 7.19 7.63 9/184 6058
/proc/meminfo: memFree=29279532/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=293128 CPUtime=5.96 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 14934 0 0 0 594 2 0 0 19 0 4 0 505363945 300163072 10660 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 73282 10660 390 106 0 68253 0
[pid=6054/tid=6055] ppid=6052 vsize=293128 CPUtime=1.48 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 3518 0 0 0 148 0 0 0 25 0 4 0 505363945 300163072 10660 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=293128 CPUtime=1.48 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 3629 0 0 0 148 0 0 0 19 0 4 0 505363945 300163072 10660 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=293128 CPUtime=1.49 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 3150 0 0 0 149 0 0 0 20 0 4 0 505363945 300163072 10660 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 293128

[startup+3.10097 s]
/proc/loadavg: 5.26 7.19 7.63 9/184 6058
/proc/meminfo: memFree=29243368/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=283644 CPUtime=12.36 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 21422 0 0 0 1233 3 0 0 24 0 4 0 505363945 290451456 14833 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 70911 14833 390 106 0 65882 0
[pid=6054/tid=6055] ppid=6052 vsize=283644 CPUtime=3.07 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 4633 0 0 0 307 0 0 0 25 0 4 0 505363945 290451456 14833 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=283644 CPUtime=3.09 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 5403 0 0 0 308 1 0 0 24 0 4 0 505363945 290451456 14833 33554432000 4194304 4627427 140737010594496 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=283644 CPUtime=3.08 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 6192 0 0 0 308 0 0 0 25 0 4 0 505363945 290451456 14833 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 283644

[startup+6.30038 s]
/proc/loadavg: 5.56 7.22 7.63 9/184 6058
/proc/meminfo: memFree=29210888/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=287716 CPUtime=25.15 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 27253 0 0 0 2510 5 0 0 25 0 4 0 505363945 294621184 19744 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 71929 19744 390 106 0 66900 0
[pid=6054/tid=6055] ppid=6052 vsize=287716 CPUtime=6.26 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 6992 0 0 0 625 1 0 0 25 0 4 0 505363945 294621184 19744 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=287716 CPUtime=6.28 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 6491 0 0 0 627 1 0 0 25 0 4 0 505363945 294621184 19744 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=287716 CPUtime=6.29 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 7637 0 0 0 628 1 0 0 25 0 4 0 505363945 294621184 19744 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309405 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 287716

[startup+12.7002 s]
/proc/loadavg: 5.75 7.24 7.64 9/184 6058
/proc/meminfo: memFree=29164356/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=308796 CPUtime=50.71 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 39475 0 0 0 5064 7 0 0 25 0 4 0 505363945 316207104 23261 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309284 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 77199 23261 390 106 0 72170 0
[pid=6054/tid=6055] ppid=6052 vsize=308796 CPUtime=12.63 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 10194 0 0 0 1262 1 0 0 25 0 4 0 505363945 316207104 23261 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309125 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=308796 CPUtime=12.67 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 9407 0 0 0 1266 1 0 0 25 0 4 0 505363945 316207104 23261 33554432000 4194304 4627427 140737010594496 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=308796 CPUtime=12.69 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 12187 0 0 0 1267 2 0 0 25 0 4 0 505363945 316207104 23261 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 308796

[startup+25.5008 s]
/proc/loadavg: 6.25 7.27 7.64 9/184 6059
/proc/meminfo: memFree=29124164/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=327596 CPUtime=101.86 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 54838 0 0 0 10176 10 0 0 25 0 4 0 505363945 335458304 28925 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 81899 28925 390 106 0 76870 0
[pid=6054/tid=6055] ppid=6052 vsize=327596 CPUtime=25.37 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 14512 0 0 0 2535 2 0 0 25 0 4 0 505363945 335458304 28925 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=327596 CPUtime=25.47 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 14183 0 0 0 2545 2 0 0 25 0 4 0 505363945 335458304 28925 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=327596 CPUtime=25.48 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 16023 0 0 0 2546 2 0 0 25 0 4 0 505363945 335458304 28925 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 327596

[startup+51.1011 s]
/proc/loadavg: 6.85 7.33 7.65 9/184 6059
/proc/meminfo: memFree=29062696/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=331744 CPUtime=204.14 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 80501 0 0 0 20397 17 0 0 25 0 4 0 505363945 339705856 32566 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 82936 32566 390 106 0 77907 0
[pid=6054/tid=6055] ppid=6052 vsize=331744 CPUtime=50.85 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 22946 0 0 0 5082 3 0 0 25 0 4 0 505363945 339705856 32566 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=331744 CPUtime=51.07 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 20999 0 0 0 5103 4 0 0 25 0 4 0 505363945 339705856 32566 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=331744 CPUtime=51.09 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 23501 0 0 0 5104 5 0 0 25 0 4 0 505363945 339705856 32566 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.14
Current children cumulated vsize (KiB) 331744

[startup+102.301 s]
/proc/loadavg: 7.57 7.45 7.67 9/184 6061
/proc/meminfo: memFree=28991236/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=333364 CPUtime=408.7 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 122580 0 0 0 40842 28 0 0 25 0 4 0 505363945 341364736 38419 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 83341 38419 390 106 0 78312 0
[pid=6054/tid=6055] ppid=6052 vsize=333364 CPUtime=101.81 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 35504 0 0 0 10174 7 0 0 25 0 4 0 505363945 341364736 38419 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=333364 CPUtime=102.28 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 33881 0 0 0 10220 8 0 0 25 0 4 0 505363945 341364736 38419 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=333364 CPUtime=102.29 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 34256 0 0 0 10221 8 0 0 25 0 4 0 505363945 341364736 38419 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.7
Current children cumulated vsize (KiB) 333364

[startup+162.301 s]

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

/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 96610 0 0 0 58200 30 0 0 25 0 4 0 505363945 614871040 87567 33554432000 4194304 4627427 140737010594496 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2326.24
Current children cumulated vsize (KiB) 600460

[startup+642.301 s]
/proc/loadavg: 8.12 7.97 7.83 9/184 6075
/proc/meminfo: memFree=28489948/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=587532 CPUtime=2565.94 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 358883 0 0 0 256484 110 0 0 25 0 4 0 505363945 601632768 92127 33554432000 4194304 4627427 140737010594496 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 146883 92127 391 106 0 141854 0
[pid=6054/tid=6055] ppid=6052 vsize=587532 CPUtime=639.01 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 107173 0 0 0 63872 29 0 0 25 0 4 0 505363945 601632768 92127 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=587532 CPUtime=642.28 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 107290 0 0 0 64195 33 0 0 25 0 4 0 505363945 601632768 92127 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=587532 CPUtime=642.3 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 103110 0 0 0 64197 33 0 0 25 0 4 0 505363945 601632768 92127 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.94
Current children cumulated vsize (KiB) 587532

[startup+702.301 s]
/proc/loadavg: 8.13 8.00 7.85 9/184 6077
/proc/meminfo: memFree=28493212/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=587940 CPUtime=2805.64 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 376880 0 0 0 280446 118 0 0 25 0 4 0 505363945 602050560 89327 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 146985 89327 390 106 0 141956 0
[pid=6054/tid=6055] ppid=6052 vsize=587940 CPUtime=698.7 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 113627 0 0 0 69838 32 0 0 25 0 4 0 505363945 602050560 89327 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=587940 CPUtime=702.28 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 115119 0 0 0 70191 37 0 0 25 0 4 0 505363945 602050560 89327 33554432000 4194304 4627427 140737010594496 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=587940 CPUtime=702.31 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 106824 0 0 0 70196 35 0 0 25 0 4 0 505363945 602050560 89327 33554432000 4194304 4627427 140737010594496 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.64
Current children cumulated vsize (KiB) 587940

[startup+762.301 s]
/proc/loadavg: 8.21 8.04 7.87 9/184 6078
/proc/meminfo: memFree=28415648/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=574528 CPUtime=3045.36 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 397239 0 0 0 304412 124 0 0 25 0 4 0 505363945 588316672 97224 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 143632 97224 390 106 0 138603 0
[pid=6054/tid=6055] ppid=6052 vsize=574528 CPUtime=758.4 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 121772 0 0 0 75806 34 0 0 25 0 4 0 505363945 588316672 97224 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=574528 CPUtime=762.28 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 121453 0 0 0 76189 39 0 0 25 0 4 0 505363945 588316672 97224 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=574528 CPUtime=762.32 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 112704 0 0 0 76196 36 0 0 25 0 4 0 505363945 588316672 97224 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.36
Current children cumulated vsize (KiB) 574528

[startup+822.301 s]
/proc/loadavg: 8.12 8.05 7.88 9/184 6082
/proc/meminfo: memFree=28447796/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=560712 CPUtime=3285.03 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 411993 0 0 0 328373 130 0 0 25 0 4 0 505363945 574169088 99147 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 140178 99147 390 106 0 135149 0
[pid=6054/tid=6055] ppid=6052 vsize=560712 CPUtime=818.1 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 126853 0 0 0 81773 37 0 0 25 0 4 0 505363945 574169088 99147 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=560712 CPUtime=822.28 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 128038 0 0 0 82186 42 0 0 25 0 4 0 505363945 574169088 99147 33554432000 4194304 4627427 140737010594496 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=560712 CPUtime=822.32 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 115792 0 0 0 82194 38 0 0 25 0 4 0 505363945 574169088 99147 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3285.03
Current children cumulated vsize (KiB) 560712

[startup+882.307 s]
/proc/loadavg: 8.26 8.12 7.92 9/184 6084
/proc/meminfo: memFree=28367500/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=574604 CPUtime=3523.93 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 419972 0 0 0 352258 135 0 0 25 0 4 0 505363945 588394496 97733 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 143651 97733 390 106 0 138622 0
[pid=6054/tid=6055] ppid=6052 vsize=574604 CPUtime=877.76 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 130294 0 0 0 87738 38 0 0 25 0 4 0 505363945 588394496 97733 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=574604 CPUtime=881.64 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 129910 0 0 0 88120 44 0 0 25 0 4 0 505363945 588394496 97733 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=574604 CPUtime=882.32 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 118458 0 0 0 88193 39 0 0 25 0 4 0 505363945 588394496 97733 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.93
Current children cumulated vsize (KiB) 574604

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

[startup+883.201 s]
/proc/loadavg: 8.26 8.12 7.92 9/184 6084
/proc/meminfo: memFree=28367500/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=574604 CPUtime=3527.51 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 420073 0 0 0 352616 135 0 0 25 0 4 0 505363945 588394496 97834 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 143651 97834 390 106 0 138622 0
[pid=6054/tid=6055] ppid=6052 vsize=574604 CPUtime=878.66 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 130337 0 0 0 87828 38 0 0 25 0 4 0 505363945 588394496 97834 33554432000 4194304 4627427 140737010594496 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=574604 CPUtime=882.53 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 129910 0 0 0 88209 44 0 0 25 0 4 0 505363945 588394496 97834 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=574604 CPUtime=883.22 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 118516 0 0 0 88283 39 0 0 25 0 4 0 505363945 588394496 97834 33554432000 4194304 4627427 140737010594496 18446744073709551615 4327603 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3527.51
Current children cumulated vsize (KiB) 574604

[startup+886.401 s]
/proc/loadavg: 8.24 8.12 7.92 9/184 6084
/proc/meminfo: memFree=28362912/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=574652 CPUtime=3540.3 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 421834 0 0 0 353894 136 0 0 25 0 4 0 505363945 588443648 96536 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 143663 96536 390 106 0 138634 0
[pid=6054/tid=6055] ppid=6052 vsize=574652 CPUtime=881.84 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 131917 0 0 0 88146 38 0 0 25 0 4 0 505363945 588443648 96536 33554432000 4194304 4627427 140737010594496 18446744073709551615 4333275 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=574652 CPUtime=885.73 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 129910 0 0 0 88529 44 0 0 25 0 4 0 505363945 588443648 96536 33554432000 4194304 4627427 140737010594496 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=574652 CPUtime=886.42 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 118697 0 0 0 88603 39 0 0 25 0 4 0 505363945 588443648 96536 33554432000 4194304 4627427 140737010594496 18446744073709551615 4329629 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3540.3
Current children cumulated vsize (KiB) 574652

[startup+888.001 s]
/proc/loadavg: 8.24 8.12 7.92 9/184 6085
/proc/meminfo: memFree=28393664/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=574652 CPUtime=3546.68 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 423110 0 0 0 354532 136 0 0 25 0 4 0 505363945 588443648 97812 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 143663 97812 390 106 0 138634 0
[pid=6054/tid=6055] ppid=6052 vsize=574652 CPUtime=883.43 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 132029 0 0 0 88305 38 0 0 25 0 4 0 505363945 588443648 97812 33554432000 4194304 4627427 140737010594496 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=574652 CPUtime=887.33 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 130986 0 0 0 88689 44 0 0 25 0 4 0 505363945 588443648 97812 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=574652 CPUtime=888.02 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 118785 0 0 0 88763 39 0 0 25 0 4 0 505363945 588443648 97812 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3546.68
Current children cumulated vsize (KiB) 574652

[startup+888.8 s]
/proc/loadavg: 8.24 8.12 7.92 9/184 6085
/proc/meminfo: memFree=28392796/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=574652 CPUtime=3549.9 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 423244 0 0 0 354854 136 0 0 25 0 4 0 505363945 588443648 97946 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 143663 97946 390 106 0 138634 0
[pid=6054/tid=6055] ppid=6052 vsize=574652 CPUtime=884.23 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 132075 0 0 0 88385 38 0 0 25 0 4 0 505363945 588443648 97946 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=574652 CPUtime=888.14 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 131035 0 0 0 88770 44 0 0 25 0 4 0 505363945 588443648 97946 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309379 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=574652 CPUtime=888.82 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 118824 0 0 0 88843 39 0 0 25 0 4 0 505363945 588443648 97946 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3549.9
Current children cumulated vsize (KiB) 574652

[startup+889 s]
/proc/loadavg: 8.24 8.12 7.92 9/184 6085
/proc/meminfo: memFree=28392796/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=574652 CPUtime=3550.68 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 423268 0 0 0 354932 136 0 0 25 0 4 0 505363945 588443648 97970 33554432000 4194304 4627427 140737010594496 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 143663 97970 390 106 0 138634 0
[pid=6054/tid=6055] ppid=6052 vsize=574652 CPUtime=884.42 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 132085 0 0 0 88404 38 0 0 25 0 4 0 505363945 588443648 97970 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=574652 CPUtime=888.33 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 131039 0 0 0 88789 44 0 0 25 0 4 0 505363945 588443648 97970 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=574652 CPUtime=889.01 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 118834 0 0 0 88862 39 0 0 25 0 4 0 505363945 588443648 97970 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3550.68
Current children cumulated vsize (KiB) 574652

[startup+889.1 s]
/proc/loadavg: 8.24 8.12 7.92 9/184 6085
/proc/meminfo: memFree=28392796/32951124 swapFree=67111348/67111528
[pid=6054] ppid=6052 vsize=574652 CPUtime=3551.08 cores=0,2,4,6
/proc/6054/stat : 6054 (strangenight2-m) R 6052 6054 4553 0 -1 4202496 423282 0 0 0 354972 136 0 0 25 0 4 0 505363945 588443648 97984 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6054/statm: 143663 97984 390 106 0 138634 0
[pid=6054/tid=6055] ppid=6052 vsize=574652 CPUtime=884.52 cores=0,2,4,6
/proc/6054/task/6055/stat : 6055 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 132091 0 0 0 88414 38 0 0 25 0 4 0 505363945 588443648 97984 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6054/tid=6056] ppid=6052 vsize=574652 CPUtime=888.43 cores=0,2,4,6
/proc/6054/task/6056/stat : 6056 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 131043 0 0 0 88799 44 0 0 25 0 4 0 505363945 588443648 97984 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6054/tid=6057] ppid=6052 vsize=574652 CPUtime=889.11 cores=0,2,4,6
/proc/6054/task/6057/stat : 6057 (strangenight2-m) R 6052 6054 4553 0 -1 4202560 118838 0 0 0 88872 39 0 0 25 0 4 0 505363945 588443648 97984 33554432000 4194304 4627427 140737010594496 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3551.08
Current children cumulated vsize (KiB) 574652

Child status: 20
Real time (s): 889.171
CPU time (s): 3551.31
CPU user time (s): 3549.93
CPU system time (s): 1.38079
CPU usage (%): 399.395
Max. virtual memory (cumulated for all children) (KiB): 696136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3549.93
system time used= 1.38079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423292
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= 990
involuntary context switches= 16122

runsolver used 1.39579 second user time and 3.19051 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-30 04:11:25
IDJOB=3265631
IDBENCH=85793
IDSOLVER=1586
FILE ID=node142/3265631-1304129485
RUNJOBID= node142-1304129483-6001
PBS_JOBID= 13170747
Free space on /tmp= 73316 MiB

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

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

MD5SUM BENCH= f2a1eb7937a7cda114ce344a30ca1145
RANDOM SEED=1234739032

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29349532 kB
Buffers:       1081384 kB
Cached:        1950900 kB
SwapCached:        176 kB
Active:         177828 kB
Inactive:      2928636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29349532 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12036 kB
Writeback:           0 kB
AnonPages:       73988 kB
Mapped:          15376 kB
Slab:           432412 kB
PageTables:       4500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   279664 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= 73312 MiB
End job on node142 at 2011-04-30 04:26:14