Trace number 3175471

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.41 1201.73

General information on the benchmark

Namerandom/medium/
unif-k7-r89-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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175471-1304125652.cnf'
0.00/0.01	c -- header says num vars:             60
0.00/0.01	c -- header says num clauses:        5340
0.00/0.12	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.12	c -- vars added         60
0.00/0.12	c Parsing time:  0.01 s
0.00/0.12	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.00/0.12	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.46
0.00/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.00/0.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.00/0.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
1.00/0.28	c Finding binary XORs  T:     0.00 s  found:       0
1.00/0.28	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
1.00/0.28	c calculated reachability. Time: 0.00
1.00/0.28	c Calc default polars -  time:   0.00 s pos:      28 undec:       0 neg:      32
1.00/0.28	c =========================================================================================
1.00/0.28	c types(t): F = full restart, N = normal restart
1.00/0.28	c types(t): S = simplification begin/end, E = solution found
1.00/0.28	c restart types(rt): st = static, dy = dynamic
1.00/0.28	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.00/0.28	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
1.00/0.28	c  N dy     7      4553        60      5340         0      4075     37380     86436     17.76     18.73  --
3.58/0.90	c  N dy    18      8596        60      5340         0      5411     37380    107847     17.82     19.64  --
3.98/1.00	c  N dy    45     22806        60      5340         0      9196     37380    169861     17.38     18.39  --
3.98/1.10	c  F st    67     25002        60      5340         0     11156     37380    212590     17.59   no data  --
4.40/1.20	c  N st    71     27037        60      5340         0      6952     37380    118573     17.59   no data  --
5.18/1.30	c  S st    73     30002        60      5340         0      9557     37380    174486     17.59   no data  --
5.57/1.40	c  S st    73     30508        60      5340         0     10015     37380    184667     17.59   no data  --
5.57/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.57/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.57/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.32	c lits-rem:      1376  cl-subs:     1125  v-elim:      0  v-fix:    0  time:  3.95 s
9.97/2.58	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.04
9.97/2.58	c calculated reachability. Time: 0.00
9.97/2.58	c  N dy    73     30508        60      5340         0      8890     37380    159279     17.59   no data  --
11.17/2.81	c  N dy   112     34538        60      5340         0     12488     37380    237616     17.89     20.70  --
11.97/3.03	c  N dy   144     38585        60      5340         0      9154     37380    154357     18.06     20.97  --
12.77/3.27	c  N dy   160     43075        60      5340         0     13177     37380    240372     18.12     19.15  --
13.58/3.43	c  S st   165     45763        60      5340         0     15567     37380    289881     18.09     17.19  --
13.58/3.48	c  S st   165     46268        60      5340         0      8084     37380    122510     18.09   no data  --
13.58/3.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.58/3.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.58/3.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.58/3.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.58/3.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.58/3.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.58/3.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.76/4.25	c lits-rem:        98  cl-subs:       18  v-elim:      0  v-fix:    0  time:  3.05 s
16.76/4.25	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
16.76/4.25	c vivif2 --  cl tried     8066 cl shrink        0 lits rem          0 time: 0.01
17.57/4.47	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.88
17.57/4.47	c calculated reachability. Time: 0.00
17.57/4.47	c  N dy   165     46268        60      5340         0      8066     37380    121968     18.09   no data  --
18.75/4.76	c  N dy   170     52397        60      5340         0     13470     37380    232674     17.95     18.96  --
20.75/5.22	c  N dy   197     60355        60      5340         0     11639     37380    185344     17.93     18.99  --
21.55/5.49	c  N dy   203     65319        60      5340         0     16033     37380    276772     17.90     19.09  --
22.75/5.76	c  S st   216     69403        60      5340         0      9957     37380    143494     17.91   no data  --
22.75/5.80	c  S st   216     69909        60      5340         0     10411     37380    153461     17.91   no data  --
23.14/5.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.14/5.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.14/5.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
23.14/5.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.14/5.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.14/5.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
23.14/5.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.94/6.58	c lits-rem:       208  cl-subs:      129  v-elim:      0  v-fix:    0  time:  3.11 s
25.94/6.58	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
25.94/6.58	c vivif2 --  cl tried    10282 cl shrink        0 lits rem          0 time: 0.01
27.13/6.86	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.10
27.13/6.86	c calculated reachability. Time: 0.00
27.13/6.86	c  N dy   216     69909        60      5340         0     10282     37380    150389     17.91   no data  --
28.34/7.13	c  N dy   238     74491        60      5340         0     14357     37380    237579     17.95     19.03  --
29.54/7.47	c  N dy   262     79440        60      5340         0     18830     37380    333752     18.00     18.99  --
31.16/7.87	c  N dy   297     84551        60      5340         0     12695     37380    191480     18.08     19.68  --
31.93/8.06	c  F st   308     87500        60      5340         0     15321     37380    247400     18.10     18.02  --
32.73/8.26	c  N st   313     90795        60      5340         0     18240     37380    310812     18.10   no data  --
34.73/8.75	c  N dy   317     98052        60      5340         0     13096     37380    188835     18.05     19.10  --
36.33/9.14	c  N dy   321    104500        60      5340         0     18817     37380    305735     17.95     18.92  --
36.33/9.17	c  S st   325    104863        60      5340         0     19147     37380    312933     17.96   no data  --
36.72/9.23	c  S st   325    105365        60      5340         0     19596     37380    322964     17.96   no data  --
36.72/9.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.72/9.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.72/9.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.72/9.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.72/9.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.72/9.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
36.72/9.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.31/10.67	c lits-rem:      1659  cl-subs:     2450  v-elim:      0  v-fix:    0  time:  5.72 s
42.31/10.68	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
42.31/10.68	c vivif2 --  cl tried    17146 cl shrink        0 lits rem          0 time: 0.01
43.93/11.03	c asymm  cl-useful: 0/4690/5340 lits-rem:0 time: 1.40
43.93/11.03	c calculated reachability. Time: 0.00
43.93/11.03	c  N dy   325    105365        60      5340         0     17146     37380    273479     17.96   no data  --
45.91/11.52	c  N dy   343    112142        60      5340         0     23178     37380    400433     17.95     19.16  --
47.92/12.04	c  N dy   362    119590        60      5340         0     17474     37380    272544     17.95     18.99  --
52.72/13.25	c  N dy   377    137450        60      5340         0     20034     37380    310400     17.75     18.75  --
56.31/14.12	c  N dy   434    146605        60      5340         0     28178     37380    485064     17.83     18.79  --
59.10/14.83	c  N dy   475    156106        60      5340         0     22522     37380    361502     17.85     18.89  --
59.50/14.98	c  S st   480    158047        60      5340         0     24239     37380    396114     17.83     15.41  --
59.90/15.05	c  S st   480    158548        60      5340         0     24690     37380    406128     17.83   no data  --
59.90/15.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
59.90/15.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.90/15.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
59.90/15.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.90/15.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.90/15.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
59.90/15.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.08/16.87	c lits-rem:      2177  cl-subs:     2691  v-elim:      0  v-fix:    0  time:  7.19 s
67.08/16.87	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
67.08/16.87	c vivif2 --  cl tried    21999 cl shrink        0 lits rem          0 time: 0.01
67.48/16.95	c asymm  cl-useful: 0/650/5340 lits-rem:0 time: 0.30
67.48/16.95	c calculated reachability. Time: 0.00
67.48/16.95	c  N dy   480    158548        60      5340         0     21999     37380    348602     17.83   no data  --
71.88/18.08	c  N dy   541    168732        60      5340         0     16108     37380    216149     17.90     18.90  --
80.27/20.15	c  N dy   608    193538        60      5340         0     22115     37380    328166     17.86     19.00  --
86.27/21.60	c  N dy   686    205982        60      5340         0     33197     37380    565832     17.93     19.94  --
90.26/22.70	c  N dy   705    219264        60      5340         0     28103     37380    441868     17.86     18.91  --
96.25/24.20	c  N dy   792    233265        60      5340         0     22854     37380    327948     17.93     19.85  --
98.25/24.63	c  S st   818    237824        60      5340         0     26927     37380    415398     17.94     18.17  --
98.65/24.70	c  S st   818    238330        60      5340         0     27390     37380    425578     17.94   no data  --
98.65/24.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
98.65/24.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.65/24.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
98.65/24.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.65/24.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.65/24.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
98.65/24.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
106.63/26.73	c lits-rem:      1656  cl-subs:     2292  v-elim:      0  v-fix:    0  time:  8.03 s
106.63/26.73	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
106.63/26.74	c vivif2 --  cl tried    25098 cl shrink        0 lits rem          0 time: 0.02
108.24/27.13	c asymm  cl-useful: 0/3532/5340 lits-rem:0 time: 1.57
108.24/27.13	c calculated reachability. Time: 0.00
108.24/27.13	c  N dy   818    238330        60      5340         0     25098     37380    375282     17.94   no data  --
115.83/29.02	c  N dy   899    255987        60      5340         0     22260     37380    302442     17.98     18.94  --
122.61/30.70	c  N dy   963    272340        60      5340         0     36789     37380    612633     18.00     21.26  --
129.40/32.47	c  N dy  1018    290491        60      5340         0     33480     37380    531910     18.00     18.98  --
136.62/34.28	c  F st  1112    306251        60      5340         0     27137     37380    388958     18.05   no data  --
137.80/34.59	c  N st  1117    309553        60      5340         0     30084     37380    452203     18.05   no data  --
146.97/36.87	c  N dy  1198    329837        60      5340         0     26787     37380    370468     18.07     19.06  --
155.37/38.95	c  N dy  1211    351001        60      5340         0     23279     37380    286563     18.01     19.10  --
158.18/39.63	c  S st  1250    357495        60      5340         0     29084     37380    410727     18.02     17.85  --
158.18/39.70	c  S st  1250    357997        60      5340         0     29545     37380    420724     18.02   no data  --
158.58/39.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
158.58/39.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
158.58/39.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
158.58/39.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
158.58/39.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
158.58/39.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
158.58/39.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
166.97/41.82	c lits-rem:      1410  cl-subs:     1766  v-elim:      0  v-fix:    0  time:  8.38 s
166.97/41.82	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
166.97/41.83	c vivif2 --  cl tried    27779 cl shrink        0 lits rem          0 time: 0.02
167.75/42.08	c asymm  cl-useful: 0/1808/5340 lits-rem:0 time: 1.01
167.75/42.08	c calculated reachability. Time: 0.00
167.75/42.08	c  N dy  1250    357997        60      5340         0     27779     37380    381762     18.02   no data  --
180.55/45.26	c  N dy  1366    378044        60      5340         0     45663     37380    768155     18.07     19.45  --
192.92/48.30	c  N dy  1436    401047        60      5340         0     42996     37380    693008     18.07     19.02  --
202.12/50.68	c  N dy  1483    421501        60      5340         0     37154     37380    556703     18.04     19.21  --
219.29/54.95	c  N dy  1562    457028        60      5340         0     43794     37380    679277     17.98     18.93  --
230.46/57.70	c  N dy  1623    477048        60      5340         0     35913     37380    513384     17.98     20.92  --
242.85/60.83	c  N dy  1716    497060        60      5340         0     27141     37380    315750     18.01     19.66  --
258.43/64.74	c  N dy  1826    526017        60      5340         0     52766     37380    860087     18.01     19.13  --
263.64/66.09	c  S st  1840    536995        60      5340         0     34953     37380    464752     18.00   no data  --
264.04/66.18	c  S st  1840    537498        60      5340         0     35408     37380    474726     18.00   no data  --
264.04/66.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
264.04/66.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
264.04/66.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
264.42/66.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
264.42/66.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
264.42/66.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
264.42/66.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
273.20/68.40	c lits-rem:       715  cl-subs:     2747  v-elim:      0  v-fix:    0  time:  8.77 s
273.20/68.40	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
273.20/68.41	c vivif2 --  cl tried    32661 cl shrink        0 lits rem          0 time: 0.02
274.40/68.77	c asymm  cl-useful: 0/2938/5340 lits-rem:0 time: 1.46
274.40/68.77	c calculated reachability. Time: 0.00
274.40/68.77	c  N dy  1840    537498        60      5340         0     32661     37380    421137     18.00   no data  --
286.39/71.71	c  N dy  1923    557550        60      5340         0     50391     37380    798085     18.01     19.71  --
301.18/75.42	c  N dy  2017    583489        60      5340         0     45290     37380    683874     18.01     18.96  --
312.38/78.23	c  N dy  2033    604353        60      5340         0     34512     37380    441104     17.98     19.11  --
325.16/81.46	c  N dy  2148    624471        60      5340         0     52363     37380    824884     18.01     18.98  --
343.14/85.93	c  N dy  2181    659272        60      5340         0     52839     37380    803029     17.94     18.93  --
357.89/89.60	c  N dy  2284    680230        60      5340         0     40676     37380    559482     17.96     18.93  --
377.88/94.67	c  N dy  2409    706627        60      5340         0     32216     37380    363304     17.98     18.93  --
390.26/97.75	c  N dy  2486    727276        60      5340         0     50540     37380    752382     17.99     19.00  --
411.03/102.95	c  N dy  2594    753970        60      5340         0     41362     37380    544097     18.00     18.95  --
438.99/109.92	c  N dy  2707    797043        60      5340         0     45735     37380    610516     17.95     18.96  --
445.78/111.62	c  S st  2769    806247        60      5340         0     53925     37380    789663     17.97     17.24  --
446.18/111.76	c  S st  2769    806749        60      5340         0     54379     37380    799982     17.97   no data  --
446.18/111.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
446.18/111.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
446.18/111.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
446.58/111.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
446.58/111.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
446.58/111.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
446.58/111.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
478.54/119.85	c lits-rem:      2083  cl-subs:     7065  v-elim:      0  v-fix:    0  time: 32.09 s
478.54/119.85	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
478.54/119.85	c vivif2 --  cl tried    47314 cl shrink        0 lits rem          0 time: 0.03
479.73/120.10	c asymm  cl-useful: 0/849/5340 lits-rem:0 time: 0.98
479.73/120.10	c calculated reachability. Time: 0.00
479.73/120.10	c  N dy  2769    806749        60      5340         0     47314     37380    661960     17.97   no data  --
496.94/124.46	c  N dy  2817    827161        60      5340         0     65254     37380   1038464     17.96     19.04  --
510.89/127.99	c  N dy  2927    847166        60      5340         0     49023     37380    695568     17.98     19.12  --
528.46/132.39	c  N dy  3058    867232        60      5340         0     66870     37380   1084299     18.01     19.19  --
542.84/135.99	c  N dy  3152    887782        60      5340         0     49916     37380    699702     18.02     18.97  --
560.02/140.29	c  N dy  3231    909620        60      5340         0     69233     37380   1111630     18.02     18.99  --
575.62/144.12	c  N dy  3346    930078        60      5340         0     51192     37380    720463     18.04     19.02  --
592.39/148.34	c  N dy  3414    950396        60      5340         0     69113     37380   1099309     18.04     19.03  --
608.36/152.33	c  N dy  3483    972300        60      5340         0     51247     37380    702458     18.04     18.99  --
625.13/156.55	c  N dy  3578    992505        60      5340         0     69094     37380   1087536     18.05     19.05  --
640.72/160.45	c  N dy  3638   1012510        60      5340         0     48778     37380    640893     18.05     20.38  --
657.49/164.64	c  N dy  3709   1034451        60      5340         0     68123     37380   1048657     18.04     19.01  --
677.46/169.65	c  N dy  3770   1059717        60      5340         0     51415     37380    677424     18.02     18.98  --
686.25/171.83	c  F st  3801   1071875        60      5340         0     62115     37380    906214     18.02   no data  --
695.04/174.02	c  N dy  3822   1082791        60      5340         0     71785     37380   1114207     18.02     19.11  --
713.82/178.72	c  N dy  3908   1104627        60      5340         0     51439     37380    676623     18.02     18.99  --
733.40/183.63	c  N dy  3952   1130710        60      5340         0     74304     37380   1150911     18.00     18.96  --
750.58/187.99	c  N dy  4046   1150822        60      5340         0     51624     37380    676285     18.01     19.03  --
767.35/192.19	c  N dy  4152   1170849        60      5340         0     69350     37380   1060071     18.02     20.05  --
795.73/199.25	c  N dy  4279   1194958        60      5340         0     49206     37380    615043     18.03     18.99  --
810.50/202.99	c  S st  4341   1210123        60      5340         0     62610     37380    901839     18.04     17.49  --
811.69/203.23	c  S st  4341   1210625        60      5340         0     63063     37380    911967     18.04   no data  --
811.69/203.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
811.69/203.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
811.69/203.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.15
812.09/203.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
812.09/203.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
812.09/203.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
812.09/203.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
885.59/221.72	c lits-rem:      3006  cl-subs:     5744  v-elim:      0  v-fix:    0  time: 73.54 s
885.59/221.72	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
885.59/221.74	c vivif2 --  cl tried    57319 cl shrink        0 lits rem          0 time: 0.04
886.79/222.09	c asymm  cl-useful: 0/689/5340 lits-rem:0 time: 1.40
886.79/222.09	c calculated reachability. Time: 0.00
886.79/222.09	c  N dy  4341   1210625        60      5340         0     57319     37380    789991     18.04   no data  --
911.15/228.18	c  N dy  4497   1230709        60      5340         0     75182     37380   1183236     18.06     19.30  --
930.73/233.01	c  N dy  4593   1250890        60      5340         0     50856     37380    643342     18.07     19.15  --
948.31/237.47	c  N dy  4702   1270930        60      5340         0     68632     37380   1027819     18.08     20.67  --
977.07/244.68	c  N dy  4806   1296448        60      5340         0     47982     37380    566938     18.09     19.08  --
997.05/249.63	c  N dy  4854   1318957        60      5340         0     67739     37380    983236     18.08     19.06  --
1021.81/255.84	c  N dy  4926   1338988        60      5340         0     85453     37380   1359066     18.08     19.87  --
1044.98/261.67	c  N dy  5074   1360653        60      5340         0     60507     37380    833972     18.10     19.10  --
1067.35/267.27	c  N dy  5155   1381667        60      5340         0     78979     37380   1225327     18.10     19.17  --
1087.73/272.39	c  N dy  5225   1401746        60      5340         0     51808     37380    629841     18.10     20.20  --
1106.89/277.11	c  N dy  5348   1421946        60      5340         0     69797     37380   1021003     18.11     19.08  --
1131.67/283.30	c  N dy  5480   1441986        60      5340         0     87519     37380   1407653     18.13     20.49  --
1158.42/290.05	c  N dy  5497   1477658        60      5340         0     72649     37380   1048164     18.10     19.05  --
1181.60/295.87	c  N dy  5548   1499501        60      5340         0     91910     37380   1454148     18.09     19.05  --
1204.76/301.67	c  N dy  5657   1527899        60      5340         0     70359     37380   1009180     18.09     19.06  --
1229.53/307.89	c  N dy  5774   1548328        60      5340         0     88539     37380   1404158     18.11     19.09  --
1249.10/312.73	c  N dy  5861   1568408        60      5340         0     58598     37380    750662     18.11     19.79  --
1272.68/318.68	c  N dy  5898   1595630        60      5340         0     82484     37380   1246662     18.10     19.31  --
1298.64/325.16	c  N dy  5994   1615654        60      5340         0     51674     37380    591210     18.11     19.15  --
1316.22/329.58	c  N dy  6085   1635657        60      5340         0     69236     37380    966217     18.11     20.28  --
1335.80/334.50	c  N dy  6109   1658267        60      5340         0     88908     37380   1371621     18.09     19.17  --
1361.36/340.87	c  N dy  6249   1678342        60      5340         0     57490     37380    708663     18.11     20.88  --
1380.15/345.58	c  N dy  6329   1698360        60      5340         0     75150     37380   1088257     18.11     19.47  --
1395.31/349.35	c  S st  6371   1710625        60      5340         0     85962     37380   1319013     18.11   no data  --
1396.51/349.68	c  S st  6371   1711128        60      5340         0     86432     37380   1329460     18.11   no data  --
1396.51/349.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1396.51/349.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1396.91/349.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1396.91/349.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1396.91/349.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1396.91/349.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1396.91/349.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1590.66/398.20	c lits-rem:      4748  cl-subs:     9592  v-elim:      0  v-fix:    0  time: 193.41 s
1590.66/398.20	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1590.66/398.22	c vivif2 --  cl tried    76840 cl shrink        0 lits rem          0 time: 0.06
1592.24/398.67	c asymm  cl-useful: 0/510/5340 lits-rem:0 time: 1.79
1592.24/398.67	c calculated reachability. Time: 0.00
1592.24/398.67	c  N dy  6371   1711128        60      5340         0     76840     37380   1122760     18.11   no data  --
1630.21/408.11	c  N dy  6501   1731290        60      5340         0     94663     37380   1510289     18.13     19.11  --
1737.25/434.94	c  N dy  6551   1823966        60      5340         0     75139     37380   1008880     17.99     19.02  --
1775.62/444.58	c  N dy  6661   1844007        60      5340         0     92902     37380   1393533     18.00     18.95  --
1809.15/452.99	c  N dy  6743   1864163        60      5340         0     59087     37380    708071     18.00     19.02  --
1837.91/460.11	c  N dy  6861   1884245        60      5340         0     76844     37380   1091686     18.01     19.81  --
1875.86/469.65	c  N dy  7023   1904285        60      5340         0     94641     37380   1483959     18.03     19.72  --
1903.05/476.49	c  N dy  7090   1924361        60      5340         0     59518     37380    704984     18.03     20.72  --
1925.01/481.93	c  N dy  7232   1944379        60      5340         0     77270     37380   1094313     18.05     20.28  --
1952.96/488.91	c  N dy  7381   1964408        60      5340         0     94980     37380   1483963     18.06     20.34  --
1981.74/496.15	c  N dy  7499   1984491        60      5340         0     58945     37380    686983     18.07     19.47  --
2002.09/501.25	c  N dy  7626   2004516        60      5340         0     76703     37380   1074714     18.08     20.07  --
2027.66/507.64	c  N dy  7714   2024761        60      5340         0     94618     37380   1459419     18.09     19.04  --
2060.02/515.78	c  N dy  7858   2044799        60      5340         0     57603     37380    647453     18.10     19.08  --
2083.20/521.54	c  N dy  7953   2069523        60      5340         0     79321     37380   1110776     18.10     19.10  --
2112.35/528.83	c  N dy  8107   2089550        60      5340         0     97084     37380   1501523     18.12     19.12  --
2143.90/536.77	c  N dy  8181   2113555        60      5340         0     62471     37380    729000     18.11     19.10  --
2165.47/542.11	c  N dy  8284   2133738        60      5340         0     80353     37380   1116922     18.12     19.10  --
2197.04/550.04	c  N dy  8365   2159794        60      5340         0    103228     37380   1600035     18.11     19.37  --
2225.39/557.14	c  N dy  8483   2179887        60      5340         0     64619     37380    780131     18.12     20.51  --
2251.36/563.63	c  N dy  8636   2201754        60      5340         0     83947     37380   1202667     18.13     19.13  --
2264.93/567.00	c  S st  8690   2211129        60      5340         0     92210     37380   1381299     18.14   no data  --
2265.73/567.27	c  S st  8690   2211631        60      5340         0     92669     37380   1391344     18.14   no data  --
2265.73/567.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2265.73/567.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2266.13/567.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
2266.13/567.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2266.13/567.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2266.13/567.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2266.13/567.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2592.53/649.03	c lits-rem:      5482  cl-subs:     8803  v-elim:      0  v-fix:    0  time: 326.15 s
2592.53/649.03	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2592.53/649.05	c vivif2 --  cl tried    83866 cl shrink        0 lits rem          0 time: 0.08
2594.50/649.54	c asymm  cl-useful: 0/717/5340 lits-rem:0 time: 1.96
2594.50/649.54	c calculated reachability. Time: 0.00
2594.50/649.54	c  N dy  8690   2211631        60      5340         0     83866     37380   1194112     18.14   no data  --
2635.64/659.86	c  N dy  8806   2231676        60      5340         0    101642     37380   1581464     18.15     19.16  --
2677.59/670.33	c  N dy  8923   2252850        60      5340         0     63462     37380    744262     18.15     19.18  --
2707.17/677.76	c  N dy  9028   2272880        60      5340         0     81118     37380   1123695     18.16     21.64  --
2749.09/688.24	c  N dy  9118   2297904        60      5340         0    103146     37380   1596107     18.16     19.17  --
2793.83/699.43	c  N dy  9275   2317929        60      5340         0     62836     37380    724018     18.17     19.93  --
2848.96/713.26	c  N dy  9384   2359707        60      5340         0     99408     37380   1498269     18.16     19.27  --
2900.89/726.29	c  N dy  9481   2387115        60      5340         0     64698     37380    746816     18.16     19.18  --
2933.65/734.44	c  N dy  9596   2408787        60      5340         0     83927     37380   1164106     18.17     19.18  --
2966.02/742.55	c  N dy  9645   2428815        60      5340         0    101497     37380   1533976     18.16     21.22  --
3013.14/754.31	c  N dy  9783   2449171        60      5340         0    119522     37380   1931767     18.17     19.16  --
3036.73/760.23	c  N dy  9882   2469221        60      5340         0     77330     37380   1015064     18.18     19.50  --
3063.10/766.89	c  N dy 10016   2489311        60      5340         0     95084     37380   1406079     18.19     20.24  --
3097.03/775.33	c  N dy 10136   2509371        60      5340         0    112776     37380   1792169     18.20     19.69  --
3125.79/782.52	c  N dy 10227   2529394        60      5340         0     69630     37380    838164     18.20     19.93  --
3149.36/788.49	c  N dy 10330   2549408        60      5340         0     87394     37380   1224872     18.21     19.47  --
3175.32/794.91	c  N dy 10384   2569499        60      5340         0    104959     37380   1598985     18.21     20.14  --
3212.09/804.14	c  N dy 10498   2589581        60      5340         0    122677     37380   1983988     18.21     19.39  --
3234.06/809.66	c  N dy 10501   2613091        60      5340         0     81392     37380   1055775     18.19     19.36  --
3262.81/816.85	c  N dy 10625   2633861        60      5340         0     99799     37380   1458899     18.20     19.32  --
3297.16/825.48	c  N dy 10720   2653940        60      5340         0    117586     37380   1843190     18.21     19.19  --
3330.73/833.89	c  N dy 10804   2678805        60      5340         0     76861     37380    957294     18.20     19.19  --
3356.68/840.32	c  N dy 10904   2698820        60      5340         0     94539     37380   1340501     18.21     19.18  --
3381.44/846.53	c  S st 10996   2711631        60      5340         0    105844     37380   1588623     18.21   no data  --
3383.04/846.90	c  S st 10996   2712133        60      5340         0    106298     37380   1598940     18.21   no data  --
3383.04/846.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3383.04/846.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3383.04/846.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.23
3383.46/847.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3383.46/847.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3383.46/847.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3383.46/847.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3814.87/955.08	c lits-rem:      7581  cl-subs:    12699  v-elim:      0  v-fix:    0  time: 431.57 s
3814.87/955.08	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3815.27/955.10	c vivif2 --  cl tried    93599 cl shrink        0 lits rem          0 time: 0.09
3817.27/955.63	c asymm  cl-useful: 0/497/5340 lits-rem:0 time: 2.12
3817.27/955.63	c calculated reachability. Time: 0.00
3817.27/955.63	c  N dy 10996   2712133        60      5340         0     93599     37380   1328401     18.21   no data  --
3862.01/966.84	c  N dy 11107   2732181        60      5340         0    111340     37380   1713349     18.22     20.37  --
3909.54/978.72	c  N dy 11214   2752226        60      5340         0     66372     37380    744018     18.23     19.62  --
3956.67/990.52	c  N dy 11299   2786830        60      5340         0     96753     37380   1385631     18.22     19.20  --
3996.23/1000.41	c  N dy 11348   2810396        60      5340         0    117360     37380   1814053     18.21     19.29  --
4042.99/1012.12	c  N dy 11496   2830428        60      5340         0     71179     37380    838161     18.22     20.46  --
4076.12/1020.45	c  N dy 11600   2850485        60      5340         0     88886     37380   1222813     18.22     20.30  --
4117.28/1030.78	c  N dy 11711   2871269        60      5340         0    107219     37380   1622030     18.23     19.29  --
4160.40/1041.58	c  N dy 11764   2891520        60      5340         0    124965     37380   2000190     18.23     19.29  --
4213.96/1054.98	c  N dy 11833   2925103        60      5340         0     89383     37380   1194944     18.22     19.23  --
4255.07/1065.26	c  N dy 11911   2946591        60      5340         0    108372     37380   1599522     18.22     19.26  --
4307.81/1078.40	c  N dy 11984   2970611        60      5340         0    129531     37380   2051687     18.22     19.20  --
4345.36/1087.89	c  N dy 12085   2992997        60      5340         0     83441     37380   1082061     18.22     19.29  --
4374.52/1095.16	c  N dy 12162   3013021        60      5340         0    101063     37380   1463057     18.22     19.19  --
4417.66/1105.92	c  N dy 12280   3033109        60      5340         0    118782     37380   1851337     18.23     21.39  --
4462.00/1117.09	c  N dy 12382   3053188        60      5340         0     69628     37380    770087     18.23     20.17  --
4490.78/1124.21	c  N dy 12487   3073239        60      5340         0     87401     37380   1157263     18.24     19.75  --
4540.29/1136.63	c  N dy 12597   3102340        60      5340         0    113017     37380   1702840     18.24     19.21  --
4584.64/1147.73	c  N dy 12707   3122589        60      5340         0    130940     37380   2094057     18.24     19.23  --
4621.39/1156.97	c  N dy 12843   3143337        60      5340         0     81329     37380   1013164     18.25     19.36  --
4648.56/1163.75	c  N dy 12897   3163633        60      5340         0     99203     37380   1393169     18.25     19.22  --
4717.66/1181.04	c  N dy 12930   3212135        60      5340         0     72789     37380    814436     18.21     15.11  --
4717.66/1181.04	c  S st 12930   3212135        60      5340         0     72789     37380    814436     18.21     15.11  --
4718.46/1181.26	c  S st 12930   3212639        60      5340         0     73244     37380    824633     18.21   no data  --
4718.46/1181.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4718.46/1181.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4718.46/1181.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.12
4718.86/1181.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4718.86/1181.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4718.86/1181.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4718.86/1181.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4766.80/1193.34	c lits-rem:       303  cl-subs:     1553  v-elim:      0  v-fix:    0  time: 48.01 s
4766.80/1193.34	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4766.80/1193.35	c vivif2 --  cl tried    71691 cl shrink        0 lits rem          0 time: 0.05
4768.02/1193.64	c asymm  cl-useful: 0/622/5340 lits-rem:0 time: 1.15
4768.02/1193.64	c calculated reachability. Time: 0.00
4768.02/1193.64	c  N dy 12930   3212639        60      5340         0     71691     37380    795932     18.21   no data  --
4792.76/1199.87	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: 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-3175471-1304125652/watcher-3175471-1304125652 -o /tmp/evaluation-result-3175471-1304125652/solver-3175471-1304125652 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175471-1304125652.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: 6.63 7.76 7.93 2/172 28362
/proc/meminfo: memFree=29686172/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 413 0 0 0 0 0 0 0 18 0 4 0 602795897 52465664 353 33554432000 4194304 4650419 140736974949136 18446744073709551615 47369606801330 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 12809 353 303 112 0 7774 0
[pid=28362/tid=28363] ppid=28360 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 602795897 52465664 353 33554432000 4194304 4650419 140736974949136 18446744073709551615 47369606801330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 602795897 52465664 353 33554432000 4194304 4650419 140736974949136 18446744073709551615 47369606801330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 602795897 52465664 353 33554432000 4194304 4650419 140736974949136 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.157217 s]
/proc/loadavg: 6.63 7.76 7.93 2/172 28362
/proc/meminfo: memFree=29686172/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=284784 CPUtime=0.6 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 2859 0 0 0 60 0 0 0 18 0 4 0 602795897 291618816 2393 33554432000 4194304 4650419 140736974949136 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 71196 2393 390 112 0 66161 0
[pid=28362/tid=28363] ppid=28360 vsize=284784 CPUtime=0.15 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 655 0 0 0 15 0 0 0 18 0 4 0 602795897 291618816 2393 33554432000 4194304 4650419 140736974949136 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=284784 CPUtime=0.15 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 644 0 0 0 15 0 0 0 18 0 4 0 602795897 291618816 2393 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=284784 CPUtime=0.14 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 532 0 0 0 14 0 0 0 21 0 4 0 602795897 291618816 2393 33554432000 4194304 4650419 140736974949136 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 284784

