Trace number 3175228

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.06 1201.63

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf
MD5SUMc7c56fd965d7a6907a8127d8bee5e481
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark34.9237
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.05	c Using 4 threads
0.29/0.10	c This is CryptoMiniSat 2.9.0
0.29/0.10	c compiled with gcc version 4.4.5
0.29/0.10	c WARNING: for repeatability, setting FPU to use double precision
0.29/0.10	c Reading file 'HOME/instance-3175228-1304101543.cnf'
0.29/0.10	c -- header says num vars:             50
0.29/0.10	c -- header says num clauses:        4450
0.29/0.10	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.29/0.10	c -- vars added         50
0.29/0.10	c Parsing time:  0.01 s
0.29/0.10	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.58/0.20	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.28
0.58/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.58/0.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.58/0.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.58/0.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
0.58/0.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.58/0.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
0.58/0.22	c Finding binary XORs  T:     0.00 s  found:       0
0.58/0.22	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.58/0.22	c calculated reachability. Time: 0.00
0.58/0.22	c Calc default polars -  time:   0.00 s pos:      27 undec:       1 neg:      22
0.58/0.22	c =========================================================================================
0.58/0.22	c types(t): F = full restart, N = normal restart
0.58/0.22	c types(t): S = simplification begin/end, E = solution found
0.58/0.22	c restart types(rt): st = static, dy = dynamic
0.58/0.22	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.58/0.22	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.58/0.31	c  N dy     7      4226        50      4450         0      3640     31150     67549     15.58     16.45  --
0.58/0.58	c  N dy    15     12748        50      4450         0      5165     31150     82194     14.65     15.49  --
0.58/0.74	c  N dy    40     16794        50      4450         0      8686     31150    147158     15.01     17.23  --
0.58/0.91	c  N dy    63     20895        50      4450         0      7407     31150    119264     15.21     16.73  --
3.74/1.09	c  N dy    88     24918        50      4450         0     10878     31150    182967     15.34     17.62  --
4.11/1.10	c  F st    89     25000        50      4450         0     10945     31150    184190     15.35   no data  --
4.90/1.30	c  N dy    95     30000        50      4450         0      9389     31150    150340     15.35   no data  --
4.90/1.30	c  S st    95     30000        50      4450         0      9389     31150    150340     15.35   no data  --
4.90/1.33	c  S st    95     30502        50      4450         0      9839     31150    159009     15.35   no data  --
4.90/1.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.90/1.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.90/1.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.90/1.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.90/1.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.90/1.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4.90/1.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.50/2.27	c lits-rem:      1417  cl-subs:     1662  v-elim:      0  v-fix:    0  time:  3.72 s
9.30/2.49	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.86
9.30/2.49	c calculated reachability. Time: 0.00
9.30/2.49	c  N dy    95     30502        50      4450         0      8177     31150    130899     15.35   no data  --
10.50/2.70	c  N dy   123     34533        50      4450         0     11685     31150    196788     15.53     17.41  --
11.31/2.93	c  N dy   130     39512        50      4450         0      9170     31150    137083     15.36     16.21  --
12.50/3.29	c  N dy   150     45753        50      4450         0     14529     31150    233389     15.36     13.40  --
12.50/3.29	c  S st   150     45753        50      4450         0     14529     31150    233389     15.36     13.40  --
12.90/3.33	c  S st   150     46260        50      4450         0     14983     31150    242057     15.36   no data  --
12.90/3.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.90/3.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.90/3.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
12.90/3.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.90/3.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.90/3.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
12.90/3.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.69/4.54	c lits-rem:      1627  cl-subs:     2691  v-elim:      0  v-fix:    0  time:  4.77 s
17.69/4.54	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.69/4.54	c vivif2 --  cl tried    12292 cl shrink        0 lits rem          0 time: 0.01
18.89/4.85	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.22
18.89/4.85	c calculated reachability. Time: 0.00
18.89/4.85	c  N dy   150     46260        50      4450         0     12292     31150    195718     15.36   no data  --
19.69/5.08	c  N dy   155     50348        50      4450         0      8335     31150    117766     15.29     17.10  --
20.88/5.30	c  N dy   186     54438        50      4450         0     11888     31150    184077     15.40     16.27  --
21.68/5.54	c  N dy   199     58518        50      4450         0     15425     31150    249187     15.42     17.16  --
22.48/5.78	c  N dy   212     62573        50      4450         0     10456     31150    149844     15.42     17.35  --
23.29/5.99	c  N dy   232     66612        50      4450         0     13966     31150    214309     15.44     16.29  --
24.09/6.16	c  S st   242     69391        50      4450         0     16359     31150    257210     15.44     14.63  --
24.50/6.21	c  S st   242     69895        50      4450         0     16814     31150    265912     15.44   no data  --
24.50/6.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.50/6.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
24.50/6.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
24.50/6.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.50/6.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.50/6.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
24.50/6.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.89/7.36	c lits-rem:      1740  cl-subs:     2352  v-elim:      0  v-fix:    0  time:  4.56 s
28.89/7.36	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
28.89/7.37	c vivif2 --  cl tried    14462 cl shrink        0 lits rem          0 time: 0.01
30.07/7.69	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.30
30.07/7.69	c calculated reachability. Time: 0.00
30.07/7.69	c  N dy   242     69895        50      4450         0     14462     31150    222942     15.44   no data  --
31.28/7.99	c  N dy   250     74865        50      4450         0      9451     31150    123373     15.38     16.39  --
32.88/8.30	c  N dy   279     80294        50      4450         0     14165     31150    209920     15.42     16.25  --
34.07/8.62	c  N dy   296     85517        50      4450         0     18702     31150    292918     15.43     16.98  --
34.47/8.79	c  F st   313     87500        50      4450         0     20446     31150    325877     15.47   no data  --
35.67/9.08	c  N dy   319     92695        50      4450         0     14670     31150    213573     15.47   no data  --
38.86/9.87	c  N dy   340    104556        50      4450         0     13685     31150    185607     15.38     16.20  --
38.86/9.89	c  S st   342    104843        50      4450         0     13932     31150    190239     15.38     15.24  --
39.26/9.93	c  S st   342    105343        50      4450         0     14372     31150    198512     15.38   no data  --
39.26/9.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.26/9.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.26/9.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
39.26/9.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.26/9.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.26/9.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
39.26/9.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.86/10.86	c lits-rem:       657  cl-subs:     1158  v-elim:      0  v-fix:    0  time:  3.68 s
42.86/10.86	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
42.86/10.86	c vivif2 --  cl tried    13214 cl shrink        0 lits rem          0 time: 0.01
44.06/11.17	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.24
44.06/11.17	c calculated reachability. Time: 0.00
44.06/11.17	c  N dy   342    105343        50      4450         0     13214     31150    179548     15.38   no data  --
46.47/11.79	c  N dy   378    114726        50      4450         0     21361     31150    326606     15.38     16.24  --
50.86/12.83	c  N dy   392    129936        50      4450         0     22394     31150    327401     15.20     16.03  --
53.64/13.52	c  N dy   450    138301        50      4450         0     16797     31150    231784     15.28     16.56  --
56.85/14.31	c  N dy   523    147222        50      4450         0     24584     31150    378425     15.37     17.05  --
60.06/15.17	c  N dy   571    158015        50      4450         0     20059     31150    280430     15.40     13.82  --
60.06/15.17	c  S st   571    158015        50      4450         0     20059     31150    280430     15.40     13.82  --
60.44/15.23	c  S st   571    158519        50      4450         0     20515     31150    289266     15.40   no data  --
60.44/15.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
60.44/15.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.44/15.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
60.44/15.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.44/15.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.44/15.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
60.44/15.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.63/16.51	c lits-rem:      1509  cl-subs:     2109  v-elim:      0  v-fix:    0  time:  5.07 s
65.63/16.51	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
65.63/16.51	c vivif2 --  cl tried    18406 cl shrink        0 lits rem          0 time: 0.01
66.83/16.87	c asymm  cl-useful: 0/3790/4450 lits-rem:0 time: 1.43
66.83/16.87	c calculated reachability. Time: 0.00
66.83/16.87	c  N dy   571    158519        50      4450         0     18406     31150    251999     15.40   no data  --
70.83/17.80	c  N dy   623    168723        50      4450         0     27299     31150    416158     15.44     16.39  --
74.42/18.70	c  N dy   663    179570        50      4450         0     22125     31150    314173     15.44     17.57  --
79.22/19.98	c  N dy   727    192086        50      4450         0     17420     31150    219523     15.47     16.39  --
83.62/21.09	c  N dy   773    204396        50      4450         0     28095     31150    415715     15.49     17.84  --
94.81/23.87	c  N dy   825    235696        50      4450         0     21253     31150    269778     15.34     16.46  --
95.60/24.04	c  S st   831    237778        50      4450         0     23065     31150    302677     15.34     13.97  --
96.00/24.11	c  S st   831    238281        50      4450         0     23514     31150    311278     15.34   no data  --
96.00/24.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
96.00/24.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.00/24.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
96.00/24.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
96.00/24.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.00/24.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
96.00/24.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
102.00/25.60	c lits-rem:      1225  cl-subs:     2247  v-elim:      0  v-fix:    0  time:  5.90 s
102.00/25.60	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
102.00/25.60	c vivif2 --  cl tried    21267 cl shrink        0 lits rem          0 time: 0.01
102.00/25.69	c asymm  cl-useful: 0/660/4450 lits-rem:0 time: 0.33
102.00/25.69	c calculated reachability. Time: 0.00
102.00/25.69	c  N dy   831    238281        50      4450         0     21267     31150    275938     15.34   no data  --
112.80/28.35	c  N dy   892    266982        50      4450         0     27943     31150    376880     15.28     16.15  --
121.97/30.64	c  N dy  1020    287679        50      4450         0     27043     31150    366732     15.35     16.17  --
129.16/32.47	c  F st  1062    306251        50      4450         0     23277     31150    288951     15.31     13.08  --
129.16/32.47	c  N st  1062    306251        50      4450         0     23277     31150    288951     15.31     13.08  --
138.36/34.74	c  N dy  1142    325858        50      4450         0     40240     31150    602078     15.35     16.88  --
147.55/37.09	c  N dy  1271    345861        50      4450         0     36927     31150    539949     15.41     16.64  --
153.94/38.66	c  S st  1340    357424        50      4450         0     25294     31150    316446     15.44   no data  --
154.34/38.73	c  S st  1340    357927        50      4450         0     25752     31150    325287     15.44   no data  --
154.34/38.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
154.34/38.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
154.34/38.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
154.34/38.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
154.34/38.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.34/38.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
154.34/38.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
161.52/40.50	c lits-rem:       876  cl-subs:     1055  v-elim:      0  v-fix:    0  time:  7.00 s
161.52/40.50	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
161.52/40.50	c vivif2 --  cl tried    24697 cl shrink        0 lits rem          0 time: 0.01
162.72/40.85	c asymm  cl-useful: 0/3131/4450 lits-rem:0 time: 1.38
162.72/40.85	c calculated reachability. Time: 0.00
162.72/40.85	c  N dy  1340    357927        50      4450         0     24697     31150    304502     15.44   no data  --
177.51/44.56	c  N dy  1362    394425        50      4450         0     33506     31150    438471     15.26     16.21  --
193.89/48.68	c  N dy  1482    424314        50      4450         0     36076     31150    483366     15.25     16.07  --
206.27/51.75	c  N dy  1647    444391        50      4450         0     29396     31150    369844     15.33     16.86  --
217.46/54.55	c  N dy  1749    464468        50      4450         0     46775     31150    689197     15.36     18.36  --
229.05/57.48	c  N dy  1906    484478        50      4450         0     39086     31150    540376     15.42     16.26  --
243.03/60.93	c  N dy  2051    504911        50      4450         0     30894     31150    378001     15.46     16.36  --
255.83/64.17	c  N dy  2098    529009        50      4450         0     51535     31150    738399     15.42     16.27  --
260.22/65.29	c  S st  2132    536891        50      4450         0     31566     31150    379664     15.42     13.28  --
260.62/65.37	c  S st  2132    537393        50      4450         0     32008     31150    388214     15.42   no data  --
260.62/65.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
260.62/65.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
260.62/65.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
261.02/65.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
261.02/65.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
261.02/65.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
261.02/65.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
271.03/67.90	c lits-rem:      1213  cl-subs:     1937  v-elim:      0  v-fix:    0  time: 10.01 s
271.03/67.90	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
271.03/67.91	c vivif2 --  cl tried    30071 cl shrink        0 lits rem          0 time: 0.02
271.80/68.13	c asymm  cl-useful: 0/1319/4450 lits-rem:0 time: 0.90
271.80/68.13	c calculated reachability. Time: 0.00
271.80/68.13	c  N dy  2132    537393        50      4450         0     30071     31150    355311     15.42   no data  --
283.39/71.01	c  N dy  2230    557404        50      4450         0     47442     31150    675299     15.44     17.52  --
295.76/74.14	c  N dy  2344    577447        50      4450         0     37236     31150    481098     15.47     16.34  --
307.75/77.18	c  N dy  2368    598713        50      4450         0     55400     31150    804424     15.44     16.30  --
321.74/80.65	c  N dy  2519    620776        50      4450         0     46230     31150    645261     15.48     16.34  --
336.95/84.40	c  N dy  2646    640867        50      4450         0     34221     31150    411246     15.51     18.21  --
350.50/87.82	c  N dy  2742    662414        50      4450         0     52830     31150    753908     15.52     16.36  --
365.69/91.67	c  N dy  2814    682471        50      4450         0     39826     31150    501462     15.52     17.22  --
384.47/96.40	c  N dy  2931    707711        50      4450         0     61446     31150    897620     15.53     16.41  --
397.65/99.62	c  N dy  2986    729905        50      4450         0     49570     31150    671623     15.52     16.46  --
414.84/103.96	c  N dy  3112    750092        50      4450         0     35178     31150    410234     15.54     16.39  --
431.22/108.05	c  N dy  3239    774848        50      4450         0     56567     31150    804519     15.55     16.42  --
447.99/112.25	c  N dy  3393    794850        50      4450         0     41109     31150    515237     15.59     17.08  --
455.61/114.13	c  S st  3443    806089        50      4450         0     50763     31150    694534     15.59     15.76  --
455.99/114.27	c  S st  3443    806593        50      4450         0     51210     31150    703226     15.59   no data  --
455.99/114.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
455.99/114.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
455.99/114.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
456.38/114.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
456.38/114.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
456.38/114.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
456.38/114.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
480.75/120.43	c lits-rem:      2454  cl-subs:     5121  v-elim:      0  v-fix:    0  time: 24.42 s
480.75/120.43	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
480.75/120.44	c vivif2 --  cl tried    46089 cl shrink        0 lits rem          0 time: 0.03
481.56/120.65	c asymm  cl-useful: 0/996/4450 lits-rem:0 time: 0.85
481.56/120.65	c calculated reachability. Time: 0.00
481.56/120.65	c  N dy  3443    806593        50      4450         0     46089     31150    606335     15.59   no data  --
499.93/125.24	c  N dy  3484    831039        50      4450         0     33803     31150    367292     15.57     16.50  --
513.91/128.77	c  N dy  3595    851327        50      4450         0     51235     31150    688649     15.58     16.43  --
531.89/133.21	c  N dy  3606    877663        50      4450         0     39501     31150    455551     15.52     16.41  --
546.67/136.92	c  N dy  3715    897680        50      4450         0     56817     31150    776745     15.53     17.73  --
565.85/141.74	c  N dy  3837    917684        50      4450         0     38905     31150    446208     15.55     18.60  --
580.24/145.36	c  N dy  3925    938406        50      4450         0     56780     31150    777638     15.55     16.38  --
601.40/150.66	c  N dy  4015    961630        50      4450         0     40618     31150    467198     15.56     16.44  --
616.59/154.42	c  N dy  4065    984175        50      4450         0     59869     31150    814621     15.55     16.43  --
635.79/159.21	c  N dy  4175   1004237        50      4450         0     40257     31150    456421     15.56     16.86  --
648.97/162.58	c  N dy  4225   1024277        50      4450         0     57420     31150    764392     15.55     16.69  --
670.13/167.87	c  N dy  4346   1044280        50      4450         0     74700     31150   1085885     15.56     17.30  --
685.71/171.77	c  N dy  4445   1064445        50      4450         0     54208     31150    705641     15.57     16.56  --
692.51/173.48	c  F st  4484   1071876        50      4450         0     60600     31150    824087     15.58   no data  --
713.28/178.63	c  N dy  4532   1094118        50      4450         0     40949     31150    451004     15.57     16.41  --
728.08/182.35	c  N dy  4621   1114182        50      4450         0     58212     31150    768404     15.57     16.68  --
750.05/187.82	c  N dy  4753   1134255        50      4450         0     75510     31150   1095366     15.59     17.23  --
764.82/191.58	c  N dy  4823   1154325        50      4450         0     53185     31150    670730     15.59     17.84  --
785.22/196.68	c  N dy  4927   1176815        50      4450         0     72578     31150   1028449     15.59     16.78  --
810.76/203.02	c  N dy  5074   1198697        50      4450         0     51042     31150    627225     15.61     16.48  --
821.54/205.80	c  S st  5102   1209889        50      4450         0     60593     31150    797674     15.60   no data  --
822.74/206.04	c  S st  5102   1210393        50      4450         0     61038     31150    806395     15.60   no data  --
822.74/206.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
822.74/206.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
822.74/206.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
823.14/206.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
823.14/206.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
823.14/206.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
823.14/206.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
897.44/224.76	c lits-rem:      3635  cl-subs:     6802  v-elim:      0  v-fix:    0  time: 74.49 s
897.44/224.76	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
897.44/224.77	c vivif2 --  cl tried    54236 cl shrink        0 lits rem          0 time: 0.04
898.64/225.10	c asymm  cl-useful: 0/639/4450 lits-rem:0 time: 1.30
898.64/225.10	c calculated reachability. Time: 0.00
898.64/225.10	c  N dy  5102   1210393        50      4450         0     54236     31150    686920     15.60   no data  --
918.61/230.03	c  N dy  5166   1230452        50      4450         0     71380     31150    997585     15.60     16.49  --
938.60/235.06	c  N dy  5255   1250618        50      4450         0     47994     31150    562889     15.60     16.45  --
953.77/238.85	c  N dy  5286   1271421        50      4450         0     65758     31150    880048     15.59     16.52  --
982.14/245.91	c  N dy  5408   1295329        50      4450         0     44537     31150    489402     15.60     16.52  --
1000.54/250.55	c  N dy  5490   1316476        50      4450         0     62713     31150    822682     15.60     16.69  --
1029.69/257.83	c  N dy  5642   1336491        50      4450         0     79972     31150   1149581     15.62     17.79  --
1053.65/263.80	c  N dy  5762   1356610        50      4450         0     54439     31150    668633     15.63     16.53  --
1094.00/273.97	c  N dy  5795   1412760        50      4450         0     58564     31150    713298     15.56     16.43  --
1116.38/279.55	c  N dy  5957   1432814        50      4450         0     75844     31150   1043386     15.58     17.64  --
1140.36/285.55	c  N dy  5964   1462332        50      4450         0     56385     31150    670242     15.54     16.46  --
1160.34/290.56	c  N dy  6060   1482374        50      4450         0     73568     31150    986998     15.54     17.07  --
1189.89/297.96	c  N dy  6220   1502416        50      4450         0     45526     31150    483009     15.56     16.45  --
1206.69/302.12	c  N dy  6312   1522437        50      4450         0     62696     31150    801160     15.56     16.42  --
1230.25/308.04	c  N dy  6420   1543229        50      4450         0     80578     31150   1134893     15.57     16.42  --
1259.84/315.40	c  N dy  6513   1570030        50      4450         0     57212     31150    676781     15.57     16.39  --
1282.19/321.02	c  N dy  6602   1594874        50      4450         0     78414     31150   1060043     15.56     16.46  --
1313.35/328.81	c  N dy  6731   1617976        50      4450         0     51137     31150    569200     15.57     16.65  --
1338.94/335.23	c  N dy  6895   1644285        50      4450         0     73742     31150    995374     15.59     16.46  --
1365.69/341.93	c  N dy  7008   1664381        50      4450         0     91052     31150   1319686     15.60     17.46  --
1387.28/347.39	c  N dy  7061   1688195        50      4450         0     63203     31150    769837     15.58     16.44  --
1411.24/353.32	c  N dy  7158   1708454        50      4450         0     80523     31150   1088033     15.59     16.44  --
1414.03/354.03	c  S st  7171   1710396        50      4450         0     82189     31150   1119257     15.59   no data  --
1415.23/354.35	c  S st  7171   1710898        50      4450         0     82637     31150   1128001     15.59   no data  --
1415.23/354.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1415.23/354.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1415.62/354.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
1415.62/354.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1415.62/354.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1415.62/354.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1415.62/354.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1577.41/394.98	c lits-rem:      5110  cl-subs:    13288  v-elim:      0  v-fix:    0  time: 161.90 s
1577.41/394.98	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1577.81/395.00	c vivif2 --  cl tried    69349 cl shrink        0 lits rem          0 time: 0.06
1579.41/395.43	c asymm  cl-useful: 0/487/4450 lits-rem:0 time: 1.74
1579.41/395.44	c calculated reachability. Time: 0.00
1579.41/395.44	c  N dy  7171   1710898        50      4450         0     69349     31150    904150     15.59   no data  --
1610.16/403.11	c  N dy  7239   1730957        50      4450         0     86535     31150   1217593     15.59     17.44  --
1632.94/408.86	c  N dy  7342   1751024        50      4450         0     55979     31150    655226     15.59     17.00  --
1655.71/414.50	c  N dy  7429   1775872        50      4450         0     77270     31150   1040788     15.59     16.43  --
1688.86/422.80	c  N dy  7495   1799988        50      4450         0     97876     31150   1414537     15.58     16.43  --
1709.64/428.05	c  N dy  7547   1820071        50      4450         0     65811     31150    814798     15.58     17.96  --
1735.20/434.48	c  N dy  7630   1840107        50      4450         0     82958     31150   1130176     15.58     17.78  --
1783.54/446.51	c  N dy  7721   1884132        50      4450         0     70141     31150    862274     15.55     16.44  --
1808.32/452.72	c  N dy  7822   1904678        50      4450         0     87773     31150   1190841     15.56     16.39  --
1841.06/460.94	c  N dy  7981   1924821        50      4450         0     54027     31150    591731     15.58     16.41  --
1861.05/465.99	c  N dy  8108   1944842        50      4450         0     71241     31150    914612     15.59     17.39  --
1885.02/471.99	c  N dy  8161   1965496        50      4450         0     88910     31150   1237206     15.58     16.41  --
1915.37/479.57	c  N dy  8258   1985554        50      4450         0     53995     31150    582620     15.59     17.74  --
1936.57/484.87	c  N dy  8415   2005613        50      4450         0     71216     31150    910681     15.60     18.47  --
1965.31/492.09	c  N dy  8560   2027004        50      4450         0     89631     31150   1258083     15.61     16.44  --
2001.28/501.05	c  N dy  8701   2047082        50      4450         0     53744     31150    568799     15.62     17.56  --
2021.66/506.13	c  N dy  8823   2067268        50      4450         0     71051     31150    892314     15.63     16.49  --
2056.41/514.83	c  N dy  8935   2095892        50      4450         0     95491     31150   1341072     15.63     16.51  --
2088.37/522.85	c  N dy  8943   2127224        50      4450         0     68122     31150    805338     15.60     16.52  --
2113.94/529.25	c  N dy  9087   2147270        50      4450         0     85394     31150   1131811     15.61     18.10  --
2143.50/536.60	c  N dy  9166   2167278        50      4450         0    102530     31150   1446119     15.62     17.47  --
2172.26/543.83	c  N dy  9275   2189119        50      4450         0     66469     31150    789396     15.62     16.46  --
2197.04/550.06	c  N dy  9402   2209156        50      4450         0     83679     31150   1113193     15.63     16.60  --
2199.85/550.72	c  S st  9418   2210898        50      4450         0     85170     31150   1141852     15.63   no data  --
2200.63/550.97	c  S st  9418   2211403        50      4450         0     85609     31150   1150348     15.63   no data  --
2200.63/550.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2200.63/550.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2201.03/551.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
2201.03/551.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2201.03/551.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2201.03/551.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
2201.03/551.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2364.01/591.87	c lits-rem:      4392  cl-subs:     9932  v-elim:      0  v-fix:    0  time: 163.07 s
2364.01/591.87	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
2364.01/591.89	c vivif2 --  cl tried    75677 cl shrink        0 lits rem          0 time: 0.06
2366.01/592.33	c asymm  cl-useful: 0/468/4450 lits-rem:0 time: 1.76
2366.01/592.33	c calculated reachability. Time: 0.00
2366.01/592.33	c  N dy  9418   2211403        50      4450         0     75677     31150    970100     15.63   no data  --
2400.77/601.06	c  N dy  9494   2231482        50      4450         0     92827     31150   1282625     15.63     17.72  --
2440.71/611.08	c  N dy  9573   2251502        50      4450         0     55006     31150    576120     15.63     16.56  --
2468.29/617.99	c  N dy  9686   2273194        50      4450         0     73598     31150    920727     15.63     16.54  --
2505.02/627.10	c  N dy  9819   2293207        50      4450         0     90768     31150   1244870     15.64     17.91  --
2544.57/637.10	c  N dy  9952   2313267        50      4450         0    108001     31150   1569087     15.65     17.49  --
2572.54/644.09	c  N dy 10087   2333365        50      4450         0     69047     31150    829245     15.66     18.42  --
2601.70/651.30	c  N dy 10161   2358357        50      4450         0     90395     31150   1212802     15.65     16.56  --
2634.06/659.46	c  N dy 10240   2378442        50      4450         0    107567     31150   1530681     15.65     17.31  --
2665.22/667.25	c  N dy 10310   2403633        50      4450         0     71816     31150    856493     15.65     16.48  --
2694.37/674.58	c  N dy 10387   2427035        50      4450         0     91829     31150   1220753     15.65     16.49  --
2718.76/680.68	c  N dy 10391   2449921        50      4450         0    111145     31150   1558307     15.63     16.47  --
2741.92/686.43	c  N dy 10446   2469979        50      4450         0     70410     31150    830015     15.63     17.17  --
2769.09/693.26	c  N dy 10593   2490251        50      4450         0     87839     31150   1161210     15.64     16.48  --
2801.85/701.50	c  N dy 10672   2513628        50      4450         0    107793     31150   1524992     15.64     16.49  --
2834.60/709.69	c  N dy 10774   2533726        50      4450         0     66183     31150    752353     15.64     17.70  --
2853.78/714.49	c  N dy 10805   2553779        50      4450         0     83182     31150   1057641     15.64     16.66  --
2886.54/722.65	c  N dy 10861   2580928        50      4450         0    106316     31150   1472571     15.63     16.47  --
2921.29/731.37	c  N dy 10945   2603129        50      4450         0     65467     31150    725013     15.63     16.57  --
2945.66/737.45	c  N dy 11060   2623171        50      4450         0     82668     31150   1049317     15.63     17.16  --
2973.65/744.47	c  N dy 11144   2643205        50      4450         0     99808     31150   1364928     15.64     17.20  --
3013.58/754.44	c  N dy 11208   2666932        50      4450         0    119939     31150   1723622     15.63     16.47  --
3036.75/760.24	c  N dy 11271   2687434        50      4450         0     76810     31150    925586     15.63     16.57  --
3068.31/768.10	c  N dy 11348   2711403        50      4450         0     97188     31150   1298311     15.63     14.01  --
3068.31/768.10	c  S st 11348   2711403        50      4450         0     97188     31150   1298311     15.63     14.01  --
3069.51/768.42	c  S st 11348   2711906        50      4450         0     97625     31150   1306874     15.63   no data  --
3069.51/768.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3069.51/768.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3069.51/768.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
3069.92/768.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3069.92/768.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3069.92/768.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
3069.92/768.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3549.28/888.56	c lits-rem:      4961  cl-subs:    13583  v-elim:      0  v-fix:    0  time: 479.50 s
3549.28/888.56	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
3549.28/888.58	c vivif2 --  cl tried    84042 cl shrink        0 lits rem          0 time: 0.07
3551.26/889.04	c asymm  cl-useful: 0/424/4450 lits-rem:0 time: 1.84
3551.26/889.04	c calculated reachability. Time: 0.00
3551.26/889.04	c  N dy 11348   2711906        50      4450         0     84042     31150   1074065     15.63   no data  --
3592.80/899.42	c  N dy 11470   2731979        50      4450         0    101290     31150   1397982     15.63     17.67  --
3638.34/910.81	c  N dy 11539   2752052        50      4450         0    118394     31150   1711730     15.63     17.02  --
3674.69/919.99	c  N dy 11676   2772119        50      4450         0     75284     31150    910079     15.64     18.54  --
3712.23/929.31	c  N dy 11784   2792218        50      4450         0     92438     31150   1231262     15.65     17.95  --
3752.58/939.43	c  N dy 11837   2815104        50      4450         0    111902     31150   1580765     15.64     16.47  --
3796.53/950.48	c  N dy 11965   2835408        50      4450         0     67441     31150    749241     15.65     16.49  --
3822.49/956.92	c  N dy 12040   2855476        50      4450         0     84492     31150   1060505     15.65     17.22  --
3854.44/964.93	c  N dy 12159   2875874        50      4450         0    101956     31150   1388227     15.65     16.57  --
3896.40/975.45	c  N dy 12278   2899259        50      4450         0    122001     31150   1761019     15.66     16.49  --
3927.95/983.32	c  N dy 12392   2921271        50      4450         0     77796     31150    931905     15.66     16.51  --
3958.30/990.98	c  N dy 12542   2941354        50      4450         0     94965     31150   1259106     15.67     18.09  --
3989.87/998.82	c  N dy 12591   2963103        50      4450         0    113524     31150   1593595     15.67     16.52  --
4028.62/1008.57	c  N dy 12707   2983181        50      4450         0     66738     31150    721117     15.67     17.52  --
4052.59/1014.58	c  N dy 12818   3003219        50      4450         0     83837     31150   1040509     15.68     16.80  --
4086.55/1023.04	c  N dy 12932   3024724        50      4450         0    102205     31150   1383653     15.68     16.57  --
4125.29/1032.77	c  N dy 13064   3044804        50      4450         0    119337     31150   1707455     15.69     17.39  --
4170.83/1044.13	c  N dy 13167   3073910        50      4450         0     79162     31150    926077     15.68     16.65  --
4198.01/1050.95	c  N dy 13253   3093977        50      4450         0     96305     31150   1241977     15.69     17.19  --
4237.15/1060.75	c  N dy 13331   3117855        50      4450         0    116533     31150   1611115     15.68     16.53  --
4293.88/1074.97	c  N dy 13457   3152364        50      4450         0     80290     31150    939147     15.68     16.53  --
4325.44/1082.83	c  N dy 13583   3172462        50      4450         0     97455     31150   1264560     15.69     16.96  --
4365.79/1092.98	c  N dy 13685   3192551        50      4450         0    114639     31150   1583757     15.69     18.04  --
4414.94/1105.28	c  S st 13815   3211907        50      4450         0    131260     31150   1899292     15.70     15.18  --
4416.92/1105.76	c  S st 13815   3212410        50      4450         0    131694     31150   1907786     15.70   no data  --
4416.92/1105.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4416.92/1105.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4417.32/1105.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.30
4417.72/1105.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4417.72/1105.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4417.72/1105.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4417.72/1105.90	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-3175228-1304101543/watcher-3175228-1304101543 -o /tmp/evaluation-result-3175228-1304101543/solver-3175228-1304101543 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175228-1304101543.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 5.43 8.47 9.42 2/173 2715
/proc/meminfo: memFree=30774252/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 414 0 0 0 0 0 0 0 22 0 4 0 521755057 52465664 353 33554432000 4194304 4650419 140734761120816 18446744073709551615 222921833457 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 12809 353 303 112 0 7774 0
[pid=2715/tid=2716] ppid=2712 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 521755058 52465664 353 33554432000 4194304 4650419 140734761120816 18446744073709551615 47937038616498 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 521755058 52465664 353 33554432000 4194304 4650419 140734761120816 18446744073709551615 47937038616498 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 521755058 52465664 353 33554432000 4194304 4650419 140734761120816 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.103734 s]
/proc/loadavg: 5.43 8.47 9.42 2/173 2715
/proc/meminfo: memFree=30774252/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=182308 CPUtime=0.29 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) D 2712 2715 2052 0 -1 4202496 434 0 0 0 29 0 0 0 23 0 4 0 521755057 186683392 367 33554432000 4194304 4650419 140734761120816 18446744073709551615 222921820295 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 45577 367 313 112 0 40542 0
[pid=2715/tid=2716] ppid=2712 vsize=182308 CPUtime=0.09 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 10 0 0 0 9 0 0 0 24 0 4 0 521755058 186683392 367 33554432000 4194304 4650419 140734761120816 18446744073709551615 4354576 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=182308 CPUtime=0.1 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) D 2712 2715 2052 0 -1 4202560 6 0 0 0 10 0 0 0 25 0 4 0 521755058 186683392 367 33554432000 4194304 4650419 140734761120816 18446744073709551615 222921432048 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=182308 CPUtime=0.04 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) D 2712 2715 2052 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 4 0 521755058 186683392 367 33554432000 4194304 4650419 140734761120816 18446744073709551615 4219242 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 182308

