Trace number 3263697

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.24 1201.76

General information on the benchmark

NameSAT03/handmade/anton/SAT/
SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf
MD5SUM22bbcb4a25a1da66113c240898c75509
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.19197
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses28508
Sum of the clauses size57436
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 228493
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 515

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3263697-1304135468.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:       28508
0.00/0.01	c -- clauses added:            0 learnts,        28508 normals,            0 xors
0.00/0.01	c -- vars added        450
0.00/0.01	c Parsing time:  0.02 s
0.00/0.01	c  N st     0         0       450        15     28493         0     57436         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/15/15 lits-rem:0 time: 0.00
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3.57/0.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.02 s
3.57/0.91	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.01 s
3.57/0.91	c lits-rem:        97  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.01 s
3.57/0.91	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.91	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/0.91	c calculated reachability. Time: 0.00
3.57/0.91	c Calc default polars -  time:   0.00 s pos:     210 undec:      15 neg:     225
3.57/0.91	c =========================================================================================
3.57/0.91	c types(t): F = full restart, N = normal restart
3.57/0.91	c types(t): S = simplification begin/end, E = solution found
3.57/0.91	c restart types(rt): st = static, dy = dynamic
3.57/0.91	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.91	c  B st     0         0       435       299     27759         0     67331         0   no data   no data  --
3.57/0.91	c  N dy    11      4037       435       299     27759      3805     67331    412229     23.05     24.32  --
3.57/0.91	c  N dy    17      9723       435       299     27759      6771     67331    705893     16.78     18.05  --
5.16/1.35	c  N dy    37     14404       435       299     27759      7251     67331    721818     17.30     18.60  --
8.36/2.16	c  N dy    50     20451       435       299     27759      7632     67331    747655     16.33     17.33  --
11.16/2.80	c  F st    72     25000       435       299     27759     11966     67331   1230522     16.43     14.99  --
11.16/2.81	c  N st    72     25000       435       299     27759     11966     67331   1230522     16.43     14.99  --
13.57/3.46	c  N dy    78     30001       435       299     27759     10245     67331   1002619     16.43   no data  --
13.57/3.46	c  S st    78     30001       435       299     27759     10245     67331   1002619     16.43   no data  --
13.94/3.54	c  S st    78     30504       435       299     27759     10746     67331   1036566     16.43   no data  --
13.94/3.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
13.94/3.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.34/3.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.5M T:  0.56
14.75/3.72	c bin-w-bin subsume rem            0 bins  time:  0.02 s
20.34/5.16	c subs with bin:        0  lits-rem:       120  v-fix:    0  time:  5.75 s
20.34/5.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.01 s
20.34/5.17	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.01 s
33.13/8.34	c lits-rem:      2711  cl-subs:      465  v-elim:      0  v-fix:    0  time: 12.68 s
33.13/8.38	c asymm  cl-useful: 189/299/299 lits-rem:1161 time: 0.14
33.13/8.38	c calculated reachability. Time: 0.00
33.13/8.38	c  N dy    78     30504       435       299     27759     10281     66017    985373     16.43   no data  --
36.72/9.25	c  N dy    93     36585       435       299     27759      8554     66017    696288     15.99     16.86  --
39.53/9.91	c  N dy   114     41233       435       299     27759     12958     66017   1227291     16.15     17.19  --
42.31/10.69	c  N dy   140     45407       435       299     27759     16893     66017   1702110     16.46     17.50  --
42.71/10.75	c  S st   143     45757       435       299     27759      8760     66017    690471     16.47     15.53  --
42.71/10.79	c  S st   143     46262       435       299     27759      9260     66017    738676     16.47   no data  --
43.11/10.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
43.11/10.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.51/10.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.1M T:  0.42
43.51/10.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
48.72/12.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.20 s
48.72/12.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.01 s
48.72/12.23	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.01 s
53.89/13.57	c lits-rem:      1237  cl-subs:      307  v-elim:      0  v-fix:    0  time:  5.35 s
53.89/13.57	c vivif2 --  cl tried      299 cl shrink       45 lits rem         45 time: 0.00
53.89/13.58	c vivif2 --  cl tried     8953 cl shrink        0 lits rem          0 time: 0.04
54.29/13.61	c asymm  cl-useful: 2/299/299 lits-rem:2 time: 0.12
54.29/13.61	c calculated reachability. Time: 0.00
54.29/13.61	c  N dy   143     46262       435       299     27759      8953     65898    725137     16.47   no data  --
56.70/14.20	c  N dy   165     50609       435       299     27759     13064     65898   1222667     16.66     17.58  --
60.29/15.17	c  N dy   193     55023       435       299     27759     17241     65898   1736402     16.99     17.88  --
65.09/16.36	c  N dy   206     61699       435       299     27759     14075     65898   1306460     16.60     17.59  --
68.68/17.25	c  N dy   225     65767       435       299     27759     17943     65898   1780824     16.70     26.82  --
71.47/17.95	c  S st   234     69393       435       299     27759     11011     65898    901790     16.67     12.24  --
71.88/18.02	c  S st   234     69896       435       299     27759     11505     65898    945971     16.67   no data  --
71.88/18.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
71.88/18.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
72.67/18.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.5M T:  0.72
72.67/18.23	c bin-w-bin subsume rem            0 bins  time:  0.02 s
78.27/19.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.82 s
78.27/19.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.01 s
78.27/19.69	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.01 s
99.84/25.06	c lits-rem:       654  cl-subs:     6769  v-elim:     10  v-fix:    0  time: 21.39 s
99.84/25.06	c vivif2 --  cl tried      614 cl shrink      371 lits rem       5137 time: 0.01
99.84/25.07	c vivif2 --  cl tried     4766 cl shrink        0 lits rem          0 time: 0.02
100.24/25.12	c asymm  cl-useful: 12/614/614 lits-rem:12 time: 0.22
100.24/25.13	c calculated reachability. Time: 0.00
100.24/25.13	c  N dy   234     69896       425       614     26574      4766     82462    368111     16.67   no data  --
102.63/25.73	c  N dy   244     75550       425       614     26574     10098     82462   1029604     16.38     17.29  --
106.63/26.77	c  N dy   283     80451       425       614     26574     14773     82462   1588284     16.78     40.29  --
112.21/28.13	c  N dy   306     86249       425       614     26574     20204     82462   2220430     16.77     17.72  --
113.41/28.45	c  F st   312     87500       425       614     26574     21385     82462   2374182     16.77     14.30  --
117.01/29.39	c  N dy   318     92695       425       614     26574     15097     82462   1415824     16.77   no data  --
122.21/30.61	c  N dy   345     98649       425       614     26574     20667     82462   2034541     16.82     23.81  --
127.82/32.03	c  S st   370    104845       425       614     26574     14337     82462   1218599     16.78   no data  --
127.82/32.09	c  S st   370    105346       425       614     26574     14834     82462   1265818     16.78   no data  --
127.82/32.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
127.82/32.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
128.60/32.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.9M T:  0.72
129.00/32.31	c bin-w-bin subsume rem            0 bins  time:  0.01 s
135.79/34.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.77 s
135.79/34.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.01 s
135.79/34.01	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s
146.58/36.72	c lits-rem:       950  cl-subs:      600  v-elim:      0  v-fix:    0  time: 10.84 s
146.58/36.73	c vivif2 --  cl tried      614 cl shrink        0 lits rem          0 time: 0.00
146.58/36.74	c vivif2 --  cl tried    14234 cl shrink        0 lits rem          0 time: 0.06
147.38/36.92	c asymm  cl-useful: 4/614/614 lits-rem:4 time: 0.73
147.38/36.92	c calculated reachability. Time: 0.00
147.38/36.92	c  N dy   370    105346       425       614     26574     14234     82458   1222079     16.78   no data  --
153.37/38.46	c  N dy   410    112635       425       614     26574     21140     82458   2060551     16.91     17.96  --
163.35/40.90	c  N dy   427    122850       425       614     26574     17568     82458   1647976     16.65     17.82  --
171.36/42.96	c  N dy   446    131141       425       614     26574     25314     82458   2559227     16.46     17.39  --
182.12/45.67	c  N dy   486    139588       425       614     26574     19189     82458   1777216     16.60     21.88  --
192.11/48.17	c  N dy   510    149091       425       614     26575     28106     82458   2820804     16.42     17.29  --
199.70/50.04	c  S st   539    158019       425       614     26575     21443     82458   1947342     16.36     13.30  --
200.10/50.13	c  S st   539    158525       425       614     26575     21944     82458   1995027     16.36   no data  --
200.10/50.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
200.10/50.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
201.30/50.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.6M T:  1.15
201.30/50.48	c bin-w-bin subsume rem            0 bins  time:  0.02 s
209.29/52.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.95 s
209.29/52.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.01 s
209.29/52.48	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s
235.65/59.00	c lits-rem:      1156  cl-subs:      819  v-elim:      0  v-fix:    0  time: 26.03 s
235.65/59.00	c vivif2 --  cl tried      614 cl shrink        0 lits rem          0 time: 0.00
235.65/59.03	c vivif2 --  cl tried    21125 cl shrink       11 lits rem         11 time: 0.09
236.45/59.27	c asymm  cl-useful: 0/614/614 lits-rem:0 time: 0.97
236.45/59.27	c calculated reachability. Time: 0.00
236.45/59.27	c  N dy   539    158525       425       614     26575     21125     82458   1920566     16.36   no data  --
247.24/61.98	c  N dy   582    168873       425       614     26575     30762     82458   3030682     16.31     17.36  --
256.43/64.28	c  N dy   596    181088       425       614     26575     26174     82458   2316677     16.07     17.30  --
266.81/66.88	c  N dy   634    193008       425       614     26575     20521     82458   1628478     15.95     16.89  --
278.40/69.70	c  N dy   675    205487       425       614     26575     32096     82458   2774048     15.87     16.75  --
291.18/72.96	c  N dy   733    218733       425       614     26576     26809     82458   2320037     15.87     16.75  --
303.96/76.16	c  N dy   766    232811       425       614     26576     21289     82458   1609860     15.75     16.85  --
307.98/77.12	c  S st   783    237787       425       614     26576     25952     82458   2106622     15.74     10.08  --
308.35/77.24	c  S st   783    238287       425       614     26576     26446     82458   2152510     15.74   no data  --
308.35/77.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
308.35/77.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
309.55/77.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.8M T:  1.04
309.55/77.56	c bin-w-bin subsume rem            0 bins  time:  0.01 s
315.55/79.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.91 s
315.55/79.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.01 s
315.55/79.04	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s
343.91/86.12	c lits-rem:      2150  cl-subs:     1983  v-elim:      0  v-fix:    0  time: 28.21 s
343.91/86.12	c vivif2 --  cl tried      614 cl shrink        0 lits rem          0 time: 0.00
343.91/86.15	c vivif2 --  cl tried    24463 cl shrink      217 lits rem        217 time: 0.12
345.10/86.49	c asymm  cl-useful: 3/610/614 lits-rem:3 time: 1.39
345.10/86.49	c calculated reachability. Time: 0.00
345.10/86.49	c  N dy   783    238287       425       614     26576     24463     82455   2081060     15.74   no data  --
366.27/91.70	c  N dy   846    254003       425       614     26576     19571     82455   1461362     15.77     16.75  --
383.05/95.98	c  N dy   924    270399       425       614     26577     34850     82455   3036461     15.82     16.75  --
403.43/101.02	c  N dy   979    288265       425       614     26577     30970     82455   2562461     15.78     16.71  --
423.80/106.15	c  F st  1043    306250       425       614     26577     26323     82455   2022186     15.75     16.15  --
424.60/106.30	c  N st  1045    306876       425       614     26577     26912     82455   2078271     15.75   no data  --
447.77/112.15	c  N dy  1109    326511       425       614     26577     22834     82455   1589036     15.76     16.84  --
468.13/117.26	c  N dy  1198    346638       425       614     26577     41407     82455   3362257     15.78     16.90  --
480.52/120.32	c  S st  1234    357431       425       614     26578     28306     82455   2031151     15.75   no data  --
480.91/120.41	c  S st  1234    357934       425       614     26578     28801     82455   2081094     15.75   no data  --
480.91/120.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
480.91/120.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
482.12/120.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.9M T:  1.20
482.12/120.77	c bin-w-bin subsume rem            0 bins  time:  0.02 s
489.71/122.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.42 s
489.71/122.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.01 s
489.71/122.63	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s
514.09/128.74	c lits-rem:      1336  cl-subs:     1858  v-elim:      0  v-fix:    0  time: 24.35 s
514.09/128.74	c vivif2 --  cl tried      614 cl shrink        0 lits rem          0 time: 0.00
514.09/128.77	c vivif2 --  cl tried    26943 cl shrink      128 lits rem        155 time: 0.12
515.27/129.02	c asymm  cl-useful: 0/599/614 lits-rem:0 time: 1.02
515.27/129.02	c calculated reachability. Time: 0.00
515.27/129.02	c  N dy  1234    357934       425       614     26578     26943     82455   2026224     15.75   no data  --
536.84/134.49	c  N dy  1305    377970       425       614     26579     45576     82455   3916933     15.68     16.57  --
558.44/139.81	c  N dy  1377    398860       425       614     26581     40979     82455   3347427     15.64     16.50  --
580.40/145.37	c  N dy  1456    419045       425       614     26581     34671     82455   2575789     15.64     16.75  --
603.14/151.06	c  N dy  1552    439207       425       614     26582     27304     82455   1797251     15.67     17.24  --
622.32/155.80	c  N dy  1621    459661       425       614     26583     46141     82455   3450302     15.60     16.43  --
641.92/160.76	c  N dy  1679    479710       425       614     26584     37868     82455   2637604     15.55     16.39  --
667.47/167.13	c  N dy  1754    499896       425       614     26587     28701     82455   1798044     15.54     16.62  --
690.64/172.90	c  N dy  1852    520598       425       614     26589     48004     82455   3836265     15.60     16.53  --
715.00/179.07	c  S st  1973    536902       425       614     26589     34528     82455   2350745     15.79   no data  --
715.40/179.19	c  S st  1973    537406       425       614     26589     35021     82455   2397134     15.79   no data  --
715.40/179.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
715.40/179.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
716.99/179.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 11.5M T:  1.30
716.99/179.58	c bin-w-bin subsume rem            0 bins  time:  0.01 s
723.78/181.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.55 s
723.78/181.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.01 s
723.78/181.23	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s
764.95/191.54	c lits-rem:      2439  cl-subs:     3607  v-elim:      0  v-fix:    0  time: 41.13 s
764.95/191.54	c vivif2 --  cl tried      614 cl shrink        0 lits rem          0 time: 0.00
764.95/191.58	c vivif2 --  cl tried    31414 cl shrink     1712 lits rem       4715 time: 0.18
766.13/191.88	c asymm  cl-useful: 1/419/614 lits-rem:1 time: 1.21
766.13/191.88	c calculated reachability. Time: 0.00
766.13/191.88	c  N dy  1973    537406       425       614     26589     31414     82454   2315667     15.79   no data  --
793.69/198.77	c  N dy  2079    557591       425       614     26590     50106     82454   4198245     15.87     16.82  --
824.85/206.58	c  N dy  2185    577877       425       614     26591     39344     82454   2891100     15.98     17.14  --
858.40/214.93	c  N dy  2308    598765       425       614     26591     58716     82454   4787966     16.09     16.97  --
882.37/220.93	c  N dy  2389    618795       425       614     26594     46757     82454   3622837     16.09     20.44  --
920.72/230.50	c  N dy  2512    638893       425       614     26595     33898     82454   2224208     16.24     20.08  --
945.89/236.85	c  N dy  2617    658981       425       614     26595     52570     82454   4025258     16.32     32.80  --
986.63/247.09	c  N dy  2769    679216       425       614     26595     38939     82454   2680236     16.53     18.34  --
1016.58/254.55	c  N dy  2867    699235       425       614     26596     57433     82454   4480604     16.57     26.18  --
1047.35/262.22	c  N dy  2975    719273       425       614     26596     42557     82454   2990715     16.64     40.17  --
1079.70/270.33	c  N dy  3074    739399       425       614     26596     61181     82454   4778208     16.69     18.07  --
1111.68/278.33	c  N dy  3159    759966       425       614     26596     45925     82454   3286728     16.72     18.06  --
1146.41/287.01	c  N dy  3258    780328       425       614     26596     64629     82454   5024595     16.77     17.75  --
1176.77/294.64	c  N dy  3359    800498       425       614     26596     48127     82454   3382231     16.81     17.75  --
1183.95/296.47	c  S st  3381    806109       425       614     26596     53300     82454   3893205     16.81     12.75  --
1184.75/296.64	c  S st  3381    806613       425       614     26596     53796     82454   3938893     16.81   no data  --
1184.75/296.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1184.75/296.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1187.54/297.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 18.7M T:  2.72
1187.95/297.45	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1197.14/299.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  9.20 s
1197.14/299.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.01 s
1197.14/299.76	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s
1412.84/353.79	c lits-rem:      4308  cl-subs:     4809  v-elim:      0  v-fix:    0  time: 215.72 s
1412.84/353.80	c vivif2 --  cl tried      614 cl shrink        1 lits rem          1 time: 0.00
1413.24/353.86	c vivif2 --  cl tried    48987 cl shrink     1318 lits rem       1884 time: 0.27
1414.44/354.20	c asymm  cl-useful: 1/291/614 lits-rem:1 time: 1.33
1414.85/354.20	c calculated reachability. Time: 0.00
1414.85/354.20	c  N dy  3381    806613       425       614     26596     48987     82452   3805981     16.81   no data  --
1454.80/364.28	c  N dy  3497    826665       425       614     26596     67455     82452   5493347     16.90     17.88  --
1484.34/371.64	c  N dy  3589    846670       425       614     26596     50204     82452   3660708     16.93     18.02  --
1513.50/378.93	c  N dy  3629    867478       425       614     26597     69235     82452   5407879     16.86     17.91  --
1540.26/385.66	c  N dy  3693    889062       425       614     26598     52190     82452   3837114     16.83     18.31  --
1576.61/394.78	c  N dy  3789    909146       425       614     26599     70704     82452   5458681     16.87     17.77  --
1606.17/402.15	c  N dy  3873    929200       425       614     26599     51490     82452   3751431     16.88     18.40  --
1648.13/412.64	c  N dy  4006    949246       425       614     26599     70109     82452   5492895     16.98     33.04  --
1678.49/420.29	c  N dy  4055    969314       425       614     26599     49880     82452   3602912     16.94     18.75  --
1712.02/428.69	c  N dy  4142    989326       425       614     26600     68289     82452   5285378     16.95     42.96  --
1751.57/438.50	c  N dy  4253   1009415       425       614     26601     47271     82452   3215875     17.01     24.63  --
1785.92/447.11	c  N dy  4355   1029846       425       614     26603     66159     82452   4856171     17.04     18.08  --
1829.86/458.13	c  N dy  4463   1049945       425       614     26603     44076     82452   2838714     17.09     30.31  --
1860.22/465.71	c  N dy  4555   1070544       425       614     26603     63067     82452   4513461     17.11     18.10  --
1862.62/466.37	c  F st  4563   1071875       425       614     26603     64319     82452   4628933     17.11     12.12  --
1900.96/475.94	c  N dy  4610   1091046       425       614     26603     81803     82452   6172791     17.09     18.27  --
1930.92/483.48	c  N dy  4719   1111515       425       614     26603     59293     82452   3963940     17.13     18.43  --
1974.06/494.28	c  N dy  4844   1132506       425       614     26604     78686     82452   5699760     17.19     18.10  --
2009.21/503.08	c  N dy  4953   1153279       425       614     26604     55367     82452   3552167     17.22     18.41  --
2044.37/511.88	c  N dy  5056   1175160       425       614     26604     75596     82452   5292914     17.26     18.20  --
2076.72/519.99	c  N dy  5141   1195254       425       614     26605     50750     82452   3055588     17.27     24.80  --
2097.89/525.26	c  S st  5223   1209919       425       614     26607     64352     82452   4163984     17.31   no data  --
2098.69/525.47	c  S st  5223   1210424       425       614     26607     64847     82452   4212676     17.31   no data  --
2098.69/525.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2098.69/525.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2101.48/526.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 19.5M T:  2.69
2101.88/526.26	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2110.67/528.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.84 s
2110.67/528.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.01 s
2110.67/528.48	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s
2333.96/584.33	c lits-rem:      4696  cl-subs:     6604  v-elim:      0  v-fix:    0  time: 222.96 s
2333.96/584.34	c vivif2 --  cl tried      614 cl shrink        0 lits rem          0 time: 0.00
2334.36/584.41	c vivif2 --  cl tried    58243 cl shrink     1571 lits rem       3693 time: 0.29
2335.57/584.73	c asymm  cl-useful: 1/353/614 lits-rem:1 time: 1.29
2335.57/584.73	c calculated reachability. Time: 0.00
2335.57/584.73	c  N dy  5223   1210424       425       614     26607     58243     82451   4035808     17.31   no data  --
2373.89/594.36	c  N dy  5312   1230461       425       614     26608     76684     82451   5671823     17.32     18.24  --
2410.64/603.59	c  N dy  5400   1250555       425       614     26609     51275     82451   3189676     17.34     22.61  --
2443.41/611.72	c  N dy  5502   1272096       425       614     26609     71250     82451   4971291     17.37     18.33  --
2491.34/623.73	c  N dy  5588   1292097       425       614     26611     89594     82451   6454888     17.39     33.17  --
2521.29/631.20	c  N dy  5679   1312191       425       614     26612     63045     82451   4100228     17.40     29.13  --
2560.04/640.97	c  N dy  5763   1332399       425       614     26618     81564     82451   5663072     17.41     18.36  --
2601.97/651.40	c  N dy  5854   1353183       425       614     26623     54568     82451   3241428     17.41     18.49  --
2631.53/658.82	c  N dy  5899   1373883       425       614     26625     73484     82451   4666549     17.38     18.42  --
2676.29/670.03	c  N dy  5974   1394196       424       614     26631     92169     82451   6088896     17.38     18.43  --
2700.64/676.13	c  N dy  6043   1414487       424       614     26631     64168     82451   3978647     17.38     18.46  --
2740.19/686.03	c  N dy  6156   1434970       424       614     26631     83195     82451   5690668     17.42     18.45  --
2786.15/697.55	c  N dy  6292   1457134       424       614     26631     55822     82451   3186189     17.48     18.57  --
2818.88/705.79	c  N dy  6378   1478183       424       614     26633     75267     82451   5018330     17.49     18.50  --
2862.42/716.65	c  N dy  6470   1498289       424       614     26633     93841     82451   6713967     17.51     18.60  --
2892.37/724.17	c  N dy  6561   1518296       424       614     26635     63395     82451   3714937     17.52     38.86  --
2931.92/734.04	c  N dy  6680   1538376       424       614     26635     82064     82451   5396788     17.57     30.54  --
2982.65/746.70	c  N dy  6776   1558631       424       614     26636     50780     82451   2545408     17.58     18.52  --
3011.41/753.98	c  N dy  6910   1578792       424       614     26636     69628     82451   4177721     17.65     18.65  --
3046.56/762.79	c  N dy  6987   1598943       424       614     26639     88229     82451   5822932     17.65     19.11  --
3088.50/773.27	c  N dy  7085   1618971       424       614     26639     55811     82451   2974653     17.68     24.22  --
3114.47/779.79	c  N dy  7160   1639021       424       614     26639     74249     82451   4606254     17.68     21.15  --
3152.81/789.37	c  N dy  7237   1659100       424       614     26640     92823     82451   6185832     17.69     26.95  --
3191.56/799.09	c  N dy  7334   1679591       424       614     26640     59958     82451   3256522     17.71     18.70  --
3224.31/807.24	c  N dy  7452   1701026       424       614     26640     79990     82451   5064229     17.75     18.76  --
3243.48/812.00	c  S st  7501   1710424       424       614     26640     88620     82451   5780343     17.76     15.07  --
3244.28/812.23	c  S st  7501   1710924       424       614     26640     89115     82451   5824945     17.76   no data  --
3244.28/812.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3244.28/812.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3249.08/813.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 27.5M T:  4.87
3250.27/813.74	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3258.27/815.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.86 s
3258.27/815.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    424 time:  0.02 s
3258.27/815.71	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s
3503.93/877.21	c lits-rem:      2581  cl-subs:     6410  v-elim:      0  v-fix:    0  time: 245.54 s
3503.93/877.22	c vivif2 --  cl tried      614 cl shrink        5 lits rem          5 time: 0.00
3504.33/877.31	c vivif2 --  cl tried    70903 cl shrink     2297 lits rem       2720 time: 0.40
3505.53/877.68	c asymm  cl-useful: 0/300/614 lits-rem:0 time: 1.45
3505.53/877.68	c calculated reachability. Time: 0.00
3505.53/877.68	c  N dy  7501   1710924       424       614     26441     70903     82087   5401811     17.76   no data  --
3540.68/886.40	c  N dy  7540   1730972       424       614     26442     89399     82087   7002972     17.72     18.69  --
3566.65/892.98	c  N dy  7582   1751224       424       614     26442     61389     82087   3995300     17.68     18.91  --
3599.80/901.21	c  N dy  7625   1772226       424       614     26444     80593     82087   5696837     17.64     18.60  --
3645.74/912.75	c  N dy  7696   1794064       424       614     26445    100666     82087   7425898     17.62     18.64  --
3676.50/920.43	c  N dy  7766   1814069       424       614     26447     68729     82087   4418734     17.61     18.64  --
3708.47/928.43	c  N dy  7830   1834233       424       614     26447     87345     82087   6041353     17.60     18.56  --
3754.78/940.03	c  N dy  7903   1854439       424       614     26447     53070     82087   3126058     17.59     18.59  --
3785.94/947.89	c  N dy  7971   1876275       424       614     26449     73132     82087   4660484     17.57     18.50  --
3827.10/958.12	c  N dy  8041   1896663       424       614     26450     91844     82087   6180643     17.56     19.01  --
3877.41/970.75	c  N dy  8115   1916669       424       614     26453     55775     82087   3115135     17.56     28.25  --
3905.37/977.79	c  N dy  8188   1936694       424       614     26455     74138     82087   4476871     17.55     19.32  --
3947.32/988.25	c  N dy  8270   1957385       424       614     26461     93033     82087   5833549     17.54     18.78  --
3990.86/999.14	c  N dy  8330   1977474       424       614     26462     55852     82087   3021656     17.53     38.79  --
4019.62/1006.34	c  N dy  8396   1997670       424       614     26463     74361     82087   4345083     17.51     18.64  --
4059.16/1016.24	c  N dy  8484   2017754       424       614     26465     92901     82087   5785680     17.52     18.62  --
4101.11/1026.77	c  N dy  8546   2038228       424       614     26467    111765     82087   7441249     17.51     18.85  --
4133.87/1034.96	c  N dy  8621   2059570       424       614     26470     74701     82087   4574679     17.50     18.60  --
4172.21/1044.54	c  N dy  8699   2080724       424       614     26474     94141     82087   6114155     17.50     18.46  --
4226.54/1058.18	c  N dy  8795   2101171       424       614     26477    112958     82087   7624386     17.52     18.57  --
4259.68/1066.45	c  N dy  8849   2121302       424       614     26485     73603     82087   4211649     17.50     18.52  --
4296.84/1075.76	c  N dy  8906   2141466       424       614     26488     92078     82087   5539457     17.48     18.40  --
4345.17/1087.82	c  N dy  8986   2161471       423       614     26503    110520     82087   7027880     17.48     18.50  --
4383.52/1097.43	c  N dy  9098   2181493       423       614     26503     70209     82087   3999657     17.52     29.58  --
4413.88/1105.08	c  N dy  9179   2201496       423       614     26505     88920     82087   5772856     17.53     18.67  --
4436.25/1110.67	c  S st  9241   2210924       423       614     26505     97762     82087   6622812     17.55   no data  --
4437.45/1110.97	c  S st  9241   2211424       423       614     26505     98254     82087   6672119     17.55   no data  --
4437.45/1110.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
4437.45/1110.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4442.66/1112.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 30.3M T:  4.91
4443.84/1112.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4451.83/1114.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.88 s
4451.83/1114.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    423 time:  0.01 s
4451.83/1114.52	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3263697-1304135468/watcher-3263697-1304135468 -o /tmp/evaluation-result-3263697-1304135468/solver-3263697-1304135468 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3263697-1304135468.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.49 7.99 8.00 3/172 31389
/proc/meminfo: memFree=30816448/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 417 0 0 0 0 0 0 0 20 0 4 0 525147747 52465664 357 33554432000 4194304 4650419 140737220911200 18446744073709551615 47057954564008 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31389/statm: 12809 357 306 112 0 7774 0
[pid=31389/tid=31390] ppid=31387 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 4 0 525147747 52465664 357 33554432000 4194304 4650419 140737220911200 18446744073709551615 47057954563609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 525147747 52465664 357 33554432000 4194304 4650419 140737220911200 18446744073709551615 47057954563609 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 525147747 52465664 357 33554432000 4194304 4650419 140737220911200 18446744073709551615 47057954563603 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.17573 s]
/proc/loadavg: 7.49 7.99 8.00 3/172 31389
/proc/meminfo: memFree=30816448/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=283100 CPUtime=0.66 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 3473 0 0 0 65 1 0 0 18 0 4 0 525147747 289894400 3384 33554432000 4194304 4650419 140737220911200 18446744073709551615 270613153975 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 70775 3384 390 112 0 65740 0
[pid=31389/tid=31390] ppid=31387 vsize=283100 CPUtime=0.16 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 826 0 0 0 16 0 0 0 18 0 4 0 525147747 289894400 3384 33554432000 4194304 4650419 140737220911200 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=283100 CPUtime=0.16 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 678 0 0 0 16 0 0 0 18 0 4 0 525147747 289894400 3384 33554432000 4194304 4650419 140737220911200 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=283100 CPUtime=0.16 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 680 0 0 0 16 0 0 0 18 0 4 0 525147747 289894400 3384 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 283100

