Trace number 3291406

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-1-mtUNSAT 2829.57 708.612

General information on the benchmark

NameSAT03/industrial/goldberg/hard_eq_check/
k2mul.miter.shuffled-as.sat03-355.cnf
MD5SUM77e0700cbaeeb3d63a4820608fc84761
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark45.3381
Satisfiable
(Un)Satisfiability was proved
Number of variables11680
Number of clauses74581
Sum of the clauses size252050
Maximum clause length86
Minimum clause length1
Number of clauses of size 14
Number of clauses of size 217176
Number of clauses of size 334696
Number of clauses of size 40
Number of clauses of size 522704
Number of clauses of size over 51

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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3291406-1304136203.cnf'
0.00/0.00	c -- header says num vars:          11680
0.00/0.00	c -- header says num clauses:       74581
0.03/0.06	c -- clauses added:            0 learnts,        74581 normals,            0 xors
0.03/0.06	c -- vars added      11680
0.03/0.06	c Parsing time:  0.14 s
0.03/0.06	c  N st     0         0     11680     57394     17177         0    252027         0   no data   no data  --
0.03/0.69	c asymm  cl-useful: 0/5587/57393 lits-rem:0 time: 2.50
4.40/1.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 16.1M T:  2.06
4.80/1.26	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4.80/1.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
4.80/1.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11674 time:  0.19 s
5.20/1.35	c Removed useless bin:       0  fixed:     0  props:   4.94M  time:  0.12 s
5.50/1.46	c lits-rem:         2  cl-subs:        4  v-elim:    148  v-fix:    0  time:  0.44 s
5.50/1.47	c Finding binary XORs  T:     0.05 s  found:       0
5.90/1.53	c Finding non-binary XORs:     0.20 s (found:       9, avg size: 3.0)
5.90/1.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
5.90/1.53	c calculated reachability. Time: 0.02
5.90/1.54	c Calc default polars -  time:   0.02 s pos:    5667 undec:     241 neg:    5772
5.90/1.54	c =========================================================================================
5.90/1.54	c types(t): F = full restart, N = normal restart
5.90/1.54	c types(t): S = simplification begin/end, E = solution found
5.90/1.54	c restart types(rt): st = static, dy = dynamic
5.90/1.54	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
5.90/1.54	c  B st     0         0     11526     57420     17031         0    253621         0   no data   no data  --
9.09/2.37	c  N dy    18      4182     11524     57420     17115      4041    253615     36072      4.81      5.24  --
12.29/3.15	c  N dy    45      8243     11520     57420     17376      7968    253602     82546      4.88      5.24  --
15.51/3.94	c  N dy    72     12256     11518     57420     17588      7503    253595     55271      5.06      5.45  --
19.09/4.85	c  N dy   108     16625     11517     57420     17655     11759    253591    144618      5.38      5.66  --
22.68/5.73	c Finding binary XORs  T:     0.05 s  found:      73
22.68/5.75	c  N dy   141     20655     11512     57327     17870      9515    253169     44853      5.59      5.94  --
26.27/6.60	c  N dy   177     24696     11510     57327     18088     13455    253162    128030      5.74      6.05  --
26.27/6.66	c  F st   181     25000     11510     57327     18089     13754    253162    136717      5.76   no data  --
26.27/6.67	c Replacing       75 vars Replaced     3464 lits Time:     0.04 s 
30.27/7.60	c  N dy   187     30000     11433     57291     17956     18540    252997    346946      5.76   no data  --
30.27/7.60	c  S st   187     30000     11433     57291     17956     18540    252997    346946      5.76   no data  --
30.67/7.73	c  S st   187     30501     11431     57291     18081     19008    252997    352561      5.76   no data  --
30.67/7.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
30.67/7.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.46/8.99	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:   56 Bins:  10871 BRemL:    460 BRemN:     21 P: 21.8M T:  5.00
35.86/9.02	c Replacing       56 vars Replaced     4132 lits Time:     0.10 s 
35.86/9.07	c bin-w-bin subsume rem          194 bins  time:  0.02 s
36.26/9.18	c subs with bin:      567  lits-rem:      2637  v-fix:    0  time:  0.46 s
36.66/9.23	c Subs w/ non-existent bins:     19 l-rem:   1442 v-fix:     0 done:   8242 time:  0.18 s
36.66/9.25	c Removed useless bin:      27  fixed:     0  props:   2.90M  time:  0.08 s
42.64/10.70	c lits-rem:       932  cl-subs:     1990  v-elim:     34  v-fix:    0  time:  5.79 s
42.64/10.70	c Added XOR as norm:7
43.45/10.99	c asymm  cl-useful: 1/1396/56177 lits-rem:1 time: 1.14
43.84/11.00	c calculated reachability. Time: 0.02
43.84/11.00	c  N dy   187     30501     11335     56177     27441     17447    247606    305937      5.76   no data  --
43.84/11.01	c Finding binary XORs  T:     0.06 s  found:       2
47.44/11.94	c  N dy   224     34534     11333     56177     27484     12972    247606    110746      5.99      7.13  --
50.65/12.78	c  N dy   259     38547     11329     56177     27746     16876    247606    230223      6.14     12.34  --
54.63/13.79	c  N dy   297     42601     11328     56177     37065     20853    247606    389540      6.35      6.80  --
56.22/14.12	c Finding binary XORs  T:     0.06 s  found:      54
58.22/14.66	c  S st   328     45751     11323     56113     35015     14768    247296     98232      6.49   no data  --
58.62/14.77	c  S st   328     46252     11323     56113     35036     15247    247296    108709      6.49   no data  --
58.62/14.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
58.62/14.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
67.80/17.02	c Flit:     6 Blit:      0 bXBeca:    0 bXProp:    4 Bins:  18535 BRemL:   3933 BRemN:      1 P: 30.9M T:  8.94
67.80/17.04	c Replacing       60 vars Replaced     5231 lits Time:     0.06 s 
67.80/17.06	c bin-w-bin subsume rem          211 bins  time:  0.04 s
67.80/17.09	c subs with bin:      530  lits-rem:       428  v-fix:    0  time:  0.12 s
68.22/17.15	c Subs w/ non-existent bins:     39 l-rem:    136 v-fix:     0 done:  11257 time:  0.22 s
68.22/17.16	c Removed useless bin:      26  fixed:     0  props:   2.91M  time:  0.06 s
69.00/17.34	c lits-rem:        85  cl-subs:      636  v-elim:     54  v-fix:    0  time:  0.68 s
69.00/17.37	c vivif2 --  cl tried    55561 cl shrink       47 lits rem         51 time: 0.15
69.00/17.38	c vivif2 --  cl tried    14605 cl shrink       85 lits rem        110 time: 0.04
71.80/18.08	c asymm  cl-useful: 16/3555/55560 lits-rem:16 time: 2.78
71.80/18.09	c calculated reachability. Time: 0.02
71.80/18.09	c  N dy   328     46252     11203     55560     38555     14603    245117    109294      6.49   no data  --
72.19/18.11	c Finding binary XORs  T:     0.07 s  found:       3
74.60/18.72	c Finding binary XORs  T:     0.07 s  found:      22
75.80/19.10	c  N dy   363     50346     11192     55505     50800     18572    244848    252291      6.59      6.96  --
80.99/20.33	c  N dy   395     54617     11191     55505     50838     22737    244848    378974      6.68      7.10  --
85.38/21.44	c  N dy   430     58631     11184     55505     52667     26700    244848    544643      6.82      8.55  --
89.38/22.45	c  N dy   463     62729     11184     55505     52758     20205    244848    247789      6.95      7.49  --
91.77/23.05	c Finding binary XORs  T:     0.07 s  found:      45
93.77/23.60	c  N dy   498     66771     11184     55453     49754     24115    244610    379442      7.03      7.49  --
96.96/24.36	c  S st   522     69379     11183     55453     49812     26700    244610    492980      7.12   no data  --
97.76/24.54	c  S st   522     69880     11182     55453     49833     27174    244610    501775      7.12   no data  --
97.76/24.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
97.76/24.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
110.54/27.79	c Flit:    15 Blit:      0 bXBeca:    0 bXProp:   11 Bins:  26070 BRemL:   4806 BRemN:      3 P: 43.6M T: 12.94
110.94/27.82	c Replacing       81 vars Replaced     8020 lits Time:     0.11 s 
110.94/27.87	c bin-w-bin subsume rem          219 bins  time:  0.05 s
112.15/28.14	c subs with bin:      566  lits-rem:      3409  v-fix:    0  time:  1.09 s
112.15/28.18	c Subs w/ non-existent bins:     18 l-rem:   1328 v-fix:     0 done:   4809 time:  0.15 s
112.15/28.20	c Removed useless bin:      25  fixed:     0  props:   2.23M  time:  0.05 s
119.33/29.96	c lits-rem:       958  cl-subs:     2033  v-elim:     64  v-fix:    0  time:  7.03 s
119.33/30.00	c vivif2 --  cl tried    54722 cl shrink       90 lits rem        100 time: 0.16
119.73/30.04	c vivif2 --  cl tried    25125 cl shrink     2032 lits rem       6856 time: 0.18
121.35/30.41	c asymm  cl-useful: 147/1277/54718 lits-rem:159 time: 1.47
121.35/30.42	c calculated reachability. Time: 0.03
121.35/30.42	c  N dy   522     69880     11021     54715     57267     25119    241551    400509      7.12   no data  --
121.35/30.44	c Finding binary XORs  T:     0.08 s  found:       8
125.74/31.55	c  N dy   560     74354     11016     54715     68860     29540    241551    633894      7.22      8.99  --
126.12/31.63	c Finding binary XORs  T:     0.08 s  found:      37
130.91/32.84	c  N dy   591     79119     11003     54645     67486     22641    241205    313012      7.24      7.67  --
136.10/34.15	c  N dy   634     84181     10996     54645     67506     27644    241205    561407      7.32      9.61  --
140.10/35.15	c  F st   657     87500     10995     54645     67561     30938    241205    754247      7.36      5.64  --
140.10/35.18	c Replacing       45 vars Replaced     4084 lits Time:     0.10 s 
143.70/36.06	c  N st   662     90796     10950     54565     61125     34080    240849   1005387      7.36   no data  --
150.89/37.88	c  N dy   694     96664     10947     54565     61166     26771    240849    389409      7.40      9.12  --
154.48/38.77	c Finding binary XORs  T:     0.08 s  found:      55
158.07/39.67	c  N dy   738    102834     10941     54501     75086     32866    240574    738195      7.47      8.10  --
160.48/40.29	c  S st   752    104820     10941     54501     75090     34829    240574    847277      7.49      6.53  --
161.26/40.46	c  S st   752    105325     10940     54501     75169     35314    240574    864706      7.49   no data  --
161.26/40.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
161.26/40.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
178.46/44.75	c Flit:    10 Blit:      1 bXBeca:    0 bXProp:   16 Bins:  32156 BRemL:   7890 BRemN:      9 P: 61.0M T: 17.09
178.84/44.80	c Replacing       71 vars Replaced     8515 lits Time:     0.17 s 
178.84/44.86	c bin-w-bin subsume rem          726 bins  time:  0.06 s
182.04/45.62	c subs with bin:      781  lits-rem:      6803  v-fix:    0  time:  3.03 s
182.04/45.65	c Subs w/ non-existent bins:      8 l-rem:   1749 v-fix:     0 done:   1280 time:  0.11 s
182.04/45.67	c Removed useless bin:      37  fixed:     0  props:   1.96M  time:  0.06 s
199.22/49.92	c lits-rem:      1763  cl-subs:     4651  v-elim:    113  v-fix:    0  time: 16.96 s
199.22/49.96	c vivif2 --  cl tried    53593 cl shrink      126 lits rem        145 time: 0.17
199.62/50.02	c vivif2 --  cl tried    30793 cl shrink     2750 lits rem      12488 time: 0.25
201.21/50.41	c asymm  cl-useful: 132/1150/53586 lits-rem:140 time: 1.52
201.21/50.42	c calculated reachability. Time: 0.03
201.21/50.42	c  N dy   752    105325     10743     53584     80586     30793    237084    516663      7.49   no data  --
201.21/50.44	c Finding binary XORs  T:     0.09 s  found:       4
208.82/52.33	c Finding binary XORs  T:     0.09 s  found:      35
209.60/52.58	c  N dy   804    112108     10736     53541     93438     37493    236885    923018      7.54     11.22  --
217.61/54.56	c Finding binary XORs  T:     0.09 s  found:      20
218.39/54.77	c  N dy   847    119267     10729     53497    117500     30449    236677    730646      7.58      9.05  --
227.98/57.16	c  N dy   912    126945     10726     53497    117565     38065    236677   1376590      7.67      9.24  --
238.27/59.75	c  N dy   968    135113     10725     53497    117664     30907    236677    675464      7.73     10.08  --
248.98/62.45	c  N dy  1043    144034     10721     53497    117759     39734    236677   1199833      7.85      8.30  --
260.05/65.27	c  N dy  1091    153229     10719     53497    117796     32044    236677    567069      7.88      8.36  --
266.75/66.96	c  S st  1130    157987     10715     53497    117841     36760    236677    804210      7.92      6.56  --
267.54/67.15	c  S st  1130    158490     10715     53497    117856     37245    236677    820607      7.92   no data  --
267.54/67.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
267.54/67.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
290.44/72.94	c Flit:    12 Blit:      0 bXBeca:    0 bXProp:   71 Bins:  43295 BRemL:  13112 BRemN:     22 P: 48.8M T: 22.77
290.44/72.99	c Replacing      130 vars Replaced    13237 lits Time:     0.20 s 
290.84/73.05	c bin-w-bin subsume rem         1485 bins  time:  0.09 s
293.99/73.83	c subs with bin:      860  lits-rem:      8604  v-fix:    0  time:  3.07 s
293.99/73.87	c Subs w/ non-existent bins:     11 l-rem:   1516 v-fix:     0 done:   1372 time:  0.14 s
293.99/73.88	c Removed useless bin:      44  fixed:     0  props:   2.10M  time:  0.06 s
305.09/76.62	c lits-rem:      2557  cl-subs:     3539  v-elim:     91  v-fix:    0  time: 10.81 s
305.09/76.66	c vivif2 --  cl tried    52315 cl shrink      185 lits rem        226 time: 0.18
305.46/76.73	c vivif2 --  cl tried    33743 cl shrink     3123 lits rem      14110 time: 0.28
307.06/77.10	c asymm  cl-useful: 160/1113/52303 lits-rem:197 time: 1.48
307.06/77.12	c calculated reachability. Time: 0.03
307.06/77.12	c  N dy  1130    158490     10482     52294    118884     33737    231237    596100      7.92   no data  --
307.06/77.14	c Finding binary XORs  T:     0.10 s  found:      12
319.85/80.36	c  N dy  1211    168611     10468     52294    119450     43789    231235   1173438      8.04      8.72  --
334.22/83.94	c  N dy  1295    179895     10467     52294    119534     36944    231234    856408      8.14      8.96  --
349.80/87.84	c Finding binary XORs  T:     0.10 s  found:     103
350.20/87.91	c Replacing      115 vars Replaced    28592 lits Time:     0.28 s 
351.00/88.10	c  N dy  1377    191883     10339     52147    126883     46473    230499   1508131      8.21      8.68  --
365.79/91.90	c  N dy  1465    204164     10338     52147    126955     41948    230499   1008475      8.28     15.24  --
383.78/96.38	c  N dy  1565    217289     10337     52147    127025     35429    230498    554506      8.38      8.86  --
396.96/99.67	c Finding binary XORs  T:     0.10 s  found:      46
402.93/101.15	c  N dy  1671    231332     10314     51950    147297     49241    229689   1450245      8.51      8.97  --
412.12/103.48	c  S st  1718    237736     10308     51950    147356     34983    229689    518752      8.55      8.27  --
412.92/103.63	c  S st  1718    238241     10307     51950    147362     35477    229689    536971      8.55   no data  --
412.92/103.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
412.92/103.65	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.01
436.08/109.41	c Flit:    14 Blit:      0 bXBeca:    0 bXProp:   30 Bins:  44850 BRemL:  17418 BRemN:     18 P: 38.5M T: 23.01
436.08/109.45	c Replacing       78 vars Replaced     5011 lits Time:     0.12 s 
436.08/109.50	c bin-w-bin subsume rem         2058 bins  time:  0.11 s
437.28/109.74	c subs with bin:      964  lits-rem:      2689  v-fix:    0  time:  0.98 s
437.68/109.81	c Subs w/ non-existent bins:    103 l-rem:    909 v-fix:     0 done:   9157 time:  0.26 s
437.68/109.82	c Removed useless bin:      45  fixed:     0  props:   2.07M  time:  0.05 s
440.48/110.55	c lits-rem:       931  cl-subs:     2791  v-elim:    154  v-fix:    0  time:  2.93 s
440.48/110.60	c vivif2 --  cl tried    50519 cl shrink      181 lits rem        205 time: 0.18
440.89/110.64	c vivif2 --  cl tried    32984 cl shrink      867 lits rem       1671 time: 0.16
442.47/111.00	c asymm  cl-useful: 71/872/50515 lits-rem:83 time: 1.44
442.47/111.02	c calculated reachability. Time: 0.04
442.47/111.02	c  N dy  1718    238241     10061     50512    132577     32980    223945    437528      8.55   no data  --
442.47/111.05	c Finding binary XORs  T:     0.12 s  found:      10
460.85/115.68	c  N dy  1795    253495     10051     50512    132921     47985    223945   1370224      8.55     11.31  --
477.23/119.78	c Finding binary XORs  T:     0.10 s  found:      67
482.82/121.15	c  N dy  1935    270059     10040     50396    134808     41652    223418    855430      8.69      9.35  --
509.18/127.77	c  N dy  2055    287342     10033     50396    134910     36424    223418    517755      8.78      9.43  --
535.95/134.45	c  N dy  2199    305695     10029     50396    135040     54552    223418   1283910      8.86     13.76  --
536.75/134.64	c  F st  2205    306253     10029     50396    135040     55105    223418   1316498      8.86   no data  --
536.75/134.69	c Replacing       77 vars Replaced    10924 lits Time:     0.16 s 
561.91/140.90	c  N dy  2317    325225      9949     50328    130677     50264    223091   1097108      8.94     11.42  --
589.88/147.92	c  N dy  2446    345236      9946     50328    130791     45382    223089    792486      9.02     10.18  --
607.45/152.30	c  S st  2534    357361      9944     50328    130884     57393    223089   1385117      9.06   no data  --
607.86/152.50	c  S st  2534    357864      9944     50328    130903     57890    223089   1408642      9.06   no data  --
608.27/152.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
608.27/152.52	c Cache  BProp: 0 Set: 0 BXProp: 33 T: 0.02
635.81/159.42	c Flit:    24 Blit:      0 bXBeca:    0 bXProp:  114 Bins:  61560 BRemL:  20143 BRemN:     32 P: 47.2M T: 27.57
636.21/159.52	c Replacing      147 vars Replaced    36910 lits Time:     0.38 s 
636.61/159.61	c bin-w-bin subsume rem         1310 bins  time:  0.10 s
642.21/161.08	c subs with bin:      839  lits-rem:     15453  v-fix:    0  time:  5.88 s
642.61/161.12	c Subs w/ non-existent bins:     25 l-rem:   1023 v-fix:     0 done:   1048 time:  0.13 s
642.61/161.14	c Removed useless bin:      26  fixed:     0  props:   1.84M  time:  0.05 s
652.98/163.70	c lits-rem:      4494  cl-subs:     7871  v-elim:    109  v-fix:    0  time: 10.22 s
652.98/163.74	c vivif2 --  cl tried    48703 cl shrink      320 lits rem        358 time: 0.19
653.38/163.88	c vivif2 --  cl tried    50180 cl shrink     6676 lits rem      28202 time: 0.52
654.98/164.28	c asymm  cl-useful: 116/686/48609 lits-rem:133 time: 1.63
655.38/164.30	c calculated reachability. Time: 0.04
655.38/164.30	c  N dy  2534    357864      9664     48605    155600     50128    216212    923622      9.06   no data  --
655.38/164.33	c Finding binary XORs  T:     0.12 s  found:      11
680.95/170.77	c  N dy  2622    377877      9659     48605    156659     43101    216212    739126      9.06      9.64  --
707.31/177.32	c Finding binary XORs  T:     0.12 s  found:      99
707.31/177.37	c Replacing      110 vars Replaced    20885 lits Time:     0.22 s 
708.11/177.58	c  N dy  2732    398455      9533     48488    165463     63282    215670   1806623      9.11      9.65  --
734.08/184.06	c  N dy  2843    418463      9530     48488    165589     56063    215670   1314207      9.14      9.71  --
763.24/191.30	c  N dy  2933    440711      9527     48488    165640     49912    215670    972797      9.15      9.66  --
776.02/194.58	c Finding binary XORs  T:     0.12 s  found:      94
789.60/198.00	c  N dy  3023    460845      9508     48339    177571     68431    214954   2296855      9.15      9.80  --
817.96/205.07	c  N dy  3142    480868      9506     48339    177657     60361    214953   1686729      9.20     12.73  --
845.54/211.91	c  N dy  3250    500926      9503     48339    177747     50396    214953    930294      9.22     10.22  --
874.29/219.10	c  N dy  3368    521011      9500     48339    177808     70263    214953   1845544      9.26     11.02  --
903.45/226.47	c  S st  3460    536797      9499     48339    177854     55374    214952   1001279      9.29   no data  --
904.65/226.73	c  S st  3460    537300      9499     48339    177898     55852    214952   1018713      9.29   no data  --
904.65/226.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
904.65/226.75	c Cache  BProp: 0 Set: 0 BXProp: 27 T: 0.01
926.22/232.14	c Flit:    21 Blit:      0 bXBeca:    0 bXProp:   46 Bins:  27126 BRemL:  24735 BRemN:     22 P: 47.2M T: 21.55
926.62/232.20	c Replacing      167 vars Replaced    18438 lits Time:     0.21 s 
926.62/232.27	c bin-w-bin subsume rem         3552 bins  time:  0.12 s
929.41/232.93	c subs with bin:     1192  lits-rem:      8135  v-fix:    0  time:  2.67 s
929.41/232.97	c Subs w/ non-existent bins:     41 l-rem:   1535 v-fix:     0 done:   2504 time:  0.16 s
929.41/232.99	c Removed useless bin:      46  fixed:     0  props:   1.76M  time:  0.04 s
943.00/236.30	c lits-rem:      4400  cl-subs:     6574  v-elim:    162  v-fix:    0  time: 13.22 s
943.00/236.35	c vivif2 --  cl tried    46476 cl shrink      278 lits rem        388 time: 0.18
943.40/236.44	c vivif2 --  cl tried    49567 cl shrink     3651 lits rem      10546 time: 0.39
944.99/236.84	c asymm  cl-useful: 74/590/46431 lits-rem:77 time: 1.57
944.99/236.85	c calculated reachability. Time: 0.04
944.99/236.85	c  N dy  3460    537300      9148     46431    140314     49530    207042    705329      9.29   no data  --
944.99/236.89	c Finding binary XORs  T:     0.13 s  found:      27
968.58/242.79	c  N dy  3523    557333      9142     46431    141033     69378    207042   1824947      9.26     12.98  --
996.91/249.87	c  N dy  3689    577376      9135     46431    141151     55639    207042   1045815      9.33     12.04  --
1027.68/257.53	c  N dy  3825    597473      9133     46431    141190     75561    207042   1974840      9.38      9.88  --
1058.44/265.28	c  N dy  3936    617502      9131     46431    141252     62545    207041   1304793      9.39      9.89  --
1088.80/272.81	c  N dy  4089    637527      9131     46431    141284     48921    207041    641193      9.46     10.04  --
1115.16/279.44	c Finding binary XORs  T:     0.12 s  found:      75
1115.16/279.47	c Replacing      102 vars Replaced    14861 lits Time:     0.14 s 
1119.55/280.53	c  N dy  4222    657543      9026     46321    133436     68343    206495   1459842      9.49     27.12  --
1159.50/290.53	c  N dy  4379    681767      9026     46321    133476     57370    206495    824427      9.55     10.69  --
1189.86/298.15	c  N dy  4521    701855      9022     46321    133540     77237    206494   1602040      9.60     11.83  --
1218.63/305.33	c  N dy  4644    721929      9020     46321    133572     61392    206494   1134113      9.63     15.10  --
1227.01/307.43	c Finding binary XORs  T:     0.12 s  found:      70
1243.78/311.69	c Finding binary XORs  T:     0.12 s  found:      20
1246.17/312.20	c Replacing       90 vars Replaced    13357 lits Time:     0.17 s 
1254.57/314.37	c  N dy  4731    741936      8898     46087    162687     80251    205427   1876603      9.63     14.69  --
1284.94/321.91	c  N dy  4870    762422      8896     46087    162738     64254    205425   1231366      9.68     10.22  --
1320.47/330.87	c  N dy  4990    782591      8889     46087    162778     84188    205425   2106857      9.71     10.25  --
1355.62/339.63	c  N dy  5112    802622      8887     46087    162826     66078    205424   1155287      9.74     11.65  --
1360.01/340.78	c  S st  5117    805950      8887     46087    162840     69369    205424   1307223      9.73      9.63  --
1360.81/340.97	c  S st  5117    806457      8887     46087    162847     69868    205424   1333419      9.73   no data  --
1360.81/340.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1360.81/340.99	c Cache  BProp: 0 Set: 0 BXProp: 14 T: 0.01
1385.60/347.11	c Flit:    13 Blit:      0 bXBeca:    0 bXProp:   16 Bins:  52577 BRemL:  24579 BRemN:     28 P: 49.8M T: 24.43
1385.60/347.15	c Replacing       30 vars Replaced     2569 lits Time:     0.16 s 
1386.01/347.24	c bin-w-bin subsume rem         4722 bins  time:  0.13 s
1390.40/348.38	c subs with bin:     1804  lits-rem:      9672  v-fix:    0  time:  4.58 s
1390.77/348.42	c Subs w/ non-existent bins:     13 l-rem:   1693 v-fix:     0 done:    433 time:  0.15 s
1390.77/348.43	c Removed useless bin:      43  fixed:     0  props:   1.41M  time:  0.04 s
1399.56/350.68	c lits-rem:      3711  cl-subs:     9445  v-elim:    163  v-fix:    0  time:  8.97 s
1399.96/350.72	c vivif2 --  cl tried    44622 cl shrink      283 lits rem        335 time: 0.18
1400.36/350.86	c vivif2 --  cl tried    60017 cl shrink     5210 lits rem      16338 time: 0.54
1401.96/351.25	c asymm  cl-useful: 77/497/44604 lits-rem:80 time: 1.57
1401.96/351.27	c calculated reachability. Time: 0.03
1401.96/351.27	c  N dy  5117    806457      8680     44604    147021     59997    199206    874888      9.73   no data  --
1402.36/351.30	c Finding binary XORs  T:     0.14 s  found:      13
1431.13/358.54	c  N dy  5165    826763      8670     44604    147219     80101    199206   2286701      9.70     10.25  --
1461.08/366.06	c  N dy  5237    846772      8667     44604    147263     59012    199205    987520      9.69     10.22  --
1493.43/374.19	c  N dy  5330    866835      8663     44604    147300     78849    199205   1853186      9.69     15.52  --
1522.22/381.36	c  N dy  5428    886921      8660     44604    147327     58891    199204    896622      9.70     13.64  --
1551.75/388.73	c  N dy  5507    909825      8656     44604    147356     81602    199196   2223281      9.69     10.27  --
1586.92/397.54	c  N dy  5618    929831      8656     44604    147401     60688    199196    958204      9.70     10.91  --
1617.67/405.26	c  N dy  5771    949929      8654     44604    147427     80616    199196   1842806      9.75     11.94  --
1642.44/411.47	c Finding binary XORs  T:     0.12 s  found:      78
1642.84/411.54	c Replacing       91 vars Replaced    16953 lits Time:     0.29 s 
1650.82/413.55	c  N dy  5896    969931      8534     44264    150292     57289    197576    878515      9.77     10.30  --
1680.00/420.87	c  N dy  6031    990012      8533     44264    150345     77208    197572   1809551      9.80     12.04  --
1716.33/429.99	c  N dy  6154   1010386      8531     44264    150379     54233    197572    627288      9.83     10.36  --
1743.10/436.61	c  N dy  6249   1030450      8527     44264    150406     74091    197572   1620225      9.83     16.05  --
1778.25/445.44	c  N dy  6363   1050589      8527     44264    150435     94018    197571   2387955      9.85     10.46  --
1815.40/454.79	c  N dy  6472   1071477      8525     44264    150460     70837    197571   1430801      9.87     10.40  --
1816.22/454.94	c  F st  6476   1071876      8525     44264    150460     71234    197571   1449533      9.87   no data  --
1846.56/462.59	c  N dy  6547   1091522      8522     44236    148110     90482    197358   2460456      9.87     12.47  --
1884.51/472.03	c  N dy  6676   1111543      8521     44236    148132     65110    197358    927862      9.89     15.50  --
1920.06/480.92	c  N dy  6786   1133019      8519     44236    148157     86401    197358   1893324      9.90     10.49  --
1956.82/490.14	c  N dy  6902   1153084      8514     44236    148181     60390    197358    767373      9.92     11.35  --
1989.16/498.25	c  N dy  7004   1173109      8514     44236    148198     80207    197358   1578836      9.93     11.79  --
2021.92/506.46	c  N dy  7125   1193198      8511     44236    148222    100164    197358   2577328      9.94     15.66  --
2048.68/513.12	c  S st  7226   1209687      8510     44236    148268     69508    197358   1185768      9.95   no data  --
2049.50/513.31	c  S st  7226   1210187      8509     44236    148272     70002    197358   1210324      9.95   no data  --
2049.50/513.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2049.50/513.33	c Cache  BProp: 1 Set: 1 BXProp: 51 T: 0.01
2074.64/519.69	c Flit:    19 Blit:      1 bXBeca:    0 bXProp:   42 Bins:  65249 BRemL:  25307 BRemN:     33 P: 51.7M T: 25.44
2075.04/519.74	c Replacing       93 vars Replaced     9670 lits Time:     0.20 s 
2075.46/519.82	c bin-w-bin subsume rem         1495 bins  time:  0.11 s
2078.65/520.69	c subs with bin:     1175  lits-rem:      8592  v-fix:    0  time:  3.48 s
2079.05/520.73	c Subs w/ non-existent bins:     15 l-rem:   1554 v-fix:     0 done:   1824 time:  0.17 s
2079.05/520.75	c Removed useless bin:      26  fixed:     0  props:   1.36M  time:  0.04 s
2087.43/522.84	c lits-rem:      4516  cl-subs:     8360  v-elim:    156  v-fix:    0  time:  8.35 s
2087.43/522.88	c vivif2 --  cl tried    42878 cl shrink      220 lits rem        248 time: 0.17
2088.23/523.00	c vivif2 --  cl tried    60829 cl shrink     3812 lits rem      10515 time: 0.47
2089.83/523.40	c asymm  cl-useful: 104/597/42864 lits-rem:129 time: 1.60
2089.83/523.41	c calculated reachability. Time: 0.03
2089.83/523.41	c  N dy  7226   1210187      8239     42856    146488     60819    191650    811521      9.95   no data  --
2089.83/523.45	c Finding binary XORs  T:     0.14 s  found:      10
2118.59/530.61	c  N dy  7287   1230416      8227     42856    147012     80851    191649   2079362      9.94     10.48  --
2156.13/540.05	c  N dy  7422   1250500      8225     42856    147028    100775    191648   2932947      9.96     14.64  --
2161.73/541.45	c Finding binary XORs  T:     0.13 s  found:      23
2173.71/544.45	c Finding binary XORs  T:     0.13 s  found:      16
2191.69/548.91	c  N dy  7529   1270697      8207     42713    159921     69655    190824   1164885      9.97     10.52  --
2224.44/557.10	c  N dy  7670   1290781      8201     42713    159942     89578    190824   2063270     10.00     13.44  --
2267.18/567.87	c  N dy  7788   1313434      8199     42713    159963     62877    190824    885070     10.00     10.54  --
2299.97/576.09	c  N dy  7914   1333463      8197     42713    159986     82735    190824   1614699     10.02     11.17  --
2339.51/585.97	c  N dy  8045   1354410      8195     42713    160004    103452    190823   2425392     10.03     10.64  --
2371.84/594.00	c  N dy  8170   1374440      8195     42713    160020     73142    190823   1323423     10.05     11.72  --
2405.80/602.59	c  N dy  8298   1394493      8192     42713    160031     93079    190823   2145490     10.06     13.93  --
2444.14/612.12	c  N dy  8446   1414715      8192     42713    160048     61782    190823    837804     10.08     10.72  --
2479.72/621.04	c  N dy  8569   1434975      8190     42713    160054     81853    190822   1521274     10.10     10.74  --
2518.04/630.64	c  N dy  8683   1455096      8187     42713    160070    101726    190822   2270165     10.11     10.71  --
2555.59/640.07	c  N dy  8799   1475872      8185     42713    160090     70091    190822   1049676     10.11     10.68  --
2591.14/648.97	c  N dy  8893   1495915      8183     42713    160102     89889    190822   1707174     10.12     12.24  --
2629.89/658.66	c  N dy  9000   1515949      8183     42713    160123    109694    190822   2345574     10.13     10.68  --
2645.47/662.55	c Finding binary XORs  T:     0.12 s  found:     199
2645.87/662.62	c Replacing      248 vars Replaced    41406 lits Time:     0.25 s 
2664.67/667.37	c  N dy  9134   1536005      7914     42452    176764     75109    189508   1212372     10.14     13.01  --
2704.21/677.25	c  N dy  9246   1556089      7912     42452    176799     94981    189508   1833062     10.15     14.10  --
2750.12/688.77	c  N dy  9355   1577646      7907     42452    176836     62028    189496    761227     10.16     10.81  --
2782.09/696.74	c  N dy  9426   1598336      7903     42452    176848     82419    189496   1449577     10.15     10.71  --
2811.64/704.17	c Finding binary XORs  T:     0.11 s  found:     128
2812.04/704.21	c Replacing      128 vars Replaced    16091 lits Time:     0.16 s 
2820.43/706.33	c  N dy  9516   1618420      7105     34957     76440     70241    157176   1077053     10.15     11.07  --
2829.22/708.58	c Following stats are for *FIRST FINISHED THREAD ONLY*
2829.22/708.58	c num threads              : 4          
2829.22/708.58	c restarts                 : 7424       
2829.22/708.58	c dynamic restarts         : 7394       
2829.22/708.58	c static restarts          : 30         
2829.22/708.58	c full restarts            : 4          
2829.22/708.58	c total simplify time      : 7.19       
2829.22/708.58	c learnts DL2              : 0          
2829.22/708.58	c learnts size 2           : 734690     
2829.22/708.58	c learnts size 1           : 5328        (45.62     % of vars)
2829.22/708.58	c filedLit time            : 122.95      (4.35      % time)
2829.22/708.58	c v-elim SatELite          : 1320        (11.30     % vars)
2829.22/708.58	c SatELite time            : 48.43       (1.71      % time)
2829.22/708.58	c v-elim xor               : 0           (0.00      % vars)
2829.22/708.58	c xor elim time            : 0.27        (0.01      % time)
2829.22/708.58	c num binary xor trees     : 478        
2829.22/708.58	c binxor trees' crown      : 2849        (5.96      leafs/tree)
2829.22/708.58	c bin xor find time        : 3.10       
2829.22/708.58	c OTF clause improved      : 23660       (0.02      clauses/conflict)
2829.22/708.58	c OTF impr. size diff      : 32459       (1.37       lits/clause)
2829.22/708.58	c OTF cl watch-shrink      : 1049524     (0.70      clauses/conflict)
2829.22/708.58	c OTF cl watch-sh-lit      : 3948290     (3.76       lits/clause)
2829.22/708.58	c tried to recurMin cls    : 595233      (39.93      % of conflicts)
2829.22/708.58	c updated cache            : 52836       (0.09       lits/tried recurMin)
2829.22/708.58	c unit cls received        : 621         (11.66     % of units)
2829.22/708.58	c unit cls sent            : 2603        (48.86     % of units)
2829.22/708.58	c bin cls received         : 538005     
2829.22/708.58	c bin cls sent             : 141675     
2829.22/708.58	c clauses over max glue    : 0           (0.00      % of all clauses)
2829.22/708.58	c conflicts                : 1490848     (527.12    / sec)
2829.22/708.58	c decisions                : 3322995     (0.38      % random)
2829.22/708.58	c bogo-props               : 42786573339 (15128135.49 / sec)
2829.22/708.58	c conflict literals        : 46467984    (49.75     % deleted)
2829.22/708.58	c Memory used              : 825.88      MB
2829.22/708.58	c single-thread CPU time   : 2828.28     s
2829.22/708.58	c all-threads sum CPU time : 2828.28     s
2829.22/708.58	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-3291406-1304136203/watcher-3291406-1304136203 -o /tmp/evaluation-result-3291406-1304136203/solver-3291406-1304136203 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3291406-1304136203.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: 6.67 7.77 7.91 3/174 30140
/proc/meminfo: memFree=30891720/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 4 0 525218282 52465664 352 33554432000 4194304 4650419 140736982337136 18446744073709551615 46944988608434 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 12809 352 303 112 0 7774 0
[pid=30140/tid=30141] ppid=30138 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 525218282 52465664 352 33554432000 4194304 4650419 140736982337136 18446744073709551615 46944988608434 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 525218282 52465664 352 33554432000 4194304 4650419 140736982337136 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 525218282 52465664 352 33554432000 4194304 4650419 140736982337136 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0164281 s]
/proc/loadavg: 6.67 7.77 7.91 3/174 30140
/proc/meminfo: memFree=30891720/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=291600 CPUtime=0.03 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) S 30138 30140 29331 0 -1 4202496 5785 0 0 0 2 1 0 0 18 0 4 0 525218282 298598400 4758 33554432000 4194304 4650419 140736982337136 18446744073709551615 228122819054 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 72942 4782 345 112 0 67907 0
[pid=30140/tid=30141] ppid=30138 vsize=291768 CPUtime=0 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) S 30138 30140 29331 0 -1 4202560 1276 0 0 0 0 0 0 0 18 0 4 0 525218282 298770432 4829 33554432000 4194304 4650419 140736982337136 18446744073709551615 228122819054 0 0 4096 2 18446604453955394368 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=291768 CPUtime=0 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 1444 0 0 0 0 0 0 0 18 0 4 0 525218282 298770432 4888 33554432000 4194304 4650419 140736982337136 18446744073709551615 4545880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=291768 CPUtime=0 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 1452 0 0 0 0 0 0 0 18 0 4 0 525218282 298770432 4903 33554432000 4194304 4650419 140736982337136 18446744073709551615 4514596 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 291600

