Trace number 3174888

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.28 1201.64

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf
MD5SUMdc0028248c86c8aff67bef1f8d7ffb16
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.2752
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 512750

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174888-1304044806.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:       12750
0.00/0.01	c -- clauses added:            0 learnts,        12750 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.01	c Parsing time:  0.03 s
0.00/0.01	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.18/0.31	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.20
1.18/0.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
1.18/0.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.18/0.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.18/0.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1.18/0.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.18/0.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1.18/0.38	c Finding binary XORs  T:     0.00 s  found:       0
1.18/0.38	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.18/0.38	c calculated reachability. Time: 0.00
1.18/0.38	c Calc default polars -  time:   0.00 s pos:      74 undec:       1 neg:      75
1.18/0.38	c =========================================================================================
1.18/0.38	c types(t): F = full restart, N = normal restart
1.18/0.38	c types(t): S = simplification begin/end, E = solution found
1.18/0.38	c restart types(rt): st = static, dy = dynamic
1.18/0.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.18/0.38	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
2.37/0.60	c  N dy     9      5020       150     12750         0      2407     89250     80463     39.76     41.86  --
3.17/0.85	c  N dy    17     10213       150     12750         0      7387     89250    304687     39.36     41.47  --
3.97/1.07	c  N dy    27     14375       150     12750         0      7316     89250    266567     39.27     41.62  --
5.56/1.46	c  N dy    37     21435       150     12750         0      8669     89250    290637     38.71     40.80  --
6.37/1.68	c  F st    47     25001       150     12750         0     12084     89250    445007     38.78     40.22  --
6.76/1.72	c  N st    49     25627       150     12750         0     12679     89250    471775     38.78   no data  --
7.56/1.97	c  N dy    53     30001       150     12750         0     10356     89250    337762     38.78   no data  --
7.56/1.97	c  S st    53     30001       150     12750         0     10356     89250    337762     38.78   no data  --
7.97/2.01	c  S st    53     30503       150     12750         0     10844     89250    359237     38.78   no data  --
7.97/2.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.97/2.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.97/2.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.97/2.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.97/2.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.97/2.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.97/2.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.57/4.49	c lits-rem:      1744  cl-subs:      441  v-elim:      0  v-fix:    0  time:  9.81 s
19.55/4.90	c asymm  cl-useful: 0/10418/12750 lits-rem:0 time: 1.63
19.55/4.90	c calculated reachability. Time: 0.00
19.55/4.90	c  N dy    53     30503       150     12750         0     10403     89250    333174     38.78   no data  --
21.14/5.30	c  N dy    75     36543       150     12750         0      8646     89250    224707     38.96     41.05  --
21.97/5.59	c  N dy    90     41225       150     12750         0     13152     89250    427002     38.99     41.34  --
23.15/5.87	c  N dy    98     45319       150     12750         0     17049     89250    600781     38.95     41.24  --
23.54/5.91	c  S st    99     45755       150     12750         0      8890     89250    203268     38.94     36.40  --
23.54/5.95	c  S st    99     46259       150     12750         0      9383     89250    225512     38.94   no data  --
23.54/5.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.54/5.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.54/5.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.54/5.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.54/5.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.54/5.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.54/5.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.16/7.84	c lits-rem:       429  cl-subs:       44  v-elim:      0  v-fix:    0  time:  7.46 s
31.16/7.84	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
31.16/7.84	c vivif2 --  cl tried     9339 cl shrink        0 lits rem          0 time: 0.01
31.54/7.93	c asymm  cl-useful: 0/2332/12750 lits-rem:0 time: 0.36
31.54/7.93	c calculated reachability. Time: 0.00
31.54/7.93	c  N dy    99     46259       150     12750         0      9339     89250    222517     38.94   no data  --
32.34/8.18	c  N dy   109     50341       150     12750         0     13251     89250    397443     38.92     41.29  --
33.53/8.46	c  N dy   123     54374       150     12750         0     17133     89250    572301     38.93     41.00  --
34.73/8.78	c  N dy   134     58665       150     12750         0     11666     89250    293849     38.86     41.16  --
35.92/9.05	c  N dy   148     62676       150     12750         0     15514     89250    466048     38.89     43.39  --
37.92/9.52	c  N dy   155     68662       150     12750         0     10690     89250    221630     38.79     40.84  --
37.92/9.57	c  S st   157     69388       150     12750         0     11390     89250    252173     38.79     37.96  --
38.33/9.61	c  S st   157     69889       150     12750         0     11882     89250    273673     38.79   no data  --
38.33/9.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.33/9.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.33/9.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
38.33/9.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.33/9.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.33/9.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
38.33/9.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
46.71/11.73	c lits-rem:       726  cl-subs:      133  v-elim:      0  v-fix:    0  time:  8.38 s
46.71/11.73	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
46.71/11.73	c vivif2 --  cl tried    11749 cl shrink        0 lits rem          0 time: 0.01
48.33/12.18	c asymm  cl-useful: 0/9955/12750 lits-rem:0 time: 1.80
48.33/12.19	c calculated reachability. Time: 0.00
48.33/12.19	c  N dy   157     69889       150     12750         0     11749     89250    265649     38.79   no data  --
49.91/12.52	c  N dy   169     74513       150     12750         0     16216     89250    464316     38.75     40.88  --
51.50/12.96	c  N dy   192     79353       150     12750         0     20866     89250    671889     38.81     42.19  --
53.50/13.47	c  N dy   213     85294       150     12750         0     15036     89250    381599     38.85     40.90  --
54.30/13.64	c  F st   220     87501       150     12750         0     17162     89250    475645     38.86     39.79  --
55.50/13.90	c  N st   225     90798       150     12750         0     20314     89250    617429     38.86   no data  --
57.52/14.42	c  N dy   242     96589       150     12750         0     13407     89250    277549     38.89     41.01  --
59.10/14.86	c  N dy   255    103001       150     12750         0     19571     89250    556139     38.86     41.06  --
59.90/15.01	c  S st   265    104833       150     12750         0     21329     89250    635762     38.90   no data  --
59.90/15.07	c  S st   265    105338       150     12750         0     21816     89250    657027     38.90   no data  --
59.90/15.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
59.90/15.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.90/15.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
60.30/15.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.30/15.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.30/15.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
60.30/15.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.69/18.77	c lits-rem:      2484  cl-subs:      929  v-elim:      0  v-fix:    0  time: 14.60 s
74.69/18.77	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
74.69/18.77	c vivif2 --  cl tried    20887 cl shrink        0 lits rem          0 time: 0.02
75.88/19.01	c asymm  cl-useful: 0/2795/12750 lits-rem:0 time: 0.95
75.88/19.01	c calculated reachability. Time: 0.00
75.88/19.01	c  N dy   265    105338       150     12750         0     20887     89250    603755     38.90   no data  --
78.27/19.63	c  N dy   277    112351       150     12750         0     14184     89250    279597     38.87     41.01  --
80.66/20.20	c  N dy   290    119626       150     12750         0     21132     89250    585914     38.84     41.08  --
83.48/20.96	c  N dy   300    128185       150     12750         0     14949     89250    282553     38.78     41.10  --
85.87/21.59	c  N dy   323    136840       150     12750         0     23240     89250    653218     38.77     40.89  --
89.85/22.52	c  N dy   350    147061       150     12750         0     17727     89250    375690     38.77     40.93  --
93.05/23.33	c  N dy   389    156784       150     12750         0     27043     89250    794020     38.83     40.97  --
93.45/23.45	c  S st   400    158008       150     12750         0     28218     89250    847189     38.84   no data  --
93.85/23.53	c  S st   400    158511       150     12750         0     28713     89250    868626     38.84   no data  --
93.85/23.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
93.85/23.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
93.85/23.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
93.85/23.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
93.85/23.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
93.85/23.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
93.85/23.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
116.22/29.12	c lits-rem:      1853  cl-subs:     1416  v-elim:      0  v-fix:    0  time: 22.12 s
116.22/29.12	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
116.22/29.13	c vivif2 --  cl tried    27297 cl shrink        0 lits rem          0 time: 0.03
117.03/29.35	c asymm  cl-useful: 0/3169/12750 lits-rem:0 time: 0.88
117.03/29.35	c calculated reachability. Time: 0.00
117.03/29.35	c  N dy   400    158511       150     12750         0     27297     89250    789733     38.84   no data  --
120.62/30.26	c  N dy   429    168759       150     12750         0     20849     89250    480563     38.85     41.20  --
125.81/31.55	c  N dy   449    181705       150     12750         0     33284     89250   1033937     38.77     40.94  --
130.21/32.64	c  N dy   481    193396       150     12750         0     27274     89250    733106     38.75     41.69  --
135.80/34.06	c  N dy   518    205837       150     12750         0     20949     89250    416907     38.74     40.80  --
141.79/35.56	c  N dy   568    219102       150     12750         0     33644     89250    983042     38.77     40.88  --
147.78/37.09	c  N dy   619    233166       150     12750         0     27960     89250    699117     38.79     41.03  --
150.18/37.62	c  S st   634    237766       150     12750         0     32351     89250    894148     38.79     33.20  --
150.58/37.71	c  S st   634    238267       150     12750         0     32838     89250    915461     38.79   no data  --
150.58/37.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
150.58/37.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
150.58/37.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
150.58/37.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
150.58/37.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.58/37.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
150.58/37.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
170.55/42.73	c lits-rem:      1454  cl-subs:     1403  v-elim:      0  v-fix:    0  time: 19.90 s
170.55/42.73	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
170.55/42.74	c vivif2 --  cl tried    31435 cl shrink        0 lits rem          0 time: 0.04
171.37/42.99	c asymm  cl-useful: 0/2540/12750 lits-rem:0 time: 0.96
171.37/42.99	c calculated reachability. Time: 0.00
171.37/42.99	c  N dy   634    238267       150     12750         0     31435     89250    837679     38.79   no data  --
178.15/44.69	c  N dy   680    253551       150     12750         0     26026     89250    582068     38.78     44.80  --
185.33/46.47	c  N dy   723    269834       150     12750         0     41610     89250   1277168     38.77     42.66  --
192.52/48.20	c  N dy   780    287084       150     12750         0     37140     89250   1045317     38.77     40.84  --
200.52/50.21	c  N dy   825    305789       150     12750         0     32964     89250    821799     38.77     40.81  --
200.52/50.26	c  F st   826    306253       150     12750         0     33406     89250    842012     38.77     38.21  --
208.90/52.35	c  N dy   861    325431       150     12750         0     28830     89250    609036     38.75     40.81  --
218.90/54.85	c  N dy   917    345508       150     12750         0     24099     89250    365946     38.76     40.96  --
224.10/56.10	c  S st   930    357401       150     12750         0     35416     89250    873558     38.71     36.94  --
224.50/56.20	c  S st   930    357902       150     12750         0     35900     89250    894581     38.71   no data  --
224.50/56.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
224.50/56.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
224.50/56.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
224.50/56.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
224.50/56.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
224.50/56.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
224.50/56.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
246.07/61.70	c lits-rem:      2003  cl-subs:     1467  v-elim:      0  v-fix:    0  time: 21.74 s
246.07/61.70	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
246.47/61.71	c vivif2 --  cl tried    34433 cl shrink        0 lits rem          0 time: 0.04
247.65/62.04	c asymm  cl-useful: 0/2236/12750 lits-rem:0 time: 1.33
247.65/62.04	c calculated reachability. Time: 0.00
247.65/62.04	c  N dy   930    357902       150     12750         0     34433     89250    818376     38.71   no data  --
260.04/65.10	c  N dy  1022    380965       150     12750         0     31687     89250    670475     38.75     40.80  --
270.42/67.72	c  N dy  1074    401409       150     12750         0     51274     89250   1546921     38.74     40.99  --
279.62/70.04	c  N dy  1105    421443       150     12750         0     44568     89250   1207693     38.70     41.98  --
290.42/72.74	c  N dy  1138    443205       150     12750         0     38643     89250    917520     38.66     40.71  --
301.99/75.67	c  N dy  1208    463624       150     12750         0     30427     89250    518264     38.68     40.72  --
312.00/78.15	c  N dy  1252    484129       150     12750         0     50065     89250   1391298     38.66     40.75  --
322.37/80.72	c  N dy  1298    504345       150     12750         0     40704     89250    943589     38.64     40.69  --
334.75/83.87	c  N dy  1355    525027       150     12750         0     30812     89250    467409     38.65     40.73  --
340.35/85.20	c  S st  1378    536853       150     12750         0     42120     89250    966638     38.63     39.26  --
340.75/85.30	c  S st  1378    537355       150     12750         0     42605     89250    988240     38.63   no data  --
340.75/85.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
340.75/85.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
340.75/85.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
340.75/85.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
340.75/85.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
340.75/85.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
340.75/85.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
363.12/90.95	c lits-rem:       896  cl-subs:     1583  v-elim:      0  v-fix:    0  time: 22.34 s
363.12/90.96	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
363.12/90.97	c vivif2 --  cl tried    41022 cl shrink        0 lits rem          0 time: 0.04
364.32/91.24	c asymm  cl-useful: 0/1846/12750 lits-rem:0 time: 1.11
364.32/91.24	c calculated reachability. Time: 0.00
364.32/91.24	c  N dy  1378    537355       150     12750         0     41022     89250    905192     38.63   no data  --
377.50/94.53	c  N dy  1439    558252       150     12750         0     61010     89250   1797553     38.63     40.86  --
390.29/97.72	c  N dy  1496    581273       150     12750         0     52500     89250   1402773     38.62     41.11  --
404.28/101.28	c  N dy  1596    601290       150     12750         0     40103     89250    816003     38.66     40.70  --
418.24/104.74	c  N dy  1680    621393       150     12750         0     59367     89250   1682435     38.69     40.97  --
430.65/107.90	c  N dy  1748    642583       150     12750         0     47110     89250   1095217     38.69     40.90  --
445.41/111.52	c  N dy  1812    662607       150     12750         0     66280     89250   1953072     38.70     41.69  --
458.19/114.70	c  N dy  1884    682676       150     12750         0     51988     89250   1284197     38.71     41.53  --
474.18/118.75	c  N dy  1967    703126       150     12750         0     37086     89250    581090     38.73     40.95  --
486.96/121.94	c  N dy  2017    723164       150     12750         0     56268     89250   1434366     38.73     40.91  --
502.53/125.87	c  N dy  2062    743719       150     12750         0     40514     89250    701568     38.72     41.07  --
515.32/129.05	c  N dy  2128    764212       150     12750         0     60157     89250   1576419     38.72     40.90  --
529.71/132.61	c  N dy  2184    784462       150     12750         0     43148     89250    783102     38.72     41.18  --
542.49/135.80	c  N dy  2246    804657       150     12750         0     62542     89250   1652082     38.72     40.94  --
543.29/136.07	c  S st  2254    806033       150     12750         0     63873     89250   1712159     38.73   no data  --
544.09/136.24	c  S st  2254    806534       150     12750         0     64356     89250   1733383     38.73   no data  --
544.09/136.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
544.09/136.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
544.09/136.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
544.49/136.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
544.49/136.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
544.49/136.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
544.49/136.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
634.36/158.89	c lits-rem:      3004  cl-subs:     2858  v-elim:      0  v-fix:    0  time: 90.07 s
634.36/158.89	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
634.76/158.91	c vivif2 --  cl tried    61498 cl shrink        0 lits rem          0 time: 0.07
635.96/159.24	c asymm  cl-useful: 0/1337/12750 lits-rem:0 time: 1.33
635.96/159.25	c calculated reachability. Time: 0.00
635.96/159.25	c  N dy  2254    806534       150     12750         0     61498     89250   1574787     38.73   no data  --
651.54/163.11	c  N dy  2331    826585       150     12750         0     43353     89250    757792     38.74     44.10  --
664.33/166.33	c  N dy  2404    846754       150     12750         0     62704     89250   1623218     38.75     40.80  --
679.11/170.04	c  N dy  2443    868547       150     12750         0     45263     89250    815370     38.75     40.79  --
692.70/173.40	c  N dy  2504    888656       150     12750         0     64581     89250   1678088     38.75     41.07  --
708.28/177.31	c  N dy  2580    908686       150     12750         0     44529     89250    746880     38.76     40.94  --
721.08/180.55	c  N dy  2629    929124       150     12750         0     64047     89250   1613069     38.75     41.09  --
737.85/184.79	c  N dy  2675    952244       150     12750         0     45970     89250    779950     38.74     40.78  --
751.44/188.11	c  N dy  2723    972888       150     12750         0     65683     89250   1656907     38.73     40.77  --
766.61/191.98	c  N dy  2747    993029       150     12750         0     43776     89250    649168     38.70     40.94  --
780.19/195.34	c  N dy  2799   1014772       150     12750         0     64576     89250   1572586     38.68     40.76  --
798.57/199.90	c  N dy  2873   1034992       150     12750         0     83987     89250   2436095     38.69     40.90  --
811.35/203.16	c  N dy  2943   1055142       150     12750         0     61181     89250   1392794     38.68     40.79  --
828.93/207.52	c  F st  3019   1071875       150     12750         0     77255     89250   2111218     38.70     38.46  --
832.12/208.38	c  N st  3024   1075175       150     12750         0     80411     89250   2251114     38.70   no data  --
848.91/212.53	c  N dy  3104   1095279       150     12750         0     56583     89250   1152971     38.71     40.80  --
865.70/216.74	c  N dy  3161   1115316       150     12750         0     75766     89250   2007887     38.71     40.81  --
884.46/221.42	c  N dy  3212   1136367       150     12750         0     51839     89250    903505     38.71     40.75  --
901.63/225.78	c  N dy  3277   1156370       150     12750         0     71063     89250   1763330     38.71     42.13  --
936.78/234.55	c  N dy  3364   1193874       150     12750         0     61787     89250   1306321     38.68     40.76  --
949.96/237.84	c  S st  3387   1209802       150     12750         0     77020     89250   1986426     38.66     36.36  --
950.76/238.07	c  S st  3387   1210305       150     12750         0     77513     89250   2007765     38.66   no data  --
950.76/238.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
950.76/238.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
951.16/238.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
951.16/238.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
951.16/238.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
951.16/238.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
951.16/238.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1074.19/268.95	c lits-rem:      1976  cl-subs:     4417  v-elim:      0  v-fix:    0  time: 122.83 s
1074.19/268.95	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
1074.19/268.97	c vivif2 --  cl tried    73096 cl shrink        0 lits rem          0 time: 0.09
1076.20/269.44	c asymm  cl-useful: 0/1147/12750 lits-rem:0 time: 1.84
1076.20/269.44	c calculated reachability. Time: 0.00
1076.20/269.44	c  N dy  3387   1210305       150     12750         0     73096     89250   1790831     38.66   no data  --
1097.37/274.74	c  N dy  3440   1230370       150     12750         0     46480     89250    602626     38.66     42.62  --
1115.34/279.25	c  N dy  3516   1251567       150     12750         0     66766     89250   1506763     38.66     40.80  --
1136.92/284.65	c  N dy  3573   1271957       150     12750         0     86268     89250   2378133     38.66     41.12  --
1157.28/289.79	c  N dy  3636   1292024       150     12750         0     58627     89250   1111328     38.66     40.73  --
1179.66/295.40	c  N dy  3740   1312491       150     12750         0     78294     89250   1994081     38.68     40.88  --
1207.22/302.29	c  N dy  3852   1333263       150     12750         0     50347     89250    704596     38.70     40.81  --
1226.00/306.93	c  N dy  3915   1355095       150     12750         0     71239     89250   1638794     38.70     40.83  --
1249.56/312.89	c  N dy  3983   1375447       150     12750         0     90754     89250   2516952     38.70     40.77  --
1271.53/318.33	c  N dy  4064   1395527       150     12750         0     61193     89250   1159086     38.71     40.92  --
1293.10/323.71	c  N dy  4135   1415748       150     12750         0     80547     89250   2025199     38.72     40.88  --
1321.86/330.92	c  N dy  4217   1437620       150     12750         0     51701     89250    696587     38.73     40.87  --
1340.65/335.62	c  N dy  4298   1457980       150     12750         0     71213     89250   1571232     38.73     40.89  --
1363.80/341.46	c  N dy  4349   1478178       150     12750         0     90586     89250   2432355     38.73     40.83  --
1386.17/347.08	c  N dy  4412   1498185       150     12750         0     58940     89250    988833     38.73     40.87  --
1408.55/352.63	c  N dy  4468   1520150       150     12750         0     79960     89250   1923376     38.72     41.00  --
1434.91/359.29	c  N dy  4536   1541008       150     12750         0     99920     89250   2818701     38.73     40.96  --
1456.09/364.58	c  N dy  4601   1561372       150     12750         0     67721     89250   1351552     38.73     41.07  --
1481.64/370.93	c  N dy  4664   1583070       150     12750         0     88510     89250   2285028     38.73     40.80  --
1513.21/378.84	c  N dy  4751   1603087       150     12750         0     54977     89250    742901     38.74     44.00  --
1532.38/383.63	c  N dy  4822   1623153       150     12750         0     74206     89250   1607449     38.75     40.80  --
1555.56/389.41	c  N dy  4902   1643181       150     12750         0     93430     89250   2468978     38.76     41.22  --
1579.12/395.37	c  N dy  4944   1663475       150     12750         0     59214     89250    893537     38.76     41.02  --
1601.10/400.82	c  N dy  4989   1688190       150     12750         0     82812     89250   1947342     38.75     40.89  --
1626.30/407.15	c  N dy  5057   1708677       150     12750         0    102409     89250   2827797     38.75     40.97  --
1628.67/407.72	c  S st  5061   1710305       150     12750         0    103977     89250   2897603     38.75     37.01  --
1629.87/408.04	c  S st  5061   1710808       150     12750         0    104469     89250   2919341     38.75   no data  --
1629.87/408.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1629.87/408.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1630.28/408.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
1630.28/408.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1630.28/408.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1630.28/408.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1630.28/408.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2628.51/658.08	c lits-rem:      5067  cl-subs:     5649  v-elim:      0  v-fix:    0  time: 997.69 s
2628.51/658.08	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
2628.91/658.12	c vivif2 --  cl tried    98820 cl shrink        0 lits rem          0 time: 0.13
2630.51/658.54	c asymm  cl-useful: 0/1133/12750 lits-rem:0 time: 1.68
2630.51/658.54	c calculated reachability. Time: 0.00
2630.51/658.54	c  N dy  5061   1710808       150     12750         0     98820     89250   2615200     38.75   no data  --
2653.68/664.31	c  N dy  5128   1730948       150     12750         0     63663     89250   1063431     38.76     41.04  --
2673.25/669.29	c  N dy  5199   1751015       150     12750         0     82913     89250   1926534     38.76     41.01  --
2696.42/675.07	c  N dy  5254   1771019       150     12750         0    102053     89250   2787106     38.76     40.96  --
2719.60/680.84	c  N dy  5321   1791074       150     12750         0     65785     89250   1125464     38.76     41.34  --
2742.38/686.52	c  N dy  5377   1812555       150     12750         0     86372     89250   2048692     38.76     41.15  --
2772.32/694.01	c  N dy  5456   1834967       150     12750         0    107798     89250   3005565     38.77     40.97  --
2793.10/699.21	c  N dy  5506   1855939       150     12750         0     71420     89250   1338476     38.76     40.87  --
2816.28/705.01	c  N dy  5594   1876085       150     12750         0     90699     89250   2202448     38.77     40.97  --
2851.43/713.84	c  N dy  5632   1908035       150     12750         0     63783     89250    968147     38.76     41.09  --
2871.81/718.97	c  N dy  5716   1928361       150     12750         0     83243     89250   1840660     38.76     41.56  --
2897.77/725.42	c  N dy  5797   1948392       150     12750         0    102449     89250   2699844     38.77     40.85  --
2923.73/731.95	c  N dy  5851   1968460       150     12750         0     63306     89250    909771     38.77     41.26  --
2944.53/737.18	c  N dy  5880   1992832       150     12750         0     86576     89250   1949271     38.75     40.86  --
2979.69/745.91	c  N dy  5966   2018101       150     12750         0    110815     89250   3037922     38.76     40.83  --
3005.23/752.38	c  N dy  6035   2038797       150     12750         0     71314     89250   1237869     38.76     40.87  --
3030.80/758.70	c  N dy  6104   2059924       150     12750         0     91538     89250   2142715     38.76     40.99  --
3060.75/766.25	c  N dy  6171   2079928       150     12750         0    110670     89250   2994614     38.77     41.07  --
3093.10/774.31	c  N dy  6248   2103193       150     12750         0     72627     89250   1259017     38.77     41.00  --
3116.28/780.19	c  N dy  6314   2123597       150     12750         0     92183     89250   2135970     38.77     40.85  --
3144.64/787.23	c  N dy  6358   2146503       150     12750         0    114073     89250   3117922     38.77     40.86  --
3169.81/793.59	c  N dy  6433   2166894       150     12750         0     72380     89250   1216713     38.77     40.89  --
3189.39/798.45	c  N dy  6454   2188041       150     12750         0     92592     89250   2122243     38.76     40.96  --
3215.35/804.92	c  N dy  6499   2208913       150     12750         0    112524     89250   3014656     38.75     40.90  --
3218.15/805.69	c  S st  6508   2210808       150     12750         0    114323     89250   3095562     38.76     37.36  --
3219.75/806.04	c  S st  6508   2211312       150     12750         0    114812     89250   3116721     38.76   no data  --
3219.75/806.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3219.75/806.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3220.15/806.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.29
3220.55/806.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3220.55/806.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3220.55/806.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3220.55/806.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4400.30/1101.55	c lits-rem:      2613  cl-subs:     6259  v-elim:      0  v-fix:    0  time: 1179.35 s
4400.30/1101.55	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
4400.30/1101.59	c vivif2 --  cl tried   108553 cl shrink        0 lits rem          0 time: 0.14
4402.70/1102.10	c asymm  cl-useful: 0/925/12750 lits-rem:0 time: 2.05
4402.70/1102.10	c calculated reachability. Time: 0.00
4402.70/1102.10	c  N dy  6508   2211312       150     12750         0    108553     89250   2788652     38.76   no data  --
4434.27/1110.09	c  N dy  6570   2231653       150     12750         0     65943     89250    897471     38.75     40.90  --
4458.22/1116.09	c  N dy  6624   2252788       150     12750         0     86139     89250   1801013     38.75     40.89  --
4488.19/1123.55	c  N dy  6691   2273789       150     12750         0    106298     89250   2701524     38.76     40.85  --
4519.34/1131.36	c  N dy  6729   2293862       150     12750         0    125506     89250   3556670     38.75     41.60  --
4541.71/1136.93	c  N dy  6759   2315557       150     12750         0     83175     89250   1630428     38.74     40.83  --
4569.28/1143.80	c  N dy  6843   2335561       150     12750         0    102364     89250   2490377     38.75     40.80  --
4605.66/1153.00	c  N dy  6883   2360619       150     12750         0    126220     89250   3548464     38.73     40.86  --
4630.01/1159.04	c  N dy  6924   2381642       150     12750         0     82308     89250   1557272     38.73     40.86  --
4656.79/1165.74	c  N dy  6995   2401927       150     12750         0    101732     89250   2429189     38.73     40.80  --
4687.15/1173.33	c  N dy  7004   2424936       150     12750         0    123651     89250   3400172     38.71     40.78  --
4712.32/1179.69	c  N dy  7018   2446453       150     12750         0     79130     89250   1392364     38.70     40.88  --
4739.88/1186.55	c  N dy  7103   2466896       150     12750         0     98721     89250   2271264     38.71     40.87  --
4769.04/1193.85	c  N dy  7140   2487142       150     12750         0    118122     89250   3140862     38.70     41.08  --

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-3174888-1304044806/watcher-3174888-1304044806 -o /tmp/evaluation-result-3174888-1304044806/solver-3174888-1304044806 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174888-1304044806.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.17 7.61 7.33 5/180 19108
/proc/meminfo: memFree=11175972/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 4 0 594711292 52465664 356 33554432000 4194304 4650419 140733217305136 18446744073709551615 47111484315161 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 12809 356 306 112 0 7774 0
[pid=19108/tid=19109] ppid=19106 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 594711292 52465664 356 33554432000 4194304 4650419 140733217305136 18446744073709551615 47111484315155 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 594711292 52465664 356 33554432000 4194304 4650419 140733217305136 18446744073709551615 47111484315570 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 594711292 52465664 356 33554432000 4194304 4650419 140733217305136 18446744073709551615 47111484315161 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.108159 s]
/proc/loadavg: 7.17 7.61 7.33 5/180 19108
/proc/meminfo: memFree=11175972/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=282976 CPUtime=0.41 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 2200 0 0 0 41 0 0 0 18 0 4 0 594711292 289767424 2113 33554432000 4194304 4650419 140733217305136 18446744073709551615 4371148 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 70744 2113 366 112 0 65709 0
[pid=19108/tid=19109] ppid=19106 vsize=282976 CPUtime=0.1 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 430 0 0 0 10 0 0 0 18 0 4 0 594711292 289767424 2113 33554432000 4194304 4650419 140733217305136 18446744073709551615 4370465 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=282976 CPUtime=0.1 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 399 0 0 0 10 0 0 0 25 0 4 0 594711292 289767424 2113 33554432000 4194304 4650419 140733217305136 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=282976 CPUtime=0.1 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 541 0 0 0 10 0 0 0 18 0 4 0 594711292 289767424 2113 33554432000 4194304 4650419 140733217305136 18446744073709551615 4334052 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282976