[startup+0.205548 s]
/proc/loadavg: 7.49 7.99 8.00 3/172 31389
/proc/meminfo: memFree=30816448/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=283236 CPUtime=0.78 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 3678 0 0 0 77 1 0 0 18 0 4 0 525147747 290033664 3589 33554432000 4194304 4650419 140737220911200 18446744073709551615 270612771873 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 70809 3589 390 112 0 65774 0
[pid=31389/tid=31390] ppid=31387 vsize=283236 CPUtime=0.19 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 879 0 0 0 19 0 0 0 18 0 4 0 525147747 290033664 3589 33554432000 4194304 4650419 140737220911200 18446744073709551615 270612775722 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=283236 CPUtime=0.19 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 723 0 0 0 19 0 0 0 18 0 4 0 525147747 290033664 3589 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=283236 CPUtime=0.19 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 732 0 0 0 19 0 0 0 18 0 4 0 525147747 290033664 3589 33554432000 4194304 4650419 140737220911200 18446744073709551615 4314688 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283236

[startup+0.30043 s]
/proc/loadavg: 7.49 7.99 8.00 3/172 31389
/proc/meminfo: memFree=30816448/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=283876 CPUtime=1.16 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 4472 0 0 0 115 1 0 0 18 0 4 0 525147747 290689024 4042 33554432000 4194304 4650419 140737220911200 18446744073709551615 4334529 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 70969 4042 392 112 0 65934 0
[pid=31389/tid=31390] ppid=31387 vsize=283876 CPUtime=0.29 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 1038 0 0 0 29 0 0 0 18 0 4 0 525147747 290689024 4043 33554432000 4194304 4650419 140737220911200 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=283876 CPUtime=0.28 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 876 0 0 0 28 0 0 0 18 0 4 0 525147747 290689024 4043 33554432000 4194304 4650419 140737220911200 18446744073709551615 4315110 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=283876 CPUtime=0.28 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 1064 0 0 0 28 0 0 0 18 0 4 0 525147747 290689024 4043 33554432000 4194304 4650419 140737220911200 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283876

