Trace number 3366832

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 (fixed)? (TO) 4800.2 1203.05

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
MD5SUMe826117d87949a5b285e72732bfa395b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables870
Number of clauses69964
Sum of the clauses size140740
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 269935
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 529

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366832-1305415677.cnf'
0.00/0.01	c -- header says num vars:            870
0.00/0.01	c -- header says num clauses:       69964
0.00/0.03	c -- clauses added:            0 learnts,        69964 normals,            0 xors
0.00/0.03	c -- vars added        870
0.00/0.03	c Parsing time:  0.01 s
0.00/0.03	c  N st     0         0       870        29     69935         0    140740         0   no data   no data
0.00/0.03	c asymm  cl-useful: 0/29/29 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.4M 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.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.25/0.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    870 time:  0.00 s
0.25/0.07	c Removed useless bin:       0  fixed:     0  props:   0.35M  time:  0.01 s
0.25/0.09	c lits-rem:       488  cl-subs:        0  v-elim:     29  v-fix:    0  time:  0.01 s
0.25/0.09	c Finding binary XORs  T:     0.00 s  found:       0
0.25/0.09	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.25/0.09	c calculated reachability. Time: 0.00
0.25/0.09	c Calc default polars -  time:   0.00 s pos:     418 undec:      29 neg:     423
0.25/0.09	c =========================================================================================
0.25/0.09	c types(t): F = full restart, N = normal restart
0.25/0.09	c types(t): S = simplification begin/end, E = solution found
0.25/0.09	c restart types(rt): st = static, dy = dynamic
0.25/0.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.25/0.09	c  B st     0         0       841      1382     67712         0    187764         0   no data   no data
3.16/0.83	c  N dy    22      4940       840      1382     67724      4784    187764    380821     12.36     13.21
3.56/0.93	c  N dy    33      8978       840      1382     67726      6321    187764    437120     11.38     15.66
5.15/1.33	c  N dy    43     13088       839      1382     67739      6163    187764    273728     10.68     11.25
7.15/1.80	c  N dy    57     17153       839      1382     67739     10126    187764    682380     10.70     11.51
9.13/2.37	c  N dy    85     21217       839      1382     67739      8626    187764    537963     11.27     16.41
11.55/2.94	c  F st    96     25002       839      1382     67744     12313    187764    875859     11.09      8.17
11.94/3.01	c  N st    97     25252       839      1358     67225     10710    185906    862364     11.09   no data
14.73/3.73	c  N dy   102     30000       839      1358     67225      9580    185906    629343     11.09   no data
14.73/3.73	c  S st   102     30000       839      1358     67225      9580    185906    629343     11.09   no data
15.13/3.80	c  S st   102     30500       839      1358     67225     10078    185906    666532     11.09   no data
15.13/3.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  6.1M T:  0.16
15.53/3.96	c blocked clauses removed:        0 vars:      0 tried:         839 T: 0.00 s
15.53/3.97	c bin-w-bin subsume rem            0 bins  time:  0.01 s
17.14/4.31	c subs with bin:        0  lits-rem:     13188  v-fix:    0  time:  0.34 s
17.14/4.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    839 time:  0.01 s
17.14/4.33	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
17.14/4.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
22.30/5.64	c subs with bin:       25  lits-rem:        54  v-fix:    0  time:  1.28 s
26.34/6.63	c lits-rem:      3488  cl-subs:      890  v-elim:      0  v-fix:    0  time:  0.99 s
27.09/6.80	c asymm  cl-useful: 0/1329/1358 lits-rem:0 time: 0.17
27.09/6.80	c calculated reachability. Time: 0.00
27.09/6.80	c  N dy   102     30500       839      1358     67227      9163    172718    632481     11.09   no data
29.89/7.55	c  N dy   130     34846       835      1358     67231     13409    172718   1055401     11.50     12.28
32.68/8.25	c  N dy   153     39326       835      1358     67233     10558    172718    676605     11.83     12.71
35.48/8.97	c  N dy   163     43427       835      1358     67235     14500    172718    832810     11.62     15.52
37.08/9.36	c  S st   170     45750       835      1358     67239     16771    172718   1021208     11.53     11.68
37.47/9.43	c  S st   170     46255       835      1358     67239      8816    172718    412583     11.53   no data
37.47/9.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.87/9.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.1M T:  0.12
37.87/9.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
37.87/9.56	c bin-w-bin subsume rem            0 bins  time:  0.01 s
39.09/9.84	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  0.28 s
39.09/9.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    835 time:  0.01 s
39.09/9.86	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.01 s
39.09/9.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.25/11.10	c subs with bin:       10  lits-rem:        16  v-fix:    0  time:  1.23 s
45.05/11.31	c lits-rem:       381  cl-subs:      320  v-elim:      0  v-fix:    0  time:  0.21 s
45.05/11.32	c vivif2 --  cl tried     1325 cl shrink        0 lits rem          0 time: 0.00
45.05/11.32	c vivif2 --  cl tried     8073 cl shrink       84 lits rem         88 time: 0.01
45.45/11.45	c asymm  cl-useful: 0/1325/1325 lits-rem:0 time: 0.13
45.45/11.45	c calculated reachability. Time: 0.00
45.45/11.45	c  N dy   170     46255       835      1325     66283      8073    170223    393414     11.53   no data
47.45/12.00	c  N dy   180     50432       835      1325     66300     12173    170223    787286     11.38     12.01
50.64/12.71	c  N dy   195     54436       835      1325     66302     16089    170223   1118511     11.32     11.95
53.83/13.59	c  N dy   205     59122       835      1325     66312     11230    170223    637350     11.18     11.93
56.65/14.24	c  N dy   216     63355       835      1325     66312     15377    170223    998668     11.10     11.71
60.22/15.16	c  N dy   235     67411       835      1325     66314     19319    170223   1365640     11.08     12.43
63.01/15.80	c  S st   252     69382       835      1325     66314     10683    170223    486872     11.17      8.59
63.01/15.87	c  S st   252     69886       835      1325     66321     11184    170223    523344     11.17   no data
63.01/15.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
63.81/16.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P:  6.1M T:  0.15
63.81/16.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
63.81/16.03	c bin-w-bin subsume rem            0 bins  time:  0.01 s
65.01/16.31	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.28 s
65.01/16.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    835 time:  0.01 s
65.01/16.33	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.01 s
65.01/16.33	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
70.23/17.62	c subs with bin:       40  lits-rem:        69  v-fix:    0  time:  1.28 s
70.98/17.83	c lits-rem:       240  cl-subs:      250  v-elim:      0  v-fix:    0  time:  0.21 s
70.98/17.83	c vivif2 --  cl tried     1325 cl shrink        0 lits rem          0 time: 0.00
70.98/17.85	c vivif2 --  cl tried    10894 cl shrink      176 lits rem        218 time: 0.01
71.79/18.01	c asymm  cl-useful: 1/1325/1325 lits-rem:1 time: 0.17
71.79/18.02	c calculated reachability. Time: 0.00
71.79/18.02	c  N dy   252     69886       835      1325     66325     10894    170209    518282     11.17   no data
74.62/18.77	c  N dy   267     74651       835      1325     66326     15487    170209    878958     11.11     11.77
79.00/19.81	c  N dy   289     79627       835      1325     66337     20331    170209   1264801     11.10     11.84
83.40/20.91	c  N dy   301     84965       835      1325     66347     13904    170209    643593     11.01     11.63
84.96/21.36	c  F st   307     87502       835      1325     66349     16355    170209    809457     10.95   no data
87.78/22.04	c  N st   312     90799       834      1325     66352     19495    170209   1011607     10.95   no data
92.93/23.39	c  N dy   322     97161       834      1325     66354     13132    170209    511614     10.88     11.64
97.32/24.48	c  N dy   354    103851       834      1325     66355     19608    170209    883108     10.88     11.53
98.11/24.65	c  S st   356    104829       834      1325     66355     20541    170209    918427     10.86      9.18
98.51/24.74	c  S st   356    105329       834      1325     66355     21041    170209    952531     10.86   no data
98.51/24.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
99.32/24.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  8.5M T:  0.22
99.32/24.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
99.32/24.98	c bin-w-bin subsume rem            0 bins  time:  0.01 s
100.54/25.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.28 s
100.54/25.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    834 time:  0.01 s
100.54/25.27	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
100.54/25.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
106.10/26.60	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  1.29 s
111.69/28.00	c lits-rem:      2044  cl-subs:     1395  v-elim:      0  v-fix:    0  time:  1.39 s
111.69/28.00	c vivif2 --  cl tried     1325 cl shrink        0 lits rem          0 time: 0.00
111.69/28.02	c vivif2 --  cl tried    18485 cl shrink      333 lits rem        406 time: 0.02
112.49/28.26	c asymm  cl-useful: 0/1292/1325 lits-rem:0 time: 0.24
112.49/28.26	c calculated reachability. Time: 0.00
112.49/28.26	c  N dy   356    105329       834      1325     66085     18485    169679    906770     10.86   no data
119.67/30.00	c  N dy   382    113027       834      1325     66111     12976    169679    491898     10.81     11.44
124.86/31.32	c  N dy   413    120917       833      1325     66125     20582    169679    975087     10.84     11.51
132.44/33.28	c  N dy   441    129282       833      1325     66131     14501    169679    529158     10.84     11.59
138.42/34.74	c  N dy   468    138348       833      1325     66136     23282    169679   1012651     10.75     11.36
147.20/36.93	c  N dy   489    149275       832      1325     66158     18519    169678    663027     10.65     11.23
153.98/38.60	c  S st   548    157994       832      1325     66169     27030    169678   1275504     10.88   no data
154.38/38.72	c  S st   548    158495       832      1325     66169     27527    169678   1311034     10.88   no data
154.38/38.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
155.58/39.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     13 BRemL:     10 BRemN:      0 P: 10.8M T:  0.28
155.58/39.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
155.58/39.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
156.38/39.29	c subs with bin:        1  lits-rem:        14  v-fix:    0  time:  0.27 s
156.38/39.29	c Subs w/ non-existent bins:      0 l-rem:     10 v-fix:     0 done:    832 time:  0.01 s
156.78/39.30	c Removed useless bin:      45  fixed:     0  props:   0.32M  time:  0.01 s
156.78/39.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
162.40/40.75	c subs with bin:      266  lits-rem:      5401  v-fix:    0  time:  1.39 s
173.93/43.61	c lits-rem:      4492  cl-subs:     1779  v-elim:      0  v-fix:    0  time:  2.86 s
173.93/43.61	c vivif2 --  cl tried     1324 cl shrink        3 lits rem         10 time: 0.00
173.93/43.64	c vivif2 --  cl tried    23441 cl shrink     3455 lits rem      27084 time: 0.03
174.73/43.89	c asymm  cl-useful: 0/992/1324 lits-rem:0 time: 0.25
174.73/43.90	c calculated reachability. Time: 0.00
174.73/43.90	c  N dy   548    158495       832      1324     65579     23412    168447   1185148     10.88   no data
185.10/46.40	c  N dy   612    168906       830      1324     65599     18258    168447    857063     11.06     11.97
195.48/49.08	c  N dy   677    179709       830      1324     65605     28845    168447   1847991     11.20     15.56
207.85/52.12	c  N dy   716    192035       830      1324     65609     23932    168447   1279778     11.21     11.86
222.22/55.73	c  N dy   759    204332       830      1324     65612     36002    168447   2356269     11.29     18.62
234.98/58.93	c  N dy   841    217741       830      1324     65620     30846    168447   1784564     11.45     12.30
250.94/62.90	c  N dy   873    232906       830      1324     65633     26190    168447   1164655     11.35     12.03
255.33/64.00	c  S st   890    237742       830      1324     65637     30904    168447   1519700     11.33   no data
255.74/64.13	c  S st   890    238245       830      1324     65637     31407    168447   1556797     11.33   no data
255.74/64.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
257.33/64.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 12.9M T:  0.38
257.33/64.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
257.33/64.52	c bin-w-bin subsume rem           14 bins  time:  0.01 s
258.13/64.80	c subs with bin:        0  lits-rem:        20  v-fix:    0  time:  0.28 s
258.55/64.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    830 time:  0.01 s
258.55/64.81	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
258.55/64.83	c lits-rem:         4  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
264.51/66.33	c subs with bin:        5  lits-rem:       123  v-fix:    0  time:  1.45 s
279.67/70.14	c lits-rem:      2856  cl-subs:     1539  v-elim:      0  v-fix:    0  time:  3.81 s
279.67/70.14	c vivif2 --  cl tried     1305 cl shrink        0 lits rem          0 time: 0.00
279.67/70.17	c vivif2 --  cl tried    28424 cl shrink     1428 lits rem       1821 time: 0.04
280.90/70.43	c asymm  cl-useful: 0/890/1305 lits-rem:0 time: 0.26
280.90/70.44	c calculated reachability. Time: 0.00
280.90/70.44	c  N dy   890    238245       830      1305     65211     28423    167387   1497615     11.33   no data
297.23/74.50	c  N dy   918    253575       829      1305     65234     23613    167387   1020981     11.22     11.85
316.03/79.27	c  N dy   987    270548       829      1305     65250     40131    167387   2250480     11.25     11.84
333.94/83.79	c  N dy  1036    288833       829      1305     65258     36943    167387   1974075     11.19     11.93
352.69/88.43	c  F st  1101    306250       829      1305     65266     31761    167387   1630705     11.20      7.33
354.29/88.84	c  N st  1104    307440       829      1305     65009     32001    166887   1694669     11.20   no data
377.47/94.65	c  N dy  1164    327186       829      1305     65015     28413    166887   1307616     11.19     11.82
403.81/101.28	c  N dy  1237    348239       829      1305     65023     24844    166887    972757     11.21     11.85
412.59/103.48	c  S st  1270    357369       829      1305     65028     33789    166887   1682787     11.20   no data
413.34/103.63	c  S st  1270    357872       829      1305     65028     34292    166887   1722044     11.20   no data
413.34/103.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
414.94/104.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P: 14.6M T:  0.41
414.94/104.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
414.94/104.05	c bin-w-bin subsume rem            0 bins  time:  0.01 s
416.15/104.33	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.27 s
416.15/104.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    829 time:  0.01 s
416.15/104.34	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.01 s
416.15/104.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
422.12/105.81	c subs with bin:      382  lits-rem:       605  v-fix:    0  time:  1.41 s
439.28/110.18	c lits-rem:      2687  cl-subs:     1199  v-elim:      0  v-fix:    0  time:  4.37 s
439.28/110.18	c vivif2 --  cl tried     1305 cl shrink        0 lits rem          0 time: 0.00
439.68/110.22	c vivif2 --  cl tried    32711 cl shrink     1213 lits rem       1403 time: 0.04
440.48/110.49	c asymm  cl-useful: 0/826/1305 lits-rem:0 time: 0.27
440.48/110.49	c calculated reachability. Time: 0.00
440.48/110.49	c  N dy  1270    357872       829      1305     65033     32710    166875   1685068     11.20   no data
470.81/118.03	c  N dy  1337    377935       828      1305     65057     26980    166875   1107769     11.19     12.44
495.56/124.26	c  N dy  1385    398115       828      1305     65064     46567    166875   2493191     11.13     11.82
523.07/131.11	c  N dy  1464    418244       828      1305     65078     39946    166875   1885186     11.15     11.76
549.81/137.87	c  N dy  1528    438350       827      1305     65096     32332    166875   1237069     11.13     11.79
573.36/143.78	c  N dy  1583    458412       827      1305     65110     51884    166875   2669564     11.09     13.51
594.11/148.90	c Finding binary XORs  T:     0.00 s  found:       0
597.29/149.70	c  N dy  1661    478973       827      1285     64669     42730    165733   1902335     11.10     11.73
624.43/156.55	c  N dy  1744    500687       826      1285     64691     35062    165733   1290121     11.08     11.71
649.18/162.77	c  N dy  1825    520764       826      1285     64710     54565    165733   2592477     11.09     11.74
669.52/167.85	c  S st  1881    536810       825      1285     64746     40226    165733   1514474     11.09      7.80
669.92/167.98	c  S st  1881    537311       825      1285     64746     40726    165733   1550643     11.09   no data
669.92/167.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
671.91/168.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P: 14.7M T:  0.42
671.91/168.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
671.91/168.41	c bin-w-bin subsume rem            1 bins  time:  0.01 s
672.71/168.68	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  0.27 s
672.71/168.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    825 time:  0.01 s
672.71/168.69	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.01 s
673.11/168.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
678.70/170.15	c subs with bin:        4  lits-rem:        18  v-fix:    0  time:  1.39 s
689.86/172.97	c lits-rem:      1881  cl-subs:     1161  v-elim:      0  v-fix:    0  time:  2.82 s
689.86/172.97	c vivif2 --  cl tried     1285 cl shrink        0 lits rem          0 time: 0.00
690.26/173.01	c vivif2 --  cl tried    33578 cl shrink     1736 lits rem       2755 time: 0.04
691.06/173.27	c asymm  cl-useful: 0/718/1285 lits-rem:0 time: 0.26
691.06/173.28	c calculated reachability. Time: 0.00
691.06/173.28	c  N dy  1881    537311       825      1285     64181     33575    164727   1406887     11.09   no data
719.41/180.33	c  N dy  1967    558874       824      1285     64197     54525    164727   2861453     11.11     11.85
740.55/185.62	c  N dy  2045    579025       824      1285     64200     46181    164727   2139964     11.12     12.13
769.27/192.80	c  N dy  2143    599658       824      1285     64204     35756    164727   1356741     11.15     11.74
792.41/198.63	c  N dy  2197    619747       824      1285     64209     55290    164727   2654670     11.12     15.32
819.94/205.52	c  N dy  2268    641515       824      1285     64218     44192    164727   1850399     11.11     11.72
849.86/213.01	c  N dy  2356    661611       823      1285     64229     63705    164727   3141832     11.13     20.73
876.60/219.77	c  N dy  2469    681918       823      1285     64232     49870    164727   2183889     11.18     11.82
908.56/227.75	c  N dy  2544    701934       823      1285     64238     69325    164727   3505087     11.18     15.01
931.66/233.59	c  N dy  2626    722552       823      1285     64244     54611    164727   2464419     11.19     11.78
963.59/241.52	c  N dy  2690    742709       823      1285     64252     38300    164727   1306214     11.18     11.79
988.73/247.89	c  N dy  2787    763024       823      1285     64254     58106    164727   2625789     11.20     11.80
1023.44/256.55	c  N dy  2903    783091       823      1285     64259     40682    164727   1410025     11.26     15.16
1049.38/263.04	c  N dy  2999    803676       823      1285     64265     60688    164727   2661570     11.28     11.97
1052.58/263.90	c  S st  3007    805966       823      1285     64265     62924    164727   2807019     11.28   no data
1053.76/264.14	c  S st  3007    806467       823      1285     64265     63424    164727   2836352     11.28   no data
1053.76/264.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1056.57/264.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 23.7M T:  0.72
1056.57/264.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1056.57/264.88	c bin-w-bin subsume rem            3 bins  time:  0.01 s
1057.80/265.15	c subs with bin:        0  lits-rem:        21  v-fix:    0  time:  0.27 s
1057.80/265.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    823 time:  0.01 s
1057.80/265.17	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.01 s
1058.16/265.20	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1064.54/266.80	c subs with bin:       42  lits-rem:       110  v-fix:    0  time:  1.51 s
1110.06/278.22	c lits-rem:      5943  cl-subs:     3342  v-elim:      0  v-fix:    0  time: 11.41 s
1110.06/278.22	c vivif2 --  cl tried     1285 cl shrink        0 lits rem          0 time: 0.00
1110.06/278.29	c vivif2 --  cl tried    58431 cl shrink     3473 lits rem       4883 time: 0.08
1111.23/278.59	c asymm  cl-useful: 0/302/1285 lits-rem:0 time: 0.30
1111.63/278.60	c calculated reachability. Time: 0.00
1111.63/278.60	c  N dy  3007    806467       823      1285     63750     58429    163704   2735076     11.28   no data
1145.17/287.01	c  N dy  3083    826491       823      1285     63769     40735    163704   1452778     11.28     11.99
1170.29/293.34	c  N dy  3137    846830       823      1285     63778     60439    163704   2710706     11.27     12.21
1203.40/301.60	c  N dy  3185    867505       823      1285     63791     42099    163704   1498214     11.24     11.84
1231.33/308.62	c  N dy  3251    887712       823      1285     63801     61612    163704   2644285     11.23     12.08
1266.85/317.56	c  N dy  3312    907802       822      1285     63816     41604    163704   1387902     11.21     18.72
1293.59/324.25	c  N dy  3384    928742       822      1285     63826     61968    163704   2576166     11.21     11.83
1329.11/333.19	c  N dy  3446    949854       821      1285     63849     41816    163704   1295341     11.19     12.20
1353.04/339.14	c  N dy  3538    969946       821      1285     63851     61433    163704   2654371     11.21     17.37
1388.95/348.12	c  N dy  3627    990280       821      1285     63861     81219    163704   4090545     11.22     11.83
1416.48/355.06	c  N dy  3723   1011040       821      1285     63869     59637    163704   2490442     11.24     11.95
1450.40/363.53	c  N dy  3798   1031048       821      1285     63879     79076    163704   3819334     11.24     16.22
1480.32/371.09	c  N dy  3897   1051183       820      1285     63880     55926    163704   2088896     11.26     11.90
1511.45/378.88	c  N dy  3980   1071192       820      1285     63884     75351    163704   3333099     11.27     11.94
1513.45/379.40	c  F st  3987   1071876       820      1285     63884     76019    163704   3363151     11.27   no data
1544.17/387.06	c  N dy  4059   1091208       820      1272     63091     48155    162078   1751529     11.28     12.17
1573.29/394.30	c  N dy  4158   1111225       820      1272     63092     67689    162078   3119620     11.31     22.62
1613.99/404.53	c  N dy  4247   1131521       820      1272     63099     44123    162078   1394719     11.32     11.93
1639.13/410.82	c  N dy  4336   1151605       820      1272     63104     63642    162078   2651801     11.33     17.69
1677.43/420.44	c  N dy  4439   1171854       820      1272     63110     83272    162078   3969949     11.35     11.97
1710.16/428.61	c  N dy  4522   1192763       820      1272     63115     58700    162078   2309724     11.36     12.05
1739.28/435.92	c  S st  4599   1209700       820      1272     63121     75183    162078   3356065     11.37   no data
1740.08/436.17	c  S st  4599   1210204       820      1272     63121     75687    162078   3398008     11.37   no data
1740.08/436.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1744.07/437.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 26.8M T:  0.94
1744.07/437.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1744.07/437.13	c bin-w-bin subsume rem            1 bins  time:  0.01 s
1744.86/437.39	c subs with bin:        0  lits-rem:        13  v-fix:    0  time:  0.26 s
1745.26/437.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    820 time:  0.01 s
1745.26/437.41	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.01 s
1745.26/437.44	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1751.64/439.08	c subs with bin:       97  lits-rem:       659  v-fix:    0  time:  1.55 s
1788.76/448.33	c lits-rem:      4027  cl-subs:     5049  v-elim:      0  v-fix:    0  time:  9.25 s
1788.76/448.33	c vivif2 --  cl tried     1272 cl shrink        0 lits rem          0 time: 0.00
1789.16/448.43	c vivif2 --  cl tried    70541 cl shrink     5353 lits rem       9127 time: 0.10
1790.37/448.78	c asymm  cl-useful: 0/417/1272 lits-rem:0 time: 0.35
1790.37/448.79	c calculated reachability. Time: 0.00
1790.37/448.79	c  N dy  4599   1210204       820      1272     63122     70540    162064   3300728     11.37   no data
1838.24/460.70	c  N dy  4699   1230275       820      1272     63133     89991    162064   4603326     11.38     17.94
1872.55/469.31	c  N dy  4798   1251383       819      1272     63134     64221    162064   2577448     11.40     12.24
1908.46/478.35	c  N dy  4854   1271468       819      1272     63144     83679    162064   3773990     11.39     21.37
1947.97/488.30	c  N dy  4943   1291482       819      1272     63149     55765    162064   2080307     11.40     12.11
1984.26/497.36	c  N dy  5017   1311989       819      1272     63156     75705    162064   3303855     11.40     12.03
2030.15/508.89	c  N dy  5085   1332028       818      1272     63180     95102    162064   4374234     11.39     12.00
2058.11/515.82	c  N dy  5149   1352614       818      1272     63184     66647    162064   2627664     11.38     12.07
2096.80/525.52	c  N dy  5233   1372834       818      1272     63192     86296    162064   3902427     11.39     12.01
2133.50/534.72	c  N dy  5302   1392917       818      1272     63203     56345    162064   1931887     11.39     19.30
2165.03/542.67	c  N dy  5375   1413689       818      1272     63213     76409    162064   3159288     11.39     12.04
2205.32/552.75	c  N dy  5435   1433884       818      1272     63229     95877    162064   4340817     11.38     12.01
2206.52/553.02	c Finding binary XORs  T:     0.00 s  found:       0
2236.86/560.67	c  N dy  5513   1453947       817      1263     62755     62948    161061   2461787     11.39     12.10
2273.60/569.86	c  N dy  5596   1474032       817      1263     62760     82401    161061   3633256     11.39     18.79
2319.05/581.21	c  N dy  5683   1494388       817      1263     62766     51817    161061   1628487     11.39     12.02
2346.58/588.15	c  N dy  5760   1515231       817      1263     62770     72053    161061   2868331     11.39     12.02
2388.07/598.53	c  N dy  5880   1535513       817      1263     62777     91731    161061   4157932     11.43     12.07
2426.80/608.21	c  N dy  5964   1555604       817      1263     62785     59430    161061   2037561     11.43     19.51
2459.09/616.35	c  N dy  6070   1575711       817      1263     62794     78840    161061   3162359     11.45     12.14
2499.80/626.57	c  N dy  6156   1595716       817      1263     62797     98157    161061   4290557     11.45     12.08
2534.11/635.17	c  N dy  6223   1617257       816      1263     62827     66056    161061   2322304     11.44     12.13
2568.02/643.62	c  N dy  6314   1637667       816      1263     62832     85943    161061   3696364     11.46     12.26
2613.51/655.02	c  N dy  6432   1657737       816      1263     62839    105531    161061   5086342     11.48     23.49
2644.65/662.90	c  N dy  6529   1677819       816      1263     62853     70787    161061   2552004     11.50     24.35
2678.96/671.47	c  N dy  6624   1697871       816      1263     62865     90298    161061   3783406     11.51     12.29
2704.49/677.87	c  S st  6684   1710204       816      1263     62867    102363    161061   4566272     11.52   no data
2706.09/678.26	c  S st  6684   1710706       816      1263     62874    102863    161061   4600087     11.52   no data
2706.09/678.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2711.27/679.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 33.4M T:  1.24
2711.27/679.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2711.27/679.52	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2712.09/679.78	c subs with bin:        0  lits-rem:        33  v-fix:    0  time:  0.26 s
2712.09/679.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    816 time:  0.01 s
2712.09/679.79	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
2712.50/679.84	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
2720.06/681.72	c subs with bin:        6  lits-rem:       115  v-fix:    0  time:  1.73 s
2781.10/697.05	c lits-rem:      6012  cl-subs:     6557  v-elim:      0  v-fix:    0  time: 15.33 s
2781.10/697.05	c vivif2 --  cl tried     1263 cl shrink        0 lits rem          0 time: 0.00
2781.50/697.20	c vivif2 --  cl tried    89757 cl shrink     8722 lits rem      12881 time: 0.14
2783.10/697.56	c asymm  cl-useful: 0/251/1263 lits-rem:0 time: 0.36
2783.10/697.56	c calculated reachability. Time: 0.00
2783.10/697.56	c  N dy  6684   1710706       816      1263     62315     89752    160075   4356189     11.52   no data
2823.79/707.77	c  N dy  6750   1730730       815      1263     62346     57166    160075   1960998     11.52     12.29
2854.91/715.54	c  N dy  6807   1751441       815      1263     62351     77246    160075   3352576     11.51     12.12
2902.80/727.57	c  N dy  6880   1772134       815      1263     62369     97268    160075   4696225     11.51     12.19
2947.08/738.69	c  N dy  6976   1792161       814      1263     62375     62138    160075   2187084     11.52     19.44
2983.00/747.61	c  N dy  7069   1812797       814      1263     62379     82157    160075   3497000     11.53     12.26
3031.68/759.82	c  N dy  7165   1833692       814      1263     62389    102403    160075   4776964     11.53     13.37
3073.57/770.34	c  N dy  7254   1853848       814      1263     62393     65539    160075   2323743     11.54     12.18
3108.29/779.02	c  N dy  7316   1874290       814      1263     62394     85412    160075   3600257     11.54     12.17
3153.77/790.41	c  N dy  7397   1894333       814      1263     62403    104798    160075   4821443     11.54     14.79
3196.47/801.17	c  N dy  7496   1914374       814      1263     62406     66520    160075   2316399     11.56     16.14
3231.18/809.81	c  N dy  7580   1934746       814      1263     62412     86244    160075   3541144     11.56     12.29
3274.32/820.63	c  N dy  7661   1954822       814      1263     62420    105607    160075   4760781     11.56     12.38
3315.78/831.01	c  N dy  7723   1974825       814      1263     62429     66063    160075   2149459     11.56     12.26
3346.50/838.71	c  N dy  7786   1994932       814      1263     62433     85595    160075   3334511     11.55     12.57
3396.39/851.28	c  N dy  7856   2019307       814      1263     62438    109122    160075   4707984     11.55     13.08
3436.31/861.22	c  N dy  7935   2039326       814      1263     62445     68584    160075   2226352     11.55     16.99
3471.84/870.11	c  N dy  7995   2061067       814      1263     62459     89618    160075   3405491     11.54     12.18
3517.28/881.51	c  N dy  8065   2081519       813      1263     62482    109304    160075   4450982     11.53     12.16
3556.38/891.36	c  N dy  8148   2101533       813      1263     62493     67820    160075   2111020     11.53     12.41
3589.50/899.67	c  N dy  8245   2121626       813      1263     62498     87300    160075   3274320     11.54     12.29
3634.23/910.81	c  N dy  8335   2141973       812      1263     62510    107010    160075   4449444     11.55     12.33
3683.66/923.24	c  N dy  8450   2162177       812      1263     62516     64647    160075   1848315     11.56     12.28
3713.24/930.66	c  N dy  8532   2182565       812      1263     62524     84341    160075   2949205     11.56     12.18
3753.09/940.66	c  N dy  8604   2203218       812      1263     62527    104219    160075   4058198     11.56     12.52
3771.05/945.17	c  S st  8635   2210709       812      1263     62530    111422    160075   4436194     11.56   no data
3772.65/945.51	c  S st  8635   2211214       812      1263     62530    111924    160075   4466780     11.56   no data
3772.65/945.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3777.44/946.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P: 35.0M T:  1.27
3777.84/946.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3777.84/946.80	c bin-w-bin subsume rem            6 bins  time:  0.01 s
3778.65/947.06	c subs with bin:        0  lits-rem:        15  v-fix:    0  time:  0.25 s
3778.65/947.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    812 time:  0.01 s
3778.65/947.07	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
3779.07/947.12	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3786.62/949.07	c subs with bin:      133  lits-rem:      1153  v-fix:    0  time:  1.81 s
3850.45/965.09	c lits-rem:     15171  cl-subs:     8457  v-elim:      0  v-fix:    0  time: 16.02 s
3850.45/965.09	c vivif2 --  cl tried     1250 cl shrink        0 lits rem          0 time: 0.00
3851.26/965.29	c vivif2 --  cl tried    93747 cl shrink    11828 lits rem      22308 time: 0.19
3852.86/965.66	c asymm  cl-useful: 0/183/1250 lits-rem:0 time: 0.37
3852.86/965.67	c calculated reachability. Time: 0.00
3852.86/965.67	c  N dy  8635   2211214       812      1250     61516     93729    157995   4129626     11.56   no data
3905.52/978.87	c  N dy  8714   2231216       811      1250     61541    113086    157995   5297146     11.57     12.28
3943.03/988.21	c  N dy  8818   2251314       811      1250     61546     74707    157995   2820836     11.58     12.22
3984.94/998.79	c  N dy  8919   2271397       811      1250     61554     94087    157995   4065746     11.59     12.45
4037.61/1011.95	c  N dy  9013   2291409       811      1250     61559    113475    157995   5271515     11.60     16.09
4081.50/1022.97	c  N dy  9095   2311451       811      1250     61572     71565    157995   2485040     11.60     16.82
4120.59/1032.71	c  N dy  9178   2331464       811      1250     61581     90971    157995   3650387     11.60     12.40
4146.93/1039.37	c Finding binary XORs  T:     0.00 s  found:       0
4167.28/1044.41	c  N dy  9255   2351596       811      1250     61289    105948    157532   4812875     11.61     12.22
4221.96/1058.19	c  N dy  9328   2371945       811      1250     61301     64235    157532   2048867     11.60     12.23
4256.66/1066.80	c  N dy  9426   2392185       810      1250     61316     83887    157532   3339868     11.61     12.61
4300.54/1077.85	c  N dy  9485   2412686       810      1250     61321    103816    157532   4657072     11.60     12.23
4357.21/1092.01	c  N dy  9575   2433309       810      1250     61333    123918    157532   6053016     11.61     12.37
4397.11/1102.01	c  N dy  9662   2453405       810      1250     61348     79271    157532   2949402     11.62     15.19
4439.80/1112.71	c  N dy  9781   2473437       810      1250     61358     98736    157532   4206103     11.63     12.31
4497.26/1127.18	c  N dy  9883   2495079       810      1250     61374    119733    157532   5559384     11.65     12.34
4550.33/1140.40	c  N dy  9994   2515716       810      1250     61382     73663    157532   2513989     11.66     12.55
4589.43/1150.20	c  N dy 10097   2536079       810      1250     61391     93455    157532   3780023     11.67     12.48
4638.51/1162.53	c  N dy 10225   2556082       810      1250     61409    112913    157532   5052454     11.69     12.38
4699.16/1177.72	c  N dy 10354   2576161       810      1250     61427    132405    157532   6339665     11.71     15.94
4735.07/1186.72	c  N dy 10466   2596350       809      1250     61432     84480    157532   3121292     11.73     12.44
4774.99/1196.74	c  N dy 10550   2616405       809      1250     61445    104016    157532   4329963     11.73     23.61

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: 961)

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-3366832-1305415677/watcher-3366832-1305415677 -o /tmp/evaluation-result-3366832-1305415677/solver-3366832-1305415677 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366832-1305415677.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: 7.45 7.97 7.97 3/307 14736
/proc/meminfo: memFree=12310664/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 653166455 52396032 347 33554432000 4194304 4580107 140733766252000 18446744073709551615 47399045785522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 12792 347 299 95 0 7774 0
[pid=14736/tid=14738] ppid=14732 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653166455 52396032 347 33554432000 4194304 4580107 140733766252000 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653166455 52396032 347 33554432000 4194304 4580107 140733766252000 18446744073709551615 47399045785520 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653166455 52396032 347 33554432000 4194304 4580107 140733766252000 18446744073709551615 47399045785526 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.073482 s]
/proc/loadavg: 7.45 7.97 7.97 3/307 14736
/proc/meminfo: memFree=12310664/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=283708 CPUtime=0.25 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 4326 0 0 0 23 2 0 0 25 0 4 0 653166455 290516992 4150 33554432000 4194304 4580107 140733766252000 18446744073709551615 235594891159 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 70927 4154 373 95 0 65909 0
[pid=14736/tid=14738] ppid=14732 vsize=283708 CPUtime=0.05 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 1025 0 0 0 5 0 0 0 25 0 4 0 653166455 290516992 4155 33554432000 4194304 4580107 140733766252000 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=283708 CPUtime=0.05 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 1150 0 0 0 5 0 0 0 18 0 4 0 653166455 290516992 4155 33554432000 4194304 4580107 140733766252000 18446744073709551615 235594527777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=283708 CPUtime=0.06 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 768 0 0 0 6 0 0 0 18 0 4 0 653166455 290516992 4155 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 283708

