Trace number 3369193

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 (fixed)? (TO) 4800.34 1203.17

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369193-1305415683.cnf'
0.00/0.01	c -- header says num vars:            450
0.00/0.01	c -- header says num clauses:       28508
0.00/0.05	c -- clauses added:            0 learnts,        28508 normals,            0 xors
0.00/0.05	c -- vars added        450
0.00/0.05	c Parsing time:  0.01 s
0.00/0.05	c  N st     0         0       450        15     28493         0     57436         0   no data   no data  --
0.00/0.05	c asymm  cl-useful: 0/15/15 lits-rem:0 time: 0.00
0.00/0.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
0.00/0.05	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.00/0.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.01 s
0.00/0.05	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.01 s
0.00/0.05	c lits-rem:        97  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.02 s
0.00/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.05	c calculated reachability. Time: 0.00
0.00/0.05	c Calc default polars -  time:   0.00 s pos:     210 undec:      15 neg:     225
0.00/0.05	c =========================================================================================
0.00/0.05	c types(t): F = full restart, N = normal restart
0.00/0.05	c types(t): S = simplification begin/end, E = solution found
0.00/0.05	c restart types(rt): st = static, dy = dynamic
0.00/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.05	c  B st     0         0       435       299     27759         0     67331         0   no data   no data  --
0.18/0.44	c  N dy    11      4037       435       299     27759      3805     67331    412229     23.05     24.32  --
0.18/0.85	c  N dy    17      9723       435       299     27759      6771     67331    705893     16.78     18.05  --
5.19/1.34	c  N dy    37     14404       435       299     27759      7251     67331    721818     17.30     18.60  --
8.34/2.15	c  N dy    50     20451       435       299     27759      7632     67331    747655     16.33     17.33  --
10.75/2.79	c  F st    72     25000       435       299     27759     11966     67331   1230522     16.43     14.99  --
10.75/2.79	c  N st    72     25000       435       299     27759     11966     67331   1230522     16.43     14.99  --
13.54/3.43	c  N dy    78     30001       435       299     27759     10245     67331   1002619     16.43   no data  --
13.54/3.43	c  S st    78     30001       435       299     27759     10245     67331   1002619     16.43   no data  --
13.93/3.52	c  S st    78     30504       435       299     27759     10746     67331   1036566     16.43   no data  --
13.93/3.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
13.93/3.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.33/3.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.5M T:  0.55
14.73/3.70	c bin-w-bin subsume rem            0 bins  time:  0.02 s
21.91/5.52	c subs with bin:        0  lits-rem:       120  v-fix:    0  time:  7.25 s
21.91/5.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.01 s
21.91/5.52	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.01 s
35.88/9.09	c lits-rem:      2711  cl-subs:      465  v-elim:      0  v-fix:    0  time: 14.21 s
36.28/9.13	c asymm  cl-useful: 189/299/299 lits-rem:1161 time: 0.15
36.28/9.13	c calculated reachability. Time: 0.00
36.28/9.13	c  N dy    78     30504       435       299     27759     10281     66017    985373     16.43   no data  --
39.47/9.99	c  N dy    93     36585       435       299     27759      8554     66017    696288     15.99     16.86  --
42.28/10.64	c  N dy   114     41233       435       299     27759     12958     66017   1227291     16.15     17.19  --
45.46/11.42	c  N dy   140     45407       435       299     27759     16893     66017   1702110     16.46     17.50  --
45.46/11.48	c  S st   143     45757       435       299     27759      8760     66017    690471     16.47     15.53  --
45.85/11.52	c  S st   143     46262       435       299     27759      9260     66017    738676     16.47   no data  --
45.85/11.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
45.85/11.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.25/11.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.1M T:  0.41
46.25/11.65	c bin-w-bin subsume rem            0 bins  time:  0.02 s
52.64/13.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.53 s
52.64/13.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.01 s
52.64/13.29	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.01 s
59.42/14.96	c lits-rem:      1237  cl-subs:      307  v-elim:      0  v-fix:    0  time:  6.65 s
59.42/14.96	c vivif2 --  cl tried      299 cl shrink       45 lits rem         45 time: 0.00
59.42/14.97	c vivif2 --  cl tried     8953 cl shrink        0 lits rem          0 time: 0.04
59.42/15.00	c asymm  cl-useful: 2/299/299 lits-rem:2 time: 0.12
59.42/15.00	c calculated reachability. Time: 0.00
59.42/15.00	c  N dy   143     46262       435       299     27759      8953     65898    725137     16.47   no data  --
62.21/15.60	c  N dy   165     50609       435       299     27759     13064     65898   1222667     16.66     17.58  --
65.81/16.58	c  N dy   193     55023       435       299     27759     17241     65898   1736402     16.99     17.88  --
70.99/17.80	c  N dy   206     61699       435       299     27759     14075     65898   1306460     16.60     17.59  --
74.17/18.67	c  N dy   225     65767       435       299     27759     17943     65898   1780824     16.70     26.82  --
76.98/19.32	c  S st   234     69393       435       299     27759     11011     65898    901790     16.67     12.24  --
76.98/19.39	c  S st   234     69896       435       299     27759     11505     65898    945971     16.67   no data  --
76.98/19.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
76.98/19.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
77.81/19.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.5M T:  0.55
77.81/19.56	c bin-w-bin subsume rem            0 bins  time:  0.01 s
84.95/21.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.08 s
84.95/21.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.01 s
84.95/21.33	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.01 s
111.29/27.93	c lits-rem:       654  cl-subs:     6769  v-elim:     10  v-fix:    0  time: 26.26 s
111.29/27.93	c vivif2 --  cl tried      614 cl shrink      371 lits rem       5137 time: 0.00
111.29/27.93	c vivif2 --  cl tried     4766 cl shrink        0 lits rem          0 time: 0.02
111.29/27.99	c asymm  cl-useful: 12/614/614 lits-rem:12 time: 0.23
111.29/27.99	c calculated reachability. Time: 0.00
111.29/27.99	c  N dy   234     69896       425       614     26574      4766     82462    368111     16.67   no data  --
113.68/28.58	c  N dy   244     75550       425       614     26574     10098     82462   1029604     16.38     17.29  --
117.67/29.56	c  N dy   283     80451       425       614     26574     14773     82462   1588284     16.78     40.29  --
122.85/30.85	c  N dy   306     86249       425       614     26574     20204     82462   2220430     16.77     17.72  --
124.06/31.18	c  F st   312     87500       425       614     26574     21385     82462   2374182     16.77     14.30  --
128.04/32.12	c  N dy   318     92695       425       614     26574     15097     82462   1415824     16.77   no data  --
132.84/33.36	c  N dy   345     98649       425       614     26574     20667     82462   2034541     16.82     23.81  --
138.43/34.79	c  S st   370    104845       425       614     26574     14337     82462   1218599     16.78   no data  --
138.84/34.86	c  S st   370    105346       425       614     26574     14834     82462   1265818     16.78   no data  --
138.84/34.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
138.84/34.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
139.61/35.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.9M T:  0.78
139.61/35.09	c bin-w-bin subsume rem            0 bins  time:  0.01 s
147.61/37.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.95 s
147.61/37.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.01 s
147.61/37.09	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s
165.58/41.57	c lits-rem:       950  cl-subs:      600  v-elim:      0  v-fix:    0  time: 17.84 s
165.58/41.57	c vivif2 --  cl tried      614 cl shrink        0 lits rem          0 time: 0.00
165.58/41.59	c vivif2 --  cl tried    14234 cl shrink        0 lits rem          0 time: 0.08
166.74/41.88	c asymm  cl-useful: 4/614/614 lits-rem:4 time: 1.19
166.74/41.89	c calculated reachability. Time: 0.00
166.74/41.89	c  N dy   370    105346       425       614     26574     14234     82458   1222079     16.78   no data  --
174.36/43.78	c  N dy   410    112635       425       614     26574     21140     82458   2060551     16.91     17.96  --
183.89/46.17	c  N dy   427    122850       425       614     26574     17568     82458   1647976     16.65     17.82  --
190.68/47.82	c  N dy   446    131141       425       614     26574     25314     82458   2559227     16.46     17.39  --
199.45/50.05	c  N dy   486    139588       425       614     26574     19189     82458   1777216     16.60     21.88  --
209.05/52.46	c  N dy   510    149091       425       614     26575     28106     82458   2820804     16.42     17.29  --
217.01/54.47	c  S st   539    158019       425       614     26575     21443     82458   1947342     16.36     13.30  --
217.41/54.57	c  S st   539    158525       425       614     26575     21944     82458   1995027     16.36   no data  --
217.41/54.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
217.41/54.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
218.99/54.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.6M T:  1.57
219.39/55.03	c bin-w-bin subsume rem            0 bins  time:  0.01 s
227.78/57.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.46 s
227.78/57.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.01 s
227.78/57.16	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s
252.12/63.23	c lits-rem:      1156  cl-subs:      819  v-elim:      0  v-fix:    0  time: 24.20 s
252.12/63.23	c vivif2 --  cl tried      614 cl shrink        0 lits rem          0 time: 0.00
252.12/63.25	c vivif2 --  cl tried    21125 cl shrink       11 lits rem         11 time: 0.10
252.94/63.49	c asymm  cl-useful: 0/614/614 lits-rem:0 time: 0.96
252.94/63.49	c calculated reachability. Time: 0.00
252.94/63.49	c  N dy   539    158525       425       614     26575     21125     82458   1920566     16.36   no data  --
263.68/66.18	c  N dy   582    168873       425       614     26575     30762     82458   3030682     16.31     17.36  --
272.86/68.47	c  N dy   596    181088       425       614     26575     26174     82458   2316677     16.07     17.30  --
283.25/71.05	c  N dy   634    193008       425       614     26575     20521     82458   1628478     15.95     16.89  --
294.41/73.85	c  N dy   675    205487       425       614     26575     32096     82458   2774048     15.87     16.75  --
307.17/77.09	c  N dy   733    218733       425       614     26576     26809     82458   2320037     15.87     16.75  --
319.94/80.27	c  N dy   766    232811       425       614     26576     21289     82458   1609860     15.75     16.85  --
323.93/81.22	c  S st   783    237787       425       614     26576     25952     82458   2106622     15.74     10.08  --
324.33/81.34	c  S st   783    238287       425       614     26576     26446     82458   2152510     15.74   no data  --
324.33/81.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
324.33/81.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
325.53/81.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.8M T:  1.03
325.53/81.66	c bin-w-bin subsume rem            0 bins  time:  0.01 s
332.72/83.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.27 s
332.72/83.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.01 s
332.72/83.49	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s
368.62/92.40	c lits-rem:      2150  cl-subs:     1983  v-elim:      0  v-fix:    0  time: 35.52 s
368.62/92.40	c vivif2 --  cl tried      614 cl shrink        0 lits rem          0 time: 0.00
368.62/92.43	c vivif2 --  cl tried    24463 cl shrink      217 lits rem        217 time: 0.12
369.82/92.73	c asymm  cl-useful: 3/610/614 lits-rem:3 time: 1.21
369.82/92.73	c calculated reachability. Time: 0.00
369.82/92.73	c  N dy   783    238287       425       614     26576     24463     82455   2081060     15.74   no data  --
392.56/98.47	c  N dy   846    254003       425       614     26576     19571     82455   1461362     15.77     16.75  --
410.51/102.91	c  N dy   924    270399       425       614     26577     34850     82455   3036461     15.82     16.75  --
429.66/107.72	c  N dy  1007    287740       425       614     26578     30629     82455   2590299     15.95     18.25  --
448.42/112.45	c  N dy  1045    306183       425       614     26578     26364     82455   2019225     15.82     22.23  --
448.42/112.47	c  F st  1046    306253       425       614     26578     26433     82455   2025691     15.82   no data  --
471.96/118.36	c  N dy  1113    325781       425       614     26579     44603     82455   3940352     15.86     27.92  --
490.71/123.08	c  N dy  1181    345993       425       614     26579     41073     82455   3461856     15.83     16.83  --
501.09/125.63	c  S st  1204    357431       425       614     26579     28441     82455   2074020     15.75   no data  --
501.48/125.73	c  S st  1204    357933       425       614     26579     28931     82455   2126852     15.75   no data  --
501.48/125.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
501.48/125.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
502.68/126.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.8M T:  1.30
503.10/126.12	c bin-w-bin subsume rem            0 bins  time:  0.01 s
511.46/128.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.70 s
511.46/128.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.01 s
511.46/128.30	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s
539.79/135.40	c lits-rem:      1416  cl-subs:     1679  v-elim:      0  v-fix:    0  time: 28.26 s
539.79/135.40	c vivif2 --  cl tried      614 cl shrink        1 lits rem          1 time: 0.00
540.18/135.43	c vivif2 --  cl tried    27252 cl shrink      674 lits rem        674 time: 0.12
540.98/135.68	c asymm  cl-useful: 1/595/614 lits-rem:1 time: 1.01
540.98/135.68	c calculated reachability. Time: 0.00
540.98/135.68	c  N dy  1204    357933       425       614     26579     27252     82453   2073520     15.75   no data  --
562.13/140.91	c  N dy  1286    378159       425       614     26581     46012     82453   3982746     15.72     16.55  --
581.27/145.78	c  N dy  1371    398246       425       614     26581     40623     82453   3285058     15.71     16.65  --
604.82/151.61	c  N dy  1467    418419       425       614     26581     34264     82453   2569823     15.74     16.63  --
628.75/157.69	c  N dy  1551    438753       425       614     26582     27011     82453   1769947     15.70     16.86  --
648.70/162.61	c  N dy  1633    458865       425       614     26583     45518     82453   3541570     15.69     16.54  --
668.66/167.65	c  N dy  1688    478905       425       614     26583     37236     82453   2679925     15.62     33.60  --
694.59/174.13	c  N dy  1762    498979       425       614     26585     27988     82453   1743237     15.57     16.88  --
714.52/179.18	c  N dy  1855    518992       425       614     26587     46580     82453   3710472     15.60     19.67  --
740.09/185.55	c  S st  1946    536899       425       614     26588     34553     82453   2410473     15.67   no data  --
740.50/185.66	c  S st  1946    537400       425       614     26588     35053     82453   2461259     15.67   no data  --
740.50/185.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
740.50/185.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
742.06/186.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 11.9M T:  1.44
742.06/186.09	c bin-w-bin subsume rem            0 bins  time:  0.02 s
750.04/188.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.83 s
750.04/188.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.01 s
750.04/188.06	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s
803.11/201.34	c lits-rem:      2199  cl-subs:     3830  v-elim:      0  v-fix:    0  time: 52.94 s
803.11/201.34	c vivif2 --  cl tried      614 cl shrink        0 lits rem          0 time: 0.00
803.11/201.38	c vivif2 --  cl tried    31223 cl shrink     1420 lits rem       3211 time: 0.17
804.71/201.70	c asymm  cl-useful: 1/418/614 lits-rem:1 time: 1.26
804.71/201.70	c calculated reachability. Time: 0.00
804.71/201.70	c  N dy  1946    537400       425       614     26588     31223     82452   2376651     15.67   no data  --
829.85/208.05	c  N dy  2028    557429       425       614     26588     49787     82452   4287835     15.69     26.46  --
862.57/216.29	c  N dy  2147    578000       425       614     26588     39339     82452   2986730     15.84     16.74  --
894.12/224.14	c  N dy  2242    598539       425       614     26590     58262     82452   4876290     15.89     16.87  --
923.60/231.55	c  N dy  2371    618551       425       614     26591     46416     82452   3660164     16.02     37.80  --
960.71/240.85	c  N dy  2469    639487       425       614     26592     34334     82452   2359578     16.08     17.12  --
989.04/247.93	c  N dy  2586    659552       425       614     26594     53000     82452   4256138     16.18     17.26  --
1018.17/255.30	c  N dy  2680    679683       425       614     26595     39094     82452   2728834     16.20     17.17  --
1050.89/263.40	c  N dy  2806    699942       425       614     26596     57836     82452   4532259     16.33     17.44  --
1078.04/270.24	c  N dy  2889    720000       425       614     26596     43081     82452   3143751     16.36     17.26  --
1116.32/279.88	c  N dy  2999    740586       425       614     26598     62039     82452   4955946     16.45     17.70  --
1147.05/287.59	c  N dy  3103    760631       425       614     26598     46467     82452   3436358     16.52     34.97  --
1181.75/296.29	c  N dy  3200    780794       425       614     26599     65084     82452   5248910     16.56     18.08  --
1213.28/304.11	c  N dy  3283    801258       425       614     26603     48838     82452   3623951     16.56     17.46  --
1221.26/306.10	c  S st  3312    806100       425       614     26603     53351     82452   4063462     16.58     11.77  --
1222.06/306.33	c  S st  3312    806602       425       614     26603     53847     82452   4120920     16.58   no data  --
1222.06/306.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1222.06/306.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1224.85/307.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 19.8M T:  2.87
1225.25/307.18	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1234.82/309.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  9.30 s
1234.82/309.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.01 s
1234.82/309.52	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s
1512.13/379.07	c lits-rem:      5366  cl-subs:     4262  v-elim:      0  v-fix:    0  time: 277.31 s
1512.13/379.07	c vivif2 --  cl tried      614 cl shrink        2 lits rem          2 time: 0.00
1512.54/379.14	c vivif2 --  cl tried    49585 cl shrink     2077 lits rem       3828 time: 0.26
1514.11/379.52	c asymm  cl-useful: 1/353/614 lits-rem:1 time: 1.51
1514.11/379.52	c calculated reachability. Time: 0.00
1514.11/379.52	c  N dy  3312    806602       425       614     26603     49585     82449   3990964     16.58   no data  --
1554.42/389.61	c  N dy  3401    826685       425       614     26604     68018     82449   5655565     16.60     26.12  --
1580.75/396.23	c  N dy  3488    846904       425       614     26604     51076     82449   3881939     16.63     17.67  --
1621.05/406.30	c  N dy  3588    866954       425       614     26604     69599     82449   5578023     16.68     39.92  --
1653.40/414.43	c  N dy  3667    887018       425       614     26604     51070     82449   3791189     16.68     20.80  --
1692.90/424.32	c  N dy  3746    907079       425       614     26604     69469     82449   5364747     16.68     22.98  --
1725.18/432.41	c  N dy  3830    928259       425       614     26606     51225     82449   3696749     16.68     18.02  --
1764.29/442.21	c  N dy  3912    948384       425       614     26606     69646     82449   5356642     16.70     17.83  --
1795.01/449.97	c  N dy  3975    968469       425       614     26606     49551     82449   3486560     16.68     17.58  --
1832.52/459.32	c  N dy  4083    988690       425       614     26607     68309     82449   5199962     16.73     17.71  --
1870.41/468.82	c  N dy  4169   1010024       425       614     26609     48325     82449   3160161     16.74     17.71  --
1902.74/476.90	c  N dy  4251   1030288       425       614     26610     66986     82449   4766535     16.76     17.93  --
1942.66/487.00	c  N dy  4352   1050325       425       614     26611     44884     82449   2751070     16.79     24.78  --
1972.16/494.32	c  N dy  4458   1070365       425       614     26612     63433     82449   4356959     16.84     39.94  --
1975.35/495.11	c  F st  4472   1071879       425       614     26612     64809     82449   4473506     16.85   no data  --
2010.86/504.03	c  N dy  4546   1090386       425       614     26614     81779     82449   5865185     16.86     18.06  --
2037.20/510.63	c  N dy  4634   1110414       425       614     26614     58774     82449   3896305     16.88     22.15  --
2074.32/519.94	c  N dy  4737   1130663       425       614     26615     77352     82449   5445657     16.90     17.89  --
2107.82/528.31	c  N dy  4852   1150759       425       614     26616     53591     82449   3252363     16.94     38.58  --
2135.77/535.41	c  N dy  4917   1170837       425       614     26617     72015     82449   4867726     16.93     18.03  --
2170.88/544.13	c  N dy  4998   1190929       425       614     26618     47267     82449   2611863     16.94     18.17  --
2195.59/550.37	c  S st  5098   1209904       425       614     26619     64839     82449   4019077     16.97     13.99  --
2196.39/550.54	c  S st  5098   1210407       425       614     26619     65335     82449   4066695     16.97   no data  --
2196.39/550.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2196.39/550.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2199.18/551.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 19.2M T:  2.59
2199.58/551.30	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2208.76/553.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  9.38 s
2208.76/553.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.01 s
2208.76/553.66	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s
2414.64/605.27	c lits-rem:      4995  cl-subs:     6691  v-elim:      0  v-fix:    0  time: 205.75 s
2414.64/605.27	c vivif2 --  cl tried      614 cl shrink        2 lits rem          2 time: 0.00
2415.04/605.36	c vivif2 --  cl tried    58644 cl shrink     3930 lits rem       8829 time: 0.36
2416.24/605.67	c asymm  cl-useful: 2/275/614 lits-rem:2 time: 1.24
2416.24/605.67	c calculated reachability. Time: 0.00
2416.24/605.67	c  N dy  5098   1210407       425       614     26621     58642     82445   3900452     16.97   no data  --
2452.54/614.78	c  N dy  5182   1230835       425       614     26628     77483     82445   5256868     16.97     18.02  --
2490.44/624.27	c  N dy  5270   1251196       425       614     26632     52194     82445   2937217     16.97     17.86  --
2516.38/630.73	c  N dy  5313   1271279       424       614     26648     70473     82445   4332369     16.92     35.81  --
2555.88/640.62	c  N dy  5428   1291356       424       614     26648     89214     82445   6121738     16.98     41.17  --
2582.21/647.26	c  N dy  5519   1312583       424       614     26648     63765     82445   4048820     17.00     18.04  --
2618.12/656.21	c  N dy  5605   1334354       424       614     26648     83928     82445   5888296     17.01     17.96  --
2652.83/664.97	c  N dy  5689   1355011       424       614     26650     56981     82445   3397326     17.03     18.18  --
2687.94/673.73	c  N dy  5805   1375053       424       614     26651     75725     82445   5075916     17.09     42.74  --
2744.20/687.82	c  N dy  5953   1395142       424       614     26651     94467     82445   6764855     17.20     30.13  --
2772.92/695.01	c  N dy  6020   1415229       424       614     26651     65524     82445   4022434     17.19     33.93  --
2810.04/704.32	c  N dy  6109   1436635       424       614     26651     85370     82445   5870349     17.19     18.11  --
2851.16/714.70	c  N dy  6229   1456637       424       614     26652     55909     82445   3161559     17.25     34.13  --
2882.29/722.41	c  N dy  6328   1476671       424       614     26652     74646     82445   4931336     17.29     30.75  --
2928.14/733.96	c  N dy  6424   1497167       424       614     26653     93600     82445   6631133     17.32     18.47  --
2960.46/742.08	c  N dy  6503   1518559       424       614     26654     64146     82445   3846755     17.33     18.47  --
2998.76/751.65	c  N dy  6596   1539042       424       614     26654     83020     82445   5565172     17.36     18.35  --
3055.00/765.77	c  N dy  6716   1559224       424       614     26655     51757     82445   2629798     17.41     18.40  --
3085.73/773.41	c  N dy  6829   1579324       424       614     26656     70560     82445   4359393     17.46     19.38  --
3129.22/784.39	c  N dy  6922   1599689       424       614     26657     89482     82445   6096683     17.48     18.95  --
3174.71/795.76	c  N dy  7016   1622138       424       614     26657     59194     82445   3215337     17.50     18.54  --
3208.63/804.29	c  N dy  7114   1642383       424       614     26657     78073     82445   4951709     17.53     18.67  --
3253.71/815.55	c  N dy  7217   1662449       424       614     26657     96696     82445   6530685     17.56     25.28  --
3294.01/825.67	c  N dy  7353   1682515       424       614     26658     63484     82445   3551267     17.63     18.66  --
3329.54/834.59	c  N dy  7466   1702674       424       614     26658     82264     82445   5223172     17.67     18.68  --
3341.90/837.68	c  S st  7484   1710408       424       614     26658     89394     82445   5803910     17.66     16.65  --
3342.71/837.90	c  S st  7484   1710913       424       614     26658     89889     82445   5853988     17.66   no data  --
3343.13/837.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3343.13/837.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3347.88/839.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 27.6M T:  4.85
3348.68/839.39	c bin-w-bin subsume rem            2 bins  time:  0.02 s
3358.25/841.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  9.49 s
3358.25/841.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    424 time:  0.01 s
3358.25/841.78	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.01 s
3626.36/908.95	c lits-rem:      2402  cl-subs:     6598  v-elim:      0  v-fix:    0  time: 267.82 s
3626.36/908.95	c vivif2 --  cl tried      614 cl shrink        3 lits rem          3 time: 0.00
3626.76/909.05	c vivif2 --  cl tried    72568 cl shrink     2452 lits rem       3252 time: 0.41
3627.98/909.40	c asymm  cl-useful: 0/283/614 lits-rem:0 time: 1.38
3627.98/909.41	c calculated reachability. Time: 0.00
3627.98/909.41	c  N dy  7484   1710913       424       614     26444     72568     82083   5454711     17.66   no data  --
3671.45/920.25	c  N dy  7564   1730925       424       614     26444     90966     82083   7060961     17.66     18.86  --
3700.98/927.69	c  N dy  7631   1751452       424       614     26444     62540     82083   4153405     17.65     19.21  --
3735.69/936.34	c  N dy  7704   1771860       424       614     26446     81244     82083   5728395     17.64     18.89  --
3780.38/947.52	c  N dy  7784   1792543       424       614     26447    100231     82083   7289746     17.63     18.58  --
3810.70/955.18	c  N dy  7851   1815129       424       614     26447     70182     82083   4610273     17.61     18.84  --
3843.05/963.26	c  N dy  7915   1835342       424       614     26448     88815     82083   6248970     17.60     18.63  --
3880.12/972.50	c  N dy  7956   1857344       424       614     26451     56166     82083   3363820     17.55     18.52  --
3907.65/979.46	c  N dy  8023   1877992       424       614     26452     75088     82083   4998315     17.55     18.65  --
3949.13/989.86	c  N dy  8103   1898078       424       614     26452     93480     82083   6474461     17.56     28.65  --
4005.43/1004.00	c  N dy  8178   1921875       424       614     26456     60865     82083   3541637     17.55     18.54  --
4037.72/1012.07	c  N dy  8259   1941887       424       614     26456     79270     82083   5106239     17.55     26.70  --
4078.82/1022.33	c  N dy  8335   1961974       424       614     26458     97733     82083   6621260     17.54     18.59  --
4130.28/1035.24	c  N dy  8425   1982694       424       614     26459     61014     82083   3418410     17.55     18.50  --
4164.99/1043.94	c  N dy  8521   2003247       424       614     26461     79989     82083   5010571     17.57     18.50  --
4209.69/1055.12	c  N dy  8601   2023250       424       614     26464     98342     82083   6455889     17.57     18.53  --
4265.14/1069.05	c  N dy  8689   2044405       424       614     26470     61001     82083   3454377     17.57     18.75  --
4299.06/1077.51	c  N dy  8757   2066132       424       614     26474     80837     82083   5030684     17.56     19.10  --
4346.94/1089.56	c  N dy  8839   2089552       424       614     26478    102532     82083   6787454     17.55     18.63  --
4395.62/1101.80	c  N dy  8905   2109729       424       614     26482     63086     82083   3580676     17.55     18.66  --
4430.34/1110.48	c  N dy  8982   2130397       424       614     26486     82110     82083   5017250     17.54     18.70  --
4485.39/1124.20	c  N dy  9052   2150919       423       614     26500    100891     82083   6147903     17.53     18.57  --
4529.67/1135.37	c  N dy  9147   2171224       423       614     26500     60945     82083   3144257     17.55     19.14  --
4555.21/1141.76	c  N dy  9236   2191248       423       614     26500     79478     82083   4843349     17.57     25.25  --
4596.71/1152.16	c  S st  9349   2210913       423       614     26502     97783     82083   6547240     17.60     13.36  --
4597.92/1152.43	c  S st  9349   2211423       423       614     26502     98286     82083   6593366     17.60   no data  --
4597.92/1152.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
4597.92/1152.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4602.73/1153.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 31.1M T:  4.86
4603.89/1153.98	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4612.66/1156.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.47 s
4612.66/1156.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    423 time:  0.01 s
4612.66/1156.11	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: 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-3369193-1305415683/watcher-3369193-1305415683 -o /tmp/evaluation-result-3369193-1305415683/solver-3369193-1305415683 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369193-1305415683.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.51 7.98 7.97 2/312 8999
/proc/meminfo: memFree=27326620/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 385759576 52465664 352 33554432000 4194304 4650419 140735650969872 18446744073709551615 47331990300594 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 12809 352 303 112 0 7774 0
[pid=8999/tid=9000] ppid=8997 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 385759576 52465664 352 33554432000 4194304 4650419 140735650969872 18446744073709551615 47331990300594 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 385759576 52465664 352 33554432000 4194304 4650419 140735650969872 18446744073709551615 47331990300594 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 385759576 52465664 352 33554432000 4194304 4650419 140735650969872 18446744073709551615 268660718577 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0544339 s]
/proc/loadavg: 7.51 7.98 7.97 2/312 8999
/proc/meminfo: memFree=27326620/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=282996 CPUtime=0.18 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 2386 0 0 0 17 1 0 0 18 0 4 0 385759576 289787904 2282 33554432000 4194304 4650419 140735650969872 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 70749 2282 390 112 0 65714 0
[pid=8999/tid=9000] ppid=8997 vsize=282996 CPUtime=0.04 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 502 0 0 0 4 0 0 0 18 0 4 0 385759576 289787904 2282 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=282996 CPUtime=0.04 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 535 0 0 0 4 0 0 0 18 0 4 0 385759576 289787904 2283 33554432000 4194304 4650419 140735650969872 18446744073709551615 4331879 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=282996 CPUtime=0.03 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 427 0 0 0 3 0 0 0 18 0 4 0 385759576 289787904 2283 33554432000 4194304 4650419 140735650969872 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 282996