[startup+0.257196 s]
/proc/loadavg: 6.63 7.76 7.93 2/172 28362
/proc/meminfo: memFree=29686172/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=284784 CPUtime=1 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 3188 0 0 0 100 0 0 0 18 0 4 0 602795897 291618816 2722 33554432000 4194304 4650419 140736974949136 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 71196 2722 390 112 0 66161 0
[pid=28362/tid=28363] ppid=28360 vsize=284784 CPUtime=0.25 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 732 0 0 0 25 0 0 0 18 0 4 0 602795897 291618816 2722 33554432000 4194304 4650419 140736974949136 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=284784 CPUtime=0.25 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 725 0 0 0 25 0 0 0 18 0 4 0 602795897 291618816 2722 33554432000 4194304 4650419 140736974949136 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=284784 CPUtime=0.24 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 606 0 0 0 24 0 0 0 21 0 4 0 602795897 291618816 2722 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 284784

[startup+0.357178 s]
/proc/loadavg: 6.63 7.76 7.93 2/172 28362
/proc/meminfo: memFree=29686172/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=285480 CPUtime=1.4 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 3824 0 0 0 140 0 0 0 18 0 4 0 602795897 292331520 2878 33554432000 4194304 4650419 140736974949136 18446744073709551615 4329860 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 71370 2878 390 112 0 66335 0
[pid=28362/tid=28363] ppid=28360 vsize=285480 CPUtime=0.35 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 904 0 0 0 35 0 0 0 18 0 4 0 602795897 292331520 2878 33554432000 4194304 4650419 140736974949136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=285480 CPUtime=0.35 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 902 0 0 0 35 0 0 0 18 0 4 0 602795897 292331520 2878 33554432000 4194304 4650419 140736974949136 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=285480 CPUtime=0.34 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 683 0 0 0 34 0 0 0 21 0 4 0 602795897 292331520 2879 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 285480