[startup+0.200697 s]
/proc/loadavg: 5.43 8.47 9.42 2/173 2715
/proc/meminfo: memFree=30774252/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=273564 CPUtime=0.58 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 961 0 0 0 58 0 0 0 24 0 4 0 521755057 280129536 881 33554432000 4194304 4650419 140734761120816 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 68391 881 359 112 0 63356 0
[pid=2715/tid=2716] ppid=2712 vsize=273564 CPUtime=0.19 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 183 0 0 0 19 0 0 0 25 0 4 0 521755058 280129536 881 33554432000 4194304 4650419 140734761120816 18446744073709551615 4370537 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=273564 CPUtime=0.19 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 169 0 0 0 19 0 0 0 25 0 4 0 521755058 280129536 881 33554432000 4194304 4650419 140734761120816 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=273564 CPUtime=0.04 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 9 0 0 0 4 0 0 0 25 0 4 0 521755058 280129536 881 33554432000 4194304 4650419 140734761120816 18446744073709551615 4549503 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 273564

[startup+1.00755 s]
/proc/loadavg: 5.43 8.47 9.42 2/173 2715
/proc/meminfo: memFree=30774252/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=285280 CPUtime=3.74 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 5950 0 0 0 373 1 0 0 18 0 4 0 521755057 292126720 3410 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 71320 3410 390 112 0 66285 0
[pid=2715/tid=2716] ppid=2712 vsize=285280 CPUtime=0.98 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 1475 0 0 0 98 0 0 0 25 0 4 0 521755058 292126720 3410 33554432000 4194304 4650419 140734761120816 18446744073709551615 4334047 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=285280 CPUtime=0.99 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 1431 0 0 0 99 0 0 0 19 0 4 0 521755058 292126720 3410 33554432000 4194304 4650419 140734761120816 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=285280 CPUtime=0.8 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 1129 0 0 0 80 0 0 0 25 0 4 0 521755058 292126720 3410 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 285280