[startup+0.116161 s]
/proc/loadavg: 7.51 7.98 7.97 2/312 8999
/proc/meminfo: memFree=27326620/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=288828 CPUtime=3.59 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 9091 0 0 0 357 2 0 0 19 0 4 0 385759576 295759872 5619 33554432000 4194304 4650419 140735650969872 18446744073709551615 4315206 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 72207 5619 392 112 0 67172 0
[pid=8999/tid=9000] ppid=8997 vsize=288828 CPUtime=0.89 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 2132 0 0 0 89 0 0 0 19 0 4 0 385759576 295759872 5619 33554432000 4194304 4650419 140735650969872 18446744073709551615 4329039 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=288828 CPUtime=0.89 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 1989 0 0 0 89 0 0 0 18 0 4 0 385759576 295759872 5619 33554432000 4194304 4650419 140735650969872 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=288828 CPUtime=0.88 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 2534 0 0 0 88 0 0 0 19 0 4 0 385759576 295759872 5619 33554432000 4194304 4650419 140735650969872 18446744073709551615 4328199 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 288828

[startup+1.00966 s]
/proc/loadavg: 7.51 7.98 7.97 2/312 8999
/proc/meminfo: memFree=27326620/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=289748 CPUtime=3.99 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 9946 0 0 0 397 2 0 0 19 0 4 0 385759576 296701952 5595 33554432000 4194304 4650419 140735650969872 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 72437 5595 392 112 0 67402 0
[pid=8999/tid=9000] ppid=8997 vsize=289748 CPUtime=0.99 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 2241 0 0 0 99 0 0 0 19 0 4 0 385759576 296701952 5595 33554432000 4194304 4650419 140735650969872 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=289748 CPUtime=0.99 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 2071 0 0 0 99 0 0 0 19 0 4 0 385759576 296701952 5595 33554432000 4194304 4650419 140735650969872 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=289748 CPUtime=0.98 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 2656 0 0 0 98 0 0 0 19 0 4 0 385759576 296701952 5595 33554432000 4194304 4650419 140735650969872 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 289748

