Trace number 3175108

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf
MD5SUMdeef67012ed65265f92101778280c717
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark33.5169
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-3175108-1304088106.cnf'
0.00/0.00	c -- header says num vars:             50
0.00/0.00	c -- header says num clauses:        4450
0.00/0.01	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.01	c -- vars added         50
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	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.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
0.00/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.12	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.00/0.12	c calculated reachability. Time: 0.00
0.00/0.12	c Calc default polars -  time:   0.00 s pos:      20 undec:       1 neg:      29
0.00/0.12	c =========================================================================================
0.00/0.12	c types(t): F = full restart, N = normal restart
0.00/0.12	c types(t): S = simplification begin/end, E = solution found
0.00/0.12	c restart types(rt): st = static, dy = dynamic
0.00/0.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.12	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.00/0.22	c  N dy     7      4287        50      4450         0      3685     31150     66595     14.97     15.78  --
0.00/0.35	c  N dy    23      9088        50      4450         0      5688     31150     99859     15.43     16.31  --
0.00/0.51	c  N dy    36     13286        50      4450         0      5630     31150     92507     15.32     16.28  --
0.00/0.76	c  N dy    40     20171        50      4450         0      6710     31150    104655     14.88     15.82  --
3.57/0.95	c  N dy    80     24252        50      4450         0     10302     31150    171912     15.22     17.77  --
3.96/1.00	c  F st    88     25000        50      4450         0     10943     31150    184051     15.29   no data  --
4.36/1.15	c  N st    93     28301        50      4450         0      7903     31150    122143     15.29   no data  --
4.76/1.22	c  S st    94     30000        50      4450         0      9363     31150    148864     15.29   no data  --
4.76/1.25	c  S st    94     30502        50      4450         0      9809     31150    157195     15.29   no data  --
4.76/1.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.76/1.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.76/1.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.76/1.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4.76/1.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.36/2.18	c lits-rem:      1369  cl-subs:     1679  v-elim:      0  v-fix:    0  time:  3.68 s
9.17/2.39	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.82
9.17/2.39	c calculated reachability. Time: 0.00
9.17/2.39	c  N dy    94     30502        50      4450         0      8130     31150    129094     15.29   no data  --
10.76/2.73	c  N dy    98     38234        50      4450         0      8046     31150    117304     14.99     15.80  --
11.58/2.94	c  N dy   130     42321        50      4450         0     11619     31150    183813     15.17     16.01  --
12.36/3.14	c  S st   159     45754        50      4450         0     14620     31150    239942     15.30     15.61  --
12.36/3.19	c  S st   159     46256        50      4450         0     15065     31150    248460     15.30   no data  --
12.36/3.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.36/3.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.36/3.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
12.76/3.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.76/3.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.76/3.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
12.76/3.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.75/4.22	c lits-rem:      1967  cl-subs:     2309  v-elim:      0  v-fix:    0  time:  4.09 s
16.75/4.22	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
16.75/4.23	c vivif2 --  cl tried    12756 cl shrink        0 lits rem          0 time: 0.01
17.95/4.53	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.22
17.95/4.53	c calculated reachability. Time: 0.00
17.95/4.53	c  N dy   159     46256        50      4450         0     12756     31150    205415     15.30   no data  --
19.15/4.80	c  N dy   191     50331        50      4450         0      8756     31150    126578     15.44     16.84  --
19.95/5.02	c  N dy   193     54759        50      4450         0     12561     31150    193594     15.35     16.29  --
20.77/5.30	c  N dy   225     58841        50      4450         0     16124     31150    260598     15.46     17.38  --
22.35/5.63	c  N dy   246     64924        50      4450         0     12827     31150    190943     15.46     16.32  --
23.15/5.89	c  N dy   262     69384        50      4450         0     16698     31150    261211     15.46     13.91  --
23.15/5.89	c  S st   262     69384        50      4450         0     16698     31150    261211     15.46     13.91  --
23.55/5.93	c  S st   262     69886        50      4450         0     17154     31150    269966     15.46   no data  --
23.55/5.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.55/5.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.55/5.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
23.55/5.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.55/5.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.55/5.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
23.55/5.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.33/7.12	c lits-rem:      1700  cl-subs:     2719  v-elim:      0  v-fix:    0  time:  4.67 s
28.33/7.12	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
28.33/7.12	c vivif2 --  cl tried    14435 cl shrink        0 lits rem          0 time: 0.01
29.55/7.45	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.31
29.55/7.45	c calculated reachability. Time: 0.00
29.55/7.45	c  N dy   262     69886        50      4450         0     14435     31150    221639     15.46   no data  --
31.53/7.96	c  N dy   283     78399        50      4450         0     12477     31150    175668     15.42     16.26  --
33.13/8.36	c  N dy   310     84425        50      4450         0     17669     31150    269638     15.43     16.25  --
33.95/8.59	c  F st   317     87500        50      4450         0     20319     31150    317126     15.42     15.25  --
34.73/8.79	c  N st   322     90799        50      4450         0     12957     31150    181985     15.42   no data  --
36.32/9.11	c  N dy   325     96672        50      4450         0     18031     31150    272798     15.38     17.72  --
37.94/9.58	c  N dy   353    102919        50      4450         0     12271     31150    162031     15.41     16.27  --
38.72/9.70	c  S st   372    104829        50      4450         0     13936     31150    193633     15.45   no data  --
38.72/9.74	c  S st   372    105331        50      4450         0     14379     31150    201977     15.45   no data  --
38.72/9.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.72/9.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.72/9.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
38.72/9.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.72/9.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.72/9.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
38.72/9.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.34/10.68	c lits-rem:       879  cl-subs:      767  v-elim:      0  v-fix:    0  time:  3.70 s
42.34/10.68	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
42.34/10.68	c vivif2 --  cl tried    13612 cl shrink        0 lits rem          0 time: 0.01
43.52/10.99	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.26
43.52/10.99	c calculated reachability. Time: 0.00
43.52/10.99	c  N dy   372    105331        50      4450         0     13612     31150    186483     15.45   no data  --
45.52/11.45	c  N dy   404    112055        50      4450         0     19489     31150    294332     15.48     16.95  --
49.11/12.36	c  N dy   427    125872        50      4450         0     19290     31150    275725     15.41     16.27  --
51.90/13.03	c  N dy   461    133952        50      4450         0     13351     31150    165834     15.43     17.34  --
55.10/13.82	c  N dy   511    145145        50      4450         0     23053     31150    343979     15.46     16.31  --
57.89/14.58	c  N dy   553    154431        50      4450         0     17281     31150    230228     15.49     17.61  --
59.09/14.82	c  S st   558    157996        50      4450         0     20356     31150    284661     15.47     13.74  --
59.09/14.87	c  S st   558    158499        50      4450         0     20801     31150    293301     15.47   no data  --
59.09/14.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
59.09/14.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.09/14.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
59.09/14.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.09/14.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.09/14.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
59.09/14.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.89/16.04	c lits-rem:      1474  cl-subs:     2220  v-elim:      0  v-fix:    0  time:  4.58 s
63.89/16.04	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
63.89/16.04	c vivif2 --  cl tried    18581 cl shrink        0 lits rem          0 time: 0.01
65.09/16.37	c asymm  cl-useful: 0/3845/4450 lits-rem:0 time: 1.32
65.09/16.37	c calculated reachability. Time: 0.00
65.09/16.37	c  N dy   558    158499        50      4450         0     18581     31150    254157     15.47   no data  --
68.70/17.28	c  N dy   603    168934        50      4450         0     27660     31150    421847     15.49     16.36  --
75.87/19.07	c  N dy   623    192490        50      4450         0     17837     31150    224066     15.32     16.15  --
80.27/20.10	c  N dy   663    204828        50      4450         0     28486     31150    414946     15.31     17.75  --
85.46/21.45	c  N dy   726    217906        50      4450         0     23473     31150    321501     15.35     17.34  --
91.85/23.07	c  N dy   786    233235        50      4450         0     19469     31150    240430     15.36     16.21  --
93.45/23.45	c  S st   809    237749        50      4450         0     23388     31150    312365     15.37     14.32  --
93.85/23.51	c  S st   809    238251        50      4450         0     23843     31150    321170     15.37   no data  --
93.85/23.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
93.85/23.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
93.85/23.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
93.85/23.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
93.85/23.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
93.85/23.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
93.85/23.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
99.86/25.04	c lits-rem:      1274  cl-subs:     1979  v-elim:      0  v-fix:    0  time:  6.04 s
99.86/25.04	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
99.86/25.04	c vivif2 --  cl tried    21864 cl shrink        0 lits rem          0 time: 0.01
100.24/25.12	c asymm  cl-useful: 0/605/4450 lits-rem:0 time: 0.31
100.24/25.12	c calculated reachability. Time: 0.00
100.24/25.12	c  N dy   809    238251        50      4450         0     21864     31150    285407     15.37   no data  --
107.84/27.07	c  N dy   872    257457        50      4450         0     20369     31150    247707     15.35     16.21  --
113.82/28.52	c  N dy   897    273969        50      4450         0     34562     31150    495367     15.29     17.83  --
121.42/30.48	c  N dy   998    292578        50      4450         0     31818     31150    452921     15.33     16.27  --
127.81/32.07	c  F st  1049    306250        50      4450         0     23805     31150    294640     15.33     12.38  --
129.80/32.54	c  N dy  1055    311444        50      4450         0     28254     31150    374475     15.33   no data  --
139.00/34.82	c  N dy  1141    331414        50      4450         0     24759     31150    310891     15.36     16.79  --
150.57/37.74	c  N dy  1239    355670        50      4450         0     24137     31150    290520     15.38     16.30  --
151.37/37.92	c  S st  1255    357376        50      4450         0     25612     31150    318335     15.38   no data  --
151.37/37.99	c  S st  1255    357877        50      4450         0     26059     31150    326806     15.38   no data  --
151.37/37.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
151.37/37.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
151.77/38.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
151.77/38.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
151.77/38.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.77/38.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
151.77/38.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
158.95/39.80	c lits-rem:       922  cl-subs:     1392  v-elim:      0  v-fix:    0  time:  7.17 s
158.95/39.81	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
158.95/39.81	c vivif2 --  cl tried    24667 cl shrink        0 lits rem          0 time: 0.01
160.15/40.14	c asymm  cl-useful: 0/3004/4450 lits-rem:0 time: 1.34
160.15/40.14	c calculated reachability. Time: 0.00
160.15/40.14	c  N dy  1255    357877        50      4450         0     24667     31150    302532     15.38   no data  --
169.76/42.52	c  N dy  1347    378159        50      4450         0     42182     31150    624038     15.41     16.29  --
181.32/45.48	c  N dy  1453    398834        50      4450         0     37680     31150    533315     15.44     16.33  --
192.91/48.33	c  N dy  1572    419007        50      4450         0     31806     31150    416393     15.48     16.32  --
203.69/51.05	c  N dy  1632    439021        50      4450         0     24910     31150    281971     15.47     17.45  --
213.70/53.58	c  N dy  1746    459113        50      4450         0     42302     31150    606925     15.51     17.33  --
226.07/56.60	c  N dy  1848    481180        50      4450         0     36250     31150    478147     15.51     16.41  --
238.86/59.82	c  N dy  1920    503352        50      4450         0     29537     31150    348319     15.52     16.42  --
250.44/62.73	c  N dy  2054    523384        50      4450         0     46958     31150    674721     15.56     16.71  --
257.23/64.45	c  S st  2066    536815        50      4450         0     31684     31150    379227     15.53     15.03  --
257.65/64.54	c  S st  2066    537317        50      4450         0     32127     31150    387848     15.53   no data  --
257.65/64.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
257.65/64.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
257.65/64.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
257.65/64.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
257.65/64.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.65/64.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
257.65/64.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
264.82/66.37	c lits-rem:       856  cl-subs:     2048  v-elim:      0  v-fix:    0  time:  7.24 s
264.82/66.37	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
264.82/66.38	c vivif2 --  cl tried    30079 cl shrink        0 lits rem          0 time: 0.02
266.02/66.64	c asymm  cl-useful: 0/1446/4450 lits-rem:0 time: 1.03
266.02/66.64	c calculated reachability. Time: 0.00
266.02/66.64	c  N dy  2066    537317        50      4450         0     30079     31150    354484     15.53   no data  --
277.60/69.55	c  N dy  2145    559048        50      4450         0     48870     31150    698200     15.54     16.39  --
293.58/73.57	c  N dy  2224    588337        50      4450         0     46454     31150    632905     15.50     16.37  --
307.16/77.00	c  N dy  2364    608902        50      4450         0     35996     31150    452134     15.53     16.38  --
325.13/81.46	c  N dy  2453    637481        50      4450         0     31287     31150    353203     15.51     16.41  --
337.92/84.62	c  N dy  2577    657785        50      4450         0     48797     31150    679253     15.54     16.45  --
363.51/91.03	c  N dy  2636    701229        50      4450         0     55748     31150    764416     15.44     16.33  --
379.46/95.04	c  N dy  2720    726808        50      4450         0     46788     31150    611737     15.42     16.25  --
397.44/99.59	c  N dy  2853    746834        50      4450         0     32348     31150    353964     15.45     16.27  --
412.61/103.35	c  N dy  2952    772813        50      4450         0     54605     31150    758902     15.45     16.29  --
428.20/107.27	c  N dy  3047    793197        50      4450         0     39620     31150    479256     15.46     16.28  --
436.59/109.36	c  S st  3095    805976        50      4450         0     50584     31150    678791     15.46     14.30  --
437.39/109.51	c  S st  3095    806479        50      4450         0     51039     31150    687646     15.46   no data  --
437.39/109.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
437.39/109.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
437.39/109.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
437.39/109.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
437.39/109.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
437.39/109.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
437.39/109.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
463.75/116.15	c lits-rem:      2337  cl-subs:     6115  v-elim:      0  v-fix:    0  time: 26.32 s
463.75/116.15	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
463.75/116.16	c vivif2 --  cl tried    44924 cl shrink        0 lits rem          0 time: 0.03
464.57/116.36	c asymm  cl-useful: 0/969/4450 lits-rem:0 time: 0.83
464.57/116.37	c calculated reachability. Time: 0.00
464.57/116.37	c  N dy  3095    806479        50      4450         0     44924     31150    580384     15.46   no data  --
482.14/120.75	c  N dy  3244    826558        50      4450         0     62252     31150    908032     15.50     17.67  --
499.72/125.13	c  N dy  3344    852185        50      4450         0     51179     31150    686765     15.50     16.41  --
519.68/130.14	c  N dy  3483    872279        50      4450         0     34299     31150    367887     15.52     16.72  --
532.86/133.42	c  N dy  3594    892374        50      4450         0     51636     31150    689920     15.53     17.37  --
547.24/137.07	c  N dy  3617    914125        50      4450         0     70108     31150   1012774     15.50     16.33  --
573.61/143.69	c  N dy  3685    955117        50      4450         0     69719     31150    975960     15.45     16.39  --
587.60/147.15	c  N dy  3762    975173        50      4450         0     51099     31150    657870     15.45     16.57  --
607.16/152.07	c  N dy  3914    995227        50      4450         0     68417     31150    981382     15.47     16.99  --
624.74/156.42	c  N dy  3973   1019473        50      4450         0     52277     31150    662242     15.45     16.29  --
645.10/161.56	c  N dy  4139   1039667        50      4450         0     69678     31150    992027     15.48     16.35  --
663.08/166.08	c  N dy  4230   1062637        50      4450         0     51665     31150    654597     15.48     16.35  --
671.47/168.16	c  F st  4299   1071876        50      4450         0     59628     31150    805172     15.49   no data  --
687.85/172.24	c  N dy  4350   1090110        50      4450         0     75311     31150   1090161     15.49     16.36  --
704.22/176.38	c  N dy  4487   1110156        50      4450         0     54023     31150    699744     15.51     16.87  --
723.83/181.24	c  N dy  4588   1131425        50      4450         0     72346     31150   1035700     15.52     16.43  --
742.98/186.08	c  N dy  4722   1151497        50      4450         0     50093     31150    616802     15.53     18.02  --
760.95/190.59	c  N dy  4841   1171576        50      4450         0     67398     31150    940451     15.55     17.19  --
785.72/196.79	c  N dy  4964   1191654        50      4450         0     44218     31150    498949     15.56     18.33  --
801.70/200.74	c  S st  5030   1209719        50      4450         0     59711     31150    782693     15.56   no data  --
802.52/200.93	c  S st  5030   1210223        50      4450         0     60159     31150    791698     15.56   no data  --
802.52/200.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
802.52/200.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
802.52/200.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
802.52/200.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
802.52/200.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
802.52/200.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
802.52/200.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
868.83/217.51	c lits-rem:      2911  cl-subs:     6464  v-elim:      0  v-fix:    0  time: 65.97 s
868.83/217.51	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
868.83/217.52	c vivif2 --  cl tried    53695 cl shrink        0 lits rem          0 time: 0.04
870.01/217.85	c asymm  cl-useful: 0/662/4450 lits-rem:0 time: 1.31
870.01/217.85	c calculated reachability. Time: 0.00
870.01/217.85	c  N dy  5030   1210223        50      4450         0     53695     31150    677626     15.56   no data  --
890.40/222.98	c  N dy  5109   1230244        50      4450         0     71002     31150    996012     15.56     16.74  --
913.15/228.66	c  N dy  5204   1251456        50      4450         0     48358     31150    570466     15.56     16.46  --
944.30/236.42	c  N dy  5258   1295470        50      4450         0     44017     31150    480733     15.51     16.33  --
961.10/240.69	c  N dy  5386   1316806        50      4450         0     62303     31150    822488     15.52     16.46  --
987.07/247.14	c  N dy  5506   1336904        50      4450         0     79633     31150   1146669     15.54     17.41  --
1009.44/252.71	c  N dy  5599   1357174        50      4450         0     54317     31150    666229     15.54     16.42  --
1032.19/258.45	c  N dy  5710   1377212        50      4450         0     71542     31150    986395     15.55     16.70  --
1063.34/266.24	c  N dy  5839   1399052        50      4450         0     46606     31150    514498     15.56     16.50  --
1081.32/270.79	c  N dy  5952   1420149        50      4450         0     64692     31150    848412     15.57     16.62  --
1104.49/276.55	c  N dy  6055   1440224        50      4450         0     81911     31150   1166976     15.58     17.84  --
1131.26/283.28	c  N dy  6145   1470674        50      4450         0     63291     31150    805228     15.57     16.41  --
1152.82/288.61	c  N dy  6238   1490771        50      4450         0     80471     31150   1122357     15.57     17.16  --
1177.19/294.70	c  N dy  6370   1510826        50      4450         0     52382     31150    610925     15.59     17.89  --
1193.59/298.90	c  N dy  6435   1530884        50      4450         0     69586     31150    921783     15.58     18.24  --
1219.54/305.35	c  N dy  6572   1551018        50      4450         0     86859     31150   1246010     15.60     16.52  --
1249.90/312.98	c  N dy  6607   1588453        50      4450         0     72325     31150    929520     15.55     16.40  --
1277.07/319.74	c  N dy  6767   1608551        50      4450         0     89688     31150   1260095     15.57     16.79  --
1302.23/326.03	c  N dy  6874   1634711        50      4450         0     64973     31150    824602     15.57     16.45  --
1330.59/333.13	c  N dy  6974   1662923        50      4450         0     89038     31150   1257028     15.57     16.44  --
1364.96/341.77	c  N dy  7044   1703299        50      4450         0     75467     31150    980307     15.54     16.64  --
1373.75/343.92	c  S st  7089   1710224        50      4450         0     81419     31150   1092260     15.54     15.57  --
1374.53/344.15	c  S st  7089   1710730        50      4450         0     81855     31150   1100784     15.54   no data  --
1374.53/344.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1374.53/344.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1374.53/344.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
1374.93/344.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1374.93/344.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1374.93/344.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1374.93/344.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1523.93/381.57	c lits-rem:      2721  cl-subs:    14382  v-elim:      0  v-fix:    0  time: 149.17 s
1523.93/381.57	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1523.93/381.59	c vivif2 --  cl tried    67473 cl shrink        0 lits rem          0 time: 0.06
1525.93/382.03	c asymm  cl-useful: 0/505/4450 lits-rem:0 time: 1.78
1525.93/382.04	c calculated reachability. Time: 0.00
1525.93/382.04	c  N dy  7089   1710730        50      4450         0     67473     31150    871448     15.54   no data  --
1561.07/390.80	c  N dy  7228   1731112        50      4450         0     84987     31150   1203945     15.56     16.43  --
1592.24/398.63	c  N dy  7329   1751185        50      4450         0     54580     31150    627897     15.56     17.49  --
1617.80/405.02	c  N dy  7421   1771187        50      4450         0     71685     31150    943386     15.57     18.46  --
1653.36/413.91	c  N dy  7553   1791197        50      4450         0     88869     31150   1266150     15.58     16.40  --
1687.30/422.44	c  N dy  7648   1813337        50      4450         0     58781     31150    693023     15.58     16.41  --
1720.07/430.65	c  N dy  7770   1833374        50      4450         0     75945     31150   1014122     15.59     17.47  --
1762.01/441.14	c  N dy  7921   1853444        50      4450         0     93288     31150   1343277     15.60     16.92  --
1805.55/452.08	c  N dy  7999   1883448        50      4450         0     68404     31150    851466     15.59     16.44  --
1841.50/461.08	c  N dy  8125   1909298        50      4450         0     90477     31150   1258257     15.60     16.46  --
1869.87/468.20	c  N dy  8220   1930470        50      4450         0     57436     31150    649173     15.60     16.44  --
1926.59/482.38	c  N dy  8260   1987324        50      4450         0     53601     31150    572337     15.54     16.42  --
1946.56/487.38	c  N dy  8388   2007911        50      4450         0     71269     31150    903790     15.55     16.40  --
1974.52/494.31	c  N dy  8545   2027953        50      4450         0     88487     31150   1231115     15.56     16.92  --
2005.68/502.14	c  N dy  8651   2048053        50      4450         0    105680     31150   1550741     15.57     17.86  --
2026.06/507.22	c  N dy  8739   2068892        50      4450         0     70694     31150    883090     15.57     16.45  --
2052.02/513.71	c  N dy  8853   2089283        50      4450         0     88143     31150   1208778     15.58     16.41  --
2082.38/521.30	c  N dy  8954   2109334        50      4450         0    105257     31150   1522363     15.58     16.97  --
2103.94/526.71	c  N dy  9034   2129814        50      4450         0     69018     31150    842834     15.58     16.44  --
2129.54/533.14	c  N dy  9167   2149860        50      4450         0     86229     31150   1168474     15.59     17.79  --
2159.08/540.59	c  N dy  9267   2169927        50      4450         0    103431     31150   1486368     15.60     17.83  --
2185.04/547.05	c  N dy  9385   2189974        50      4450         0     65852     31150    784139     15.60     17.31  --
2206.62/552.46	c  N dy  9455   2210065        50      4450         0     82962     31150   1096566     15.60     16.50  --
2207.42/552.67	c  S st  9456   2210730        50      4450         0     83533     31150   1106982     15.60     14.75  --
2208.63/552.93	c  S st  9456   2211237        50      4450         0     83977     31150   1115795     15.60   no data  --
2208.63/552.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2208.63/552.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2208.63/552.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
2209.03/553.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2209.03/553.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2209.03/553.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
2209.03/553.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2291.30/573.67	c lits-rem:      3222  cl-subs:     9524  v-elim:      0  v-fix:    0  time: 82.53 s
2291.30/573.67	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
2291.30/573.68	c vivif2 --  cl tried    74453 cl shrink        0 lits rem          0 time: 0.05
2292.52/573.99	c asymm  cl-useful: 0/451/4450 lits-rem:0 time: 1.23
2292.52/573.99	c calculated reachability. Time: 0.00
2292.52/573.99	c  N dy  9456   2211237        50      4450         0     74453     31150    947803     15.60   no data  --
2318.48/580.49	c  N dy  9518   2234453        50      4450         0     94252     31150   1302703     15.59     16.44  --
2352.82/589.03	c  N dy  9638   2254477        50      4450         0     56539     31150    605421     15.60     17.84  --
2374.79/594.50	c  N dy  9800   2274570        50      4450         0     73842     31150    934890     15.61     17.69  --
2399.56/600.79	c  N dy  9850   2297062        50      4450         0     92920     31150   1280399     15.61     16.43  --
2439.10/610.60	c  N dy  9990   2317102        50      4450         0    110119     31150   1607264     15.62     18.61  --
2470.26/618.40	c  N dy 10047   2337427        50      4450         0     71330     31150    861558     15.61     16.50  --
2514.20/629.48	c  N dy 10159   2359662        50      4450         0     90411     31150   1215460     15.62     16.64  --
2569.35/643.24	c  N dy 10272   2384791        50      4450         0    111976     31150   1613278     15.62     16.46  --
2602.08/651.45	c  N dy 10356   2406471        50      4450         0     73293     31150    892268     15.62     16.47  --
2636.44/660.02	c  N dy 10470   2426495        50      4450         0     90461     31150   1213664     15.63     18.41  --
2713.54/679.31	c  N dy 10484   2486635        50      4450         0     83126     31149   1029964     15.57     16.41  --
2755.48/689.86	c  N dy 10634   2506694        50      4450         0    100392     31149   1357062     15.58     17.99  --
2792.23/699.06	c  N dy 10674   2526794        50      4450         0     58792     31149    616249     15.57     17.90  --
2819.00/705.76	c  N dy 10816   2546854        50      4450         0     75981     31149    941035     15.58     16.69  --
2842.96/711.73	c  N dy 10886   2566866        50      4450         0     93020     31149   1253208     15.58     17.18  --
2876.53/720.18	c  N dy 10933   2592687        50      4450         0    114898     31149   1642484     15.57     16.41  --
2904.07/727.04	c  N dy 11049   2612742        50      4450         0     72478     31149    864874     15.58     17.61  --
2927.24/732.81	c  N dy 11101   2632814        50      4450         0     89643     31149   1177404     15.58     17.04  --
2976.38/745.12	c  N dy 11233   2663260        50      4450         0    115545     31149   1649390     15.58     16.43  --
3008.35/753.13	c  N dy 11370   2684607        50      4450         0     73322     31149    871759     15.59     16.49  --
3037.50/760.41	c  N dy 11469   2709617        50      4450         0     94623     31149   1259511     15.59     16.72  --
3039.89/761.08	c  S st 11486   2711238        50      4450         0     96010     31149   1286460     15.59   no data  --
3041.09/761.38	c  S st 11486   2711743        50      4450         0     96456     31149   1295178     15.59   no data  --
3041.09/761.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3041.09/761.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3041.49/761.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
3041.49/761.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3041.49/761.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3041.49/761.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
3041.49/761.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3314.33/829.70	c lits-rem:      3949  cl-subs:    12525  v-elim:      0  v-fix:    0  time: 272.48 s
3314.33/829.70	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
3314.33/829.72	c vivif2 --  cl tried    83931 cl shrink        0 lits rem          0 time: 0.06
3315.53/830.04	c asymm  cl-useful: 0/403/4450 lits-rem:0 time: 1.32
3315.53/830.05	c calculated reachability. Time: 0.00
3315.53/830.05	c  N dy 11486   2711743        50      4450         0     83931     31149   1076189     15.59   no data  --
3345.88/837.66	c  N dy 11596   2731783        50      4450         0    101063     31149   1394437     15.59     18.79  --
3379.04/845.92	c  N dy 11628   2753792        50      4450         0    119616     31149   1720453     15.58     16.43  --
3404.23/852.24	c  N dy 11703   2773870        50      4450         0     76343     31149    920961     15.58     16.59  --
3435.36/860.04	c  N dy 11872   2793901        50      4450         0     93603     31149   1251829     15.59     17.78  --
3468.52/868.40	c  N dy 11975   2813943        50      4450         0    110726     31149   1568577     15.60     17.78  --
3506.47/877.85	c  N dy 12043   2838273        50      4450         0     69494     31149    774158     15.59     16.46  --
3535.65/885.12	c  N dy 12172   2858305        50      4450         0     86742     31149   1100156     15.60     16.98  --
3579.17/896.05	c  N dy 12299   2878489        50      4450         0    104103     31149   1428320     15.61     16.47  --
3630.30/908.88	c  N dy 12413   2898560        50      4450         0    121274     31149   1750452     15.61     17.72  --
3676.26/920.35	c  N dy 12485   2926475        50      4450         0     81803     31149    986710     15.61     16.46  --
3718.98/931.09	c  N dy 12507   2957972        50      4450         0    108156     31149   1433786     15.59     16.52  --
3768.55/943.43	c  N dy 12609   2978031        50      4450         0    125267     31149   1751730     15.59     16.42  --
3805.27/952.69	c  N dy 12739   2998768        50      4450         0     79514     31149    962447     15.60     16.49  --
3843.64/962.22	c  N dy 12865   3018852        50      4450         0     96712     31149   1286374     15.60     16.46  --
3892.35/974.44	c  N dy 13003   3039729        50      4450         0    114626     31149   1626157     15.61     16.46  --
3940.31/986.42	c  N dy 13068   3059796        50      4450         0     67036     31149    719556     15.61     17.37  --
3973.45/994.77	c  N dy 13178   3082068        50      4450         0     86006     31149   1070214     15.61     16.50  --
4028.58/1008.56	c  N dy 13229   3117548        50      4450         0    115930     31149   1597820     15.60     16.52  --
4069.71/1018.80	c  N dy 13349   3137564        50      4450         0     67582     31149    723619     15.61     16.63  --
4096.08/1025.42	c  N dy 13516   3157593        50      4450         0     84802     31149   1052402     15.61     18.80  --
4130.03/1033.98	c  N dy 13676   3179556        50      4450         0    103643     31149   1408871     15.62     16.54  --
4169.58/1043.80	c  N dy 13795   3199656        50      4450         0    120766     31149   1729590     15.63     18.32  --
4192.35/1049.59	c  S st 13840   3211744        50      4450         0    131059     31149   1919167     15.63   no data  --
4194.35/1050.01	c  S st 13840   3212245        50      4450         0    131495     31149   1927609     15.63   no data  --
4194.35/1050.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4194.35/1050.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4194.35/1050.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.26
4194.77/1050.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4194.77/1050.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4194.77/1050.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4194.77/1050.15	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-3175108-1304088106/watcher-3175108-1304088106 -o /tmp/evaluation-result-3175108-1304088106/solver-3175108-1304088106 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175108-1304088106.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: 7.21 7.88 7.94 6/180 6734
/proc/meminfo: memFree=26068128/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 520411064 52465664 352 33554432000 4194304 4650419 140733438325216 18446744073709551615 230809222129 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 12809 352 303 112 0 7774 0
[pid=6734/tid=6735] ppid=6732 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 520411065 52465664 352 33554432000 4194304 4650419 140733438325216 18446744073709551615 47015841605554 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520411065 52465664 352 33554432000 4194304 4650419 140733438325216 18446744073709551615 230820963382 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520411065 52465664 352 33554432000 4194304 4650419 140733438325216 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.105962 s]
/proc/loadavg: 7.21 7.88 7.94 6/180 6734
/proc/meminfo: memFree=26068128/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=222200 CPUtime=3.19 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 5750 0 0 0 319 0 0 0 19 0 4 0 520411064 227532800 3263 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 55550 3263 390 112 0 50515 0
[pid=6734/tid=6735] ppid=6732 vsize=222200 CPUtime=0.79 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 1381 0 0 0 79 0 0 0 19 0 4 0 520411065 227532800 3263 33554432000 4194304 4650419 140733438325216 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=222200 CPUtime=0.79 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 1408 0 0 0 79 0 0 0 25 0 4 0 520411065 227532800 3263 33554432000 4194304 4650419 140733438325216 18446744073709551615 4332492 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=222200 CPUtime=0.79 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 1124 0 0 0 79 0 0 0 18 0 4 0 520411065 227532800 3264 33554432000 4194304 4650419 140733438325216 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 222200