[startup+0.701115 s]
/proc/loadavg: 6.63 7.76 7.93 2/172 28362
/proc/meminfo: memFree=29686172/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=286352 CPUtime=2.78 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 5624 0 0 0 277 1 0 0 18 0 4 0 602795897 293224448 3489 33554432000 4194304 4650419 140736974949136 18446744073709551615 4349936 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 71588 3489 390 112 0 66553 0
[pid=28362/tid=28363] ppid=28360 vsize=286352 CPUtime=0.69 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 1298 0 0 0 69 0 0 0 18 0 4 0 602795897 293224448 3489 33554432000 4194304 4650419 140736974949136 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=286352 CPUtime=0.69 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 1332 0 0 0 69 0 0 0 18 0 4 0 602795897 293224448 3489 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=286352 CPUtime=0.69 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 1271 0 0 0 69 0 0 0 22 0 4 0 602795897 293224448 3490 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 286352

[startup+1.50096 s]
/proc/loadavg: 6.63 7.76 7.93 11/184 28374
/proc/meminfo: memFree=29657068/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=287400 CPUtime=5.97 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 10034 0 0 0 596 1 0 0 20 0 4 0 602795897 294297600 5395 33554432000 4194304 4650419 140736974949136 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 71850 5395 392 112 0 66815 0
[pid=28362/tid=28363] ppid=28360 vsize=287400 CPUtime=1.49 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 2081 0 0 0 149 0 0 0 19 0 4 0 602795897 294297600 5395 33554432000 4194304 4650419 140736974949136 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=287400 CPUtime=1.49 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 2148 0 0 0 149 0 0 0 19 0 4 0 602795897 294297600 5395 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=287400 CPUtime=1.48 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 2056 0 0 0 148 0 0 0 25 0 4 0 602795897 294297600 5395 33554432000 4194304 4650419 140736974949136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287400