[startup+1.10965 s]
/proc/loadavg: 7.51 7.98 7.97 2/312 8999
/proc/meminfo: memFree=27326620/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=289748 CPUtime=4.39 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 10339 0 0 0 437 2 0 0 19 0 4 0 385759576 296701952 5988 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 72437 5988 392 112 0 67402 0
[pid=8999/tid=9000] ppid=8997 vsize=289748 CPUtime=1.09 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 2340 0 0 0 109 0 0 0 19 0 4 0 385759576 296701952 5988 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=289748 CPUtime=1.09 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 2133 0 0 0 109 0 0 0 19 0 4 0 385759576 296701952 5988 33554432000 4194304 4650419 140735650969872 18446744073709551615 4315077 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=289748 CPUtime=1.08 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 2748 0 0 0 108 0 0 0 19 0 4 0 385759576 296701952 5988 33554432000 4194304 4650419 140735650969872 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 289748

[startup+1.50958 s]
/proc/loadavg: 7.51 7.98 7.97 2/312 8999
/proc/meminfo: memFree=27326620/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=291812 CPUtime=5.99 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 13300 0 0 0 597 2 0 0 20 0 4 0 385759576 298815488 6332 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 72953 6332 393 112 0 67918 0
[pid=8999/tid=9000] ppid=8997 vsize=291812 CPUtime=1.49 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 3215 0 0 0 149 0 0 0 20 0 4 0 385759576 298815488 6332 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=291812 CPUtime=1.49 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 2949 0 0 0 149 0 0 0 20 0 4 0 385759576 298815488 6332 33554432000 4194304 4650419 140735650969872 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=291812 CPUtime=1.48 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 3616 0 0 0 148 0 0 0 20 0 4 0 385759576 298815488 6332 33554432000 4194304 4650419 140735650969872 18446744073709551615 4349936 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 291812

