Trace number 3369080

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 (fixed)? (TO) 4800.26 1203.54

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf
MD5SUM80ed5c7022fbd1c0bf0af45d87bcb3f8
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark374.693
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
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 55340

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369080-1305411901.cnf'
0.00/0.01	c -- header says num vars:             60
0.00/0.01	c -- header says num clauses:        5340
0.37/0.13	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.37/0.13	c -- vars added         60
0.37/0.13	c Parsing time:  0.01 s
0.37/0.13	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.37/0.13	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.45
0.37/0.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.37/0.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.37/0.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.37/0.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.37/0.15	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.15	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.37/0.15	c calculated reachability. Time: 0.00
0.37/0.15	c Calc default polars -  time:   0.00 s pos:      28 undec:       0 neg:      32
0.37/0.15	c =========================================================================================
0.37/0.15	c types(t): F = full restart, N = normal restart
0.37/0.15	c types(t): S = simplification begin/end, E = solution found
0.37/0.15	c restart types(rt): st = static, dy = dynamic
0.37/0.15	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.15	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.77/0.27	c  N dy     7      4553        60      5340         0      4075     37380     86436     17.76     18.73  --
1.57/0.40	c  N dy    18      8596        60      5340         0      5411     37380    107847     17.82     19.64  --
3.56/0.96	c  N dy    45     22806        60      5340         0      9196     37380    169861     17.38     18.39  --
3.99/1.07	c  F st    67     25002        60      5340         0     11156     37380    212590     17.59   no data  --
4.40/1.17	c  N st    71     27037        60      5340         0      6952     37380    118573     17.59   no data  --
4.76/1.29	c  S st    73     30002        60      5340         0      9557     37380    174486     17.59   no data  --
5.16/1.32	c  S st    73     30508        60      5340         0     10015     37380    184667     17.59   no data  --
5.16/1.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.16/1.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.16/1.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.14/2.32	c lits-rem:      1376  cl-subs:     1125  v-elim:      0  v-fix:    0  time:  3.95 s
9.94/2.58	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.02
9.94/2.58	c calculated reachability. Time: 0.00
9.94/2.58	c  N dy    73     30508        60      5340         0      8890     37380    159279     17.59   no data  --
11.14/2.81	c  N dy   112     34538        60      5340         0     12488     37380    237616     17.89     20.70  --
11.94/3.02	c  N dy   144     38585        60      5340         0      9154     37380    154357     18.06     20.97  --
12.77/3.26	c  N dy   160     43075        60      5340         0     13177     37380    240372     18.12     19.15  --
13.53/3.42	c  S st   165     45763        60      5340         0     15567     37380    289881     18.09     17.19  --
13.53/3.47	c  S st   165     46268        60      5340         0      8084     37380    122510     18.09   no data  --
13.53/3.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.53/3.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.53/3.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.53/3.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.53/3.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.53/3.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.53/3.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.73/4.24	c lits-rem:        98  cl-subs:       18  v-elim:      0  v-fix:    0  time:  3.05 s
16.73/4.24	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
16.73/4.24	c vivif2 --  cl tried     8066 cl shrink        0 lits rem          0 time: 0.00
17.57/4.46	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.88
17.57/4.46	c calculated reachability. Time: 0.00
17.57/4.46	c  N dy   165     46268        60      5340         0      8066     37380    121968     18.09   no data  --
18.72/4.74	c  N dy   170     52397        60      5340         0     13470     37380    232674     17.95     18.96  --
20.72/5.20	c  N dy   197     60355        60      5340         0     11639     37380    185344     17.93     18.99  --
21.55/5.47	c  N dy   203     65319        60      5340         0     16033     37380    276772     17.90     19.09  --
22.71/5.74	c  S st   216     69403        60      5340         0      9957     37380    143494     17.91   no data  --
22.71/5.77	c  S st   216     69909        60      5340         0     10411     37380    153461     17.91   no data  --
22.71/5.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.71/5.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.71/5.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
22.71/5.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.71/5.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.71/5.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.71/5.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.94/6.56	c lits-rem:       208  cl-subs:      129  v-elim:      0  v-fix:    0  time:  3.09 s
25.94/6.56	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
25.94/6.56	c vivif2 --  cl tried    10282 cl shrink        0 lits rem          0 time: 0.01
27.09/6.83	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.09
27.09/6.83	c calculated reachability. Time: 0.00
27.09/6.83	c  N dy   216     69909        60      5340         0     10282     37380    150389     17.91   no data  --
27.89/7.09	c  N dy   238     74491        60      5340         0     14357     37380    237579     17.95     19.03  --
29.49/7.44	c  N dy   262     79440        60      5340         0     18830     37380    333752     18.00     18.99  --
31.08/7.84	c  N dy   297     84551        60      5340         0     12695     37380    191480     18.08     19.68  --
31.88/8.03	c  F st   308     87500        60      5340         0     15321     37380    247400     18.10     18.02  --
32.68/8.24	c  N st   313     90795        60      5340         0     18240     37380    310812     18.10   no data  --
34.71/8.73	c  N dy   317     98052        60      5340         0     13096     37380    188835     18.05     19.10  --
36.28/9.11	c  N dy   321    104500        60      5340         0     18817     37380    305735     17.95     18.92  --
36.28/9.14	c  S st   325    104863        60      5340         0     19147     37380    312933     17.96   no data  --
36.67/9.20	c  S st   325    105365        60      5340         0     19596     37380    322964     17.96   no data  --
36.67/9.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.67/9.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.67/9.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.67/9.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.67/9.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.67/9.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
36.67/9.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.25/10.64	c lits-rem:      1659  cl-subs:     2450  v-elim:      0  v-fix:    0  time:  5.70 s
42.25/10.64	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
42.25/10.65	c vivif2 --  cl tried    17146 cl shrink        0 lits rem          0 time: 0.01
43.48/11.00	c asymm  cl-useful: 0/4690/5340 lits-rem:0 time: 1.40
43.48/11.00	c calculated reachability. Time: 0.00
43.48/11.00	c  N dy   325    105365        60      5340         0     17146     37380    273479     17.96   no data  --
45.84/11.50	c  N dy   343    112142        60      5340         0     23178     37380    400433     17.95     19.16  --
47.88/12.02	c  N dy   362    119590        60      5340         0     17474     37380    272544     17.95     18.99  --
52.67/13.23	c  N dy   377    137450        60      5340         0     20034     37380    310400     17.75     18.75  --
55.82/14.09	c  N dy   434    146605        60      5340         0     28178     37380    485064     17.83     18.79  --
58.61/14.80	c  N dy   475    156106        60      5340         0     22522     37380    361502     17.85     18.89  --
59.41/14.95	c  S st   480    158047        60      5340         0     24239     37380    396114     17.83     15.41  --
59.81/15.02	c  S st   480    158548        60      5340         0     24690     37380    406128     17.83   no data  --
59.81/15.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
59.81/15.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.81/15.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
59.81/15.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.81/15.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.81/15.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
59.81/15.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
66.98/16.83	c lits-rem:      2177  cl-subs:     2691  v-elim:      0  v-fix:    0  time:  7.16 s
66.98/16.83	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
66.98/16.84	c vivif2 --  cl tried    21999 cl shrink        0 lits rem          0 time: 0.01
67.38/16.91	c asymm  cl-useful: 0/650/5340 lits-rem:0 time: 0.30
67.38/16.91	c calculated reachability. Time: 0.00
67.38/16.91	c  N dy   480    158548        60      5340         0     21999     37380    348602     17.83   no data  --
71.77/18.03	c  N dy   541    168732        60      5340         0     16108     37380    216149     17.90     18.90  --
80.15/20.11	c  N dy   608    193538        60      5340         0     22115     37380    328166     17.86     19.00  --
85.74/21.54	c  N dy   686    205982        60      5340         0     33197     37380    565832     17.93     19.94  --
90.13/22.65	c  N dy   705    219264        60      5340         0     28103     37380    441868     17.86     18.91  --
96.13/24.16	c  N dy   792    233265        60      5340         0     22854     37380    327948     17.93     19.85  --
97.69/24.59	c  S st   818    237824        60      5340         0     26927     37380    415398     17.94     18.17  --
98.10/24.67	c  S st   818    238330        60      5340         0     27390     37380    425578     17.94   no data  --
98.10/24.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
98.10/24.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.10/24.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
98.10/24.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.10/24.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.10/24.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
98.10/24.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
106.47/26.72	c lits-rem:      1656  cl-subs:     2292  v-elim:      0  v-fix:    0  time:  8.10 s
106.47/26.72	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
106.47/26.72	c vivif2 --  cl tried    25098 cl shrink        0 lits rem          0 time: 0.02
108.07/27.12	c asymm  cl-useful: 0/3532/5340 lits-rem:0 time: 1.59
108.07/27.12	c calculated reachability. Time: 0.00
108.07/27.12	c  N dy   818    238330        60      5340         0     25098     37380    375282     17.94   no data  --
115.64/29.01	c  N dy   899    255987        60      5340         0     22260     37380    302442     17.98     18.94  --
122.04/30.69	c  N dy   963    272340        60      5340         0     36789     37380    612633     18.00     21.26  --
129.21/32.46	c  N dy  1018    290491        60      5340         0     33480     37380    531910     18.00     18.98  --
136.38/34.27	c  F st  1112    306251        60      5340         0     27137     37380    388958     18.05   no data  --
137.58/34.59	c  N st  1117    309553        60      5340         0     30084     37380    452203     18.05   no data  --
146.77/36.87	c  N dy  1198    329837        60      5340         0     26787     37380    370468     18.07     19.06  --
155.14/38.95	c  N dy  1211    351001        60      5340         0     23279     37380    286563     18.01     19.10  --
157.98/39.62	c  S st  1250    357495        60      5340         0     29084     37380    410727     18.02     17.85  --
157.98/39.69	c  S st  1250    357997        60      5340         0     29545     37380    420724     18.02   no data  --
157.98/39.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
157.98/39.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
158.33/39.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
158.33/39.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
158.33/39.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
158.33/39.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
158.33/39.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
166.34/41.81	c lits-rem:      1410  cl-subs:     1766  v-elim:      0  v-fix:    0  time:  8.34 s
166.34/41.81	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
166.75/41.81	c vivif2 --  cl tried    27779 cl shrink        0 lits rem          0 time: 0.02
167.50/42.06	c asymm  cl-useful: 0/1808/5340 lits-rem:0 time: 1.01
167.50/42.07	c calculated reachability. Time: 0.00
167.50/42.07	c  N dy  1250    357997        60      5340         0     27779     37380    381762     18.02   no data  --
179.91/45.16	c  N dy  1366    378044        60      5340         0     45663     37380    768155     18.07     19.45  --
192.24/48.29	c  N dy  1436    401047        60      5340         0     42996     37380    693008     18.07     19.02  --
201.86/50.67	c  N dy  1483    421501        60      5340         0     37154     37380    556703     18.04     19.21  --
219.00/54.93	c  N dy  1562    457028        60      5340         0     43794     37380    679277     17.98     18.93  --
229.74/57.67	c  N dy  1623    477048        60      5340         0     35913     37380    513384     17.98     20.92  --
242.50/60.80	c  N dy  1716    497060        60      5340         0     27141     37380    315750     18.01     19.66  --
258.07/64.71	c  N dy  1826    526017        60      5340         0     52766     37380    860087     18.01     19.13  --
263.29/66.06	c  S st  1840    536995        60      5340         0     34953     37380    464752     18.00   no data  --
263.64/66.15	c  S st  1840    537498        60      5340         0     35408     37380    474726     18.00   no data  --
263.64/66.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
263.64/66.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
263.64/66.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
263.64/66.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
263.64/66.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
263.64/66.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
263.64/66.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
272.41/68.38	c lits-rem:       715  cl-subs:     2747  v-elim:      0  v-fix:    0  time:  8.79 s
272.41/68.38	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
272.41/68.39	c vivif2 --  cl tried    32661 cl shrink        0 lits rem          0 time: 0.02
274.01/68.75	c asymm  cl-useful: 0/2938/5340 lits-rem:0 time: 1.46
274.01/68.75	c calculated reachability. Time: 0.00
274.01/68.75	c  N dy  1840    537498        60      5340         0     32661     37380    421137     18.00   no data  --
285.58/71.69	c  N dy  1923    557550        60      5340         0     50391     37380    798085     18.01     19.71  --
300.34/75.38	c  N dy  2017    583489        60      5340         0     45290     37380    683874     18.01     18.96  --
311.91/78.20	c  N dy  2033    604353        60      5340         0     34512     37380    441104     17.98     19.11  --
324.31/81.39	c  N dy  2148    624471        60      5340         0     52363     37380    824884     18.01     18.98  --
342.27/85.86	c  N dy  2181    659272        60      5340         0     52839     37380    803029     17.94     18.93  --
356.99/89.58	c  N dy  2284    680230        60      5340         0     40676     37380    559482     17.96     18.93  --
376.97/94.55	c  N dy  2409    706627        60      5340         0     32216     37380    363304     17.98     18.93  --
389.30/97.60	c  N dy  2486    727276        60      5340         0     50540     37380    752382     17.99     19.00  --
410.04/102.84	c  N dy  2594    753970        60      5340         0     41362     37380    544097     18.00     18.95  --
437.57/109.78	c  N dy  2707    797043        60      5340         0     45735     37380    610516     17.95     18.96  --
444.74/111.51	c  S st  2769    806247        60      5340         0     53925     37380    789663     17.97     17.24  --
445.14/111.65	c  S st  2769    806749        60      5340         0     54379     37380    799982     17.97   no data  --
445.14/111.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
445.14/111.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
445.14/111.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
445.55/111.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
445.55/111.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
445.55/111.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
445.55/111.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
477.05/119.64	c lits-rem:      2083  cl-subs:     7065  v-elim:      0  v-fix:    0  time: 31.65 s
477.05/119.64	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
477.05/119.65	c vivif2 --  cl tried    47314 cl shrink        0 lits rem          0 time: 0.03
477.88/119.88	c asymm  cl-useful: 0/849/5340 lits-rem:0 time: 0.93
477.88/119.88	c calculated reachability. Time: 0.00
477.88/119.88	c  N dy  2769    806749        60      5340         0     47314     37380    661960     17.97   no data  --
494.61/124.01	c  N dy  2817    827161        60      5340         0     65254     37380   1038464     17.96     19.04  --
509.35/127.72	c  N dy  2927    847166        60      5340         0     49023     37380    695568     17.98     19.12  --
526.91/132.13	c  N dy  3058    867232        60      5340         0     66870     37380   1084299     18.01     19.19  --
541.27/135.73	c  N dy  3152    887782        60      5340         0     49916     37380    699702     18.02     18.97  --
558.42/140.01	c  N dy  3231    909620        60      5340         0     69233     37380   1111630     18.02     18.99  --
573.58/143.85	c  N dy  3346    930078        60      5340         0     51192     37380    720463     18.04     19.02  --
590.34/148.07	c  N dy  3414    950396        60      5340         0     69113     37380   1099309     18.04     19.03  --
606.29/152.06	c  N dy  3483    972300        60      5340         0     51247     37380    702458     18.04     18.99  --
623.09/156.28	c  N dy  3578    992505        60      5340         0     69094     37380   1087536     18.05     19.05  --
638.60/160.19	c  N dy  3638   1012510        60      5340         0     48778     37380    640893     18.05     20.38  --
655.36/164.38	c  N dy  3709   1034451        60      5340         0     68123     37380   1048657     18.04     19.01  --
675.34/169.37	c  N dy  3770   1059717        60      5340         0     51415     37380    677424     18.02     18.98  --
684.11/171.57	c  F st  3801   1071875        60      5340         0     62115     37380    906214     18.02   no data  --
692.89/173.73	c  N dy  3822   1082791        60      5340         0     71785     37380   1114207     18.02     19.11  --
711.59/178.42	c  N dy  3908   1104627        60      5340         0     51439     37380    676623     18.02     18.99  --
731.15/183.38	c  N dy  3952   1130710        60      5340         0     74304     37380   1150911     18.00     18.96  --
748.70/187.70	c  N dy  4046   1150822        60      5340         0     51624     37380    676285     18.01     19.03  --
765.46/191.95	c  N dy  4152   1170849        60      5340         0     69350     37380   1060071     18.02     20.05  --
793.81/199.10	c  N dy  4279   1194958        60      5340         0     49206     37380    615043     18.03     18.99  --
808.53/202.71	c  S st  4341   1210123        60      5340         0     62610     37380    901839     18.04     17.49  --
809.33/202.96	c  S st  4341   1210625        60      5340         0     63063     37380    911967     18.04   no data  --
809.33/202.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
809.33/202.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
809.73/203.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.17
809.73/203.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
809.73/203.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
809.73/203.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
809.73/203.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
881.11/221.01	c lits-rem:      3006  cl-subs:     5744  v-elim:      0  v-fix:    0  time: 71.63 s
881.54/221.01	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
881.54/221.02	c vivif2 --  cl tried    57319 cl shrink        0 lits rem          0 time: 0.04
882.70/221.37	c asymm  cl-useful: 0/689/5340 lits-rem:0 time: 1.42
882.70/221.38	c calculated reachability. Time: 0.00
882.70/221.38	c  N dy  4341   1210625        60      5340         0     57319     37380    789991     18.04   no data  --
907.43/227.56	c  N dy  4497   1230709        60      5340         0     75182     37380   1183236     18.06     19.30  --
926.98/232.44	c  N dy  4593   1250890        60      5340         0     50856     37380    643342     18.07     19.15  --
944.93/236.93	c  N dy  4702   1270930        60      5340         0     68632     37380   1027819     18.08     20.67  --
971.65/243.63	c  N dy  4806   1296448        60      5340         0     47982     37380    566938     18.09     19.08  --
991.22/248.51	c  N dy  4854   1318957        60      5340         0     67739     37380    983236     18.08     19.06  --
1015.92/254.75	c  N dy  4926   1338988        60      5340         0     85453     37380   1359066     18.08     19.87  --
1039.07/260.60	c  N dy  5074   1360653        60      5340         0     60507     37380    833972     18.10     19.10  --
1063.39/266.66	c  N dy  5155   1381667        60      5340         0     78979     37380   1225327     18.10     19.17  --
1084.54/271.91	c  N dy  5225   1401746        60      5340         0     51808     37380    629841     18.10     20.20  --
1102.89/276.58	c  N dy  5348   1421946        60      5340         0     69797     37380   1021003     18.11     19.08  --
1127.67/282.78	c  N dy  5480   1441986        60      5340         0     87519     37380   1407653     18.13     20.49  --
1154.75/289.55	c  N dy  5497   1477658        60      5340         0     72649     37380   1048164     18.10     19.05  --
1178.28/295.40	c  N dy  5548   1499501        60      5340         0     91910     37380   1454148     18.09     19.05  --
1201.41/301.26	c  N dy  5657   1527899        60      5340         0     70359     37380   1009180     18.09     19.06  --
1226.54/307.51	c  N dy  5774   1548328        60      5340         0     88539     37380   1404158     18.11     19.09  --
1245.74/312.31	c  N dy  5861   1568408        60      5340         0     58598     37380    750662     18.11     19.79  --
1269.23/318.24	c  N dy  5898   1595630        60      5340         0     82484     37380   1246662     18.10     19.31  --
1295.15/324.71	c  N dy  5994   1615654        60      5340         0     51674     37380    591210     18.11     19.15  --
1312.71/329.13	c  N dy  6085   1635657        60      5340         0     69236     37380    966217     18.11     20.28  --
1332.26/334.03	c  N dy  6109   1658267        60      5340         0     88908     37380   1371621     18.09     19.17  --
1357.78/340.42	c  N dy  6249   1678342        60      5340         0     57490     37380    708663     18.11     20.88  --
1376.53/345.14	c  N dy  6329   1698360        60      5340         0     75150     37380   1088257     18.11     19.47  --
1392.88/349.22	c  S st  6371   1710625        60      5340         0     85962     37380   1319013     18.11   no data  --
1394.08/349.54	c  S st  6371   1711128        60      5340         0     86432     37380   1329460     18.11   no data  --
1394.08/349.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1394.08/349.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1394.08/349.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1394.48/349.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1394.48/349.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1394.48/349.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1394.48/349.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1583.12/396.99	c lits-rem:      4748  cl-subs:     9592  v-elim:      0  v-fix:    0  time: 188.79 s
1583.12/396.99	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1583.12/397.01	c vivif2 --  cl tried    76840 cl shrink        0 lits rem          0 time: 0.05
1585.11/397.46	c asymm  cl-useful: 0/510/5340 lits-rem:0 time: 1.81
1585.11/397.46	c calculated reachability. Time: 0.00
1585.11/397.46	c  N dy  6371   1711128        60      5340         0     76840     37380   1122760     18.11   no data  --
1623.03/406.94	c  N dy  6501   1731290        60      5340         0     94663     37380   1510289     18.13     19.11  --
1727.08/433.07	c  N dy  6551   1823966        60      5340         0     75139     37380   1008880     17.99     19.02  --
1765.76/442.71	c  N dy  6661   1844007        60      5340         0     92902     37380   1393533     18.00     18.95  --
1801.26/451.64	c  N dy  6743   1864163        60      5340         0     59087     37380    708071     18.00     19.02  --
1830.37/458.96	c  N dy  6861   1884245        60      5340         0     76844     37380   1091686     18.01     19.81  --
1867.87/468.35	c  N dy  7023   1904285        60      5340         0     94641     37380   1483959     18.03     19.72  --
1894.19/474.92	c  N dy  7090   1924361        60      5340         0     59518     37380    704984     18.03     20.72  --
1915.33/480.29	c  N dy  7232   1944379        60      5340         0     77270     37380   1094313     18.05     20.28  --
1943.70/487.33	c  N dy  7381   1964408        60      5340         0     94980     37380   1483963     18.06     20.34  --
1972.37/494.51	c  N dy  7499   1984491        60      5340         0     58945     37380    686983     18.07     19.47  --
1992.71/499.63	c  N dy  7626   2004516        60      5340         0     76703     37380   1074714     18.08     20.07  --
2018.29/506.03	c  N dy  7714   2024761        60      5340         0     94618     37380   1459419     18.09     19.04  --
2050.95/514.21	c  N dy  7858   2044799        60      5340         0     57603     37380    647453     18.10     19.08  --
2073.69/519.96	c  N dy  7953   2069523        60      5340         0     79321     37380   1110776     18.10     19.10  --
2103.21/527.33	c  N dy  8107   2089550        60      5340         0     97084     37380   1501523     18.12     19.12  --
2134.72/535.25	c  N dy  8181   2113555        60      5340         0     62471     37380    729000     18.11     19.10  --
2155.86/540.57	c  N dy  8284   2133738        60      5340         0     80353     37380   1116922     18.12     19.10  --
2187.79/548.57	c  N dy  8365   2159794        60      5340         0    103228     37380   1600035     18.11     19.37  --
2216.09/555.67	c  N dy  8483   2179887        60      5340         0     64619     37380    780131     18.12     20.51  --
2242.08/562.13	c  N dy  8636   2201754        60      5340         0     83947     37380   1202667     18.13     19.13  --
2255.59/565.51	c  S st  8690   2211129        60      5340         0     92210     37380   1381299     18.14   no data  --
2256.39/565.78	c  S st  8690   2211631        60      5340         0     92669     37380   1391344     18.14   no data  --
2256.39/565.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2256.39/565.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2256.79/565.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
2256.79/565.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2256.79/565.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2256.79/565.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2256.79/565.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2582.63/647.53	c lits-rem:      5482  cl-subs:     8803  v-elim:      0  v-fix:    0  time: 325.65 s
2582.63/647.53	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2582.63/647.55	c vivif2 --  cl tried    83866 cl shrink        0 lits rem          0 time: 0.08
2584.62/648.07	c asymm  cl-useful: 0/717/5340 lits-rem:0 time: 2.06
2584.62/648.08	c calculated reachability. Time: 0.00
2584.62/648.08	c  N dy  8690   2211631        60      5340         0     83866     37380   1194112     18.14   no data  --
2627.72/658.84	c  N dy  8806   2231676        60      5340         0    101642     37380   1581464     18.15     19.16  --
2669.16/669.28	c  N dy  8923   2252850        60      5340         0     63462     37380    744262     18.15     19.18  --
2699.07/676.75	c  N dy  9028   2272880        60      5340         0     81118     37380   1123695     18.16     21.64  --
2740.96/687.26	c  N dy  9118   2297904        60      5340         0    103146     37380   1596107     18.16     19.17  --
2785.65/698.45	c  N dy  9275   2317929        60      5340         0     62836     37380    724018     18.17     19.93  --
2841.05/712.35	c  N dy  9384   2359707        60      5340         0     99408     37380   1498269     18.16     19.27  --
2893.30/725.40	c  N dy  9481   2387115        60      5340         0     64698     37380    746816     18.16     19.18  --
2925.21/733.47	c  N dy  9596   2408787        60      5340         0     83927     37380   1164106     18.17     19.18  --
2957.91/741.62	c  N dy  9645   2428815        60      5340         0    101497     37380   1533976     18.16     21.22  --
3005.40/753.54	c  N dy  9783   2449171        60      5340         0    119522     37380   1931767     18.17     19.16  --
3027.35/759.03	c  N dy  9882   2469221        60      5340         0     77330     37380   1015064     18.18     19.50  --
3054.02/765.77	c  N dy 10016   2489311        60      5340         0     95084     37380   1406079     18.19     20.24  --
3087.94/774.27	c  N dy 10136   2509371        60      5340         0    112776     37380   1792169     18.20     19.69  --
3116.26/781.38	c  N dy 10227   2529394        60      5340         0     69630     37380    838164     18.20     19.93  --
3140.20/787.32	c  N dy 10330   2549408        60      5340         0     87394     37380   1224872     18.21     19.47  --
3166.12/793.80	c  N dy 10384   2569499        60      5340         0    104959     37380   1598985     18.21     20.14  --
3202.46/802.98	c  N dy 10498   2589581        60      5340         0    122677     37380   1983988     18.21     19.39  --
3224.39/808.46	c  N dy 10501   2613091        60      5340         0     81392     37380   1055775     18.19     19.36  --
3253.48/815.73	c  N dy 10625   2633861        60      5340         0     99799     37380   1458899     18.20     19.32  --
3287.79/824.36	c  N dy 10720   2653940        60      5340         0    117586     37380   1843190     18.21     19.19  --
3320.94/832.69	c  N dy 10804   2678805        60      5340         0     76861     37380    957294     18.20     19.19  --
3346.82/839.14	c  N dy 10904   2698820        60      5340         0     94539     37380   1340501     18.21     19.18  --
3368.76/844.66	c  S st 10996   2711631        60      5340         0    105844     37380   1588623     18.21   no data  --
3369.95/844.98	c  S st 10996   2712133        60      5340         0    106298     37380   1598940     18.21   no data  --
3369.95/844.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3369.95/844.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3370.36/845.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
3370.36/845.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3370.36/845.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3370.36/845.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3370.36/845.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3814.64/956.47	c lits-rem:      7581  cl-subs:    12699  v-elim:      0  v-fix:    0  time: 444.09 s
3814.64/956.47	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3814.64/956.49	c vivif2 --  cl tried    93599 cl shrink        0 lits rem          0 time: 0.08
3816.67/956.96	c asymm  cl-useful: 0/497/5340 lits-rem:0 time: 1.89
3816.67/956.97	c calculated reachability. Time: 0.00
3816.67/956.97	c  N dy 10996   2712133        60      5340         0     93599     37380   1328401     18.21   no data  --
3860.95/968.03	c  N dy 11107   2732181        60      5340         0    111340     37380   1713349     18.22     20.37  --
3908.36/979.90	c  N dy 11214   2752226        60      5340         0     66372     37380    744018     18.23     19.62  --
3955.02/991.67	c  N dy 11299   2786830        60      5340         0     96753     37380   1385631     18.22     19.20  --
3994.50/1001.53	c  N dy 11348   2810396        60      5340         0    117360     37380   1814053     18.21     19.29  --
4041.16/1013.28	c  N dy 11496   2830428        60      5340         0     71179     37380    838161     18.22     20.46  --
4074.26/1021.54	c  N dy 11600   2850485        60      5340         0     88886     37380   1222813     18.22     20.30  --
4115.39/1031.86	c  N dy 11711   2871269        60      5340         0    107219     37380   1622030     18.23     19.29  --
4158.42/1042.67	c  N dy 11764   2891520        60      5340         0    124965     37380   2000190     18.23     19.29  --
4211.91/1056.10	c  N dy 11833   2925103        60      5340         0     89383     37380   1194944     18.22     19.23  --
4252.93/1066.31	c  N dy 11911   2946591        60      5340         0    108372     37380   1599522     18.22     19.26  --
4305.17/1079.49	c  N dy 11984   2970611        60      5340         0    129531     37380   2051687     18.22     19.20  --
4343.51/1089.05	c  N dy 12085   2992997        60      5340         0     83441     37380   1082061     18.22     19.29  --
4370.58/1095.83	c  N dy 12162   3013021        60      5340         0    101063     37380   1463057     18.22     19.19  --
4407.28/1105.05	c  N dy 12280   3033109        60      5340         0    118782     37380   1851337     18.23     21.39  --
4447.18/1115.06	c  N dy 12382   3053188        60      5340         0     69628     37380    770087     18.23     20.17  --
4475.50/1122.19	c  N dy 12487   3073239        60      5340         0     87401     37380   1157263     18.24     19.75  --
4524.96/1134.56	c  N dy 12597   3102340        60      5340         0    113017     37380   1702840     18.24     19.21  --
4569.24/1145.62	c  N dy 12707   3122589        60      5340         0    130940     37380   2094057     18.24     19.23  --
4606.37/1154.97	c  N dy 12843   3143337        60      5340         0     81329     37380   1013164     18.25     19.36  --
4633.45/1161.75	c  N dy 12897   3163633        60      5340         0     99203     37380   1393169     18.25     19.22  --
4704.06/1179.42	c  N dy 12930   3212135        60      5340         0     72789     37380    814436     18.21     15.11  --
4704.06/1179.42	c  S st 12930   3212135        60      5340         0     72789     37380    814436     18.21     15.11  --
4704.87/1179.68	c  S st 12930   3212639        60      5340         0     73244     37380    824633     18.21   no data  --
4704.87/1179.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4704.87/1179.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4705.26/1179.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
4705.26/1179.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4705.26/1179.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4705.26/1179.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4705.26/1179.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4772.66/1196.70	c lits-rem:       303  cl-subs:     1553  v-elim:      0  v-fix:    0  time: 67.55 s
4772.66/1196.70	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4772.66/1196.71	c vivif2 --  cl tried    71691 cl shrink        0 lits rem          0 time: 0.03
4774.25/1197.08	c asymm  cl-useful: 0/622/5340 lits-rem:0 time: 1.50
4774.25/1197.09	c calculated reachability. Time: 0.00
4774.25/1197.09	c  N dy 12930   3212639        60      5340         0     71691     37380    795932     18.21   no data  --
4799.42/1203.40	c  N dy 13037   3232679        60      5340         0     89319     37380   1179474     18.22     21.14  --

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: 961)

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-3369080-1305411901/watcher-3369080-1305411901 -o /tmp/evaluation-result-3369080-1305411901/solver-3369080-1305411901 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369080-1305411901.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: 3.50 4.93 6.57 7/355 18986
/proc/meminfo: memFree=24748500/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 413 0 0 0 1 0 0 0 23 0 4 0 652787209 52465664 353 33554432000 4194304 4650419 140736187652928 18446744073709551615 47984647583664 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 12809 353 303 112 0 7774 0
[pid=18986/tid=18987] ppid=18984 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652787209 52465664 353 33554432000 4194304 4650419 140736187652928 18446744073709551615 47984647583670 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652787209 52465664 353 33554432000 4194304 4650419 140736187652928 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652787209 52465664 353 33554432000 4194304 4650419 140736187652928 18446744073709551615 47984647583666 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.085839 s]
/proc/loadavg: 3.50 4.93 6.57 7/355 18986
/proc/meminfo: memFree=24748500/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=281904 CPUtime=0.31 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 1293 0 0 0 31 0 0 0 18 0 4 0 652787209 288669696 1200 33554432000 4194304 4650419 140736187652928 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 70476 1200 366 112 0 65441 0
[pid=18986/tid=18987] ppid=18984 vsize=281904 CPUtime=0.08 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 202 0 0 0 8 0 0 0 18 0 4 0 652787209 288669696 1200 33554432000 4194304 4650419 140736187652928 18446744073709551615 4371092 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=281904 CPUtime=0.07 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 188 0 0 0 7 0 0 0 25 0 4 0 652787209 288669696 1200 33554432000 4194304 4650419 140736187652928 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=281904 CPUtime=0.08 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 285 0 0 0 8 0 0 0 18 0 4 0 652787209 288669696 1200 33554432000 4194304 4650419 140736187652928 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 281904