[startup+3.10066 s]
/proc/loadavg: 6.74 7.76 7.93 9/184 28374
/proc/meminfo: memFree=29621852/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=283312 CPUtime=12.37 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 16457 0 0 0 1235 2 0 0 25 0 4 0 602795897 290111488 10002 33554432000 4194304 4650419 140736974949136 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 70828 10002 392 112 0 65793 0
[pid=28362/tid=28363] ppid=28360 vsize=283312 CPUtime=3.09 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 3593 0 0 0 309 0 0 0 25 0 4 0 602795897 290111488 10002 33554432000 4194304 4650419 140736974949136 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=283312 CPUtime=3.09 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 4379 0 0 0 309 0 0 0 25 0 4 0 602795897 290111488 10002 33554432000 4194304 4650419 140736974949136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=283312 CPUtime=3.07 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 4381 0 0 0 307 0 0 0 25 0 4 0 602795897 290111488 10002 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 283312

[startup+6.30106 s]
/proc/loadavg: 6.74 7.76 7.93 9/184 28374
/proc/meminfo: memFree=29585772/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=298764 CPUtime=25.14 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 23983 0 0 0 2511 3 0 0 25 0 4 0 602795897 305934336 12455 33554432000 4194304 4650419 140736974949136 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 74691 12456 392 112 0 69656 0
[pid=28362/tid=28363] ppid=28360 vsize=298764 CPUtime=6.29 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 5960 0 0 0 629 0 0 0 25 0 4 0 602795897 305934336 12456 33554432000 4194304 4650419 140736974949136 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=298764 CPUtime=6.29 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 5901 0 0 0 629 0 0 0 25 0 4 0 602795897 305934336 12456 33554432000 4194304 4650419 140736974949136 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=298764 CPUtime=6.25 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 6526 0 0 0 625 0 0 0 25 0 4 0 602795897 305934336 12456 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 298764

