Trace number 3175231

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf
MD5SUMbf255e5bc10dc75db5f2f0a4a1086e58
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark32.615
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-3175231-1304102111.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.00	c Parsing time:  0.01 s
0.00/0.00	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.00/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
0.00/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
0.00/0.43	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.43	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.00/0.43	c calculated reachability. Time: 0.00
0.00/0.43	c Calc default polars -  time:   0.00 s pos:      24 undec:       0 neg:      26
0.00/0.43	c =========================================================================================
0.00/0.43	c types(t): F = full restart, N = normal restart
0.00/0.43	c types(t): S = simplification begin/end, E = solution found
0.00/0.43	c restart types(rt): st = static, dy = dynamic
0.00/0.43	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.43	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.00/0.43	c  N dy     7      5935        50      4450         0      2995     31150     51612     15.47     16.33  --
3.40/0.90	c  N dy    13     11759        50      4450         0      4341     31150     69988     15.03     15.94  --
3.40/0.90	c  N dy    38     17253        50      4450         0      9130     31150    158080     15.37     16.21  --
3.80/1.00	c  F st    64     25000        50      4450         0     10934     31150    184689     15.40     14.94  --
3.80/1.00	c  N st    64     25000        50      4450         0     10934     31150    184689     15.40     14.94  --
4.60/1.18	c  N dy    70     30002        50      4450         0      9397     31150    151221     15.40   no data  --
4.60/1.18	c  S st    70     30002        50      4450         0      9397     31150    151221     15.40   no data  --
4.60/1.21	c  S st    70     30504        50      4450         0      9842     31150    159689     15.40   no data  --
4.60/1.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.60/1.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.60/1.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.60/1.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.60/1.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.60/1.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4.60/1.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.38/2.10	c lits-rem:      1251  cl-subs:     1502  v-elim:      0  v-fix:    0  time:  3.50 s
9.18/2.31	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.81
9.18/2.31	c calculated reachability. Time: 0.00
9.18/2.31	c  N dy    70     30504        50      4450         0      8340     31150    133487     15.40   no data  --
11.18/2.80	c  N dy    93     41179        50      4450         0     10772     31150    166332     15.16     16.05  --
12.00/3.04	c  N dy   126     45211        50      4450         0     14314     31150    233404     15.34     17.23  --
12.00/3.08	c  S st   132     45758        50      4450         0     14789     31150    242315     15.37   no data  --
12.37/3.13	c  S st   132     46261        50      4450         0     15237     31150    250994     15.37   no data  --
12.37/3.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.37/3.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.37/3.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
12.37/3.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.37/3.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.37/3.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
12.37/3.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.16/4.34	c lits-rem:      1926  cl-subs:     2530  v-elim:      0  v-fix:    0  time:  4.80 s
17.16/4.34	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.16/4.34	c vivif2 --  cl tried    12707 cl shrink        0 lits rem          0 time: 0.01
18.36/4.64	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.20
18.36/4.64	c calculated reachability. Time: 0.00
18.36/4.64	c  N dy   132     46261        50      4450         0     12707     31150    206222     15.37   no data  --
19.57/4.92	c  N dy   152     51151        50      4450         0      9391     31150    137015     15.40     16.28  --
20.37/5.11	c  N dy   157     55237        50      4450         0     12927     31150    199472     15.34     17.04  --
21.96/5.57	c  N dy   170     63870        50      4450         0     11814     31150    171410     15.20     16.12  --
23.16/5.83	c  N dy   196     68215        50      4450         0     15634     31150    241953     15.27     16.11  --
23.56/5.90	c  S st   198     69391        50      4450         0     16651     31150    259747     15.27     14.04  --
23.56/5.95	c  S st   198     69896        50      4450         0     17104     31150    268462     15.27   no data  --
23.56/5.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.56/5.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.56/5.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.56/5.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.56/5.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.56/5.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
23.56/5.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.35/7.16	c lits-rem:      1704  cl-subs:     2799  v-elim:      0  v-fix:    0  time:  4.78 s
28.35/7.16	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
28.35/7.17	c vivif2 --  cl tried    14305 cl shrink        0 lits rem          0 time: 0.01
29.95/7.50	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.31
29.95/7.50	c calculated reachability. Time: 0.00
29.95/7.50	c  N dy   198     69896        50      4450         0     14305     31150    220084     15.27   no data  --
31.55/7.97	c  N dy   218     77792        50      4450         0     11817     31150    164396     15.18     16.12  --
32.75/8.29	c  N dy   250     82820        50      4450         0     16224     31150    245765     15.25     17.86  --
34.34/8.67	c  F st   291     87500        50      4450         0     20283     31150    321831     15.34   no data  --
34.74/8.74	c  N st   293     88126        50      4450         0     10545     31150    138364     15.34   no data  --
35.93/9.06	c  N dy   306     93816        50      4450         0     15478     31150    228878     15.36     16.25  --
37.95/9.53	c  N dy   358     99870        50      4450         0     20748     31150    328153     15.46     17.76  --
39.14/9.88	c  S st   368    104845        50      4450         0     13817     31150    189939     15.45     14.24  --
39.53/9.92	c  S st   368    105348        50      4450         0     14271     31150    198595     15.45   no data  --
39.53/9.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.53/9.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.53/9.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
39.53/9.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.53/9.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.53/9.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
39.53/9.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.53/10.96	c lits-rem:       854  cl-subs:      950  v-elim:      0  v-fix:    0  time:  4.13 s
43.53/10.96	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
43.53/10.97	c vivif2 --  cl tried    13321 cl shrink        0 lits rem          0 time: 0.01
44.72/11.27	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.22
44.72/11.27	c calculated reachability. Time: 0.00
44.72/11.27	c  N dy   368    105348        50      4450         0     13321     31150    182199     15.45   no data  --
46.73/11.80	c  N dy   390    113656        50      4450         0     20522     31150    311636     15.42     16.26  --
49.12/12.37	c  N dy   433    120923        50      4450         0     14793     31150    201070     15.47     17.21  --
51.54/12.91	c  N dy   446    129108        50      4450         0     21822     31150    327243     15.44     16.25  --
54.31/13.62	c  N dy   490    137567        50      4450         0     16238     31150    218632     15.48     16.39  --
57.51/14.42	c  N dy   516    148577        50      4450         0     25746     31150    389807     15.45     16.27  --
60.33/15.14	c  S st   532    158022        50      4450         0     20020     31150    275039     15.40     11.49  --
60.70/15.20	c  S st   532    158527        50      4450         0     20465     31150    283526     15.40   no data  --
60.70/15.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
60.70/15.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.70/15.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
60.70/15.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.70/15.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.70/15.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
60.70/15.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.89/16.57	c lits-rem:       844  cl-subs:     2583  v-elim:      0  v-fix:    0  time:  5.39 s
65.89/16.57	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
65.89/16.57	c vivif2 --  cl tried    17882 cl shrink        0 lits rem          0 time: 0.01
67.50/16.92	c asymm  cl-useful: 0/3668/4450 lits-rem:0 time: 1.40
67.50/16.92	c calculated reachability. Time: 0.00
67.50/16.92	c  N dy   532    158527        50      4450         0     17882     31150    241071     15.40   no data  --
71.09/17.88	c  N dy   595    168673        50      4450         0     26654     31150    402034     15.44     18.18  --
75.48/18.94	c  N dy   618    183143        50      4450         0     24663     31150    354874     15.38     16.22  --
80.28/20.16	c  N dy   643    196489        50      4450         0     20700     31150    276334     15.33     16.20  --
85.47/21.46	c  N dy   706    209075        50      4450         0     31609     31150    474927     15.35     16.46  --
90.26/22.69	c  N dy   778    222452        50      4450         0     26841     31150    385992     15.39     17.00  --
95.48/23.99	c  N dy   797    237246        50      4450         0     22298     31150    287971     15.33     16.16  --
95.85/24.04	c  S st   803    237792        50      4450         0     22779     31150    296869     15.33   no data  --
96.25/24.11	c  S st   803    238294        50      4450         0     23229     31150    305433     15.33   no data  --
96.25/24.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
96.25/24.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.25/24.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
96.25/24.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
96.25/24.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.25/24.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
96.25/24.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
102.24/25.61	c lits-rem:      1223  cl-subs:     2109  v-elim:      0  v-fix:    0  time:  5.96 s
102.24/25.61	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
102.24/25.62	c vivif2 --  cl tried    21120 cl shrink        0 lits rem          0 time: 0.01
102.64/25.71	c asymm  cl-useful: 0/782/4450 lits-rem:0 time: 0.37
102.64/25.71	c calculated reachability. Time: 0.00
102.64/25.71	c  N dy   803    238294        50      4450         0     21120     31150    270960     15.33   no data  --
108.66/27.23	c  N dy   864    253572        50      4450         0     34228     31150    506596     15.32     17.97  --
119.82/30.07	c  N dy   956    282166        50      4450         0     22018     31150    269642     15.30     16.22  --
127.81/32.07	c  N dy  1049    300229        50      4450         0     37649     31150    555862     15.32     17.73  --
130.62/32.75	c  F st  1072    306250        50      4450         0     23077     31150    285893     15.33     13.96  --
136.20/34.16	c  N dy  1139    319418        50      4450         0     34501     31150    498351     15.36     16.21  --
146.18/36.67	c  N dy  1222    340932        50      4450         0     32330     31150    444023     15.37     16.31  --
155.37/38.98	c  S st  1354    357441        50      4450         0     25067     31150    311677     15.44   no data  --
155.77/39.05	c  S st  1354    357942        50      4450         0     25515     31150    320342     15.44   no data  --
155.77/39.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
155.77/39.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
155.77/39.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
155.77/39.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
155.77/39.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
155.77/39.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
155.77/39.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
162.56/40.72	c lits-rem:       768  cl-subs:     1008  v-elim:      0  v-fix:    0  time:  6.60 s
162.56/40.72	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
162.56/40.72	c vivif2 --  cl tried    24507 cl shrink        0 lits rem          0 time: 0.01
163.76/41.06	c asymm  cl-useful: 0/3007/4450 lits-rem:0 time: 1.36
163.76/41.06	c calculated reachability. Time: 0.00
163.76/41.06	c  N dy  1354    357942        50      4450         0     24507     31150    300970     15.44   no data  --
173.34/43.46	c  N dy  1404    377997        50      4450         0     41648     31150    602672     15.40     17.50  --
186.13/46.68	c  N dy  1536    399822        50      4450         0     38209     31150    546627     15.45     16.34  --
199.31/49.98	c  N dy  1609    427214        50      4450         0     38317     31150    520284     15.41     16.30  --
210.10/52.64	c  N dy  1692    447271        50      4450         0     31628     31150    407188     15.42     16.99  --
222.50/55.70	c  N dy  1821    467330        50      4450         0     49041     31150    732926     15.47     16.30  --
232.06/58.11	c  N dy  1877    487347        50      4450         0     41064     31150    559333     15.44     16.94  --
244.87/61.31	c  N dy  2004    507378        50      4450         0     32644     31150    411224     15.48     17.06  --
254.03/63.61	c  N dy  2021    527438        50      4450         0     49696     31150    710215     15.42     17.50  --
259.23/64.99	c  S st  2065    536915        50      4450         0     31279     31150    378231     15.43     14.81  --
259.63/65.08	c  S st  2065    537417        50      4450         0     31722     31150    386821     15.43   no data  --
259.63/65.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
259.63/65.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
259.63/65.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
260.03/65.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
260.03/65.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.03/65.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
260.03/65.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
267.22/66.96	c lits-rem:       748  cl-subs:     1560  v-elim:      0  v-fix:    0  time:  7.44 s
267.22/66.96	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
267.22/66.97	c vivif2 --  cl tried    30162 cl shrink        0 lits rem          0 time: 0.02
268.42/67.21	c asymm  cl-useful: 0/1443/4450 lits-rem:0 time: 0.99
268.42/67.21	c calculated reachability. Time: 0.00
268.42/67.21	c  N dy  2065    537417        50      4450         0     30162     31150    358802     15.43   no data  --
279.62/70.01	c  N dy  2146    558877        50      4450         0     48602     31150    692300     15.43     16.25  --
290.78/72.80	c  N dy  2206    578884        50      4450         0     38409     31150    497934     15.41     17.85  --
313.16/78.42	c  N dy  2299    618108        50      4450         0     43619     31150    567085     15.35     16.40  --
329.14/82.45	c  N dy  2446    638192        50      4450         0     31868     31150    370295     15.39     17.81  --
347.52/87.01	c  N dy  2594    667383        50      4450         0     57056     31150    836179     15.41     16.25  --
369.08/92.44	c  N dy  2599    706731        50      4450         0     60202     31150    838562     15.30     16.17  --
383.05/96.00	c  N dy  2756    726784        50      4450         0     46985     31150    637379     15.33     17.58  --
405.83/101.62	c  N dy  2848    758179        50      4450         0     42191     31150    519850     15.30     16.12  --
422.21/105.79	c  N dy  2998    778281        50      4450         0     59552     31150    846067     15.33     17.72  --
438.21/109.72	c  N dy  3143    798360        50      4450         0     44268     31150    568457     15.36     16.85  --
444.57/111.31	c  S st  3215    806125        50      4450         0     50944     31150    694904     15.38   no data  --
444.97/111.46	c  S st  3215    806628        50      4450         0     51397     31150    703573     15.38   no data  --
444.97/111.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
444.97/111.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
444.97/111.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
445.37/111.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
445.37/111.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
445.37/111.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
445.37/111.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
473.36/118.57	c lits-rem:      2648  cl-subs:     5309  v-elim:      0  v-fix:    0  time: 28.21 s
473.36/118.57	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
473.36/118.58	c vivif2 --  cl tried    46088 cl shrink        0 lits rem          0 time: 0.03
474.54/118.81	c asymm  cl-useful: 0/921/4450 lits-rem:0 time: 0.91
474.54/118.81	c calculated reachability. Time: 0.00
474.54/118.81	c  N dy  3215    806628        50      4450         0     46088     31150    604304     15.38   no data  --
493.71/123.63	c  N dy  3369    827599        50      4450         0     64157     31150    943752     15.41     16.29  --
508.51/127.35	c  N dy  3478    847664        50      4450         0     48142     31150    629511     15.43     18.27  --
527.26/132.08	c  N dy  3620    867886        50      4450         0     65719     31150    960469     15.45     16.37  --
542.85/135.96	c  N dy  3737    889945        50      4450         0     50446     31150    668462     15.47     16.30  --
559.22/140.00	c  N dy  3798    910333        50      4450         0     67999     31150    988870     15.47     16.28  --
575.20/144.00	c  N dy  3944    930374        50      4450         0     50054     31150    656099     15.49     17.58  --
592.37/148.31	c  N dy  4024    950446        50      4450         0     67281     31150    972665     15.50     16.72  --
608.76/152.48	c  N dy  4140    970487        50      4450         0     48350     31150    613895     15.51     16.34  --
624.74/156.44	c  N dy  4211    990499        50      4450         0     65503     31150    923175     15.51     17.61  --
641.52/160.64	c  N dy  4284   1010765        50      4450         0     45902     31150    555521     15.51     16.47  --
657.50/164.61	c  N dy  4347   1031824        50      4450         0     63866     31150    881931     15.51     16.35  --
675.49/169.13	c  N dy  4447   1051923        50      4450         0     43433     31150    511254     15.51     18.03  --
691.04/173.01	c  F st  4540   1071876        50      4450         0     60598     31150    828404     15.52     14.63  --
691.04/173.07	c  N st  4541   1072126        50      4450         0     60816     31150    832568     15.52   no data  --
711.02/178.03	c  N dy  4617   1092173        50      4450         0     39420     31150    426935     15.53     16.61  --
723.83/181.25	c  N dy  4684   1112510        50      4450         0     56798     31150    737983     15.52     16.39  --
745.79/186.77	c  N dy  4765   1136966        50      4450         0     77687     31150   1118416     15.52     16.34  --
762.56/190.99	c  N dy  4868   1158318        50      4450         0     56595     31150    737031     15.52     16.36  --
786.11/196.81	c  N dy  4992   1178417        50      4450         0     73878     31150   1060253     15.54     17.23  --
809.29/202.63	c  N dy  5131   1198486        50      4450         0     50825     31150    624148     15.56     16.40  --
818.87/205.03	c  S st  5160   1209944        50      4450         0     60575     31150    795870     15.55     13.58  --
819.68/205.27	c  S st  5160   1210447        50      4450         0     61013     31150    804226     15.55   no data  --
819.68/205.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
819.68/205.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
820.09/205.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
820.09/205.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
820.09/205.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
820.09/205.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
820.09/205.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
886.01/221.83	c lits-rem:      2762  cl-subs:     7068  v-elim:      0  v-fix:    0  time: 65.85 s
886.01/221.83	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
886.01/221.84	c vivif2 --  cl tried    53945 cl shrink        0 lits rem          0 time: 0.04
887.19/222.17	c asymm  cl-useful: 0/659/4450 lits-rem:0 time: 1.35
887.19/222.17	c calculated reachability. Time: 0.00
887.19/222.17	c  N dy  5160   1210447        50      4450         0     53945     31150    680745     15.55   no data  --
909.16/227.64	c  N dy  5215   1237176        50      4450         0     76762     31150   1087276     15.53     16.39  --
927.13/232.10	c  N dy  5320   1257198        50      4450         0     53262     31150    663105     15.54     16.41  --
948.70/237.52	c  N dy  5475   1277528        50      4450         0     70782     31150    994069     15.56     16.39  --
970.67/243.03	c  N dy  5560   1297580        50      4450         0     46216     31150    525028     15.57     16.88  --
1003.43/251.27	c  N dy  5682   1329230        50      4450         0     73292     31150   1014700     15.56     16.46  --
1030.19/257.93	c  N dy  5776   1349784        50      4450         0     48149     31150    547605     15.56     16.50  --
1049.76/262.83	c  N dy  5864   1369804        50      4450         0     65331     31150    862394     15.57     17.55  --
1068.54/267.51	c  N dy  5902   1389867        50      4450         0     82281     31150   1159604     15.55     17.99  --
1088.12/272.46	c  N dy  6030   1409958        50      4450         0     56089     31150    696732     15.57     16.97  --
1110.88/278.16	c  N dy  6095   1435062        50      4450         0     77435     31150   1079045     15.56     16.52  --
1133.65/283.89	c  N dy  6166   1456871        50      4450         0     51668     31150    600405     15.55     16.52  --
1154.03/288.93	c  N dy  6317   1476924        50      4450         0     69014     31150    930784     15.57     16.40  --
1191.17/298.28	c  N dy  6384   1518271        50      4450         0     58838     31150    704711     15.53     16.47  --
1214.34/304.09	c  N dy  6487   1539879        50      4450         0     77412     31150   1047581     15.54     16.37  --
1239.50/310.34	c  N dy  6518   1560587        50      4450         0     48852     31150    536170     15.53     16.36  --
1258.28/315.01	c  N dy  6651   1580601        50      4450         0     66061     31150    860144     15.54     17.76  --
1277.85/319.90	c  N dy  6675   1602465        50      4450         0     84477     31150   1182666     15.52     16.35  --
1303.84/326.45	c  N dy  6808   1622488        50      4450         0     54744     31150    642240     15.54     18.52  --
1324.59/331.62	c  N dy  6948   1642548        50      4450         0     72038     31150    967405     15.55     18.68  --
1364.54/341.69	c  N dy  7047   1676441        50      4450         0     52991     31150    592088     15.54     16.48  --
1386.92/347.25	c  N dy  7216   1696573        50      4450         0     70418     31150    923788     15.55     16.39  --
1404.49/351.67	c  S st  7265   1710447        50      4450         0     82252     31150   1135998     15.55     13.24  --
1405.68/351.97	c  S st  7265   1710954        50      4450         0     82708     31150   1145096     15.55   no data  --
1405.68/351.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1405.68/351.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1406.08/352.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
1406.08/352.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1406.08/352.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1406.08/352.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1406.08/352.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1582.64/396.20	c lits-rem:      4949  cl-subs:    11651  v-elim:      0  v-fix:    0  time: 176.29 s
1582.64/396.20	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1582.64/396.21	c vivif2 --  cl tried    71057 cl shrink        0 lits rem          0 time: 0.06
1584.24/396.61	c asymm  cl-useful: 0/500/4450 lits-rem:0 time: 1.58
1584.24/396.61	c calculated reachability. Time: 0.00
1584.24/396.61	c  N dy  7265   1710954        50      4450         0     71057     31150    940998     15.55   no data  --
1619.39/405.50	c  N dy  7414   1733376        50      4450         0     90358     31150   1304245     15.56     16.47  --
1647.35/412.42	c  N dy  7532   1753520        50      4450         0     59628     31150    720014     15.57     16.42  --
1672.94/418.88	c  N dy  7645   1773591        50      4450         0     76876     31150   1042308     15.58     17.66  --
1709.67/428.05	c  N dy  7797   1793594        50      4450         0     94114     31150   1369591     15.60     18.57  --
1739.22/435.45	c  N dy  7903   1813598        50      4450         0     61916     31150    754641     15.60     17.07  --
1767.99/442.61	c  N dy  7970   1833624        50      4450         0     78961     31150   1065037     15.60     17.93  --
1799.96/450.62	c  N dy  8063   1853694        50      4450         0     96137     31150   1381294     15.60     16.54  --
1824.71/456.85	c  N dy  8156   1876546        50      4450         0     65315     31150    800345     15.60     16.55  --
1849.88/463.17	c  N dy  8297   1896641        50      4450         0     82614     31150   1128325     15.62     17.48  --
1887.43/472.50	c  N dy  8339   1930739        50      4450         0     60383     31150    698686     15.60     16.47  --
1910.22/478.24	c  N dy  8479   1950836        50      4450         0     77598     31150   1021826     15.61     17.80  --
1940.57/485.83	c  N dy  8625   1970843        50      4450         0     94837     31150   1346870     15.62     16.56  --
1967.72/492.65	c  N dy  8717   1990875        50      4450         0     59748     31150    686325     15.62     16.52  --
1989.32/498.05	c  N dy  8789   2011910        50      4450         0     77820     31150   1017335     15.62     16.50  --
2021.65/506.11	c  N dy  8901   2035997        50      4450         0     98383     31150   1395551     15.63     16.67  --
2051.61/513.66	c  N dy  8989   2060918        50      4450         0     66533     31150    802443     15.63     16.48  --
2073.58/519.11	c  N dy  9060   2080939        50      4450         0     83568     31150   1113038     15.63     16.72  --
2102.34/526.36	c  N dy  9106   2102792        50      4450         0    102195     31150   1444367     15.62     16.44  --
2128.70/532.97	c  N dy  9213   2123564        50      4450         0     66209     31150    795665     15.62     16.49  --
2152.67/538.94	c  N dy  9309   2143593        50      4450         0     83332     31150   1112093     15.62     17.94  --
2182.65/546.44	c  N dy  9424   2163608        50      4450         0    100525     31150   1433654     15.63     16.62  --
2234.97/559.57	c  N dy  9521   2210955        50      4450         0     85825     31150   1099420     15.60     11.55  --
2234.97/559.57	c  S st  9521   2210955        50      4450         0     85825     31150   1099420     15.60     11.55  --
2236.15/559.88	c  S st  9521   2211456        50      4450         0     86260     31150   1108071     15.60   no data  --
2236.15/559.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2236.15/559.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2236.55/559.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
2236.55/559.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2236.55/559.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2236.55/559.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
2236.55/559.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2356.79/590.03	c lits-rem:      1882  cl-subs:    14651  v-elim:      0  v-fix:    0  time: 120.07 s
2356.79/590.03	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
2356.79/590.04	c vivif2 --  cl tried    71609 cl shrink        0 lits rem          0 time: 0.05
2358.41/590.41	c asymm  cl-useful: 0/496/4450 lits-rem:0 time: 1.47
2358.41/590.41	c calculated reachability. Time: 0.00
2358.41/590.41	c  N dy  9521   2211456        50      4450         0     71609     31150    885391     15.60   no data  --
2391.15/598.67	c  N dy  9678   2231465        50      4450         0     88850     31150   1213180     15.61     18.16  --
2432.30/608.94	c  N dy  9830   2251560        50      4450         0    106093     31150   1540496     15.63     17.27  --
2462.65/616.52	c  N dy  9912   2271628        50      4450         0     68826     31150    832177     15.63     17.64  --
2530.95/633.61	c  N dy  9926   2319586        50      4450         0    109098     31150   1497035     15.58     16.46  --
2562.11/641.43	c  N dy 10006   2339910        50      4450         0     70934     31150    862623     15.58     16.41  --
2594.87/649.70	c  N dy 10055   2366494        50      4450         0     93438     31150   1258010     15.57     16.44  --
2632.42/659.01	c  N dy 10238   2386835        50      4450         0    110888     31150   1593848     15.58     16.46  --
2655.19/664.75	c  N dy 10329   2406845        50      4450         0     71309     31150    864970     15.59     17.33  --
2682.75/671.66	c  N dy 10463   2426901        50      4450         0     88476     31150   1186515     15.59     16.48  --
2716.70/680.14	c  N dy 10582   2447818        50      4450         0    106414     31150   1524124     15.60     16.43  --
2747.86/687.94	c  N dy 10698   2467897        50      4450         0     65691     31150    749810     15.61     17.82  --
2773.83/694.50	c  N dy 10854   2488497        50      4450         0     83397     31150   1087404     15.62     16.44  --
2821.76/706.47	c  N dy 10947   2523542        50      4450         0    113231     31150   1623636     15.61     16.61  --
2850.54/713.61	c  N dy 11089   2543589        50      4450         0     71643     31150    857710     15.62     17.63  --
2879.28/720.80	c  N dy 11180   2568167        50      4450         0     92576     31150   1240359     15.62     16.48  --
2916.05/730.10	c  N dy 11283   2591626        50      4450         0    112602     31150   1610226     15.62     16.48  --
2947.59/737.91	c  N dy 11369   2613630        50      4450         0     71617     31150    843174     15.62     16.46  --
2974.75/744.71	c  N dy 11489   2633701        50      4450         0     88858     31150   1165100     15.63     17.59  --
3015.90/755.02	c  N dy 11659   2657511        50      4450         0    109217     31150   1549954     15.64     16.48  --
3051.85/764.06	c  N dy 11750   2678417        50      4450         0     66403     31150    741008     15.64     16.49  --
3073.43/769.43	c  N dy 11808   2698510        50      4450         0     83533     31150   1054411     15.64     17.52  --
3092.99/774.31	c  S st 11888   2711457        50      4450         0     94569     31150   1262239     15.64   no data  --
3094.19/774.61	c  S st 11888   2711959        50      4450         0     95006     31150   1270936     15.64   no data  --
3094.19/774.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3094.19/774.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3094.19/774.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
3094.19/774.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3094.19/774.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3094.19/774.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
3094.19/774.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3449.71/863.66	c lits-rem:      4964  cl-subs:    11441  v-elim:      0  v-fix:    0  time: 355.34 s
3449.71/863.66	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
3449.71/863.67	c vivif2 --  cl tried    83565 cl shrink        0 lits rem          0 time: 0.07
3451.71/864.14	c asymm  cl-useful: 0/417/4450 lits-rem:0 time: 1.87
3451.71/864.14	c calculated reachability. Time: 0.00
3451.71/864.14	c  N dy 11888   2711959        50      4450         0     83565     31150   1066689     15.64   no data  --
3559.16/891.02	c  N dy 11975   2785085        50      4450         0     84675     31150   1027888     15.59     16.44  --
3595.92/900.24	c  N dy 12063   2805159        50      4450         0    101817     31150   1342772     15.60     17.05  --
3644.25/912.30	c  N dy 12195   2825237        50      4450         0    119039     31150   1667591     15.60     17.63  --
3678.60/920.96	c  N dy 12280   2845336        50      4450         0     74588     31150    879400     15.60     16.90  --
3717.75/930.71	c  N dy 12410   2866613        50      4450         0     92794     31150   1221812     15.61     16.54  --
3760.49/941.45	c  N dy 12503   2886674        50      4450         0    109976     31150   1541715     15.61     16.62  --
3807.23/953.10	c  N dy 12571   2908549        50      4450         0     65746     31150    706862     15.61     16.56  --
3834.82/960.07	c  N dy 12672   2928559        50      4450         0     82852     31150   1026117     15.61     17.85  --
3865.57/967.76	c  N dy 12784   2948613        50      4450         0    100027     31150   1347209     15.62     18.97  --
3897.50/975.79	c  N dy 12806   2970625        50      4450         0    118563     31150   1664287     15.61     16.49  --
3929.06/983.60	c  N dy 12891   2990729        50      4450         0     71963     31150    817726     15.61     16.43  --
3957.03/990.62	c  N dy 13050   3010741        50      4450         0     89115     31150   1145839     15.62     16.70  --
3986.19/997.95	c  N dy 13113   3030742        50      4450         0    106084     31150   1455199     15.62     16.79  --
4028.15/1008.48	c  N dy 13212   3054422        50      4450         0    126294     31150   1827261     15.62     16.44  --
4056.89/1015.63	c  N dy 13277   3075588        50      4450         0     79484     31150    941574     15.62     16.54  --
4088.85/1023.70	c  N dy 13457   3095673        50      4450         0     96635     31150   1271517     15.63     17.38  --
4125.20/1032.76	c  N dy 13533   3117265        50      4450         0    114983     31150   1608305     15.63     16.46  --
4192.31/1049.52	c  N dy 13675   3159689        50      4450         0     85311     31150   1014307     15.62     16.50  --
4225.06/1057.71	c  N dy 13785   3180223        50      4450         0    102877     31150   1340688     15.62     16.49  --
4262.61/1067.10	c  N dy 13897   3200281        50      4450         0    120005     31150   1662417     15.63     18.50  --
4289.37/1073.84	c  S st 13990   3211960        50      4450         0    130068     31150   1854649     15.63   no data  --
4290.97/1074.27	c  S st 13990   3212464        50      4450         0    130511     31150   1863522     15.63   no data  --
4290.97/1074.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4290.97/1074.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4291.38/1074.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.25
4291.38/1074.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4291.38/1074.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4291.38/1074.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4291.38/1074.40	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-3175231-1304102111/watcher-3175231-1304102111 -o /tmp/evaluation-result-3175231-1304102111/solver-3175231-1304102111 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175231-1304102111.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.62 7.72 7.90 6/180 2530
/proc/meminfo: memFree=31420500/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 414 0 0 0 0 0 0 0 22 0 4 0 521809884 52465664 353 33554432000 4194304 4650419 140737410814752 18446744073709551615 47429578069938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 12809 353 303 112 0 7774 0
[pid=2530/tid=2531] ppid=2528 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 521809885 52465664 353 33554432000 4194304 4650419 140737410814752 18446744073709551615 47429578069938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 521809885 52465664 353 33554432000 4194304 4650419 140737410814752 18446744073709551615 47429578069928 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 521809885 52465664 353 33554432000 4194304 4650419 140737410814752 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.104905 s]
/proc/loadavg: 6.62 7.72 7.90 6/180 2530
/proc/meminfo: memFree=31420500/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=285336 CPUtime=3.4 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 5917 0 0 0 340 0 0 0 18 0 4 0 521809884 292184064 3351 33554432000 4194304 4650419 140737410814752 18446744073709551615 4311291 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 71334 3351 390 112 0 66299 0
[pid=2530/tid=2531] ppid=2528 vsize=285336 CPUtime=0.85 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 1428 0 0 0 85 0 0 0 19 0 4 0 521809885 292184064 3351 33554432000 4194304 4650419 140737410814752 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=285336 CPUtime=0.85 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 1394 0 0 0 85 0 0 0 18 0 4 0 521809885 292184064 3351 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=285336 CPUtime=0.84 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 1199 0 0 0 84 0 0 0 19 0 4 0 521809885 292184064 3351 33554432000 4194304 4650419 140737410814752 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 285336