[startup+0.100835 s]
/proc/loadavg: 3.50 4.93 6.57 7/355 18986
/proc/meminfo: memFree=24748500/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=281904 CPUtime=0.37 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 1321 0 0 0 37 0 0 0 18 0 4 0 652787209 288669696 1228 33554432000 4194304 4650419 140736187652928 18446744073709551615 4536893 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 70476 1228 366 112 0 65441 0
[pid=18986/tid=18987] ppid=18984 vsize=281904 CPUtime=0.09 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 204 0 0 0 9 0 0 0 18 0 4 0 652787209 288669696 1228 33554432000 4194304 4650419 140736187652928 18446744073709551615 4370480 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=281904 CPUtime=0.08 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 190 0 0 0 8 0 0 0 25 0 4 0 652787209 288669696 1228 33554432000 4194304 4650419 140736187652928 18446744073709551615 4370892 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=281904 CPUtime=0.09 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 308 0 0 0 9 0 0 0 18 0 4 0 652787209 288669696 1228 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 281904

[startup+0.300799 s]
/proc/loadavg: 3.50 4.93 6.57 7/355 18986
/proc/meminfo: memFree=24748500/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=285320 CPUtime=1.17 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 3608 0 0 0 117 0 0 0 18 0 4 0 652787209 292167680 2662 33554432000 4194304 4650419 140736187652928 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 71330 2663 390 112 0 66295 0
[pid=18986/tid=18987] ppid=18984 vsize=285320 CPUtime=0.29 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 849 0 0 0 29 0 0 0 18 0 4 0 652787209 292167680 2663 33554432000 4194304 4650419 140736187652928 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=285320 CPUtime=0.28 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 839 0 0 0 28 0 0 0 25 0 4 0 652787209 292167680 2663 33554432000 4194304 4650419 140736187652928 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=285320 CPUtime=0.29 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 620 0 0 0 29 0 0 0 18 0 4 0 652787209 292167680 2663 33554432000 4194304 4650419 140736187652928 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285320