[startup+0.90178 s]
/proc/loadavg: 7.21 7.88 7.94 6/180 6734
/proc/meminfo: memFree=26068128/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=222200 CPUtime=3.57 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 5914 0 0 0 357 0 0 0 19 0 4 0 520411064 227532800 3427 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 55550 3427 391 112 0 50515 0
[pid=6734/tid=6735] ppid=6732 vsize=222200 CPUtime=0.89 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 1423 0 0 0 89 0 0 0 19 0 4 0 520411065 227532800 3427 33554432000 4194304 4650419 140733438325216 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=222200 CPUtime=0.89 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 1451 0 0 0 89 0 0 0 25 0 4 0 520411065 227532800 3427 33554432000 4194304 4650419 140733438325216 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=222200 CPUtime=0.89 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 1166 0 0 0 89 0 0 0 19 0 4 0 520411065 227532800 3427 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 222200

[startup+1.00076 s]
/proc/loadavg: 7.21 7.88 7.94 6/180 6734
/proc/meminfo: memFree=26068128/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=222272 CPUtime=3.96 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 6247 0 0 0 396 0 0 0 19 0 4 0 520411064 227606528 3481 33554432000 4194304 4650419 140733438325216 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 55568 3481 391 112 0 50533 0
[pid=6734/tid=6735] ppid=6732 vsize=222272 CPUtime=0.99 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 1460 0 0 0 99 0 0 0 19 0 4 0 520411065 227606528 3481 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=222272 CPUtime=0.98 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 1490 0 0 0 98 0 0 0 25 0 4 0 520411065 227606528 3481 33554432000 4194304 4650419 140733438325216 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=222272 CPUtime=0.99 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 1384 0 0 0 99 0 0 0 19 0 4 0 520411065 227606528 3481 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365260 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 222272