[startup+0.104105 s]
/proc/loadavg: 7.45 7.97 7.97 3/307 14736
/proc/meminfo: memFree=12310664/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=283840 CPUtime=0.37 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 5184 0 0 0 35 2 0 0 25 0 4 0 653166455 290652160 5005 33554432000 4194304 4580107 140733766252000 18446744073709551615 235594971679 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 70960 5005 376 95 0 65942 0
[pid=14736/tid=14738] ppid=14732 vsize=283840 CPUtime=0.08 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 1248 0 0 0 8 0 0 0 25 0 4 0 653166455 290652160 5005 33554432000 4194304 4580107 140733766252000 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=283840 CPUtime=0.08 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 1420 0 0 0 8 0 0 0 18 0 4 0 653166455 290652160 5005 33554432000 4194304 4580107 140733766252000 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=283840 CPUtime=0.09 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 818 0 0 0 9 0 0 0 18 0 4 0 653166455 290652160 5005 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 283840

[startup+0.300607 s]
/proc/loadavg: 7.45 7.97 7.97 3/307 14736
/proc/meminfo: memFree=12310664/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=284520 CPUtime=1.16 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 6241 0 0 0 113 3 0 0 25 0 4 0 653166455 291348480 6062 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 71130 6063 376 95 0 66112 0
[pid=14736/tid=14738] ppid=14732 vsize=284520 CPUtime=0.28 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 1502 0 0 0 28 0 0 0 25 0 4 0 653166455 291348480 6063 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=284520 CPUtime=0.28 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 1669 0 0 0 28 0 0 0 18 0 4 0 653166455 291348480 6063 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=284520 CPUtime=0.28 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 1125 0 0 0 28 0 0 0 18 0 4 0 653166455 291348480 6063 33554432000 4194304 4580107 140733766252000 18446744073709551615 235594527429 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284520

