Trace number 3263607

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.1 1201.64

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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3263607-1304126375.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:       49070
0.00/0.05	c -- clauses added:            0 learnts,        49070 normals,            0 xors
0.00/0.05	c -- vars added        600
0.00/0.05	c Parsing time:  0.01 s
0.00/0.05	c  N st     0         0       600        20     49050         0     98700         0   no data   no data
0.00/0.05	c asymm  cl-useful: 0/20/20 lits-rem:0 time: 0.00
0.00/0.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
0.00/0.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.05	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.05	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.00 s
2.77/0.70	c lits-rem:       420  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.01 s
2.77/0.70	c Finding binary XORs  T:     0.00 s  found:       0
2.77/0.70	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2.77/0.70	c calculated reachability. Time: 0.00
2.77/0.70	c Calc default polars -  time:   0.00 s pos:     284 undec:      20 neg:     296
2.77/0.70	c =========================================================================================
2.77/0.70	c types(t): F = full restart, N = normal restart
2.77/0.70	c types(t): S = simplification begin/end, E = solution found
2.77/0.70	c restart types(rt): st = static, dy = dynamic
2.77/0.70	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.77/0.70	c  B st     0         0       580      1030     47440         0    130680         0   no data   no data
2.77/0.70	c  N dy    15      4313       580      1030     47447      4089    130680    153666      8.14      8.59
2.77/0.70	c  N dy    41      8500       580      1030     47455      5731    130680    153712      8.66      9.20
2.77/0.78	c  N dy    71     12537       580      1030     47457      5570    130680    140391      9.46     11.94
4.77/1.26	c  N dy   100     17530       577      1030     47465     10343    130680    601562      9.79     10.35
6.37/1.60	c  N dy   127     21698       577      1030     47468      8958    130680    379523     10.36     10.91
7.57/1.95	c  F st   141     25000       576      1030     47468     12170    130680    653310     10.53      7.61
8.39/2.11	c  N st   144     26187       576      1004     46470      6111    127647    230317     10.53   no data
9.56/2.41	c  S st   147     30000       576      1004     46471      9738    127647    333338     10.53   no data
9.56/2.45	c  S st   147     30502       576      1004     46473     10237    127647    363971     10.53   no data
9.56/2.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  3.3M T:  0.08
9.96/2.53	c blocked clauses removed:        0 vars:      0 tried:         576 T: 0.00 s
9.96/2.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
10.76/2.75	c subs with bin:        0  lits-rem:     11022  v-fix:    0  time:  0.21 s
10.76/2.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    576 time:  0.01 s
10.76/2.76	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.00 s
10.76/2.77	c lits-rem:       105  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
16.75/4.29	c subs with bin:       85  lits-rem:       349  v-fix:    0  time:  1.51 s
18.75/4.78	c lits-rem:      2449  cl-subs:     1367  v-elim:      0  v-fix:    0  time:  0.49 s
19.15/4.84	c asymm  cl-useful: 0/984/1004 lits-rem:0 time: 0.05
19.15/4.84	c calculated reachability. Time: 0.00
19.15/4.84	c  N dy   147     30502       576      1004     46476      8785    116520    328970     10.53   no data
21.15/5.35	c  N dy   158     35319       576      1004     46488     13355    116520    494089     10.45     11.06
22.74/5.76	c  N dy   177     39338       575      1004     46501     10001    116520    363330     10.47     11.04
24.74/6.26	c  N dy   201     43368       575      1004     46503     13864    116520    582772     10.63     11.28
25.97/6.60	c  S st   213     45753       575      1004     46509     16142    116520    723125     10.66   no data
26.36/6.65	c  S st   213     46254       575      1004     46509     16639    116520    756848     10.66   no data
26.36/6.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P:  5.5M T:  0.13
26.74/6.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.14/6.80	c bin-w-bin subsume rem            0 bins  time:  0.01 s
27.54/6.96	c subs with bin:        0  lits-rem:        20  v-fix:    0  time:  0.16 s
27.54/6.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    575 time:  0.00 s
27.54/6.97	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.00 s
27.54/6.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
33.94/8.56	c subs with bin:      574  lits-rem:      2441  v-fix:    0  time:  1.56 s
43.54/10.94	c lits-rem:      3674  cl-subs:     1158  v-elim:      0  v-fix:    0  time:  2.38 s
43.54/10.94	c vivif2 --  cl tried     1004 cl shrink        0 lits rem          0 time: 0.00
43.54/10.99	c vivif2 --  cl tried    14903 cl shrink     4566 lits rem       7716 time: 0.05
44.31/11.14	c asymm  cl-useful: 0/1004/1004 lits-rem:0 time: 0.14
44.31/11.14	c calculated reachability. Time: 0.00
44.31/11.14	c  N dy   213     46254       575      1004     46276     14902    115983    703931     10.66   no data
46.71/11.73	c  N dy   231     51171       575      1004     46277     11261    115983    408893     10.65     11.24
48.33/12.18	c  N dy   257     55190       571      1004     46293     15186    115983    694449     10.99     11.59
50.71/12.70	c  N dy   261     59379       570      1004     46294      9684    115983    275579     10.83     11.49
52.33/13.10	c  N dy   295     63470       570      1004     46294     13675    115983    648182     11.23     11.83
55.10/13.87	c  N dy   329     67581       570      1004     46294     17684    115983   1056139     11.61     24.82
56.72/14.27	c  S st   343     69381       570      1004     46295     19432    115983   1218730     11.72     11.76
57.50/14.41	c  S st   343     69884       570      1004     46302     19929    115983   1256478     11.72   no data
57.50/14.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
58.30/14.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  8.3M T:  0.21
58.30/14.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
58.30/14.63	c bin-w-bin subsume rem            1 bins  time:  0.01 s
58.70/14.78	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.16 s
58.70/14.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.00 s
58.70/14.79	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.00 s
59.10/14.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
65.91/16.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.69 s
81.47/20.45	c lits-rem:      2379  cl-subs:      450  v-elim:      0  v-fix:    0  time:  3.91 s
81.47/20.45	c vivif2 --  cl tried      966 cl shrink        0 lits rem          0 time: 0.00
81.47/20.47	c vivif2 --  cl tried    14154 cl shrink      247 lits rem        334 time: 0.02
82.27/20.61	c asymm  cl-useful: 0/966/966 lits-rem:0 time: 0.14
82.27/20.61	c calculated reachability. Time: 0.00
82.27/20.61	c  N dy   343     69884       570       966     45121     14154    113056   1137942     11.72   no data
85.85/21.50	c  N dy   373     74418       570       966     45121     10644    113056    648567     11.99     18.02
89.46/22.43	c  N dy   393     79721       570       966     45156     15754    113056   1026419     12.08     12.78
93.45/23.45	c  N dy   413     84979       570       966     45160     10596    113056    525112     12.00     12.76
94.65/23.77	c  F st   419     87504       570       966     45161     13027    113056    708375     11.94     12.04
97.05/24.36	c  N st   424     90802       570       966     45168     16194    113056    952841     11.94   no data
101.84/25.54	c  N dy   440     96635       570       966     45175     21806    113056   1407562     11.93     13.25
107.83/27.01	c  N dy   472    104167       570       966     45189     17192    113056    906151     11.89     12.91
108.22/27.14	c  S st   478    104826       570       966     45190     17833    113056    958960     11.91   no data
108.62/27.23	c  S st   478    105328       570       966     45190     18332    113056    999785     11.91   no data
108.62/27.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
109.45/27.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     11 BRemL:      0 BRemN:      0 P:  8.2M T:  0.21
109.45/27.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
109.45/27.45	c bin-w-bin subsume rem            0 bins  time:  0.01 s
110.23/27.61	c subs with bin:        0  lits-rem:         7  v-fix:    0  time:  0.16 s
110.23/27.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    570 time:  0.00 s
110.23/27.62	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.00 s
110.23/27.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
116.62/29.27	c subs with bin:      117  lits-rem:       251  v-fix:    0  time:  1.62 s
124.61/31.22	c lits-rem:      2249  cl-subs:     1143  v-elim:      0  v-fix:    0  time:  1.95 s
124.61/31.22	c vivif2 --  cl tried      966 cl shrink        0 lits rem          0 time: 0.00
124.61/31.24	c vivif2 --  cl tried    17072 cl shrink      759 lits rem       1158 time: 0.02
125.01/31.39	c asymm  cl-useful: 0/966/966 lits-rem:0 time: 0.15
125.01/31.39	c calculated reachability. Time: 0.00
125.01/31.39	c  N dy   478    105328       570       966     45203     17070    113049    967200     11.91   no data
131.82/33.08	c  N dy   512    112118       569       966     45220     23567    113049   1438322     11.98     22.89
136.99/34.33	c  N dy   524    119353       569       966     45246     17472    113049    990577     11.84     12.54
145.00/36.37	c  N dy   561    127535       568       966     45262     25425    113049   1688823     11.92     12.62
151.77/38.10	c  N dy   588    135927       568       966     45266     19211    113049   1027573     11.89     12.68
159.36/39.99	c  N dy   608    145120       568       966     45277     28083    113049   1474842     11.77     12.72
165.75/41.59	c  N dy   643    154422       567       966     45286     21717    113049    955222     11.83     12.46
168.54/42.22	c  S st   654    157992       567       966     45290     25156    113049   1132084     11.79      6.93
168.94/42.30	c  S st   654    158493       567       966     45290     25656    113049   1166408     11.79   no data
168.94/42.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
169.74/42.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  8.9M T:  0.23
169.74/42.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
169.74/42.54	c bin-w-bin subsume rem            2 bins  time:  0.01 s
170.14/42.69	c subs with bin:        0  lits-rem:        10  v-fix:    0  time:  0.15 s
170.54/42.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    567 time:  0.00 s
170.54/42.70	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.00 s
170.54/42.72	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
176.94/44.38	c subs with bin:      150  lits-rem:        99  v-fix:    0  time:  1.63 s
186.92/46.84	c lits-rem:      1876  cl-subs:     1167  v-elim:      0  v-fix:    0  time:  2.46 s
186.92/46.84	c vivif2 --  cl tried      966 cl shrink        0 lits rem          0 time: 0.00
186.92/46.87	c vivif2 --  cl tried    23275 cl shrink      867 lits rem        972 time: 0.03
187.72/47.03	c asymm  cl-useful: 0/966/966 lits-rem:0 time: 0.16
187.72/47.04	c calculated reachability. Time: 0.00
187.72/47.04	c  N dy   654    158493       567       966     44531     23275    111559   1117317     11.79   no data
195.71/49.05	c  N dy   676    169125       566       966     44548     17684    111559    764984     11.70     12.63
204.90/51.31	c  N dy   725    179956       565       966     44556     28193    111559   1552579     11.77     12.82
215.31/53.96	c  N dy   765    191497       565       966     44565     22185    111559    935262     11.75     12.38
227.67/57.04	c  N dy   848    203754       565       966     44574     34021    111559   1829491     11.94     12.65
232.49/58.24	c Finding binary XORs  T:     0.00 s  found:       0
238.85/59.88	c  N dy   900    216824       565       955     44156     28216    110506   1347890     11.94     27.77
253.24/63.49	c  N dy   948    231162       565       955     44170     22878    110506    961914     11.90     12.55
258.43/64.75	c  S st   970    237739       565       955     44181     29214    110506   1292653     11.86   no data
258.85/64.87	c  S st   970    238241       565       955     44181     29715    110506   1327737     11.86   no data
258.85/64.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
260.02/65.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     64 BRemL:     83 BRemN:      0 P:  9.8M T:  0.27
260.02/65.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
260.02/65.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
260.82/65.31	c subs with bin:        0  lits-rem:        13  v-fix:    0  time:  0.15 s
260.82/65.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    565 time:  0.00 s
260.82/65.31	c Removed useless bin:       0  fixed:     0  props:   0.21M  time:  0.00 s
260.82/65.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
267.63/67.01	c subs with bin:        1  lits-rem:        12  v-fix:    0  time:  1.64 s
280.00/70.11	c lits-rem:      2868  cl-subs:     2337  v-elim:      0  v-fix:    0  time:  3.10 s
280.00/70.11	c vivif2 --  cl tried      955 cl shrink        7 lits rem          7 time: 0.00
280.00/70.14	c vivif2 --  cl tried    27377 cl shrink     2642 lits rem       8362 time: 0.03
280.82/70.34	c asymm  cl-useful: 0/955/955 lits-rem:0 time: 0.20
280.82/70.34	c calculated reachability. Time: 0.00
280.82/70.34	c  N dy   970    238241       565       955     44189     27350    110486   1275108     11.86   no data
295.98/74.14	c  N dy  1033    253451       564       955     44215     21932    110486    874713     11.91     22.81
310.36/77.76	c  N dy  1084    269662       563       955     44237     37525    110486   1936532     11.87     13.93
326.33/81.71	c  N dy  1138    286881       562       955     44261     33008    110486   1524084     11.84     23.40
346.31/86.72	c  N dy  1209    305340       562       955     44276     28666    110486   1108897     11.87     12.61
347.13/86.95	c  F st  1212    306252       562       955     44276     29536    110486   1135952     11.86     11.82
366.69/91.85	c  N dy  1283    324951       562       955     43459     22799    109041    920577     11.90     12.60
389.06/97.48	c  N dy  1365    346390       561       955     43471     43506    109041   2223590     11.92     12.68
401.04/100.43	c  S st  1400    357361       559       955     43493     30747    109041   1348069     11.90   no data
401.44/100.54	c  S st  1400    357863       559       955     43493     31246    109041   1383383     11.90   no data
401.44/100.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
402.63/100.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     12 BRemL:      0 BRemN:      0 P: 11.5M T:  0.30
402.63/100.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
402.63/100.85	c bin-w-bin subsume rem            0 bins  time:  0.01 s
403.43/101.00	c subs with bin:        0  lits-rem:        36  v-fix:    0  time:  0.14 s
403.43/101.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    559 time:  0.00 s
403.43/101.00	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.00 s
403.43/101.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
409.83/102.67	c subs with bin:      493  lits-rem:       454  v-fix:    0  time:  1.60 s
424.20/106.29	c lits-rem:      3960  cl-subs:     2007  v-elim:      0  v-fix:    0  time:  3.62 s
424.20/106.29	c vivif2 --  cl tried      944 cl shrink        0 lits rem          0 time: 0.00
424.60/106.33	c vivif2 --  cl tried    28339 cl shrink     3472 lits rem       6701 time: 0.04
425.40/106.59	c asymm  cl-useful: 1/927/944 lits-rem:1 time: 0.26
425.40/106.59	c calculated reachability. Time: 0.00
425.40/106.59	c  N dy  1400    357863       559       944     42866     28332    107514   1312397     11.90   no data
451.77/113.16	c  N dy  1458    379671       557       944     42877     25010    107514   1006088     11.85     12.71
474.93/118.98	c  N dy  1518    399836       557       944     42890     44470    107514   2087763     11.83     12.47
488.92/122.47	c Finding binary XORs  T:     0.00 s  found:       0
499.31/125.02	c  N dy  1606    420292       557       932     42419     35596    106485   1868761     11.85     13.54
527.29/132.01	c  N dy  1709    440476       556       932     42429     29710    106485   1329165     11.94     12.63
551.23/138.04	c  N dy  1795    460644       555       932     42441     49211    106485   2805220     11.96     12.94
574.01/143.74	c  N dy  1859    480686       555       932     42454     41254    106485   1864705     11.95     20.70
602.37/150.88	c  N dy  1929    500781       553       932     42475     32065    106485   1319830     11.92     24.43
629.53/157.64	c  N dy  2021    520888       552       932     42482     51491    106485   2830557     11.96     12.63
654.32/163.84	c  S st  2119    536794       551       896     41218     31532    103340   1609075     12.04      8.84
654.72/163.98	c  S st  2119    537299       551       896     41218     32036    103340   1646802     12.04   no data
654.72/163.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
656.30/164.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 14.5M T:  0.38
656.30/164.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
656.30/164.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
657.10/164.52	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  0.14 s
657.10/164.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    551 time:  0.00 s
657.10/164.53	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.00 s
657.10/164.55	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
663.89/166.27	c subs with bin:      117  lits-rem:        61  v-fix:    0  time:  1.68 s
683.86/171.20	c lits-rem:      3128  cl-subs:     1113  v-elim:      0  v-fix:    0  time:  4.94 s
683.86/171.20	c vivif2 --  cl tried      896 cl shrink        0 lits rem          0 time: 0.00
683.86/171.24	c vivif2 --  cl tried    30806 cl shrink      814 lits rem       1055 time: 0.03
684.66/171.49	c asymm  cl-useful: 0/536/896 lits-rem:0 time: 0.26
684.66/171.49	c calculated reachability. Time: 0.00
684.66/171.49	c  N dy  2119    537299       551       896     41220     30804    103335   1619117     12.04   no data
716.24/179.38	c  N dy  2185    557457       551       896     41246     50221    103335   3119350     12.03     12.68
746.60/186.94	c  N dy  2242    577532       551       896     41263     41654    103335   2230724     11.99     20.29
785.73/196.75	c  N dy  2317    597627       551       896     41289     30666    103335   1321452     11.99     12.67
814.09/203.83	c  N dy  2373    617709       550       896     41317     49964    103335   2581381     11.96     12.66
846.44/211.99	c  N dy  2457    637730       550       896     41329     37234    103335   1726482     11.96     12.88
878.83/220.08	c  N dy  2535    658298       550       896     41344     57013    103335   2960546     11.95     12.62
913.98/228.87	c  N dy  2599    678378       550       896     41364     42988    103335   1900878     11.93     20.84
945.11/236.66	c  N dy  2658    698586       549       896     41395     62330    103335   3153453     11.91     12.66
977.88/244.85	c  N dy  2794    718987       548       896     41403     47626    103335   2202961     11.97     12.84
1014.22/253.96	c  N dy  2859    739128       548       896     41416     66904    103335   3401471     11.96     12.73
1043.79/261.31	c  N dy  2923    759358       548       896     41428     50850    103335   2228752     11.95     12.59
1059.36/265.27	c Finding binary XORs  T:     0.00 s  found:       0
1077.75/269.87	c  N dy  2999    779469       546       884     40175     52828    100898   3181005     11.97     12.67
1102.11/275.94	c  N dy  3088    800080       545       884     40187     44964    100898   2252425     12.00     12.64
1110.90/278.18	c  S st  3128    805950       545       884     40189     50681    100898   2663647     12.03   no data
1111.72/278.39	c  S st  3128    806451       545       884     40193     51181    100898   2700060     12.03   no data
1112.10/278.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1114.49/279.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 21.0M T:  0.67
1114.49/279.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1114.49/279.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1115.29/279.21	c subs with bin:        0  lits-rem:         7  v-fix:    0  time:  0.13 s
1115.29/279.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    545 time:  0.00 s
1115.29/279.22	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.00 s
1115.29/279.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1122.88/281.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.84 s
1174.41/294.06	c lits-rem:      5901  cl-subs:     2509  v-elim:      0  v-fix:    0  time: 12.87 s
1174.41/294.06	c vivif2 --  cl tried      873 cl shrink        0 lits rem          0 time: 0.00
1174.81/294.12	c vivif2 --  cl tried    48660 cl shrink     3397 lits rem       5135 time: 0.06
1176.02/294.45	c asymm  cl-useful: 0/366/873 lits-rem:0 time: 0.33
1176.02/294.46	c calculated reachability. Time: 0.00
1176.02/294.46	c  N dy  3128    806451       545       873     40005     48658    100336   2625533     12.03   no data
1212.38/303.53	c  N dy  3206    827257       544       873     40035     35546    100336   1500993     12.04     12.74
1238.75/310.13	c  N dy  3250    847494       544       873     40057     54978    100336   2801179     12.00     12.65
1276.28/319.53	c  N dy  3332    867521       543       873     40065     37974    100336   1497571     12.00     13.71
1303.04/326.29	c  N dy  3389    889236       543       873     40082     58847    100336   2862328     11.97     12.76
1342.20/336.07	c  N dy  3471    909394       543       873     40104     39892    100335   1548157     11.98     13.36
1369.35/342.80	c  N dy  3543    929420       543       873     40110     59172    100335   2848039     11.98     20.64
1407.71/352.45	c  N dy  3619    949497       543       873     40139     78397    100335   4125646     11.99     12.76
1437.26/359.88	c  N dy  3710    969977       541       873     40150     58379    100335   2783798     12.00     12.66
1481.61/370.99	c  N dy  3797    992394       541       873     40168     79930    100335   4115937     11.99     12.77
1513.16/378.85	c  N dy  3874   1012555       541       873     40184     58170    100335   2674856     11.99     12.64
1555.53/389.45	c  N dy  3940   1033416       541       873     40208     78084    100335   3847910     11.97     12.61
1590.28/398.15	c  N dy  4002   1053487       539       862     38834     48703     97579   2200991     11.97     12.83
1623.02/406.36	c  F st  4120   1071876       539       862     38836     66485     97579   3412624     12.04      6.59
1626.61/407.27	c  N st  4124   1073911       539       862     38837     68459     97579   3569947     12.04   no data
1661.00/415.87	c  N dy  4218   1093982       539       862     38844     47935     97579   2106034     12.08     24.81
1666.16/417.17	c Finding binary XORs  T:     0.00 s  found:       0
1694.13/424.17	c  N dy  4312   1114555       537       862     38896     67851     97579   3328022     12.11     12.78
1734.87/434.33	c  N dy  4425   1135854       537       862     38905     45742     97579   1833834     12.15     12.81
1764.84/441.82	c  N dy  4540   1156062       535       862     38913     65327     97579   3142475     12.19     12.98
1802.38/451.22	c  N dy  4613   1176653       534       862     38918     85165     97579   4496495     12.19     12.94
1834.35/459.20	c  N dy  4712   1196689       533       839     37746     57245     94928   2577733     12.22     20.27
1855.51/464.58	c  S st  4778   1209678       533       839     37752     69743     94928   3409365     12.24      9.60
1856.71/464.84	c  S st  4778   1210178       533       839     37752     70240     94928   3442873     12.24   no data
1856.71/464.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1860.31/465.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 25.8M T:  0.89
1860.31/465.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1860.31/465.75	c bin-w-bin subsume rem            1 bins  time:  0.00 s
1860.71/465.87	c subs with bin:        0  lits-rem:        18  v-fix:    0  time:  0.12 s
1860.71/465.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    533 time:  0.00 s
1860.71/465.88	c Removed useless bin:       0  fixed:     0  props:   0.17M  time:  0.00 s
1861.11/465.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
1869.89/468.11	c subs with bin:       40  lits-rem:       884  v-fix:    0  time:  2.09 s
1913.44/479.03	c lits-rem:      4919  cl-subs:     3910  v-elim:      0  v-fix:    0  time: 10.93 s
1913.44/479.04	c vivif2 --  cl tried      839 cl shrink        0 lits rem          0 time: 0.00
1913.84/479.12	c vivif2 --  cl tried    66290 cl shrink     3587 lits rem       4962 time: 0.08
1915.04/479.48	c asymm  cl-useful: 0/294/839 lits-rem:0 time: 0.36
1915.04/479.48	c calculated reachability. Time: 0.00
1915.04/479.48	c  N dy  4778   1210178       533       839     37752     66289     94910   3351197     12.24   no data
1960.57/490.84	c  N dy  4833   1231022       532       839     37768     86269     94910   4594946     12.22     13.19
1992.53/498.84	c  N dy  4903   1251177       532       839     37793     61179     94910   2745819     12.21     12.89
2034.10/509.21	c  N dy  4974   1271383       531       839     37807     80482     94910   3946041     12.20     12.90
2076.03/519.71	c  N dy  5048   1292493       531       839     37820     54550     94910   2290567     12.19     13.11
2114.37/529.33	c  N dy  5133   1313548       531       839     37832     74810     94910   3641811     12.20     12.91
2169.10/543.02	c  N dy  5209   1333784       531       839     37848     94237     94910   4915001     12.21     12.90
2203.06/551.50	c  N dy  5284   1356297       530       839     37856     68374     94910   3046174     12.20     12.99
2245.02/562.10	c  N dy  5341   1377751       529       839     37865     88930     94910   4281282     12.19     12.96
2283.35/571.61	c  N dy  5438   1397853       529       839     37883     59435     94910   2399237     12.20     12.94
2318.90/580.56	c  N dy  5517   1418333       529       839     37894     79028     94910   3546453     12.20     12.97
2365.64/592.24	c  N dy  5603   1438482       528       839     37912     98438     94910   4699603     12.21     12.91
2395.60/599.78	c  N dy  5654   1459126       528       839     37933     68388     94909   2815129     12.20     12.87
2429.58/608.29	c  N dy  5703   1479156       526       827     36732     78241     92416   3619367     12.18     21.56
2468.70/618.06	c  N dy  5766   1499287       526       827     36743     51482     92416   1920338     12.17     12.87
2499.46/625.77	c  N dy  5843   1519598       526       827     36749     70947     92416   3073585     12.17     12.92
2540.60/636.02	c Finding binary XORs  T:     0.00 s  found:       0
2551.80/638.87	c  N dy  5945   1540907       526       827     36544     90116     92014   4081732     12.18     12.89
2589.34/648.20	c  N dy  6027   1561005       525       827     36563     60709     92014   2479411     12.19     15.93
2628.89/658.12	c  N dy  6143   1581201       524       827     36568     80172     92014   3693089     12.22     12.89
2677.22/670.20	c  N dy  6237   1601262       524       827     36572     99485     92014   4942999     12.23     19.84
2713.58/679.35	c  N dy  6341   1621510       524       827     36579     67594     92014   2796036     12.26     13.59
2756.72/690.15	c  N dy  6444   1641979       524       827     36589     87309     92014   3979577     12.28     12.93
2813.04/704.27	c  N dy  6576   1662027       524       827     36599     53441     92014   1850158     12.31     21.65
2844.21/712.06	c  N dy  6667   1682113       524       827     36606     72788     92014   3078867     12.32     17.88
2890.15/723.57	c  N dy  6773   1702348       524       827     36614     92203     92014   4273969     12.34     13.00
2913.34/729.36	c  S st  6831   1710178       524       827     36629     99697     92014   4729631     12.35   no data
2914.91/729.73	c  S st  6831   1710683       524       827     36629    100198     92014   4763662     12.35   no data
2914.91/729.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2919.71/730.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     10 BRemL:      8 BRemN:      0 P: 32.0M T:  1.23
2919.71/730.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2919.71/730.98	c bin-w-bin subsume rem            2 bins  time:  0.00 s
2920.11/731.09	c subs with bin:        0  lits-rem:        10  v-fix:    0  time:  0.11 s
2920.51/731.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    524 time:  0.00 s
2920.51/731.10	c Removed useless bin:       0  fixed:     0  props:   0.16M  time:  0.00 s
2920.51/731.16	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
2930.09/733.55	c subs with bin:        1  lits-rem:        68  v-fix:    0  time:  2.23 s
3003.19/751.87	c lits-rem:      6485  cl-subs:     6237  v-elim:      0  v-fix:    0  time: 18.32 s
3003.19/751.87	c vivif2 --  cl tried      816 cl shrink        6 lits rem          6 time: 0.00
3003.99/752.05	c vivif2 --  cl tried    90088 cl shrink    12684 lits rem      18068 time: 0.17
3005.22/752.40	c asymm  cl-useful: 0/300/816 lits-rem:0 time: 0.35
3005.62/752.40	c calculated reachability. Time: 0.00
3005.62/752.40	c  N dy  6831   1710683       524       816     36179     90086     91064   4553768     12.35   no data
3055.53/764.96	c  N dy  6871   1731566       523       816     36212     57770     91064   2267441     12.33     13.23
3091.09/773.88	c  N dy  6920   1751847       523       816     36224     77231     91064   3433575     12.32     13.05
3140.22/786.14	c  N dy  6978   1773952       522       816     36240     98492     91064   4730934     12.30     12.96
3181.38/796.46	c  N dy  7021   1793955       521       816     36262     63148     91064   2526132     12.28     12.99
3219.71/806.08	c  N dy  7098   1814530       521       816     36274     82997     91064   3791901     12.28     12.97
3281.23/821.45	c  N dy  7186   1835176       521       816     36282    102704     91064   4947103     12.28     13.04
3329.57/833.50	c  N dy  7274   1855461       520       816     36288     66143     91064   2604854     12.28     12.98
3369.52/843.56	c  N dy  7345   1876613       519       816     36325     86407     91064   3837598     12.28     12.94
3418.27/855.75	c  N dy  7412   1896740       519       816     36341    105666     91064   5029444     12.27     12.95
3431.45/859.08	c Finding binary XORs  T:     0.00 s  found:       0
3463.39/867.04	c  N dy  7506   1917050       519       804     35321     66604     88938   2619352     12.28     13.01
3503.74/877.11	c  N dy  7595   1937484       519       804     35326     86198     88938   3770716     12.28     13.10
3556.87/890.49	c  N dy  7673   1957738       519       804     35340    105471     88938   4816997     12.28     13.00
3607.62/903.17	c  N dy  7723   1980602       518       804     35367     69669     88938   2663945     12.26     12.94
3646.77/912.97	c  N dy  7791   2000663       518       804     35375     88923     88938   3766185     12.26     12.92
3693.49/924.62	c  N dy  7874   2021163       518       804     35383    108689     88938   5020506     12.27     12.94
3735.43/935.18	c  N dy  7941   2041214       518       804     35403     68972     88938   2685580     12.27     14.58
3773.79/944.79	c  N dy  8026   2061294       518       804     35410     88275     88938   3910557     12.27     21.65
3826.51/957.96	c  N dy  8102   2081370       517       804     35420    107625     88938   5054686     12.28     15.91
3879.66/971.30	c  N dy  8205   2102640       517       804     35434     67754     88938   2480259     12.30     13.01
3918.79/981.05	c  N dy  8310   2122867       517       804     35447     87268     88938   3685114     12.32     13.20
3972.34/994.46	c  N dy  8420   2142963       515       804     35467    106548     88938   4816995     12.34     19.96
4029.46/1008.74	c  N dy  8526   2163062       515       804     35482     64427     88938   2177017     12.35     13.13
4063.80/1017.40	c  N dy  8600   2183102       515       804     35494     83656     88938   3284653     12.35     18.48
4108.15/1028.49	c  N dy  8668   2203395       513       782     34285     94459     86410   4223468     12.35     13.05
4127.31/1033.27	c  S st  8695   2210684       513       782     34296    101359     86410   4621680     12.35   no data
4128.91/1033.64	c  S st  8695   2211187       513       782     34296    101858     86410   4658795     12.35   no data
4128.91/1033.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4133.70/1034.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:      0 BRemN:      0 P: 31.1M T:  1.23
4133.70/1034.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4133.70/1034.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4134.10/1034.99	c subs with bin:        0  lits-rem:        15  v-fix:    0  time:  0.11 s
4134.10/1035.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    513 time:  0.00 s
4134.10/1035.00	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.00 s
4134.52/1035.06	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
4143.71/1037.32	c subs with bin:     1296  lits-rem:      5926  v-fix:    0  time:  2.14 s
4212.40/1054.57	c lits-rem:      8307  cl-subs:     6490  v-elim:      0  v-fix:    0  time: 17.25 s
4212.40/1054.57	c vivif2 --  cl tried      782 cl shrink        0 lits rem          0 time: 0.00
4213.20/1054.72	c vivif2 --  cl tried    94072 cl shrink    11098 lits rem      22497 time: 0.15
4214.79/1055.10	c asymm  cl-useful: 0/336/782 lits-rem:0 time: 0.38
4214.79/1055.10	c calculated reachability. Time: 0.00
4214.79/1055.10	c  N dy  8695   2211187       513       782     34309     94067     86393   4465720     12.35   no data
4222.41/1057.07	c Finding binary XORs  T:     0.00 s  found:       0
4272.72/1069.69	c  N dy  8731   2231218       509       782     33708    102869     85261   5268462     12.33     13.34
4307.08/1078.27	c  N dy  8799   2251226       508       782     33716     69463     85261   2829304     12.33     12.99
4346.62/1088.14	c  N dy  8844   2271242       508       782     33729     88507     85261   3873987     12.31     13.04
4392.56/1099.61	c  N dy  8894   2291274       507       782     33745    107720     85261   4995251     12.30     13.07
4436.91/1110.70	c  N dy  8949   2311782       507       782     33758     68916     85261   2554529     12.29     12.98
4474.46/1120.19	c  N dy  9026   2331793       506       782     33778     88154     85261   3739945     12.29     13.36
4523.99/1132.50	c  N dy  9117   2351843       505       782     33786    107510     85261   4988808     12.30     23.94
4577.92/1146.05	c  N dy  9217   2372374       504       771     32684     59838     82917   2242375     12.32     13.03
4614.66/1155.24	c  N dy  9304   2392579       504       771     32690     79328     82917   3462017     12.33     13.01
4658.61/1166.26	c  N dy  9378   2412656       503       771     32706     98580     82917   4613275     12.33     12.98
4716.54/1180.79	c  N dy  9493   2432748       503       771     32721    118024     82917   5875521     12.35     13.11
4759.27/1191.43	c  N dy  9551   2454555       503       771     32730     77500     82917   3182010     12.34     13.14

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-3263607-1304126375/watcher-3263607-1304126375 -o /tmp/evaluation-result-3263607-1304126375/solver-3263607-1304126375 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3263607-1304126375.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.70 5.29 6.51 6/180 32413
/proc/meminfo: memFree=30946672/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 408 0 0 0 0 0 0 0 21 0 4 0 524234159 52441088 347 33554432000 4194304 4627427 140736588596800 18446744073709551615 47988763645874 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 12803 347 299 106 0 7774 0
[pid=32413/tid=32414] ppid=32411 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 524234159 52441088 347 33554432000 4194304 4627427 140736588596800 18446744073709551615 47988763645878 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 524234159 52441088 347 33554432000 4194304 4627427 140736588596800 18446744073709551615 47988763645874 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 524234159 52441088 347 33554432000 4194304 4627427 140736588596800 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.069761 s]
/proc/loadavg: 3.70 5.29 6.51 6/180 32413
/proc/meminfo: memFree=30946672/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=284248 CPUtime=0.25 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 3708 0 0 0 25 0 0 0 18 0 4 0 524234159 291069952 3619 33554432000 4194304 4627427 140736588596800 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 71062 3620 384 106 0 66033 0
[pid=32413/tid=32414] ppid=32411 vsize=284248 CPUtime=0.06 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 884 0 0 0 6 0 0 0 18 0 4 0 524234159 291069952 3620 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=284248 CPUtime=0.06 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 905 0 0 0 6 0 0 0 18 0 4 0 524234159 291069952 3620 33554432000 4194304 4627427 140736588596800 18446744073709551615 4327375 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=284248 CPUtime=0.05 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 614 0 0 0 5 0 0 0 24 0 4 0 524234159 291069952 3620 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 284248

