Trace number 3263609

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-mt? (TO) 4800.25 1201.74

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
MD5SUM9ffa0325c9e00b41c025f41d20ec5a0c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4252.27
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses49070
Sum of the clauses size98700
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 249050
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 520

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-3263609-1304135383.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:       49070
0.00/0.01	c -- clauses added:            0 learnts,        49070 normals,            0 xors
0.00/0.01	c -- vars added        600
0.00/0.01	c Parsing time:  0.04 s
0.00/0.01	c  N st     0         0       600        20     49050         0     98700         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/20/20 lits-rem:0 time: 0.00
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
0.00/0.03	c bin-w-bin subsume rem            0 bins  time:  0.03 s
0.00/0.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.00/0.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.02 s
0.17/0.05	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.02 s
0.17/0.06	c lits-rem:       420  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.05 s
0.17/0.06	c Finding binary XORs  T:     0.00 s  found:       0
0.17/0.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.17/0.06	c calculated reachability. Time: 0.00
0.17/0.06	c Calc default polars -  time:   0.00 s pos:     284 undec:      20 neg:     296
0.17/0.06	c =========================================================================================
0.17/0.06	c types(t): F = full restart, N = normal restart
0.17/0.06	c types(t): S = simplification begin/end, E = solution found
0.17/0.06	c restart types(rt): st = static, dy = dynamic
0.17/0.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.17/0.06	c  B st     0         0       580      1030     47440         0    130680         0   no data   no data  --
1.17/0.33	c  N dy    18      4196       580      1030     47442      4020    130680    258745      8.23      8.69  --
2.77/0.74	c  N dy    37      8351       580      1030     47449      5644    130680    436439      9.29      9.85  --
4.39/1.14	c  N dy    63     12537       578      1030     47452      5602    130680    308716     10.02     10.81  --
5.97/1.53	c  N dy    80     16926       578      1030     47456      9843    130680    485878     10.07     10.64  --
7.17/1.89	c  N dy   108     21000       578      1030     47461      8383    130680    453399     10.49     20.61  --
9.16/2.37	c  F st   131     25001       578      1030     47462     12267    130679    724031     10.96      7.65  --
9.16/2.38	c  N st   131     25001       578      1016     46926     11403    129055    710840     10.96      7.65  --
11.16/2.88	c  N dy   137     30000       578      1016     46930     10053    129055    572070     10.96   no data  --
11.16/2.88	c  S st   137     30000       578      1016     46930     10053    129055    572070     10.96   no data  --
11.56/2.93	c  S st   137     30505       577      1016     46930     10553    129055    595526     10.96   no data  --
11.56/2.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
11.56/2.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.96/3.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     13 BRemL:      0 BRemN:      0 P:  4.8M T:  0.49
11.96/3.09	c bin-w-bin subsume rem            0 bins  time:  0.03 s
17.95/4.55	c subs with bin:        0  lits-rem:      1118  v-fix:    0  time:  5.84 s
17.95/4.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    577 time:  0.02 s
17.95/4.56	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.02 s
31.13/7.84	c lits-rem:      3744  cl-subs:      826  v-elim:      0  v-fix:    0  time: 13.08 s
31.53/7.94	c asymm  cl-useful: 592/996/1016 lits-rem:7197 time: 0.41
31.53/7.94	c calculated reachability. Time: 0.00
31.53/7.94	c  N dy   137     30505       577      1016     46704      9716    117486    557347     10.96   no data  --
33.93/8.54	c  N dy   151     34543       576      1016     46723     13537    117486    720504     10.89     11.48  --
35.93/9.05	c  N dy   170     38622       576      1016     46733     10042    117486    435486     10.90     16.89  --
37.92/9.59	c  N dy   186     42771       576      1016     46734     14011    117486    591066     10.85     11.47  --
39.92/10.05	c  S st   197     45758       576      1016     46735     16825    117486    689200     10.82      7.04  --
40.31/10.10	c  S st   197     46258       576      1016     46735      8882    117486    333710     10.82   no data  --
40.31/10.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
40.31/10.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.31/10.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  3.1M T:  0.32
40.71/10.20	c bin-w-bin subsume rem            0 bins  time:  0.02 s
45.91/11.59	c subs with bin:       10  lits-rem:       374  v-fix:    0  time:  5.55 s
45.91/11.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    576 time:  0.02 s
46.31/11.60	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.02 s
48.33/12.15	c lits-rem:      1715  cl-subs:      473  v-elim:      0  v-fix:    0  time:  2.21 s
48.33/12.16	c vivif2 --  cl tried     1016 cl shrink      196 lits rem        199 time: 0.00
48.33/12.17	c vivif2 --  cl tried     8373 cl shrink     1666 lits rem       2618 time: 0.06
48.70/12.24	c asymm  cl-useful: 0/1016/1016 lits-rem:0 time: 0.27
48.70/12.24	c calculated reachability. Time: 0.00
48.70/12.24	c  N dy   197     46258       576      1016     46481      8372    116643    322204     10.82   no data  --
50.70/12.74	c  N dy   213     50808       576      1016     46484     12686    116643    462908     10.76     11.36  --
52.73/13.24	c  N dy   228     54840       574      1016     46509     16524    116643    721324     10.86     18.19  --
54.71/13.74	c  N dy   242     58872       573      1016     46511     10996    116642    477341     10.98     11.94  --
57.12/14.36	c  N dy   273     62979       573      1016     46511     15016    116642    870974     11.43     12.15  --
59.90/15.06	c  N dy   281     67083       573      1016     46512     18990    116642   1144381     11.39     12.10  --
61.89/15.56	c  S st   295     69387       573      1016     46512     10666    116642    374405     11.46   no data  --
62.29/15.60	c  S st   295     69889       573      1016     46512     11167    116642    415345     11.46   no data  --
62.29/15.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
62.29/15.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.29/15.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:      0 BRemN:      0 P:  3.9M T:  0.38
62.69/15.73	c bin-w-bin subsume rem            1 bins  time:  0.02 s
68.28/17.13	c subs with bin:        0  lits-rem:        11  v-fix:    0  time:  5.61 s
68.28/17.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    573 time:  0.02 s
68.28/17.14	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
69.48/17.46	c lits-rem:       657  cl-subs:      131  v-elim:      0  v-fix:    0  time:  1.29 s
69.48/17.46	c vivif2 --  cl tried      990 cl shrink        4 lits rem          4 time: 0.00
69.48/17.47	c vivif2 --  cl tried     5423 cl shrink       42 lits rem         47 time: 0.02
69.90/17.53	c asymm  cl-useful: 0/990/990 lits-rem:0 time: 0.25
69.90/17.53	c calculated reachability. Time: 0.00
69.90/17.53	c  N dy   295     69889       573       990     45772      5423    114801    315706     11.46   no data  --
72.28/18.14	c  N dy   319     74428       573       990     45772      9855    114801    700153     11.61     15.68  --
75.87/19.04	c  N dy   335     79534       572       990     45789     14735    114801    993209     11.60     12.30  --
79.47/19.99	c  N dy   355     84643       572       990     45792     10874    114801    645361     11.67     14.75  --
81.47/20.48	c  F st   378     87500       572       990     45792     13665    114801    902970     11.82   no data  --
84.66/21.24	c  N st   383     90801       572       978     45582     16828    114164   1149361     11.82   no data  --
90.66/22.78	c  N dy   398     99148       570       978     45602     13748    114164    630783     11.70     12.72  --
94.65/23.77	c  S st   436    104833       570       978     45608     19239    114164   1085326     11.88     12.33  --
95.05/23.85	c  S st   436    105334       570       978     45608     19737    114164   1122631     11.88   no data  --
95.05/23.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
95.05/23.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.85/24.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  8.4M T:  0.83
96.27/24.11	c bin-w-bin subsume rem            0 bins  time:  0.02 s
101.84/25.58	c subs with bin:       64  lits-rem:       873  v-fix:    0  time:  5.85 s
101.84/25.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.02 s
101.84/25.59	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
111.03/27.83	c lits-rem:      2656  cl-subs:      666  v-elim:      0  v-fix:    0  time:  8.94 s
111.03/27.83	c vivif2 --  cl tried      966 cl shrink        5 lits rem          5 time: 0.00
111.03/27.85	c vivif2 --  cl tried    15546 cl shrink      515 lits rem        779 time: 0.07
111.43/27.99	c asymm  cl-useful: 0/966/966 lits-rem:0 time: 0.58
111.43/27.99	c calculated reachability. Time: 0.00
111.43/27.99	c  N dy   436    105334       570       966     45154     15544    113043   1023056     11.88   no data  --
118.23/29.68	c  N dy   470    112139       570       966     45170     22111    113043   1517600     11.99     16.75  --
123.81/31.02	c  N dy   516    119296       570       966     45179     18019    113043   1116256     12.16     23.23  --
130.60/32.79	c  N dy   539    127241       569       966     45194     25608    113043   1513566     12.08     12.89  --
136.99/34.31	c  N dy   564    135640       569       966     45202     20501    113043   1235042     12.06     12.83  --
146.57/36.78	c  N dy   588    146019       568       966     45229     15624    113043    660654     11.93     12.59  --
152.97/38.34	c  N dy   617    155416       568       966     45236     24702    113043   1272447     11.90     12.87  --
154.97/38.84	c  S st   624    158001       568       966     45237     27221    113043   1455429     11.87      9.24  --
155.37/38.96	c  S st   624    158502       568       966     45237     27719    113043   1486420     11.87   no data  --
155.37/38.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
155.37/38.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
156.57/39.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 10.1M T:  1.04
156.57/39.28	c bin-w-bin subsume rem            2 bins  time:  0.02 s
162.95/40.80	c subs with bin:        0  lits-rem:        36  v-fix:    0  time:  6.05 s
162.95/40.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    568 time:  0.02 s
162.95/40.81	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.02 s
172.55/43.28	c lits-rem:       997  cl-subs:     1441  v-elim:      0  v-fix:    0  time:  9.89 s
172.55/43.28	c vivif2 --  cl tried      966 cl shrink        9 lits rem         10 time: 0.00
172.95/43.31	c vivif2 --  cl tried    23934 cl shrink      851 lits rem       1020 time: 0.11
173.75/43.50	c asymm  cl-useful: 0/966/966 lits-rem:0 time: 0.75
173.75/43.50	c calculated reachability. Time: 0.00
173.75/43.50	c  N dy   624    158502       568       966     44725     23932    112039   1411830     11.87   no data  --
181.74/45.60	c  N dy   647    168864       568       966     44752     19047    112039   1042907     11.78     12.45  --
192.52/48.22	c  N dy   686    179736       567       966     44770     29559    112039   1873281     11.75     12.42  --
202.13/50.68	c  N dy   710    191332       566       966     44781     24102    112039   1294659     11.64     12.36  --
216.09/54.15	c  N dy   748    203676       566       966     44785     18010    112039    788642     11.59     12.34  --
224.10/56.12	c Finding binary XORs  T:     0.00 s  found:       0
228.87/57.39	c  N dy   810    216758       565       966     44134     30124    110639   1676088     11.65     14.55  --
243.26/60.93	c  N dy   869    230641       564       966     44148     24712    110639   1260569     11.66     14.18  --
250.84/62.82	c  S st   906    237754       564       966     44150     31572    110639   1718657     11.70   no data  --
251.24/62.96	c  S st   906    238257       564       966     44158     32072    110639   1756470     11.70   no data  --
251.24/62.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
251.24/62.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
252.44/63.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      2 BRemN:      0 P: 12.3M T:  1.31
252.84/63.36	c bin-w-bin subsume rem            2 bins  time:  0.02 s
259.26/64.92	c subs with bin:        1  lits-rem:        33  v-fix:    0  time:  6.25 s
259.26/64.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    564 time:  0.02 s
259.26/64.93	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.02 s
274.42/68.72	c lits-rem:      1277  cl-subs:     1696  v-elim:      0  v-fix:    0  time: 15.11 s
274.42/68.72	c vivif2 --  cl tried      966 cl shrink       22 lits rem         68 time: 0.00
274.42/68.76	c vivif2 --  cl tried    28811 cl shrink     3422 lits rem       4397 time: 0.18
275.62/69.01	c asymm  cl-useful: 0/866/965 lits-rem:0 time: 1.00
275.62/69.01	c calculated reachability. Time: 0.00
275.62/69.01	c  N dy   906    238257       564       965     43896     28810    110053   1693756     11.70   no data  --
294.40/73.77	c  N dy   970    253557       563       965     43933     24368    110053   1297609     11.73     13.54  --
313.16/78.46	c  N dy  1030    269794       563       965     43947     40065    110053   2332882     11.75     18.52  --
330.34/82.73	c  N dy  1093    287301       561       965     43968     36127    110053   1842818     11.74     12.40  --
351.13/87.91	c  F st  1155    306251       560       965     43987     32425    110053   1475381     11.71      7.61  --
351.13/87.94	c  N st  1155    306251       560       955     43034     25538    108141   1341933     11.71      7.61  --
373.11/93.43	c  N dy  1253    326299       560       955     43051     25409    108141   1449249     11.85     12.74  --
403.45/101.04	c  N dy  1403    346742       558       955     43070     22825    108140   1107149     12.17     12.87  --
415.03/103.98	c  S st  1463    357386       558       955     43074     33134    108140   1819286     12.26   no data  --
415.83/104.12	c  S st  1463    357887       558       955     43074     33631    108140   1851119     12.26   no data  --
415.83/104.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
415.83/104.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
417.83/104.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      6 BRemN:      0 P: 13.9M T:  1.94
417.83/104.68	c bin-w-bin subsume rem            0 bins  time:  0.02 s
424.62/106.35	c subs with bin:       46  lits-rem:        51  v-fix:    0  time:  6.66 s
424.62/106.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    558 time:  0.02 s
424.62/106.36	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.02 s
442.60/110.86	c lits-rem:      1733  cl-subs:     1236  v-elim:      0  v-fix:    0  time: 17.98 s
442.60/110.86	c vivif2 --  cl tried      933 cl shrink       30 lits rem         79 time: 0.00
443.00/110.91	c vivif2 --  cl tried    32302 cl shrink     2920 lits rem       5778 time: 0.17
443.82/111.16	c asymm  cl-useful: 0/846/932 lits-rem:0 time: 1.00
443.82/111.16	c calculated reachability. Time: 0.00
443.82/111.16	c  N dy  1463    357887       558       932     42678     32297    106912   1807545     12.26   no data  --
468.16/117.20	c  N dy  1528    377992       557       932     42714     27464    106912   1352520     12.21     18.60  --
497.32/124.58	c  N dy  1618    398806       557       932     42747     47543    106912   2973174     12.23     13.00  --
524.49/131.35	c  N dy  1695    419060       556       932     42761     41474    106912   2378073     12.25     13.06  --
554.46/138.87	c  N dy  1786    439493       554       932     42773     34511    106912   1838976     12.29     12.99  --
585.61/146.65	c  N dy  1870    459512       554       932     42790     53858    106912   3335341     12.34     14.16  --
610.40/152.85	c  N dy  1923    480088       554       932     42803     45871    106912   2668819     12.30     13.13  --
642.32/160.84	c  N dy  2023    500363       554       932     42812     36488    106912   1881282     12.36     13.04  --
649.94/162.76	c Finding binary XORs  T:     0.00 s  found:       0
674.29/168.81	c  N dy  2096    520666       554       909     41963     53940    104883   3304828     12.35     13.07  --
697.86/174.72	c  S st  2175    536830       552       909     41974     40707    104883   2241861     12.38   no data  --
698.67/174.91	c  S st  2175    537332       552       909     41974     41206    104883   2275319     12.38   no data  --
698.67/174.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
698.67/174.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
700.65/175.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P: 17.2M T:  2.14
701.05/175.53	c bin-w-bin subsume rem            2 bins  time:  0.02 s
707.84/177.27	c subs with bin:       56  lits-rem:        90  v-fix:    0  time:  6.94 s
707.84/177.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    552 time:  0.02 s
707.84/177.28	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.02 s
727.42/182.10	c lits-rem:      1488  cl-subs:     1979  v-elim:      0  v-fix:    0  time: 19.25 s
727.42/182.10	c vivif2 --  cl tried      884 cl shrink       21 lits rem         21 time: 0.00
727.42/182.15	c vivif2 --  cl tried    38837 cl shrink     2592 lits rem       3720 time: 0.20
728.62/182.43	c asymm  cl-useful: 0/419/884 lits-rem:0 time: 1.14
728.62/182.44	c calculated reachability. Time: 0.00
728.62/182.44	c  N dy  2175    537332       552       884     41557     38834    103632   2219764     12.38   no data  --
766.17/191.88	c  N dy  2240    557360       552       884     41587     57998    103631   3488156     12.35     13.29  --
796.93/199.50	c  N dy  2297    577638       552       884     41612     47339    103631   2431652     12.31     13.38  --
831.28/208.10	c  N dy  2384    598278       551       884     41651     35838    103631   1695424     12.31     13.22  --
860.04/215.37	c  N dy  2451    618449       551       884     41662     55396    103631   3192146     12.30     13.00  --
896.01/224.32	c  N dy  2525    640011       550       884     41684     43538    103631   2165659     12.29     12.95  --
929.95/232.85	c  N dy  2586    660052       549       884     41722     62792    103631   3428111     12.28     21.09  --
956.71/239.54	c  N dy  2640    680109       548       884     41747     48467    103631   2394772     12.25     22.66  --
993.46/248.72	c  N dy  2728    700174       548       884     41760     67827    103631   3839872     12.27     13.23  --
1021.01/255.70	c  N dy  2818    720217       548       884     41771     52532    103631   2590579     12.29     20.35  --
1059.37/265.23	c  N dy  2864    740394       547       884     41786     36309    103631   1314712     12.25     12.91  --
1082.14/270.96	c  N dy  2948    760409       547       884     41794     55640    103631   2482009     12.27     24.78  --
1112.49/278.50	c  N dy  3020    780672       547       884     41800     38542    103631   1439444     12.28     12.95  --
1136.87/284.63	c  N dy  3112    800769       547       884     41806     57929    103631   2693815     12.29     15.00  --
1143.25/286.28	c  S st  3124    805999       546       884     40405     58381    100974   2961137     12.28   no data  --
1144.05/286.47	c  S st  3124    806502       546       884     40405     58881    100974   2993913     12.28   no data  --
1144.05/286.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1144.05/286.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1146.87/287.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      2 BRemN:      0 P: 21.7M T:  2.75
1147.25/287.25	c bin-w-bin subsume rem            1 bins  time:  0.02 s
1154.44/289.01	c subs with bin:        2  lits-rem:       105  v-fix:    0  time:  7.03 s
1154.44/289.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    546 time:  0.02 s
1154.44/289.02	c Removed useless bin:       0  fixed:     0  props:   0.18M  time:  0.02 s
1180.41/295.56	c lits-rem:       542  cl-subs:     3165  v-elim:      0  v-fix:    0  time: 26.08 s
1180.41/295.56	c vivif2 --  cl tried      884 cl shrink       42 lits rem         80 time: 0.00
1180.81/295.64	c vivif2 --  cl tried    55714 cl shrink     5883 lits rem       7951 time: 0.33
1182.03/295.95	c asymm  cl-useful: 0/332/883 lits-rem:0 time: 1.23
1182.03/295.95	c calculated reachability. Time: 0.00
1182.03/295.95	c  N dy  3124    806502       546       883     40412     55712    100881   2920288     12.28   no data  --
1184.00/296.40	c Finding binary XORs  T:     0.00 s  found:       0
1218.75/305.14	c  N dy  3197    828010       543       875     40268     40802    100451   1668968     12.26     13.07  --
1243.92/311.45	c  N dy  3259    848056       543       875     40271     60093    100451   2854898     12.25     13.02  --
1275.88/319.49	c  N dy  3321    869767       543       875     40293     43827    100451   1807786     12.22     12.90  --
1303.04/326.20	c  N dy  3395    889823       541       875     40318     63142    100451   3103192     12.21     15.72  --
1335.00/334.24	c  N dy  3465    910061       539       842     39072     39725     97532   1693178     12.21     12.91  --
1361.36/340.87	c  N dy  3543    930125       538       842     39097     58954     97532   2946361     12.22     18.15  --
1395.71/349.43	c  N dy  3618    950709       538       842     39111     40774     97531   1663109     12.22     12.87  --
1420.87/355.73	c  N dy  3676    970759       538       842     39123     60109     97531   2945937     12.21     13.04  --
1460.42/365.60	c  N dy  3759    990829       538       842     39135     79453     97531   4204591     12.22     25.98  --
1488.39/372.61	c  N dy  3841   1011505       536       842     39154     59115     97531   2599173     12.22     13.17  --
1522.34/381.15	c  N dy  3904   1032494       536       842     39168     79198     97531   3735723     12.21     12.89  --
1550.71/388.27	c  N dy  3994   1052900       536       842     39175     57195     97531   2480401     12.24     12.90  --
1580.26/395.66	c  F st  4051   1071875       536       842     39213     75478     97531   3577292     12.23      8.73  --
1582.65/396.21	c  N st  4054   1073071       536       842     38552     73950     96284   3617933     12.23   no data  --
1615.01/404.38	c  N dy  4152   1093091       535       842     38567     51709     96284   2271783     12.30     19.71  --
1648.96/412.88	c  N dy  4282   1113152       534       842     38578     71126     96284   3680553     12.38     24.22  --
1675.33/419.42	c Finding binary XORs  T:     0.00 s  found:       0
1692.10/423.66	c  N dy  4421   1133165       533       830     37965     44571     94921   1834022     12.49     13.25  --
1724.05/431.69	c  N dy  4537   1154625       532       830     37973     65360     94921   3221626     12.55     13.45  --
1766.02/442.11	c  N dy  4629   1174673       531       830     37994     84746     94921   4488243     12.57     13.24  --
1799.95/450.61	c  N dy  4753   1194741       529       830     38002     60342     94921   2860392     12.66     14.68  --
1831.51/458.51	c  S st  4868   1209755       528       830     38007     74920     94921   3884659     12.75      7.48  --
1832.70/458.82	c  S st  4868   1210258       528       830     38007     75420     94921   3920562     12.75   no data  --
1832.70/458.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1832.70/458.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1836.73/459.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P: 27.2M T:  4.23
1837.50/460.03	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1844.70/461.85	c subs with bin:       28  lits-rem:       195  v-fix:    0  time:  7.25 s
1844.70/461.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    528 time:  0.02 s
1844.70/461.86	c Removed useless bin:       0  fixed:     0  props:   0.16M  time:  0.01 s
1906.20/477.27	c lits-rem:      1010  cl-subs:     3332  v-elim:      0  v-fix:    0  time: 61.54 s
1906.20/477.27	c vivif2 --  cl tried      796 cl shrink       24 lits rem         24 time: 0.00
1906.61/477.36	c vivif2 --  cl tried    70301 cl shrink     4439 lits rem       5981 time: 0.34
1908.20/477.71	c asymm  cl-useful: 0/267/796 lits-rem:0 time: 1.38
1908.20/477.71	c calculated reachability. Time: 0.00
1908.20/477.71	c  N dy  4868   1210258       528       796     37049     70300     92497   3762289     12.75   no data  --
1949.34/488.03	c  N dy  4911   1231066       526       796     37075     45596     92497   1772408     12.73     13.68  --
1978.10/495.26	c  N dy  4992   1251446       526       796     37090     65274     92497   3162915     12.73     13.43  --
2015.65/504.69	c  N dy  5052   1271485       525       796     37102     84576     92497   4448978     12.72     19.50  --
2059.60/515.62	c  N dy  5148   1295084       524       796     37118     60828     92496   2695820     12.72     13.41  --
2099.96/525.76	c  N dy  5209   1315202       522       772     36038     69818     89888   3531518     12.71     13.61  --
2142.28/536.34	c  N dy  5299   1335711       522       772     36057     47007     89888   1884013     12.72     13.47  --
2170.26/543.35	c  N dy  5371   1356282       521       772     36065     66772     89887   3219492     12.72     13.50  --
2213.38/554.13	c  N dy  5471   1376312       520       772     36071     86039     89887   4542118     12.74     13.42  --
2247.74/562.79	c  N dy  5552   1396551       518       772     36083     59237     89887   2588004     12.74     13.59  --
2285.27/572.19	c  N dy  5637   1417706       518       772     36096     79624     89887   3931372     12.74     13.51  --
2336.41/584.99	c  N dy  5748   1437797       518       772     36100     50283     89887   1889562     12.77     13.60  --
2366.37/592.45	c  N dy  5819   1457983       518       772     36110     69736     89887   3103736     12.77     13.45  --
2411.51/603.70	c  N dy  5922   1478263       518       772     36118     89192     89887   4342103     12.79     13.54  --
2455.04/614.69	c  N dy  6013   1498480       518       772     36127     58349     89886   2389787     12.80     13.49  --
2491.01/623.62	c  N dy  6072   1519627       518       772     36134     78625     89886   3619935     12.78     13.48  --
2519.35/630.76	c Finding binary XORs  T:     0.00 s  found:       0
2537.33/635.24	c  N dy  6166   1539713       518       741     35474     97056     88072   4809391     12.79     27.68  --
2573.69/644.35	c  N dy  6249   1560294       518       741     35481     65709     88072   2775778     12.80     13.48  --
2609.24/653.23	c  N dy  6318   1580347       518       741     35496     85015     88072   3986064     12.79     15.55  --
2655.57/664.81	c  N dy  6381   1600871       517       741     35518    104754     88072   5264355     12.78     13.54  --
2684.75/672.17	c  N dy  6454   1621729       515       741     35531     72199     88072   3033670     12.78     13.50  --
2726.25/682.54	c  N dy  6548   1641903       515       741     35545     91601     88072   4298654     12.79     13.72  --
2774.97/694.70	c  N dy  6640   1662564       514       741     35611     57821     88072   2111041     12.79     13.64  --
2804.14/702.01	c  N dy  6700   1682921       511       729     34488     73398     85709   3220080     12.78     13.54  --
2847.30/712.85	c  N dy  6785   1703427       510       729     34496     93056     85709   4392358     12.79     13.64  --
2863.25/716.83	c  S st  6807   1710259       510       729     34505     99647     85709   4804261     12.79     11.53  --
2864.47/717.13	c  S st  6807   1710761       510       729     34505    100143     85709   4837690     12.79   no data  --
2864.47/717.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2864.47/717.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2869.26/718.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 31.8M T:  4.90
2870.04/718.55	c bin-w-bin subsume rem            1 bins  time:  0.02 s
2877.65/720.44	c subs with bin:        8  lits-rem:       786  v-fix:    0  time:  7.56 s
2877.65/720.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    510 time:  0.02 s
2877.65/720.45	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
3049.79/763.50	c lits-rem:      1487  cl-subs:     7764  v-elim:      0  v-fix:    0  time: 171.88 s
3049.79/763.50	c vivif2 --  cl tried      719 cl shrink       22 lits rem         28 time: 0.00
3050.19/763.66	c vivif2 --  cl tried    92211 cl shrink    11492 lits rem      17296 time: 0.65
3051.79/764.04	c asymm  cl-useful: 0/320/719 lits-rem:0 time: 1.50
3051.79/764.04	c calculated reachability. Time: 0.00
3051.79/764.04	c  N dy  6807   1710761       510       719     34149     92207     84848   4642057     12.79   no data  --
3096.13/775.12	c  N dy  6865   1730991       509       719     34201     59128     84848   2260525     12.78     13.59  --
3128.88/783.38	c  N dy  6903   1752161       508       719     34212     79353     84848   3403718     12.75     13.50  --
3166.83/792.83	c Finding binary XORs  T:     0.00 s  found:       0
3176.02/795.14	c  N dy  6969   1772220       508       708     33840     97267     83939   4367996     12.75     13.76  --
3218.76/805.86	c  N dy  7008   1792713       508       708     33854     63054     83939   2403993     12.73     13.44  --
3256.71/815.35	c  N dy  7059   1813315       507       708     33870     82723     83939   3438334     12.71     13.68  --
3300.25/826.29	c  N dy  7101   1834018       507       708     33893    102501     83939   4626114     12.69     13.54  --
3342.59/836.80	c  N dy  7173   1854040       506       708     33911     66081     83939   2461561     12.68     13.51  --
3374.57/844.88	c  N dy  7222   1874088       506       708     33918     85188     83939   3534386     12.67     17.81  --
3419.28/856.03	c  N dy  7308   1895638       506       708     33925    105928     83939   4768663     12.68     13.52  --
3457.65/865.66	c  N dy  7392   1915798       506       708     33935     68309     83939   2496569     12.68     13.37  --
3491.18/874.08	c  N dy  7452   1936199       506       708     33940     87660     83939   3456728     12.67     13.40  --
3538.72/885.95	c  N dy  7553   1956241       505       708     33942    106852     83939   4514380     12.68     13.48  --
3583.06/897.09	c  N dy  7636   1977903       505       708     33946     69530     83939   2518446     12.68     13.59  --
3620.22/906.37	c  N dy  7709   1997940       504       708     33959     88654     83939   3507823     12.67     18.36  --
3673.36/919.67	c  N dy  7759   2020214       504       708     33973    109920     83939   4493017     12.66     13.34  --
3712.08/929.35	c  N dy  7827   2040378       501       708     32749     55709     81641   2226523     12.65     13.36  --
3743.25/937.10	c  N dy  7895   2060398       501       708     32761     74977     81641   3358848     12.65     13.44  --
3786.37/947.92	c  N dy  7975   2080404       500       708     32777     94211     81641   4466149     12.65     13.41  --
3831.91/959.31	c  N dy  8054   2100907       499       708     32793     60821     81641   2255516     12.66     13.49  --
3868.26/968.41	c  N dy  8185   2120944       497       697     31884     72942     79679   3365183     12.70     16.51  --
3895.42/975.29	c Finding binary XORs  T:     0.00 s  found:       0
3913.40/979.71	c  N dy  8291   2141192       496       697     31705     90258     79296   4548885     12.72     13.51  --
3968.53/993.54	c  N dy  8436   2161650       495       697     31714     56860     79296   2174186     12.78     13.68  --
4004.88/1002.68	c  N dy  8542   2181664       493       697     31722     76173     79296   3328732     12.81     14.01  --
4054.41/1015.01	c  N dy  8666   2201720       493       697     31734     95586     79296   4590270     12.85     13.58  --
4080.38/1021.51	c  S st  8728   2210761       493       697     31744    104271     79296   5146557     12.87     12.49  --
4081.99/1021.95	c  S st  8728   2211268       493       697     31744    104777     79296   5176474     12.87   no data  --
4081.99/1021.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4081.99/1021.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4087.16/1023.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:      2 BRemN:      0 P: 33.5M T:  5.26
4087.95/1023.46	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4095.95/1025.40	c subs with bin:        1  lits-rem:        34  v-fix:    0  time:  7.77 s
4095.95/1025.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    493 time:  0.02 s
4095.95/1025.41	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.01 s
4283.29/1072.36	c lits-rem:      1230  cl-subs:     6759  v-elim:      0  v-fix:    0  time: 187.45 s
4283.29/1072.36	c vivif2 --  cl tried      697 cl shrink       16 lits rem         16 time: 0.00
4284.11/1072.55	c vivif2 --  cl tried    97365 cl shrink    12753 lits rem      29673 time: 0.74
4285.68/1072.93	c asymm  cl-useful: 0/281/697 lits-rem:0 time: 1.53
4285.68/1072.93	c calculated reachability. Time: 0.00
4285.68/1072.93	c  N dy  8728   2211268       493       697     31237     97354     78167   4938035     12.87   no data  --
4340.41/1086.66	c  N dy  8770   2232074       490       697     31278     59348     78167   2169244     12.86     13.56  --
4373.57/1094.94	c  N dy  8795   2252445       490       697     31290     78787     78166   3273181     12.83     13.67  --
4417.90/1106.07	c  N dy  8847   2272532       490       697     31306     98092     78166   4389618     12.83     13.57  --
4470.63/1119.21	c  N dy  8882   2292549       490       697     31315    117224     78166   5393913     12.81     14.03  --
4513.37/1129.97	c  N dy  8941   2312947       488       686     30422     71252     76206   2802935     12.80     13.50  --
4557.71/1141.03	c  N dy  8995   2333809       487       686     30439     91152     76206   3825723     12.79     13.60  --
4608.85/1153.85	c  N dy  9071   2354165       486       686     30463    110728     76206   5001767     12.79     13.55  --
4657.60/1166.07	c  N dy  9171   2374215       486       686     30475     69129     76206   2565688     12.81     14.16  --
4698.32/1176.21	c  N dy  9280   2394219       486       686     30481     88451     76206   3730903     12.83     13.53  --
4731.47/1184.53	c Finding binary XORs  T:     0.00 s  found:       0
4750.24/1189.25	c  N dy  9352   2414268       486       675     30107    102448     75368   4754050     12.84     19.64  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3263609-1304135383/watcher-3263609-1304135383 -o /tmp/evaluation-result-3263609-1304135383/solver-3263609-1304135383 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3263609-1304135383.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: 3.70 5.28 6.68 2/174 21338
/proc/meminfo: memFree=30863052/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 4 0 525136990 52465664 352 33554432000 4194304 4650419 140733537611776 18446744073709551615 47967980988332 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 12809 352 303 112 0 7774 0
[pid=21338/tid=21339] ppid=21336 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 525136991 52465664 352 33554432000 4194304 4650419 140733537611776 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 525136991 52465664 352 33554432000 4194304 4650419 140733537611776 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 525136991 52465664 352 33554432000 4194304 4650419 140733537611776 18446744073709551615 47967980988338 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.050354 s]
/proc/loadavg: 3.70 5.28 6.68 2/174 21338
/proc/meminfo: memFree=30863052/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=283652 CPUtime=0.17 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 3143 0 0 0 17 0 0 0 24 0 4 0 525136990 290459648 3051 33554432000 4194304 4650419 140733537611776 18446744073709551615 4303267 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 70913 3052 386 112 0 65878 0
[pid=21338/tid=21339] ppid=21336 vsize=283652 CPUtime=0.04 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 709 0 0 0 4 0 0 0 25 0 4 0 525136991 290459648 3052 33554432000 4194304 4650419 140733537611776 18446744073709551615 4440208 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=283652 CPUtime=0.04 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 733 0 0 0 4 0 0 0 25 0 4 0 525136991 290459648 3052 33554432000 4194304 4650419 140733537611776 18446744073709551615 4308397 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=283652 CPUtime=0.04 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 567 0 0 0 4 0 0 0 25 0 4 0 525136991 290459648 3052 33554432000 4194304 4650419 140733537611776 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 283652