[startup+0.956019 s]
/proc/loadavg: 6.62 7.72 7.90 6/180 2530
/proc/meminfo: memFree=31420500/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=285336 CPUtime=3.8 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 6101 0 0 0 380 0 0 0 19 0 4 0 521809884 292184064 3535 33554432000 4194304 4650419 140737410814752 18446744073709551615 4364746 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 71334 3535 391 112 0 66299 0
[pid=2530/tid=2531] ppid=2528 vsize=285336 CPUtime=0.95 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 1470 0 0 0 95 0 0 0 19 0 4 0 521809885 292184064 3535 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365258 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=285336 CPUtime=0.94 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 1437 0 0 0 94 0 0 0 19 0 4 0 521809885 292184064 3535 33554432000 4194304 4650419 140737410814752 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=285336 CPUtime=0.94 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 1253 0 0 0 94 0 0 0 19 0 4 0 521809885 292184064 3535 33554432000 4194304 4650419 140737410814752 18446744073709551615 4313440 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 285336

[startup+1.056 s]
/proc/loadavg: 6.62 7.72 7.90 6/180 2530
/proc/meminfo: memFree=31420500/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=285820 CPUtime=4.2 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 6646 0 0 0 420 0 0 0 19 0 4 0 521809884 292679680 3525 33554432000 4194304 4650419 140737410814752 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 71455 3526 391 112 0 66420 0
[pid=2530/tid=2531] ppid=2528 vsize=285820 CPUtime=1.05 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 1511 0 0 0 105 0 0 0 19 0 4 0 521809885 292679680 3526 33554432000 4194304 4650419 140737410814752 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=285820 CPUtime=1.04 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 1477 0 0 0 104 0 0 0 19 0 4 0 521809885 292679680 3526 33554432000 4194304 4650419 140737410814752 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=285820 CPUtime=1.04 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 1498 0 0 0 104 0 0 0 19 0 4 0 521809885 292679680 3526 33554432000 4194304 4650419 140737410814752 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 285820