[startup+0.201142 s]
/proc/loadavg: 7.17 7.61 7.33 5/180 19108
/proc/meminfo: memFree=11175972/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=282976 CPUtime=0.78 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 2386 0 0 0 78 0 0 0 18 0 4 0 594711292 289767424 2299 33554432000 4194304 4650419 140733217305136 18446744073709551615 4370701 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 70744 2299 366 112 0 65709 0
[pid=19108/tid=19109] ppid=19106 vsize=282976 CPUtime=0.19 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 449 0 0 0 19 0 0 0 18 0 4 0 594711292 289767424 2299 33554432000 4194304 4650419 140733217305136 18446744073709551615 4370547 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=282976 CPUtime=0.19 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 414 0 0 0 19 0 0 0 25 0 4 0 594711292 289767424 2299 33554432000 4194304 4650419 140733217305136 18446744073709551615 4370643 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=282976 CPUtime=0.19 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 680 0 0 0 19 0 0 0 18 0 4 0 594711292 289767424 2299 33554432000 4194304 4650419 140733217305136 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 282976

[startup+0.301124 s]
/proc/loadavg: 7.17 7.61 7.33 5/180 19108
/proc/meminfo: memFree=11175972/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=284252 CPUtime=1.18 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 2836 0 0 0 118 0 0 0 18 0 4 0 594711292 291074048 2367 33554432000 4194304 4650419 140733217305136 18446744073709551615 4369160 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 71063 2367 370 112 0 66028 0
[pid=19108/tid=19109] ppid=19106 vsize=284252 CPUtime=0.29 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 466 0 0 0 29 0 0 0 18 0 4 0 594711292 291074048 2367 33554432000 4194304 4650419 140733217305136 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=284252 CPUtime=0.29 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 427 0 0 0 29 0 0 0 25 0 4 0 594711292 291074048 2367 33554432000 4194304 4650419 140733217305136 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=284252 CPUtime=0.29 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 1092 0 0 0 29 0 0 0 18 0 4 0 594711292 291074048 2368 33554432000 4194304 4650419 140733217305136 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284252