[startup+0.100346 s]
/proc/loadavg: 3.70 5.28 6.68 2/174 21338
/proc/meminfo: memFree=30863052/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=284448 CPUtime=0.38 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 3894 0 0 0 37 1 0 0 24 0 4 0 525136990 291274752 3802 33554432000 4194304 4650419 140733537611776 18446744073709551615 4363750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 71112 3802 390 112 0 66077 0
[pid=21338/tid=21339] ppid=21336 vsize=284448 CPUtime=0.09 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 878 0 0 0 9 0 0 0 25 0 4 0 525136991 291274752 3802 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=284448 CPUtime=0.08 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 967 0 0 0 8 0 0 0 25 0 4 0 525136991 291274752 3802 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=284448 CPUtime=0.09 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 649 0 0 0 9 0 0 0 25 0 4 0 525136991 291274752 3802 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 284448

[startup+0.300313 s]
/proc/loadavg: 3.70 5.28 6.68 2/174 21338
/proc/meminfo: memFree=30863052/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=285416 CPUtime=1.17 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 5041 0 0 0 116 1 0 0 25 0 4 0 525136990 292265984 4639 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 71354 4639 392 112 0 66319 0
[pid=21338/tid=21339] ppid=21336 vsize=285416 CPUtime=0.29 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 1064 0 0 0 29 0 0 0 25 0 4 0 525136991 292265984 4640 33554432000 4194304 4650419 140733537611776 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=285416 CPUtime=0.28 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 1227 0 0 0 28 0 0 0 25 0 4 0 525136991 292265984 4640 33554432000 4194304 4650419 140733537611776 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=285416 CPUtime=0.29 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 1092 0 0 0 29 0 0 0 25 0 4 0 525136991 292265984 4640 33554432000 4194304 4650419 140733537611776 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285416