[startup+0.700724 s]
/proc/loadavg: 3.50 4.93 6.57 7/355 18986
/proc/meminfo: memFree=24748500/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=286340 CPUtime=2.77 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 5603 0 0 0 277 0 0 0 18 0 4 0 652787209 293212160 3468 33554432000 4194304 4650419 140736187652928 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 71585 3468 390 112 0 66550 0
[pid=18986/tid=18987] ppid=18984 vsize=286340 CPUtime=0.69 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 1304 0 0 0 69 0 0 0 18 0 4 0 652787209 293212160 3468 33554432000 4194304 4650419 140736187652928 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=286340 CPUtime=0.68 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 1280 0 0 0 68 0 0 0 25 0 4 0 652787209 293212160 3468 33554432000 4194304 4650419 140736187652928 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=286340 CPUtime=0.69 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 1253 0 0 0 69 0 0 0 18 0 4 0 652787209 293212160 3468 33554432000 4194304 4650419 140736187652928 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286340

[startup+1.50057 s]
/proc/loadavg: 3.50 4.93 6.57 10/359 18990
/proc/meminfo: memFree=24721932/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=287624 CPUtime=5.96 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 10103 0 0 0 595 1 0 0 20 0 4 0 652787209 294526976 5474 33554432000 4194304 4650419 140736187652928 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 71906 5474 392 112 0 66871 0
[pid=18986/tid=18987] ppid=18984 vsize=287624 CPUtime=1.49 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 2119 0 0 0 149 0 0 0 19 0 4 0 652787209 294526976 5474 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=287624 CPUtime=1.47 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 2086 0 0 0 147 0 0 0 25 0 4 0 652787209 294526976 5474 33554432000 4194304 4650419 140736187652928 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=287624 CPUtime=1.49 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 2084 0 0 0 149 0 0 0 19 0 4 0 652787209 294526976 5474 33554432000 4194304 4650419 140736187652928 18446744073709551615 4334226 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287624