[startup+0.700536 s]
/proc/loadavg: 7.45 7.97 7.97 3/307 14736
/proc/meminfo: memFree=12310664/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=288440 CPUtime=2.76 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 8704 0 0 0 273 3 0 0 25 0 4 0 653166455 295362560 6790 33554432000 4194304 4580107 140733766252000 18446744073709551615 4317443 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 72110 6790 376 95 0 67092 0
[pid=14736/tid=14738] ppid=14732 vsize=288440 CPUtime=0.68 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 2129 0 0 0 68 0 0 0 25 0 4 0 653166455 295362560 6790 33554432000 4194304 4580107 140733766252000 18446744073709551615 4296079 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=288440 CPUtime=0.68 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 2289 0 0 0 68 0 0 0 18 0 4 0 653166455 295362560 6790 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=288440 CPUtime=0.68 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 1740 0 0 0 68 0 0 0 18 0 4 0 653166455 295362560 6790 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294185 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 288440

[startup+1.5004 s]
/proc/loadavg: 7.45 7.97 7.97 10/315 14744
/proc/meminfo: memFree=12258972/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=290304 CPUtime=5.95 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 12605 0 0 0 591 4 0 0 25 0 4 0 653166455 297271296 7587 33554432000 4194304 4580107 140733766252000 18446744073709551615 4306048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 72576 7587 376 95 0 67558 0
[pid=14736/tid=14738] ppid=14732 vsize=290304 CPUtime=1.46 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 3032 0 0 0 146 0 0 0 25 0 4 0 653166455 297271296 7587 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=290304 CPUtime=1.48 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 3275 0 0 0 148 0 0 0 19 0 4 0 653166455 297271296 7587 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=290304 CPUtime=1.49 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 2807 0 0 0 148 1 0 0 19 0 4 0 653166455 297271296 7587 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 290304