[startup+0.700247 s]
/proc/loadavg: 3.70 5.28 6.68 2/174 21338
/proc/meminfo: memFree=30863052/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=288348 CPUtime=2.77 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 7471 0 0 0 275 2 0 0 25 0 4 0 525136990 295268352 5600 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 72087 5600 392 112 0 67052 0
[pid=21338/tid=21339] ppid=21336 vsize=288348 CPUtime=0.68 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 1557 0 0 0 68 0 0 0 25 0 4 0 525136991 295268352 5601 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=288348 CPUtime=0.68 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 1842 0 0 0 68 0 0 0 25 0 4 0 525136991 295268352 5601 33554432000 4194304 4650419 140733537611776 18446744073709551615 4328474 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=288348 CPUtime=0.69 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 1753 0 0 0 69 0 0 0 25 0 4 0 525136991 295268352 5601 33554432000 4194304 4650419 140733537611776 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 288348

[startup+1.50111 s]
/proc/loadavg: 3.70 5.28 6.68 9/184 21351
/proc/meminfo: memFree=30754500/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=290736 CPUtime=5.97 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 11356 0 0 0 595 2 0 0 25 0 4 0 525136990 297713664 7192 33554432000 4194304 4650419 140733537611776 18446744073709551615 4330582 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 72684 7192 392 112 0 67649 0
[pid=21338/tid=21339] ppid=21336 vsize=290736 CPUtime=1.49 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 2487 0 0 0 149 0 0 0 25 0 4 0 525136991 297713664 7192 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=290736 CPUtime=1.47 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 2918 0 0 0 147 0 0 0 25 0 4 0 525136991 297713664 7192 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=290736 CPUtime=1.48 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 2774 0 0 0 148 0 0 0 25 0 4 0 525136991 297713664 7192 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 290736

