Trace number 3366871

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)SAT 1737.8 435.75

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p15-s2076598.cnf
MD5SUMf5a22d1154b549fd98215f1710a15f46
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.357944
Satisfiable
(Un)Satisfiability was proved
Number of variables545
Number of clauses29734
Sum of the clauses size59963
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 229709
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 525

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-3366871-1305433953.cnf'
0.00/0.01	c -- header says num vars:            545
0.00/0.01	c -- header says num clauses:       29734
0.00/0.02	c -- clauses added:            0 learnts,        29734 normals,            0 xors
0.00/0.02	c -- vars added        545
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       545        25     29709         0     59963         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/25/25 lits-rem:0 time: 0.00
0.00/0.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
0.00/0.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    545 time:  0.00 s
0.00/0.03	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.00 s
0.00/0.32	c lits-rem:        66  cl-subs:        0  v-elim:     25  v-fix:    0  time:  0.00 s
0.00/0.32	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.32	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.32	c calculated reachability. Time: 0.00
0.00/0.32	c Calc default polars -  time:   0.00 s pos:       0 undec:      25 neg:     520
0.00/0.32	c =========================================================================================
0.00/0.32	c types(t): F = full restart, N = normal restart
0.00/0.32	c types(t): S = simplification begin/end, E = solution found
0.00/0.32	c restart types(rt): st = static, dy = dynamic
0.00/0.32	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.32	c  B st     0         0       520       376     28813         0     71750         0   no data   no data
0.00/0.32	c  N dy    12      4030       520       376     28813      3867     71750    354970      9.85     10.44
0.00/0.70	c  N dy    39      8078       520       376     28815      5371     71750    455828     11.03     11.66
3.42/0.90	c  N dy    67     12129       520       376     28817      5192     71750    363513     11.75     17.14
4.22/1.14	c  N dy    85     16524       520       376     28819      9414     71750    742542     11.90     12.54
5.57/1.43	c  N dy    96     20613       520       376     28820      7924     71750    568980     11.66     19.87
7.19/1.85	c  F st   115     25003       520       376     28820     12145     71749    941048     11.76     10.41
7.19/1.85	c  N st   115     25003       520       376     28820     12145     71749    941048     11.76     10.41
8.75/2.20	c  N dy   121     30001       520       376     28822     10347     71749    723639     11.76   no data
8.75/2.20	c  S st   121     30001       520       376     28822     10347     71749    723639     11.76   no data
8.75/2.25	c  S st   121     30502       520       376     28822     10845     71749    764813     11.76   no data
8.75/2.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.15/2.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  5.1M T:  0.10
9.15/2.36	c blocked clauses removed:        0 vars:      0 tried:         520 T: 0.00 s
9.15/2.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.45	c subs with bin:        0  lits-rem:       624  v-fix:    0  time:  0.09 s
9.55/2.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    520 time:  0.00 s
9.55/2.46	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.00 s
9.55/2.46	c lits-rem:         9  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.14/3.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.39 s
22.31/5.63	c lits-rem:      1141  cl-subs:      308  v-elim:      0  v-fix:    0  time:  1.75 s
22.31/5.66	c asymm  cl-useful: 0/376/376 lits-rem:0 time: 0.03
22.31/5.66	c calculated reachability. Time: 0.00
22.31/5.66	c  N dy   121     30502       520       376     28825     10537     71116    741235     11.76   no data
24.31/6.14	c  N dy   141     34519       520       376     28830     14385     71116   1086149     11.89     16.77
26.30/6.62	c  N dy   157     39307       520       376     28834     11416     71116    811218     11.78     12.63
27.90/7.07	c  N dy   173     43350       520       376     28834     15289     71116   1176243     11.81     12.52
29.54/7.43	c  S st   188     45753       520       376     28836      9020     71116    542968     11.92     11.58
29.54/7.47	c  S st   188     46256       520       376     28836      9517     71116    580361     11.92   no data
29.54/7.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.89/7.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.5M T:  0.09
29.89/7.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.89/7.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.29/7.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
30.29/7.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    520 time:  0.00 s
30.29/7.66	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.00 s
30.29/7.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
36.27/9.18	c subs with bin:       59  lits-rem:       114  v-fix:    0  time:  1.51 s
37.47/9.48	c lits-rem:       124  cl-subs:       72  v-elim:      0  v-fix:    0  time:  0.30 s
37.47/9.48	c vivif2 --  cl tried      376 cl shrink        0 lits rem          0 time: 0.00
37.47/9.49	c vivif2 --  cl tried     9386 cl shrink      304 lits rem        572 time: 0.01
37.89/9.52	c asymm  cl-useful: 0/376/376 lits-rem:0 time: 0.03
37.89/9.52	c calculated reachability. Time: 0.00
37.89/9.52	c  N dy   188     46256       520       376     28836      9386     71116    573139     11.92   no data
39.46/9.92	c  N dy   202     50275       520       376     28836     13243     71116    889047     11.92     12.68
41.46/10.47	c  N dy   225     54359       520       376     28842     17149     71116   1238880     12.05     12.81
43.84/11.01	c  N dy   247     59218       520       376     28844     12202     71116    745047     12.10     12.77
45.85/11.51	c  N dy   272     63291       520       376     28847     16097     71116   1063197     12.15     13.04
48.24/12.10	c  N dy   297     67338       520       376     28848     19967     71116   1386996     12.27     14.72
49.03/12.36	c  S st   303     69384       520       376     28848     11416     71116    658512     12.24     11.63
49.43/12.41	c  S st   303     69888       520       376     28848     11919     71116    692850     12.24   no data
49.43/12.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.83/12.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.1M T:  0.10
49.83/12.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.83/12.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.23/12.60	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.09 s
50.23/12.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    520 time:  0.00 s
50.23/12.61	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.00 s
50.23/12.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
56.21/14.17	c subs with bin:       21  lits-rem:        28  v-fix:    0  time:  1.54 s
58.61/14.76	c lits-rem:       322  cl-subs:      304  v-elim:      0  v-fix:    0  time:  0.59 s
58.61/14.76	c vivif2 --  cl tried      376 cl shrink        0 lits rem          0 time: 0.00
58.61/14.77	c vivif2 --  cl tried    11594 cl shrink      230 lits rem        298 time: 0.01
59.01/14.80	c asymm  cl-useful: 0/376/376 lits-rem:0 time: 0.03
59.01/14.81	c calculated reachability. Time: 0.00
59.01/14.81	c  N dy   303     69888       520       376     28848     11594     71114    682867     12.24   no data
60.99/15.36	c  N dy   326     74432       520       376     28848     15981     71114   1053602     12.30     14.84
64.63/16.23	c  N dy   355     80565       520       376     28853     21886     71114   1540925     12.41     13.21
67.38/16.90	c  N dy   374     86222       520       376     28854     15772     71114    974380     12.35     13.13
67.78/17.03	c  F st   378     87500       520       376     28854     16985     71114   1062176     12.32   no data
70.97/17.87	c  N dy   384     92696       520       376     28856     21889     71114   1382242     12.32   no data
74.95/18.80	c  N dy   421     98656       520       376     28857     15199     71114    884677     12.41     15.84
78.14/19.60	c  S st   447    104832       520       376     28858     21080     71114   1291244     12.42   no data
78.14/19.68	c  S st   447    105333       520       376     28858     21578     71114   1331289     12.42   no data
78.14/19.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.94/19.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.4M T:  0.19
78.94/19.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.94/19.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.34/19.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
79.34/19.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    520 time:  0.00 s
79.34/19.97	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.00 s
79.34/19.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
86.91/21.85	c subs with bin:       21  lits-rem:       266  v-fix:    0  time:  1.83 s
100.48/25.23	c lits-rem:      1367  cl-subs:      765  v-elim:      0  v-fix:    0  time:  3.38 s
100.48/25.23	c vivif2 --  cl tried      376 cl shrink        0 lits rem          0 time: 0.00
100.48/25.25	c vivif2 --  cl tried    20792 cl shrink      457 lits rem        653 time: 0.02
100.88/25.31	c asymm  cl-useful: 0/376/376 lits-rem:0 time: 0.06
100.88/25.31	c calculated reachability. Time: 0.00
100.88/25.31	c  N dy   447    105333       520       376     28858     20792     71114   1303176     12.42   no data
105.67/26.51	c  N dy   478    112446       520       376     28867     14166     71114    762385     12.46     13.20
108.85/27.34	c  N dy   498    119711       520       376     28871     21065     71114   1252580     12.40     16.18
114.05/28.64	c  N dy   536    127689       520       376     28875     14388     71114    750265     12.44     13.20
118.43/29.70	c  N dy   566    135933       520       376     28876     22289     71114   1389990     12.43     17.16
124.82/31.37	c  N dy   614    144880       520       376     28878     15573     71114    821190     12.55     13.72
129.60/32.53	c  N dy   646    154147       520       376     28884     24406     71114   1487781     12.52     13.41
131.99/33.19	c  S st   663    157999       520       376     28884     28057     71114   1759064     12.54      8.61
132.39/33.29	c  S st   663    158499       520       376     28884     28554     71114   1801973     12.54   no data
132.39/33.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
133.59/33.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 11.0M T:  0.25
133.59/33.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
133.59/33.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
133.98/33.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
133.98/33.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    520 time:  0.00 s
133.98/33.64	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.00 s
133.98/33.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
140.77/35.33	c subs with bin:        6  lits-rem:         0  v-fix:    0  time:  1.63 s
169.92/42.69	c lits-rem:      2486  cl-subs:     1666  v-elim:      0  v-fix:    0  time:  7.36 s
169.92/42.69	c vivif2 --  cl tried      376 cl shrink        0 lits rem          0 time: 0.00
170.27/42.72	c vivif2 --  cl tried    26882 cl shrink     1034 lits rem       1392 time: 0.03
170.67/42.81	c asymm  cl-useful: 0/376/376 lits-rem:0 time: 0.09
170.67/42.81	c calculated reachability. Time: 0.00
170.67/42.81	c  N dy   663    158499       520       376     28886     26881     71114   1752584     12.54   no data
177.05/44.49	c  N dy   708    168690       518       376     28902     20476     71114   1241299     12.65     23.18
185.44/46.56	c  N dy   771    180568       518       376     28902     31919     71114   2145177     12.79     13.53
192.61/48.35	c  N dy   813    192149       518       376     28903     25792     71114   1595359     12.80     23.70
202.98/50.91	c  N dy   884    204509       518       376     28903     19480     71114   1060424     12.99     26.66
214.55/53.85	c  N dy   955    221587       518       376     28907     35803     71114   2205169     13.12     13.93
224.11/56.22	c  N dy  1021    236143       518       376     28912     30582     71114   1730406     13.18     13.96
225.31/56.50	c  S st  1025    237748       518       376     28912     32095     71114   1819641     13.17      8.89
225.71/56.60	c  S st  1025    238253       518       376     28912     32598     71114   1856615     13.17   no data
225.71/56.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
226.54/56.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.9M T:  0.25
226.54/56.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
226.54/56.86	c bin-w-bin subsume rem            1 bins  time:  0.00 s
226.95/56.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
226.95/56.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    518 time:  0.00 s
226.95/56.96	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.00 s
226.95/56.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
233.69/58.69	c subs with bin:        2  lits-rem:        16  v-fix:    0  time:  1.67 s
260.81/65.41	c lits-rem:      3057  cl-subs:     1548  v-elim:      0  v-fix:    0  time:  6.72 s
260.81/65.41	c vivif2 --  cl tried      376 cl shrink        0 lits rem          0 time: 0.00
260.81/65.44	c vivif2 --  cl tried    29772 cl shrink      745 lits rem        893 time: 0.03
261.21/65.52	c asymm  cl-useful: 0/376/376 lits-rem:0 time: 0.08
261.21/65.53	c calculated reachability. Time: 0.00
261.21/65.53	c  N dy  1025    238253       518       376     28500     29772     70389   1780138     13.17   no data
272.77/68.46	c  N dy  1042    254214       518       376     28520     25492     70389   1275319     13.01     13.75
284.73/71.44	c  N dy  1094    271262       517       376     28529     21154     70389   1022448     12.97     13.69
295.91/74.20	c  N dy  1149    288985       517       376     28534     38133     70389   2274422     12.90     13.94
305.92/76.79	c  F st  1184    306251       517       376     28540     32847     70389   1798639     12.82     10.44
307.07/77.03	c  N st  1187    307440       517       376     28346     32227     70032   1820010     12.82   no data
323.47/81.16	c  N dy  1252    327115       517       376     28350     29171     70032   1515468     12.87     17.05
341.02/85.54	c  N dy  1333    349106       517       376     28356     26695     70032   1259329     12.89     13.58
347.35/87.15	c  S st  1349    357379       517       376     28362     34679     70032   1622913     12.83   no data
347.76/87.22	c  S st  1349    357883       517       376     28362     35179     70032   1661738     12.83   no data
347.76/87.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
348.56/87.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P: 10.2M T:  0.25
348.56/87.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
348.56/87.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
348.96/87.57	c subs with bin:        0  lits-rem:        15  v-fix:    0  time:  0.09 s
348.96/87.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    517 time:  0.00 s
348.96/87.58	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.00 s
348.96/87.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
355.33/89.19	c subs with bin:        4  lits-rem:       230  v-fix:    0  time:  1.57 s
378.06/94.84	c lits-rem:      3523  cl-subs:     2527  v-elim:      0  v-fix:    0  time:  5.64 s
378.06/94.84	c vivif2 --  cl tried      376 cl shrink        0 lits rem          0 time: 0.00
378.06/94.88	c vivif2 --  cl tried    32648 cl shrink     3221 lits rem       4202 time: 0.04
378.47/94.99	c asymm  cl-useful: 0/376/376 lits-rem:0 time: 0.11
378.47/94.99	c calculated reachability. Time: 0.00
378.47/94.99	c  N dy  1349    357883       517       376     28370     32644     70017   1593514     12.83   no data
394.41/98.94	c  N dy  1412    378937       516       376     28384     28125     70017   1344547     12.81     13.49
410.37/102.92	c  N dy  1499    400695       516       376     28385     48880     70017   2763165     12.84     13.64
424.37/106.47	c  N dy  1588    420712       516       376     28394     42334     70017   2185057     12.88     16.66
439.08/110.16	c  N dy  1639    441540       515       376     28405     35468     70017   1661179     12.82     13.53
449.85/112.90	c Finding binary XORs  T:     0.00 s  found:       0
455.83/114.30	c  N dy  1712    461579       515       361     28040     49790     69161   2785692     12.80     17.08
470.19/117.99	c  N dy  1788    481658       515       361     28047     43704     69161   2320734     12.81     16.91
487.34/122.27	c  N dy  1871    501826       515       361     28048     35479     69161   1725870     12.83     13.58
507.32/127.21	c  N dy  1980    522768       515       361     28052     55495     69161   2967192     12.87     13.69
516.85/129.68	c  S st  2024    536826       515       361     28061     39892     69161   1930147     12.85     11.15
517.25/129.77	c  S st  2024    537327       515       361     28061     40385     69161   1963061     12.85   no data
517.25/129.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
518.85/130.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 12.7M T:  0.34
518.85/130.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
518.85/130.12	c bin-w-bin subsume rem            1 bins  time:  0.00 s
519.25/130.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
519.25/130.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    515 time:  0.00 s
519.25/130.22	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.00 s
519.25/130.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
526.02/131.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.67 s
559.54/140.31	c lits-rem:      2811  cl-subs:     2475  v-elim:      0  v-fix:    0  time:  8.37 s
559.54/140.31	c vivif2 --  cl tried      361 cl shrink        0 lits rem          0 time: 0.00
559.54/140.35	c vivif2 --  cl tried    37910 cl shrink     1941 lits rem       3086 time: 0.04
560.38/140.53	c asymm  cl-useful: 0/361/361 lits-rem:0 time: 0.18
560.38/140.54	c calculated reachability. Time: 0.00
560.38/140.54	c  N dy  2024    537327       515       361     28060     37910     69161   1912907     12.85   no data
578.67/145.17	c  N dy  2069    557482       514       361     28070     57035     69161   3049306     12.80     13.79
595.82/149.49	c  N dy  2157    578258       514       361     28076     46786     69161   2317685     12.82     13.78
615.77/154.47	c  N dy  2210    598724       514       361     28086     35033     69161   1576474     12.78     13.47
633.32/158.88	c  N dy  2296    619067       513       361     28097     54511     69161   2935122     12.80     13.61
653.65/163.95	c  N dy  2392    639539       513       361     28100     41726     69161   1982102     12.83     13.56
674.02/169.06	c  N dy  2498    659885       513       361     28105     61177     69161   3290333     12.90     13.82
690.74/173.27	c  N dy  2567    680017       513       361     28107     47023     69161   2256901     12.90     13.60
712.28/178.63	c  N dy  2647    700546       513       361     28109     66697     69161   3556892     12.92     13.67
729.03/182.89	c  N dy  2724    720733       513       361     28112     51666     69161   2478178     12.92     13.62
753.40/188.93	c  N dy  2835    740877       513       361     28120     35563     69161   1436106     12.97     13.74
769.72/193.05	c  N dy  2953    760886       513       361     28127     54796     69161   2691152     13.04     13.80
794.04/199.19	c  N dy  3055    780999       513       361     28131     37564     69161   1509917     13.08     13.87
810.79/203.36	c  N dy  3097    801866       513       361     28145     57359     69161   2593968     13.03     13.73
815.97/204.65	c  S st  3112    805990       513       361     28146     61267     69161   2826883     13.03      6.91
816.37/204.78	c  S st  3112    806493       513       361     28146     61766     69161   2859820     13.03   no data
816.37/204.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
818.79/205.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:      0 BRemN:      0 P: 16.7M T:  0.54
818.79/205.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
818.79/205.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
819.21/205.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
819.21/205.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    513 time:  0.00 s
819.21/205.43	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.00 s
819.21/205.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
827.57/207.55	c subs with bin:       29  lits-rem:       179  v-fix:    0  time:  2.02 s
894.54/224.30	c lits-rem:     11428  cl-subs:     5911  v-elim:      0  v-fix:    0  time: 16.75 s
894.54/224.30	c vivif2 --  cl tried      361 cl shrink        0 lits rem          0 time: 0.00
894.54/224.37	c vivif2 --  cl tried    52095 cl shrink     5686 lits rem      12627 time: 0.07
895.74/224.62	c asymm  cl-useful: 0/361/361 lits-rem:0 time: 0.25
895.74/224.62	c calculated reachability. Time: 0.00
895.74/224.62	c  N dy  3112    806493       513       361     27771     52089     68447   2661607     13.03   no data
923.66/231.65	c  N dy  3235    826589       512       361     27787     36120     68447   1594409     13.10     13.79
942.40/236.37	c  N dy  3322    847886       512       361     27789     56588     68447   3107850     13.12     13.84
969.53/243.14	c  N dy  3415    867943       512       361     27791     38517     68447   1743472     13.15     16.93
989.89/248.23	c  N dy  3503    888795       512       361     27796     58531     68447   3133811     13.16     14.17
1018.58/255.48	c  N dy  3578    909313       512       361     27804     39325     68447   1698797     13.16     13.97
1037.32/260.17	c  N dy  3661    929328       512       361     27806     58529     68447   3030512     13.17     19.35
1066.03/267.39	c  N dy  3768    949388       512       361     27816     77735     68447   4350252     13.21     20.81
1086.41/272.48	c  N dy  3845    969427       512       361     27822     57054     68447   2898606     13.22     21.44
1110.70/278.51	c  N dy  3929    989476       512       361     27824     76234     68447   4153051     13.23     13.95
1133.04/284.16	c  N dy  4018   1009537       512       361     27827     54380     68447   2634436     13.24     14.51
1161.75/291.33	c  N dy  4112   1031291       512       361     27829     75251     68447   4012447     13.26     14.31
1186.89/297.62	c  N dy  4182   1051419       512       361     27835     52409     68447   2397863     13.27     14.13
1212.01/303.95	c  F st  4285   1071875       512       361     27838     71974     68447   3652699     13.30     10.54
1212.01/303.97	c  N st  4285   1071875       512       361     27629     70005     68101   3624003     13.30     10.54
1238.33/310.57	c  N dy  4371   1091910       512       361     27637     47026     68101   2087309     13.32     32.43
1250.70/313.66	c Finding binary XORs  T:     0.00 s  found:       0
1258.67/315.64	c  N dy  4453   1112076       512       361     27644     66328     68101   3325713     13.33     14.10
1291.79/323.98	c  N dy  4574   1132157       512       361     27656     85568     68101   4594127     13.38     21.82
1313.71/329.46	c  N dy  4641   1155583       511       361     27658     64414     68101   3203234     13.37     14.09
1348.01/338.07	c  N dy  4748   1179931       511       361     27666     87697     68101   4735289     13.39     14.25
1369.15/343.37	c  N dy  4842   1199962       511       361     27671     62200     68101   2982861     13.41     28.66
1380.34/346.16	c  S st  4891   1209739       511       361     27671     71524     68101   3619800     13.42     10.31
1381.11/346.36	c  S st  4891   1210243       511       361     27671     72025     68101   3653675     13.42   no data
1381.11/346.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1383.92/347.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 20.9M T:  0.70
1383.92/347.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1383.92/347.08	c bin-w-bin subsume rem            2 bins  time:  0.00 s
1384.32/347.16	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.09 s
1384.32/347.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    511 time:  0.00 s
1384.32/347.17	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
1384.32/347.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1392.28/349.15	c subs with bin:        1  lits-rem:        73  v-fix:    0  time:  1.86 s
1444.53/362.26	c lits-rem:      4582  cl-subs:     4249  v-elim:      0  v-fix:    0  time: 13.11 s
1444.53/362.26	c vivif2 --  cl tried      361 cl shrink        0 lits rem          0 time: 0.00
1444.93/362.35	c vivif2 --  cl tried    67283 cl shrink     4547 lits rem       7475 time: 0.08
1446.15/362.69	c asymm  cl-useful: 0/349/361 lits-rem:0 time: 0.34
1446.15/362.69	c calculated reachability. Time: 0.00
1446.15/362.69	c  N dy  4891   1210243       511       361     27486     67282     67766   3554543     13.42   no data
1478.43/370.76	c  N dy  4943   1230275       511       361     27503     86289     67766   4679838     13.41     19.50
1507.15/377.90	c  N dy  5035   1250303       510       361     27504     60086     67766   2946300     13.43     20.25
1538.28/385.75	c  N dy  5165   1270317       510       361     27506     79301     67766   4199176     13.48     14.23
1567.37/393.01	c  N dy  5254   1290580       510       361     27507     51986     67766   2319113     13.50     14.46
1589.30/398.56	c  N dy  5301   1310675       510       361     27509     71186     67766   3596842     13.48     14.58
1620.42/406.35	c  N dy  5406   1331444       510       361     27512     90977     67766   4778571     13.51     14.31
1645.53/412.66	c  N dy  5513   1352046       510       361     27512     63101     67766   3007158     13.54     14.38
1675.45/420.16	c  N dy  5643   1372090       510       361     27514     82334     67766   4217175     13.59     15.39
1705.00/427.55	c  N dy  5717   1392518       510       361     27515     53130     67766   2322149     13.59     14.38
1726.51/432.99	c  N dy  5811   1412536       510       361     27515     72258     67766   3602575     13.61     14.66
1737.67/435.72	c  E dy  5843   1420827         0       361     27516     80157     67766   4114511     13.62      8.36
1737.67/435.72	c Verified 361 clauses.
1737.67/435.72	c Solution needs extension. Extending.
1737.67/435.72	c Verified 361 clauses.
1737.67/435.72	c Following stats are for *FIRST FINISHED THREAD ONLY*
1737.67/435.72	c num threads              : 4          
1737.67/435.72	c restarts                 : 5843       
1737.67/435.72	c dynamic restarts         : 5813       
1737.67/435.72	c static restarts          : 30         
1737.67/435.72	c full restarts            : 4          
1737.67/435.72	c total simplify time      : 0.03       
1737.67/435.72	c learnts DL2              : 0          
1737.67/435.72	c learnts size 2           : 30174      
1737.67/435.72	c learnts size 1           : 10          (1.83      % of vars)
1737.67/435.72	c filedLit time            : 2.84        (0.65      % time)
1737.67/435.72	c v-elim SatELite          : 25          (4.59      % vars)
1737.67/435.72	c SatELite time            : 63.74       (14.64     % time)
1737.67/435.72	c v-elim xor               : 0           (0.00      % vars)
1737.67/435.72	c xor elim time            : 0.05        (0.01      % time)
1737.67/435.72	c num binary xor trees     : 0          
1737.67/435.72	c binxor trees' crown      : 0           (nan       leafs/tree)
1737.67/435.72	c bin xor find time        : 0.00       
1737.67/435.72	c OTF clause improved      : 61777       (0.04      clauses/conflict)
1737.67/435.72	c OTF impr. size diff      : 68170       (1.10       lits/clause)
1737.67/435.72	c OTF cl watch-shrink      : 1146488     (0.81      clauses/conflict)
1737.67/435.72	c OTF cl watch-sh-lit      : 17043364    (14.87      lits/clause)
1737.67/435.72	c tried to recurMin cls    : 322530      (22.70      % of conflicts)
1737.67/435.72	c updated cache            : 1487        (0.00       lits/tried recurMin)
1737.67/435.72	c unit cls recevied        : 5           (50.00     % of units)
1737.67/435.72	c unit cls sent            : 3           (30.00     % of units)
1737.67/435.72	c bin cls recevied         : 283        
1737.67/435.72	c bin cls sent             : 161        
1737.67/435.72	c clauses over max glue    : 0           (0.00      % of all clauses)
1737.67/435.72	c conflicts                : 1420827     (3263.59   / sec)
1737.67/435.72	c decisions                : 2080884     (0.10      % random)
1737.67/435.72	c bogo-props               : 35467199589 (81466967.71 / sec)
1737.67/435.72	c conflict literals        : 94687601    (36.81     % deleted)
1737.67/435.72	c Memory used              : 778.98      MB
1737.67/435.72	c single-thread CPU time   : 435.36      s
1737.67/435.72	c all-threads sum CPU time : 1736.02     s
1737.67/435.72	s SATISFIABLE
1737.67/435.72	v 1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 544 -545 0

