Trace number 3263695

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.13 1201.65

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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3263695-1304126488.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.01 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.03/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
0.03/0.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.03/0.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.03/0.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.03/0.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
0.03/0.11	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.00 s
0.03/0.11	c lits-rem:        97  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
0.03/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.03/0.11	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.03/0.11	c calculated reachability. Time: 0.00
0.03/0.11	c Calc default polars -  time:   0.00 s pos:     210 undec:      15 neg:     225
0.03/0.11	c =========================================================================================
0.03/0.11	c types(t): F = full restart, N = normal restart
0.03/0.11	c types(t): S = simplification begin/end, E = solution found
0.03/0.11	c restart types(rt): st = static, dy = dynamic
0.03/0.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.22/0.90	c  B st     0         0       435       299     27759         0     67331         0   no data   no data
3.22/0.90	c  N dy    10      4016       435       299     27759      3754     67331    518321     14.27     15.32
3.22/0.90	c  N dy    36      8074       435       299     27759      5257     67329    619631     16.58     29.54
5.16/1.37	c  N dy    47     12397       435       299     27759      5320     67329    552023     15.72     16.65
7.55/1.95	c  N dy    62     16408       435       299     27759      9155     67329   1037758     15.92     22.20
10.35/2.67	c  N dy    86     20861       435       299     27759      8008     67329    840601     16.62     17.49
13.15/3.37	c  N dy    91     24966       435       299     27759     11879     67329   1379069     16.08     17.12
13.15/3.38	c  F st    92     25000       435       299     27759     11910     67329   1382197     16.10   no data
16.74/4.29	c  N dy    98     30002       435       299     27759     10243     67329   1064955     16.10   no data
16.74/4.29	c  S st    98     30002       435       299     27759     10243     67329   1064955     16.10   no data
17.14/4.37	c  S st    98     30504       435       299     27759     10741     67329   1112767     16.10   no data
17.14/4.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.94/4.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.5M T:  0.14
17.94/4.51	c blocked clauses removed:        0 vars:      0 tried:         435 T: 0.00 s
17.94/4.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.94/4.59	c subs with bin:        0  lits-rem:      1358  v-fix:    0  time:  0.07 s
17.94/4.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
17.94/4.59	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.00 s
18.34/4.61	c lits-rem:       218  cl-subs:       10  v-elim:     10  v-fix:    0  time:  0.01 s
23.53/5.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.32 s
24.35/6.19	c lits-rem:       156  cl-subs:      220  v-elim:      0  v-fix:    0  time:  0.25 s
24.75/6.25	c asymm  cl-useful: 430/617/632 lits-rem:5405 time: 0.06
24.75/6.25	c calculated reachability. Time: 0.00
24.75/6.25	c  N dy    98     30504       425       632     26574      3475     83382    320169     16.10   no data
26.73/6.70	c  N dy   109     35189       425       632     26574      7901     83382    833013     15.75     16.60
27.94/7.10	c  N dy   117     39249       425       632     26574      7726     83382    780289     15.47     29.33
31.12/7.85	c  N dy   148     43595       425       632     26574     11827     83382   1265140     15.93     17.09
32.33/8.15	c  S st   155     45758       425       632     26574      7185     83382    652879     15.82     10.73
32.33/8.19	c  S st   155     46260       425       632     26574      7683     83382    698205     15.82   no data
32.73/8.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
32.73/8.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.7M T:  0.09
32.73/8.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
32.73/8.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
33.55/8.47	c subs with bin:        0  lits-rem:        99  v-fix:    0  time:  0.17 s
33.55/8.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
33.55/8.48	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
33.55/8.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
39.12/9.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.37 s
42.33/10.67	c lits-rem:       661  cl-subs:      260  v-elim:      0  v-fix:    0  time:  0.79 s
42.33/10.67	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
42.33/10.68	c vivif2 --  cl tried     7423 cl shrink        0 lits rem          0 time: 0.01
42.70/10.79	c asymm  cl-useful: 4/632/632 lits-rem:4 time: 0.10
42.70/10.79	c calculated reachability. Time: 0.00
42.70/10.79	c  N dy   155     46260       425       632     26574      7423     83279    672449     15.82   no data
45.10/11.36	c  N dy   173     50592       425       632     26574     11501     83279   1142904     15.87     16.83
49.10/12.31	c  N dy   208     54632       425       632     26574     15368     83279   1610993     16.56     18.29
52.29/13.10	c  N dy   222     58729       425       632     26574     10640     83279    978561     16.55     17.43
55.51/13.96	c  N dy   243     63049       425       632     26574     14700     83279   1497327     16.72     17.74
59.50/14.96	c  N dy   252     67095       425       632     26574     18523     83279   1889156     16.60     21.04
61.88/15.51	c  S st   261     69390       425       632     26574     10760     83279    928526     16.58   no data
61.88/15.58	c  S st   261     69893       425       632     26574     11257     83279    974137     16.58   no data
61.88/15.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
62.68/15.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.5M T:  0.14
62.68/15.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
62.68/15.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
63.47/15.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.18 s
63.47/15.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
63.47/15.90	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
63.47/15.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
69.47/17.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.50 s
74.66/18.71	c lits-rem:       919  cl-subs:      248  v-elim:      0  v-fix:    0  time:  1.27 s
74.66/18.71	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
74.66/18.72	c vivif2 --  cl tried    11009 cl shrink        0 lits rem          0 time: 0.01
75.46/18.91	c asymm  cl-useful: 10/632/632 lits-rem:18 time: 0.19
75.46/18.91	c calculated reachability. Time: 0.00
75.46/18.91	c  N dy   261     69893       425       632     26574     11009     83261    953691     16.58   no data
79.06/19.84	c  N dy   289     74451       425       632     26574     15313     83261   1463025     16.84     25.79
85.04/21.30	c  N dy   320     79289       425       632     26574     19853     83261   1996783     17.09     19.30
89.84/22.56	c  N dy   343     84780       425       632     26574     13951     83261   1225073     17.11     18.12
92.24/23.16	c  F st   354     87501       425       632     26574     16525     83261   1575142     17.05      9.78
95.83/24.06	c  N st   359     90799       425       632     26574     19557     83261   1937466     17.05   no data
103.45/25.95	c  N dy   376     96675       425       632     26574     12950     83261   1073225     17.09     23.92
108.24/27.12	c  N dy   386    102996       425       632     26574     18839     83261   1790976     16.87     17.79
109.82/27.51	c  S st   390    104840       425       632     26574     20532     83261   1998228     16.83     15.40
110.22/27.62	c  S st   390    105341       425       632     26574     21024     83261   2047286     16.83   no data
110.22/27.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
111.41/27.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.9M T:  0.30
111.41/27.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
111.41/27.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
112.23/28.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
112.23/28.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
112.23/28.11	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
112.23/28.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
118.61/29.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.60 s
148.57/37.20	c lits-rem:      3506  cl-subs:      901  v-elim:      0  v-fix:    0  time:  7.41 s
148.57/37.20	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
148.57/37.23	c vivif2 --  cl tried    20123 cl shrink        0 lits rem          0 time: 0.03
149.77/37.59	c asymm  cl-useful: 2/561/632 lits-rem:3 time: 0.36
149.77/37.59	c calculated reachability. Time: 0.00
149.77/37.59	c  N dy   390    105341       425       632     26574     20123     83258   1964898     16.83   no data
157.35/39.40	c  N dy   410    112159       425       632     26574     13530     83258   1087294     16.76     28.14
162.95/40.89	c  N dy   428    119627       425       632     26574     20491     83258   1955754     16.60     17.57
172.54/43.26	c  N dy   454    128101       425       632     26574     14420     83258   1137900     16.49     17.51
179.73/45.05	c  N dy   483    137505       425       632     26574     23146     83258   2137549     16.50     17.65
188.91/47.32	c  N dy   508    146332       425       632     26574     16500     83258   1336024     16.39     17.37
197.31/49.44	c  N dy   537    155673       425       632     26574     25235     83258   2308912     16.33     17.22
199.71/50.10	c  S st   546    158012       425       632     26574     27416     83258   2565740     16.30     11.31
200.53/50.25	c  S st   546    158513       425       632     26574     27913     83258   2615267     16.30   no data
200.53/50.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
202.11/50.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 13.1M T:  0.38
202.11/50.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
202.11/50.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
202.91/50.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
202.91/50.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
202.91/50.82	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
202.91/50.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
210.49/52.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.78 s
272.01/68.14	c lits-rem:      3277  cl-subs:     1124  v-elim:      0  v-fix:    0  time: 15.44 s
272.01/68.14	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
272.01/68.17	c vivif2 --  cl tried    26789 cl shrink        0 lits rem          0 time: 0.04
273.21/68.49	c asymm  cl-useful: 6/461/632 lits-rem:23 time: 0.32
273.21/68.49	c calculated reachability. Time: 0.00
273.21/68.49	c  N dy   546    158513       425       632     26574     26789     83235   2525677     16.30   no data
285.60/71.56	c  N dy   611    168701       425       632     26575     20539     83235   1769993     16.68     26.10
299.19/74.98	c  N dy   663    179521       425       632     26575     30746     83235   3017847     16.82     30.10
312.77/78.31	c  N dy   708    191015       425       632     26575     24593     83235   2200799     16.83     22.99
331.14/82.90	c  N dy   760    203218       425       632     26575     18273     83235   1459018     16.88     30.90
351.92/88.10	c  N dy   828    220725       425       632     26575     34724     83235   3406499     16.97     17.92
369.10/92.49	c  N dy   867    235301       425       632     26575     29591     83235   2720332     16.91     18.12
373.49/93.53	c  S st   882    237770       425       632     26575     31919     83235   3014646     16.94   no data
374.29/93.72	c  S st   882    238271       425       632     26575     32413     83235   3060335     16.94   no data
374.29/93.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
376.32/94.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 15.3M T:  0.50
376.32/94.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
376.32/94.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
377.09/94.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
377.09/94.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
377.09/94.42	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
377.09/94.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
384.70/96.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.87 s
443.01/110.96	c lits-rem:      3965  cl-subs:     1297  v-elim:      0  v-fix:    0  time: 14.57 s
443.01/110.96	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
443.41/111.01	c vivif2 --  cl tried    31116 cl shrink        7 lits rem          7 time: 0.04
444.21/111.28	c asymm  cl-useful: 3/410/632 lits-rem:18 time: 0.27
444.21/111.28	c calculated reachability. Time: 0.00
444.21/111.28	c  N dy   882    238271       425       632     26575     31116     83217   2962880     16.94   no data
464.20/116.27	c  N dy   930    253620       425       632     26579     25822     83217   2289396     16.87     17.78
488.55/122.31	c  N dy   965    273213       425       632     26579     23509     83217   1893085     16.67     17.56
508.53/127.32	c  N dy  1005    290674       425       632     26580     39731     83217   3739909     16.56     29.70
528.10/132.28	c  F st  1058    306253       425       632     26580     32742     83217   2829105     16.50     12.45
532.49/133.38	c  N st  1063    309550       425       632     26580     35836     83217   3157019     16.50   no data
562.46/140.87	c  N dy  1145    329340       425       632     26581     31842     83217   2591949     16.47     17.35
591.23/148.09	c  N dy  1204    349395       425       632     26581     27229     83217   2023108     16.38     35.53
601.61/150.63	c  S st  1244    357406       425       632     26583     34723     83217   2813901     16.39     14.66
602.01/150.79	c  S st  1244    357908       425       632     26583     35223     83217   2862238     16.39   no data
602.01/150.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
604.01/151.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 14.8M T:  0.41
604.01/151.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
604.01/151.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
604.42/151.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
604.42/151.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
604.42/151.39	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
604.82/151.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
613.20/153.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.08 s
672.31/168.32	c lits-rem:      3297  cl-subs:     2800  v-elim:      0  v-fix:    0  time: 14.75 s
672.31/168.32	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
672.31/168.37	c vivif2 --  cl tried    32423 cl shrink      751 lits rem        831 time: 0.05
673.51/168.63	c asymm  cl-useful: 4/422/632 lits-rem:4 time: 0.26
673.51/168.63	c calculated reachability. Time: 0.00
673.51/168.63	c  N dy  1244    357908       425       632     26583     32423     83213   2761204     16.39   no data
700.68/175.49	c  N dy  1287    377973       425       632     26586     27048     83213   2062682     16.29     21.70
731.44/183.17	c  N dy  1392    398149       425       632     26588     45909     83213   4210675     16.46     17.67
761.41/190.62	c  N dy  1500    418730       425       632     26588     40030     83213   3427044     16.58     17.56
789.40/197.61	c  N dy  1576    438833       425       632     26588     32651     83213   2520212     16.62     17.59
822.53/205.91	c  N dy  1678    459795       425       632     26588     52219     83213   4662022     16.72     17.67
848.89/212.51	c  N dy  1764    479998       425       632     26588     44001     83213   3708057     16.76     18.12
882.05/220.81	c  N dy  1849    500074       425       632     26588     34721     83213   2676712     16.79     18.44
913.60/228.75	c  N dy  1920    520175       425       632     26588     53276     83213   4702167     16.79     17.70
937.57/234.76	c  S st  1976    536863       425       632     26589     39935     83213   3154878     16.77     11.11
938.38/234.93	c  S st  1976    537364       425       632     26589     40434     83213   3200497     16.77   no data
938.38/234.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
940.37/235.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 15.6M T:  0.48
940.37/235.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
940.37/235.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
940.77/235.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
941.17/235.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
941.17/235.60	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
941.17/235.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
948.75/237.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.84 s
1003.49/251.28	c lits-rem:      3754  cl-subs:     2132  v-elim:      0  v-fix:    0  time: 13.73 s
1003.49/251.28	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
1003.89/251.33	c vivif2 --  cl tried    38302 cl shrink      575 lits rem        755 time: 0.05
1005.09/251.62	c asymm  cl-useful: 0/322/632 lits-rem:0 time: 0.29
1005.09/251.62	c calculated reachability. Time: 0.00
1005.09/251.62	c  N dy  1976    537364       425       632     26589     38302     83213   3117851     16.77   no data
1041.45/260.72	c  N dy  2057    557823       425       632     26593     57292     83213   5159367     16.77     17.72
1074.21/268.97	c  N dy  2183    577830       425       632     26595     46263     83213   3894433     16.89     33.03
1113.76/278.80	c  N dy  2281    597879       425       632     26596     34272     83213   2551318     16.97     37.15
1146.52/287.02	c  N dy  2369    617898       425       632     26598     52950     83213   4567359     17.02     31.56
1189.28/297.75	c  N dy  2483    637974       425       632     26600     39911     83213   3084869     17.14     18.20
1225.21/306.72	c  N dy  2563    658008       425       632     26601     58545     83213   5010831     17.13     30.51
1263.17/316.29	c  N dy  2665    680155       425       632     26601     46538     83213   3758286     17.17     18.07
1305.91/326.97	c  N dy  2763    700347       425       632     26601     65202     83213   5647626     17.22     18.14
1337.87/334.97	c  N dy  2846    720392       425       632     26603     50463     83213   4121774     17.23     21.05
1386.20/347.02	c  N dy  2938    740437       425       632     26603     34826     83213   2423258     17.28     18.68
1419.36/355.36	c  N dy  3027    760770       425       632     26603     53769     83213   4423476     17.32     18.23
1476.09/369.56	c  N dy  3164    783654       425       632     26605     39676     83213   2895063     17.45     18.38
1512.45/378.61	c  N dy  3261    803752       425       632     26607     58406     83213   4861963     17.49     26.81
1518.86/380.22	c  S st  3279    806046       425       632     26607     60571     83213   5106925     17.51   no data
1520.03/380.53	c  S st  3279    806546       425       632     26607     61065     83213   5158433     17.51   no data
1520.03/380.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1523.62/381.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 24.0M T:  0.87
1523.62/381.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1523.62/381.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1524.02/381.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.18 s
1524.02/381.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
1524.02/381.59	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
1524.43/381.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
1532.42/383.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.90 s
1664.25/416.68	c lits-rem:      7010  cl-subs:     4495  v-elim:      0  v-fix:    0  time: 32.98 s
1664.25/416.68	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
1664.65/416.77	c vivif2 --  cl tried    56570 cl shrink     2456 lits rem       5083 time: 0.09
1666.24/417.11	c asymm  cl-useful: 2/302/632 lits-rem:2 time: 0.35
1666.24/417.12	c calculated reachability. Time: 0.00
1666.24/417.12	c  N dy  3279    806546       425       632     26607     56570     83211   4970634     17.51   no data
1721.77/431.04	c  N dy  3410    826725       425       632     26610     39274     83211   2900774     17.64     18.67
1754.13/439.13	c  N dy  3495    846873       425       632     26613     58055     83211   4909034     17.68     19.12
1809.66/453.06	c  N dy  3642    866939       425       632     26613     39567     83211   2888875     17.80     43.50
1847.60/462.56	c  N dy  3763    887097       425       632     26613     58414     83211   4816022     17.91     19.22
1908.32/477.72	c  N dy  3882    907100       425       632     26613     38853     83211   2740822     17.98     24.45
1947.87/487.61	c  N dy  4005    927132       425       632     26613     57514     83211   4718409     18.07     19.48
2004.99/501.96	c  N dy  4120    947190       425       632     26613     76108     83211   6631830     18.14     24.05
2042.93/511.45	c  N dy  4205    967198       425       632     26614     55495     83211   4404038     18.17     19.73
2092.87/523.96	c  N dy  4313    987642       425       632     26614     74527     83211   6344828     18.20     19.43
2137.21/535.01	c  N dy  4423   1007658       425       632     26614     53177     83211   4197274     18.26     39.47
2189.94/548.25	c  N dy  4541   1027694       425       632     26614     71774     83211   6092500     18.32     20.83
2233.88/559.28	c  N dy  4612   1048101       425       632     26615     49759     83211   3771345     18.30     19.34
2278.64/570.43	c  N dy  4707   1068878       425       632     26619     68934     83211   5704570     18.33     19.66
2289.40/573.20	c  F st  4737   1071875       425       632     26619     71727     83211   5976260     18.37   no data
2337.74/585.26	c  N dy  4810   1089033       425       632     26620     45956     83211   3403774     18.40     19.39
2374.09/594.36	c  N dy  4873   1109136       425       632     26620     64474     83211   5380903     18.37     19.42
2443.20/611.65	c  N dy  4994   1129326       425       632     26620     83273     83211   7369557     18.44     19.62
2485.95/622.35	c  N dy  5080   1150856       425       632     26622     60630     83211   4800906     18.45     19.51
2544.66/637.00	c  N dy  5190   1172022       425       632     26622     80350     83211   6849044     18.50     19.50
2598.99/650.63	c  N dy  5313   1192160       425       632     26622     55427     83211   4163414     18.57     19.55
2639.73/660.89	c  S st  5381   1209819       425       632     26622     71765     83211   5734478     18.58     10.29
2641.73/661.31	c  S st  5381   1210322       425       632     26622     72266     83211   5783245     18.58   no data
2641.73/661.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2646.52/662.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 29.8M T:  1.17
2646.52/662.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2646.52/662.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2646.92/662.68	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.17 s
2646.92/662.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    425 time:  0.00 s
2646.92/662.68	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
2647.32/662.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
2657.31/665.23	c subs with bin:      228  lits-rem:       190  v-fix:    0  time:  2.35 s
2808.70/703.14	c lits-rem:      6819  cl-subs:     4645  v-elim:      0  v-fix:    0  time: 37.91 s
2808.70/703.15	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
2809.10/703.25	c vivif2 --  cl tried    67393 cl shrink     1964 lits rem       4619 time: 0.10
2810.73/703.61	c asymm  cl-useful: 3/283/632 lits-rem:3 time: 0.36
2810.73/703.61	c calculated reachability. Time: 0.00
2810.73/703.61	c  N dy  5381   1210322       425       632     26622     67393     83206   5598394     18.58   no data
2875.03/719.78	c  N dy  5476   1231233       425       632     26624     86821     83206   7621372     18.60     19.81
2920.59/731.13	c  N dy  5585   1251291       425       632     26626     60921     83206   4676145     18.65     28.16
2974.90/744.71	c  N dy  5681   1271697       425       632     26628     79692     83206   6521772     18.67     19.80
3025.23/757.40	c  N dy  5764   1292113       425       632     26632     53282     83206   3852283     18.68     20.09
3069.60/768.47	c  N dy  5844   1312191       425       632     26632     71669     83206   5651534     18.68     25.24
3131.89/784.00	c  N dy  5927   1332250       425       632     26635     90115     83206   7389429     18.69     32.32
3174.63/794.70	c  N dy  6019   1353247       425       632     26635     63532     83206   4810087     18.71     19.90
3224.57/807.28	c  N dy  6092   1373274       425       632     26637     81999     83206   6546793     18.71     24.72
3285.30/822.44	c  N dy  6206   1393605       425       632     26641     53811     83206   3722446     18.76     19.97
3329.24/833.44	c  N dy  6282   1414442       425       632     26644     72977     83206   5612456     18.76     20.01
3399.92/851.11	c  N dy  6380   1434492       425       632     26647     91466     83206   7294699     18.78     48.28
3448.26/863.27	c  N dy  6455   1455978       425       632     26650     63310     83206   4481215     18.76     19.83
3494.60/874.82	c  N dy  6522   1476082       425       632     26650     81842     83206   6286360     18.73     24.68
3560.51/891.39	c  N dy  6616   1496298       425       632     26656     51563     83206   3303426     18.76     19.75
3598.46/900.86	c  N dy  6679   1516303       425       632     26665     69949     83206   4956457     18.75     24.56
3663.57/917.10	c  N dy  6798   1536328       425       632     26668     88463     83206   6709170     18.78     21.99
3726.69/932.95	c  N dy  6906   1556646       425       632     26680     57380     83206   3694876     18.80     19.83
3768.25/943.31	c  N dy  6995   1576655       424       632     26688     75895     83206   5382451     18.81     40.34
3821.76/956.79	c  N dy  7089   1596724       424       632     26689     94547     83206   7230488     18.85     30.28
3866.50/967.97	c  N dy  7187   1618868       424       632     26690     64330     83206   4361776     18.86     20.11
3908.44/978.41	c  N dy  7257   1638905       424       632     26690     82884     83206   6150213     18.86     44.48
3956.38/990.41	c  N dy  7320   1659247       424       632     26692    101660     83206   7966546     18.84     20.55
3994.33/999.99	c  N dy  7411   1679809       424       632     26693     68912     83206   4691091     18.85     19.95
4039.86/1011.38	c  N dy  7477   1699841       424       632     26694     87366     83206   6433572     18.84     20.24
4069.02/1018.68	c  S st  7521   1710322       424       632     26698     97073     83206   7335069     18.85   no data
4070.62/1019.01	c  S st  7521   1710824       424       632     26698     97568     83206   7383508     18.85   no data
4070.62/1019.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4076.62/1020.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 34.9M T:  1.55
4076.62/1020.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4076.62/1020.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4077.42/1020.76	c subs with bin:        0  lits-rem:         8  v-fix:    0  time:  0.17 s
4077.42/1020.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    424 time:  0.00 s
4077.42/1020.76	c Removed useless bin:       0  fixed:     0  props:   0.13M  time:  0.00 s
4077.82/1020.85	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
4087.80/1023.33	c subs with bin:       29  lits-rem:         0  v-fix:    0  time:  2.26 s
4289.12/1073.78	c lits-rem:      6980  cl-subs:     6776  v-elim:      0  v-fix:    0  time: 50.45 s
4289.12/1073.78	c vivif2 --  cl tried      632 cl shrink        0 lits rem          0 time: 0.00
4289.93/1073.93	c vivif2 --  cl tried    85111 cl shrink     4522 lits rem       6269 time: 0.15
4291.55/1074.32	c asymm  cl-useful: 2/241/632 lits-rem:2 time: 0.39
4291.55/1074.33	c calculated reachability. Time: 0.00
4291.55/1074.33	c  N dy  7521   1710824       424       632     26460     85111     82836   7016529     18.85   no data
4352.25/1089.56	c  N dy  7619   1730869       424       632     26471     53987     82836   3662926     18.86     19.86
4393.79/1099.97	c  N dy  7704   1752653       424       632     26474     74165     82836   5579449     18.86     20.02
4451.31/1114.37	c  N dy  7790   1773888       424       632     26477     93802     82836   7434375     18.86     19.93
4501.25/1126.87	c  N dy  7858   1795134       424       632     26480     61268     82836   4381862     18.85     19.90
4542.00/1137.01	c  N dy  7922   1815188       424       632     26483     79734     82836   6190249     18.84     25.87
4605.90/1153.09	c  N dy  7996   1836641       424       632     26490     99300     82836   7905144     18.83     19.87
4657.03/1165.89	c  N dy  8072   1858016       424       632     26492     65438     82836   4399058     18.82     19.90
4704.97/1177.88	c  N dy  8173   1878740       424       632     26494     84600     82836   6138174     18.84     20.09
4766.88/1193.31	c  N dy  8222   1899474       424       632     26496    103647     82836   8001795     18.81     19.86

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

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

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