[startup+3.10084 s]
/proc/loadavg: 4.04 5.32 6.68 9/184 21351
/proc/meminfo: memFree=30741728/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=296920 CPUtime=12.37 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 21642 0 0 0 1233 4 0 0 25 0 4 0 525136990 304046080 11661 33554432000 4194304 4650419 140733537611776 18446744073709551615 4436168 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 74230 11661 394 112 0 69195 0
[pid=21338/tid=21339] ppid=21336 vsize=296920 CPUtime=3.08 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 4457 0 0 0 308 0 0 0 25 0 4 0 525136991 304046080 11661 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=296920 CPUtime=3.07 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 4659 0 0 0 307 0 0 0 25 0 4 0 525136991 304046080 11661 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=296920 CPUtime=3.09 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 4481 0 0 0 308 1 0 0 25 0 4 0 525136991 304046080 11661 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 296920

[startup+6.30031 s]
/proc/loadavg: 4.04 5.32 6.68 9/184 21351
/proc/meminfo: memFree=30649312/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=298192 CPUtime=25.15 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 31420 0 0 0 2509 6 0 0 25 0 4 0 525136990 305348608 20480 33554432000 4194304 4650419 140733537611776 18446744073709551615 4438666 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 74548 20480 394 112 0 69513 0
[pid=21338/tid=21339] ppid=21336 vsize=298192 CPUtime=6.28 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 7123 0 0 0 628 0 0 0 25 0 4 0 525136991 305348608 20480 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=298192 CPUtime=6.25 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 8907 0 0 0 624 1 0 0 25 0 4 0 525136991 305348608 20480 33554432000 4194304 4650419 140733537611776 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=298192 CPUtime=6.28 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 7248 0 0 0 627 1 0 0 25 0 4 0 525136991 305348608 20480 33554432000 4194304 4650419 140733537611776 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 298192