Verifier Data 

OK

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-3366871-1305433953/watcher-3366871-1305433953 -o /tmp/evaluation-result-3366871-1305433953/solver-3366871-1305433953 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366871-1305433953.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.74 5.07 5.40 2/361 24531
/proc/meminfo: memFree=22760172/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 408 0 0 0 1 0 0 0 21 0 4 0 733626000 52396032 348 33554432000 4194304 4580107 140733683410032 18446744073709551615 47587201669042 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 12792 348 299 95 0 7774 0
[pid=24531/tid=24532] ppid=24528 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 733626001 52396032 348 33554432000 4194304 4580107 140733683410032 18446744073709551615 47587201669042 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 733626001 52396032 348 33554432000 4194304 4580107 140733683410032 18446744073709551615 47587201669040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 733626001 52396032 348 33554432000 4194304 4580107 140733683410032 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.163574 s]
/proc/loadavg: 3.74 5.07 5.40 2/361 24531
/proc/meminfo: memFree=22760172/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=289692 CPUtime=3.42 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 10219 0 0 0 341 1 0 0 25 0 4 0 733626000 296644608 5412 33554432000 4194304 4580107 140733683410032 18446744073709551615 4318360 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 72423 5412 376 95 0 67405 0
[pid=24531/tid=24532] ppid=24528 vsize=289692 CPUtime=0.85 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 2552 0 0 0 85 0 0 0 25 0 4 0 733626001 296644608 5412 33554432000 4194304 4580107 140733683410032 18446744073709551615 260905054529 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=289692 CPUtime=0.85 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 2548 0 0 0 85 0 0 0 19 0 4 0 733626001 296644608 5412 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=289692 CPUtime=0.84 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 2164 0 0 0 84 0 0 0 19 0 4 0 733626001 296644608 5412 33554432000 4194304 4580107 140733683410032 18446744073709551615 4342220 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 289692

