Trace number 3175430

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.41 1201.73

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf
MD5SUMa1e34b50698b079e87a3cad9c76615ca
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark33.7579
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
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 54450

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-3175430-1304123590.cnf'
0.00/0.00	c -- header says num vars:             50
0.00/0.00	c -- header says num clauses:        4450
0.00/0.00	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.00	c -- vars added         50
0.00/0.10	c Parsing time:  0.01 s
0.00/0.10	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.00/0.10	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.37
0.38/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.38/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
0.38/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.78/0.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
0.78/0.20	c Finding binary XORs  T:     0.00 s  found:       0
0.78/0.20	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.78/0.20	c calculated reachability. Time: 0.00
0.78/0.20	c Calc default polars -  time:   0.00 s pos:      24 undec:       1 neg:      25
0.78/0.20	c =========================================================================================
0.78/0.20	c types(t): F = full restart, N = normal restart
0.78/0.20	c types(t): S = simplification begin/end, E = solution found
0.78/0.20	c restart types(rt): st = static, dy = dynamic
0.78/0.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.78/0.20	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
1.18/0.30	c  N dy     8      4008        50      4450         0      3471     31150     64198     15.55     17.14  --
1.18/0.33	c  N dy    18      8230        50      4450         0      4952     31150     86210     15.47     16.37  --
1.58/0.47	c  N dy    27     12289        50      4450         0      4799     31150     78321     15.28     16.47  --
2.38/0.63	c  N dy    30     16845        50      4450         0      8731     31150    149148     15.13     16.07  --
3.58/0.95	c  N dy    56     24534        50      4450         0     10529     31150    175091     15.12     15.94  --
3.58/0.97	c  F st    61     25000        50      4450         0     10952     31150    183195     15.15   no data  --
4.40/1.20	c  N dy    67     30001        50      4450         0      9402     31150    150450     15.15   no data  --
4.40/1.20	c  S st    67     30001        50      4450         0      9402     31150    150450     15.15   no data  --
4.80/1.23	c  S st    67     30504        50      4450         0      9851     31150    159102     15.15   no data  --
4.80/1.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.80/1.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.80/1.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.80/1.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.80/1.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.80/1.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4.80/1.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.98/2.08	c lits-rem:      1284  cl-subs:     1544  v-elim:      0  v-fix:    0  time:  3.37 s
9.19/2.31	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.90
9.19/2.31	c calculated reachability. Time: 0.00
9.19/2.31	c  N dy    67     30504        50      4450         0      8307     31150    132051     15.15   no data  --
9.97/2.52	c  N dy   101     34557        50      4450         0     11853     31150    198789     15.40     16.24  --
11.57/2.91	c  N dy   110     42477        50      4450         0     11902     31150    185665     15.27     16.13  --
12.37/3.12	c  S st   138     45756        50      4450         0     14773     31150    239399     15.40   no data  --
12.37/3.16	c  S st   138     46261        50      4450         0     15223     31150    247940     15.40   no data  --
12.37/3.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.37/3.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.37/3.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
12.37/3.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.37/3.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.37/3.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
12.37/3.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.76/4.29	c lits-rem:      1785  cl-subs:     2717  v-elim:      0  v-fix:    0  time:  4.44 s
16.76/4.29	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
16.76/4.29	c vivif2 --  cl tried    12506 cl shrink        0 lits rem          0 time: 0.01
18.36/4.60	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.25
18.36/4.61	c calculated reachability. Time: 0.00
18.36/4.61	c  N dy   138     46261        50      4450         0     12506     31150    199884     15.40   no data  --
19.56/4.90	c  N dy   147     52379        50      4450         0     10237     31150    151030     15.31     16.12  --
20.76/5.22	c  N dy   176     57451        50      4450         0     14647     31150    231930     15.37     16.19  --
21.55/5.48	c  N dy   195     61492        50      4450         0      9627     31150    133297     15.42     16.36  --
22.37/5.69	c  N dy   205     65591        50      4450         0     13192     31150    198154     15.41     16.88  --
23.56/5.94	c  S st   227     69391        50      4450         0     16522     31150    260145     15.45     13.55  --
23.56/5.99	c  S st   227     69892        50      4450         0     16971     31150    268855     15.45   no data  --
23.56/5.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.56/5.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.56/6.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.96/6.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.96/6.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.96/6.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
23.96/6.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.74/7.29	c lits-rem:      1885  cl-subs:     2407  v-elim:      0  v-fix:    0  time:  5.12 s
28.74/7.29	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
28.74/7.29	c vivif2 --  cl tried    14564 cl shrink        0 lits rem          0 time: 0.01
30.34/7.62	c asymm  cl-useful: 0/4423/4450 lits-rem:0 time: 1.33
30.34/7.62	c calculated reachability. Time: 0.00
30.34/7.62	c  N dy   227     69892        50      4450         0     14564     31150    224963     15.45   no data  --
34.74/8.70	c  F st   240     87502        50      4450         0     20327     31150    309244     15.18     14.81  --
34.74/8.70	c  N st   240     87502        50      4450         0     20327     31150    309244     15.18     14.81  --
35.93/9.03	c  N dy   250     93101        50      4450         0     14922     31150    220040     15.19     16.79  --
37.53/9.49	c  N dy   293     99054        50      4450         0     20096     31150    316514     15.28     17.36  --
39.13/9.88	c  S st   306    104838        50      4450         0     13922     31150    190383     15.25     14.69  --
39.54/9.92	c  S st   306    105341        50      4450         0     14364     31150    198697     15.25   no data  --
39.54/9.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.54/9.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.54/9.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
39.54/9.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.54/9.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.54/9.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
39.54/9.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.54/10.97	c lits-rem:       718  cl-subs:     1137  v-elim:      0  v-fix:    0  time:  4.16 s
43.54/10.97	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
43.54/10.97	c vivif2 --  cl tried    13227 cl shrink        0 lits rem          0 time: 0.00
44.73/11.26	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.15
44.73/11.26	c calculated reachability. Time: 0.00
44.73/11.26	c  N dy   306    105341        50      4450         0     13227     31150    180250     15.25   no data  --
47.53/11.94	c  N dy   351    115557        50      4450         0     22097     31150    338887     15.26     16.12  --
49.92/12.50	c  N dy   403    122967        50      4450         0     16521     31150    232906     15.34     16.18  --
52.32/13.17	c  N dy   452    130906        50      4450         0     23436     31150    361755     15.41     17.07  --
55.12/13.88	c  N dy   521    139417        50      4450         0     17866     31150    251123     15.51     16.38  --
58.71/14.72	c  N dy   533    150610        50      4450         0     27540     31150    422745     15.42     16.26  --
60.71/15.26	c  S st   559    158013        50      4450         0     20106     31150    281317     15.41   no data  --
61.11/15.31	c  S st   559    158516        50      4450         0     20556     31150    289918     15.41   no data  --
61.11/15.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
61.11/15.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.11/15.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
61.11/15.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.11/15.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.11/15.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
61.11/15.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
66.32/16.68	c lits-rem:      1207  cl-subs:     2162  v-elim:      0  v-fix:    0  time:  5.42 s
66.32/16.68	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
66.32/16.69	c vivif2 --  cl tried    18394 cl shrink        0 lits rem          0 time: 0.01
67.90/17.05	c asymm  cl-useful: 0/3609/4450 lits-rem:0 time: 1.44
67.90/17.05	c calculated reachability. Time: 0.00
67.90/17.05	c  N dy   559    158516        50      4450         0     18394     31150    252478     15.41   no data  --
71.89/18.06	c  N dy   641    168648        50      4450         0     27242     31150    419384     15.51     16.93  --
75.49/18.99	c  N dy   660    180723        50      4450         0     22969     31150    323775     15.44     16.32  --
80.27/20.19	c  N dy   736    192312        50      4450         0     17542     31150    224835     15.51     17.22  --
87.07/21.83	c  N dy   756    212589        50      4450         0     18480     31150    229132     15.37     16.26  --
92.28/23.18	c  N dy   835    226285        50      4450         0     30434     31150    450724     15.42     16.25  --
96.68/24.21	c  S st   857    237774        50      4450         0     23096     31150    305560     15.39   no data  --
96.68/24.28	c  S st   857    238277        50      4450         0     23549     31150    314189     15.39   no data  --
96.68/24.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
96.68/24.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.68/24.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
96.68/24.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
96.68/24.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.68/24.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
96.68/24.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
103.05/25.81	c lits-rem:       999  cl-subs:     2179  v-elim:      0  v-fix:    0  time:  6.06 s
103.05/25.81	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
103.05/25.82	c vivif2 --  cl tried    21370 cl shrink        0 lits rem          0 time: 0.01
103.45/25.92	c asymm  cl-useful: 0/841/4450 lits-rem:0 time: 0.40
103.45/25.92	c calculated reachability. Time: 0.00
103.45/25.92	c  N dy   857    238277        50      4450         0     21370     31150    277476     15.39   no data  --
111.04/27.86	c  N dy   948    255900        50      4450         0     18634     31150    219948     15.43     16.28  --
121.43/30.46	c  N dy  1014    285026        50      4450         0     24825     31150    322047     15.38     16.25  --
130.61/32.78	c  N dy  1142    303237        50      4450         0     20797     31150    245671     15.45     16.51  --
131.83/33.05	c  F st  1159    306250        50      4450         0     23385     31150    293702     15.46   no data  --
139.00/34.88	c  N dy  1236    322664        50      4450         0     37619     31150    558714     15.49     17.72  --
149.41/37.41	c  N dy  1332    344518        50      4450         0     35710     31150    506100     15.50     16.35  --
155.38/38.90	c  S st  1370    357416        50      4450         0     25272     31150    314813     15.49   no data  --
155.38/38.96	c  S st  1370    357923        50      4450         0     25722     31150    323497     15.49   no data  --
155.38/38.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
155.38/38.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
155.38/38.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
155.38/38.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
155.38/38.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
155.38/38.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
155.38/38.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
162.59/40.73	c lits-rem:       832  cl-subs:     1143  v-elim:      0  v-fix:    0  time:  6.97 s
162.59/40.73	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
162.59/40.73	c vivif2 --  cl tried    24579 cl shrink        0 lits rem          0 time: 0.01
163.77/41.06	c asymm  cl-useful: 0/3008/4450 lits-rem:0 time: 1.33
163.77/41.06	c calculated reachability. Time: 0.00
163.77/41.06	c  N dy  1370    357923        50      4450         0     24579     31150    302457     15.49   no data  --
173.75/43.57	c  N dy  1451    378024        50      4450         0     41914     31150    618228     15.49     16.31  --
186.13/46.65	c  N dy  1537    400676        50      4450         0     39133     31150    563227     15.50     16.33  --
197.33/49.49	c  N dy  1660    420946        50      4450         0     33422     31150    451064     15.55     16.44  --
209.31/52.42	c  N dy  1717    443589        50      4450         0     28697     31150    349699     15.53     16.35  --
219.30/55.00	c  N dy  1786    463609        50      4450         0     45935     31150    665631     15.53     18.98  --
237.69/59.57	c  N dy  1810    502322        50      4450         0     28248     31150    329011     15.39     16.24  --
256.05/64.13	c  N dy  1904    536885        50      4450         0     31401     31150    374420     15.38     13.62  --
256.05/64.13	c  S st  1904    536885        50      4450         0     31401     31150    374420     15.38     13.62  --
256.45/64.22	c  S st  1904    537388        50      4450         0     31844     31150    382951     15.38   no data  --
256.45/64.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
256.45/64.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
256.45/64.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
256.45/64.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
256.45/64.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
256.45/64.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
256.45/64.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
266.44/66.72	c lits-rem:       917  cl-subs:     2014  v-elim:      0  v-fix:    0  time:  9.90 s
266.44/66.72	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
266.44/66.72	c vivif2 --  cl tried    29830 cl shrink        0 lits rem          0 time: 0.02
267.24/66.97	c asymm  cl-useful: 0/1442/4450 lits-rem:0 time: 0.99
267.24/66.97	c calculated reachability. Time: 0.00
267.24/66.97	c  N dy  1904    537388        50      4450         0     29830     31150    351630     15.38   no data  --
279.22/69.91	c  N dy  2036    557418        50      4450         0     47203     31150    676717     15.41     16.65  --
292.01/73.15	c  N dy  2118    578960        50      4450         0     38384     31150    497341     15.42     16.26  --
304.39/76.20	c  N dy  2163    598967        50      4450         0     55543     31150    798445     15.38     17.02  --
315.18/78.96	c  N dy  2266    619025        50      4450         0     44484     31150    605593     15.40     16.89  --
330.76/82.86	c  N dy  2415    639125        50      4450         0     32589     31150    382773     15.44     17.68  --
343.54/86.04	c  N dy  2556    659178        50      4450         0     50029     31150    710903     15.47     18.17  --
357.92/89.68	c  N dy  2650    679181        50      4450         0     37044     31150    457290     15.49     16.88  --
372.31/93.29	c  N dy  2774    699228        50      4450         0     54457     31150    783610     15.51     18.08  --
385.48/96.56	c  N dy  2820    719269        50      4450         0     40498     31150    506620     15.50     17.79  --
404.28/101.25	c  N dy  2960    741771        50      4450         0     59970     31150    871056     15.53     16.48  --
418.65/104.89	c  N dy  3085    761835        50      4450         0     45361     31150    596822     15.55     17.43  --
436.22/109.21	c  N dy  3216    781882        50      4450         0     62586     31150    916739     15.57     16.42  --
449.00/112.40	c  N dy  3288    801897        50      4450         0     46939     31150    612335     15.57     18.01  --
451.81/113.16	c  S st  3305    806082        50      4450         0     50548     31150    678802     15.57   no data  --
452.21/113.29	c  S st  3305    806585        50      4450         0     50988     31150    687298     15.57   no data  --
452.21/113.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
452.21/113.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
452.62/113.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
452.62/113.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
452.62/113.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
452.62/113.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
452.62/113.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
477.37/119.53	c lits-rem:      2301  cl-subs:     5956  v-elim:      0  v-fix:    0  time: 24.74 s
477.37/119.53	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
477.37/119.54	c vivif2 --  cl tried    45032 cl shrink        0 lits rem          0 time: 0.03
478.17/119.75	c asymm  cl-useful: 0/951/4450 lits-rem:0 time: 0.85
478.17/119.75	c calculated reachability. Time: 0.00
478.17/119.75	c  N dy  3305    806585        50      4450         0     45032     31150    584467     15.57   no data  --
495.34/124.02	c  N dy  3406    826667        50      4450         0     62420     31150    906984     15.58     17.59  --
510.92/127.95	c  N dy  3532    846742        50      4450         0     46647     31150    610140     15.60     17.49  --
526.50/131.83	c  N dy  3609    866766        50      4450         0     63814     31150    922762     15.60     16.87  --
542.88/135.93	c  N dy  3702    889708        50      4450         0     49317     31150    643640     15.60     16.59  --
561.66/140.60	c  N dy  3770    912742        50      4450         0     69097     31150   1003398     15.60     16.44  --
576.06/144.29	c  N dy  3842    935241        50      4450         0     53246     31150    703884     15.59     16.46  --
611.59/153.17	c  N dy  3913    987954        50      4450         0     61893     31150    822256     15.51     16.42  --
631.57/158.12	c  N dy  4029   1009269        50      4450         0     43585     31150    517091     15.53     16.38  --
647.15/162.07	c  N dy  4125   1029289        50      4450         0     60787     31150    834389     15.54     16.37  --
667.52/167.17	c  N dy  4213   1049957        50      4450         0     40861     31150    458877     15.54     16.39  --
681.52/170.66	c  F st  4265   1071875        50      4450         0     59560     31150    797382     15.54     15.47  --
681.52/170.66	c  N st  4265   1071875        50      4450         0     59560     31150    797382     15.54     15.47  --
704.67/176.40	c  N dy  4368   1092934        50      4450         0     39117     31150    419917     15.55     16.42  --
717.05/179.58	c  N dy  4409   1113000        50      4450         0     56191     31150    721152     15.53     17.38  --
736.23/184.38	c  N dy  4502   1133593        50      4450         0     73913     31150   1048543     15.54     16.46  --
754.21/188.86	c  N dy  4633   1153662        50      4450         0     51882     31150    652327     15.56     16.47  --
772.19/193.39	c  N dy  4714   1174266        50      4450         0     69617     31150    976994     15.56     16.43  --
795.78/199.21	c  N dy  4770   1195226        50      4450         0     47102     31150    545162     15.56     16.41  --
807.74/202.25	c  S st  4817   1209877        50      4450         0     59638     31150    771826     15.55   no data  --
808.56/202.45	c  S st  4817   1210377        50      4450         0     60086     31150    780577     15.55   no data  --
808.56/202.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
808.56/202.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
808.56/202.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.12
808.96/202.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
808.96/202.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
808.96/202.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
808.96/202.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
865.27/216.61	c lits-rem:      2882  cl-subs:     7370  v-elim:      0  v-fix:    0  time: 56.31 s
865.27/216.61	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
865.27/216.62	c vivif2 --  cl tried    52716 cl shrink        0 lits rem          0 time: 0.04
866.86/217.01	c asymm  cl-useful: 0/632/4450 lits-rem:0 time: 1.57
866.86/217.01	c calculated reachability. Time: 0.00
866.86/217.01	c  N dy  4817   1210377        50      4450         0     52716     31150    656827     15.55   no data  --
891.63/223.28	c  N dy  5000   1230391        50      4450         0     70021     31150    987450     15.58     17.79  --
919.59/230.20	c  N dy  5080   1259618        50      4450         0     54339     31150    675677     15.57     16.48  --
942.36/235.98	c  N dy  5161   1284159        50      4450         0     75386     31150   1058144     15.57     16.53  --
964.74/241.59	c  N dy  5305   1304189        50      4450         0     50942     31150    615851     15.58     18.00  --
989.90/247.85	c  N dy  5421   1326840        50      4450         0     70402     31150    974425     15.59     16.50  --
1017.06/254.68	c  N dy  5503   1346884        50      4450         0     44788     31150    488088     15.59     16.95  --
1040.62/260.52	c  N dy  5620   1370648        50      4450         0     65248     31150    867232     15.60     16.58  --
1063.42/266.27	c  N dy  5727   1391121        50      4450         0     82796     31150   1192784     15.61     16.50  --
1084.17/271.43	c  N dy  5884   1411129        50      4450         0     56287     31150    701632     15.63     18.17  --
1106.14/276.97	c  N dy  6044   1431210        50      4450         0     73630     31150   1031474     15.65     18.84  --
1132.11/283.44	c  N dy  6089   1459549        50      4450         0     53094     31150    617917     15.63     16.46  --
1152.48/288.57	c  N dy  6225   1479617        50      4450         0     70411     31150    945445     15.64     17.76  --
1174.45/294.02	c  N dy  6277   1500640        50      4450         0     88439     31150   1270554     15.63     16.58  --
1194.02/298.92	c  N dy  6385   1520671        50      4450         0     60133     31150    753107     15.64     18.57  --
1221.19/305.80	c  N dy  6509   1546534        50      4450         0     82294     31150   1160998     15.64     16.53  --
1245.55/311.86	c  N dy  6608   1566637        50      4450         0     53221     31150    615951     15.65     16.52  --
1265.55/316.84	c  N dy  6717   1586837        50      4450         0     70576     31150    939757     15.66     16.53  --
1291.50/323.36	c  N dy  6808   1609540        50      4450         0     90032     31150   1297628     15.66     16.56  --
1313.07/328.74	c  N dy  6930   1629565        50      4450         0     60064     31150    736607     15.67     18.65  --
1336.63/334.68	c  N dy  7050   1651470        50      4450         0     78931     31150   1089847     15.68     16.53  --
1361.41/340.82	c  N dy  7099   1671550        50      4450         0     96082     31150   1401771     15.67     18.20  --
1394.56/349.10	c  N dy  7180   1710378        50      4450         0     80962     31150   1089687     15.65     13.69  --
1394.56/349.10	c  S st  7180   1710378        50      4450         0     80962     31150   1089687     15.65     13.69  --
1395.35/349.39	c  S st  7180   1710881        50      4450         0     81401     31150   1098283     15.65   no data  --
1395.75/349.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1395.75/349.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1395.75/349.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
1395.75/349.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1395.75/349.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1395.75/349.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1395.75/349.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1548.75/387.72	c lits-rem:      4470  cl-subs:    13060  v-elim:      0  v-fix:    0  time: 152.74 s
1548.75/387.72	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1548.75/387.74	c vivif2 --  cl tried    68341 cl shrink        0 lits rem          0 time: 0.06
1550.35/388.18	c asymm  cl-useful: 0/513/4450 lits-rem:0 time: 1.75
1550.35/388.18	c calculated reachability. Time: 0.00
1550.35/388.18	c  N dy  7180   1710881        50      4450         0     68341     31150    883219     15.65   no data  --
1584.70/396.76	c  N dy  7316   1730893        50      4450         0     85585     31150   1209990     15.66     16.94  --
1618.26/405.10	c  N dy  7462   1751046        50      4450         0     55031     31150    638446     15.68     16.51  --
1644.21/411.66	c  N dy  7597   1771107        50      4450         0     72296     31150    964151     15.69     18.42  --
1676.98/419.83	c  N dy  7661   1792488        50      4450         0     90601     31150   1302288     15.69     16.53  --
1712.53/428.71	c  N dy  7671   1823695        50      4450         0     67823     31150    838956     15.66     16.57  --
1743.29/436.44	c  N dy  7726   1847590        50      4450         0     88121     31150   1208149     15.66     16.65  --
1776.84/444.80	c  N dy  7868   1867944        50      4450         0     55509     31150    626786     15.67     16.66  --
1795.62/449.55	c  N dy  7953   1888226        50      4450         0     72841     31150    947864     15.67     16.63  --
1823.60/456.58	c  N dy  8057   1909416        50      4450         0     91000     31150   1284445     15.68     16.51  --
1852.74/463.83	c  N dy  8153   1930372        50      4450         0     57774     31150    656765     15.68     16.51  --
1879.91/470.62	c  N dy  8264   1957608        50      4450         0     81069     31150   1084769     15.68     16.74  --
1909.46/478.06	c  N dy  8335   1980260        50      4450         0    100344     31150   1432653     15.67     16.55  --
1932.63/483.89	c  N dy  8431   2000305        50      4450         0     65454     31150    793443     15.68     17.52  --
1959.00/490.40	c  N dy  8523   2023288        50      4450         0     85130     31150   1157042     15.68     16.51  --
1990.57/498.37	c  N dy  8654   2043347        50      4450         0    102331     31150   1482979     15.69     18.31  --
2013.32/504.03	c  N dy  8722   2063348        50      4450         0     66343     31150    796825     15.69     17.31  --
2047.70/512.61	c  N dy  8811   2094120        50      4450         0     92626     31150   1278022     15.69     16.60  --
2076.45/519.89	c  N dy  8857   2114178        50      4450         0     55912     31150    602913     15.68     17.86  --
2094.82/524.46	c  N dy  8928   2134261        50      4450         0     73018     31150    916083     15.68     17.06  --
2121.58/531.16	c  N dy  9040   2154320        50      4450         0     90165     31150   1236015     15.68     16.53  --
2157.14/540.01	c  N dy  9175   2174558        50      4450         0    107479     31150   1563533     15.69     16.59  --
2187.09/547.52	c  N dy  9264   2203787        50      4450         0     77703     31150    994056     15.69     16.68  --
2195.88/549.73	c  S st  9299   2210881        50      4450         0     83792     31150   1108112     15.69     15.13  --
2196.68/550.00	c  S st  9299   2211386        50      4450         0     84238     31150   1116738     15.69   no data  --
2197.10/550.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2197.10/550.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2197.10/550.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
2197.10/550.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2197.10/550.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2197.10/550.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
2197.10/550.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2305.73/577.22	c lits-rem:      5730  cl-subs:    10274  v-elim:      0  v-fix:    0  time: 108.40 s
2305.73/577.22	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
2305.73/577.23	c vivif2 --  cl tried    73964 cl shrink        0 lits rem          0 time: 0.06
2307.34/577.61	c asymm  cl-useful: 0/475/4450 lits-rem:0 time: 1.49
2307.34/577.61	c calculated reachability. Time: 0.00
2307.34/577.61	c  N dy  9299   2211386        50      4450         0     73964     31150    936389     15.69   no data  --
2337.71/585.25	c  N dy  9341   2234506        50      4450         0     93629     31150   1291754     15.69     16.59  --
2376.04/594.87	c  N dy  9464   2255161        50      4450         0     56637     31150    607536     15.69     16.66  --
2397.21/600.16	c  N dy  9554   2275595        50      4450         0     74170     31150    933781     15.70     16.56  --
2436.75/610.01	c  N dy  9662   2297887        50      4450         0     93266     31150   1287656     15.70     16.59  --
2467.91/617.88	c  N dy  9669   2318667        50      4450         0    110873     31150   1595121     15.69     16.55  --
2494.67/624.57	c  N dy  9754   2338767        50      4450         0     72007     31150    879479     15.69     17.22  --
2595.74/649.87	c  N dy  9849   2426857        50      4450         0     89465     31150   1137195     15.62     16.47  --
2634.49/659.52	c  N dy  9935   2451201        50      4450         0    110191     31150   1515667     15.62     16.60  --
2663.27/666.72	c  N dy 10074   2471217        50      4450         0     69780     31150    832039     15.63     17.35  --
2691.21/673.74	c  N dy 10184   2493588        50      4450         0     88972     31150   1188484     15.63     16.46  --
2733.17/684.22	c  N dy 10293   2519847        50      4450         0    111416     31150   1602188     15.63     16.53  --
2763.12/691.76	c  N dy 10434   2539938        50      4450         0     69948     31150    825762     15.64     17.94  --
2789.49/698.31	c  N dy 10564   2560013        50      4450         0     87156     31150   1151584     15.65     17.15  --
2817.45/705.32	c  N dy 10643   2580035        50      4450         0    104199     31150   1465978     15.65     17.75  --
2859.39/715.89	c  N dy 10819   2600073        50      4450         0     61663     31150    659498     15.66     16.93  --
2882.16/721.52	c  N dy 10917   2620134        50      4450         0     78864     31150    979463     15.67     17.71  --
2918.13/730.51	c  N dy 10982   2648889        50      4450         0    103291     31150   1422471     15.66     16.56  --
2951.67/738.95	c  N dy 11059   2668922        50      4450         0    120429     31150   1739233     15.66     17.45  --
2978.04/745.58	c  N dy 11180   2688943        50      4450         0     76919     31150    938754     15.67     18.36  --
3007.20/752.81	c  N dy 11296   2708984        50      4450         0     94083     31150   1260246     15.67     18.10  --
3011.19/753.85	c  S st 11314   2711386        50      4450         0     96149     31150   1299385     15.67     16.05  --
3012.39/754.13	c  S st 11314   2711890        50      4450         0     96592     31150   1308245     15.67   no data  --
3012.39/754.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3012.39/754.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3012.39/754.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
3012.79/754.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3012.79/754.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3012.79/754.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
3012.79/754.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3466.18/867.79	c lits-rem:      4190  cl-subs:    11340  v-elim:      0  v-fix:    0  time: 453.57 s
3466.18/867.79	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
3466.58/867.80	c vivif2 --  cl tried    85252 cl shrink        0 lits rem          0 time: 0.07
3468.17/868.27	c asymm  cl-useful: 0/400/4450 lits-rem:0 time: 1.86
3468.17/868.28	c calculated reachability. Time: 0.00
3468.17/868.28	c  N dy 11314   2711890        50      4450         0     85252     31150   1101927     15.67   no data  --
3509.31/878.56	c  N dy 11418   2731985        50      4450         0    102457     31150   1422456     15.68     16.51  --
3570.43/893.89	c  N dy 11576   2754920        50      4450         0     61288     31150    642068     15.68     16.51  --
3599.21/901.04	c  N dy 11694   2774983        50      4450         0     78379     31150    964162     15.69     18.31  --
3629.15/908.55	c  N dy 11748   2797725        50      4450         0     97645     31150   1308709     15.68     16.56  --
3667.90/918.25	c  N dy 11805   2819110        50      4450         0    115791     31150   1632685     15.68     16.52  --
3704.27/927.36	c  N dy 11889   2839190        50      4450         0     71104     31150    816746     15.68     17.06  --
3735.80/935.23	c  N dy 12021   2859219        50      4450         0     88312     31150   1142219     15.68     17.83  --
3775.35/945.14	c  N dy 12152   2879310        50      4450         0    105529     31150   1467926     15.69     17.62  --
3819.29/956.17	c  N dy 12261   2899348        50      4450         0    122698     31150   1790173     15.70     17.48  --
3848.04/963.38	c  N dy 12382   2919425        50      4450         0     76867     31150    917720     15.70     17.75  --
3879.61/971.22	c  N dy 12501   2941311        50      4450         0     95600     31150   1269935     15.71     16.59  --
3909.16/978.63	c  N dy 12527   2962898        50      4450         0    113834     31150   1596255     15.70     16.56  --
3952.70/989.56	c  N dy 12676   2983914        50      4450         0     67898     31150    740289     15.71     16.67  --
3977.47/995.72	c  N dy 12765   3004274        50      4450         0     85311     31150   1063190     15.71     16.66  --
4009.83/1003.85	c  N dy 12894   3024636        50      4450         0    102653     31150   1388209     15.71     16.60  --
4052.57/1014.52	c  N dy 13000   3046292        50      4450         0    121113     31150   1732381     15.72     16.59  --
4085.73/1022.87	c  N dy 13061   3066623        50      4450         0     73596     31150    831309     15.71     16.57  --
4115.69/1030.31	c  N dy 13184   3088095        50      4450         0     91975     31150   1176953     15.72     16.62  --
4150.44/1039.09	c  N dy 13311   3108141        50      4450         0    109220     31150   1503056     15.72     18.20  --
4192.00/1049.46	c  N dy 13426   3128736        50      4450         0    126734     31150   1829029     15.73     16.62  --
4220.74/1056.65	c  N dy 13488   3148776        50      4450         0     78093     31150    915779     15.73     17.76  --
4249.90/1063.93	c  N dy 13611   3168858        50      4450         0     95279     31150   1240162     15.73     18.18  --
4289.45/1073.89	c  N dy 13732   3188874        50      4450         0    112506     31150   1565904     15.74     17.47  --
4344.18/1087.56	c  N dy 13844   3211891        50      4450         0    132098     31150   1931266     15.74     14.37  --
4344.18/1087.56	c  S st 13844   3211891        50      4450         0    132098     31150   1931266     15.74     14.37  --
4346.19/1088.05	c  S st 13844   3212393        50      4450         0    132549     31150   1940064     15.74   no data  --
4346.19/1088.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4346.19/1088.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4346.57/1088.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.30
4346.97/1088.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4346.97/1088.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4346.97/1088.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4346.97/1088.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175430-1304123590/watcher-3175430-1304123590 -o /tmp/evaluation-result-3175430-1304123590/solver-3175430-1304123590 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175430-1304123590.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: 8.07 8.03 8.00 5/180 10769
/proc/meminfo: memFree=30640992/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=273444 CPUtime=0 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 704 0 0 0 0 0 0 0 25 0 4 0 523959465 280006656 614 33554432000 4194304 4650419 140734197472608 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 68361 615 343 112 0 63326 0
[pid=10769/tid=10770] ppid=10767 vsize=273444 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 60 0 0 0 0 0 0 0 25 0 4 0 523959465 280006656 634 33554432000 4194304 4650419 140734197472608 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=273580 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 68 0 0 0 0 0 0 0 25 0 4 0 523959465 280145920 639 33554432000 4194304 4650419 140734197472608 18446744073709551615 230808862475 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=273580 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 95 0 0 0 0 0 0 0 25 0 4 0 523959465 280145920 641 33554432000 4194304 4650419 140734197472608 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.101464 s]
/proc/loadavg: 8.07 8.03 8.00 5/180 10769
/proc/meminfo: memFree=30640992/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=283436 CPUtime=0.38 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 1648 0 0 0 38 0 0 0 25 0 4 0 523959465 290238464 1468 33554432000 4194304 4650419 140734197472608 18446744073709551615 4225729 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 70859 1468 381 112 0 65824 0
[pid=10769/tid=10770] ppid=10767 vsize=283436 CPUtime=0.09 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 172 0 0 0 9 0 0 0 25 0 4 0 523959465 290238464 1468 33554432000 4194304 4650419 140734197472608 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=283436 CPUtime=0.09 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) D 10767 10769 10605 0 -1 4202560 475 0 0 0 9 0 0 0 25 0 4 0 523959465 290238464 1468 33554432000 4194304 4650419 140734197472608 18446744073709551615 230808862475 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=283436 CPUtime=0.09 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 311 0 0 0 9 0 0 0 25 0 4 0 523959465 290238464 1468 33554432000 4194304 4650419 140734197472608 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 283436