[startup+1.10053 s]
/proc/loadavg: 5.43 8.47 9.42 2/173 2715
/proc/meminfo: memFree=30774252/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=285280 CPUtime=4.11 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 6107 0 0 0 410 1 0 0 19 0 4 0 521755057 292126720 3567 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 71320 3567 390 112 0 66285 0
[pid=2715/tid=2716] ppid=2712 vsize=285280 CPUtime=1.07 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 1511 0 0 0 107 0 0 0 25 0 4 0 521755058 292126720 3567 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=285280 CPUtime=1.08 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 1472 0 0 0 108 0 0 0 19 0 4 0 521755058 292126720 3567 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=285280 CPUtime=0.9 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 1172 0 0 0 90 0 0 0 25 0 4 0 521755058 292126720 3567 33554432000 4194304 4650419 140734761120816 18446744073709551615 4333698 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 285280

[startup+1.50046 s]
/proc/loadavg: 5.43 8.47 9.42 2/173 2715
/proc/meminfo: memFree=30774252/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=285568 CPUtime=5.7 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 8520 0 0 0 569 1 0 0 19 0 4 0 521755057 292421632 4850 33554432000 4194304 4650419 140734761120816 18446744073709551615 4438756 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 71392 4850 392 112 0 66357 0
[pid=2715/tid=2716] ppid=2712 vsize=285568 CPUtime=1.47 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 1862 0 0 0 147 0 0 0 25 0 4 0 521755058 292421632 4850 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=285568 CPUtime=1.48 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 1801 0 0 0 148 0 0 0 19 0 4 0 521755058 292421632 4850 33554432000 4194304 4650419 140734761120816 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=285568 CPUtime=1.29 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 1511 0 0 0 129 0 0 0 25 0 4 0 521755058 292421632 4850 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 285568