[startup+0.963226 s]
/proc/loadavg: 3.74 5.07 5.40 2/361 24531
/proc/meminfo: memFree=22760172/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=289824 CPUtime=3.82 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 10690 0 0 0 381 1 0 0 25 0 4 0 733626000 296779776 5883 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 72456 5883 376 95 0 67438 0
[pid=24531/tid=24532] ppid=24528 vsize=289824 CPUtime=0.95 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 2679 0 0 0 95 0 0 0 25 0 4 0 733626001 296779776 5883 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=289824 CPUtime=0.95 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 2667 0 0 0 95 0 0 0 19 0 4 0 733626001 296779776 5884 33554432000 4194304 4580107 140733683410032 18446744073709551615 4341602 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=289824 CPUtime=0.94 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 2261 0 0 0 94 0 0 0 19 0 4 0 733626001 296779776 5884 33554432000 4194304 4580107 140733683410032 18446744073709551615 4316502 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 289824

[startup+1.06321 s]
/proc/loadavg: 3.74 5.07 5.40 2/361 24531
/proc/meminfo: memFree=22760172/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=289956 CPUtime=4.22 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 11200 0 0 0 421 1 0 0 25 0 4 0 733626000 296914944 6393 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 72489 6393 377 95 0 67471 0
[pid=24531/tid=24532] ppid=24528 vsize=289956 CPUtime=1.05 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 2784 0 0 0 105 0 0 0 25 0 4 0 733626001 296914944 6393 33554432000 4194304 4580107 140733683410032 18446744073709551615 4319736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=289956 CPUtime=1.05 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 2802 0 0 0 105 0 0 0 19 0 4 0 733626001 296914944 6393 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=289956 CPUtime=1.04 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 2408 0 0 0 104 0 0 0 19 0 4 0 733626001 296914944 6393 33554432000 4194304 4580107 140733683410032 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 289956