[startup+0.701057 s]
/proc/loadavg: 7.17 7.61 7.33 5/180 19108
/proc/meminfo: memFree=11175972/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=290480 CPUtime=2.77 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 8103 0 0 0 276 1 0 0 18 0 4 0 594711292 297451520 5607 33554432000 4194304 4650419 140733217305136 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 72620 5607 390 112 0 67585 0
[pid=19108/tid=19109] ppid=19106 vsize=290480 CPUtime=0.69 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 2007 0 0 0 69 0 0 0 18 0 4 0 594711292 297451520 5607 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=290480 CPUtime=0.68 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 1953 0 0 0 68 0 0 0 25 0 4 0 594711292 297451520 5607 33554432000 4194304 4650419 140733217305136 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=290480 CPUtime=0.69 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 1868 0 0 0 69 0 0 0 18 0 4 0 594711292 297451520 5607 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 290480

[startup+1.50092 s]
/proc/loadavg: 7.17 7.61 7.33 9/184 19112
/proc/meminfo: memFree=11148164/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=300600 CPUtime=5.97 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 12878 0 0 0 595 2 0 0 20 0 4 0 594711292 307814400 6873 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 75150 6873 391 112 0 70115 0
[pid=19108/tid=19109] ppid=19106 vsize=300600 CPUtime=1.49 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 3361 0 0 0 149 0 0 0 19 0 4 0 594711292 307814400 6873 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=300600 CPUtime=1.48 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 3270 0 0 0 148 0 0 0 25 0 4 0 594711292 307814400 6873 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=300600 CPUtime=1.49 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 3236 0 0 0 149 0 0 0 20 0 4 0 594711292 307814400 6873 33554432000 4194304 4650419 140733217305136 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 300600