[startup+0.700359 s]
/proc/loadavg: 7.49 7.99 8.00 3/172 31389
/proc/meminfo: memFree=30816448/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=288404 CPUtime=2.76 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 7735 0 0 0 274 2 0 0 18 0 4 0 525147747 295325696 4945 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 72101 4945 392 112 0 67066 0
[pid=31389/tid=31390] ppid=31387 vsize=288404 CPUtime=0.68 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 1889 0 0 0 68 0 0 0 18 0 4 0 525147747 295325696 4945 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=288404 CPUtime=0.68 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 1668 0 0 0 68 0 0 0 18 0 4 0 525147747 295325696 4945 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=288404 CPUtime=0.68 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 1935 0 0 0 68 0 0 0 18 0 4 0 525147747 295325696 4945 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 288404

[startup+1.50022 s]
/proc/loadavg: 7.49 7.99 8.00 10/184 31401
/proc/meminfo: memFree=30784288/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=291740 CPUtime=5.96 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 13225 0 0 0 592 4 0 0 20 0 4 0 525147747 298741760 6272 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 72935 6272 393 112 0 67900 0
[pid=31389/tid=31390] ppid=31387 vsize=291740 CPUtime=1.48 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 3252 0 0 0 148 0 0 0 20 0 4 0 525147747 298741760 6272 33554432000 4194304 4650419 140737220911200 18446744073709551615 4328094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=291740 CPUtime=1.48 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 2757 0 0 0 148 0 0 0 20 0 4 0 525147747 298741760 6272 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=291740 CPUtime=1.49 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 3625 0 0 0 148 1 0 0 19 0 4 0 525147747 298741760 6272 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 291740