[startup+3.10017 s]
/proc/loadavg: 5.43 8.47 9.42 9/184 2727
/proc/meminfo: memFree=30694320/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=286656 CPUtime=12.1 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 14417 0 0 0 1207 3 0 0 23 0 4 0 521755057 293535744 8968 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 71664 8968 392 112 0 66629 0
[pid=2715/tid=2716] ppid=2712 vsize=286656 CPUtime=3.06 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 3252 0 0 0 306 0 0 0 25 0 4 0 521755058 293535744 8968 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=286656 CPUtime=3.07 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 3880 0 0 0 307 0 0 0 24 0 4 0 521755058 293535744 8968 33554432000 4194304 4650419 140734761120816 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=286656 CPUtime=2.89 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 3518 0 0 0 289 0 0 0 25 0 4 0 521755058 293535744 8968 33554432000 4194304 4650419 140734761120816 18446744073709551615 4370480 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.1
Current children cumulated vsize (KiB) 286656

[startup+6.30659 s]
/proc/loadavg: 5.64 8.46 9.41 9/184 2727
/proc/meminfo: memFree=30674916/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=296412 CPUtime=24.91 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 22038 0 0 0 2487 4 0 0 25 0 4 0 521755057 303525888 12004 33554432000 4194304 4650419 140734761120816 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 74103 12004 392 112 0 69068 0
[pid=2715/tid=2716] ppid=2712 vsize=296412 CPUtime=6.28 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 5393 0 0 0 627 1 0 0 25 0 4 0 521755058 303525888 12004 33554432000 4194304 4650419 140734761120816 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=296412 CPUtime=6.27 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 5543 0 0 0 626 1 0 0 25 0 4 0 521755058 303525888 12004 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=296412 CPUtime=6.1 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 5290 0 0 0 610 0 0 0 25 0 4 0 521755058 303525888 12004 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.91
Current children cumulated vsize (KiB) 296412