[startup+3.10064 s]
/proc/loadavg: 7.17 7.61 7.33 9/184 19112
/proc/meminfo: memFree=11137624/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=310796 CPUtime=12.36 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 28085 0 0 0 1231 5 0 0 25 0 4 0 594711292 318255104 17682 33554432000 4194304 4650419 140733217305136 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 77699 17682 392 112 0 72664 0
[pid=19108/tid=19109] ppid=19106 vsize=310796 CPUtime=3.08 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 6331 0 0 0 308 0 0 0 23 0 4 0 594711292 318255104 17682 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=310796 CPUtime=3.07 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 8390 0 0 0 306 1 0 0 25 0 4 0 594711292 318255104 17682 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=310796 CPUtime=3.09 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 8091 0 0 0 308 1 0 0 25 0 4 0 594711292 318255104 17682 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 310796

[startup+6.30108 s]
/proc/loadavg: 7.24 7.61 7.34 9/184 19112
/proc/meminfo: memFree=11103652/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=301484 CPUtime=25.15 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 34159 0 0 0 2508 7 0 0 25 0 4 0 594711292 308719616 17440 33554432000 4194304 4650419 140733217305136 18446744073709551615 4438839 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 75371 17440 392 112 0 70336 0
[pid=19108/tid=19109] ppid=19106 vsize=301484 CPUtime=6.28 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 8224 0 0 0 627 1 0 0 25 0 4 0 594711292 308719616 17440 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=301484 CPUtime=6.25 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 9218 0 0 0 624 1 0 0 25 0 4 0 594711292 308719616 17440 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=301484 CPUtime=6.29 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 9937 0 0 0 628 1 0 0 25 0 4 0 594711292 308719616 17440 33554432000 4194304 4650419 140733217305136 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 301484