[startup+3.10093 s]
/proc/loadavg: 7.49 7.99 8.00 9/184 31401
/proc/meminfo: memFree=30759736/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=291680 CPUtime=12.35 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 26089 0 0 0 1229 6 0 0 25 0 4 0 525147747 298680320 12750 33554432000 4194304 4650419 140737220911200 18446744073709551615 4328218 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 72920 12750 394 112 0 67885 0
[pid=31389/tid=31390] ppid=31387 vsize=291680 CPUtime=3.09 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 5030 0 0 0 308 1 0 0 25 0 4 0 525147747 298680320 12750 33554432000 4194304 4650419 140737220911200 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=291680 CPUtime=3.09 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 4694 0 0 0 308 1 0 0 25 0 4 0 525147747 298680320 12750 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=291680 CPUtime=3.09 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 10189 0 0 0 307 2 0 0 25 0 4 0 525147747 298680320 12750 33554432000 4194304 4650419 140737220911200 18446744073709551615 4435469 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 291680

[startup+6.30038 s]
/proc/loadavg: 7.53 7.99 8.00 10/184 31401
/proc/meminfo: memFree=30673868/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=293912 CPUtime=25.14 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 44589 0 0 0 2504 10 0 0 25 0 4 0 525147747 300965888 28186 33554432000 4194304 4650419 140737220911200 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 73478 28186 394 112 0 68443 0
[pid=31389/tid=31390] ppid=31387 vsize=293912 CPUtime=6.28 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 12561 0 0 0 626 2 0 0 25 0 4 0 525147747 300965888 28186 33554432000 4194304 4650419 140737220911200 18446744073709551615 4436163 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=293912 CPUtime=6.28 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 9580 0 0 0 627 1 0 0 25 0 4 0 525147747 300965888 28186 33554432000 4194304 4650419 140737220911200 18446744073709551615 4433084 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=293912 CPUtime=6.29 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 10404 0 0 0 627 2 0 0 25 0 4 0 525147747 300965888 28186 33554432000 4194304 4650419 140737220911200 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 293912