[startup+1.16319 s]
/proc/loadavg: 3.74 5.07 5.40 2/361 24531
/proc/meminfo: memFree=22760172/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=290276 CPUtime=4.62 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 11918 0 0 0 461 1 0 0 25 0 4 0 733626000 297242624 6562 33554432000 4194304 4580107 140733683410032 18446744073709551615 4293273 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 72569 6562 377 95 0 67551 0
[pid=24531/tid=24532] ppid=24528 vsize=290276 CPUtime=1.15 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 2904 0 0 0 115 0 0 0 25 0 4 0 733626001 297242624 6562 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=290276 CPUtime=1.15 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 2922 0 0 0 115 0 0 0 19 0 4 0 733626001 297242624 6562 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=290276 CPUtime=1.14 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 2763 0 0 0 114 0 0 0 19 0 4 0 733626001 297242624 6564 33554432000 4194304 4580107 140733683410032 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 290276

[startup+1.50113 s]
/proc/loadavg: 3.74 5.07 5.40 2/361 24531
/proc/meminfo: memFree=22760172/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=291476 CPUtime=5.97 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 14531 0 0 0 595 2 0 0 25 0 4 0 733626000 298471424 6487 33554432000 4194304 4580107 140733683410032 18446744073709551615 4318294 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 72869 6487 378 95 0 67851 0
[pid=24531/tid=24532] ppid=24528 vsize=291476 CPUtime=1.48 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 3609 0 0 0 148 0 0 0 25 0 4 0 733626001 298471424 6487 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=291476 CPUtime=1.48 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 3729 0 0 0 148 0 0 0 19 0 4 0 733626001 298471424 6487 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=291476 CPUtime=1.48 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 3073 0 0 0 148 0 0 0 20 0 4 0 733626001 298471424 6487 33554432000 4194304 4580107 140733683410032 18446744073709551615 4324382 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 291476