[startup+0.201017 s]
/proc/loadavg: 8.07 8.03 8.00 5/180 10769
/proc/meminfo: memFree=30640992/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=284272 CPUtime=0.78 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 2786 0 0 0 78 0 0 0 25 0 4 0 523959465 291094528 2383 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 71068 2383 390 112 0 66033 0
[pid=10769/tid=10770] ppid=10767 vsize=284272 CPUtime=0.19 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 606 0 0 0 19 0 0 0 25 0 4 0 523959465 291094528 2383 33554432000 4194304 4650419 140734197472608 18446744073709551615 4334034 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=284272 CPUtime=0.19 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 611 0 0 0 19 0 0 0 25 0 4 0 523959465 291094528 2383 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=284272 CPUtime=0.19 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 523 0 0 0 19 0 0 0 25 0 4 0 523959465 291094528 2383 33554432000 4194304 4650419 140734197472608 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 284272

[startup+0.300999 s]
/proc/loadavg: 8.07 8.03 8.00 5/180 10769
/proc/meminfo: memFree=30640992/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=284888 CPUtime=1.18 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 3346 0 0 0 118 0 0 0 25 0 4 0 523959465 291725312 2531 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 71222 2531 390 112 0 66187 0
[pid=10769/tid=10770] ppid=10767 vsize=284888 CPUtime=0.29 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 770 0 0 0 29 0 0 0 25 0 4 0 523959465 291725312 2531 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=284888 CPUtime=0.29 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 768 0 0 0 29 0 0 0 25 0 4 0 523959465 291725312 2531 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=284888 CPUtime=0.29 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 596 0 0 0 29 0 0 0 25 0 4 0 523959465 291725312 2531 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284888