[startup+12.7009 s]
/proc/loadavg: 6.93 7.77 7.93 9/184 28374
/proc/meminfo: memFree=29543432/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=298820 CPUtime=50.71 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 35240 0 0 0 5066 5 0 0 25 0 4 0 602795897 305991680 18534 33554432000 4194304 4650419 140736974949136 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 74705 18534 392 112 0 69670 0
[pid=28362/tid=28363] ppid=28360 vsize=298820 CPUtime=12.69 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 7512 0 0 0 1269 0 0 0 25 0 4 0 602795897 305991680 18534 33554432000 4194304 4650419 140736974949136 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=298820 CPUtime=12.69 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 9257 0 0 0 1268 1 0 0 25 0 4 0 602795897 305991680 18534 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=298820 CPUtime=12.62 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 9642 0 0 0 1261 1 0 0 25 0 4 0 602795897 305991680 18534 33554432000 4194304 4650419 140736974949136 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 298820

[startup+25.5004 s]
/proc/loadavg: 7.18 7.79 7.93 9/184 28374
/proc/meminfo: memFree=29504580/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=271852 CPUtime=101.84 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 51684 0 0 0 10175 9 0 0 25 0 4 0 602795897 278376448 22012 33554432000 4194304 4650419 140736974949136 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 67963 22012 392 112 0 62928 0
[pid=28362/tid=28363] ppid=28360 vsize=271852 CPUtime=25.49 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 11098 0 0 0 2548 1 0 0 25 0 4 0 602795897 278376448 22012 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=271852 CPUtime=25.48 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 13955 0 0 0 2546 2 0 0 25 0 4 0 602795897 278376448 22012 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=271852 CPUtime=25.35 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 12016 0 0 0 2533 2 0 0 25 0 4 0 602795897 278376448 22012 33554432000 4194304 4650419 140736974949136 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 271852