[startup+1.10074 s]
/proc/loadavg: 7.21 7.88 7.94 6/180 6734
/proc/meminfo: memFree=26068128/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=222608 CPUtime=4.36 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 6794 0 0 0 436 0 0 0 19 0 4 0 520411064 227950592 3472 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 55652 3473 391 112 0 50617 0
[pid=6734/tid=6735] ppid=6732 vsize=222608 CPUtime=1.09 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 1499 0 0 0 109 0 0 0 19 0 4 0 520411065 227950592 3473 33554432000 4194304 4650419 140733438325216 18446744073709551615 4313354 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=222608 CPUtime=1.08 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 1721 0 0 0 108 0 0 0 25 0 4 0 520411065 227950592 3473 33554432000 4194304 4650419 140733438325216 18446744073709551615 4364746 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=222608 CPUtime=1.09 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 1432 0 0 0 109 0 0 0 19 0 4 0 520411065 227950592 3473 33554432000 4194304 4650419 140733438325216 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 222608

[startup+1.50067 s]
/proc/loadavg: 7.21 7.88 7.94 6/180 6734
/proc/meminfo: memFree=26068128/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=223068 CPUtime=5.97 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 8940 0 0 0 596 1 0 0 20 0 4 0 520411064 228421632 4722 33554432000 4194304 4650419 140733438325216 18446744073709551615 4476385 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 55767 4722 392 112 0 50732 0
[pid=6734/tid=6735] ppid=6732 vsize=223068 CPUtime=1.49 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 1836 0 0 0 149 0 0 0 20 0 4 0 520411065 228421632 4722 33554432000 4194304 4650419 140733438325216 18446744073709551615 4333890 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=223068 CPUtime=1.48 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 2097 0 0 0 148 0 0 0 25 0 4 0 520411065 228421632 4722 33554432000 4194304 4650419 140733438325216 18446744073709551615 4332020 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=223068 CPUtime=1.49 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 1792 0 0 0 149 0 0 0 20 0 4 0 520411065 228421632 4722 33554432000 4194304 4650419 140733438325216 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 223068