[startup+0.700927 s]
/proc/loadavg: 8.07 8.03 8.00 5/180 10769
/proc/meminfo: memFree=30640992/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=294808 CPUtime=2.78 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 5453 0 0 0 277 1 0 0 25 0 4 0 523959465 301883392 3382 33554432000 4194304 4650419 140734197472608 18446744073709551615 4331892 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 73702 3382 390 112 0 68667 0
[pid=10769/tid=10770] ppid=10767 vsize=294808 CPUtime=0.69 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 1314 0 0 0 69 0 0 0 25 0 4 0 523959465 301883392 3382 33554432000 4194304 4650419 140734197472608 18446744073709551615 4516587 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=294808 CPUtime=0.69 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 1153 0 0 0 69 0 0 0 25 0 4 0 523959465 301883392 3382 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=294808 CPUtime=0.69 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 1176 0 0 0 69 0 0 0 25 0 4 0 523959465 301883392 3382 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 294808

[startup+1.50078 s]
/proc/loadavg: 8.07 8.03 8.00 9/184 10773
/proc/meminfo: memFree=30625336/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=296396 CPUtime=5.97 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 9195 0 0 0 596 1 0 0 25 0 4 0 523959465 303509504 4895 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 74099 4895 392 112 0 69064 0
[pid=10769/tid=10770] ppid=10767 vsize=296396 CPUtime=1.48 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 1902 0 0 0 148 0 0 0 25 0 4 0 523959465 303509504 4895 33554432000 4194304 4650419 140734197472608 18446744073709551615 4515973 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=296396 CPUtime=1.49 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 2097 0 0 0 149 0 0 0 25 0 4 0 523959465 303509504 4895 33554432000 4194304 4650419 140734197472608 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=296396 CPUtime=1.49 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 1898 0 0 0 149 0 0 0 25 0 4 0 523959465 303509504 4895 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 296396