[startup+0 s]
/proc/loadavg: 5.16 7.27 7.76 8/180 30087
/proc/meminfo: memFree=30179184/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=183396 CPUtime=0 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 799 0 0 0 0 0 0 0 23 0 4 0 524245913 187797504 720 33554432000 4194304 4627427 140734555885152 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 45849 726 337 106 0 40820 0
[pid=30087/tid=30088] ppid=30085 vsize=183396 CPUtime=0 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) S 30085 30087 29718 0 -1 4202560 119 0 0 0 0 0 0 0 24 0 4 0 524245913 187797504 731 33554432000 4194304 4627427 140734555885152 18446744073709551615 239476799982 0 0 4096 2 18446604471139154880 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=183396 CPUtime=0 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 31 0 0 0 0 0 0 0 24 0 4 0 524245913 187797504 731 33554432000 4194304 4627427 140734555885152 18446744073709551615 239476694843 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=183396 CPUtime=0 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 129 0 0 0 0 0 0 0 24 0 4 0 524245913 187797504 731 33554432000 4194304 4627427 140734555885152 18446744073709551615 4314040 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0163621 s]
/proc/loadavg: 5.16 7.27 7.76 8/180 30087
/proc/meminfo: memFree=30179184/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=216996 CPUtime=0.03 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 1503 0 0 0 3 0 0 0 18 0 4 0 524245913 222203904 1425 33554432000 4194304 4627427 140734555885152 18446744073709551615 239476800031 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 54249 1426 362 106 0 49220 0
[pid=30087/tid=30088] ppid=30085 vsize=216996 CPUtime=0 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 152 0 0 0 0 0 0 0 17 0 4 0 524245913 222203904 1427 33554432000 4194304 4627427 140734555885152 18446744073709551615 239476800031 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=216996 CPUtime=0 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 258 0 0 0 0 0 0 0 24 0 4 0 524245913 222203904 1430 33554432000 4194304 4627427 140734555885152 18446744073709551615 239476355781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=216996 CPUtime=0 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 318 0 0 0 0 0 0 0 18 0 4 0 524245913 222203904 1431 33554432000 4194304 4627427 140734555885152 18446744073709551615 4515048 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 216996