[startup+1.15598 s]
/proc/loadavg: 6.62 7.72 7.90 6/180 2530
/proc/meminfo: memFree=31420500/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=285968 CPUtime=4.6 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 7159 0 0 0 460 0 0 0 19 0 4 0 521809884 292831232 3485 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 71492 3485 391 112 0 66457 0
[pid=2530/tid=2531] ppid=2528 vsize=285968 CPUtime=1.15 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 1705 0 0 0 115 0 0 0 19 0 4 0 521809885 292831232 3485 33554432000 4194304 4650419 140737410814752 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=285968 CPUtime=1.14 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 1703 0 0 0 114 0 0 0 19 0 4 0 521809885 292831232 3485 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=285968 CPUtime=1.14 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 1540 0 0 0 114 0 0 0 19 0 4 0 521809885 292831232 3485 33554432000 4194304 4650419 140737410814752 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 285968

[startup+1.50093 s]
/proc/loadavg: 6.62 7.72 7.90 6/180 2530
/proc/meminfo: memFree=31420500/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=286540 CPUtime=5.98 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 9311 0 0 0 597 1 0 0 19 0 4 0 521809884 293416960 4710 33554432000 4194304 4650419 140737410814752 18446744073709551615 4438168 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 71635 4710 392 112 0 66600 0
[pid=2530/tid=2531] ppid=2528 vsize=286540 CPUtime=1.49 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 2024 0 0 0 149 0 0 0 20 0 4 0 521809885 293416960 4710 33554432000 4194304 4650419 140737410814752 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=286540 CPUtime=1.49 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 2004 0 0 0 149 0 0 0 19 0 4 0 521809885 293416960 4710 33554432000 4194304 4650419 140737410814752 18446744073709551615 4315277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=286540 CPUtime=1.49 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 1874 0 0 0 149 0 0 0 20 0 4 0 521809885 293416960 4710 33554432000 4194304 4650419 140737410814752 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 286540