[startup+12.701 s]
/proc/loadavg: 7.38 7.64 7.35 9/184 19112
/proc/meminfo: memFree=11075848/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=303748 CPUtime=50.71 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 50531 0 0 0 5062 9 0 0 25 0 4 0 594711292 311037952 25827 33554432000 4194304 4650419 140733217305136 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 75937 25827 392 112 0 70902 0
[pid=19108/tid=19109] ppid=19106 vsize=303748 CPUtime=12.68 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 13332 0 0 0 1266 2 0 0 25 0 4 0 594711292 311037952 25827 33554432000 4194304 4650419 140733217305136 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=303748 CPUtime=12.62 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 12898 0 0 0 1260 2 0 0 25 0 4 0 594711292 311037952 25828 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=303748 CPUtime=12.69 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 15741 0 0 0 1267 2 0 0 25 0 4 0 594711292 311037952 25828 33554432000 4194304 4650419 140733217305136 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 303748

[startup+25.5007 s]
/proc/loadavg: 7.52 7.65 7.36 9/184 19113
/proc/meminfo: memFree=11041988/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=323072 CPUtime=101.85 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 80468 0 0 0 10168 17 0 0 25 0 4 0 594711292 330825728 33935 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 80768 33935 392 112 0 75733 0
[pid=19108/tid=19109] ppid=19106 vsize=323072 CPUtime=25.48 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 21018 0 0 0 2544 4 0 0 25 0 4 0 594711292 330825728 33935 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=323072 CPUtime=25.35 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 20432 0 0 0 2532 3 0 0 25 0 4 0 594711292 330825728 33935 33554432000 4194304 4650419 140733217305136 18446744073709551615 4439293 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=323072 CPUtime=25.48 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 23758 0 0 0 2544 4 0 0 25 0 4 0 594711292 330825728 33935 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 323072