[startup+12.7002 s]
/proc/loadavg: 4.65 5.41 6.70 9/184 21351
/proc/meminfo: memFree=30615012/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=308112 CPUtime=50.7 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 43041 0 0 0 5062 8 0 0 25 0 4 0 525136990 315506688 27382 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 77028 27382 394 112 0 71993 0
[pid=21338/tid=21339] ppid=21336 vsize=308112 CPUtime=12.69 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 10490 0 0 0 1268 1 0 0 25 0 4 0 525136991 315506688 27382 33554432000 4194304 4650419 140733537611776 18446744073709551615 4438666 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=308112 CPUtime=12.63 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 11761 0 0 0 1261 2 0 0 25 0 4 0 525136991 315506688 27382 33554432000 4194304 4650419 140733537611776 18446744073709551615 4330253 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=308112 CPUtime=12.69 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 10956 0 0 0 1266 3 0 0 25 0 4 0 525136991 315506688 27382 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 308112

[startup+25.5011 s]
/proc/loadavg: 5.16 5.49 6.71 10/184 21352
/proc/meminfo: memFree=30545456/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=315808 CPUtime=101.84 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 64527 0 0 0 10171 13 0 0 25 0 4 0 525136990 323387392 33103 33554432000 4194304 4650419 140733537611776 18446744073709551615 4436434 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 78952 33103 394 112 0 73917 0
[pid=21338/tid=21339] ppid=21336 vsize=315808 CPUtime=25.48 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 15249 0 0 0 2547 1 0 0 25 0 4 0 525136991 323387392 33103 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=315808 CPUtime=25.36 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 15892 0 0 0 2534 2 0 0 25 0 4 0 525136991 323387392 33103 33554432000 4194304 4650419 140733537611776 18446744073709551615 4333494 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=315808 CPUtime=25.49 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 15532 0 0 0 2545 4 0 0 25 0 4 0 525136991 323387392 33103 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 315808