[startup+51.1006 s]
/proc/loadavg: 7.46 7.81 7.93 9/184 28375
/proc/meminfo: memFree=29471816/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=308556 CPUtime=204.1 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 76009 0 0 0 20394 16 0 0 25 0 4 0 602795897 315961344 26836 33554432000 4194304 4650419 140736974949136 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 77139 26836 392 112 0 72104 0
[pid=28362/tid=28363] ppid=28360 vsize=308556 CPUtime=51.09 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 18094 0 0 0 5106 3 0 0 25 0 4 0 602795897 315961344 26836 33554432000 4194304 4650419 140736974949136 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=308556 CPUtime=51.08 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 20449 0 0 0 5104 4 0 0 25 0 4 0 602795897 315961344 26836 33554432000 4194304 4650419 140736974949136 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=308556 CPUtime=50.81 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 17899 0 0 0 5078 3 0 0 25 0 4 0 602795897 315961344 26836 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 308556

[startup+102.301 s]
/proc/loadavg: 7.83 7.85 7.94 10/184 28376
/proc/meminfo: memFree=29423916/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=330948 CPUtime=408.64 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 118876 0 0 0 40833 31 0 0 25 0 4 0 602795897 338890752 31536 33554432000 4194304 4650419 140736974949136 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 82737 31536 392 112 0 77702 0
[pid=28362/tid=28363] ppid=28360 vsize=330948 CPUtime=102.3 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 26457 0 0 0 10224 6 0 0 25 0 4 0 602795897 338890752 31536 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=330948 CPUtime=102.29 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 31657 0 0 0 10220 9 0 0 25 0 4 0 602795897 338890752 31536 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=330948 CPUtime=101.74 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 29938 0 0 0 10166 8 0 0 25 0 4 0 602795897 338890752 31536 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 330948