[startup+3.10111 s]
/proc/loadavg: 7.45 7.97 7.97 10/315 14744
/proc/meminfo: memFree=12250080/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=292376 CPUtime=12.34 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 18710 0 0 0 1229 5 0 0 25 0 4 0 653166455 299393024 8966 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 73094 8966 377 95 0 68076 0
[pid=14736/tid=14738] ppid=14732 vsize=292376 CPUtime=3.05 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 4427 0 0 0 305 0 0 0 25 0 4 0 653166455 299393024 8966 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=292376 CPUtime=3.09 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 4868 0 0 0 308 1 0 0 25 0 4 0 653166455 299393024 8966 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=292376 CPUtime=3.08 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 4451 0 0 0 307 1 0 0 25 0 4 0 653166455 299393024 8966 33554432000 4194304 4580107 140733766252000 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 292376

[startup+6.30055 s]
/proc/loadavg: 7.50 7.97 7.97 9/315 14744
/proc/meminfo: memFree=12189816/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=293628 CPUtime=25.1 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 34807 0 0 0 2503 7 0 0 25 0 4 0 653166455 300675072 21070 33554432000 4194304 4580107 140733766252000 18446744073709551615 4417023 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 73407 21070 379 95 0 68389 0
[pid=14736/tid=14738] ppid=14732 vsize=293628 CPUtime=6.23 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 7557 0 0 0 622 1 0 0 25 0 4 0 653166455 300675072 21070 33554432000 4194304 4580107 140733766252000 18446744073709551615 4413314 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=293628 CPUtime=6.28 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 11220 0 0 0 627 1 0 0 25 0 4 0 653166455 300675072 21070 33554432000 4194304 4580107 140733766252000 18446744073709551615 4412385 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=293628 CPUtime=6.28 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 6469 0 0 0 627 1 0 0 25 0 4 0 653166455 300675072 21070 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 293628