[startup+0.100752 s]
/proc/loadavg: 3.70 5.29 6.51 6/180 32413
/proc/meminfo: memFree=30946672/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=284380 CPUtime=0.37 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 3904 0 0 0 37 0 0 0 18 0 4 0 524234159 291205120 3815 33554432000 4194304 4627427 140736588596800 18446744073709551615 4299718 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 71095 3815 384 106 0 66066 0
[pid=32413/tid=32414] ppid=32411 vsize=284380 CPUtime=0.09 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 921 0 0 0 9 0 0 0 18 0 4 0 524234159 291205120 3815 33554432000 4194304 4627427 140736588596800 18446744073709551615 4330971 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=284380 CPUtime=0.09 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 946 0 0 0 9 0 0 0 18 0 4 0 524234159 291205120 3815 33554432000 4194304 4627427 140736588596800 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=284380 CPUtime=0.08 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 676 0 0 0 8 0 0 0 24 0 4 0 524234159 291205120 3815 33554432000 4194304 4627427 140736588596800 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 284380

[startup+0.300715 s]
/proc/loadavg: 3.70 5.29 6.51 6/180 32413
/proc/meminfo: memFree=30946672/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=285180 CPUtime=1.18 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 4902 0 0 0 117 1 0 0 18 0 4 0 524234159 292024320 4482 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 71295 4482 385 106 0 66266 0
[pid=32413/tid=32414] ppid=32411 vsize=285180 CPUtime=0.29 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 1143 0 0 0 29 0 0 0 18 0 4 0 524234159 292024320 4482 33554432000 4194304 4627427 140736588596800 18446744073709551615 4321736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=285180 CPUtime=0.29 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 1097 0 0 0 29 0 0 0 18 0 4 0 524234159 292024320 4482 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=285180 CPUtime=0.28 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 1103 0 0 0 28 0 0 0 25 0 4 0 524234159 292024320 4482 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 285180