[startup+12.7004 s]
/proc/loadavg: 5.83 8.45 9.41 9/184 2727
/proc/meminfo: memFree=30637180/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=287684 CPUtime=50.45 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 32365 0 0 0 5039 6 0 0 25 0 4 0 521755057 294588416 16642 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 71921 16642 392 112 0 66886 0
[pid=2715/tid=2716] ppid=2712 vsize=287684 CPUtime=12.66 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 8297 0 0 0 1265 1 0 0 25 0 4 0 521755058 294588416 16642 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=287684 CPUtime=12.63 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 8520 0 0 0 1262 1 0 0 25 0 4 0 521755058 294588416 16642 33554432000 4194304 4650419 140734761120816 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=287684 CPUtime=12.49 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 7782 0 0 0 1248 1 0 0 25 0 4 0 521755058 294588416 16642 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.45
Current children cumulated vsize (KiB) 287684

[startup+25.5011 s]
/proc/loadavg: 6.31 8.43 9.38 9/184 2728
/proc/meminfo: memFree=30588456/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=298104 CPUtime=101.6 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 49221 0 0 0 10150 10 0 0 25 0 4 0 521755057 305258496 22097 33554432000 4194304 4650419 140734761120816 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 74526 22097 392 112 0 69491 0
[pid=2715/tid=2716] ppid=2712 vsize=298104 CPUtime=25.47 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 12099 0 0 0 2545 2 0 0 25 0 4 0 521755058 305258496 22097 33554432000 4194304 4650419 140734761120816 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=298104 CPUtime=25.37 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 13106 0 0 0 2535 2 0 0 25 0 4 0 521755058 305258496 22097 33554432000 4194304 4650419 140734761120816 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=298104 CPUtime=25.29 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 12153 0 0 0 2528 1 0 0 25 0 4 0 521755058 305258496 22097 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 298104