[startup+3.10049 s]
/proc/loadavg: 8.07 8.03 8.00 9/184 10773
/proc/meminfo: memFree=30603924/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=285804 CPUtime=12.37 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 15089 0 0 0 1235 2 0 0 25 0 4 0 523959465 292663296 9217 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 71451 9217 392 112 0 66416 0
[pid=10769/tid=10770] ppid=10767 vsize=285804 CPUtime=3.07 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 3420 0 0 0 307 0 0 0 25 0 4 0 523959465 292663296 9217 33554432000 4194304 4650419 140734197472608 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=285804 CPUtime=3.09 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 3960 0 0 0 309 0 0 0 25 0 4 0 523959465 292663296 9217 33554432000 4194304 4650419 140734197472608 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=285804 CPUtime=3.08 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 3932 0 0 0 308 0 0 0 25 0 4 0 523959465 292663296 9217 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 285804

[startup+6.3009 s]
/proc/loadavg: 8.06 8.03 8.00 9/184 10773
/proc/meminfo: memFree=30587704/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=294072 CPUtime=25.15 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 21755 0 0 0 2511 4 0 0 25 0 4 0 523959465 301129728 12637 33554432000 4194304 4650419 140734197472608 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 73518 12637 392 112 0 68483 0
[pid=10769/tid=10770] ppid=10767 vsize=294072 CPUtime=6.26 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 5350 0 0 0 625 1 0 0 25 0 4 0 523959465 301129728 12637 33554432000 4194304 4650419 140734197472608 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=294072 CPUtime=6.29 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 5032 0 0 0 629 0 0 0 25 0 4 0 523959465 301129728 12637 33554432000 4194304 4650419 140734197472608 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=294072 CPUtime=6.28 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 5644 0 0 0 628 0 0 0 25 0 4 0 523959465 301129728 12637 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 294072