[startup+0.700634 s]
/proc/loadavg: 3.70 5.29 6.51 6/180 32413
/proc/meminfo: memFree=30946672/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=287264 CPUtime=2.77 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 7056 0 0 0 276 1 0 0 18 0 4 0 524234159 294158336 5504 33554432000 4194304 4627427 140736588596800 18446744073709551615 4338466 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 71816 5504 385 106 0 66787 0
[pid=32413/tid=32414] ppid=32411 vsize=287264 CPUtime=0.68 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 1633 0 0 0 68 0 0 0 18 0 4 0 524234159 294158336 5504 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=287264 CPUtime=0.69 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 1646 0 0 0 69 0 0 0 18 0 4 0 524234159 294158336 5504 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=287264 CPUtime=0.68 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 1795 0 0 0 68 0 0 0 25 0 4 0 524234159 294158336 5505 33554432000 4194304 4627427 140736588596800 18446744073709551615 4333184 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 287264

[startup+1.50048 s]
/proc/loadavg: 3.70 5.29 6.51 9/184 32417
/proc/meminfo: memFree=30904584/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=289588 CPUtime=5.96 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 10993 0 0 0 594 2 0 0 20 0 4 0 524234159 296538112 6388 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 72397 6389 385 106 0 67368 0
[pid=32413/tid=32414] ppid=32411 vsize=289588 CPUtime=1.48 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 2589 0 0 0 148 0 0 0 19 0 4 0 524234159 296538112 6389 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=289588 CPUtime=1.48 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 2487 0 0 0 148 0 0 0 20 0 4 0 524234159 296538112 6389 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=289588 CPUtime=1.47 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 2785 0 0 0 147 0 0 0 25 0 4 0 524234159 296538112 6389 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 289588