[startup+51.1003 s]
/proc/loadavg: 7.75 7.70 7.38 9/184 19113
/proc/meminfo: memFree=10985192/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=422364 CPUtime=204.11 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 116424 0 0 0 20384 27 0 0 25 0 4 0 594711292 432500736 48512 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 105591 48512 392 112 0 100556 0
[pid=19108/tid=19109] ppid=19106 vsize=422364 CPUtime=51.08 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 27957 0 0 0 5102 6 0 0 25 0 4 0 594711292 432500736 48512 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=422364 CPUtime=50.82 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 30554 0 0 0 5076 6 0 0 25 0 4 0 594711292 432500736 48512 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=422364 CPUtime=51.08 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 36338 0 0 0 5100 8 0 0 25 0 4 0 594711292 432500736 48512 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 422364

[startup+102.3 s]
/proc/loadavg: 8.03 7.77 7.42 9/184 19115
/proc/meminfo: memFree=10943456/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=414344 CPUtime=408.67 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 179246 0 0 0 40821 46 0 0 25 0 4 0 594711292 424288256 57984 33554432000 4194304 4650419 140733217305136 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 103586 57984 392 112 0 98551 0
[pid=19108/tid=19109] ppid=19106 vsize=414344 CPUtime=102.3 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 43986 0 0 0 10218 12 0 0 25 0 4 0 594711292 424288256 57984 33554432000 4194304 4650419 140733217305136 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=414344 CPUtime=101.76 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 44370 0 0 0 10166 10 0 0 25 0 4 0 594711292 424288256 57984 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=414344 CPUtime=102.3 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 59351 0 0 0 10215 15 0 0 25 0 4 0 594711292 424288256 57984 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 414344