[startup+12.7007 s]
/proc/loadavg: 8.06 8.03 8.00 9/184 10773
/proc/meminfo: memFree=30575556/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=298820 CPUtime=50.72 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 31218 0 0 0 5066 6 0 0 25 0 4 0 523959465 305991680 17384 33554432000 4194304 4650419 140734197472608 18446744073709551615 4364779 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 74705 17384 392 112 0 69670 0
[pid=10769/tid=10770] ppid=10767 vsize=298820 CPUtime=12.62 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 7808 0 0 0 1261 1 0 0 25 0 4 0 523959465 305991680 17384 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=298820 CPUtime=12.69 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 7254 0 0 0 1268 1 0 0 25 0 4 0 523959465 305991680 17384 33554432000 4194304 4650419 140734197472608 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=298820 CPUtime=12.69 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 8806 0 0 0 1268 1 0 0 25 0 4 0 523959465 305991680 17384 33554432000 4194304 4650419 140734197472608 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 298820

[startup+25.5004 s]
/proc/loadavg: 8.11 8.04 8.01 9/184 10773
/proc/meminfo: memFree=30565856/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=299428 CPUtime=101.86 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 46291 0 0 0 10176 10 0 0 25 0 4 0 523959465 306614272 20636 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 74857 20636 392 112 0 69822 0
[pid=10769/tid=10770] ppid=10767 vsize=299428 CPUtime=25.36 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 11503 0 0 0 2534 2 0 0 25 0 4 0 523959465 306614272 20636 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=299428 CPUtime=25.48 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 11190 0 0 0 2547 1 0 0 25 0 4 0 523959465 306614272 20636 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=299428 CPUtime=25.49 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 12969 0 0 0 2547 2 0 0 25 0 4 0 523959465 306614272 20636 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 299428