[startup+3.10027 s]
/proc/loadavg: 3.50 4.93 6.57 10/359 18990
/proc/meminfo: memFree=24685180/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=286560 CPUtime=12.34 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 16576 0 0 0 1232 2 0 0 25 0 4 0 652787209 293437440 9884 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 71640 9884 392 112 0 66605 0
[pid=18986/tid=18987] ppid=18984 vsize=286560 CPUtime=3.09 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 3591 0 0 0 309 0 0 0 25 0 4 0 652787209 293437440 9884 33554432000 4194304 4650419 140736187652928 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=286560 CPUtime=3.05 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 4331 0 0 0 305 0 0 0 25 0 4 0 652787209 293437440 9884 33554432000 4194304 4650419 140736187652928 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=286560 CPUtime=3.08 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 4401 0 0 0 308 0 0 0 25 0 4 0 652787209 293437440 9884 33554432000 4194304 4650419 140736187652928 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 286560

[startup+6.30065 s]
/proc/loadavg: 3.86 4.98 6.58 9/359 18990
/proc/meminfo: memFree=24657408/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=304472 CPUtime=25.11 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 23718 0 0 0 2508 3 0 0 25 0 4 0 652787209 311779328 12873 33554432000 4194304 4650419 140736187652928 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 76118 12873 392 112 0 71083 0
[pid=18986/tid=18987] ppid=18984 vsize=304472 CPUtime=6.28 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 6161 0 0 0 628 0 0 0 25 0 4 0 652787209 311779328 12873 33554432000 4194304 4650419 140736187652928 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=304472 CPUtime=6.21 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 5579 0 0 0 621 0 0 0 25 0 4 0 652787209 311779328 12873 33554432000 4194304 4650419 140736187652928 18446744073709551615 4364746 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=304472 CPUtime=6.28 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 6501 0 0 0 628 0 0 0 25 0 4 0 652787209 311779328 12873 33554432000 4194304 4650419 140736187652928 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 304472