[startup+51.1008 s]
/proc/loadavg: 6.13 5.69 6.75 9/184 21352
/proc/meminfo: memFree=30478320/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=373540 CPUtime=204.11 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 110162 0 0 0 20390 21 0 0 25 0 4 0 525136990 382504960 48700 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 93385 48700 394 112 0 88350 0
[pid=21338/tid=21339] ppid=21336 vsize=373540 CPUtime=51.08 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 29055 0 0 0 5105 3 0 0 25 0 4 0 525136991 382504960 48700 33554432000 4194304 4650419 140733537611776 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=373540 CPUtime=50.83 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 24298 0 0 0 5079 4 0 0 25 0 4 0 525136991 382504960 48700 33554432000 4194304 4650419 140733537611776 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=373540 CPUtime=51.08 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 28062 0 0 0 5102 6 0 0 25 0 4 0 525136991 382504960 48700 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 373540

[startup+102.306 s]
/proc/loadavg: 7.33 6.11 6.83 9/184 21354
/proc/meminfo: memFree=30389244/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=488636 CPUtime=408.66 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 185424 0 0 0 40827 39 0 0 25 0 4 0 525136990 500363264 60427 33554432000 4194304 4650419 140733537611776 18446744073709551615 4364811 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 122159 60427 394 112 0 117124 0
[pid=21338/tid=21339] ppid=21336 vsize=488636 CPUtime=102.29 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 48082 0 0 0 10221 8 0 0 25 0 4 0 525136991 500363264 60427 33554432000 4194304 4650419 140733537611776 18446744073709551615 4438521 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=488636 CPUtime=101.77 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 40179 0 0 0 10169 8 0 0 25 0 4 0 525136991 500363264 60427 33554432000 4194304 4650419 140733537611776 18446744073709551615 4360363 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=488636 CPUtime=102.29 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 48868 0 0 0 10217 12 0 0 25 0 4 0 525136991 500363264 60427 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 488636