[startup+3.10065 s]
/proc/loadavg: 6.73 7.73 7.90 9/184 2534
/proc/meminfo: memFree=31344580/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=293364 CPUtime=12.37 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 14872 0 0 0 1235 2 0 0 25 0 4 0 521809884 300404736 8878 33554432000 4194304 4650419 140737410814752 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 73341 8878 392 112 0 68306 0
[pid=2530/tid=2531] ppid=2528 vsize=293364 CPUtime=3.09 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 3309 0 0 0 309 0 0 0 25 0 4 0 521809885 300404736 8878 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=293364 CPUtime=3.09 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 3775 0 0 0 309 0 0 0 24 0 4 0 521809885 300404736 8878 33554432000 4194304 4650419 140737410814752 18446744073709551615 4371143 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=293364 CPUtime=3.07 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 3882 0 0 0 307 0 0 0 25 0 4 0 521809885 300404736 8878 33554432000 4194304 4650419 140737410814752 18446744073709551615 4313311 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 293364

[startup+6.30609 s]
/proc/loadavg: 6.73 7.73 7.90 9/184 2534
/proc/meminfo: memFree=31321532/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=284068 CPUtime=25.17 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 22282 0 0 0 2514 3 0 0 25 0 4 0 521809884 290885632 11768 33554432000 4194304 4650419 140737410814752 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 71017 11768 392 112 0 65982 0
[pid=2530/tid=2531] ppid=2528 vsize=284068 CPUtime=6.29 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 5278 0 0 0 629 0 0 0 25 0 4 0 521809885 290885632 11768 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=284068 CPUtime=6.3 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 5280 0 0 0 629 1 0 0 25 0 4 0 521809885 290885632 11768 33554432000 4194304 4650419 140737410814752 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=284068 CPUtime=6.26 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 5678 0 0 0 626 0 0 0 25 0 4 0 521809885 290885632 11768 33554432000 4194304 4650419 140737410814752 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 284068