[startup+3.10084 s]
/proc/loadavg: 4.16 5.14 5.42 9/371 24544
/proc/meminfo: memFree=22492212/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=284376 CPUtime=12.33 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 29447 0 0 0 1229 4 0 0 25 0 4 0 733626000 291201024 15289 33554432000 4194304 4580107 140733683410032 18446744073709551615 4413328 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 71094 15289 379 95 0 66076 0
[pid=24531/tid=24532] ppid=24528 vsize=284376 CPUtime=3.09 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 8718 0 0 0 308 1 0 0 25 0 4 0 733626001 291201024 15289 33554432000 4194304 4580107 140733683410032 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=284376 CPUtime=3.09 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 6244 0 0 0 308 1 0 0 25 0 4 0 733626001 291201024 15289 33554432000 4194304 4580107 140733683410032 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=284376 CPUtime=3.05 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 5070 0 0 0 305 0 0 0 25 0 4 0 733626001 291201024 15289 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 284376

[startup+6.31325 s]
/proc/loadavg: 4.16 5.14 5.42 9/371 24544
/proc/meminfo: memFree=22410368/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=312932 CPUtime=25.15 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 43442 0 0 0 2508 7 0 0 25 0 4 0 733626000 320442368 23283 33554432000 4194304 4580107 140733683410032 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 78233 23283 379 95 0 73215 0
[pid=24531/tid=24532] ppid=24528 vsize=312932 CPUtime=6.3 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 10050 0 0 0 628 2 0 0 25 0 4 0 733626001 320442368 23283 33554432000 4194304 4580107 140733683410032 18446744073709551615 4321894 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=312932 CPUtime=6.29 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 13064 0 0 0 628 1 0 0 25 0 4 0 733626001 320442368 23283 33554432000 4194304 4580107 140733683410032 18446744073709551615 4417015 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=312932 CPUtime=6.23 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 9843 0 0 0 622 1 0 0 25 0 4 0 733626001 320442368 23283 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 312932