[startup+0.134811 s]
/proc/loadavg: 6.67 7.77 7.91 3/174 30140
/proc/meminfo: memFree=30891720/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=324872 CPUtime=2.69 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) D 30138 30140 29331 0 -1 4202496 10719 0 0 0 265 4 0 0 18 0 4 0 525218282 332668928 9691 33554432000 4194304 4650419 140736982337136 18446744073709551615 4514425 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 81218 9888 370 112 0 76183 0
[pid=30140/tid=30141] ppid=30138 vsize=301964 CPUtime=0.79 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 3548 0 0 0 79 0 0 0 19 0 4 0 525218282 309211136 11776 33554432000 4194304 4650419 140736982337136 18446744073709551615 4369188 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=301964 CPUtime=0.79 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 3737 0 0 0 78 1 0 0 19 0 4 0 525218282 309211136 11776 33554432000 4194304 4650419 140736982337136 18446744073709551615 4371104 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=301964 CPUtime=0.8 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 2667 0 0 0 79 1 0 0 19 0 4 0 525218282 309211136 11776 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363341 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 324872

[startup+0.905175 s]
/proc/loadavg: 6.67 7.77 7.91 3/174 30140
/proc/meminfo: memFree=30891720/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=303680 CPUtime=3.61 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 15622 0 0 0 355 6 0 0 18 0 4 0 525218282 310968320 13448 33554432000 4194304 4650419 140736982337136 18446744073709551615 4369240 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 75920 13449 372 112 0 70885 0
[pid=30140/tid=30141] ppid=30138 vsize=303680 CPUtime=0.89 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 4109 0 0 0 89 0 0 0 19 0 4 0 525218282 310968320 13449 33554432000 4194304 4650419 140736982337136 18446744073709551615 228122374853 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=303680 CPUtime=0.89 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 4293 0 0 0 88 1 0 0 19 0 4 0 525218282 310968320 13449 33554432000 4194304 4650419 140736982337136 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=303680 CPUtime=0.9 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 2682 0 0 0 89 1 0 0 19 0 4 0 525218282 310968320 13449 33554432000 4194304 4650419 140736982337136 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 303680