[startup+3.10038 s]
/proc/loadavg: 7.21 7.88 7.94 9/184 6738
/proc/meminfo: memFree=26027812/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=218020 CPUtime=12.36 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 14282 0 0 0 1234 2 0 0 25 0 4 0 520411064 223252480 8850 33554432000 4194304 4650419 140733438325216 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 54505 8850 392 112 0 49470 0
[pid=6734/tid=6735] ppid=6732 vsize=218020 CPUtime=3.07 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 3073 0 0 0 307 0 0 0 25 0 4 0 520411065 223252480 8850 33554432000 4194304 4650419 140733438325216 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=218020 CPUtime=3.08 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 3795 0 0 0 308 0 0 0 25 0 4 0 520411065 223252480 8850 33554432000 4194304 4650419 140733438325216 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=218020 CPUtime=3.08 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 3713 0 0 0 308 0 0 0 25 0 4 0 520411065 223252480 8850 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 218020

[startup+6.30679 s]
/proc/loadavg: 7.27 7.88 7.94 9/184 6738
/proc/meminfo: memFree=25996072/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=242696 CPUtime=25.16 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 21769 0 0 0 2513 3 0 0 25 0 4 0 520411064 248520704 13053 33554432000 4194304 4650419 140733438325216 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 60674 13053 392 112 0 55639 0
[pid=6734/tid=6735] ppid=6732 vsize=242696 CPUtime=6.26 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 5159 0 0 0 626 0 0 0 25 0 4 0 520411065 248520704 13053 33554432000 4194304 4650419 140733438325216 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=242696 CPUtime=6.28 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 5542 0 0 0 628 0 0 0 25 0 4 0 520411065 248520704 13053 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=242696 CPUtime=6.29 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 5460 0 0 0 629 0 0 0 25 0 4 0 520411065 248520704 13053 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 242696