[startup+12.7004 s]
/proc/loadavg: 7.54 7.97 7.97 10/315 14745
/proc/meminfo: memFree=12113080/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=305612 CPUtime=50.64 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 48618 0 0 0 5054 10 0 0 25 0 4 0 653166455 312946688 26461 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 76403 26461 379 95 0 71385 0
[pid=14736/tid=14738] ppid=14732 vsize=305612 CPUtime=12.56 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 11372 0 0 0 1254 2 0 0 25 0 4 0 653166455 312946688 26461 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=305612 CPUtime=12.68 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 13974 0 0 0 1266 2 0 0 25 0 4 0 653166455 312946688 26461 33554432000 4194304 4580107 140733766252000 18446744073709551615 4316717 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=305612 CPUtime=12.68 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 10866 0 0 0 1266 2 0 0 25 0 4 0 653166455 312946688 26462 33554432000 4194304 4580107 140733766252000 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 305612

[startup+25.5012 s]
/proc/loadavg: 7.72 7.99 7.97 10/315 14745
/proc/meminfo: memFree=11988580/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=306176 CPUtime=101.71 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 80596 0 0 0 10153 18 0 0 25 0 4 0 653166455 313524224 41185 33554432000 4194304 4580107 140733766252000 18446744073709551615 4412948 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 76544 41185 378 95 0 71526 0
[pid=14736/tid=14738] ppid=14732 vsize=306176 CPUtime=25.23 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 20558 0 0 0 2519 4 0 0 25 0 4 0 653166455 313524224 41185 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=306176 CPUtime=25.48 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 21001 0 0 0 2545 3 0 0 25 0 4 0 653166455 313524224 41185 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=306176 CPUtime=25.49 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 19120 0 0 0 2545 4 0 0 25 0 4 0 653166455 313524224 41185 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 306176