[startup+1.02428 s]
/proc/loadavg: 6.67 7.77 7.91 3/174 30140
/proc/meminfo: memFree=30891720/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=304472 CPUtime=4 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 16505 0 0 0 394 6 0 0 18 0 4 0 525218282 311779328 14331 33554432000 4194304 4650419 140736982337136 18446744073709551615 4244702 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 76118 14331 372 112 0 71083 0
[pid=30140/tid=30141] ppid=30138 vsize=304472 CPUtime=0.99 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 4383 0 0 0 99 0 0 0 19 0 4 0 525218282 311779328 14331 33554432000 4194304 4650419 140736982337136 18446744073709551615 4369378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=304472 CPUtime=1 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 4568 0 0 0 98 2 0 0 19 0 4 0 525218282 311779328 14331 33554432000 4194304 4650419 140736982337136 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=304472 CPUtime=1 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 2755 0 0 0 99 1 0 0 19 0 4 0 525218282 311779328 14331 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 304472

[startup+1.5002 s]
/proc/loadavg: 6.67 7.77 7.91 3/174 30140
/proc/meminfo: memFree=30891720/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=309580 CPUtime=5.9 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 25674 0 0 0 583 7 0 0 18 0 4 0 525218282 317009920 22066 33554432000 4194304 4650419 140736982337136 18446744073709551615 4313703 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 77395 22066 390 112 0 72360 0
[pid=30140/tid=30141] ppid=30138 vsize=309580 CPUtime=1.46 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 7536 0 0 0 145 1 0 0 18 0 4 0 525218282 317009920 22066 33554432000 4194304 4650419 140736982337136 18446744073709551615 4312915 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=309580 CPUtime=1.47 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 7574 0 0 0 145 2 0 0 18 0 4 0 525218282 317009920 22066 33554432000 4194304 4650419 140736982337136 18446744073709551615 4314272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=309580 CPUtime=1.48 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 2800 0 0 0 147 1 0 0 20 0 4 0 525218282 317009920 22066 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 309580