[startup+0.13251 s]
/proc/loadavg: 5.16 7.27 7.76 8/180 30087
/proc/meminfo: memFree=30179184/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=289720 CPUtime=3.22 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 7950 0 0 0 321 1 0 0 19 0 4 0 524245913 296673280 5505 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 72430 5505 385 106 0 67401 0
[pid=30087/tid=30088] ppid=30085 vsize=289720 CPUtime=0.8 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 1837 0 0 0 80 0 0 0 19 0 4 0 524245913 296673280 5505 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=289720 CPUtime=0.8 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 1954 0 0 0 80 0 0 0 18 0 4 0 524245913 296673280 5505 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=289720 CPUtime=0.79 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 1766 0 0 0 79 0 0 0 19 0 4 0 524245913 296673280 5505 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 289720

[startup+0.91513 s]
/proc/loadavg: 5.16 7.27 7.76 8/180 30087
/proc/meminfo: memFree=30179184/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=289900 CPUtime=3.62 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 8368 0 0 0 361 1 0 0 19 0 4 0 524245913 296857600 5923 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 72475 5923 385 106 0 67446 0
[pid=30087/tid=30088] ppid=30085 vsize=289900 CPUtime=0.9 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 1930 0 0 0 90 0 0 0 19 0 4 0 524245913 296857600 5923 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=289900 CPUtime=0.9 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 2052 0 0 0 90 0 0 0 19 0 4 0 524245913 296857600 5923 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=289900 CPUtime=0.89 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 1835 0 0 0 89 0 0 0 19 0 4 0 524245913 296857600 5923 33554432000 4194304 4627427 140734555885152 18446744073709551615 4310580 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 289900