[startup+51.1007 s]
/proc/loadavg: 7.81 7.99 7.97 9/315 14745
/proc/meminfo: memFree=11907352/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=332472 CPUtime=203.86 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 117017 0 0 0 20360 26 0 0 25 0 4 0 653166455 340451328 50199 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 83118 50199 378 95 0 78100 0
[pid=14736/tid=14738] ppid=14732 vsize=332472 CPUtime=50.58 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 30655 0 0 0 5052 6 0 0 25 0 4 0 653166455 340451328 50199 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=332472 CPUtime=51.07 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 33326 0 0 0 5102 5 0 0 25 0 4 0 653166455 340451328 50199 33554432000 4194304 4580107 140733766252000 18446744073709551615 4391651 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=332472 CPUtime=51.08 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 27435 0 0 0 5101 7 0 0 25 0 4 0 653166455 340451328 50199 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 332472

[startup+102.312 s]
/proc/loadavg: 7.92 7.99 7.97 9/315 14747
/proc/meminfo: memFree=11853504/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=368688 CPUtime=408.2 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 191474 0 0 0 40776 44 0 0 25 0 4 0 653166455 377536512 54292 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 92172 54292 378 95 0 87154 0
[pid=14736/tid=14738] ppid=14732 vsize=368688 CPUtime=101.29 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 50005 0 0 0 10119 10 0 0 25 0 4 0 653166455 377536512 54292 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=368688 CPUtime=102.29 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 53812 0 0 0 10218 11 0 0 25 0 4 0 653166455 377536512 54292 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=368688 CPUtime=102.29 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 42185 0 0 0 10219 10 0 0 25 0 4 0 653166455 377536512 54292 33554432000 4194304 4580107 140733766252000 18446744073709551615 4305296 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.2
Current children cumulated vsize (KiB) 368688