[startup+12.7004 s]
/proc/loadavg: 4.19 5.03 6.59 10/359 18990
/proc/meminfo: memFree=24619144/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=304916 CPUtime=50.63 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 35369 0 0 0 5057 6 0 0 25 0 4 0 652787209 312233984 20113 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 76229 20113 392 112 0 71194 0
[pid=18986/tid=18987] ppid=18984 vsize=304916 CPUtime=12.68 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 8998 0 0 0 1267 1 0 0 25 0 4 0 652787209 312233984 20113 33554432000 4194304 4650419 140736187652928 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=304916 CPUtime=12.54 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 8066 0 0 0 1253 1 0 0 25 0 4 0 652787209 312233984 20113 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=304916 CPUtime=12.69 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 10116 0 0 0 1268 1 0 0 25 0 4 0 652787209 312233984 20113 33554432000 4194304 4650419 140736187652928 18446744073709551615 4333646 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 304916

[startup+25.501 s]
/proc/loadavg: 5.03 5.18 6.61 9/359 18990
/proc/meminfo: memFree=24581572/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=320220 CPUtime=101.69 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 52778 0 0 0 10158 11 0 0 25 0 4 0 652787209 327905280 25096 33554432000 4194304 4650419 140736187652928 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 80055 25096 392 112 0 75020 0
[pid=18986/tid=18987] ppid=18984 vsize=320220 CPUtime=25.48 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 13313 0 0 0 2546 2 0 0 25 0 4 0 652787209 327905280 25096 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=320220 CPUtime=25.19 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 12914 0 0 0 2517 2 0 0 25 0 4 0 652787209 327905280 25096 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=320220 CPUtime=25.49 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 14735 0 0 0 2547 2 0 0 25 0 4 0 652787209 327905280 25096 33554432000 4194304 4650419 140736187652928 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 320220