[startup+162.301 s]

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

[pid=21338] ppid=21336 vsize=897672 CPUtime=2805.33 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 720938 0 0 0 280347 186 0 0 25 0 4 0 525136990 919216128 153002 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 224418 153002 394 112 0 219383 0
[pid=21338/tid=21339] ppid=21336 vsize=897672 CPUtime=702.26 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 177499 0 0 0 70177 49 0 0 25 0 4 0 525136991 919216128 153002 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=897672 CPUtime=698.53 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 126307 0 0 0 69819 34 0 0 25 0 4 0 525136991 919216128 153002 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=897672 CPUtime=702.29 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 242046 0 0 0 70176 53 0 0 25 0 4 0 525136991 919216128 153002 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 897672

[startup+762.306 s]
/proc/loadavg: 8.09 7.87 7.45 9/184 21380
/proc/meminfo: memFree=29919460/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=942304 CPUtime=3045.02 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 758692 0 0 0 304302 200 0 0 25 0 4 0 525136990 964919296 147092 33554432000 4194304 4650419 140733537611776 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 235576 147092 394 112 0 230541 0
[pid=21338/tid=21339] ppid=21336 vsize=942304 CPUtime=762.27 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 188510 0 0 0 76174 53 0 0 25 0 4 0 525136991 964919296 147092 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=942304 CPUtime=758.21 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 138407 0 0 0 75782 39 0 0 25 0 4 0 525136991 964919296 147092 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=942304 CPUtime=762.3 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 252499 0 0 0 76173 57 0 0 25 0 4 0 525136991 964919296 147092 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 942304

[startup+822.3 s]
/proc/loadavg: 8.12 7.92 7.49 9/184 21382
/proc/meminfo: memFree=29834232/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=859224 CPUtime=3284.68 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 793579 0 0 0 328256 212 0 0 25 0 4 0 525136990 879845376 153259 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 214806 153259 394 112 0 209771 0
[pid=21338/tid=21339] ppid=21336 vsize=859224 CPUtime=822.26 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 199043 0 0 0 82170 56 0 0 25 0 4 0 525136991 879845376 153259 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=859224 CPUtime=817.87 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 141845 0 0 0 81746 41 0 0 25 0 4 0 525136991 879845376 153259 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=859224 CPUtime=822.29 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 262592 0 0 0 82169 60 0 0 25 0 4 0 525136991 879845376 153259 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 859224

[startup+882.3 s]
/proc/loadavg: 8.12 7.94 7.52 10/185 21386
/proc/meminfo: memFree=29819368/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=856480 CPUtime=3524.33 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 827847 0 0 0 352211 222 0 0 25 0 4 0 525136990 877035520 156510 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 214120 156510 394 112 0 209085 0
[pid=21338/tid=21339] ppid=21336 vsize=856480 CPUtime=882.26 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 206951 0 0 0 88167 59 0 0 25 0 4 0 525136991 877035520 156510 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=856480 CPUtime=877.55 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 149007 0 0 0 87711 44 0 0 25 0 4 0 525136991 877035520 156510 33554432000 4194304 4650419 140733537611776 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=856480 CPUtime=882.29 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 271047 0 0 0 88167 62 0 0 25 0 4 0 525136991 877035520 156510 33554432000 4194304 4650419 140733537611776 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.33
Current children cumulated vsize (KiB) 856480

[startup+942.3 s]
/proc/loadavg: 8.15 8.00 7.56 9/184 21388
/proc/meminfo: memFree=29774756/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=1067088 CPUtime=3764.01 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 858587 0 0 0 376166 235 0 0 25 0 4 0 525136990 1092698112 172550 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 266772 172550 394 112 0 261737 0
[pid=21338/tid=21339] ppid=21336 vsize=1067088 CPUtime=942.26 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 212881 0 0 0 94163 63 0 0 25 0 4 0 525136991 1092698112 172550 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=1067088 CPUtime=937.23 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 159052 0 0 0 93675 48 0 0 25 0 4 0 525136991 1092698112 172550 33554432000 4194304 4650419 140733537611776 18446744073709551615 4328357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=1067088 CPUtime=942.29 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 275680 0 0 0 94166 63 0 0 25 0 4 0 525136991 1092698112 172550 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.01
Current children cumulated vsize (KiB) 1067088