[startup+162.301 s]

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

[pid=14736] ppid=14732 vsize=944884 CPUtime=2562.86 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 655150 0 0 0 256110 176 0 0 25 0 4 0 653166455 967561216 141818 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 236221 141818 378 95 0 231203 0
[pid=14736/tid=14738] ppid=14732 vsize=944884 CPUtime=635.96 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 170435 0 0 0 63553 43 0 0 25 0 4 0 653166455 967561216 141821 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=944884 CPUtime=642.27 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 175202 0 0 0 64185 42 0 0 25 0 4 0 653166455 967561216 141821 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=944884 CPUtime=642.3 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 148913 0 0 0 64187 43 0 0 25 0 4 0 653166455 967561216 141821 33554432000 4194304 4580107 140733766252000 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2562.86
Current children cumulated vsize (KiB) 944884

[startup+702.3 s]
/proc/loadavg: 8.12 8.10 8.02 10/315 14763
/proc/meminfo: memFree=11074008/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=968464 CPUtime=2802.25 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 694341 0 0 0 280036 189 0 0 25 0 4 0 653166455 991707136 152669 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 242116 152669 378 95 0 237098 0
[pid=14736/tid=14738] ppid=14732 vsize=968464 CPUtime=695.36 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 182303 0 0 0 69488 48 0 0 25 0 4 0 653166455 991707136 152669 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=968464 CPUtime=702.26 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 185269 0 0 0 70180 46 0 0 25 0 4 0 653166455 991707136 152669 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=968464 CPUtime=702.29 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 152215 0 0 0 70185 44 0 0 25 0 4 0 653166455 991707136 152669 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.25
Current children cumulated vsize (KiB) 968464

[startup+762.312 s]
/proc/loadavg: 8.09 8.09 8.02 9/315 14765
/proc/meminfo: memFree=11172808/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=959308 CPUtime=3041.69 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 727509 0 0 0 303966 203 0 0 25 0 4 0 653166455 982331392 141437 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 239827 141437 378 95 0 234809 0
[pid=14736/tid=14738] ppid=14732 vsize=959308 CPUtime=754.77 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 188665 0 0 0 75426 51 0 0 25 0 4 0 653166455 982331392 141437 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=959308 CPUtime=762.27 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 189289 0 0 0 76179 48 0 0 25 0 4 0 653166455 982331392 141437 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=959308 CPUtime=762.31 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 163603 0 0 0 76182 49 0 0 25 0 4 0 653166455 982331392 141437 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.69
Current children cumulated vsize (KiB) 959308

[startup+822.301 s]
/proc/loadavg: 8.14 8.10 8.03 10/315 14766
/proc/meminfo: memFree=11073208/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=877084 CPUtime=3281.07 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 768421 0 0 0 327890 217 0 0 25 0 4 0 653166455 898134016 144824 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 219271 144824 378 95 0 214253 0
[pid=14736/tid=14738] ppid=14732 vsize=877084 CPUtime=814.18 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 199806 0 0 0 81364 54 0 0 25 0 4 0 653166455 898134016 144824 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=877084 CPUtime=822.26 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 200461 0 0 0 82174 52 0 0 25 0 4 0 653166455 898134016 144824 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=877084 CPUtime=822.3 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 170813 0 0 0 82179 51 0 0 25 0 4 0 653166455 898134016 144824 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.07
Current children cumulated vsize (KiB) 877084

[startup+882.301 s]
/proc/loadavg: 8.15 8.11 8.03 10/315 14768
/proc/meminfo: memFree=11134544/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=825640 CPUtime=3520.47 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 800794 0 0 0 351816 231 0 0 25 0 4 0 653166455 845455360 144392 33554432000 4194304 4580107 140733766252000 18446744073709551615 4318446 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 206410 144392 378 95 0 201392 0
[pid=14736/tid=14738] ppid=14732 vsize=825640 CPUtime=873.57 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 203030 0 0 0 87302 55 0 0 25 0 4 0 653166455 845455360 144392 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=825640 CPUtime=882.26 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 211251 0 0 0 88169 57 0 0 25 0 4 0 653166455 845455360 144392 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=825640 CPUtime=882.3 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 178106 0 0 0 88176 54 0 0 25 0 4 0 653166455 845455360 144392 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3520.47
Current children cumulated vsize (KiB) 825640