[startup+3.10091 s]
/proc/loadavg: 6.78 7.78 7.91 9/184 30153
/proc/meminfo: memFree=30665712/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=309580 CPUtime=12.29 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 26361 0 0 0 1222 7 0 0 20 0 4 0 525218282 317009920 22561 33554432000 4194304 4650419 140736982337136 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 77395 22561 394 112 0 72360 0
[pid=30140/tid=30141] ppid=30138 vsize=309580 CPUtime=3.05 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 7661 0 0 0 304 1 0 0 20 0 4 0 525218282 317009920 22561 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=309580 CPUtime=3.07 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 7706 0 0 0 305 2 0 0 20 0 4 0 525218282 317009920 22562 33554432000 4194304 4650419 140736982337136 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=309580 CPUtime=3.08 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 2937 0 0 0 307 1 0 0 25 0 4 0 525218282 317009920 22562 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 309580

[startup+6.30034 s]
/proc/loadavg: 6.78 7.78 7.91 9/184 30153
/proc/meminfo: memFree=30661264/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=312500 CPUtime=25.07 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 30220 0 0 0 2498 9 0 0 25 0 4 0 525218282 320000000 23090 33554432000 4194304 4650419 140736982337136 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 78125 23090 395 112 0 73090 0
[pid=30140/tid=30141] ppid=30138 vsize=312500 CPUtime=6.24 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 8567 0 0 0 622 2 0 0 25 0 4 0 525218282 320000000 23090 33554432000 4194304 4650419 140736982337136 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=312500 CPUtime=6.26 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 8748 0 0 0 624 2 0 0 25 0 4 0 525218282 320000000 23090 33554432000 4194304 4650419 140736982337136 18446744073709551615 4364859 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=312500 CPUtime=6.27 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 3879 0 0 0 626 1 0 0 25 0 4 0 525218282 320000000 23090 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363768 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 312500