[startup+12.7011 s]
/proc/loadavg: 4.47 5.19 5.43 9/371 24544
/proc/meminfo: memFree=22337232/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=366732 CPUtime=50.64 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 68738 0 0 0 5053 11 0 0 25 0 4 0 733626000 375533568 42199 33554432000 4194304 4580107 140733683410032 18446744073709551615 4413640 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 91683 42199 379 95 0 86665 0
[pid=24531/tid=24532] ppid=24528 vsize=366732 CPUtime=12.69 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 14995 0 0 0 1266 3 0 0 25 0 4 0 733626001 375533568 42199 33554432000 4194304 4580107 140733683410032 18446744073709551615 4417020 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=366732 CPUtime=12.68 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 17296 0 0 0 1266 2 0 0 25 0 4 0 733626001 375533568 42199 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=366732 CPUtime=12.55 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 21313 0 0 0 1253 2 0 0 25 0 4 0 733626001 375533568 42199 33554432000 4194304 4580107 140733683410032 18446744073709551615 4413356 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 366732

[startup+25.5007 s]
/proc/loadavg: 5.25 5.32 5.47 9/371 24544
/proc/meminfo: memFree=22162388/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=455964 CPUtime=101.68 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 89531 0 0 0 10153 15 0 0 25 0 4 0 733626000 466907136 52971 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 113991 52971 379 95 0 108973 0
[pid=24531/tid=24532] ppid=24528 vsize=455964 CPUtime=25.48 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 19952 0 0 0 2545 3 0 0 25 0 4 0 733626001 466907136 52971 33554432000 4194304 4580107 140733683410032 18446744073709551615 4416737 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=455964 CPUtime=25.48 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 22277 0 0 0 2544 4 0 0 25 0 4 0 733626001 466907136 52971 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=455964 CPUtime=25.19 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 26107 0 0 0 2516 3 0 0 25 0 4 0 733626001 466907136 52971 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 455964

[startup+51.1011 s]
/proc/loadavg: 6.19 5.54 5.54 9/371 24545
/proc/meminfo: memFree=21996376/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=428604 CPUtime=203.78 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 138583 0 0 0 20350 28 0 0 25 0 4 0 733626000 438890496 58424 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294496 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 107151 58424 379 95 0 102133 0
[pid=24531/tid=24532] ppid=24528 vsize=428604 CPUtime=51.09 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 30917 0 0 0 5103 6 0 0 25 0 4 0 733626001 438890496 58424 33554432000 4194304 4580107 140733683410032 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=428604 CPUtime=51.08 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 35097 0 0 0 5102 6 0 0 25 0 4 0 733626001 438890496 58424 33554432000 4194304 4580107 140733683410032 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=428604 CPUtime=50.5 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 37892 0 0 0 5042 8 0 0 25 0 4 0 733626001 438890496 58424 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 428604

[startup+102.301 s]
/proc/loadavg: 7.21 5.92 5.66 9/371 24546
/proc/meminfo: memFree=21760068/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=499540 CPUtime=407.97 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 219915 0 0 0 40751 46 0 0 25 0 4 0 733626000 511528960 85005 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 124885 85005 379 95 0 119867 0
[pid=24531/tid=24532] ppid=24528 vsize=499540 CPUtime=102.29 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 49564 0 0 0 10220 9 0 0 25 0 4 0 733626001 511528960 85005 33554432000 4194304 4580107 140733683410032 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=499540 CPUtime=101.85 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 56130 0 0 0 10175 10 0 0 25 0 4 0 733626001 511528960 85005 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=499540 CPUtime=101.52 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 61262 0 0 0 10137 15 0 0 25 0 4 0 733626001 511528960 85005 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.97
Current children cumulated vsize (KiB) 499540