[startup+942.301 s]
/proc/loadavg: 8.10 8.10 8.03 9/315 14769
/proc/meminfo: memFree=11103004/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=876788 CPUtime=3759.88 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 828434 0 0 0 375747 241 0 0 25 0 4 0 653166455 897830912 140205 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 219197 140205 378 95 0 214179 0
[pid=14736/tid=14738] ppid=14732 vsize=876788 CPUtime=932.99 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 210247 0 0 0 93241 58 0 0 25 0 4 0 653166455 897830912 140205 33554432000 4194304 4580107 140733766252000 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=876788 CPUtime=942.26 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 217521 0 0 0 94166 60 0 0 25 0 4 0 653166455 897830912 140205 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=876788 CPUtime=942.31 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 181264 0 0 0 94175 56 0 0 25 0 4 0 653166455 897830912 140205 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.88
Current children cumulated vsize (KiB) 876788

[startup+1002.3 s]
/proc/loadavg: 8.12 8.11 8.04 10/315 14771
/proc/meminfo: memFree=11096260/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=1014560 CPUtime=3999.28 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 854568 0 0 0 399674 254 0 0 25 0 4 0 653166455 1038909440 157502 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 253640 157502 378 95 0 248622 0
[pid=14736/tid=14738] ppid=14732 vsize=1014560 CPUtime=992.39 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 216958 0 0 0 99178 61 0 0 25 0 4 0 653166455 1038909440 157502 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=1014560 CPUtime=1002.25 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 220988 0 0 0 100163 62 0 0 25 0 4 0 653166455 1038909440 157502 33554432000 4194304 4580107 140733766252000 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=1014560 CPUtime=1002.31 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 191921 0 0 0 100170 61 0 0 25 0 4 0 653166455 1038909440 157502 33554432000 4194304 4580107 140733766252000 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3999.28
Current children cumulated vsize (KiB) 1014560

[startup+1062.3 s]
/proc/loadavg: 8.13 8.12 8.04 9/315 14773
/proc/meminfo: memFree=11107776/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=910996 CPUtime=4238.7 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 879506 0 0 0 423607 263 0 0 25 0 4 0 653166455 932859904 155487 33554432000 4194304 4580107 140733766252000 18446744073709551615 4293292 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 227749 155487 378 95 0 222731 0
[pid=14736/tid=14738] ppid=14732 vsize=910996 CPUtime=1051.79 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 223484 0 0 0 105117 62 0 0 25 0 4 0 653166455 932859904 155487 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=910996 CPUtime=1062.25 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 225321 0 0 0 106162 63 0 0 25 0 4 0 653166455 932859904 155487 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=910996 CPUtime=1062.31 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 195679 0 0 0 106168 63 0 0 25 0 4 0 653166455 932859904 155487 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4238.7
Current children cumulated vsize (KiB) 910996

[startup+1122.3 s]
/proc/loadavg: 8.08 8.11 8.04 10/315 14774
/proc/meminfo: memFree=11033732/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=1134820 CPUtime=4478.1 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 908052 0 0 0 447537 273 0 0 25 0 4 0 653166455 1162055680 160250 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 283705 160250 378 95 0 278687 0
[pid=14736/tid=14738] ppid=14732 vsize=1134820 CPUtime=1111.2 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 232550 0 0 0 111055 65 0 0 25 0 4 0 653166455 1162055680 160250 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=1134820 CPUtime=1122.25 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 232345 0 0 0 112159 66 0 0 25 0 4 0 653166455 1162055680 160250 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=1134820 CPUtime=1122.31 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 198903 0 0 0 112167 64 0 0 25 0 4 0 653166455 1162055680 160250 33554432000 4194304 4580107 140733766252000 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4478.1
Current children cumulated vsize (KiB) 1134820

[startup+1182.3 s]
/proc/loadavg: 8.07 8.10 8.04 9/315 14776
/proc/meminfo: memFree=10983732/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=989260 CPUtime=4717.52 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 941365 0 0 0 471465 287 0 0 25 0 4 0 653166455 1013002240 162350 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 247315 162350 378 95 0 242297 0
[pid=14736/tid=14738] ppid=14732 vsize=989260 CPUtime=1170.61 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 243564 0 0 0 116991 70 0 0 25 0 4 0 653166455 1013002240 162350 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=989260 CPUtime=1182.25 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 240723 0 0 0 118156 69 0 0 25 0 4 0 653166455 1013002240 162350 33554432000 4194304 4580107 140733766252000 18446744073709551615 4320448 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=989260 CPUtime=1182.31 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 202243 0 0 0 118165 66 0 0 25 0 4 0 653166455 1013002240 162350 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294462 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4717.52
Current children cumulated vsize (KiB) 989260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.05 8.09 8.04 10/315 14776
/proc/meminfo: memFree=10982608/32950928 swapFree=67111348/67111528
[pid=14736] ppid=14732 vsize=995936 CPUtime=4800.12 cores=1,3,5,7
/proc/14736/stat : 14736 (strangenight2-m) R 14732 14736 14248 0 -1 4202496 955779 0 0 0 479720 292 0 0 25 0 4 0 653166455 1019838464 154410 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14736/statm: 248984 154410 378 95 0 243966 0
[pid=14736/tid=14738] ppid=14732 vsize=995936 CPUtime=1191.1 cores=1,3,5,7
/proc/14736/task/14738/stat : 14738 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 245885 0 0 0 119038 72 0 0 25 0 4 0 653166455 1019838464 154411 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294801 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14736/tid=14740] ppid=14732 vsize=995936 CPUtime=1202.97 cores=1,3,5,7
/proc/14736/task/14740/stat : 14740 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 245538 0 0 0 120226 71 0 0 25 0 4 0 653166455 1019838464 154411 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14736/tid=14742] ppid=14732 vsize=995936 CPUtime=1203.02 cores=1,3,5,7
/proc/14736/task/14742/stat : 14742 (strangenight2-m) R 14732 14736 14248 0 -1 4202560 206851 0 0 0 120234 68 0 0 25 0 4 0 653166455 1019838464 154411 33554432000 4194304 4580107 140733766252000 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 995936

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): 1203.05
CPU time (s): 4800.2
CPU user time (s): 4797.24
CPU system time (s): 2.95455
CPU usage (%): 399.004
Max. virtual memory (cumulated for all children) (KiB): 1158664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.24
system time used= 2.95455
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 955782
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= 2537
involuntary context switches= 36094

runsolver used 3.50747 second user time and 8.43272 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-15 01:27:57
IDJOB=3366832
IDBENCH=83986
IDSOLVER=1844
FILE ID=node120/3366832-1305415677
RUNJOBID= node120-1305414471-14624
PBS_JOBID= 13324526
Free space on /tmp= 73508 MiB

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

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

MD5SUM BENCH= e826117d87949a5b285e72732bfa395b
RANDOM SEED=1973342064

node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      12311100 kB
Buffers:        261300 kB
Cached:        3586908 kB
SwapCached:          0 kB
Active:       17371052 kB
Inactive:      2981596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12311100 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           12084 kB
Writeback:           0 kB
AnonPages:    16504180 kB
Mapped:          24404 kB
Slab:           174600 kB
PageTables:      48668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 51550684 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= 73496 MiB
End job on node120 at 2011-05-15 01:48:02