[startup+12.7006 s]
/proc/loadavg: 7.33 7.88 7.94 9/184 6738
/proc/meminfo: memFree=25978600/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=234316 CPUtime=50.7 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 30517 0 0 0 5065 5 0 0 25 0 4 0 520411064 239939584 15491 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 58579 15491 392 112 0 53544 0
[pid=6734/tid=6735] ppid=6732 vsize=234316 CPUtime=12.62 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 6034 0 0 0 1262 0 0 0 25 0 4 0 520411065 239939584 15491 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=234316 CPUtime=12.68 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 8412 0 0 0 1267 1 0 0 25 0 4 0 520411065 239939584 15491 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=234316 CPUtime=12.68 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 8809 0 0 0 1267 1 0 0 25 0 4 0 520411065 239939584 15491 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 234316

[startup+25.5003 s]
/proc/loadavg: 7.55 7.90 7.95 9/184 6738
/proc/meminfo: memFree=25931468/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=253596 CPUtime=101.84 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 44478 0 0 0 10175 9 0 0 25 0 4 0 520411064 259682304 20893 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 63399 20893 392 112 0 58364 0
[pid=6734/tid=6735] ppid=6732 vsize=253596 CPUtime=25.35 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 9555 0 0 0 2534 1 0 0 25 0 4 0 520411065 259682304 20893 33554432000 4194304 4650419 140733438325216 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=253596 CPUtime=25.48 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 10988 0 0 0 2546 2 0 0 25 0 4 0 520411065 259682304 20893 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=253596 CPUtime=25.48 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 13277 0 0 0 2546 2 0 0 25 0 4 0 520411065 259682304 20893 33554432000 4194304 4650419 140733438325216 18446744073709551615 4439120 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 253596