[startup+162.301 s]

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

/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 108316 0 0 0 22123 28 0 0 25 0 4 0 733626001 588746752 96662 33554432000 4194304 4580107 140733683410032 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 886.56
Current children cumulated vsize (KiB) 574948

[startup+282.301 s]
/proc/loadavg: 8.00 6.88 6.08 9/371 24551
/proc/meminfo: memFree=21435844/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=636596 CPUtime=1125.9 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 459641 0 0 0 112473 117 0 0 25 0 4 0 733626000 651874304 102642 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 159149 102642 379 95 0 154131 0
[pid=24531/tid=24532] ppid=24528 vsize=636596 CPUtime=282.31 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 101934 0 0 0 28207 24 0 0 25 0 4 0 733626001 651874304 102644 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=636596 CPUtime=279.73 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 120739 0 0 0 27941 32 0 0 25 0 4 0 733626001 651874304 102644 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=636596 CPUtime=281.53 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 129227 0 0 0 28119 34 0 0 25 0 4 0 733626001 651874304 102644 33554432000 4194304 4580107 140733683410032 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1125.9
Current children cumulated vsize (KiB) 636596

[startup+342.301 s]
/proc/loadavg: 8.00 7.08 6.19 9/371 24553
/proc/meminfo: memFree=21206980/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=892636 CPUtime=1365.17 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 533918 0 0 0 136375 142 0 0 25 0 4 0 733626000 914059264 129551 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 223159 129551 379 95 0 218141 0
[pid=24531/tid=24532] ppid=24528 vsize=892636 CPUtime=342.3 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 118250 0 0 0 34200 30 0 0 25 0 4 0 733626001 914059264 129551 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=892636 CPUtime=339.02 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 139830 0 0 0 33864 38 0 0 25 0 4 0 733626001 914059264 129551 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=892636 CPUtime=341.52 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 152432 0 0 0 34111 41 0 0 25 0 4 0 733626001 914059264 129551 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1365.17
Current children cumulated vsize (KiB) 892636

[startup+402.314 s]
/proc/loadavg: 8.33 7.32 6.33 10/372 24557
/proc/meminfo: memFree=21049640/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=797388 CPUtime=1604.51 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 601400 0 0 0 160287 164 0 0 25 0 4 0 733626000 816525312 146622 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 199347 146622 379 95 0 194329 0
[pid=24531/tid=24532] ppid=24528 vsize=797388 CPUtime=402.31 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 137729 0 0 0 40194 37 0 0 25 0 4 0 733626001 816525312 146622 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=797388 CPUtime=398.32 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 155871 0 0 0 39791 41 0 0 25 0 4 0 733626001 816525312 146622 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=797388 CPUtime=401.53 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 171719 0 0 0 40105 48 0 0 25 0 4 0 733626001 816525312 146622 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1604.51
Current children cumulated vsize (KiB) 797388

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

[startup+410.3 s]
/proc/loadavg: 8.35 7.36 6.35 9/371 24558
/proc/meminfo: memFree=21117460/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=1017728 CPUtime=1636.36 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 606271 0 0 0 163470 166 0 0 25 0 4 0 733626000 1042153472 141935 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 254432 141935 379 95 0 249414 0
[pid=24531/tid=24532] ppid=24528 vsize=1017728 CPUtime=410.29 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 139341 0 0 0 40991 38 0 0 25 0 4 0 733626001 1042153472 141935 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=1017728 CPUtime=406.22 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 157022 0 0 0 40580 42 0 0 25 0 4 0 733626001 1042153472 141935 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=1017728 CPUtime=409.52 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 172952 0 0 0 40903 49 0 0 25 0 4 0 733626001 1042153472 141935 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1636.36
Current children cumulated vsize (KiB) 1017728

[startup+423.101 s]
/proc/loadavg: 8.35 7.41 6.38 9/371 24558
/proc/meminfo: memFree=21129600/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=870928 CPUtime=1687.44 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 620102 0 0 0 168574 170 0 0 25 0 4 0 733626000 891830272 148352 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 217732 148353 379 95 0 212714 0
[pid=24531/tid=24532] ppid=24528 vsize=870928 CPUtime=423.11 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 143968 0 0 0 42272 39 0 0 25 0 4 0 733626001 891830272 148355 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=870928 CPUtime=418.88 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 161430 0 0 0 41845 43 0 0 25 0 4 0 733626001 891830272 148355 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=870928 CPUtime=422.34 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 177493 0 0 0 42183 51 0 0 25 0 4 0 733626001 891830272 148355 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1687.44
Current children cumulated vsize (KiB) 870928

[startup+429.501 s]
/proc/loadavg: 8.32 7.42 6.39 9/371 24558
/proc/meminfo: memFree=21079668/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=1020056 CPUtime=1712.94 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 626653 0 0 0 171122 172 0 0 25 0 4 0 733626000 1044537344 154175 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 255014 154175 379 95 0 249996 0
[pid=24531/tid=24532] ppid=24528 vsize=1020056 CPUtime=429.5 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 145073 0 0 0 42910 40 0 0 25 0 4 0 733626001 1044537344 154175 33554432000 4194304 4580107 140733683410032 18446744073709551615 4323776 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=1020056 CPUtime=425.2 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 162479 0 0 0 42476 44 0 0 25 0 4 0 733626001 1044537344 154175 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=1020056 CPUtime=428.72 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 178558 0 0 0 42821 51 0 0 25 0 4 0 733626001 1044537344 154175 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1712.94
Current children cumulated vsize (KiB) 1020056

[startup+432.7 s]
/proc/loadavg: 8.32 7.42 6.39 9/371 24558
/proc/meminfo: memFree=21088468/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=1020056 CPUtime=1725.7 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 628764 0 0 0 172397 173 0 0 25 0 4 0 733626000 1044537344 156286 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 255014 156286 379 95 0 249996 0
[pid=24531/tid=24532] ppid=24528 vsize=1020056 CPUtime=432.7 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 145519 0 0 0 43230 40 0 0 25 0 4 0 733626001 1044537344 156286 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=1020056 CPUtime=428.36 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 162902 0 0 0 42792 44 0 0 25 0 4 0 733626001 1044537344 156286 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=1020056 CPUtime=431.92 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 179003 0 0 0 43141 51 0 0 25 0 4 0 733626001 1044537344 156286 33554432000 4194304 4580107 140733683410032 18446744073709551615 4293273 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1725.7
Current children cumulated vsize (KiB) 1020056