[startup+51.1011 s]
/proc/loadavg: 6.18 5.43 6.66 10/359 18991
/proc/meminfo: memFree=24551368/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=301540 CPUtime=203.81 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 77186 0 0 0 20362 19 0 0 25 0 4 0 652787209 308776960 27689 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 75385 27689 392 112 0 70350 0
[pid=18986/tid=18987] ppid=18984 vsize=301540 CPUtime=51.09 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 20419 0 0 0 5105 4 0 0 25 0 4 0 652787209 308776960 27689 33554432000 4194304 4650419 140736187652928 18446744073709551615 4327576 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=301540 CPUtime=50.52 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 18782 0 0 0 5048 4 0 0 25 0 4 0 652787209 308776960 27689 33554432000 4194304 4650419 140736187652928 18446744073709551615 4314912 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=301540 CPUtime=51.09 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 21588 0 0 0 5103 6 0 0 25 0 4 0 652787209 308776960 27689 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 301540

[startup+102.313 s]
/proc/loadavg: 7.28 5.84 6.73 10/359 18994
/proc/meminfo: memFree=24494916/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=304012 CPUtime=408.09 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 119164 0 0 0 40774 35 0 0 25 0 4 0 652787209 311308288 33486 33554432000 4194304 4650419 140736187652928 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 76003 33486 392 112 0 70968 0
[pid=18986/tid=18987] ppid=18984 vsize=304012 CPUtime=102.3 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 29987 0 0 0 10223 7 0 0 25 0 4 0 652787209 311308288 33486 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=304012 CPUtime=101.17 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 29943 0 0 0 10108 9 0 0 25 0 4 0 652787209 311308288 33486 33554432000 4194304 4650419 140736187652928 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=304012 CPUtime=102.3 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 34736 0 0 0 10220 10 0 0 25 0 4 0 652787209 311308288 33486 33554432000 4194304 4650419 140736187652928 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.09
Current children cumulated vsize (KiB) 304012