[startup+3.1003 s]
/proc/loadavg: 7.51 7.98 7.97 9/323 9011
/proc/meminfo: memFree=27251360/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=284252 CPUtime=12.33 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 25110 0 0 0 1229 4 0 0 25 0 4 0 385759576 291074048 11756 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 71063 11756 394 112 0 66028 0
[pid=8999/tid=9000] ppid=8997 vsize=284252 CPUtime=3.06 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 4984 0 0 0 306 0 0 0 25 0 4 0 385759576 291074048 11756 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=284252 CPUtime=3.08 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 4880 0 0 0 307 1 0 0 25 0 4 0 385759576 291074048 11756 33554432000 4194304 4650419 140735650969872 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=284252 CPUtime=3.08 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 9152 0 0 0 307 1 0 0 25 0 4 0 385759576 291074048 11756 33554432000 4194304 4650419 140735650969872 18446744073709551615 4435749 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 284252

[startup+6.31274 s]
/proc/loadavg: 7.62 8.00 7.98 9/323 9011
/proc/meminfo: memFree=27156408/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=304580 CPUtime=25.15 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 44267 0 0 0 2508 7 0 0 25 0 4 0 385759576 311889920 27650 33554432000 4194304 4650419 140735650969872 18446744073709551615 4439371 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 76145 27650 394 112 0 71110 0
[pid=8999/tid=9000] ppid=8997 vsize=304580 CPUtime=6.24 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 12953 0 0 0 622 2 0 0 25 0 4 0 385759576 311889920 27650 33554432000 4194304 4650419 140735650969872 18446744073709551615 4435469 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=304580 CPUtime=6.29 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 9797 0 0 0 628 1 0 0 25 0 4 0 385759576 311889920 27650 33554432000 4194304 4650419 140735650969872 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=304580 CPUtime=6.29 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 9441 0 0 0 628 1 0 0 25 0 4 0 385759576 311889920 27650 33554432000 4194304 4650419 140735650969872 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 304580