[startup+162.301 s]

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

[pid=19108] ppid=19106 vsize=633344 CPUtime=2805.48 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 521311 0 0 0 280370 178 0 0 25 0 4 0 594711292 648544256 107465 33554432000 4194304 4650419 140733217305136 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 158336 107465 392 112 0 153301 0
[pid=19108/tid=19109] ppid=19106 vsize=633344 CPUtime=702.31 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 155479 0 0 0 70172 59 0 0 25 0 4 0 594711292 648544256 107465 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=633344 CPUtime=698.55 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 122610 0 0 0 69817 38 0 0 25 0 4 0 594711292 648544256 107465 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=633344 CPUtime=702.3 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 172606 0 0 0 70173 57 0 0 25 0 4 0 594711292 648544256 107465 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.48
Current children cumulated vsize (KiB) 633344

[startup+762.301 s]
/proc/loadavg: 8.18 8.12 7.78 9/184 19132
/proc/meminfo: memFree=10622072/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=650408 CPUtime=3045.19 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 536930 0 0 0 304333 186 0 0 25 0 4 0 594711292 666017792 103841 33554432000 4194304 4650419 140733217305136 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 162602 103841 392 112 0 157567 0
[pid=19108/tid=19109] ppid=19106 vsize=650408 CPUtime=762.31 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 163283 0 0 0 76170 61 0 0 25 0 4 0 594711292 666017792 103841 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=650408 CPUtime=758.24 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 122610 0 0 0 75785 39 0 0 25 0 4 0 594711292 666017792 103841 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=650408 CPUtime=762.31 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 177797 0 0 0 76171 60 0 0 25 0 4 0 594711292 666017792 103841 33554432000 4194304 4650419 140733217305136 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.19
Current children cumulated vsize (KiB) 650408

[startup+822.301 s]
/proc/loadavg: 8.16 8.12 7.80 9/184 19134
/proc/meminfo: memFree=10591308/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=733840 CPUtime=3284.86 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 557724 0 0 0 328289 197 0 0 25 0 4 0 594711292 751452160 111934 33554432000 4194304 4650419 140733217305136 18446744073709551615 4439641 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 183460 111934 392 112 0 178425 0
[pid=19108/tid=19109] ppid=19106 vsize=733840 CPUtime=822.31 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 169140 0 0 0 82166 65 0 0 25 0 4 0 594711292 751452160 111934 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=733840 CPUtime=817.92 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 122610 0 0 0 81753 39 0 0 25 0 4 0 594711292 751452160 111934 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=733840 CPUtime=822.31 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 187281 0 0 0 82166 65 0 0 25 0 4 0 594711292 751452160 111934 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.86
Current children cumulated vsize (KiB) 733840

[startup+882.307 s]
/proc/loadavg: 8.12 8.12 7.82 9/184 19136
/proc/meminfo: memFree=10583732/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=759872 CPUtime=3524.55 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 579378 0 0 0 352248 207 0 0 25 0 4 0 594711292 778108928 109774 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 189968 109774 392 112 0 184933 0
[pid=19108/tid=19109] ppid=19106 vsize=759872 CPUtime=882.31 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 179168 0 0 0 88161 70 0 0 25 0 4 0 594711292 778108928 109774 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=759872 CPUtime=877.6 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 129865 0 0 0 87718 42 0 0 25 0 4 0 594711292 778108928 109774 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=759872 CPUtime=882.31 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 191607 0 0 0 88164 67 0 0 25 0 4 0 594711292 778108928 109774 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.55
Current children cumulated vsize (KiB) 759872

[startup+942.301 s]
/proc/loadavg: 5.78 7.47 7.62 5/175 19155
/proc/meminfo: memFree=11305528/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=733272 CPUtime=3764.25 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 604530 0 0 0 376203 222 0 0 25 0 4 0 594711292 750870528 111558 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476385 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 183318 111558 392 112 0 178283 0
[pid=19108/tid=19109] ppid=19106 vsize=733272 CPUtime=942.31 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 185315 0 0 0 94157 74 0 0 25 0 4 0 594711292 750870528 111558 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=733272 CPUtime=937.31 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 140199 0 0 0 93683 48 0 0 25 0 4 0 594711292 750870528 111558 33554432000 4194304 4650419 140733217305136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=733272 CPUtime=942.31 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 200278 0 0 0 94159 72 0 0 25 0 4 0 594711292 750870528 111558 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.25
Current children cumulated vsize (KiB) 733272

[startup+1002.3 s]
/proc/loadavg: 4.72 6.86 7.39 5/175 19157
/proc/meminfo: memFree=11241508/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=802216 CPUtime=4003.96 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 631398 0 0 0 400161 235 0 0 25 0 4 0 594711292 821469184 127312 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 200554 127312 392 112 0 195519 0
[pid=19108/tid=19109] ppid=19106 vsize=802216 CPUtime=1002.31 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 197304 0 0 0 100154 77 0 0 25 0 4 0 594711292 821469184 127312 33554432000 4194304 4650419 140733217305136 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=802216 CPUtime=997.02 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 147145 0 0 0 99650 52 0 0 25 0 4 0 594711292 821469184 127312 33554432000 4194304 4650419 140733217305136 18446744073709551615 4439312 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=802216 CPUtime=1002.31 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 208061 0 0 0 100153 78 0 0 25 0 4 0 594711292 821469184 127312 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.96
Current children cumulated vsize (KiB) 802216