[startup+12.7002 s]
/proc/loadavg: 7.65 8.00 8.01 9/184 31402
/proc/meminfo: memFree=30616896/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=307168 CPUtime=50.7 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 59428 0 0 0 5058 12 0 0 25 0 4 0 525147747 314540032 35710 33554432000 4194304 4650419 140737220911200 18446744073709551615 4438939 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 76792 35710 394 112 0 71757 0
[pid=31389/tid=31390] ppid=31387 vsize=307168 CPUtime=12.68 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 15795 0 0 0 1265 3 0 0 25 0 4 0 525147747 314540032 35710 33554432000 4194304 4650419 140737220911200 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=307168 CPUtime=12.68 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 13664 0 0 0 1266 2 0 0 25 0 4 0 525147747 314540032 35710 33554432000 4194304 4650419 140737220911200 18446744073709551615 4364856 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=307168 CPUtime=12.68 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 14688 0 0 0 1265 3 0 0 25 0 4 0 525147747 314540032 35710 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 307168

[startup+25.501 s]
/proc/loadavg: 7.72 8.00 8.01 10/184 31402
/proc/meminfo: memFree=30496620/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=422812 CPUtime=101.83 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 102825 0 0 0 10162 21 0 0 25 0 4 0 525147747 432959488 57701 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 105703 57701 394 112 0 100668 0
[pid=31389/tid=31390] ppid=31387 vsize=422812 CPUtime=25.48 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 26104 0 0 0 2544 4 0 0 25 0 4 0 525147747 432959488 57701 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=422812 CPUtime=25.48 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 22590 0 0 0 2544 4 0 0 25 0 4 0 525147747 432959488 57701 33554432000 4194304 4650419 140737220911200 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=422812 CPUtime=25.49 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 33960 0 0 0 2542 7 0 0 25 0 4 0 525147747 432959488 57701 33554432000 4194304 4650419 140737220911200 18446744073709551615 4436168 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 422812