[startup+3.10116 s]
/proc/loadavg: 4.04 5.33 6.52 9/184 32417
/proc/meminfo: memFree=30894292/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=291500 CPUtime=12.37 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 18280 0 0 0 1233 4 0 0 25 0 4 0 524234159 298496000 9120 33554432000 4194304 4627427 140736588596800 18446744073709551615 4424330 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 72875 9120 389 106 0 67846 0
[pid=32413/tid=32414] ppid=32411 vsize=291500 CPUtime=3.09 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 3890 0 0 0 308 1 0 0 25 0 4 0 524234159 298496000 9120 33554432000 4194304 4627427 140736588596800 18446744073709551615 254500360365 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=291500 CPUtime=3.08 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 3900 0 0 0 308 0 0 0 25 0 4 0 524234159 298496000 9120 33554432000 4194304 4627427 140736588596800 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=291500 CPUtime=3.06 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 4624 0 0 0 306 0 0 0 25 0 4 0 524234159 298496000 9120 33554432000 4194304 4627427 140736588596800 18446744073709551615 4328865 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 291500

[startup+6.30052 s]
/proc/loadavg: 4.04 5.33 6.52 9/184 32417
/proc/meminfo: memFree=30833280/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=291736 CPUtime=25.14 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 30361 0 0 0 2509 5 0 0 25 0 4 0 524234159 298737664 17070 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 72934 17070 389 106 0 67905 0
[pid=32413/tid=32414] ppid=32411 vsize=291736 CPUtime=6.28 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 6515 0 0 0 627 1 0 0 25 0 4 0 524234159 298737664 17070 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=291736 CPUtime=6.29 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 9274 0 0 0 628 1 0 0 25 0 4 0 524234159 298737664 17070 33554432000 4194304 4627427 140736588596800 18446744073709551615 4428270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=291736 CPUtime=6.25 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 7457 0 0 0 624 1 0 0 25 0 4 0 524234159 298737664 17070 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 291736