[startup+12.7002 s]
/proc/loadavg: 7.04 7.80 7.92 9/184 30153
/proc/meminfo: memFree=30638844/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=315056 CPUtime=50.65 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 41731 0 0 0 5052 13 0 0 25 0 4 0 525218282 322617344 28686 33554432000 4194304 4650419 140736982337136 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 78764 28686 395 112 0 73729 0
[pid=30140/tid=30141] ppid=30138 vsize=315056 CPUtime=12.6 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 11740 0 0 0 1258 2 0 0 25 0 4 0 525218282 322617344 28686 33554432000 4194304 4650419 140736982337136 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=315056 CPUtime=12.68 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 11213 0 0 0 1264 4 0 0 25 0 4 0 525218282 322617344 28686 33554432000 4194304 4650419 140736982337136 18446744073709551615 4369378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=315056 CPUtime=12.68 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 5827 0 0 0 1266 2 0 0 25 0 4 0 525218282 322617344 28686 33554432000 4194304 4650419 140736982337136 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 315056

[startup+25.5009 s]
/proc/loadavg: 7.19 7.81 7.92 9/184 30154
/proc/meminfo: memFree=30426684/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=321524 CPUtime=101.75 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 67775 0 0 0 10158 17 0 0 25 0 4 0 525218282 329240576 40718 33554432000 4194304 4650419 140736982337136 18446744073709551615 4230702 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 80381 40718 395 112 0 75346 0
[pid=30140/tid=30141] ppid=30138 vsize=321524 CPUtime=25.33 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 16534 0 0 0 2529 4 0 0 25 0 4 0 525218282 329240576 40718 33554432000 4194304 4650419 140736982337136 18446744073709551615 4438951 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=321524 CPUtime=25.46 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 16507 0 0 0 2542 4 0 0 25 0 4 0 525218282 329240576 40718 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=321524 CPUtime=25.48 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 16604 0 0 0 2544 4 0 0 25 0 4 0 525218282 329240576 40718 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 321524