[startup+1002.3 s]
/proc/loadavg: 8.05 8.00 7.59 9/184 21390
/proc/meminfo: memFree=29803728/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=873528 CPUtime=4003.68 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 878982 0 0 0 400125 243 0 0 25 0 4 0 525136990 894492672 165573 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 218382 165573 394 112 0 213347 0
[pid=21338/tid=21339] ppid=21336 vsize=873528 CPUtime=1002.26 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 219541 0 0 0 100161 65 0 0 25 0 4 0 525136991 894492672 165573 33554432000 4194304 4650419 140733537611776 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=873528 CPUtime=996.89 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 162073 0 0 0 99640 49 0 0 25 0 4 0 525136991 894492672 165573 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=873528 CPUtime=1002.29 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 280052 0 0 0 100164 65 0 0 25 0 4 0 525136991 894492672 165573 33554432000 4194304 4650419 140733537611776 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.68
Current children cumulated vsize (KiB) 873528

[startup+1062.3 s]
/proc/loadavg: 8.02 8.00 7.61 9/184 21391
/proc/meminfo: memFree=29762884/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=839912 CPUtime=4243.34 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 908027 0 0 0 424079 255 0 0 25 0 4 0 525136990 860069888 157758 33554432000 4194304 4650419 140733537611776 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 209978 157758 394 112 0 204943 0
[pid=21338/tid=21339] ppid=21336 vsize=839912 CPUtime=1062.26 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 229026 0 0 0 106157 69 0 0 25 0 4 0 525136991 860069888 157758 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=839912 CPUtime=1056.58 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 168749 0 0 0 105606 52 0 0 25 0 4 0 525136991 860069888 157758 33554432000 4194304 4650419 140733537611776 18446744073709551615 4336148 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=839912 CPUtime=1062.29 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 290743 0 0 0 106159 70 0 0 25 0 4 0 525136991 860069888 157758 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.34
Current children cumulated vsize (KiB) 839912

[startup+1122.3 s]
/proc/loadavg: 8.12 8.02 7.64 9/184 21393
/proc/meminfo: memFree=29799320/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=1092368 CPUtime=4483.01 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 941328 0 0 0 448034 267 0 0 25 0 4 0 525136990 1118584832 160656 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 273092 160656 394 112 0 268057 0
[pid=21338/tid=21339] ppid=21336 vsize=1092368 CPUtime=1122.26 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 237142 0 0 0 112154 72 0 0 25 0 4 0 525136991 1118584832 160656 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=1092368 CPUtime=1116.25 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 178314 0 0 0 111570 55 0 0 25 0 4 0 525136991 1118584832 160656 33554432000 4194304 4650419 140733537611776 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=1092368 CPUtime=1122.29 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 298600 0 0 0 112156 73 0 0 25 0 4 0 525136991 1118584832 160656 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.01
Current children cumulated vsize (KiB) 1092368

[startup+1182.3 s]
/proc/loadavg: 8.11 8.03 7.67 9/184 21394
/proc/meminfo: memFree=29735904/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=998516 CPUtime=4722.68 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 978084 0 0 0 471987 281 0 0 25 0 4 0 525136990 1022480384 178097 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 249629 178097 394 112 0 244594 0
[pid=21338/tid=21339] ppid=21336 vsize=998516 CPUtime=1182.26 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 244658 0 0 0 118150 76 0 0 25 0 4 0 525136991 1022480384 178097 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=998516 CPUtime=1175.93 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 186187 0 0 0 117536 57 0 0 25 0 4 0 525136991 1022480384 178097 33554432000 4194304 4650419 140733537611776 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=998516 CPUtime=1182.29 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 309421 0 0 0 118151 78 0 0 25 0 4 0 525136991 1022480384 178097 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.68
Current children cumulated vsize (KiB) 998516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.08 8.03 7.67 9/184 21395
/proc/meminfo: memFree=29775708/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=943396 CPUtime=4800.19 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 987700 0 0 0 479734 285 0 0 25 0 4 0 525136990 966037504 164622 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 235849 164622 394 112 0 230814 0
[pid=21338/tid=21339] ppid=21336 vsize=943396 CPUtime=1201.66 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 249254 0 0 0 120089 77 0 0 25 0 4 0 525136991 966037504 164622 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=943396 CPUtime=1195.21 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 187402 0 0 0 119464 57 0 0 25 0 4 0 525136991 966037504 164622 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=943396 CPUtime=1201.7 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 311596 0 0 0 120091 79 0 0 25 0 4 0 525136991 966037504 164622 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 943396

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

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

[startup+1201.7 s]
/proc/loadavg: 8.08 8.03 7.67 9/184 21395
/proc/meminfo: memFree=29775708/32950928 swapFree=67111448/67111528
[pid=21338] ppid=21336 vsize=943396 CPUtime=4800.19 cores=0,2,4,6
/proc/21338/stat : 21338 (strangenight1-m) R 21336 21338 20530 0 -1 4202496 987700 0 0 0 479734 285 0 0 25 0 4 0 525136990 966037504 164622 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21338/statm: 235849 164622 394 112 0 230814 0
[pid=21338/tid=21339] ppid=21336 vsize=943396 CPUtime=1201.66 cores=0,2,4,6
/proc/21338/task/21339/stat : 21339 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 249254 0 0 0 120089 77 0 0 25 0 4 0 525136991 966037504 164622 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21338/tid=21340] ppid=21336 vsize=943396 CPUtime=1195.21 cores=0,2,4,6
/proc/21338/task/21340/stat : 21340 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 187402 0 0 0 119464 57 0 0 25 0 4 0 525136991 966037504 164622 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21338/tid=21341] ppid=21336 vsize=943396 CPUtime=1201.7 cores=0,2,4,6
/proc/21338/task/21341/stat : 21341 (strangenight1-m) R 21336 21338 20530 0 -1 4202560 311596 0 0 0 120091 79 0 0 25 0 4 0 525136991 966037504 164622 33554432000 4194304 4650419 140733537611776 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 943396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.25
CPU user time (s): 4797.36
CPU system time (s): 2.88856
CPU usage (%): 399.44
Max. virtual memory (cumulated for all children) (KiB): 1092368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.36
system time used= 2.88856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 987702
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= 959
involuntary context switches= 34566

runsolver used 1.9957 second user time and 4.50031 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-30 05:49:43
IDJOB=3263609
IDBENCH=83988
IDSOLVER=1588
FILE ID=node126/3263609-1304135383
RUNJOBID= node126-1304135383-21324
PBS_JOBID= 13170788
Free space on /tmp= 73184 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3263609-1304135383/watcher-3263609-1304135383 -o /tmp/evaluation-result-3263609-1304135383/solver-3263609-1304135383 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3263609-1304135383.cnf

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

MD5SUM BENCH= 9ffa0325c9e00b41c025f41d20ec5a0c
RANDOM SEED=1885003338

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.783
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.783
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30863588 kB
Buffers:        281904 kB
Cached:        1426508 kB
SwapCached:         76 kB
Active:         157388 kB
Inactive:      1619372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30863588 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            7484 kB
Writeback:           0 kB
AnonPages:       67576 kB
Mapped:          14496 kB
Slab:           247484 kB
PageTables:       4688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   188436 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= 73168 MiB
End job on node126 at 2011-04-30 06:09:47