[startup+434.301 s]
/proc/loadavg: 8.29 7.43 6.40 9/371 24558
/proc/meminfo: memFree=21077796/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=944972 CPUtime=1732.08 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 631863 0 0 0 173034 174 0 0 25 0 4 0 733626000 967651328 153715 33554432000 4194304 4580107 140733683410032 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 236243 153715 379 95 0 231225 0
[pid=24531/tid=24532] ppid=24528 vsize=944972 CPUtime=434.3 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 147982 0 0 0 43390 40 0 0 25 0 4 0 733626001 967651328 153715 33554432000 4194304 4580107 140733683410032 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=944972 CPUtime=429.93 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 163079 0 0 0 42949 44 0 0 25 0 4 0 733626001 967651328 153715 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=944972 CPUtime=433.52 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 179186 0 0 0 43301 51 0 0 25 0 4 0 733626001 967651328 153715 33554432000 4194304 4580107 140733683410032 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1732.08
Current children cumulated vsize (KiB) 944972

[startup+435.101 s]
/proc/loadavg: 8.29 7.43 6.40 9/371 24558
/proc/meminfo: memFree=21077796/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=797676 CPUtime=1735.28 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 632405 0 0 0 173353 175 0 0 25 0 4 0 733626000 816820224 134515 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 199419 134515 379 95 0 194401 0
[pid=24531/tid=24532] ppid=24528 vsize=797676 CPUtime=435.1 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 148251 0 0 0 43469 41 0 0 25 0 4 0 733626001 816820224 134515 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=797676 CPUtime=430.74 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 163107 0 0 0 43029 45 0 0 25 0 4 0 733626001 816820224 134515 33554432000 4194304 4580107 140733683410032 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=797676 CPUtime=434.32 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 179247 0 0 0 43381 51 0 0 25 0 4 0 733626001 816820224 134515 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1735.28
Current children cumulated vsize (KiB) 797676

[startup+435.501 s]
/proc/loadavg: 8.29 7.43 6.40 9/371 24558
/proc/meminfo: memFree=21147608/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=797676 CPUtime=1736.87 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 632565 0 0 0 173512 175 0 0 25 0 4 0 733626000 816820224 134675 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 199419 134675 379 95 0 194401 0
[pid=24531/tid=24532] ppid=24528 vsize=797676 CPUtime=435.5 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 148331 0 0 0 43509 41 0 0 25 0 4 0 733626001 816820224 134675 33554432000 4194304 4580107 140733683410032 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=797676 CPUtime=431.12 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 163107 0 0 0 43067 45 0 0 25 0 4 0 733626001 816820224 134675 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=797676 CPUtime=434.72 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 179247 0 0 0 43421 51 0 0 25 0 4 0 733626001 816820224 134675 33554432000 4194304 4580107 140733683410032 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1736.87
Current children cumulated vsize (KiB) 797676

[startup+435.701 s]
/proc/loadavg: 8.29 7.43 6.40 9/371 24558
/proc/meminfo: memFree=21147608/32950928 swapFree=65730864/67111528
[pid=24531] ppid=24528 vsize=797676 CPUtime=1737.67 cores=1,3,5,7
/proc/24531/stat : 24531 (strangenight2-m) R 24528 24531 23830 0 -1 4202496 632650 0 0 0 173592 175 0 0 25 0 4 0 733626000 816820224 134760 33554432000 4194304 4580107 140733683410032 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24531/statm: 199419 134760 379 95 0 194401 0
[pid=24531/tid=24532] ppid=24528 vsize=797676 CPUtime=435.7 cores=1,3,5,7
/proc/24531/task/24532/stat : 24532 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 148376 0 0 0 43529 41 0 0 25 0 4 0 733626001 816820224 134760 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24531/tid=24533] ppid=24528 vsize=797676 CPUtime=431.32 cores=1,3,5,7
/proc/24531/task/24533/stat : 24533 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 163107 0 0 0 43087 45 0 0 25 0 4 0 733626001 816820224 134760 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24531/tid=24534] ppid=24528 vsize=797676 CPUtime=434.92 cores=1,3,5,7
/proc/24531/task/24534/stat : 24534 (strangenight2-m) R 24528 24531 23830 0 -1 4202560 179247 0 0 0 43441 51 0 0 25 0 4 0 733626001 816820224 134760 33554432000 4194304 4580107 140733683410032 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1737.67
Current children cumulated vsize (KiB) 797676

Child status: 10
Real time (s): 435.75
CPU time (s): 1737.8
CPU user time (s): 1736.02
CPU system time (s): 1.77873
CPU usage (%): 398.808
Max. virtual memory (cumulated for all children) (KiB): 1086208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1736.02
system time used= 1.77873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 632670
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= 765
involuntary context switches= 6760

runsolver used 1.58376 second user time and 3.56746 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-15 06:32:33
IDJOB=3366871
IDBENCH=88220
IDSOLVER=1844
FILE ID=node116/3366871-1305433953
RUNJOBID= node116-1305433953-24517
PBS_JOBID= 13324608
Free space on /tmp= 73172 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q255-n25-p15-s2076598.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366871-1305433953/watcher-3366871-1305433953 -o /tmp/evaluation-result-3366871-1305433953/solver-3366871-1305433953 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366871-1305433953.cnf

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

MD5SUM BENCH= f5a22d1154b549fd98215f1710a15f46
RANDOM SEED=1105211618

node116.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.826
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.65
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.826
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.15
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.826
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.75
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.826
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.826
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.77
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.826
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.826
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.75
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.826
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:      22760452 kB
Buffers:         82392 kB
Cached:         601872 kB
SwapCached:      12356 kB
Active:        9448708 kB
Inactive:       530732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22760452 kB
SwapTotal:    67111528 kB
SwapFree:     65730864 kB
Dirty:            7380 kB
Writeback:           0 kB
AnonPages:     9293884 kB
Mapped:          15388 kB
Slab:           101004 kB
PageTables:      44148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 82747436 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= 73148 MiB
End job on node116 at 2011-05-15 06:39:49