[startup+162.301 s]

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

[pid=18986] ppid=18984 vsize=363640 CPUtime=2801.16 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 362934 0 0 0 279988 128 0 0 25 0 4 0 652787209 372367360 65760 33554432000 4194304 4650419 140736187652928 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 90910 65760 392 112 0 85875 0
[pid=18986/tid=18987] ppid=18984 vsize=363640 CPUtime=702.31 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 100361 0 0 0 70200 31 0 0 25 0 4 0 652787209 372367360 65760 33554432000 4194304 4650419 140736187652928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=363640 CPUtime=694.36 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 81895 0 0 0 69401 35 0 0 25 0 4 0 652787209 372367360 65760 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=363640 CPUtime=702.29 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 104801 0 0 0 70196 33 0 0 25 0 4 0 652787209 372367360 65760 33554432000 4194304 4650419 140736187652928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2801.16
Current children cumulated vsize (KiB) 363640

[startup+762.313 s]
/proc/loadavg: 8.03 7.84 7.41 9/359 19042
/proc/meminfo: memFree=23670492/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=363856 CPUtime=3040.51 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 391302 0 0 0 303915 136 0 0 25 0 4 0 652787209 372588544 65748 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 90964 65748 392 112 0 85929 0
[pid=18986/tid=18987] ppid=18984 vsize=363856 CPUtime=762.33 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 109801 0 0 0 76200 33 0 0 25 0 4 0 652787209 372588544 65748 33554432000 4194304 4650419 140736187652928 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=363856 CPUtime=753.67 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 84468 0 0 0 75330 37 0 0 25 0 4 0 652787209 372588544 65748 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=363856 CPUtime=762.3 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 116290 0 0 0 76196 34 0 0 25 0 4 0 652787209 372588544 65748 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3040.51
Current children cumulated vsize (KiB) 363856

[startup+822.301 s]
/proc/loadavg: 8.01 7.86 7.44 9/359 19045
/proc/meminfo: memFree=23612688/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=426168 CPUtime=3279.81 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 409835 0 0 0 327835 146 0 0 25 0 4 0 652787209 436396032 71105 33554432000 4194304 4650419 140736187652928 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 106542 71105 392 112 0 101507 0
[pid=18986/tid=18987] ppid=18984 vsize=426168 CPUtime=822.32 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 112657 0 0 0 82198 34 0 0 25 0 4 0 652787209 436396032 71105 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=426168 CPUtime=813.01 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 89930 0 0 0 81261 40 0 0 25 0 4 0 652787209 436396032 71105 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=426168 CPUtime=822.29 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 121021 0 0 0 82193 36 0 0 25 0 4 0 652787209 436396032 71105 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3279.81
Current children cumulated vsize (KiB) 426168

[startup+882.301 s]
/proc/loadavg: 8.00 7.89 7.47 9/359 19047
/proc/meminfo: memFree=23600148/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=520884 CPUtime=3519.11 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 422567 0 0 0 351758 153 0 0 25 0 4 0 652787209 533385216 69005 33554432000 4194304 4650419 140736187652928 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 130221 69005 392 112 0 125186 0
[pid=18986/tid=18987] ppid=18984 vsize=520884 CPUtime=882.32 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 114685 0 0 0 88197 35 0 0 25 0 4 0 652787209 533385216 69005 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=520884 CPUtime=872.31 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 94082 0 0 0 87189 42 0 0 25 0 4 0 652787209 533385216 69005 33554432000 4194304 4650419 140736187652928 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=520884 CPUtime=882.29 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 125225 0 0 0 88191 38 0 0 25 0 4 0 652787209 533385216 69005 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3519.11
Current children cumulated vsize (KiB) 520884

[startup+942.301 s]
/proc/loadavg: 8.16 7.95 7.52 9/359 19050
/proc/meminfo: memFree=23561696/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=509252 CPUtime=3758.41 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 430814 0 0 0 375683 158 0 0 25 0 4 0 652787209 521474048 74682 33554432000 4194304 4650419 140736187652928 18446744073709551615 4476437 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 127313 74682 392 112 0 122278 0
[pid=18986/tid=18987] ppid=18984 vsize=509252 CPUtime=942.32 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 118258 0 0 0 94195 37 0 0 25 0 4 0 652787209 521474048 74682 33554432000 4194304 4650419 140736187652928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=509252 CPUtime=931.62 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 95161 0 0 0 93119 43 0 0 25 0 4 0 652787209 521474048 74682 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=509252 CPUtime=942.29 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 128810 0 0 0 94189 40 0 0 25 0 4 0 652787209 521474048 74682 33554432000 4194304 4650419 140736187652928 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3758.41
Current children cumulated vsize (KiB) 509252

[startup+1002.3 s]
/proc/loadavg: 8.17 7.99 7.56 9/359 19053
/proc/meminfo: memFree=23518520/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=510064 CPUtime=3997.69 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 436602 0 0 0 399608 161 0 0 25 0 4 0 652787209 522305536 77905 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 127516 77905 392 112 0 122481 0
[pid=18986/tid=18987] ppid=18984 vsize=510064 CPUtime=1002.32 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 118259 0 0 0 100195 37 0 0 25 0 4 0 652787209 522305536 77905 33554432000 4194304 4650419 140736187652928 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=510064 CPUtime=990.91 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 97957 0 0 0 99046 45 0 0 25 0 4 0 652787209 522305536 77905 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=510064 CPUtime=1002.29 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 128810 0 0 0 100189 40 0 0 25 0 4 0 652787209 522305536 77905 33554432000 4194304 4650419 140736187652928 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3997.69
Current children cumulated vsize (KiB) 510064