[startup+12.7002 s]
/proc/loadavg: 4.72 5.44 6.54 9/184 32418
/proc/meminfo: memFree=30750980/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=282424 CPUtime=50.71 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 51849 0 0 0 5061 10 0 0 25 0 4 0 524234159 289202176 32619 33554432000 4194304 4627427 140736588596800 18446744073709551615 4305869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 70606 32619 389 106 0 65577 0
[pid=32413/tid=32414] ppid=32411 vsize=282424 CPUtime=12.69 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 13161 0 0 0 1267 2 0 0 25 0 4 0 524234159 289202176 32619 33554432000 4194304 4627427 140736588596800 18446744073709551615 4428405 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=282424 CPUtime=12.69 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 12677 0 0 0 1267 2 0 0 25 0 4 0 524234159 289202176 32619 33554432000 4194304 4627427 140736588596800 18446744073709551615 4329001 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=282424 CPUtime=12.61 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 15061 0 0 0 1259 2 0 0 25 0 4 0 524234159 289202176 32619 33554432000 4194304 4627427 140736588596800 18446744073709551615 4424704 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 282424

[startup+25.5007 s]
/proc/loadavg: 5.23 5.52 6.56 9/184 32418
/proc/meminfo: memFree=30619988/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=321028 CPUtime=101.84 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 74700 0 0 0 10170 14 0 0 25 0 4 0 524234159 328732672 43417 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 80257 43417 389 106 0 75228 0
[pid=32413/tid=32414] ppid=32411 vsize=321028 CPUtime=25.49 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 20293 0 0 0 2545 4 0 0 25 0 4 0 524234159 328732672 43417 33554432000 4194304 4627427 140736588596800 18446744073709551615 4424289 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=321028 CPUtime=25.49 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 18861 0 0 0 2546 3 0 0 25 0 4 0 524234159 328732672 43417 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=321028 CPUtime=25.34 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 19531 0 0 0 2531 3 0 0 25 0 4 0 524234159 328732672 43417 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 321028