[startup+51.1003 s]
/proc/loadavg: 7.54 7.84 7.93 9/184 30156
/proc/meminfo: memFree=30059304/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=388728 CPUtime=204.01 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 101352 0 0 0 20375 26 0 0 25 0 4 0 525218282 398057472 57274 33554432000 4194304 4650419 140736982337136 18446744073709551615 4367351 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 97182 57274 395 112 0 92147 0
[pid=30140/tid=30141] ppid=30138 vsize=388728 CPUtime=50.8 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 24517 0 0 0 5074 6 0 0 25 0 4 0 525218282 398057472 57274 33554432000 4194304 4650419 140736982337136 18446744073709551615 4422495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=388728 CPUtime=51.07 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 22687 0 0 0 5101 6 0 0 25 0 4 0 525218282 398057472 57274 33554432000 4194304 4650419 140736982337136 18446744073709551615 4333550 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=388728 CPUtime=51.07 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 28081 0 0 0 5100 7 0 0 25 0 4 0 525218282 398057472 57274 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 388728

[startup+102.301 s]
/proc/loadavg: 8.03 7.93 7.95 9/184 30159
/proc/meminfo: memFree=29966088/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=414976 CPUtime=407.72 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 145374 0 0 0 40731 41 0 0 25 0 4 0 525218282 424935424 71918 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363335 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 103744 71918 399 112 0 98709 0
[pid=30140/tid=30141] ppid=30138 vsize=414976 CPUtime=100.92 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 35086 0 0 0 10083 9 0 0 25 0 4 0 525218282 424935424 71918 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=414976 CPUtime=102.25 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 31051 0 0 0 10216 9 0 0 25 0 4 0 525218282 424935424 71918 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363687 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=414976 CPUtime=102.27 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 41138 0 0 0 10216 11 0 0 25 0 4 0 525218282 424935424 71918 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.72
Current children cumulated vsize (KiB) 414976