[startup+162.301 s]

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

[pid=28362] ppid=28360 vsize=441220 CPUtime=2565.74 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 347662 0 0 0 256459 115 0 0 25 0 4 0 602795897 451809280 67183 33554432000 4194304 4650419 140736974949136 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 110305 67183 392 112 0 105270 0
[pid=28362/tid=28363] ppid=28360 vsize=441220 CPUtime=642.31 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 69832 0 0 0 64208 23 0 0 25 0 4 0 602795897 451809280 67183 33554432000 4194304 4650419 140736974949136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=441220 CPUtime=642.29 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 100905 0 0 0 64192 37 0 0 25 0 4 0 602795897 451809280 67183 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=441220 CPUtime=638.81 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 87609 0 0 0 63854 27 0 0 25 0 4 0 602795897 451809280 67183 33554432000 4194304 4650419 140736974949136 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.74
Current children cumulated vsize (KiB) 441220

[startup+702.301 s]
/proc/loadavg: 8.20 8.08 8.01 9/184 28392
/proc/meminfo: memFree=29137764/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=429168 CPUtime=2805.42 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 358795 0 0 0 280421 121 0 0 25 0 4 0 602795897 439468032 67590 33554432000 4194304 4650419 140736974949136 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 107292 67590 392 112 0 102257 0
[pid=28362/tid=28363] ppid=28360 vsize=429168 CPUtime=702.32 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 69832 0 0 0 70209 23 0 0 25 0 4 0 602795897 439468032 67590 33554432000 4194304 4650419 140736974949136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=429168 CPUtime=702.29 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 104528 0 0 0 70189 40 0 0 25 0 4 0 602795897 439468032 67590 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=429168 CPUtime=698.48 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 92906 0 0 0 69820 28 0 0 25 0 4 0 602795897 439468032 67590 33554432000 4194304 4650419 140736974949136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 429168

[startup+762.301 s]
/proc/loadavg: 8.18 8.10 8.02 9/184 28394
/proc/meminfo: memFree=29130656/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=371832 CPUtime=3045.12 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 376697 0 0 0 304384 128 0 0 25 0 4 0 602795897 380755968 67140 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 92958 67140 392 112 0 87923 0
[pid=28362/tid=28363] ppid=28360 vsize=371832 CPUtime=762.32 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 70131 0 0 0 76209 23 0 0 25 0 4 0 602795897 380755968 67140 33554432000 4194304 4650419 140736974949136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=371832 CPUtime=762.29 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 110692 0 0 0 76185 44 0 0 25 0 4 0 602795897 380755968 67140 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=371832 CPUtime=758.15 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 101173 0 0 0 75786 29 0 0 25 0 4 0 602795897 380755968 67140 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.12
Current children cumulated vsize (KiB) 371832

[startup+822.3 s]
/proc/loadavg: 8.13 8.09 8.02 9/184 28395
/proc/meminfo: memFree=29092544/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=422292 CPUtime=3284.77 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 396438 0 0 0 328340 137 0 0 25 0 4 0 602795897 432427008 73946 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 105573 73946 392 112 0 100538 0
[pid=28362/tid=28363] ppid=28360 vsize=422292 CPUtime=822.32 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 71057 0 0 0 82208 24 0 0 25 0 4 0 602795897 432427008 73946 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=422292 CPUtime=822.29 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 116439 0 0 0 82182 47 0 0 25 0 4 0 602795897 432427008 73946 33554432000 4194304 4650419 140736974949136 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=422292 CPUtime=817.83 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 108302 0 0 0 81751 32 0 0 25 0 4 0 602795897 432427008 73946 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 422292

[startup+882.307 s]
/proc/loadavg: 8.10 8.09 8.02 10/184 28397
/proc/meminfo: memFree=29054308/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=511960 CPUtime=3524.48 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 408824 0 0 0 352305 143 0 0 25 0 4 0 602795897 524247040 77206 33554432000 4194304 4650419 140736974949136 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 127990 77206 392 112 0 122955 0
[pid=28362/tid=28363] ppid=28360 vsize=511960 CPUtime=882.32 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 73515 0 0 0 88208 24 0 0 25 0 4 0 602795897 524247040 77206 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=511960 CPUtime=882.29 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 120725 0 0 0 88180 49 0 0 25 0 4 0 602795897 524247040 77206 33554432000 4194304 4650419 140736974949136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=511960 CPUtime=877.51 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 109608 0 0 0 87718 33 0 0 25 0 4 0 602795897 524247040 77206 33554432000 4194304 4650419 140736974949136 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.48
Current children cumulated vsize (KiB) 511960