[startup+51.1006 s]
/proc/loadavg: 6.23 5.73 6.60 9/184 32419
/proc/meminfo: memFree=30546808/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=435924 CPUtime=204.1 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 114180 0 0 0 20389 21 0 0 25 0 4 0 524234159 446386176 55195 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 108981 55195 389 106 0 103952 0
[pid=32413/tid=32414] ppid=32411 vsize=435924 CPUtime=51.09 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 29864 0 0 0 5104 5 0 0 25 0 4 0 524234159 446386176 55195 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=435924 CPUtime=51.09 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 30205 0 0 0 5104 5 0 0 25 0 4 0 524234159 446386176 55195 33554432000 4194304 4627427 140736588596800 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=435924 CPUtime=50.8 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 30697 0 0 0 5074 6 0 0 25 0 4 0 524234159 446386176 55195 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 435924

[startup+102.306 s]
/proc/loadavg: 7.33 6.13 6.68 9/184 32420
/proc/meminfo: memFree=30425108/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=528096 CPUtime=408.65 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 172719 0 0 0 40830 35 0 0 25 0 4 0 524234159 540770304 70509 33554432000 4194304 4627427 140736588596800 18446744073709551615 4424975 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 132024 70509 389 106 0 126995 0
[pid=32413/tid=32414] ppid=32411 vsize=528096 CPUtime=102.3 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 46407 0 0 0 10221 9 0 0 25 0 4 0 524234159 540770304 70509 33554432000 4194304 4627427 140736588596800 18446744073709551615 4310105 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=528096 CPUtime=102.3 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 46508 0 0 0 10221 9 0 0 25 0 4 0 524234159 540770304 70509 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=528096 CPUtime=101.73 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 42995 0 0 0 10165 8 0 0 25 0 4 0 524234159 540770304 70509 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 528096