[startup+12.701 s]
/proc/loadavg: 6.92 7.74 7.90 9/184 2534
/proc/meminfo: memFree=31288044/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=293784 CPUtime=50.72 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 32630 0 0 0 5066 6 0 0 25 0 4 0 521809884 300834816 15320 33554432000 4194304 4650419 140737410814752 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 73446 15320 392 112 0 68411 0
[pid=2530/tid=2531] ppid=2528 vsize=293784 CPUtime=12.69 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 7957 0 0 0 1268 1 0 0 25 0 4 0 521809885 300834816 15320 33554432000 4194304 4650419 140737410814752 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=293784 CPUtime=12.69 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 8310 0 0 0 1267 2 0 0 25 0 4 0 521809885 300834816 15320 33554432000 4194304 4650419 140737410814752 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=293784 CPUtime=12.63 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 8694 0 0 0 1262 1 0 0 25 0 4 0 521809885 300834816 15320 33554432000 4194304 4650419 140737410814752 18446744073709551615 4350796 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 293784

[startup+25.5007 s]
/proc/loadavg: 7.09 7.75 7.90 9/184 2535
/proc/meminfo: memFree=31251840/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=294712 CPUtime=101.84 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 48769 0 0 0 10174 10 0 0 25 0 4 0 521809884 301785088 20108 33554432000 4194304 4650419 140737410814752 18446744073709551615 4476133 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 73678 20108 392 112 0 68643 0
[pid=2530/tid=2531] ppid=2528 vsize=294712 CPUtime=25.49 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 12471 0 0 0 2547 2 0 0 25 0 4 0 521809885 301785088 20108 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=294712 CPUtime=25.48 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 12277 0 0 0 2546 2 0 0 25 0 4 0 521809885 301785088 20108 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=294712 CPUtime=25.35 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 12692 0 0 0 2533 2 0 0 25 0 4 0 521809885 301785088 20108 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 294712