[startup+1062.3 s]
/proc/loadavg: 8.26 8.05 7.60 9/359 19054
/proc/meminfo: memFree=23508584/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=523000 CPUtime=4236.98 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 442537 0 0 0 423534 164 0 0 25 0 4 0 652787209 535552000 76123 33554432000 4194304 4650419 140736187652928 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 130750 76123 392 112 0 125715 0
[pid=18986/tid=18987] ppid=18984 vsize=523000 CPUtime=1062.33 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 118259 0 0 0 106196 37 0 0 25 0 4 0 652787209 535552000 76123 33554432000 4194304 4650419 140736187652928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=523000 CPUtime=1050.21 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 101767 0 0 0 104975 46 0 0 25 0 4 0 652787209 535552000 76123 33554432000 4194304 4650419 140736187652928 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=523000 CPUtime=1062.29 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 128847 0 0 0 106189 40 0 0 25 0 4 0 652787209 535552000 76123 33554432000 4194304 4650419 140736187652928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4236.98
Current children cumulated vsize (KiB) 523000

[startup+1122.3 s]
/proc/loadavg: 8.20 8.07 7.64 9/359 19057
/proc/meminfo: memFree=23510908/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=523064 CPUtime=4476.3 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 454592 0 0 0 447458 172 0 0 25 0 4 0 652787209 535617536 80483 33554432000 4194304 4650419 140736187652928 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 130766 80483 392 112 0 125731 0
[pid=18986/tid=18987] ppid=18984 vsize=523064 CPUtime=1122.33 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 120902 0 0 0 112194 39 0 0 25 0 4 0 652787209 535617536 80483 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=523064 CPUtime=1109.53 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 105457 0 0 0 110904 49 0 0 25 0 4 0 652787209 535617536 80483 33554432000 4194304 4650419 140736187652928 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=523064 CPUtime=1122.29 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 131258 0 0 0 112188 41 0 0 25 0 4 0 652787209 535617536 80483 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4476.3
Current children cumulated vsize (KiB) 523064

[startup+1182.3 s]
/proc/loadavg: 8.18 8.08 7.67 9/359 19059
/proc/meminfo: memFree=23492036/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=523388 CPUtime=4715.63 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 465052 0 0 0 471385 178 0 0 25 0 4 0 652787209 535949312 81926 33554432000 4194304 4650419 140736187652928 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 130847 81926 392 112 0 125812 0
[pid=18986/tid=18987] ppid=18984 vsize=523388 CPUtime=1182.33 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 124204 0 0 0 118192 41 0 0 25 0 4 0 652787209 535949312 81926 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=523388 CPUtime=1168.88 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 105484 0 0 0 116839 49 0 0 25 0 4 0 652787209 535949312 81926 33554432000 4194304 4650419 140736187652928 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=523388 CPUtime=1182.3 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 134681 0 0 0 118186 44 0 0 25 0 4 0 652787209 535949312 81926 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4715.63
Current children cumulated vsize (KiB) 523388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.20 8.09 7.68 9/359 19060
/proc/meminfo: memFree=23452100/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=523388 CPUtime=4800.2 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 468406 0 0 0 479840 180 0 0 25 0 4 0 652787209 535949312 85280 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 130847 85280 392 112 0 125812 0
[pid=18986/tid=18987] ppid=18984 vsize=523388 CPUtime=1203.55 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 126045 0 0 0 120313 42 0 0 25 0 4 0 652787209 535949312 85280 33554432000 4194304 4650419 140736187652928 18446744073709551615 4336285 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=523388 CPUtime=1189.83 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 105800 0 0 0 118934 49 0 0 25 0 4 0 652787209 535949312 85280 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=523388 CPUtime=1203.5 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 135443 0 0 0 120306 44 0 0 25 0 4 0 652787209 535949312 85280 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 523388

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

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

[startup+1203.5 s]
/proc/loadavg: 8.20 8.09 7.68 9/359 19060
/proc/meminfo: memFree=23452100/32950928 swapFree=67056568/67111528
[pid=18986] ppid=18984 vsize=523388 CPUtime=4800.2 cores=1,3,5,7
/proc/18986/stat : 18986 (strangenight1-m) R 18984 18986 18278 0 -1 4202496 468406 0 0 0 479840 180 0 0 25 0 4 0 652787209 535949312 85280 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18986/statm: 130847 85280 392 112 0 125812 0
[pid=18986/tid=18987] ppid=18984 vsize=523388 CPUtime=1203.55 cores=1,3,5,7
/proc/18986/task/18987/stat : 18987 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 126045 0 0 0 120313 42 0 0 25 0 4 0 652787209 535949312 85280 33554432000 4194304 4650419 140736187652928 18446744073709551615 4336285 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18986/tid=18988] ppid=18984 vsize=523388 CPUtime=1189.83 cores=1,3,5,7
/proc/18986/task/18988/stat : 18988 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 105800 0 0 0 118934 49 0 0 25 0 4 0 652787209 535949312 85280 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=523388 CPUtime=1203.5 cores=1,3,5,7
/proc/18986/task/18989/stat : 18989 (strangenight1-m) R 18984 18986 18278 0 -1 4202560 135443 0 0 0 120306 44 0 0 25 0 4 0 652787209 535949312 85280 33554432000 4194304 4650419 140736187652928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 523388

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.54
CPU time (s): 4800.26
CPU user time (s): 4798.44
CPU system time (s): 1.82372
CPU usage (%): 398.847
Max. virtual memory (cumulated for all children) (KiB): 570128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.44
system time used= 1.82372
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468407
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= 399
involuntary context switches= 35984

runsolver used 3.87741 second user time and 9.8565 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-15 00:25:01
IDJOB=3369080
IDBENCH=83089
IDSOLVER=1846
FILE ID=node148/3369080-1305411901
RUNJOBID= node148-1305411901-18963
PBS_JOBID= 13324501
Free space on /tmp= 72836 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369080-1305411901/watcher-3369080-1305411901 -o /tmp/evaluation-result-3369080-1305411901/solver-3369080-1305411901 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369080-1305411901.cnf

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

MD5SUM BENCH= 80ed5c7022fbd1c0bf0af45d87bcb3f8
RANDOM SEED=1140323558

node148.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.854
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.70
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.854
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.854
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.83
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.854
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.854
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.854
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.854
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.854
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:     32950928 kB
MemFree:      24748656 kB
Buffers:        317732 kB
Cached:        4595564 kB
SwapCached:       8488 kB
Active:        4559568 kB
Inactive:      3291632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24748656 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:           12552 kB
Writeback:           0 kB
AnonPages:     2936052 kB
Mapped:          27544 kB
Slab:           258828 kB
PageTables:      28952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 84734160 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= 72828 MiB
End job on node148 at 2011-05-15 00:45:07