[startup+51.1004 s]
/proc/loadavg: 7.90 8.02 8.01 9/184 31403
/proc/meminfo: memFree=30382708/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=529388 CPUtime=204.09 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 144481 0 0 0 20377 32 0 0 25 0 4 0 525147747 542093312 79510 33554432000 4194304 4650419 140737220911200 18446744073709551615 4435469 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 132347 79510 394 112 0 127312 0
[pid=31389/tid=31390] ppid=31387 vsize=529388 CPUtime=51.08 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 35204 0 0 0 5101 7 0 0 25 0 4 0 525147747 542093312 79510 33554432000 4194304 4650419 140737220911200 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=529388 CPUtime=51.08 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 36346 0 0 0 5101 7 0 0 25 0 4 0 525147747 542093312 79510 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=529388 CPUtime=51.09 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 37032 0 0 0 5101 8 0 0 25 0 4 0 525147747 542093312 79510 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 529388

[startup+102.3 s]
/proc/loadavg: 8.07 8.04 8.01 10/184 31404
/proc/meminfo: memFree=30306144/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=602880 CPUtime=408.63 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 239468 0 0 0 40807 56 0 0 25 0 4 0 525147747 617349120 90997 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365267 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 150720 90997 394 112 0 145685 0
[pid=31389/tid=31390] ppid=31387 vsize=602880 CPUtime=102.28 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 53636 0 0 0 10218 10 0 0 25 0 4 0 525147747 617349120 90997 33554432000 4194304 4650419 140737220911200 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=602880 CPUtime=102.28 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 60199 0 0 0 10215 13 0 0 25 0 4 0 525147747 617349120 90997 33554432000 4194304 4650419 140737220911200 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=602880 CPUtime=102.29 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 66309 0 0 0 10213 16 0 0 25 0 4 0 525147747 617349120 90997 33554432000 4194304 4650419 140737220911200 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 602880