[startup+51.1006 s]
/proc/loadavg: 7.76 7.93 7.95 9/184 6739
/proc/meminfo: memFree=25906104/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=240556 CPUtime=204.1 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 62990 0 0 0 20396 14 0 0 25 0 4 0 520411064 246329344 22023 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365267 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 60139 22023 392 112 0 55104 0
[pid=6734/tid=6735] ppid=6732 vsize=240556 CPUtime=50.86 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 14279 0 0 0 5084 2 0 0 25 0 4 0 520411065 246329344 22023 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=240556 CPUtime=51.03 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 14301 0 0 0 5100 3 0 0 25 0 4 0 520411065 246329344 22023 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=240556 CPUtime=51.08 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 19275 0 0 0 5104 4 0 0 25 0 4 0 520411065 246329344 22023 33554432000 4194304 4650419 140733438325216 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 240556

[startup+102.301 s]
/proc/loadavg: 8.01 7.97 7.97 9/184 6740
/proc/meminfo: memFree=25832796/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=282364 CPUtime=408.62 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 88233 0 0 0 40838 24 0 0 25 0 4 0 520411064 289140736 31584 33554432000 4194304 4650419 140733438325216 18446744073709551615 4313051 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 70591 31584 392 112 0 65556 0
[pid=6734/tid=6735] ppid=6732 vsize=282364 CPUtime=102.06 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 17502 0 0 0 10203 3 0 0 25 0 4 0 520411065 289140736 31584 33554432000 4194304 4650419 140733438325216 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=282364 CPUtime=101.95 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 17763 0 0 0 10190 5 0 0 25 0 4 0 520411065 289140736 31584 33554432000 4194304 4650419 140733438325216 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=282364 CPUtime=102.29 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 30750 0 0 0 10220 9 0 0 25 0 4 0 520411065 289140736 31584 33554432000 4194304 4650419 140733438325216 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 282364