[startup+1.01511 s]
/proc/loadavg: 5.16 7.27 7.76 8/180 30087
/proc/meminfo: memFree=30179184/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=290708 CPUtime=4.01 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 9100 0 0 0 400 1 0 0 19 0 4 0 524245913 297684992 5843 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309379 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 72677 5843 385 106 0 67648 0
[pid=30087/tid=30088] ppid=30085 vsize=290708 CPUtime=0.99 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 2015 0 0 0 99 0 0 0 19 0 4 0 524245913 297684992 5843 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=290708 CPUtime=1 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 2139 0 0 0 100 0 0 0 19 0 4 0 524245913 297684992 5843 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=290708 CPUtime=0.99 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 2285 0 0 0 99 0 0 0 19 0 4 0 524245913 297684992 5843 33554432000 4194304 4627427 140734555885152 18446744073709551615 4321706 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 290708

[startup+1.50102 s]
/proc/loadavg: 5.16 7.27 7.76 8/180 30087
/proc/meminfo: memFree=30179184/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=292860 CPUtime=5.96 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 12373 0 0 0 594 2 0 0 19 0 4 0 524245913 299888640 6260 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 73215 6260 385 106 0 68186 0
[pid=30087/tid=30088] ppid=30085 vsize=292860 CPUtime=1.49 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 2894 0 0 0 148 1 0 0 19 0 4 0 524245913 299888640 6260 33554432000 4194304 4627427 140734555885152 18446744073709551615 4333369 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=292860 CPUtime=1.48 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 3085 0 0 0 148 0 0 0 20 0 4 0 524245913 299888640 6260 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=292860 CPUtime=1.48 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 2811 0 0 0 148 0 0 0 20 0 4 0 524245913 299888640 6260 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 292860