[startup+162.301 s]

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

[pid=31389] ppid=31387 vsize=1051188 CPUtime=2565.63 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 869282 0 0 0 256329 234 0 0 25 0 4 0 525147747 1076416512 178388 33554432000 4194304 4650419 140737220911200 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 262797 178388 394 112 0 257762 0
[pid=31389/tid=31390] ppid=31387 vsize=1051188 CPUtime=642.24 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 146643 0 0 0 64186 38 0 0 25 0 4 0 525147747 1076416512 178388 33554432000 4194304 4650419 140737220911200 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=1051188 CPUtime=642.28 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 313776 0 0 0 64153 75 0 0 25 0 4 0 525147747 1076416512 178388 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=1051188 CPUtime=642.27 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 214582 0 0 0 64165 62 0 0 25 0 4 0 525147747 1076416512 178388 33554432000 4194304 4650419 140737220911200 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.63
Current children cumulated vsize (KiB) 1051188

[startup+702.301 s]
/proc/loadavg: 8.00 8.04 8.01 9/184 31429
/proc/meminfo: memFree=29614632/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=1097288 CPUtime=2805.3 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 943161 0 0 0 280278 252 0 0 25 0 4 0 525147747 1123622912 206375 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 274322 206376 394 112 0 269287 0
[pid=31389/tid=31390] ppid=31387 vsize=1097288 CPUtime=702.23 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 171959 0 0 0 70182 41 0 0 25 0 4 0 525147747 1123622912 206376 33554432000 4194304 4650419 140737220911200 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=1097288 CPUtime=702.28 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 331746 0 0 0 70148 80 0 0 25 0 4 0 525147747 1123622912 206376 33554432000 4194304 4650419 140737220911200 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=1097288 CPUtime=702.26 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 231892 0 0 0 70160 66 0 0 25 0 4 0 525147747 1123622912 206376 33554432000 4194304 4650419 140737220911200 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.3
Current children cumulated vsize (KiB) 1097288

[startup+762.301 s]
/proc/loadavg: 8.00 8.03 8.01 9/184 31433
/proc/meminfo: memFree=29646252/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=1293912 CPUtime=3044.98 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 979283 0 0 0 304231 267 0 0 25 0 4 0 525147747 1324965888 204450 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 323478 204450 394 112 0 318443 0
[pid=31389/tid=31390] ppid=31387 vsize=1293912 CPUtime=762.23 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 172287 0 0 0 76182 41 0 0 25 0 4 0 525147747 1324965888 204451 33554432000 4194304 4650419 140737220911200 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=1293912 CPUtime=762.29 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 340218 0 0 0 76146 83 0 0 25 0 4 0 525147747 1324965888 204451 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=1293912 CPUtime=762.26 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 248617 0 0 0 76152 74 0 0 25 0 4 0 525147747 1324965888 204451 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.98
Current children cumulated vsize (KiB) 1293912

[startup+822.301 s]
/proc/loadavg: 8.19 8.09 8.03 10/184 31435
/proc/meminfo: memFree=29611604/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=1294920 CPUtime=3284.64 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 1033201 0 0 0 328179 285 0 0 25 0 4 0 525147747 1325998080 212791 33554432000 4194304 4650419 140737220911200 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 323730 212791 394 112 0 318695 0
[pid=31389/tid=31390] ppid=31387 vsize=1294920 CPUtime=822.22 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 173715 0 0 0 82180 42 0 0 25 0 4 0 525147747 1325998080 212791 33554432000 4194304 4650419 140737220911200 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=1294920 CPUtime=822.28 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 358259 0 0 0 82139 89 0 0 25 0 4 0 525147747 1325998080 212791 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=1294920 CPUtime=822.26 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 265449 0 0 0 82146 80 0 0 25 0 4 0 525147747 1325998080 212791 33554432000 4194304 4650419 140737220911200 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.64
Current children cumulated vsize (KiB) 1294920

[startup+882.306 s]
/proc/loadavg: 8.06 8.07 8.02 9/184 31437
/proc/meminfo: memFree=29527492/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=1271768 CPUtime=3524.32 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 1070406 0 0 0 352134 298 0 0 25 0 4 0 525147747 1302290432 221021 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 317942 221021 394 112 0 312907 0
[pid=31389/tid=31390] ppid=31387 vsize=1271768 CPUtime=882.22 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 181831 0 0 0 88178 44 0 0 25 0 4 0 525147747 1302290432 221021 33554432000 4194304 4650419 140737220911200 18446744073709551615 4328357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=1271768 CPUtime=882.29 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 369430 0 0 0 88136 93 0 0 25 0 4 0 525147747 1302290432 221021 33554432000 4194304 4650419 140737220911200 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=1271768 CPUtime=882.27 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 282469 0 0 0 88140 87 0 0 25 0 4 0 525147747 1302290432 221021 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.32
Current children cumulated vsize (KiB) 1271768

[startup+942.301 s]
/proc/loadavg: 8.14 8.09 8.03 9/184 31438
/proc/meminfo: memFree=29564640/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=1134108 CPUtime=3763.97 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 1126213 0 0 0 376082 315 0 0 25 0 4 0 525147747 1161326592 214065 33554432000 4194304 4650419 140737220911200 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 283527 214065 394 112 0 278492 0
[pid=31389/tid=31390] ppid=31387 vsize=1134108 CPUtime=942.21 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 194035 0 0 0 94172 49 0 0 25 0 4 0 525147747 1161326592 214065 33554432000 4194304 4650419 140737220911200 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=1134108 CPUtime=942.28 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 387583 0 0 0 94130 98 0 0 25 0 4 0 525147747 1161326592 214065 33554432000 4194304 4650419 140737220911200 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=1134108 CPUtime=942.26 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 287513 0 0 0 94138 88 0 0 25 0 4 0 525147747 1161326592 214065 33554432000 4194304 4650419 140737220911200 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.97
Current children cumulated vsize (KiB) 1134108