[startup+162.301 s]

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

[pid=6734] ppid=6732 vsize=371524 CPUtime=2805.42 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 282361 0 0 0 280429 113 0 0 25 0 4 0 520411064 380440576 56249 33554432000 4194304 4650419 140733438325216 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 92881 56249 392 112 0 87846 0
[pid=6734/tid=6735] ppid=6732 vsize=371524 CPUtime=702.08 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 51568 0 0 0 70188 20 0 0 25 0 4 0 520411065 380440576 56249 33554432000 4194304 4650419 140733438325216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=371524 CPUtime=698.69 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 58482 0 0 0 69846 23 0 0 25 0 4 0 520411065 380440576 56249 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=371524 CPUtime=702.31 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 91978 0 0 0 70197 34 0 0 25 0 4 0 520411065 380440576 56249 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 371524

[startup+762.301 s]
/proc/loadavg: 8.14 8.09 8.01 9/184 6758
/proc/meminfo: memFree=25522464/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=364244 CPUtime=3045.08 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 303040 0 0 0 304387 121 0 0 25 0 4 0 520411064 372985856 63529 33554432000 4194304 4650419 140733438325216 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 91061 63529 392 112 0 86026 0
[pid=6734/tid=6735] ppid=6732 vsize=364244 CPUtime=762.08 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 54306 0 0 0 76187 21 0 0 25 0 4 0 520411065 372985856 63529 33554432000 4194304 4650419 140733438325216 18446744073709551615 4313719 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=364244 CPUtime=758.36 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 63329 0 0 0 75811 25 0 0 25 0 4 0 520411065 372985856 63529 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=364244 CPUtime=762.31 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 97608 0 0 0 76195 36 0 0 25 0 4 0 520411065 372985856 63529 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 364244

[startup+822.301 s]
/proc/loadavg: 8.10 8.08 8.01 9/184 6759
/proc/meminfo: memFree=25526020/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=376132 CPUtime=3284.77 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 321475 0 0 0 328349 128 0 0 25 0 4 0 520411064 385159168 64343 33554432000 4194304 4650419 140733438325216 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 94033 64343 392 112 0 88998 0
[pid=6734/tid=6735] ppid=6732 vsize=376132 CPUtime=822.08 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 58407 0 0 0 82185 23 0 0 25 0 4 0 520411065 385159168 64343 33554432000 4194304 4650419 140733438325216 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=376132 CPUtime=818.04 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 64178 0 0 0 81777 27 0 0 25 0 4 0 520411065 385159168 64343 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=376132 CPUtime=822.31 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 99927 0 0 0 82194 37 0 0 25 0 4 0 520411065 385159168 64343 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 376132

[startup+882.301 s]
/proc/loadavg: 8.08 8.08 8.01 9/184 6761
/proc/meminfo: memFree=25500440/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=379612 CPUtime=3524.45 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 331643 0 0 0 352312 133 0 0 25 0 4 0 520411064 388722688 65892 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 94903 65892 392 112 0 89868 0
[pid=6734/tid=6735] ppid=6732 vsize=379612 CPUtime=882.08 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 58738 0 0 0 88184 24 0 0 25 0 4 0 520411065 388722688 65892 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=379612 CPUtime=877.71 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 65857 0 0 0 87743 28 0 0 25 0 4 0 520411065 388722688 65892 33554432000 4194304 4650419 140733438325216 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=379612 CPUtime=882.31 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 104066 0 0 0 88192 39 0 0 25 0 4 0 520411065 388722688 65892 33554432000 4194304 4650419 140733438325216 18446744073709551615 4433090 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 379612

[startup+942.301 s]
/proc/loadavg: 8.03 8.06 8.00 9/184 6763
/proc/meminfo: memFree=25495696/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=379688 CPUtime=3764.15 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 339287 0 0 0 376277 138 0 0 25 0 4 0 520411064 388800512 66811 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 94922 66811 392 112 0 89887 0
[pid=6734/tid=6735] ppid=6732 vsize=379688 CPUtime=942.09 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 58931 0 0 0 94185 24 0 0 25 0 4 0 520411065 388800512 66811 33554432000 4194304 4650419 140733438325216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=379688 CPUtime=937.39 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 68224 0 0 0 93709 30 0 0 25 0 4 0 520411065 388800512 66811 33554432000 4194304 4650419 140733438325216 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=379688 CPUtime=942.31 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 106069 0 0 0 94192 39 0 0 25 0 4 0 520411065 388800512 66811 33554432000 4194304 4650419 140733438325216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.15
Current children cumulated vsize (KiB) 379688

[startup+1002.3 s]
/proc/loadavg: 8.01 8.05 8.00 9/184 6764
/proc/meminfo: memFree=25483884/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=379796 CPUtime=4003.81 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 349466 0 0 0 400238 143 0 0 25 0 4 0 520411064 388911104 66222 33554432000 4194304 4650419 140733438325216 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 94949 66222 392 112 0 89914 0
[pid=6734/tid=6735] ppid=6732 vsize=379796 CPUtime=1002.08 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 59350 0 0 0 100184 24 0 0 25 0 4 0 520411065 388911104 66222 33554432000 4194304 4650419 140733438325216 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=379796 CPUtime=997.06 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 70595 0 0 0 99674 32 0 0 25 0 4 0 520411065 388911104 66222 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=379796 CPUtime=1002.31 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 109440 0 0 0 100191 40 0 0 25 0 4 0 520411065 388911104 66222 33554432000 4194304 4650419 140733438325216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 379796