[startup+3.10072 s]
/proc/loadavg: 5.16 7.27 7.76 9/184 30091
/proc/meminfo: memFree=30122528/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=296432 CPUtime=12.35 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 20296 0 0 0 1232 3 0 0 25 0 4 0 524245913 303546368 8595 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 74108 8595 386 106 0 69079 0
[pid=30087/tid=30088] ppid=30085 vsize=296432 CPUtime=3.08 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 4752 0 0 0 307 1 0 0 25 0 4 0 524245913 303546368 8595 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=296432 CPUtime=3.08 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 5053 0 0 0 308 0 0 0 25 0 4 0 524245913 303546368 8595 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=296432 CPUtime=3.06 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 4969 0 0 0 306 0 0 0 25 0 4 0 524245913 303546368 8595 33554432000 4194304 4627427 140734555885152 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 296432

[startup+6.3011 s]
/proc/loadavg: 5.38 7.28 7.76 9/184 30091
/proc/meminfo: memFree=30069200/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=319136 CPUtime=25.13 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 35815 0 0 0 2508 5 0 0 25 0 4 0 524245913 326795264 15305 33554432000 4194304 4627427 140734555885152 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 79784 15305 389 106 0 74755 0
[pid=30087/tid=30088] ppid=30085 vsize=319136 CPUtime=6.28 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 9540 0 0 0 627 1 0 0 25 0 4 0 524245913 326795264 15305 33554432000 4194304 4627427 140734555885152 18446744073709551615 4423989 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=319136 CPUtime=6.29 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 8584 0 0 0 628 1 0 0 25 0 4 0 524245913 326795264 15305 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=319136 CPUtime=6.25 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 8552 0 0 0 624 1 0 0 25 0 4 0 524245913 326795264 15305 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 319136