[startup+51.1004 s]
/proc/loadavg: 6.96 8.41 9.35 9/184 2728
/proc/meminfo: memFree=30569160/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=263436 CPUtime=203.87 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 71902 0 0 0 20371 16 0 0 25 0 4 0 521755057 269758464 21562 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 65859 21562 392 112 0 60824 0
[pid=2715/tid=2716] ppid=2712 vsize=263436 CPUtime=51.06 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 17925 0 0 0 5103 3 0 0 25 0 4 0 521755058 269758464 21562 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=263436 CPUtime=50.86 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 19691 0 0 0 5082 4 0 0 25 0 4 0 521755058 269758464 21562 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=263436 CPUtime=50.89 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 18345 0 0 0 5085 4 0 0 25 0 4 0 521755058 269758464 21562 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 263436

[startup+102.301 s]
/proc/loadavg: 7.61 8.36 9.28 9/184 2730
/proc/meminfo: memFree=30526544/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=317076 CPUtime=408.44 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 107863 0 0 0 40818 26 0 0 25 0 4 0 521755057 324685824 28150 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 79269 28150 392 112 0 74234 0
[pid=2715/tid=2716] ppid=2712 vsize=317076 CPUtime=102.27 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 27246 0 0 0 10220 7 0 0 25 0 4 0 521755058 324685824 28150 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=317076 CPUtime=101.82 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 29369 0 0 0 10175 7 0 0 25 0 4 0 521755058 324685824 28150 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=317076 CPUtime=102.09 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 28206 0 0 0 10203 6 0 0 25 0 4 0 521755058 324685824 28150 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.44
Current children cumulated vsize (KiB) 317076