[startup+1062.31 s]
/proc/loadavg: 8.11 8.07 8.01 9/184 6766
/proc/meminfo: memFree=25417624/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=511040 CPUtime=4243.5 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 364643 0 0 0 424202 148 0 0 25 0 4 0 520411064 523304960 78977 33554432000 4194304 4650419 140733438325216 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 127760 78977 392 112 0 122725 0
[pid=6734/tid=6735] ppid=6732 vsize=511040 CPUtime=1062.09 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 59614 0 0 0 106185 24 0 0 25 0 4 0 520411065 523304960 78977 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=511040 CPUtime=1056.73 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 72913 0 0 0 105640 33 0 0 25 0 4 0 520411065 523304960 78977 33554432000 4194304 4650419 140733438325216 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=511040 CPUtime=1062.32 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 113656 0 0 0 106191 41 0 0 25 0 4 0 520411065 523304960 78977 33554432000 4194304 4650419 140733438325216 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 511040

[startup+1122.3 s]
/proc/loadavg: 8.14 8.08 8.01 9/184 6767
/proc/meminfo: memFree=25420068/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=498820 CPUtime=4483.16 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 371360 0 0 0 448165 151 0 0 25 0 4 0 520411064 510791680 79620 33554432000 4194304 4650419 140733438325216 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 124705 79620 392 112 0 119670 0
[pid=6734/tid=6735] ppid=6732 vsize=498820 CPUtime=1122.09 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 59616 0 0 0 112184 25 0 0 25 0 4 0 520411065 510791680 79620 33554432000 4194304 4650419 140733438325216 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=498820 CPUtime=1116.41 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 73230 0 0 0 111607 34 0 0 25 0 4 0 520411065 510791680 79620 33554432000 4194304 4650419 140733438325216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=498820 CPUtime=1122.31 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 117686 0 0 0 112188 43 0 0 25 0 4 0 520411065 510791680 79620 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.16
Current children cumulated vsize (KiB) 498820

[startup+1182.3 s]
/proc/loadavg: 8.19 8.11 8.02 9/184 6778
/proc/meminfo: memFree=25426120/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=498820 CPUtime=4722.83 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 381024 0 0 0 472130 153 0 0 25 0 4 0 520411064 510791680 75977 33554432000 4194304 4650419 140733438325216 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 124705 75977 392 112 0 119670 0
[pid=6734/tid=6735] ppid=6732 vsize=498820 CPUtime=1182.09 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 59618 0 0 0 118184 25 0 0 25 0 4 0 520411065 510791680 75977 33554432000 4194304 4650419 140733438325216 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=498820 CPUtime=1176.08 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 73230 0 0 0 117574 34 0 0 25 0 4 0 520411065 510791680 75977 33554432000 4194304 4650419 140733438325216 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=498820 CPUtime=1182.32 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 118787 0 0 0 118188 44 0 0 25 0 4 0 520411065 510791680 75977 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.83
Current children cumulated vsize (KiB) 498820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.88 8.05 8.00 9/184 6810
/proc/meminfo: memFree=25773256/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=498820 CPUtime=4800.34 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 386770 0 0 0 479879 155 0 0 25 0 4 0 520411064 510791680 77651 33554432000 4194304 4650419 140733438325216 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 124705 77651 392 112 0 119670 0
[pid=6734/tid=6735] ppid=6732 vsize=498820 CPUtime=1201.49 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 59618 0 0 0 120124 25 0 0 25 0 4 0 520411065 510791680 77651 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=498820 CPUtime=1195.38 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 73230 0 0 0 119504 34 0 0 25 0 4 0 520411065 510791680 77651 33554432000 4194304 4650419 140733438325216 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=498820 CPUtime=1201.72 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 120405 0 0 0 120127 45 0 0 25 0 4 0 520411065 510791680 77651 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 498820

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: 7.88 8.05 8.00 9/184 6810
/proc/meminfo: memFree=25773256/32951124 swapFree=67111524/67111528
[pid=6734] ppid=6732 vsize=498820 CPUtime=4800.34 cores=1,3,5,7
/proc/6734/stat : 6734 (strangenight1-m) R 6732 6734 6568 0 -1 4202496 386770 0 0 0 479879 155 0 0 25 0 4 0 520411064 510791680 77651 33554432000 4194304 4650419 140733438325216 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6734/statm: 124705 77651 392 112 0 119670 0
[pid=6734/tid=6735] ppid=6732 vsize=498820 CPUtime=1201.49 cores=1,3,5,7
/proc/6734/task/6735/stat : 6735 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 59618 0 0 0 120124 25 0 0 25 0 4 0 520411065 510791680 77651 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6734/tid=6736] ppid=6732 vsize=498820 CPUtime=1195.38 cores=1,3,5,7
/proc/6734/task/6736/stat : 6736 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 73230 0 0 0 119504 34 0 0 25 0 4 0 520411065 510791680 77651 33554432000 4194304 4650419 140733438325216 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=498820 CPUtime=1201.72 cores=1,3,5,7
/proc/6734/task/6737/stat : 6737 (strangenight1-m) R 6732 6734 6568 0 -1 4202560 120405 0 0 0 120127 45 0 0 25 0 4 0 520411065 510791680 77651 33554432000 4194304 4650419 140733438325216 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 498820

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.39
CPU user time (s): 4798.82
CPU system time (s): 1.57476
CPU usage (%): 399.458
Max. virtual memory (cumulated for all children) (KiB): 511040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.82
system time used= 1.57476
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 386770
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= 154
involuntary context switches= 33587

runsolver used 1.90571 second user time and 4.66529 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 16:41:46
IDJOB=3175108
IDBENCH=82726
IDSOLVER=1588
FILE ID=node104/3175108-1304088106
RUNJOBID= node104-1304086898-6587
PBS_JOBID= 13170552
Free space on /tmp= 71544 MiB

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

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

MD5SUM BENCH= deef67012ed65265f92101778280c717
RANDOM SEED=1448976186

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:      26068408 kB
Buffers:       1879676 kB
Cached:        4354612 kB
SwapCached:          4 kB
Active:         207912 kB
Inactive:      6132012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26068408 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12444 kB
Writeback:           0 kB
AnonPages:      105144 kB
Mapped:          15520 kB
Slab:           480840 kB
PageTables:       4600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   324380 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-29 17:01:50