[startup+51.1007 s]
/proc/loadavg: 8.15 8.06 8.01 9/184 10774
/proc/meminfo: memFree=30528548/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=300136 CPUtime=204.11 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 70349 0 0 0 20394 17 0 0 25 0 4 0 523959465 307339264 22735 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 75034 22735 392 112 0 69999 0
[pid=10769/tid=10770] ppid=10767 vsize=300136 CPUtime=50.82 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 17821 0 0 0 5078 4 0 0 25 0 4 0 523959465 307339264 22735 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=300136 CPUtime=51.09 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 17854 0 0 0 5106 3 0 0 25 0 4 0 523959465 307339264 22735 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=300136 CPUtime=51.09 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 19793 0 0 0 5104 5 0 0 25 0 4 0 523959465 307339264 22735 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 300136

[startup+102.3 s]
/proc/loadavg: 8.05 8.02 8.00 9/184 10806
/proc/meminfo: memFree=30774788/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=322992 CPUtime=408.68 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 104976 0 0 0 40840 28 0 0 25 0 4 0 523959465 330743808 31113 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 80748 31113 392 112 0 75713 0
[pid=10769/tid=10770] ppid=10767 vsize=322992 CPUtime=101.77 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 24497 0 0 0 10172 5 0 0 25 0 4 0 523959465 330743808 31113 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=322992 CPUtime=102.3 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 26079 0 0 0 10224 6 0 0 25 0 4 0 523959465 330743808 31113 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=322992 CPUtime=102.29 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 31716 0 0 0 10221 8 0 0 25 0 4 0 523959465 330743808 31113 33554432000 4194304 4650419 140734197472608 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 322992