[startup+942.301 s]
/proc/loadavg: 8.04 8.07 8.01 9/184 28399
/proc/meminfo: memFree=29031432/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=524552 CPUtime=3764.13 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 421704 0 0 0 376263 150 0 0 25 0 4 0 602795897 537141248 84605 33554432000 4194304 4650419 140736974949136 18446744073709551615 4476812 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 131138 84605 392 112 0 126103 0
[pid=28362/tid=28363] ppid=28360 vsize=524552 CPUtime=942.32 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 77466 0 0 0 94206 26 0 0 25 0 4 0 602795897 537141248 84605 33554432000 4194304 4650419 140736974949136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=524552 CPUtime=942.28 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 125863 0 0 0 94176 52 0 0 25 0 4 0 602795897 537141248 84605 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=524552 CPUtime=937.18 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 113399 0 0 0 93683 35 0 0 25 0 4 0 602795897 537141248 84605 33554432000 4194304 4650419 140736974949136 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.13
Current children cumulated vsize (KiB) 524552

[startup+1002.3 s]
/proc/loadavg: 8.06 8.07 8.01 9/184 28400
/proc/meminfo: memFree=29000380/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=524664 CPUtime=4003.81 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 429659 0 0 0 400225 156 0 0 25 0 4 0 602795897 537255936 86871 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 131166 86871 392 112 0 126131 0
[pid=28362/tid=28363] ppid=28360 vsize=524664 CPUtime=1002.32 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 77466 0 0 0 100206 26 0 0 25 0 4 0 602795897 537255936 86871 33554432000 4194304 4650419 140736974949136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=524664 CPUtime=1002.29 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 130620 0 0 0 100174 55 0 0 25 0 4 0 602795897 537255936 86871 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=524664 CPUtime=996.85 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 113399 0 0 0 99650 35 0 0 25 0 4 0 602795897 537255936 86871 33554432000 4194304 4650419 140736974949136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 524664

[startup+1062.3 s]
/proc/loadavg: 8.08 8.07 8.01 9/184 28402
/proc/meminfo: memFree=28998004/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=524720 CPUtime=4243.49 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 434940 0 0 0 424188 161 0 0 25 0 4 0 602795897 537313280 86707 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365195 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 131180 86707 392 112 0 126145 0
[pid=28362/tid=28363] ppid=28360 vsize=524720 CPUtime=1062.32 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 77469 0 0 0 106206 26 0 0 25 0 4 0 602795897 537313280 86707 33554432000 4194304 4650419 140736974949136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=524720 CPUtime=1062.29 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 134791 0 0 0 106170 59 0 0 25 0 4 0 602795897 537313280 86707 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=524720 CPUtime=1056.53 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 113399 0 0 0 105618 35 0 0 25 0 4 0 602795897 537313280 86707 33554432000 4194304 4650419 140736974949136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.49
Current children cumulated vsize (KiB) 524720

[startup+1122.3 s]
/proc/loadavg: 8.07 8.07 8.01 9/184 28403
/proc/meminfo: memFree=29023384/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=487868 CPUtime=4483.17 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 444598 0 0 0 448152 165 0 0 25 0 4 0 602795897 499576832 82654 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 121967 82654 392 112 0 116932 0
[pid=28362/tid=28363] ppid=28360 vsize=487868 CPUtime=1122.33 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 78128 0 0 0 112206 27 0 0 25 0 4 0 602795897 499576832 82654 33554432000 4194304 4650419 140736974949136 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=487868 CPUtime=1122.29 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 140268 0 0 0 112168 61 0 0 25 0 4 0 602795897 499576832 82654 33554432000 4194304 4650419 140736974949136 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=487868 CPUtime=1116.2 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 115437 0 0 0 111584 36 0 0 25 0 4 0 602795897 499576832 82654 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 487868

[startup+1182.3 s]
/proc/loadavg: 8.07 8.07 8.01 9/184 28405
/proc/meminfo: memFree=29004756/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=500700 CPUtime=4722.85 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 465506 0 0 0 472115 170 0 0 25 0 4 0 602795897 512716800 81476 33554432000 4194304 4650419 140736974949136 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 125175 81476 392 112 0 120140 0
[pid=28362/tid=28363] ppid=28360 vsize=500700 CPUtime=1182.33 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 78139 0 0 0 118206 27 0 0 25 0 4 0 602795897 512716800 81476 33554432000 4194304 4650419 140736974949136 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=500700 CPUtime=1182.29 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 154832 0 0 0 118166 63 0 0 25 0 4 0 602795897 512716800 81476 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=500700 CPUtime=1175.88 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 117940 0 0 0 117551 37 0 0 25 0 4 0 602795897 512716800 81476 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 500700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.08 8.01 9/184 28406
/proc/meminfo: memFree=29032656/32950928 swapFree=67111364/67111528
[pid=28362] ppid=28360 vsize=500736 CPUtime=4800.36 cores=0,2,4,6
/proc/28362/stat : 28362 (strangenight1-m) R 28360 28362 27972 0 -1 4202496 468639 0 0 0 479865 171 0 0 25 0 4 0 602795897 512753664 81461 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28362/statm: 125184 81461 392 112 0 120149 0
[pid=28362/tid=28363] ppid=28360 vsize=500736 CPUtime=1201.74 cores=0,2,4,6
/proc/28362/task/28363/stat : 28363 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 78145 0 0 0 120147 27 0 0 25 0 4 0 602795897 512753664 81461 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28362/tid=28364] ppid=28360 vsize=500736 CPUtime=1201.69 cores=0,2,4,6
/proc/28362/task/28364/stat : 28364 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 157041 0 0 0 120106 63 0 0 25 0 4 0 602795897 512753664 81461 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28362/tid=28365] ppid=28360 vsize=500736 CPUtime=1195.18 cores=0,2,4,6
/proc/28362/task/28365/stat : 28365 (strangenight1-m) R 28360 28362 27972 0 -1 4202560 118828 0 0 0 119480 38 0 0 25 0 4 0 602795897 512753664 81461 33554432000 4194304 4650419 140736974949136 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 500736

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.41
CPU user time (s): 4798.68
CPU system time (s): 1.73374
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 553424

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

runsolver used 1.82572 second user time and 4.74628 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-30 03:07:32
IDJOB=3175471
IDBENCH=83089
IDSOLVER=1588
FILE ID=node115/3175471-1304125652
RUNJOBID= node115-1304125652-28347
PBS_JOBID= 13170743
Free space on /tmp= 72732 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3175471-1304125652/watcher-3175471-1304125652 -o /tmp/evaluation-result-3175471-1304125652/solver-3175471-1304125652 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175471-1304125652.cnf

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

MD5SUM BENCH= 80ed5c7022fbd1c0bf0af45d87bcb3f8
RANDOM SEED=2109915710

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
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:      29686452 kB
Buffers:        817764 kB
Cached:        1957348 kB
SwapCached:          0 kB
Active:         177480 kB
Inactive:      2661456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29686452 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12504 kB
Writeback:           0 kB
AnonPages:       63492 kB
Mapped:          14496 kB
Slab:           362220 kB
PageTables:       4724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   187840 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= 72720 MiB
End job on node115 at 2011-04-30 03:27:36