[startup+1062.3 s]
/proc/loadavg: 4.26 6.33 7.18 5/175 19158
/proc/meminfo: memFree=11259068/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=816436 CPUtime=4243.68 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 645436 0 0 0 424125 243 0 0 25 0 4 0 594711292 836030464 123098 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 204109 123098 392 112 0 199074 0
[pid=19108/tid=19109] ppid=19106 vsize=816436 CPUtime=1062.31 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 202102 0 0 0 106153 78 0 0 25 0 4 0 594711292 836030464 123098 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=816436 CPUtime=1056.73 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 151277 0 0 0 105620 53 0 0 25 0 4 0 594711292 836030464 123098 33554432000 4194304 4650419 140733217305136 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=816436 CPUtime=1062.31 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 213169 0 0 0 106148 83 0 0 25 0 4 0 594711292 836030464 123098 33554432000 4194304 4650419 140733217305136 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.68
Current children cumulated vsize (KiB) 816436

[startup+1122.3 s]
/proc/loadavg: 4.16 5.92 6.98 5/175 19160
/proc/meminfo: memFree=11231500/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=776052 CPUtime=4483.38 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 674796 0 0 0 448084 254 0 0 25 0 4 0 594711292 794677248 129857 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 194013 129857 392 112 0 188978 0
[pid=19108/tid=19109] ppid=19106 vsize=776052 CPUtime=1122.31 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 209966 0 0 0 112152 79 0 0 25 0 4 0 594711292 794677248 129857 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=776052 CPUtime=1116.43 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 157285 0 0 0 111586 57 0 0 25 0 4 0 594711292 794677248 129857 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=776052 CPUtime=1122.31 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 225327 0 0 0 112143 88 0 0 25 0 4 0 594711292 794677248 129857 33554432000 4194304 4650419 140733217305136 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.38
Current children cumulated vsize (KiB) 776052

[startup+1182.3 s]
/proc/loadavg: 4.11 5.58 6.80 5/175 19162
/proc/meminfo: memFree=11229236/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=790828 CPUtime=4723.11 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 702377 0 0 0 472046 265 0 0 25 0 4 0 594711292 809807872 130296 33554432000 4194304 4650419 140733217305136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 197707 130296 392 112 0 192672 0
[pid=19108/tid=19109] ppid=19106 vsize=790828 CPUtime=1182.31 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 217790 0 0 0 118150 81 0 0 25 0 4 0 594711292 809807872 130296 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=790828 CPUtime=1176.14 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 163297 0 0 0 117554 60 0 0 25 0 4 0 594711292 809807872 130296 33554432000 4194304 4650419 140733217305136 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=790828 CPUtime=1182.32 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 229831 0 0 0 118143 89 0 0 25 0 4 0 594711292 809807872 130296 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4723.11
Current children cumulated vsize (KiB) 790828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 4.08 5.48 6.74 5/175 19162
/proc/meminfo: memFree=11241984/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=736884 CPUtime=4800.22 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 708431 0 0 0 479755 267 0 0 25 0 4 0 594711292 754569216 126915 33554432000 4194304 4650419 140733217305136 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 184221 126915 392 112 0 179186 0
[pid=19108/tid=19109] ppid=19106 vsize=736884 CPUtime=1201.62 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 218565 0 0 0 120081 81 0 0 25 0 4 0 594711292 754569216 126915 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=736884 CPUtime=1195.34 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 164252 0 0 0 119473 61 0 0 25 0 4 0 594711292 754569216 126915 33554432000 4194304 4650419 140733217305136 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=736884 CPUtime=1201.62 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 233279 0 0 0 120073 89 0 0 25 0 4 0 594711292 754569216 126915 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 736884

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: 4.08 5.48 6.74 5/175 19162
/proc/meminfo: memFree=11241984/32951124 swapFree=67102140/67111528
[pid=19108] ppid=19106 vsize=736884 CPUtime=4800.22 cores=0,2,4,6
/proc/19108/stat : 19108 (strangenight1-m) R 19106 19108 18020 0 -1 4202496 708431 0 0 0 479755 267 0 0 25 0 4 0 594711292 754569216 126915 33554432000 4194304 4650419 140733217305136 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19108/statm: 184221 126915 392 112 0 179186 0
[pid=19108/tid=19109] ppid=19106 vsize=736884 CPUtime=1201.62 cores=0,2,4,6
/proc/19108/task/19109/stat : 19109 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 218565 0 0 0 120081 81 0 0 25 0 4 0 594711292 754569216 126915 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19108/tid=19110] ppid=19106 vsize=736884 CPUtime=1195.34 cores=0,2,4,6
/proc/19108/task/19110/stat : 19110 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 164252 0 0 0 119473 61 0 0 25 0 4 0 594711292 754569216 126915 33554432000 4194304 4650419 140733217305136 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19108/tid=19111] ppid=19106 vsize=736884 CPUtime=1201.62 cores=0,2,4,6
/proc/19108/task/19111/stat : 19111 (strangenight1-m) R 19106 19108 18020 0 -1 4202560 233279 0 0 0 120073 89 0 0 25 0 4 0 594711292 754569216 126915 33554432000 4194304 4650419 140733217305136 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 736884

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.64
CPU time (s): 4800.28
CPU user time (s): 4797.58
CPU system time (s): 2.69659
CPU usage (%): 399.478
Max. virtual memory (cumulated for all children) (KiB): 882012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.58
system time used= 2.69659
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 708431
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= 1216
involuntary context switches= 30357

runsolver used 1.90971 second user time and 4.28235 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-29 04:40:06
IDJOB=3174888
IDBENCH=82506
IDSOLVER=1588
FILE ID=node119/3174888-1304044806
RUNJOBID= node119-1304043689-18872
PBS_JOBID= 13170378
Free space on /tmp= 71808 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174888-1304044806/watcher-3174888-1304044806 -o /tmp/evaluation-result-3174888-1304044806/solver-3174888-1304044806 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3174888-1304044806.cnf

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

MD5SUM BENCH= dc0028248c86c8aff67bef1f8d7ffb16
RANDOM SEED=434090878

node119.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.815
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.63
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.815
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.83
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.815
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.74
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.815
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.83
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.815
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.67
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.815
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.83
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.815
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.74
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.815
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:      11176012 kB
Buffers:       2243956 kB
Cached:       18316176 kB
SwapCached:       5504 kB
Active:       10109516 kB
Inactive:     11081116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11176012 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:            6632 kB
Writeback:           0 kB
AnonPages:      628096 kB
Mapped:          15364 kB
Slab:           520068 kB
PageTables:       5648 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1032260 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= 71808 MiB
End job on node119 at 2011-04-29 05:00:10