[startup+12.7009 s]
/proc/loadavg: 5.59 7.29 7.76 9/184 30092
/proc/meminfo: memFree=29967504/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=322240 CPUtime=50.72 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 66929 0 0 0 5061 11 0 0 25 0 4 0 524245913 329973760 37171 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 80560 37171 389 106 0 75531 0
[pid=30087/tid=30088] ppid=30085 vsize=322240 CPUtime=12.69 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 22636 0 0 0 1266 3 0 0 25 0 4 0 524245913 329973760 37172 33554432000 4194304 4627427 140734555885152 18446744073709551615 4424289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=322240 CPUtime=12.68 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 17076 0 0 0 1266 2 0 0 25 0 4 0 524245913 329973760 37172 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=322240 CPUtime=12.62 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 13811 0 0 0 1260 2 0 0 25 0 4 0 524245913 329973760 37172 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 322240

[startup+25.5004 s]
/proc/loadavg: 6.13 7.33 7.77 9/184 30092
/proc/meminfo: memFree=29895320/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=394168 CPUtime=101.82 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 93981 0 0 0 10166 16 0 0 25 0 4 0 524245913 403628032 49771 33554432000 4194304 4627427 140734555885152 18446744073709551615 4329707 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 98542 49771 389 106 0 93513 0
[pid=30087/tid=30088] ppid=30085 vsize=394168 CPUtime=25.48 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 27016 0 0 0 2544 4 0 0 25 0 4 0 524245913 403628032 49771 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=394168 CPUtime=25.48 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 27817 0 0 0 2544 4 0 0 25 0 4 0 524245913 403628032 49772 33554432000 4194304 4627427 140734555885152 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=394168 CPUtime=25.35 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 20456 0 0 0 2531 4 0 0 25 0 4 0 524245913 403628032 49772 33554432000 4194304 4627427 140734555885152 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 394168

[startup+51.1005 s]
/proc/loadavg: 6.91 7.41 7.78 9/184 30093
/proc/meminfo: memFree=29789596/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=453648 CPUtime=204.1 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 149920 0 0 0 20382 28 0 0 25 0 4 0 524245913 464535552 75410 33554432000 4194304 4627427 140734555885152 18446744073709551615 4424307 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 113412 75410 389 106 0 108383 0
[pid=30087/tid=30088] ppid=30085 vsize=453648 CPUtime=51.09 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 39929 0 0 0 5102 7 0 0 25 0 4 0 524245913 464535552 75410 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=453648 CPUtime=51.08 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 40788 0 0 0 5101 7 0 0 25 0 4 0 524245913 464535552 75410 33554432000 4194304 4627427 140734555885152 18446744073709551615 4424007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=453648 CPUtime=50.83 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 37012 0 0 0 5075 8 0 0 25 0 4 0 524245913 464535552 75410 33554432000 4194304 4627427 140734555885152 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 453648

[startup+102.301 s]
/proc/loadavg: 7.60 7.52 7.80 9/184 30094
/proc/meminfo: memFree=29623764/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=574908 CPUtime=408.65 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 217700 0 0 0 40819 46 0 0 25 0 4 0 524245913 588705792 106663 33554432000 4194304 4627427 140734555885152 18446744073709551615 4427411 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 143727 106663 389 106 0 138698 0
[pid=30087/tid=30088] ppid=30085 vsize=574908 CPUtime=102.28 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 61222 0 0 0 10216 12 0 0 25 0 4 0 524245913 588705792 106663 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=574908 CPUtime=102.28 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 49622 0 0 0 10219 9 0 0 25 0 4 0 524245913 588705792 106663 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=574908 CPUtime=101.77 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 60095 0 0 0 10163 14 0 0 25 0 4 0 524245913 588705792 106663 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 574908