[startup+51.1002 s]
/proc/loadavg: 7.40 7.77 7.90 9/184 2535
/proc/meminfo: memFree=31217496/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=295428 CPUtime=204.11 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 72872 0 0 0 20393 18 0 0 25 0 4 0 521809884 302518272 23444 33554432000 4194304 4650419 140737410814752 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 73857 23444 392 112 0 68822 0
[pid=2530/tid=2531] ppid=2528 vsize=295428 CPUtime=51.09 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 18903 0 0 0 5105 4 0 0 25 0 4 0 521809885 302518272 23444 33554432000 4194304 4650419 140737410814752 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=295428 CPUtime=51.08 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 19028 0 0 0 5103 5 0 0 25 0 4 0 521809885 302518272 23444 33554432000 4194304 4650419 140737410814752 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=295428 CPUtime=50.82 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 17976 0 0 0 5078 4 0 0 25 0 4 0 521809885 302518272 23444 33554432000 4194304 4650419 140737410814752 18446744073709551615 4334034 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 295428

[startup+102.3 s]
/proc/loadavg: 7.80 7.82 7.91 9/184 2537
/proc/meminfo: memFree=31163756/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=325028 CPUtime=408.62 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 112868 0 0 0 40831 31 0 0 25 0 4 0 521809884 332828672 28406 33554432000 4194304 4650419 140737410814752 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 81257 28406 392 112 0 76222 0
[pid=2530/tid=2531] ppid=2528 vsize=325028 CPUtime=102.29 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 28546 0 0 0 10221 8 0 0 25 0 4 0 521809885 332828672 28406 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=325028 CPUtime=102.28 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 28856 0 0 0 10220 8 0 0 25 0 4 0 521809885 332828672 28406 33554432000 4194304 4650419 140737410814752 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=325028 CPUtime=101.73 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 27759 0 0 0 10167 6 0 0 25 0 4 0 521809885 332828672 28406 33554432000 4194304 4650419 140737410814752 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 325028