[startup+162.3 s]

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

/proc/30140/statm: 178461 129557 395 112 0 173426 0
[pid=30140/tid=30141] ppid=30138 vsize=713844 CPUtime=339.63 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 57493 0 0 0 33945 18 0 0 25 0 4 0 525218282 730976256 129557 33554432000 4194304 4650419 140736982337136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=713844 CPUtime=342.26 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 52332 0 0 0 34210 16 0 0 25 0 4 0 525218282 730976256 129557 33554432000 4194304 4650419 140736982337136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=713844 CPUtime=342.29 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 75616 0 0 0 34204 25 0 0 25 0 4 0 525218282 730976256 129557 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1366.41
Current children cumulated vsize (KiB) 713844

[startup+402.301 s]
/proc/loadavg: 8.00 7.97 7.96 9/184 30167
/proc/meminfo: memFree=29375592/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=779380 CPUtime=1606.08 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 279525 0 0 0 160516 92 0 0 25 0 4 0 525218282 798085120 136854 33554432000 4194304 4650419 140736982337136 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 194845 136854 395 112 0 189810 0
[pid=30140/tid=30141] ppid=30138 vsize=779380 CPUtime=399.3 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 57529 0 0 0 39912 18 0 0 25 0 4 0 525218282 798085120 136854 33554432000 4194304 4650419 140736982337136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=779380 CPUtime=402.26 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 53465 0 0 0 40209 17 0 0 25 0 4 0 525218282 798085120 136854 33554432000 4194304 4650419 140736982337136 18446744073709551615 4230684 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=779380 CPUtime=402.29 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 84387 0 0 0 40200 29 0 0 25 0 4 0 525218282 798085120 136854 33554432000 4194304 4650419 140736982337136 18446744073709551615 4314944 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1606.08
Current children cumulated vsize (KiB) 779380

[startup+462.3 s]
/proc/loadavg: 8.00 7.97 7.96 9/184 30168
/proc/meminfo: memFree=29253768/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=803748 CPUtime=1845.76 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 297747 0 0 0 184476 100 0 0 25 0 4 0 525218282 823037952 142131 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 200937 142131 395 112 0 195902 0
[pid=30140/tid=30141] ppid=30138 vsize=803748 CPUtime=458.97 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 59801 0 0 0 45878 19 0 0 25 0 4 0 525218282 823037952 142131 33554432000 4194304 4650419 140736982337136 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=803748 CPUtime=462.26 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 56303 0 0 0 46208 18 0 0 25 0 4 0 525218282 823037952 142131 33554432000 4194304 4650419 140736982337136 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=803748 CPUtime=462.29 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 88003 0 0 0 46198 31 0 0 25 0 4 0 525218282 823037952 142131 33554432000 4194304 4650419 140736982337136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1845.76
Current children cumulated vsize (KiB) 803748

[startup+522.3 s]
/proc/loadavg: 8.00 7.97 7.96 9/184 30170
/proc/meminfo: memFree=29124876/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=816556 CPUtime=2085.43 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 316957 0 0 0 208435 108 0 0 25 0 4 0 525218282 836153344 141685 33554432000 4194304 4650419 140736982337136 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 204139 141685 395 112 0 199104 0
[pid=30140/tid=30141] ppid=30138 vsize=816556 CPUtime=518.65 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 64529 0 0 0 51844 21 0 0 25 0 4 0 525218282 836153344 141685 33554432000 4194304 4650419 140736982337136 18446744073709551615 4328450 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=816556 CPUtime=522.27 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 56371 0 0 0 52209 18 0 0 25 0 4 0 525218282 836153344 141685 33554432000 4194304 4650419 140736982337136 18446744073709551615 4329683 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=816556 CPUtime=522.29 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 94442 0 0 0 52196 33 0 0 25 0 4 0 525218282 836153344 141685 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2085.43
Current children cumulated vsize (KiB) 816556

[startup+582.301 s]
/proc/loadavg: 8.05 7.99 7.96 9/184 30171
/proc/meminfo: memFree=29060112/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=779984 CPUtime=2325.11 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 335140 0 0 0 232395 116 0 0 25 0 4 0 525218282 798703616 146983 33554432000 4194304 4650419 140736982337136 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 194996 146983 395 112 0 189961 0
[pid=30140/tid=30141] ppid=30138 vsize=779984 CPUtime=578.32 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 68805 0 0 0 57810 22 0 0 25 0 4 0 525218282 798703616 146983 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=779984 CPUtime=582.27 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 56371 0 0 0 58209 18 0 0 25 0 4 0 525218282 798703616 146983 33554432000 4194304 4650419 140736982337136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=779984 CPUtime=582.29 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 100535 0 0 0 58193 36 0 0 25 0 4 0 525218282 798703616 146983 33554432000 4194304 4650419 140736982337136 18446744073709551615 4365535 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2325.11
Current children cumulated vsize (KiB) 779984

[startup+642.301 s]
/proc/loadavg: 8.12 8.02 7.97 9/184 30173
/proc/meminfo: memFree=28922684/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=845520 CPUtime=2564.78 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 349177 0 0 0 256356 122 0 0 25 0 4 0 525218282 865812480 152134 33554432000 4194304 4650419 140736982337136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 211380 152134 395 112 0 206345 0
[pid=30140/tid=30141] ppid=30138 vsize=845520 CPUtime=637.99 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 72417 0 0 0 63775 24 0 0 25 0 4 0 525218282 865812480 152134 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=845520 CPUtime=642.27 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 56372 0 0 0 64209 18 0 0 25 0 4 0 525218282 865812480 152134 33554432000 4194304 4650419 140736982337136 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=845520 CPUtime=642.29 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 105709 0 0 0 64191 38 0 0 25 0 4 0 525218282 865812480 152134 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2564.78
Current children cumulated vsize (KiB) 845520