[startup+162.3 s]

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

[pid=32413] ppid=32411 vsize=888216 CPUtime=2565.79 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 613254 0 0 0 256418 161 0 0 25 0 4 0 524234159 909533184 143089 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 222054 143089 389 106 0 217025 0
[pid=32413/tid=32414] ppid=32411 vsize=888216 CPUtime=642.32 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 159146 0 0 0 64192 40 0 0 25 0 4 0 524234159 909533184 143089 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=888216 CPUtime=642.32 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 151027 0 0 0 64195 37 0 0 25 0 4 0 524234159 909533184 143089 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=888216 CPUtime=638.81 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 153333 0 0 0 63838 43 0 0 25 0 4 0 524234159 909533184 143089 33554432000 4194304 4627427 140736588596800 18446744073709551615 4427394 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.79
Current children cumulated vsize (KiB) 888216

[startup+702.301 s]
/proc/loadavg: 8.09 7.84 7.34 9/184 32436
/proc/meminfo: memFree=29659140/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=888728 CPUtime=2805.46 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 655563 0 0 0 280370 176 0 0 25 0 4 0 524234159 910057472 158895 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 222182 158895 389 106 0 217153 0
[pid=32413/tid=32414] ppid=32411 vsize=888728 CPUtime=702.32 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 170043 0 0 0 70188 44 0 0 25 0 4 0 524234159 910057472 158895 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=888728 CPUtime=702.32 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 162374 0 0 0 70191 41 0 0 25 0 4 0 524234159 910057472 158895 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=888728 CPUtime=698.48 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 162584 0 0 0 69802 46 0 0 25 0 4 0 524234159 910057472 158895 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.46
Current children cumulated vsize (KiB) 888728

[startup+762.307 s]
/proc/loadavg: 8.20 7.91 7.40 9/184 32438
/proc/meminfo: memFree=29676696/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=1033100 CPUtime=3045.16 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 684158 0 0 0 304328 188 0 0 25 0 4 0 524234159 1057894400 164321 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 258275 164321 389 106 0 253246 0
[pid=32413/tid=32414] ppid=32411 vsize=1033100 CPUtime=762.32 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 175791 0 0 0 76185 47 0 0 25 0 4 0 524234159 1057894400 164321 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=1033100 CPUtime=762.32 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 173376 0 0 0 76187 45 0 0 25 0 4 0 524234159 1057894400 164321 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=1033100 CPUtime=758.16 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 166780 0 0 0 75767 49 0 0 25 0 4 0 524234159 1057894400 164321 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.16
Current children cumulated vsize (KiB) 1033100

[startup+822.301 s]
/proc/loadavg: 8.14 7.94 7.44 9/184 32439
/proc/meminfo: memFree=29648740/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=1106392 CPUtime=3284.82 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 714840 0 0 0 328281 201 0 0 25 0 4 0 524234159 1132945408 155485 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 276598 155485 389 106 0 271569 0
[pid=32413/tid=32414] ppid=32411 vsize=1106392 CPUtime=822.32 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 186744 0 0 0 82180 52 0 0 25 0 4 0 524234159 1132945408 155485 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=1106392 CPUtime=822.33 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 180544 0 0 0 82185 48 0 0 25 0 4 0 524234159 1132945408 155485 33554432000 4194304 4627427 140736588596800 18446744073709551615 4427411 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=1106392 CPUtime=817.83 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 173141 0 0 0 81731 52 0 0 25 0 4 0 524234159 1132945408 155485 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.82
Current children cumulated vsize (KiB) 1106392

[startup+882.301 s]
/proc/loadavg: 8.17 7.98 7.48 9/184 32441
/proc/meminfo: memFree=29657592/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=852880 CPUtime=3524.51 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 751434 0 0 0 352237 214 0 0 25 0 4 0 524234159 873349120 164569 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 213220 164569 389 106 0 208191 0
[pid=32413/tid=32414] ppid=32411 vsize=852880 CPUtime=882.32 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 192774 0 0 0 88177 55 0 0 25 0 4 0 524234159 873349120 164569 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=852880 CPUtime=882.33 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 190099 0 0 0 88182 51 0 0 25 0 4 0 524234159 873349120 164569 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=852880 CPUtime=877.5 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 183346 0 0 0 87696 54 0 0 25 0 4 0 524234159 873349120 164569 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.51
Current children cumulated vsize (KiB) 852880