[startup+12.7006 s]
/proc/loadavg: 7.65 8.00 7.98 9/323 9012
/proc/meminfo: memFree=27115732/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=337244 CPUtime=50.64 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 59143 0 0 0 5054 10 0 0 25 0 4 0 385759576 345337856 36716 33554432000 4194304 4650419 140735650969872 18446744073709551615 4436155 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 84311 36716 394 112 0 79276 0
[pid=8999/tid=9000] ppid=8997 vsize=337244 CPUtime=12.57 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 16201 0 0 0 1254 3 0 0 25 0 4 0 385759576 345337856 36716 33554432000 4194304 4650419 140735650969872 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=337244 CPUtime=12.68 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 13670 0 0 0 1266 2 0 0 25 0 4 0 385759576 345337856 36716 33554432000 4194304 4650419 140735650969872 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=337244 CPUtime=12.67 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 14005 0 0 0 1265 2 0 0 25 0 4 0 385759576 345337856 36717 33554432000 4194304 4650419 140735650969872 18446744073709551615 4339796 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 337244

[startup+25.5004 s]
/proc/loadavg: 7.80 8.02 7.98 9/323 9012
/proc/meminfo: memFree=26974128/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=470564 CPUtime=101.71 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 96950 0 0 0 10153 18 0 0 25 0 4 0 385759576 481857536 64833 33554432000 4194304 4650419 140735650969872 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 117641 64833 395 112 0 112606 0
[pid=8999/tid=9000] ppid=8997 vsize=470564 CPUtime=25.24 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 27025 0 0 0 2519 5 0 0 25 0 4 0 385759576 481857536 64833 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=470564 CPUtime=25.48 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 19008 0 0 0 2545 3 0 0 25 0 4 0 385759576 481857536 64833 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=470564 CPUtime=25.47 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 31190 0 0 0 2542 5 0 0 25 0 4 0 385759576 481857536 64833 33554432000 4194304 4650419 140735650969872 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 470564