[startup+162.301 s]

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

[pid=2530] ppid=2528 vsize=351844 CPUtime=2805.39 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 332442 0 0 0 280399 140 0 0 25 0 4 0 521809884 360288256 58543 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 87961 58543 392 112 0 82926 0
[pid=2530/tid=2531] ppid=2528 vsize=351844 CPUtime=702.3 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 89097 0 0 0 70193 37 0 0 25 0 4 0 521809885 360288256 58543 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=351844 CPUtime=702.29 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 86452 0 0 0 70192 37 0 0 25 0 4 0 521809885 360288256 58543 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=351844 CPUtime=698.46 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 70081 0 0 0 69817 29 0 0 25 0 4 0 521809885 360288256 58543 33554432000 4194304 4650419 140737410814752 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 351844

[startup+762.3 s]
/proc/loadavg: 8.10 8.06 7.97 9/184 2555
/proc/meminfo: memFree=30831016/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=417356 CPUtime=3045.06 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 349480 0 0 0 304356 150 0 0 25 0 4 0 521809884 427372544 65106 33554432000 4194304 4650419 140737410814752 18446744073709551615 4313688 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 104339 65106 392 112 0 99304 0
[pid=2530/tid=2531] ppid=2528 vsize=417356 CPUtime=762.31 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 94732 0 0 0 76189 42 0 0 25 0 4 0 521809885 427372544 65106 33554432000 4194304 4650419 140737410814752 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=417356 CPUtime=762.29 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 91195 0 0 0 76190 39 0 0 25 0 4 0 521809885 427372544 65106 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=417356 CPUtime=758.13 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 72172 0 0 0 75782 31 0 0 25 0 4 0 521809885 427372544 65106 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 417356

[startup+822.301 s]
/proc/loadavg: 8.13 8.08 7.99 9/184 2557
/proc/meminfo: memFree=30816076/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=420156 CPUtime=3284.74 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 354605 0 0 0 328321 153 0 0 25 0 4 0 521809884 430239744 62729 33554432000 4194304 4650419 140737410814752 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 105039 62729 392 112 0 100004 0
[pid=2530/tid=2531] ppid=2528 vsize=420156 CPUtime=822.31 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 95381 0 0 0 82188 43 0 0 25 0 4 0 521809885 430239744 62729 33554432000 4194304 4650419 140737410814752 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=420156 CPUtime=822.29 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 94686 0 0 0 82189 40 0 0 25 0 4 0 521809885 430239744 62729 33554432000 4194304 4650419 140737410814752 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=420156 CPUtime=817.8 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 73061 0 0 0 81749 31 0 0 25 0 4 0 521809885 430239744 62729 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 420156

[startup+882.301 s]
/proc/loadavg: 8.10 8.08 7.99 9/184 2558
/proc/meminfo: memFree=30804376/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=420156 CPUtime=3524.42 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 358875 0 0 0 352287 155 0 0 25 0 4 0 521809884 430239744 66071 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 105039 66071 392 112 0 100004 0
[pid=2530/tid=2531] ppid=2528 vsize=420156 CPUtime=882.31 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 97352 0 0 0 88188 43 0 0 25 0 4 0 521809885 430239744 66071 33554432000 4194304 4650419 140737410814752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=420156 CPUtime=882.29 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 96623 0 0 0 88188 41 0 0 25 0 4 0 521809885 430239744 66071 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=420156 CPUtime=877.47 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 73142 0 0 0 87716 31 0 0 25 0 4 0 521809885 430239744 66071 33554432000 4194304 4650419 140737410814752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 420156

[startup+942.301 s]
/proc/loadavg: 8.12 8.09 8.00 9/184 2560
/proc/meminfo: memFree=30796392/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=420280 CPUtime=3764.1 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 376623 0 0 0 376249 161 0 0 25 0 4 0 521809884 430366720 66321 33554432000 4194304 4650419 140737410814752 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 105070 66321 392 112 0 100035 0
[pid=2530/tid=2531] ppid=2528 vsize=420280 CPUtime=942.32 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 107061 0 0 0 94187 45 0 0 25 0 4 0 521809885 430366720 66321 33554432000 4194304 4650419 140737410814752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=420280 CPUtime=942.3 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 100546 0 0 0 94186 44 0 0 25 0 4 0 521809885 430366720 66321 33554432000 4194304 4650419 140737410814752 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=420280 CPUtime=937.15 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 73142 0 0 0 93684 31 0 0 25 0 4 0 521809885 430366720 66321 33554432000 4194304 4650419 140737410814752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 420280

[startup+1002.3 s]
/proc/loadavg: 8.12 8.10 8.01 9/184 2562
/proc/meminfo: memFree=30748360/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=485932 CPUtime=4003.76 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 390018 0 0 0 400207 169 0 0 25 0 4 0 521809884 497594368 74045 33554432000 4194304 4650419 140737410814752 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 121483 74045 392 112 0 116448 0
[pid=2530/tid=2531] ppid=2528 vsize=485932 CPUtime=1002.31 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 111485 0 0 0 100184 47 0 0 25 0 4 0 521809885 497594368 74045 33554432000 4194304 4650419 140737410814752 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=485932 CPUtime=1002.29 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 104995 0 0 0 100183 46 0 0 25 0 4 0 521809885 497594368 74045 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=485932 CPUtime=996.81 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 73226 0 0 0 99650 31 0 0 25 0 4 0 521809885 497594368 74045 33554432000 4194304 4650419 140737410814752 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 485932