[startup+942.3 s]
/proc/loadavg: 8.17 8.01 7.52 9/184 32442
/proc/meminfo: memFree=29672040/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=928520 CPUtime=3764.19 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 782443 0 0 0 376195 224 0 0 25 0 4 0 524234159 950804480 156339 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 232130 156339 389 106 0 227101 0
[pid=32413/tid=32414] ppid=32411 vsize=928520 CPUtime=942.33 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 198812 0 0 0 94175 58 0 0 25 0 4 0 524234159 950804480 156339 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=928520 CPUtime=942.33 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 198878 0 0 0 94179 54 0 0 25 0 4 0 524234159 950804480 156339 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=928520 CPUtime=937.18 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 188871 0 0 0 93662 56 0 0 25 0 4 0 524234159 950804480 156339 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.19
Current children cumulated vsize (KiB) 928520

[startup+1002.3 s]
/proc/loadavg: 8.16 8.04 7.56 9/184 32444
/proc/meminfo: memFree=29576996/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=1049076 CPUtime=4003.87 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 818299 0 0 0 400149 238 0 0 25 0 4 0 524234159 1074253824 170063 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 262269 170063 389 106 0 257240 0
[pid=32413/tid=32414] ppid=32411 vsize=1049076 CPUtime=1002.33 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 207565 0 0 0 100172 61 0 0 25 0 4 0 524234159 1074253824 170063 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=1049076 CPUtime=1002.33 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 209167 0 0 0 100175 58 0 0 25 0 4 0 524234159 1074253824 170063 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=1049076 CPUtime=996.85 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 197660 0 0 0 99625 60 0 0 25 0 4 0 524234159 1074253824 170063 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.87
Current children cumulated vsize (KiB) 1049076

[startup+1062.3 s]
/proc/loadavg: 8.15 8.06 7.59 9/184 32446
/proc/meminfo: memFree=29599508/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=1050516 CPUtime=4243.56 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 843304 0 0 0 424108 248 0 0 25 0 4 0 524234159 1075728384 170361 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 262629 170361 389 106 0 257600 0
[pid=32413/tid=32414] ppid=32411 vsize=1050516 CPUtime=1062.33 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 211197 0 0 0 106170 63 0 0 25 0 4 0 524234159 1075728384 170361 33554432000 4194304 4627427 140736588596800 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=1050516 CPUtime=1062.34 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 216822 0 0 0 106173 61 0 0 25 0 4 0 524234159 1075728384 170361 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=1050516 CPUtime=1056.52 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 204766 0 0 0 105590 62 0 0 25 0 4 0 524234159 1075728384 170361 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.56
Current children cumulated vsize (KiB) 1050516

[startup+1122.3 s]
/proc/loadavg: 8.05 8.05 7.62 9/184 32447
/proc/meminfo: memFree=29596112/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=982848 CPUtime=4483.24 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 868293 0 0 0 448067 257 0 0 25 0 4 0 524234159 1006436352 173595 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 245712 173595 389 106 0 240683 0
[pid=32413/tid=32414] ppid=32411 vsize=982848 CPUtime=1122.34 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 217917 0 0 0 112168 66 0 0 25 0 4 0 524234159 1006436352 173595 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=982848 CPUtime=1122.33 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 222479 0 0 0 112171 62 0 0 25 0 4 0 524234159 1006436352 173595 33554432000 4194304 4627427 140736588596800 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=982848 CPUtime=1116.2 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 211325 0 0 0 111556 64 0 0 25 0 4 0 524234159 1006436352 173595 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.24
Current children cumulated vsize (KiB) 982848

[startup+1182.3 s]
/proc/loadavg: 8.09 8.06 7.65 9/184 32449
/proc/meminfo: memFree=29605728/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=1032328 CPUtime=4722.93 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 905789 0 0 0 472022 271 0 0 25 0 4 0 524234159 1057103872 172770 33554432000 4194304 4627427 140736588596800 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 258082 172770 389 106 0 253053 0
[pid=32413/tid=32414] ppid=32411 vsize=1032328 CPUtime=1182.34 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 228542 0 0 0 118164 70 0 0 25 0 4 0 524234159 1057103872 172770 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=1032328 CPUtime=1182.34 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 230441 0 0 0 118169 65 0 0 25 0 4 0 524234159 1057103872 172770 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=1032328 CPUtime=1175.88 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 221817 0 0 0 117519 69 0 0 25 0 4 0 524234159 1057103872 172770 33554432000 4194304 4627427 140736588596800 18446744073709551615 4424993 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.93
Current children cumulated vsize (KiB) 1032328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.06 8.06 7.65 5/179 32450
/proc/meminfo: memFree=30283536/32950928 swapFree=67111464/67111528
[pid=32413] ppid=32411 vsize=1046492 CPUtime=4800.04 cores=1,3,5,7
/proc/32413/stat : 32413 (strangenight2-m) R 32411 32413 31569 0 -1 4202496 910529 0 0 0 479730 274 0 0 25 0 4 0 524234159 1071607808 166753 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32413/statm: 261623 166753 389 106 0 256594 0
[pid=32413/tid=32414] ppid=32411 vsize=1046492 CPUtime=1201.64 cores=1,3,5,7
/proc/32413/task/32414/stat : 32414 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 230366 0 0 0 120094 70 0 0 25 0 4 0 524234159 1071607808 166753 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32413/tid=32415] ppid=32411 vsize=1046492 CPUtime=1201.65 cores=1,3,5,7
/proc/32413/task/32415/stat : 32415 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 231925 0 0 0 120099 66 0 0 25 0 4 0 524234159 1071607808 166753 33554432000 4194304 4627427 140736588596800 18446744073709551615 4338468 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32413/tid=32416] ppid=32411 vsize=1046492 CPUtime=1195.08 cores=1,3,5,7
/proc/32413/task/32416/stat : 32416 (strangenight2-m) R 32411 32413 31569 0 -1 4202560 223060 0 0 0 119438 70 0 0 25 0 4 0 524234159 1071607808 166753 33554432000 4194304 4627427 140736588596800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 1046492

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.64
CPU time (s): 4800.1
CPU user time (s): 4797.33
CPU system time (s): 2.76958
CPU usage (%): 399.462
Max. virtual memory (cumulated for all children) (KiB): 1193808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.33
system time used= 2.76958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 910530
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= 468
involuntary context switches= 32825

runsolver used 1.93971 second user time and 4.63729 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-30 03:19:35
IDJOB=3263607
IDBENCH=83988
IDSOLVER=1586
FILE ID=node149/3263607-1304126375
RUNJOBID= node149-1304126375-32391
PBS_JOBID= 13170723
Free space on /tmp= 71924 MiB

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

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

MD5SUM BENCH= 9ffa0325c9e00b41c025f41d20ec5a0c
RANDOM SEED=192668523

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30947944 kB
Buffers:        453976 kB
Cached:        1109152 kB
SwapCached:         60 kB
Active:         164336 kB
Inactive:      1470780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30947944 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           12104 kB
Writeback:          12 kB
AnonPages:       72004 kB
Mapped:          15324 kB
Slab:           305156 kB
PageTables:       4600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   273876 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= 71928 MiB
End job on node149 at 2011-04-30 03:39:38