[startup+51.1009 s]
/proc/loadavg: 7.87 8.01 7.98 9/323 9013
/proc/meminfo: memFree=26892612/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=551916 CPUtime=203.85 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 127761 0 0 0 20358 27 0 0 25 0 4 0 385759576 565161984 78679 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 137979 78679 395 112 0 132944 0
[pid=8999/tid=9000] ppid=8997 vsize=551916 CPUtime=50.58 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 36864 0 0 0 5050 8 0 0 25 0 4 0 385759576 565161984 78679 33554432000 4194304 4650419 140735650969872 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=551916 CPUtime=51.07 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 25579 0 0 0 5102 5 0 0 25 0 4 0 385759576 565161984 78679 33554432000 4194304 4650419 140735650969872 18446744073709551615 4303936 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=551916 CPUtime=51.07 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 36584 0 0 0 5101 6 0 0 25 0 4 0 385759576 565161984 78679 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 551916

[startup+102.301 s]
/proc/loadavg: 8.04 8.04 7.99 9/323 9014
/proc/meminfo: memFree=26788640/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=590808 CPUtime=408.11 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 203440 0 0 0 40766 45 0 0 25 0 4 0 385759576 604987392 92380 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 147702 92380 397 112 0 142667 0
[pid=8999/tid=9000] ppid=8997 vsize=590808 CPUtime=101.26 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 61267 0 0 0 10113 13 0 0 25 0 4 0 385759576 604987392 92380 33554432000 4194304 4650419 140735650969872 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=590808 CPUtime=102.26 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 27873 0 0 0 10220 6 0 0 25 0 4 0 385759576 604987392 92380 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=590808 CPUtime=102.27 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 65166 0 0 0 10213 14 0 0 25 0 4 0 385759576 604987392 92380 33554432000 4194304 4650419 140735650969872 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.11
Current children cumulated vsize (KiB) 590808