[startup+162.301 s]

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

[pid=2715] ppid=2712 vsize=443600 CPUtime=2565.74 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 327354 0 0 0 256476 98 0 0 25 0 4 0 521755057 454246400 58591 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 110900 58591 392 112 0 105865 0
[pid=2715/tid=2716] ppid=2712 vsize=443600 CPUtime=642.27 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 82701 0 0 0 64203 24 0 0 25 0 4 0 521755058 454246400 58591 33554432000 4194304 4650419 140734761120816 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=443600 CPUtime=639.13 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 88016 0 0 0 63886 27 0 0 25 0 4 0 521755058 454246400 58591 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=443600 CPUtime=642.11 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 85011 0 0 0 64187 24 0 0 25 0 4 0 521755058 454246400 58591 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.74
Current children cumulated vsize (KiB) 443600

[startup+702.3 s]
/proc/loadavg: 8.16 8.15 8.71 9/184 2746
/proc/meminfo: memFree=30240684/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=443856 CPUtime=2805.44 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 342350 0 0 0 280438 106 0 0 25 0 4 0 521755057 454508544 63264 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 110964 63264 392 112 0 105929 0
[pid=2715/tid=2716] ppid=2712 vsize=443856 CPUtime=702.28 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 86320 0 0 0 70202 26 0 0 25 0 4 0 521755058 454508544 63264 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=443856 CPUtime=698.83 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 92836 0 0 0 69852 31 0 0 25 0 4 0 521755058 454508544 63264 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=443856 CPUtime=702.11 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 89236 0 0 0 70185 26 0 0 25 0 4 0 521755058 454508544 63264 33554432000 4194304 4650419 140734761120816 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.44
Current children cumulated vsize (KiB) 443856

[startup+762.3 s]
/proc/loadavg: 8.13 8.14 8.67 9/184 2747
/proc/meminfo: memFree=30227448/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=444524 CPUtime=3045.14 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 358190 0 0 0 304402 112 0 0 25 0 4 0 521755057 455192576 62033 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 111131 62033 392 112 0 106096 0
[pid=2715/tid=2716] ppid=2712 vsize=444524 CPUtime=762.27 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 91121 0 0 0 76200 27 0 0 25 0 4 0 521755058 455192576 62033 33554432000 4194304 4650419 140734761120816 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=444524 CPUtime=758.53 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 99290 0 0 0 75820 33 0 0 25 0 4 0 521755058 455192576 62033 33554432000 4194304 4650419 140734761120816 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=444524 CPUtime=762.11 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 93416 0 0 0 76184 27 0 0 25 0 4 0 521755058 455192576 62033 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.14
Current children cumulated vsize (KiB) 444524

[startup+822.3 s]
/proc/loadavg: 8.11 8.13 8.63 9/184 2749
/proc/meminfo: memFree=30198092/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=444580 CPUtime=3284.82 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 366629 0 0 0 328367 115 0 0 25 0 4 0 521755057 455249920 67820 33554432000 4194304 4650419 140734761120816 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 111145 67820 392 112 0 106110 0
[pid=2715/tid=2716] ppid=2712 vsize=444580 CPUtime=822.28 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 93664 0 0 0 82199 29 0 0 25 0 4 0 521755058 455249920 67820 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=444580 CPUtime=818.21 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 102310 0 0 0 81787 34 0 0 25 0 4 0 521755058 455249920 67820 33554432000 4194304 4650419 140734761120816 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=444580 CPUtime=822.12 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 94708 0 0 0 82184 28 0 0 25 0 4 0 521755058 455249920 67820 33554432000 4194304 4650419 140734761120816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.82
Current children cumulated vsize (KiB) 444580

[startup+882.3 s]
/proc/loadavg: 8.10 8.12 8.59 9/184 2751
/proc/meminfo: memFree=30194552/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=432172 CPUtime=3524.49 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 370264 0 0 0 352333 116 0 0 25 0 4 0 521755057 442544128 68017 33554432000 4194304 4650419 140734761120816 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 108043 68017 392 112 0 103008 0
[pid=2715/tid=2716] ppid=2712 vsize=432172 CPUtime=882.28 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 95711 0 0 0 88199 29 0 0 25 0 4 0 521755058 442544128 68017 33554432000 4194304 4650419 140734761120816 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=432172 CPUtime=877.89 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 103611 0 0 0 87754 35 0 0 25 0 4 0 521755058 442544128 68017 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=432172 CPUtime=882.12 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 94995 0 0 0 88184 28 0 0 25 0 4 0 521755058 442544128 68017 33554432000 4194304 4650419 140734761120816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.49
Current children cumulated vsize (KiB) 432172

[startup+942.3 s]
/proc/loadavg: 8.04 8.09 8.55 9/184 2752
/proc/meminfo: memFree=30157996/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=444740 CPUtime=3764.17 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 375180 0 0 0 376299 118 0 0 25 0 4 0 521755057 455413760 68578 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 111185 68578 392 112 0 106150 0
[pid=2715/tid=2716] ppid=2712 vsize=444740 CPUtime=942.28 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 96015 0 0 0 94199 29 0 0 25 0 4 0 521755058 455413760 68578 33554432000 4194304 4650419 140734761120816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=444740 CPUtime=937.56 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 106947 0 0 0 93720 36 0 0 25 0 4 0 521755058 455413760 68578 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=444740 CPUtime=942.13 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 95491 0 0 0 94184 29 0 0 25 0 4 0 521755058 455413760 68578 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.17
Current children cumulated vsize (KiB) 444740