[startup+162.3 s]

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

[pid=10769] ppid=10767 vsize=359156 CPUtime=2565.78 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 316536 0 0 0 256471 107 0 0 25 0 4 0 523959465 367775744 58464 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 89789 58464 392 112 0 84754 0
[pid=10769/tid=10770] ppid=10767 vsize=359156 CPUtime=638.85 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 78053 0 0 0 63859 26 0 0 25 0 4 0 523959465 367775744 58464 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=359156 CPUtime=642.3 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 74474 0 0 0 64207 23 0 0 25 0 4 0 523959465 367775744 58464 33554432000 4194304 4650419 140734197472608 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=359156 CPUtime=642.3 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 93319 0 0 0 64201 29 0 0 25 0 4 0 523959465 367775744 58464 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.78
Current children cumulated vsize (KiB) 359156

[startup+702.3 s]
/proc/loadavg: 8.07 8.09 8.02 9/184 10852
/proc/meminfo: memFree=30557968/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=396804 CPUtime=2805.46 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 333464 0 0 0 280432 114 0 0 25 0 4 0 523959465 406327296 60469 33554432000 4194304 4650419 140734197472608 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 99201 60469 392 112 0 94166 0
[pid=10769/tid=10770] ppid=10767 vsize=396804 CPUtime=698.54 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 82790 0 0 0 69825 29 0 0 25 0 4 0 523959465 406327296 60469 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=396804 CPUtime=702.31 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 75497 0 0 0 70207 24 0 0 25 0 4 0 523959465 406327296 60469 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=396804 CPUtime=702.29 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 99114 0 0 0 70197 32 0 0 25 0 4 0 523959465 406327296 60469 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.46
Current children cumulated vsize (KiB) 396804

[startup+762.3 s]
/proc/loadavg: 8.09 8.09 8.02 9/184 10854
/proc/meminfo: memFree=30500508/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=399248 CPUtime=3045.16 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 350640 0 0 0 304395 121 0 0 25 0 4 0 523959465 408829952 60526 33554432000 4194304 4650419 140734197472608 18446744073709551615 4439086 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 99812 60526 392 112 0 94777 0
[pid=10769/tid=10770] ppid=10767 vsize=399248 CPUtime=758.21 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 88249 0 0 0 75790 31 0 0 25 0 4 0 523959465 408829952 60526 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=399248 CPUtime=762.31 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 77910 0 0 0 76206 25 0 0 25 0 4 0 523959465 408829952 60526 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=399248 CPUtime=762.3 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 101825 0 0 0 76197 33 0 0 25 0 4 0 523959465 408829952 60526 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.16
Current children cumulated vsize (KiB) 399248

[startup+822.3 s]
/proc/loadavg: 8.09 8.09 8.02 9/184 10856
/proc/meminfo: memFree=30474432/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=399884 CPUtime=3284.81 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 366812 0 0 0 328355 126 0 0 25 0 4 0 523959465 409481216 66140 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 99971 66140 392 112 0 94936 0
[pid=10769/tid=10770] ppid=10767 vsize=399884 CPUtime=817.88 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 91475 0 0 0 81756 32 0 0 25 0 4 0 523959465 409481216 66140 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=399884 CPUtime=822.31 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 80338 0 0 0 82205 26 0 0 25 0 4 0 523959465 409481216 66140 33554432000 4194304 4650419 140734197472608 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=399884 CPUtime=822.31 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 105741 0 0 0 82195 36 0 0 25 0 4 0 523959465 409481216 66140 33554432000 4194304 4650419 140734197472608 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.81
Current children cumulated vsize (KiB) 399884

[startup+882.306 s]
/proc/loadavg: 8.09 8.08 8.02 9/184 10857
/proc/meminfo: memFree=30442380/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=416080 CPUtime=3524.51 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 376916 0 0 0 352322 129 0 0 25 0 4 0 523959465 426065920 68035 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 104020 68035 392 112 0 98985 0
[pid=10769/tid=10770] ppid=10767 vsize=416080 CPUtime=877.55 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 95016 0 0 0 87723 32 0 0 25 0 4 0 523959465 426065920 68035 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=416080 CPUtime=882.32 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 81993 0 0 0 88205 27 0 0 25 0 4 0 523959465 426065920 68035 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=416080 CPUtime=882.31 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 105961 0 0 0 88195 36 0 0 25 0 4 0 523959465 426065920 68035 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.51
Current children cumulated vsize (KiB) 416080