[startup+162.3 s]

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

[pid=8999] ppid=8997 vsize=1252536 CPUtime=2802.06 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 946273 0 0 0 279953 253 0 0 25 0 4 0 385759576 1282596864 200107 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 313134 200107 394 112 0 308099 0
[pid=8999/tid=9000] ppid=8997 vsize=1252536 CPUtime=695.28 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 246116 0 0 0 69466 62 0 0 25 0 4 0 385759576 1282596864 200107 33554432000 4194304 4650419 140735650969872 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=1252536 CPUtime=702.17 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 245543 0 0 0 70145 72 0 0 25 0 4 0 385759576 1282596864 200107 33554432000 4194304 4650419 140735650969872 18446744073709551615 4439318 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=1252536 CPUtime=702.29 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 242867 0 0 0 70169 60 0 0 25 0 4 0 385759576 1282596864 200107 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2802.06
Current children cumulated vsize (KiB) 1252536

[startup+762.3 s]
/proc/loadavg: 8.13 8.11 8.03 9/323 9032
/proc/meminfo: memFree=26065780/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=1276012 CPUtime=3041.45 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 981961 0 0 0 303877 268 0 0 25 0 4 0 385759576 1306636288 215107 33554432000 4194304 4650419 140735650969872 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 319003 215107 394 112 0 313968 0
[pid=8999/tid=9000] ppid=8997 vsize=1276012 CPUtime=754.67 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 246116 0 0 0 75405 62 0 0 25 0 4 0 385759576 1306636288 215107 33554432000 4194304 4650419 140735650969872 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=1276012 CPUtime=762.17 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 249316 0 0 0 76143 74 0 0 25 0 4 0 385759576 1306636288 215107 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=1276012 CPUtime=762.29 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 259185 0 0 0 76162 67 0 0 25 0 4 0 385759576 1306636288 215107 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.45
Current children cumulated vsize (KiB) 1276012

[startup+822.301 s]
/proc/loadavg: 8.10 8.11 8.03 9/323 9033
/proc/meminfo: memFree=26063500/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=1188116 CPUtime=3280.84 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 1028253 0 0 0 327797 287 0 0 25 0 4 0 385759576 1216630784 209400 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 297029 209400 394 112 0 291994 0
[pid=8999/tid=9000] ppid=8997 vsize=1188116 CPUtime=814.08 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 247232 0 0 0 81346 62 0 0 25 0 4 0 385759576 1216630784 209400 33554432000 4194304 4650419 140735650969872 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=1188116 CPUtime=822.16 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 266013 0 0 0 82135 81 0 0 25 0 4 0 385759576 1216630784 209400 33554432000 4194304 4650419 140735650969872 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=1188116 CPUtime=822.29 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 274973 0 0 0 82156 73 0 0 25 0 4 0 385759576 1216630784 209400 33554432000 4194304 4650419 140735650969872 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.84
Current children cumulated vsize (KiB) 1188116

[startup+882.301 s]
/proc/loadavg: 8.10 8.10 8.03 9/323 9035
/proc/meminfo: memFree=26003688/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=1319540 CPUtime=3520.24 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 1079957 0 0 0 351720 304 0 0 25 0 4 0 385759576 1351208960 225142 33554432000 4194304 4650419 140735650969872 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 329885 225142 394 112 0 324850 0
[pid=8999/tid=9000] ppid=8997 vsize=1319540 CPUtime=873.48 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 261548 0 0 0 87283 65 0 0 25 0 4 0 385759576 1351208960 225142 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=1319540 CPUtime=882.15 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 282772 0 0 0 88127 88 0 0 25 0 4 0 385759576 1351208960 225142 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=1319540 CPUtime=882.28 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 291170 0 0 0 88149 79 0 0 25 0 4 0 385759576 1351208960 225142 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.24
Current children cumulated vsize (KiB) 1319540

[startup+942.301 s]
/proc/loadavg: 8.03 8.08 8.02 9/323 9036
/proc/meminfo: memFree=26013200/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=1231216 CPUtime=3759.65 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 1129681 0 0 0 375645 320 0 0 25 0 4 0 385759576 1260765184 214824 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 307804 214824 394 112 0 302769 0
[pid=8999/tid=9000] ppid=8997 vsize=1231216 CPUtime=932.88 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 279302 0 0 0 93217 71 0 0 25 0 4 0 385759576 1260765184 214825 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=1231216 CPUtime=942.15 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 301331 0 0 0 94123 92 0 0 25 0 4 0 385759576 1260765184 214825 33554432000 4194304 4650419 140735650969872 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=1231216 CPUtime=942.3 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 301495 0 0 0 94147 83 0 0 25 0 4 0 385759576 1260765184 214826 33554432000 4194304 4650419 140735650969872 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3759.65
Current children cumulated vsize (KiB) 1231216

[startup+1002.3 s]
/proc/loadavg: 8.10 8.09 8.03 9/323 9038
/proc/meminfo: memFree=26010552/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=1213288 CPUtime=3999.02 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 1192658 0 0 0 399566 336 0 0 25 0 4 0 385759576 1242406912 217581 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 303322 217581 394 112 0 298287 0
[pid=8999/tid=9000] ppid=8997 vsize=1213288 CPUtime=992.28 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 296109 0 0 0 99152 76 0 0 25 0 4 0 385759576 1242406912 217581 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=1213288 CPUtime=1002.13 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 316777 0 0 0 100117 96 0 0 25 0 4 0 385759576 1242406912 217581 33554432000 4194304 4650419 140735650969872 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=1213288 CPUtime=1002.29 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 312206 0 0 0 100144 85 0 0 25 0 4 0 385759576 1242406912 217581 33554432000 4194304 4650419 140735650969872 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3999.02
Current children cumulated vsize (KiB) 1213288

[startup+1062.31 s]
/proc/loadavg: 8.04 8.07 8.02 9/323 9040
/proc/meminfo: memFree=25929776/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=1318052 CPUtime=4238.45 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 1228804 0 0 0 423495 350 0 0 25 0 4 0 385759576 1349685248 235104 33554432000 4194304 4650419 140735650969872 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 329513 235104 394 112 0 324478 0
[pid=8999/tid=9000] ppid=8997 vsize=1318052 CPUtime=1051.68 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 312746 0 0 0 105086 82 0 0 25 0 4 0 385759576 1349685248 235104 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=1318052 CPUtime=1062.13 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 322771 0 0 0 106115 98 0 0 25 0 4 0 385759576 1349685248 235104 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=1318052 CPUtime=1062.3 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 313678 0 0 0 106145 85 0 0 25 0 4 0 385759576 1349685248 235104 33554432000 4194304 4650419 140735650969872 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4238.45
Current children cumulated vsize (KiB) 1318052