[startup+1002.3 s]
/proc/loadavg: 8.08 8.08 8.03 9/184 31440
/proc/meminfo: memFree=29491304/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=1225256 CPUtime=4003.65 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 1167172 0 0 0 400034 331 0 0 25 0 4 0 525147747 1254662144 230527 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 306314 230527 394 112 0 301279 0
[pid=31389/tid=31390] ppid=31387 vsize=1225256 CPUtime=1002.2 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 205989 0 0 0 100167 53 0 0 25 0 4 0 525147747 1254662144 230527 33554432000 4194304 4650419 140737220911200 18446744073709551615 4367824 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=1225256 CPUtime=1002.28 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 401226 0 0 0 100124 104 0 0 25 0 4 0 525147747 1254662144 230527 33554432000 4194304 4650419 140737220911200 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=1225256 CPUtime=1002.26 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 287665 0 0 0 100138 88 0 0 25 0 4 0 525147747 1254662144 230527 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.65
Current children cumulated vsize (KiB) 1225256

[startup+1062.3 s]
/proc/loadavg: 8.14 8.10 8.03 9/184 31441
/proc/meminfo: memFree=29471400/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=1356588 CPUtime=4243.31 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 1223002 0 0 0 423985 346 0 0 25 0 4 0 525147747 1389146112 237288 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 339147 237288 394 112 0 334112 0
[pid=31389/tid=31390] ppid=31387 vsize=1356588 CPUtime=1062.19 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 210446 0 0 0 106164 55 0 0 25 0 4 0 525147747 1389146112 237288 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=1356588 CPUtime=1062.28 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 420076 0 0 0 106120 108 0 0 25 0 4 0 525147747 1389146112 237288 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=1356588 CPUtime=1062.26 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 304548 0 0 0 106133 93 0 0 25 0 4 0 525147747 1389146112 237288 33554432000 4194304 4650419 140737220911200 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.31
Current children cumulated vsize (KiB) 1356588

[startup+1122.3 s]
/proc/loadavg: 8.05 8.08 8.03 9/184 31443
/proc/meminfo: memFree=29494548/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=1242856 CPUtime=4482.99 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 1275511 0 0 0 447936 363 0 0 25 0 4 0 525147747 1272684544 226208 33554432000 4194304 4650419 140737220911200 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 310714 226208 439 112 0 305679 0
[pid=31389/tid=31390] ppid=31387 vsize=1242856 CPUtime=1122.19 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 221270 0 0 0 112160 59 0 0 25 0 4 0 525147747 1272684544 226208 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=1242856 CPUtime=1122.29 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 437716 0 0 0 112116 113 0 0 25 0 4 0 525147747 1272684544 226208 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=1242856 CPUtime=1122.26 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 316126 0 0 0 112128 98 0 0 25 0 4 0 525147747 1272684544 226208 33554432000 4194304 4650419 140737220911200 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.99
Current children cumulated vsize (KiB) 1242856

[startup+1182.3 s]
/proc/loadavg: 8.13 8.09 8.03 10/184 31445
/proc/meminfo: memFree=29495132/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=1243180 CPUtime=4722.66 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 1302872 0 0 0 471892 374 0 0 25 0 4 0 525147747 1273016320 221909 33554432000 4194304 4650419 140737220911200 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 310795 221909 439 112 0 305760 0
[pid=31389/tid=31390] ppid=31387 vsize=1243180 CPUtime=1182.18 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 223895 0 0 0 118158 60 0 0 25 0 4 0 525147747 1273016320 221909 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=1243180 CPUtime=1182.29 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 450605 0 0 0 118111 118 0 0 25 0 4 0 525147747 1273016320 221909 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=1243180 CPUtime=1182.26 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 327973 0 0 0 118122 104 0 0 25 0 4 0 525147747 1273016320 221909 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.66
Current children cumulated vsize (KiB) 1243180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.08 8.03 9/184 31445
/proc/meminfo: memFree=29484084/32951124 swapFree=67111524/67111528
[pid=31389] ppid=31387 vsize=1244632 CPUtime=4800.16 cores=0,2,4,6
/proc/31389/stat : 31389 (strangenight1-m) R 31387 31389 30175 0 -1 4202496 1309563 0 0 0 479638 378 0 0 25 0 4 0 525147747 1274503168 224325 33554432000 4194304 4650419 140737220911200 18446744073709551615 4476454 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/31389/statm: 311158 224325 439 112 0 306123 0
[pid=31389/tid=31390] ppid=31387 vsize=1244632 CPUtime=1201.59 cores=0,2,4,6
/proc/31389/task/31390/stat : 31390 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 226348 0 0 0 120097 62 0 0 25 0 4 0 525147747 1274503168 224325 33554432000 4194304 4650419 140737220911200 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31389/tid=31391] ppid=31387 vsize=1244632 CPUtime=1201.69 cores=0,2,4,6
/proc/31389/task/31391/stat : 31391 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 453304 0 0 0 120050 119 0 0 25 0 4 0 525147747 1274503168 224325 33554432000 4194304 4650419 140737220911200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31389/tid=31392] ppid=31387 vsize=1244632 CPUtime=1201.67 cores=0,2,4,6
/proc/31389/task/31392/stat : 31392 (strangenight1-m) R 31387 31389 30175 0 -1 4202560 329512 0 0 0 120062 105 0 0 25 0 4 0 525147747 1274503168 224325 33554432000 4194304 4650419 140737220911200 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 1244632

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.76
CPU time (s): 4800.24
CPU user time (s): 4796.41
CPU system time (s): 3.82842
CPU usage (%): 399.436
Max. virtual memory (cumulated for all children) (KiB): 1487668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.41
system time used= 3.82842
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1309565
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= 892
involuntary context switches= 34622

runsolver used 1.9757 second user time and 4.55931 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-30 05:51:08
IDJOB=3263697
IDBENCH=84010
IDSOLVER=1588
FILE ID=node108/3263697-1304135468
RUNJOBID= node108-1304135468-31374
PBS_JOBID= 13170776
Free space on /tmp= 72636 MiB

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

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

MD5SUM BENCH= 22bbcb4a25a1da66113c240898c75509
RANDOM SEED=1798712435

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30816976 kB
Buffers:        579104 kB
Cached:        1093056 kB
SwapCached:          4 kB
Active:         127600 kB
Inactive:      1607600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30816976 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12096 kB
Writeback:           0 kB
AnonPages:       63092 kB
Mapped:          14492 kB
Slab:           334372 kB
PageTables:       4508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184184 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= 72624 MiB
End job on node108 at 2011-04-30 06:11:12