[startup+942.3 s]
/proc/loadavg: 8.08 8.08 8.02 9/184 10859
/proc/meminfo: memFree=30384424/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=522344 CPUtime=3764.16 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 385456 0 0 0 376282 134 0 0 25 0 4 0 523959465 534880256 71620 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 130586 71620 392 112 0 125551 0
[pid=10769/tid=10770] ppid=10767 vsize=522344 CPUtime=937.22 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 97973 0 0 0 93688 34 0 0 25 0 4 0 523959465 534880256 71620 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=522344 CPUtime=942.31 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 83275 0 0 0 94203 28 0 0 25 0 4 0 523959465 534880256 71620 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=522344 CPUtime=942.31 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 105961 0 0 0 94195 36 0 0 25 0 4 0 523959465 534880256 71620 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.16
Current children cumulated vsize (KiB) 522344

[startup+1002.3 s]
/proc/loadavg: 8.08 8.08 8.02 9/184 10860
/proc/meminfo: memFree=30373568/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=522344 CPUtime=4003.83 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 394762 0 0 0 400245 138 0 0 25 0 4 0 523959465 534880256 72017 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 130586 72017 392 112 0 125551 0
[pid=10769/tid=10770] ppid=10767 vsize=522344 CPUtime=996.88 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 102660 0 0 0 99652 36 0 0 25 0 4 0 523959465 534880256 72017 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=522344 CPUtime=1002.31 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 83278 0 0 0 100203 28 0 0 25 0 4 0 523959465 534880256 72017 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=522344 CPUtime=1002.31 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 107823 0 0 0 100194 37 0 0 25 0 4 0 523959465 534880256 72017 33554432000 4194304 4650419 140734197472608 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.83
Current children cumulated vsize (KiB) 522344

[startup+1062.3 s]
/proc/loadavg: 8.07 8.08 8.02 9/184 10862
/proc/meminfo: memFree=30348968/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=469416 CPUtime=4243.52 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 402733 0 0 0 424209 143 0 0 25 0 4 0 523959465 480681984 68363 33554432000 4194304 4650419 140734197472608 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 117354 68363 392 112 0 112319 0
[pid=10769/tid=10770] ppid=10767 vsize=469416 CPUtime=1056.57 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 103142 0 0 0 105620 37 0 0 25 0 4 0 523959465 480681984 68363 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=469416 CPUtime=1062.32 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 83281 0 0 0 106204 28 0 0 25 0 4 0 523959465 480681984 68363 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=469416 CPUtime=1062.31 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 111165 0 0 0 106192 39 0 0 25 0 4 0 523959465 480681984 68363 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.52
Current children cumulated vsize (KiB) 469416

[startup+1122.3 s]
/proc/loadavg: 8.11 8.09 8.02 9/184 10864
/proc/meminfo: memFree=30329076/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=481972 CPUtime=4483.18 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 413597 0 0 0 448172 146 0 0 25 0 4 0 523959465 493539328 73754 33554432000 4194304 4650419 140734197472608 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 120493 73754 392 112 0 115458 0
[pid=10769/tid=10770] ppid=10767 vsize=481972 CPUtime=1116.22 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 105619 0 0 0 111584 38 0 0 25 0 4 0 523959465 493539328 73754 33554432000 4194304 4650419 140734197472608 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=481972 CPUtime=1122.32 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 83437 0 0 0 112204 28 0 0 25 0 4 0 523959465 493539328 73754 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=481972 CPUtime=1122.32 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 113290 0 0 0 112192 40 0 0 25 0 4 0 523959465 493539328 73754 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.18
Current children cumulated vsize (KiB) 481972

[startup+1182.3 s]
/proc/loadavg: 8.08 8.08 8.02 9/184 10865
/proc/meminfo: memFree=30317880/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=484316 CPUtime=4722.86 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 418778 0 0 0 472138 148 0 0 25 0 4 0 523959465 495939584 74000 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 121079 74000 392 112 0 116044 0
[pid=10769/tid=10770] ppid=10767 vsize=484316 CPUtime=1175.9 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 105831 0 0 0 117552 38 0 0 25 0 4 0 523959465 495939584 74000 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=484316 CPUtime=1182.32 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 83437 0 0 0 118204 28 0 0 25 0 4 0 523959465 495939584 74000 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=484316 CPUtime=1182.32 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 115725 0 0 0 118191 41 0 0 25 0 4 0 523959465 495939584 74000 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.86
Current children cumulated vsize (KiB) 484316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.12 8.09 8.03 9/184 10866
/proc/meminfo: memFree=30312288/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=484316 CPUtime=4800.37 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 423119 0 0 0 479889 148 0 0 25 0 4 0 523959465 495939584 73406 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 121079 73406 392 112 0 116044 0
[pid=10769/tid=10770] ppid=10767 vsize=484316 CPUtime=1195.19 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 105831 0 0 0 119481 38 0 0 25 0 4 0 523959465 495939584 73406 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=484316 CPUtime=1201.73 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 83437 0 0 0 120145 28 0 0 25 0 4 0 523959465 495939584 73406 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=484316 CPUtime=1201.72 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 116638 0 0 0 120131 41 0 0 25 0 4 0 523959465 495939584 73406 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 484316

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.41
CPU user time (s): 4798.92
CPU system time (s): 1.49977
CPU usage (%): 399.46
Max. virtual memory (cumulated for all children) (KiB): 560120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.92
system time used= 1.49977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423119
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= 167
involuntary context switches= 25734

runsolver used 1.89371 second user time and 4.55431 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-30 02:33:10
IDJOB=3175430
IDBENCH=83048
IDSOLVER=1588
FILE ID=node104/3175430-1304123590
RUNJOBID= node104-1304122384-10623
PBS_JOBID= 13170745
Free space on /tmp= 71544 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175430-1304123590/watcher-3175430-1304123590 -o /tmp/evaluation-result-3175430-1304123590/solver-3175430-1304123590 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175430-1304123590.cnf

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

MD5SUM BENCH= a1e34b50698b079e87a3cad9c76615ca
RANDOM SEED=938098317

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30641272 kB
Buffers:        370096 kB
Cached:        1092360 kB
SwapCached:         80 kB
Active:         526600 kB
Inactive:      1387048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30641272 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            6248 kB
Writeback:          24 kB
AnonPages:      451064 kB
Mapped:          15540 kB
Slab:           331628 kB
PageTables:       5540 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   729292 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= 71536 MiB
End job on node104 at 2011-04-30 02:53:14