[startup+1122.3 s]
/proc/loadavg: 8.09 8.09 8.03 9/323 9041
/proc/meminfo: memFree=25967556/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=1348612 CPUtime=4477.81 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 1270391 0 0 0 447417 364 0 0 25 0 4 0 385759576 1380978688 231649 33554432000 4194304 4650419 140735650969872 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 337153 231649 394 112 0 332118 0
[pid=8999/tid=9000] ppid=8997 vsize=1348612 CPUtime=1111.07 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 323067 0 0 0 111021 86 0 0 25 0 4 0 385759576 1380978688 231649 33554432000 4194304 4650419 140735650969872 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=1348612 CPUtime=1122.11 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 335464 0 0 0 112108 103 0 0 25 0 4 0 385759576 1380978688 231649 33554432000 4194304 4650419 140735650969872 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=1348612 CPUtime=1122.29 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 323010 0 0 0 112143 86 0 0 25 0 4 0 385759576 1380978688 231649 33554432000 4194304 4650419 140735650969872 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4477.81
Current children cumulated vsize (KiB) 1348612

[startup+1182.3 s]
/proc/loadavg: 8.22 8.11 8.04 9/323 9043
/proc/meminfo: memFree=25847376/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=1418076 CPUtime=4717.2 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 1336301 0 0 0 471338 382 0 0 25 0 4 0 385759576 1452109824 247117 33554432000 4194304 4650419 140735650969872 18446744073709551615 4438939 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 354519 247117 394 112 0 349484 0
[pid=8999/tid=9000] ppid=8997 vsize=1418076 CPUtime=1170.47 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 335579 0 0 0 116957 90 0 0 25 0 4 0 385759576 1452109824 247117 33554432000 4194304 4650419 140735650969872 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=1418076 CPUtime=1182.1 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 347458 0 0 0 118102 108 0 0 25 0 4 0 385759576 1452109824 247117 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=1418076 CPUtime=1182.3 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 355648 0 0 0 118138 92 0 0 25 0 4 0 385759576 1452109824 247117 33554432000 4194304 4650419 140735650969872 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4717.2
Current children cumulated vsize (KiB) 1418076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.11 s]
/proc/loadavg: 8.23 8.12 8.04 9/323 9043
/proc/meminfo: memFree=25845008/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=1352532 CPUtime=4800.25 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 1340047 0 0 0 479641 384 0 0 25 0 4 0 385759576 1384992768 247843 33554432000 4194304 4650419 140735650969872 18446744073709551615 4438629 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 338133 247843 394 112 0 333098 0
[pid=8999/tid=9000] ppid=8997 vsize=1352532 CPUtime=1191.07 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 335579 0 0 0 119017 90 0 0 25 0 4 0 385759576 1384992768 247845 33554432000 4194304 4650419 140735650969872 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=1352532 CPUtime=1202.93 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 349867 0 0 0 120183 110 0 0 25 0 4 0 385759576 1384992768 247845 33554432000 4194304 4650419 140735650969872 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=1352532 CPUtime=1203.12 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 356987 0 0 0 120219 93 0 0 25 0 4 0 385759576 1384992768 247845 33554432000 4194304 4650419 140735650969872 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1352532

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

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

[startup+1203.11 s]
/proc/loadavg: 8.23 8.12 8.04 9/323 9043
/proc/meminfo: memFree=25845008/32951124 swapFree=46575252/67111528
[pid=8999] ppid=8997 vsize=1352532 CPUtime=4800.25 cores=0,2,4,6
/proc/8999/stat : 8999 (strangenight1-m) R 8997 8999 8545 0 -1 4202496 1340047 0 0 0 479641 384 0 0 25 0 4 0 385759576 1384992768 247843 33554432000 4194304 4650419 140735650969872 18446744073709551615 4438629 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8999/statm: 338133 247843 394 112 0 333098 0
[pid=8999/tid=9000] ppid=8997 vsize=1352532 CPUtime=1191.07 cores=0,2,4,6
/proc/8999/task/9000/stat : 9000 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 335579 0 0 0 119017 90 0 0 25 0 4 0 385759576 1384992768 247845 33554432000 4194304 4650419 140735650969872 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8999/tid=9001] ppid=8997 vsize=1352532 CPUtime=1202.93 cores=0,2,4,6
/proc/8999/task/9001/stat : 9001 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 349867 0 0 0 120183 110 0 0 25 0 4 0 385759576 1384992768 247845 33554432000 4194304 4650419 140735650969872 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8999/tid=9002] ppid=8997 vsize=1352532 CPUtime=1203.12 cores=0,2,4,6
/proc/8999/task/9002/stat : 9002 (strangenight1-m) R 8997 8999 8545 0 -1 4202560 356987 0 0 0 120219 93 0 0 25 0 4 0 385759576 1384992768 247845 33554432000 4194304 4650419 140735650969872 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1352532

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.17
CPU time (s): 4800.34
CPU user time (s): 4796.45
CPU system time (s): 3.89141
CPU usage (%): 398.973
Max. virtual memory (cumulated for all children) (KiB): 1418076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.45
system time used= 3.89141
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1340050
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= 455
involuntary context switches= 21767

runsolver used 3.39748 second user time and 8.65768 second system time

The end

Launcher Data 

Begin job on node107 at 2011-05-15 01:28:03
IDJOB=3369193
IDBENCH=84010
IDSOLVER=1846
FILE ID=node107/3369193-1305415683
RUNJOBID= node107-1305414478-8890
PBS_JOBID= 13324536
Free space on /tmp= 73436 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369193-1305415683/watcher-3369193-1305415683 -o /tmp/evaluation-result-3369193-1305415683/solver-3369193-1305415683 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369193-1305415683.cnf

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

MD5SUM BENCH= 22bbcb4a25a1da66113c240898c75509
RANDOM SEED=1743058651

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
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.67
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.829
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.82
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.829
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.74
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.829
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	: 5359.47
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.829
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.829
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:      27328396 kB
Buffers:        136860 kB
Cached:         923648 kB
SwapCached:       9832 kB
Active:        5258072 kB
Inactive:        85368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27328396 kB
SwapTotal:    67111528 kB
SwapFree:     46575252 kB
Dirty:            7400 kB
Writeback:           0 kB
AnonPages:     4280568 kB
Mapped:          18944 kB
Slab:           146464 kB
PageTables:      68380 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 64916896 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= 73424 MiB
End job on node107 at 2011-05-15 01:48:08