[startup+1002.3 s]
/proc/loadavg: 8.07 8.09 8.52 9/184 2754
/proc/meminfo: memFree=30153424/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=432584 CPUtime=4003.85 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 384054 0 0 0 400262 123 0 0 25 0 4 0 521755057 442966016 72924 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 108146 72924 392 112 0 103111 0
[pid=2715/tid=2716] ppid=2712 vsize=432584 CPUtime=1002.29 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 98891 0 0 0 100197 32 0 0 25 0 4 0 521755058 442966016 72924 33554432000 4194304 4650419 140734761120816 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=432584 CPUtime=997.25 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 108391 0 0 0 99688 37 0 0 25 0 4 0 521755058 442966016 72924 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=432584 CPUtime=1002.12 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 99868 0 0 0 100182 30 0 0 25 0 4 0 521755058 442966016 72924 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.85
Current children cumulated vsize (KiB) 432584

[startup+1062.31 s]
/proc/loadavg: 8.08 8.09 8.49 9/184 2755
/proc/meminfo: memFree=30134860/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=445844 CPUtime=4243.56 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 394676 0 0 0 424229 127 0 0 25 0 4 0 521755057 456544256 76604 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 111461 76604 392 112 0 106426 0
[pid=2715/tid=2716] ppid=2712 vsize=445844 CPUtime=1062.29 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 102452 0 0 0 106196 33 0 0 25 0 4 0 521755058 456544256 76604 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=445844 CPUtime=1056.94 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 113147 0 0 0 105656 38 0 0 25 0 4 0 521755058 456544256 76604 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=445844 CPUtime=1062.13 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 102172 0 0 0 106182 31 0 0 25 0 4 0 521755058 456544256 76604 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.56
Current children cumulated vsize (KiB) 445844

[startup+1122.3 s]
/proc/loadavg: 8.10 8.09 8.46 9/184 2757
/proc/meminfo: memFree=30141468/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=511428 CPUtime=4483.23 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 404433 0 0 0 448191 132 0 0 25 0 4 0 521755057 523702272 75774 33554432000 4194304 4650419 140734761120816 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 127857 75774 392 112 0 122822 0
[pid=2715/tid=2716] ppid=2712 vsize=511428 CPUtime=1122.28 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 103347 0 0 0 112194 34 0 0 25 0 4 0 521755058 523702272 75774 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=511428 CPUtime=1116.63 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 115909 0 0 0 111623 40 0 0 25 0 4 0 521755058 523702272 75774 33554432000 4194304 4650419 140734761120816 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=511428 CPUtime=1122.13 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 104823 0 0 0 112180 33 0 0 25 0 4 0 521755058 523702272 75774 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.23
Current children cumulated vsize (KiB) 511428

[startup+1182.3 s]
/proc/loadavg: 8.10 8.08 8.44 9/184 2759
/proc/meminfo: memFree=30100944/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=511428 CPUtime=4722.9 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 411260 0 0 0 472156 134 0 0 25 0 4 0 521755057 523702272 80527 33554432000 4194304 4650419 140734761120816 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 127857 80527 392 112 0 122822 0
[pid=2715/tid=2716] ppid=2712 vsize=511428 CPUtime=1182.29 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 106773 0 0 0 118194 35 0 0 25 0 4 0 521755058 523702272 80527 33554432000 4194304 4650419 140734761120816 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=511428 CPUtime=1176.3 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 115934 0 0 0 117590 40 0 0 25 0 4 0 521755058 523702272 80527 33554432000 4194304 4650419 140734761120816 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=511428 CPUtime=1182.12 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 106739 0 0 0 118178 34 0 0 25 0 4 0 521755058 523702272 80527 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.9
Current children cumulated vsize (KiB) 511428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.07 8.08 8.43 9/184 2759
/proc/meminfo: memFree=30111220/32951124 swapFree=67110188/67111528
[pid=2715] ppid=2712 vsize=511428 CPUtime=4800.01 cores=0,2,4,6
/proc/2715/stat : 2715 (strangenight1-m) R 2712 2715 2052 0 -1 4202496 416720 0 0 0 479865 136 0 0 25 0 4 0 521755057 523702272 82110 33554432000 4194304 4650419 140734761120816 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2715/statm: 127857 82110 392 112 0 122822 0
[pid=2715/tid=2716] ppid=2712 vsize=511428 CPUtime=1201.59 cores=0,2,4,6
/proc/2715/task/2716/stat : 2716 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 107437 0 0 0 120124 35 0 0 25 0 4 0 521755058 523702272 82110 33554432000 4194304 4650419 140734761120816 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2715/tid=2717] ppid=2712 vsize=511428 CPUtime=1195.5 cores=0,2,4,6
/proc/2715/task/2717/stat : 2717 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 116530 0 0 0 119510 40 0 0 25 0 4 0 521755058 523702272 82110 33554432000 4194304 4650419 140734761120816 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2715/tid=2718] ppid=2712 vsize=511428 CPUtime=1201.44 cores=0,2,4,6
/proc/2715/task/2718/stat : 2718 (strangenight1-m) R 2712 2715 2052 0 -1 4202560 107391 0 0 0 120109 35 0 0 25 0 4 0 521755058 523702272 82110 33554432000 4194304 4650419 140734761120816 18446744073709551615 4349936 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.01
Current children cumulated vsize (KiB) 511428

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.63
CPU time (s): 4800.06
CPU user time (s): 4798.68
CPU system time (s): 1.37979
CPU usage (%): 399.463
Max. virtual memory (cumulated for all children) (KiB): 511428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.68
system time used= 1.37979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 416721
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= 1110
involuntary context switches= 22225

runsolver used 1.91171 second user time and 4.24235 second system time

The end

Launcher Data 

Begin job on node109 at 2011-04-29 20:25:43
IDJOB=3175228
IDBENCH=82846
IDSOLVER=1588
FILE ID=node109/3175228-1304101543
RUNJOBID= node109-1304101543-2700
PBS_JOBID= 13170607
Free space on /tmp= 72384 MiB

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

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

MD5SUM BENCH= c7c56fd965d7a6907a8127d8bee5e481
RANDOM SEED=1730566322

node109.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	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30774168 kB
Buffers:        728036 kB
Cached:         996852 kB
SwapCached:        712 kB
Active:         140696 kB
Inactive:      1648416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30774168 kB
SwapTotal:    67111528 kB
SwapFree:     67110188 kB
Dirty:            6324 kB
Writeback:           0 kB
AnonPages:       63032 kB
Mapped:          14264 kB
Slab:           324472 kB
PageTables:       4772 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190868 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= 72372 MiB
End job on node109 at 2011-04-29 20:45:47