[startup+702.301 s]
/proc/loadavg: 8.14 8.04 7.98 9/184 30175
/proc/meminfo: memFree=28890144/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=845696 CPUtime=2804.46 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 359734 0 0 0 280320 126 0 0 25 0 4 0 525218282 865992704 157155 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363444 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 211424 157155 395 112 0 206389 0
[pid=30140/tid=30141] ppid=30138 vsize=845696 CPUtime=697.67 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 72419 0 0 0 69743 24 0 0 25 0 4 0 525218282 865992704 157155 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=845696 CPUtime=702.27 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 60469 0 0 0 70208 19 0 0 25 0 4 0 525218282 865992704 157155 33554432000 4194304 4650419 140736982337136 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=845696 CPUtime=702.3 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 108842 0 0 0 70190 40 0 0 25 0 4 0 525218282 865992704 157155 33554432000 4194304 4650419 140736982337136 18446744073709551615 4313315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.46
Current children cumulated vsize (KiB) 845696

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

[startup+704.601 s]
/proc/loadavg: 8.13 8.04 7.98 9/184 30175
/proc/meminfo: memFree=28865836/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=845696 CPUtime=2813.66 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 359936 0 0 0 281240 126 0 0 25 0 4 0 525218282 865992704 157357 33554432000 4194304 4650419 140736982337136 18446744073709551615 4368288 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 211424 157357 395 112 0 206389 0
[pid=30140/tid=30141] ppid=30138 vsize=845696 CPUtime=699.95 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 72419 0 0 0 69971 24 0 0 25 0 4 0 525218282 865992704 157357 33554432000 4194304 4650419 140736982337136 18446744073709551615 4366237 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=845696 CPUtime=704.58 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 60469 0 0 0 70439 19 0 0 25 0 4 0 525218282 865992704 157357 33554432000 4194304 4650419 140736982337136 18446744073709551615 4364811 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=845696 CPUtime=704.6 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 108963 0 0 0 70420 40 0 0 25 0 4 0 525218282 865992704 157357 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2813.66
Current children cumulated vsize (KiB) 845696

[startup+706.2 s]
/proc/loadavg: 8.13 8.04 7.98 9/184 30175
/proc/meminfo: memFree=28858148/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=845696 CPUtime=2820.03 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 360120 0 0 0 281877 126 0 0 25 0 4 0 525218282 865992704 157541 33554432000 4194304 4650419 140736982337136 18446744073709551615 4328270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 211424 157541 395 112 0 206389 0
[pid=30140/tid=30141] ppid=30138 vsize=845696 CPUtime=701.54 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 72419 0 0 0 70130 24 0 0 25 0 4 0 525218282 865992704 157541 33554432000 4194304 4650419 140736982337136 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=845696 CPUtime=706.17 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 60469 0 0 0 70598 19 0 0 25 0 4 0 525218282 865992704 157541 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363690 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=845696 CPUtime=706.19 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 109045 0 0 0 70579 40 0 0 25 0 4 0 525218282 865992704 157541 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363723 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2820.03
Current children cumulated vsize (KiB) 845696

[startup+707.801 s]
/proc/loadavg: 8.13 8.04 7.98 9/184 30175
/proc/meminfo: memFree=28859016/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=845696 CPUtime=2826.42 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 360286 0 0 0 282516 126 0 0 25 0 4 0 525218282 865992704 155386 33554432000 4194304 4650419 140736982337136 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 211424 155386 395 112 0 206389 0
[pid=30140/tid=30141] ppid=30138 vsize=845696 CPUtime=703.14 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 72419 0 0 0 70290 24 0 0 25 0 4 0 525218282 865992704 155386 33554432000 4194304 4650419 140736982337136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=845696 CPUtime=707.77 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 60469 0 0 0 70758 19 0 0 25 0 4 0 525218282 865992704 155386 33554432000 4194304 4650419 140736982337136 18446744073709551615 4364865 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=845696 CPUtime=707.79 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 109139 0 0 0 70739 40 0 0 25 0 4 0 525218282 865992704 155386 33554432000 4194304 4650419 140736982337136 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2826.42
Current children cumulated vsize (KiB) 845696

[startup+708.201 s]
/proc/loadavg: 8.12 8.04 7.98 10/184 30175
/proc/meminfo: memFree=28852072/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=845696 CPUtime=2828.02 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4202496 360302 0 0 0 282676 126 0 0 25 0 4 0 525218282 865992704 155402 33554432000 4194304 4650419 140736982337136 18446744073709551615 4328348 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 211424 155402 395 112 0 206389 0
[pid=30140/tid=30141] ppid=30138 vsize=845696 CPUtime=703.53 cores=0,2,4,6
/proc/30140/task/30141/stat : 30141 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 72419 0 0 0 70329 24 0 0 25 0 4 0 525218282 865992704 155402 33554432000 4194304 4650419 140736982337136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30140/tid=30142] ppid=30138 vsize=845696 CPUtime=708.17 cores=0,2,4,6
/proc/30140/task/30142/stat : 30142 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 60469 0 0 0 70798 19 0 0 25 0 4 0 525218282 865992704 155402 33554432000 4194304 4650419 140736982337136 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30140/tid=30143] ppid=30138 vsize=845696 CPUtime=708.19 cores=0,2,4,6
/proc/30140/task/30143/stat : 30143 (strangenight1-m) R 30138 30140 29331 0 -1 4202560 109140 0 0 0 70779 40 0 0 25 0 4 0 525218282 865992704 155402 33554432000 4194304 4650419 140736982337136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2828.02
Current children cumulated vsize (KiB) 845696

[startup+708.601 s]
/proc/loadavg: 8.12 8.04 7.98 10/184 30175
/proc/meminfo: memFree=28852072/32951124 swapFree=67111444/67111528
[pid=30140] ppid=30138 vsize=0 CPUtime=2829.55 cores=0,2,4,6
/proc/30140/stat : 30140 (strangenight1-m) R 30138 30140 29331 0 -1 4203524 360318 0 0 0 282827 128 0 0 25 0 1 0 525218282 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30140/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2829.55
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 708.612
CPU time (s): 2829.57
CPU user time (s): 2828.28
CPU system time (s): 1.2968
CPU usage (%): 399.312
Max. virtual memory (cumulated for all children) (KiB): 915572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2828.28
system time used= 1.2968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 360318
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= 5256
involuntary context switches= 13459

runsolver used 1.16882 second user time and 2.71359 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-30 06:03:23
IDJOB=3291406
IDBENCH=84215
IDSOLVER=1588
FILE ID=node138/3291406-1304136203
RUNJOBID= node138-1304136203-30126
PBS_JOBID= 13170789
Free space on /tmp= 72408 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/k2mul.miter.shuffled-as.sat03-355.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291406-1304136203/watcher-3291406-1304136203 -o /tmp/evaluation-result-3291406-1304136203/solver-3291406-1304136203 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3291406-1304136203.cnf

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

MD5SUM BENCH= 77e0700cbaeeb3d63a4820608fc84761
RANDOM SEED=530879681

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.854
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.854
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.80
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.854
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.854
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.854
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:      30891884 kB
Buffers:        644080 kB
Cached:         953704 kB
SwapCached:         84 kB
Active:         114700 kB
Inactive:      1550428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30891884 kB
SwapTotal:    67111528 kB
SwapFree:     67111444 kB
Dirty:            8604 kB
Writeback:           0 kB
AnonPages:       66812 kB
Mapped:          14492 kB
Slab:           331188 kB
PageTables:       4732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190280 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= 72392 MiB
End job on node138 at 2011-04-30 06:15:12