[startup+1062.31 s]
/proc/loadavg: 8.19 8.12 8.02 9/184 2563
/proc/meminfo: memFree=30720776/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=510840 CPUtime=4243.45 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 405161 0 0 0 424168 177 0 0 25 0 4 0 521809884 523100160 80108 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 127710 80108 392 112 0 122675 0
[pid=2530/tid=2531] ppid=2528 vsize=510840 CPUtime=1062.32 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 116084 0 0 0 106182 50 0 0 25 0 4 0 521809885 523100160 80108 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=510840 CPUtime=1062.3 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 108459 0 0 0 106181 49 0 0 25 0 4 0 521809885 523100160 80108 33554432000 4194304 4650419 140737410814752 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=510840 CPUtime=1056.5 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 77663 0 0 0 105616 34 0 0 25 0 4 0 521809885 523100160 80108 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 510840

[startup+1122.3 s]
/proc/loadavg: 8.18 8.13 8.02 9/184 2565
/proc/meminfo: memFree=30718976/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=510896 CPUtime=4483.12 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 408988 0 0 0 448132 180 0 0 25 0 4 0 521809884 523157504 79311 33554432000 4194304 4650419 140737410814752 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 127724 79311 392 112 0 122689 0
[pid=2530/tid=2531] ppid=2528 vsize=510896 CPUtime=1122.31 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 117127 0 0 0 112180 51 0 0 25 0 4 0 521809885 523157504 79311 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=510896 CPUtime=1122.3 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 110309 0 0 0 112180 50 0 0 25 0 4 0 521809885 523157504 79311 33554432000 4194304 4650419 140737410814752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=510896 CPUtime=1116.17 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 77685 0 0 0 111583 34 0 0 25 0 4 0 521809885 523157504 79311 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 510896

[startup+1182.3 s]
/proc/loadavg: 8.24 8.15 8.03 9/184 2566
/proc/meminfo: memFree=30702692/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=511432 CPUtime=4722.79 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 410858 0 0 0 472098 181 0 0 25 0 4 0 521809884 523706368 81075 33554432000 4194304 4650419 140737410814752 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 127858 81075 392 112 0 122823 0
[pid=2530/tid=2531] ppid=2528 vsize=511432 CPUtime=1182.31 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 118674 0 0 0 118180 51 0 0 25 0 4 0 521809885 523706368 81075 33554432000 4194304 4650419 140737410814752 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=511432 CPUtime=1182.3 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 110309 0 0 0 118180 50 0 0 25 0 4 0 521809885 523706368 81075 33554432000 4194304 4650419 140737410814752 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=511432 CPUtime=1175.83 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 78008 0 0 0 117549 34 0 0 25 0 4 0 521809885 523706368 81075 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.79
Current children cumulated vsize (KiB) 511432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.17 8.14 8.03 6/183 2568
/proc/meminfo: memFree=30952288/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=511432 CPUtime=4800.3 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 411360 0 0 0 479849 181 0 0 25 0 4 0 521809884 523706368 81577 33554432000 4194304 4650419 140737410814752 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 127858 81577 392 112 0 122823 0
[pid=2530/tid=2531] ppid=2528 vsize=511432 CPUtime=1201.72 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 118680 0 0 0 120121 51 0 0 25 0 4 0 521809885 523706368 81577 33554432000 4194304 4650419 140737410814752 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=511432 CPUtime=1201.7 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 110804 0 0 0 120120 50 0 0 25 0 4 0 521809885 523706368 81577 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=511432 CPUtime=1195.13 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 78009 0 0 0 119479 34 0 0 25 0 4 0 521809885 523706368 81577 33554432000 4194304 4650419 140737410814752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 511432

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

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

[startup+1201.7 s]
/proc/loadavg: 8.17 8.14 8.03 6/183 2568
/proc/meminfo: memFree=30952288/32950928 swapFree=67111404/67111528
[pid=2530] ppid=2528 vsize=511432 CPUtime=4800.3 cores=1,3,5,7
/proc/2530/stat : 2530 (strangenight1-m) R 2528 2530 2120 0 -1 4202496 411360 0 0 0 479849 181 0 0 25 0 4 0 521809884 523706368 81577 33554432000 4194304 4650419 140737410814752 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2530/statm: 127858 81577 392 112 0 122823 0
[pid=2530/tid=2531] ppid=2528 vsize=511432 CPUtime=1201.72 cores=1,3,5,7
/proc/2530/task/2531/stat : 2531 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 118680 0 0 0 120121 51 0 0 25 0 4 0 521809885 523706368 81577 33554432000 4194304 4650419 140737410814752 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2530/tid=2532] ppid=2528 vsize=511432 CPUtime=1201.7 cores=1,3,5,7
/proc/2530/task/2532/stat : 2532 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 110804 0 0 0 120120 50 0 0 25 0 4 0 521809885 523706368 81577 33554432000 4194304 4650419 140737410814752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2530/tid=2533] ppid=2528 vsize=511432 CPUtime=1195.13 cores=1,3,5,7
/proc/2530/task/2533/stat : 2533 (strangenight1-m) R 2528 2530 2120 0 -1 4202560 78009 0 0 0 119479 34 0 0 25 0 4 0 521809885 523706368 81577 33554432000 4194304 4650419 140737410814752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 511432

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.35
CPU user time (s): 4798.52
CPU system time (s): 1.83172
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 511432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.52
system time used= 1.83172
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411360
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= 397
involuntary context switches= 31126

runsolver used 1.73274 second user time and 4.84126 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 20:35:11
IDJOB=3175231
IDBENCH=82849
IDSOLVER=1588
FILE ID=node120/3175231-1304102111
RUNJOBID= node120-1304102111-2508
PBS_JOBID= 13170619
Free space on /tmp= 72068 MiB

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

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

MD5SUM BENCH= bf255e5bc10dc75db5f2f0a4a1086e58
RANDOM SEED=1866680614

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31420780 kB
Buffers:        482596 kB
Cached:         622036 kB
SwapCached:          8 kB
Active:         417760 kB
Inactive:       754256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31420780 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:           12544 kB
Writeback:          20 kB
AnonPages:       66404 kB
Mapped:          14936 kB
Slab:           295928 kB
PageTables:       4748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   272788 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= 72064 MiB
End job on node120 at 2011-04-29 20:55:15