[startup+162.3 s]

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

[pid=30087] ppid=30085 vsize=1288740 CPUtime=2805.51 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 828712 0 0 0 280336 215 0 0 25 0 4 0 524245913 1319669760 218644 33554432000 4194304 4627427 140734555885152 18446744073709551615 4427688 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 322185 218644 389 106 0 317156 0
[pid=30087/tid=30088] ppid=30085 vsize=1288740 CPUtime=702.3 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 238130 0 0 0 70170 60 0 0 25 0 4 0 524245913 1319669760 218644 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=1288740 CPUtime=702.29 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 222756 0 0 0 70172 57 0 0 25 0 4 0 524245913 1319669760 218644 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=1288740 CPUtime=698.64 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 180355 0 0 0 69815 49 0 0 25 0 4 0 524245913 1319669760 218644 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.51
Current children cumulated vsize (KiB) 1288740

[startup+762.3 s]
/proc/loadavg: 8.11 8.02 7.92 9/184 30112
/proc/meminfo: memFree=28903148/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=1253996 CPUtime=3045.21 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 867431 0 0 0 304294 227 0 0 25 0 4 0 524245913 1284091904 216565 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 313499 216565 389 106 0 308470 0
[pid=30087/tid=30088] ppid=30085 vsize=1253996 CPUtime=762.31 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 253838 0 0 0 76166 65 0 0 25 0 4 0 524245913 1284091904 216565 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=1253996 CPUtime=762.3 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 225624 0 0 0 76172 58 0 0 25 0 4 0 524245913 1284091904 216565 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=1253996 CPUtime=758.33 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 190426 0 0 0 75781 52 0 0 25 0 4 0 524245913 1284091904 216565 33554432000 4194304 4627427 140734555885152 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.21
Current children cumulated vsize (KiB) 1253996

[startup+822.301 s]
/proc/loadavg: 8.11 8.04 7.93 9/184 30113
/proc/meminfo: memFree=28811104/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=1279996 CPUtime=3284.9 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 907537 0 0 0 328251 239 0 0 25 0 4 0 524245913 1310715904 224390 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 319999 224390 389 106 0 314970 0
[pid=30087/tid=30088] ppid=30085 vsize=1279996 CPUtime=822.32 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 265478 0 0 0 82163 69 0 0 25 0 4 0 524245913 1310715904 224390 33554432000 4194304 4627427 140734555885152 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=1279996 CPUtime=822.31 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 235230 0 0 0 82170 61 0 0 25 0 4 0 524245913 1310715904 224390 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=1279996 CPUtime=818.01 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 199718 0 0 0 81747 54 0 0 25 0 4 0 524245913 1310715904 224390 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.9
Current children cumulated vsize (KiB) 1279996

[startup+882.3 s]
/proc/loadavg: 8.11 8.06 7.94 9/184 30115
/proc/meminfo: memFree=28782424/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=1344148 CPUtime=3524.56 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 936294 0 0 0 352203 253 0 0 25 0 4 0 524245913 1376407552 232595 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 336037 232595 389 106 0 331008 0
[pid=30087/tid=30088] ppid=30085 vsize=1344148 CPUtime=882.32 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 279378 0 0 0 88156 76 0 0 25 0 4 0 524245913 1376407552 232595 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=1344148 CPUtime=882.3 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 244729 0 0 0 88164 66 0 0 25 0 4 0 524245913 1376407552 232595 33554432000 4194304 4627427 140734555885152 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=1344148 CPUtime=877.68 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 201784 0 0 0 87714 54 0 0 25 0 4 0 524245913 1376407552 232595 33554432000 4194304 4627427 140734555885152 18446744073709551615 4427411 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.56
Current children cumulated vsize (KiB) 1344148

[startup+942.307 s]
/proc/loadavg: 8.15 8.07 7.95 9/184 30116
/proc/meminfo: memFree=28703888/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=1353648 CPUtime=3764.26 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 971175 0 0 0 376160 266 0 0 25 0 4 0 524245913 1386135552 246404 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 338412 246404 389 106 0 333383 0
[pid=30087/tid=30088] ppid=30085 vsize=1353648 CPUtime=942.33 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 291250 0 0 0 94152 81 0 0 25 0 4 0 524245913 1386135552 246404 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=1353648 CPUtime=942.31 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 247527 0 0 0 94164 67 0 0 25 0 4 0 524245913 1386135552 246404 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=1353648 CPUtime=937.36 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 213506 0 0 0 93677 59 0 0 25 0 4 0 524245913 1386135552 246404 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.26
Current children cumulated vsize (KiB) 1353648

[startup+1002.3 s]
/proc/loadavg: 8.13 8.07 7.96 9/184 30118
/proc/meminfo: memFree=28723332/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=1351180 CPUtime=4003.91 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 999611 0 0 0 400111 280 0 0 25 0 4 0 524245913 1383608320 245521 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 337795 245521 389 106 0 332766 0
[pid=30087/tid=30088] ppid=30085 vsize=1351180 CPUtime=1002.32 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 298399 0 0 0 100149 83 0 0 25 0 4 0 524245913 1383608320 245521 33554432000 4194304 4627427 140734555885152 18446744073709551615 4427411 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=1351180 CPUtime=1002.3 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 257998 0 0 0 100159 71 0 0 25 0 4 0 524245913 1383608320 245521 33554432000 4194304 4627427 140734555885152 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=1351180 CPUtime=997.03 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 219599 0 0 0 99641 62 0 0 25 0 4 0 524245913 1383608320 245521 33554432000 4194304 4627427 140734555885152 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.91
Current children cumulated vsize (KiB) 1351180

[startup+1062.3 s]
/proc/loadavg: 8.11 8.07 7.97 9/184 30120
/proc/meminfo: memFree=28658800/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=1503700 CPUtime=4243.59 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 1032267 0 0 0 424065 294 0 0 25 0 4 0 524245913 1539788800 260251 33554432000 4194304 4627427 140734555885152 18446744073709551615 4428111 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 375925 260251 389 106 0 370896 0
[pid=30087/tid=30088] ppid=30085 vsize=1503700 CPUtime=1062.32 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 310144 0 0 0 106143 89 0 0 25 0 4 0 524245913 1539788800 260251 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=1503700 CPUtime=1062.31 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 266346 0 0 0 106157 74 0 0 25 0 4 0 524245913 1539788800 260251 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=1503700 CPUtime=1056.71 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 229559 0 0 0 105604 67 0 0 25 0 4 0 524245913 1539788800 260251 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.59
Current children cumulated vsize (KiB) 1503700

[startup+1122.3 s]
/proc/loadavg: 8.10 8.07 7.97 9/184 30121
/proc/meminfo: memFree=28675992/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=1425252 CPUtime=4483.26 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 1058519 0 0 0 448020 306 0 0 25 0 4 0 524245913 1459458048 254450 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 356313 254450 389 106 0 351284 0
[pid=30087/tid=30088] ppid=30085 vsize=1425252 CPUtime=1122.33 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 315214 0 0 0 112141 92 0 0 25 0 4 0 524245913 1459458048 254450 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=1425252 CPUtime=1122.3 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 272643 0 0 0 112153 77 0 0 25 0 4 0 524245913 1459458048 254450 33554432000 4194304 4627427 140734555885152 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=1425252 CPUtime=1116.39 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 234235 0 0 0 111569 70 0 0 25 0 4 0 524245913 1459458048 254450 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.26
Current children cumulated vsize (KiB) 1425252

[startup+1182.3 s]
/proc/loadavg: 8.09 8.07 7.98 9/184 30123
/proc/meminfo: memFree=28677692/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=1553012 CPUtime=4722.94 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 1104836 0 0 0 471970 324 0 0 25 0 4 0 524245913 1590284288 249968 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 388253 249968 389 106 0 383224 0
[pid=30087/tid=30088] ppid=30085 vsize=1553012 CPUtime=1182.33 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 331501 0 0 0 118135 98 0 0 25 0 4 0 524245913 1590284288 249968 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=1553012 CPUtime=1182.31 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 282423 0 0 0 118150 81 0 0 25 0 4 0 524245913 1590284288 249968 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=1553012 CPUtime=1176.06 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 238747 0 0 0 117534 72 0 0 25 0 4 0 524245913 1590284288 249968 33554432000 4194304 4627427 140734555885152 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.94
Current children cumulated vsize (KiB) 1553012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.07 8.06 7.98 6/183 30124
/proc/meminfo: memFree=28989036/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=1518648 CPUtime=4800.06 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 1114588 0 0 0 479678 328 0 0 25 0 4 0 524245913 1555095552 257243 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309125 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 379662 257243 389 106 0 374633 0
[pid=30087/tid=30088] ppid=30085 vsize=1518648 CPUtime=1201.64 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 333355 0 0 0 120065 99 0 0 25 0 4 0 524245913 1555095552 257243 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=1518648 CPUtime=1201.61 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 284591 0 0 0 120079 82 0 0 25 0 4 0 524245913 1555095552 257243 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=1518648 CPUtime=1195.26 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 238747 0 0 0 119454 72 0 0 25 0 4 0 524245913 1555095552 257243 33554432000 4194304 4627427 140734555885152 18446744073709551615 4427700 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 1518648

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

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

[startup+1201.6 s]
/proc/loadavg: 8.07 8.06 7.98 6/183 30124
/proc/meminfo: memFree=28989036/32950928 swapFree=67086612/67111528
[pid=30087] ppid=30085 vsize=1518648 CPUtime=4800.06 cores=1,3,5,7
/proc/30087/stat : 30087 (strangenight2-m) R 30085 30087 29718 0 -1 4202496 1114588 0 0 0 479678 328 0 0 25 0 4 0 524245913 1555095552 257243 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309125 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30087/statm: 379662 257243 389 106 0 374633 0
[pid=30087/tid=30088] ppid=30085 vsize=1518648 CPUtime=1201.64 cores=1,3,5,7
/proc/30087/task/30088/stat : 30088 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 333355 0 0 0 120065 99 0 0 25 0 4 0 524245913 1555095552 257243 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30087/tid=30089] ppid=30085 vsize=1518648 CPUtime=1201.61 cores=1,3,5,7
/proc/30087/task/30089/stat : 30089 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 284591 0 0 0 120079 82 0 0 25 0 4 0 524245913 1555095552 257243 33554432000 4194304 4627427 140734555885152 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30087/tid=30090] ppid=30085 vsize=1518648 CPUtime=1195.26 cores=1,3,5,7
/proc/30087/task/30090/stat : 30090 (strangenight2-m) R 30085 30087 29718 0 -1 4202560 238747 0 0 0 119454 72 0 0 25 0 4 0 524245913 1555095552 257243 33554432000 4194304 4627427 140734555885152 18446744073709551615 4427700 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 1518648

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.65
CPU time (s): 4800.13
CPU user time (s): 4796.8
CPU system time (s): 3.32349
CPU usage (%): 399.461
Max. virtual memory (cumulated for all children) (KiB): 1604036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.8
system time used= 3.32349
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1114589
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= 1035
involuntary context switches= 19796

runsolver used 1.70374 second user time and 4.68629 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-30 03:21:28
IDJOB=3263695
IDBENCH=84010
IDSOLVER=1586
FILE ID=node148/3263695-1304126488
RUNJOBID= node148-1304126488-30065
PBS_JOBID= 13170748
Free space on /tmp= 71428 MiB

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

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

MD5SUM BENCH= 22bbcb4a25a1da66113c240898c75509
RANDOM SEED=200726379

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30179340 kB
Buffers:        720560 kB
Cached:        1642460 kB
SwapCached:       3696 kB
Active:         132836 kB
Inactive:      2274280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30179340 kB
SwapTotal:    67111528 kB
SwapFree:     67086612 kB
Dirty:           11720 kB
Writeback:           0 kB
AnonPages:       42956 kB
Mapped:          14256 kB
Slab:           300164 kB
PageTables:       4744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   272528 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= 71424 MiB
End job on node148 at 2011-04-30 03:41:32