Trace number 3366704

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-2-mt (fixed)? (TO) 4800.27 1202.56

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
MD5SUMba3b1702a651cd8da3e6cada8f2e97bc
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.28965
Satisfiable
(Un)Satisfiability was proved
Number of variables2088
Number of clauses405748
Sum of the clauses size813494
Maximum clause length47
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2405703
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366704-1305433671.cnf'
0.00/0.00	c -- header says num vars:           2088
0.00/0.00	c -- header says num clauses:      405748
0.13/0.08	c -- clauses added:            0 learnts,       405748 normals,            0 xors
0.13/0.08	c -- vars added       2088
0.13/0.08	c Parsing time:  0.06 s
0.13/0.08	c  N st     0         0      2088        45    405703         0    813494         0   no data   no data
0.13/0.08	c asymm  cl-useful: 0/45/45 lits-rem:0 time: 0.00
0.13/0.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.05
0.13/0.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.13/0.27	c bin-w-bin subsume rem            0 bins  time:  0.06 s
0.13/0.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.06 s
0.13/0.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2088 time:  0.04 s
0.13/0.33	c Removed useless bin:       0  fixed:     0  props:   2.04M  time:  0.03 s
0.13/0.51	c lits-rem:       747  cl-subs:        0  v-elim:     45  v-fix:    0  time:  0.11 s
0.13/0.51	c Finding binary XORs  T:     0.01 s  found:       0
0.13/0.51	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.13/0.51	c calculated reachability. Time: 0.00
0.13/0.51	c Calc default polars -  time:   0.00 s pos:       0 undec:      45 neg:    2043
0.13/0.51	c =========================================================================================
0.13/0.51	c types(t): F = full restart, N = normal restart
0.13/0.51	c types(t): S = simplification begin/end, E = solution found
0.13/0.51	c restart types(rt): st = static, dy = dynamic
0.13/0.51	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.13/0.51	c  B st     0         0      2043      7752    395908         0   1193749         0   no data   no data
5.14/1.31	c  N dy     9      6013      2043      7752    395909      3431   1193730    575374     16.95     17.90
8.33/2.13	c  N dy    11     11655      2043      7752    395909      4765   1193721    578492     13.17     14.07
10.73/2.74	c  N dy    24     15657      2043      7752    395911      8648   1193711   1202652     12.59     13.36
13.13/3.33	c  N dy    33     19783      2043      7752    395913      7198   1193705    750629     12.10     13.09
15.55/3.93	c  N dy    51     23867      2043      7752    395913     11189   1193702   1279834     12.02     12.82
16.32/4.13	c  F st    54     25000      2043      7752    395913     12284   1193702   1385998     11.91   no data
18.31/4.69	c  N st    59     28297      2043      7752    395914      8854   1193694    996193     11.91   no data
19.51/4.98	c  S st    60     30000      2043      7752    395915     10462   1193694   1159085     11.91   no data
19.94/5.06	c  S st    60     30504      2043      7752    395915     10965   1193692   1210369     11.91   no data
19.94/5.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
23.10/5.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 32.9M T:  0.75
23.10/5.83	c blocked clauses removed:        0 vars:      0 tried:        2043 T: 0.00 s
23.10/5.86	c bin-w-bin subsume rem            0 bins  time:  0.04 s
42.30/10.69	c subs with bin:        0  lits-rem:     44594  v-fix:    0  time:  4.83 s
42.66/10.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.03 s
42.66/10.75	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.03 s
43.06/10.90	c lits-rem:      2521  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
48.25/12.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.25 s
55.83/14.09	c lits-rem:      3285  cl-subs:      939  v-elim:      0  v-fix:    0  time:  1.90 s
57.03/14.34	c asymm  cl-useful: 360/1305/7752 lits-rem:5031 time: 0.24
57.03/14.35	c calculated reachability. Time: 0.00
57.03/14.35	c  N dy    60     30504      2043      7752    395915     10026   1137883   1153324     11.91   no data
59.86/15.05	c  N dy    79     34531      2043      7752    395917     13969   1137883   1582200     12.01     12.65
62.62/15.76	c  N dy    96     38822      2043      7752    395917     10473   1137883   1054796     12.02     12.69
65.82/16.57	c  N dy   101     42988      2043      7752    395917     14555   1137883   1764952     11.87     12.73
68.24/17.20	c  S st   124     45756      2043      7752    395917     17289   1137883   2259891     12.21      8.41
68.65/17.29	c  S st   124     46260      2043      7752    395917      9062   1137883    766796     12.21   no data
69.01/17.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
71.41/17.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 27.7M T:  0.61
71.41/17.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
71.41/17.95	c bin-w-bin subsume rem            0 bins  time:  0.03 s
90.60/22.71	c subs with bin:        0  lits-rem:     40904  v-fix:    0  time:  4.76 s
90.60/22.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.03 s
90.60/22.78	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.03 s
90.97/22.83	c lits-rem:        10  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
95.75/24.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.22 s
96.95/24.32	c lits-rem:       109  cl-subs:      108  v-elim:      0  v-fix:    0  time:  0.24 s
96.95/24.33	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.01
96.95/24.34	c vivif2 --  cl tried     8954 cl shrink       26 lits rem         27 time: 0.02
97.75/24.55	c asymm  cl-useful: 0/1574/7752 lits-rem:0 time: 0.20
97.75/24.56	c calculated reachability. Time: 0.00
97.75/24.56	c  N dy   124     46260      2043      7752    395917      8954   1096969    759265     12.21   no data
100.14/25.11	c  N dy   140     50261      2043      7752    395922     12876   1096969   1266601     12.21     18.02
102.95/25.87	c  N dy   146     54498      2043      7752    395923     17002   1096969   1896058     12.04     12.79
106.13/26.62	c  N dy   158     58608      2043      7752    395923     11238   1096969    971988     11.93     12.62
108.52/27.28	c  N dy   176     62741      2043      7752    395924     15272   1096969   1480695     11.94     12.67
111.33/27.99	c  N dy   201     66784      2043      7752    395924     19217   1096969   2054728     12.19     14.51
113.31/28.45	c  S st   207     69391      2043      7752    395924     11036   1096969    926847     12.13      9.51
113.71/28.53	c  S st   207     69893      2043      7752    395924     11537   1096969    980804     12.13   no data
113.71/28.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
116.53/29.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 29.4M T:  0.72
116.53/29.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
116.53/29.30	c bin-w-bin subsume rem            0 bins  time:  0.03 s
135.66/34.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.76 s
136.06/34.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.03 s
136.06/34.13	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.03 s
136.06/34.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
141.26/35.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.29 s
143.65/36.03	c lits-rem:       149  cl-subs:      169  v-elim:      0  v-fix:    0  time:  0.56 s
143.65/36.04	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.01
143.65/36.06	c vivif2 --  cl tried    11368 cl shrink      124 lits rem        178 time: 0.02
144.45/36.29	c asymm  cl-useful: 0/1071/7752 lits-rem:0 time: 0.23
144.85/36.30	c calculated reachability. Time: 0.00
144.85/36.30	c  N dy   207     69893      2043      7752    395924     11368   1096969    973530     12.13   no data
147.68/37.03	c  N dy   238     74420      2043      7752    395924     15798   1096969   1606960     12.36     13.15
151.25/37.96	c  N dy   257     79545      2043      7752    395927     20822   1096969   2284791     12.39     13.25
155.63/39.05	c  N dy   282     84997      2043      7752    395929     14425   1096969   1397739     12.46     13.32
157.62/39.50	c  F st   295     87502      2043      7752    395929     16896   1096969   1783041     12.48   no data
160.02/40.15	c  N st   300     90799      2043      7752    395931     20133   1096969   2367203     12.48   no data
166.00/41.66	c  N dy   325     96691      2043      7752    395932     13195   1096969   1201653     12.51     26.20
170.80/42.84	c  N dy   348    103175      2043      7752    395933     19523   1096969   2189505     12.48     13.45
172.00/43.17	c  S st   355    104839      2043      7752    395933     21122   1096969   2406545     12.46     11.82
172.40/43.29	c  S st   355    105341      2043      7752    395933     21621   1096969   2464731     12.46   no data
172.40/43.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
176.78/44.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 42.0M T:  1.01
176.78/44.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
176.78/44.35	c bin-w-bin subsume rem            0 bins  time:  0.03 s
195.57/49.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.73 s
195.97/49.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.03 s
195.97/49.14	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.03 s
195.97/49.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
201.93/50.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.37 s
218.69/54.82	c lits-rem:       844  cl-subs:      326  v-elim:      0  v-fix:    0  time:  4.20 s
218.69/54.82	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.01
218.69/54.87	c vivif2 --  cl tried    21295 cl shrink       92 lits rem         96 time: 0.05
219.89/55.10	c asymm  cl-useful: 0/1158/7752 lits-rem:0 time: 0.23
219.89/55.11	c calculated reachability. Time: 0.00
219.89/55.11	c  N dy   355    105341      2043      7752    395933     21295   1096969   2424143     12.46   no data
226.30/56.73	c  N dy   374    113006      2043      7752    395941     15097   1096969   1438221     12.40     13.08
231.87/58.17	c  N dy   401    120627      2043      7752    395944     22532   1096969   2352552     12.40     13.13
239.49/60.04	c  N dy   432    128336      2043      7752    395944     15401   1096969   1257233     12.38     18.04
245.44/61.53	c  N dy   461    136615      2043      7752    395944     23453   1096969   2044308     12.35     13.07
253.07/63.44	c  N dy   494    145392      2043      7752    395947     16431   1096969   1294949     12.36     17.06
260.22/65.28	c  N dy   525    154900      2043      7752    395947     25711   1096969   2310592     12.36     13.14
263.01/65.98	c  S st   539    158011      2043      7752    395947     28760   1096969   2843521     12.39   no data
263.41/66.09	c  S st   539    158515      2043      7752    395947     29263   1096969   2909881     12.39   no data
263.81/66.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
269.00/67.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 44.1M T:  1.30
269.00/67.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
269.00/67.45	c bin-w-bin subsume rem            0 bins  time:  0.03 s
287.78/72.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.70 s
287.78/72.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.03 s
288.19/72.21	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.03 s
288.19/72.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
294.14/73.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.44 s
317.30/79.56	c lits-rem:       872  cl-subs:      610  v-elim:      0  v-fix:    0  time:  5.81 s
317.30/79.57	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.01
317.70/79.64	c vivif2 --  cl tried    28653 cl shrink      221 lits rem        283 time: 0.06
318.51/79.90	c asymm  cl-useful: 0/493/7752 lits-rem:0 time: 0.26
318.93/79.91	c calculated reachability. Time: 0.00
318.93/79.91	c  N dy   539    158515      2043      7752    395948     28653   1096969   2850276     12.39   no data
327.30/82.08	c  N dy   581    168814      2043      7752    395950     22116   1096969   1953248     12.42     13.08
336.85/84.45	c  N dy   634    179620      2043      7752    395950     32693   1096969   3384248     12.47     14.79
347.64/87.16	c  N dy   682    192517      2043      7752    395951     27675   1096969   2533315     12.52     13.22
359.61/90.10	c  N dy   738    204843      2043      7752    395952     21180   1096969   1614994     12.58     21.02
371.62/93.18	c  N dy   799    218532      2043      7752    395954     34573   1096969   3461269     12.65     13.43
385.16/96.56	c  N dy   863    232881      2043      7752    395955     29078   1096969   2679545     12.79     13.59
390.35/97.85	c  S st   886    237772      2043      7752    395955     33864   1096969   3380564     12.84   no data
390.75/97.99	c  S st   886    238274      2043      7752    395955     34363   1096969   3434668     12.84   no data
391.15/98.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
396.74/99.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 53.4M T:  1.43
396.74/99.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
396.74/99.48	c bin-w-bin subsume rem            0 bins  time:  0.03 s
415.53/104.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.65 s
415.53/104.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.03 s
415.53/104.19	c Removed useless bin:       0  fixed:     0  props:   1.98M  time:  0.03 s
415.89/104.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
422.28/105.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.50 s
450.25/112.90	c lits-rem:      1342  cl-subs:      765  v-elim:      0  v-fix:    0  time:  7.08 s
450.66/112.91	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.01
450.66/112.98	c vivif2 --  cl tried    33598 cl shrink      172 lits rem        172 time: 0.07
451.82/113.26	c asymm  cl-useful: 0/401/7752 lits-rem:0 time: 0.28
451.82/113.27	c calculated reachability. Time: 0.00
451.82/113.27	c  N dy   886    238274      2043      7752    395955     33598   1096969   3381096     12.84   no data
466.99/117.07	c  N dy   936    254327      2043      7752    395960     28741   1096969   2349067     12.85     13.53
483.35/121.17	c  N dy  1007    270643      2043      7752    395961     23171   1096969   1708148     12.95     13.66
500.13/125.35	c  N dy  1080    288324      2043      7752    395962     40426   1096969   3927061     13.03     13.93
516.11/129.39	c  F st  1143    306251      2043      7752    395962     35436   1096969   3281112     13.07     11.67
517.29/129.61	c  N st  1145    306876      2043      7752    395962     36052   1096969   3376375     13.07   no data
537.66/134.73	c  N dy  1203    326880      2043      7752    395963     32134   1096969   2514813     13.06     13.83
557.21/139.68	c  N dy  1261    348181      2043      7752    395964     28520   1096969   2051717     13.05     13.88
565.19/141.69	c  S st  1292    357412      2043      7752    395964     37514   1096969   3182079     13.04      7.42
565.99/141.82	c  S st  1292    357913      2043      7752    395964     38012   1096969   3239898     13.04   no data
565.99/141.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
571.58/143.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 51.9M T:  1.39
571.58/143.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
571.58/143.26	c bin-w-bin subsume rem            0 bins  time:  0.03 s
590.34/148.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.74 s
590.76/148.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.03 s
590.76/148.07	c Removed useless bin:       0  fixed:     0  props:   1.97M  time:  0.03 s
590.76/148.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
596.72/149.51	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  1.33 s
621.50/155.75	c lits-rem:      1736  cl-subs:     1513  v-elim:      0  v-fix:    0  time:  6.24 s
621.50/155.76	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.01
621.91/155.84	c vivif2 --  cl tried    36498 cl shrink      123 lits rem        123 time: 0.08
623.07/156.11	c asymm  cl-useful: 0/869/7752 lits-rem:0 time: 0.27
623.07/156.12	c calculated reachability. Time: 0.00
623.07/156.12	c  N dy  1292    357913      2043      7752    395965     36498   1096969   3181966     13.04   no data
643.86/161.32	c  N dy  1379    377970      2043      7752    395969     30729   1096969   2346643     13.11     21.68
665.82/166.85	c  N dy  1429    397975      2043      7752    395970     50169   1096969   4879697     13.05     13.80
684.15/171.50	c  N dy  1499    418302      2043      7752    395970     43656   1096969   3527329     13.06     13.87
704.11/176.44	c  N dy  1545    439385      2043      7752    395971     36957   1096969   2840501     12.97     13.80
723.27/181.29	c  N dy  1601    459446      2043      7752    395974     28240   1096969   1806270     12.92     14.48
742.03/185.93	c  N dy  1670    480755      2043      7752    395976     49008   1096969   4162099     12.90     13.66
764.79/191.64	c  N dy  1758    501786      2043      7752    395976     40273   1096969   3255022     12.96     13.72
791.54/198.38	c  N dy  1826    522254      2043      7752    395977     60156   1096969   5473413     12.95     13.64
804.71/201.67	c  S st  1873    536869      2043      7752    395977     44178   1096969   3446873     12.93      9.28
805.11/201.79	c  S st  1873    537370      2043      7752    395977     44678   1096969   3503652     12.93   no data
805.51/201.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
811.09/203.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 51.0M T:  1.45
811.09/203.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
811.09/203.30	c bin-w-bin subsume rem            0 bins  time:  0.03 s
830.26/208.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.72 s
830.26/208.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.03 s
830.26/208.08	c Removed useless bin:       0  fixed:     0  props:   1.97M  time:  0.03 s
830.66/208.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
836.25/209.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.34 s
863.01/216.29	c lits-rem:      1551  cl-subs:     1496  v-elim:      0  v-fix:    0  time:  6.75 s
863.01/216.30	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.01
863.42/216.39	c vivif2 --  cl tried    43182 cl shrink      134 lits rem        137 time: 0.09
864.58/216.66	c asymm  cl-useful: 0/735/7752 lits-rem:0 time: 0.27
864.58/216.67	c calculated reachability. Time: 0.00
864.58/216.67	c  N dy  1873    537370      2043      7752    395977     43182   1096969   3444397     12.93   no data
891.34/223.30	c  N dy  1973    557470      2043      7752    395982     31684   1096969   2036252     13.00     19.57
910.89/228.25	c  N dy  2060    577511      2043      7752    395982     51219   1096969   4360405     13.04     16.12
938.43/235.10	c  N dy  2160    599133      2043      7752    395982     40121   1096969   2795260     13.11     13.88
959.20/240.39	c  N dy  2219    619842      2043      7752    395982     60309   1096969   5040056     13.07     13.95
981.57/245.92	c  N dy  2299    639848      2043      7752    395982     46667   1096969   3570827     13.11     24.38
1005.09/251.80	c  N dy  2340    659890      2043      7752    395982     66108   1096969   5351685     13.07     14.08
1025.48/256.97	c  N dy  2397    679938      2043      7752    395983     51565   1096969   3867730     13.03     22.93
1052.99/263.86	c  N dy  2449    701596      2043      7752    395983     37621   1096969   2348943     12.99     14.19
1076.15/269.68	c  N dy  2541    723097      2043      7752    395983     58677   1096969   4856808     13.02     13.83
1103.70/276.55	c  N dy  2636    743147      2043      7752    395985     42114   1096969   2805100     13.06     13.91
1127.65/282.52	c  N dy  2726    763149      2043      7752    395987     61650   1096969   5241479     13.11     13.82
1154.80/289.32	c  N dy  2805    783864      2043      7752    395988     44752   1096969   3042654     13.14     13.90
1176.74/294.89	c  N dy  2861    804433      2043      7752    395988     64889   1096969   5752331     13.13     14.35
1179.58/295.59	c  S st  2870    806057      2043      7752    395988     66471   1096969   5952706     13.13     10.29
1180.34/295.79	c  S st  2870    806557      2043      7752    395988     66966   1096969   6011007     13.13   no data
1180.74/295.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1189.52/298.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 71.5M T:  2.23
1189.52/298.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1189.52/298.08	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1208.28/302.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.66 s
1208.28/302.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.03 s
1208.68/302.81	c Removed useless bin:       0  fixed:     0  props:   1.97M  time:  0.03 s
1208.68/302.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1215.06/304.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.45 s
1271.79/318.65	c lits-rem:      2465  cl-subs:     2368  v-elim:      0  v-fix:    0  time: 14.16 s
1271.79/318.66	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.01
1272.55/318.80	c vivif2 --  cl tried    64598 cl shrink      305 lits rem        325 time: 0.15
1273.75/319.13	c asymm  cl-useful: 0/807/7752 lits-rem:0 time: 0.32
1273.75/319.14	c calculated reachability. Time: 0.00
1273.75/319.14	c  N dy  2870    806557      2043      7752    395989     64598   1096969   5897961     13.13   no data
1299.29/325.57	c  N dy  2936    826604      2043      7752    395991     46046   1096969   3172312     13.14     13.83
1320.85/330.96	c  N dy  2996    846635      2043      7752    395992     65520   1096969   4906020     13.11     13.80
1342.81/336.43	c  N dy  3082    866703      2043      7752    395992     46167   1096969   3198865     13.11     17.23
1364.00/341.72	c  N dy  3124    887339      2043      7752    395992     66128   1096969   4984715     13.08     13.85
1388.32/347.81	c  N dy  3189    907516      2043      7752    395993     45886   1096969   2943855     13.09     13.81
1411.90/353.71	c  N dy  3269    927836      2043      7752    395993     65613   1096969   5143793     13.11     13.85
1438.25/360.38	c  N dy  3334    948214      2043      7752    395994     44635   1096969   2747810     13.11     14.10
1458.98/365.50	c  N dy  3405    968302      2043      7752    395994     64133   1096969   4656759     13.10     13.86
1486.54/372.47	c  N dy  3493    988379      2043      7752    395995     41876   1096969   2455117     13.12     13.99
1506.08/377.34	c  N dy  3552   1008408      2043      7752    395995     61377   1096969   4615256     13.11     15.09
1534.84/384.58	c  N dy  3619   1028502      2043      7752    395996     80919   1096969   6616130     13.10     19.52
1560.77/391.04	c  N dy  3708   1048528      2043      7752    395997     57649   1096969   4346397     13.11     20.24
1594.30/399.43	c  N dy  3791   1068813      2043      7752    395999     77446   1096969   6650300     13.13     13.93
1600.29/400.96	c  F st  3800   1071875      2043      7752    395999     80434   1096969   6955459     13.12   no data
1622.25/406.49	c  N dy  3840   1088901      2043      7752    396001     53102   1096969   3575049     13.11     15.18
1649.79/413.33	c  N dy  3914   1109209      2043      7752    396001     72942   1096969   5935141     13.11     13.98
1682.13/421.44	c  N dy  3992   1129255      2043      7752    396001     47656   1096969   2973817     13.14     19.73
1706.10/427.41	c  N dy  4050   1149604      2043      7752    396002     67360   1096969   4872418     13.13     13.83
1734.82/434.69	c  N dy  4132   1169737      2043      7752    396003     87017   1096969   6990399     13.15     13.94
1761.96/441.43	c  N dy  4222   1189759      2043      7752    396003     60821   1096969   4587470     13.17     13.89
1793.10/449.29	c  N dy  4307   1209789      2043      7752    396006     80287   1096969   6937161     13.19     23.39
1793.50/449.33	c  S st  4308   1209839      2043      7752    396006     80337   1096969   6945329     13.19   no data
1794.69/449.61	c  S st  4308   1210339      2043      7752    396006     80837   1096969   6996244     13.19   no data
1794.69/449.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1805.87/452.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 80.7M T:  2.80
1805.87/452.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1805.87/452.47	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1825.07/457.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.77 s
1825.07/457.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.03 s
1825.43/457.32	c Removed useless bin:       0  fixed:     0  props:   1.97M  time:  0.03 s
1825.43/457.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
1833.44/459.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.84 s
1900.08/476.09	c lits-rem:      3715  cl-subs:     4478  v-elim:      0  v-fix:    0  time: 16.68 s
1900.08/476.09	c vivif2 --  cl tried     7752 cl shrink        0 lits rem          0 time: 0.01
1900.88/476.26	c vivif2 --  cl tried    76359 cl shrink      280 lits rem        310 time: 0.17
1902.48/476.61	c asymm  cl-useful: 0/857/7752 lits-rem:0 time: 0.35
1902.48/476.62	c calculated reachability. Time: 0.00
1902.48/476.62	c  N dy  4308   1210339      2043      7752    396008     76358   1096969   6853339     13.19   no data
1941.99/486.53	c  N dy  4400   1230389      2043      7752    396009     49231   1096969   3060858     13.22     19.09
1967.15/492.83	c  N dy  4477   1250506      2043      7752    396009     68845   1096969   5496633     13.23     13.98
2002.26/501.69	c  N dy  4590   1270756      2043      7752    396009     88653   1096969   7910439     13.27     14.06
2031.45/508.91	c  N dy  4661   1290854      2043      7752    396011     60469   1096969   4310752     13.27     23.18
2058.55/515.78	c  N dy  4743   1310928      2043      7752    396011     79972   1096969   6376563     13.29     35.12
2090.89/523.84	c  N dy  4827   1330940      2043      7752    396012     50797   1096969   3154919     13.30     14.33
2116.44/530.23	c  N dy  4930   1350955      2043      7752    396013     70365   1096969   5597985     13.34     18.25
2152.36/539.29	c  N dy  4995   1372671      2043      7752    396014     91456   1096969   7905567     13.33     14.08
2179.11/545.97	c  N dy  5039   1393256      2043      7752    396016     61715   1096969   3924750     13.31     14.07
2204.26/552.24	c  N dy  5101   1413338      2043      7752    396017     81165   1096969   5661146     13.30     14.37
2235.00/559.97	c  N dy  5203   1433422      2043      7752    396018    100799   1096969   8155109     13.33     15.21
2258.55/565.87	c  N dy  5263   1454927      2043      7752    396019     71115   1096969   4982341     13.31     14.04
2284.50/572.32	c  N dy  5333   1475050      2043      7752    396020     90709   1096969   7123506     13.31     14.33
2314.04/579.74	c  N dy  5402   1495086      2043      7752    396020     58720   1096969   3984635     13.32     15.73
2343.97/587.21	c  N dy  5487   1515125      2043      7752    396022     78174   1096969   6508583     13.33     22.26
2383.49/597.16	c  N dy  5537   1535569      2043      7752    396024     98000   1096969   8977900     13.32     14.13
2417.45/605.66	c  N dy  5617   1555617      2043      7752    396025     65020   1096969   4656496     13.33     17.26
2449.36/613.61	c  N dy  5693   1575789      2043      7752    396027     84571   1096969   6586683     13.33     14.25
2486.08/622.87	c  N dy  5765   1596293      2043      7752    396028    104459   1096969   8892675     13.34     14.96
2518.85/631.01	c  N dy  5845   1618243      2043      7752    396028     72388   1096969   5330369     13.34     14.26
2551.96/639.33	c  N dy  5927   1638332      2043      7752    396028     91982   1096969   7541378     13.35     31.27
2586.69/648.07	c  N dy  5999   1658432      2043      7752    396030     57074   1096969   3558386     13.36     22.28
2614.63/655.00	c  N dy  6085   1678678      2043      7752    396031     76799   1096969   5770283     13.39     14.57
2649.35/663.70	c  N dy  6142   1700969      2043      7752    396031     98379   1096969   7941099     13.36     14.22
2664.93/667.69	c  S st  6178   1710340      2043      7752    396031    107496   1096969   9013580     13.37   no data
2666.13/667.97	c  S st  6178   1710842      2043      7752    396031    107998   1096969   9075902     13.37   no data
2666.13/667.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2680.09/671.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 95.0M T:  3.44
2680.09/671.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2680.09/671.48	c bin-w-bin subsume rem            1 bins  time:  0.03 s
2698.89/676.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.70 s
2699.25/676.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.03 s
2699.25/676.24	c Removed useless bin:       0  fixed:     0  props:   1.97M  time:  0.03 s
2699.65/676.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
2705.64/677.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.29 s
2793.47/699.82	c lits-rem:      4800  cl-subs:     5788  v-elim:      0  v-fix:    0  time: 21.95 s
2793.47/699.83	c vivif2 --  cl tried     7752 cl shrink        1 lits rem          1 time: 0.01
2794.66/700.10	c vivif2 --  cl tried   102210 cl shrink      577 lits rem        592 time: 0.27
2796.25/700.53	c asymm  cl-useful: 0/311/7752 lits-rem:0 time: 0.43
2796.25/700.54	c calculated reachability. Time: 0.00
2796.25/700.54	c  N dy  6178   1710842      2043      7752    396030    102210   1096968   8865789     13.37   no data
2831.78/709.47	c  N dy  6258   1730855      2043      7752    396032     66340   1096968   4566491     13.38     21.98
2862.92/717.27	c  N dy  6362   1750953      2043      7752    396032     85939   1096968   7083414     13.42     26.13
2900.88/726.74	c  N dy  6434   1771202      2043      7752    396032    105770   1096968   9184505     13.43     14.32
2934.37/735.16	c  N dy  6522   1791944      2043      7752    396032     69507   1096968   4926289     13.44     14.18
2970.72/744.24	c  N dy  6635   1812751      2043      7752    396032     89861   1096968   7621018     13.48     14.22
3016.61/755.77	c  N dy  6695   1835538      2043      7752    396033    111895   1096968  10117813     13.47     14.21
3049.34/763.90	c  N dy  6742   1855577      2043      7752    396034     73890   1096968   5284884     13.46     18.85
3082.47/772.25	c  N dy  6817   1877113      2043      7752    396034     94760   1096968   7432885     13.46     14.29
3120.42/781.79	c  N dy  6880   1897460      2043      7752    396034    114508   1096968   9768342     13.46     14.68
3148.74/788.88	c  N dy  6949   1917787      2043      7752    396035     75993   1096968   5394972     13.47     14.39
3182.66/797.33	c  N dy  7053   1937870      2043      7752    396035     95556   1096968   7818276     13.50     20.43
3230.97/809.47	c  N dy  7155   1958531      2043      7752    396036    115664   1096968  10307338     13.52     14.34
3262.10/817.23	c  N dy  7235   1978591      2043      7752    396038     75962   1096968   5819494     13.53     14.27
3298.43/826.37	c  N dy  7324   1999453      2043      7752    396038     96236   1096968   8147878     13.54     14.33
3344.37/837.83	c  N dy  7403   2019653      2043      7752    396038    115838   1096968  10105366     13.55     14.37
3373.88/845.29	c  N dy  7454   2039700      2043      7752    396038     75001   1096968   5302465     13.54     14.80
3407.41/853.68	c  N dy  7537   2060532      2043      7752    396038     95299   1096968   7587336     13.54     14.74
3452.52/864.91	c  N dy  7649   2080728      2043      7752    396039    114998   1096968   9980417     13.57     14.42
3484.88/873.08	c  N dy  7711   2100995      2043      7752    396039     73384   1096968   4997455     13.57     14.30
3515.21/880.61	c  N dy  7784   2121016      2043      7752    396039     92810   1096968   7155473     13.58     23.40
3554.31/890.48	c  N dy  7853   2141064      2043      7752    396039    112215   1096968   9210623     13.58     17.45
3592.23/899.92	c  N dy  7916   2162106      2043      7752    396041     70513   1096968   4738728     13.58     14.42
3621.00/907.16	c  N dy  8003   2182205      2043      7752    396041     90096   1096968   6892878     13.60     19.69
3661.28/917.21	c  N dy  8095   2202912      2043      7752    396042    110233   1096968   9100006     13.62     14.52
3677.25/921.21	c  S st  8122   2210843      2043      7752    396042    117932   1096968  10034840     13.62     12.59
3678.44/921.55	c  S st  8122   2211344      2043      7752    396042    118433   1096968  10094734     13.62   no data
3678.44/921.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3694.02/925.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 102.7M T:  3.87
3694.02/925.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3694.02/925.49	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3712.81/930.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.69 s
3713.21/930.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2043 time:  0.03 s
3713.21/930.25	c Removed useless bin:       0  fixed:     0  props:   1.96M  time:  0.03 s
3713.57/930.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
3719.96/931.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.39 s
3785.03/948.26	c lits-rem:      2222  cl-subs:     5509  v-elim:      0  v-fix:    0  time: 16.27 s
3785.03/948.27	c vivif2 --  cl tried     7752 cl shrink        2 lits rem          2 time: 0.01
3786.23/948.53	c vivif2 --  cl tried   112924 cl shrink      916 lits rem        996 time: 0.26
3787.45/948.89	c asymm  cl-useful: 0/668/7752 lits-rem:0 time: 0.36
3787.45/948.90	c calculated reachability. Time: 0.00
3787.45/948.90	c  N dy  8122   2211344      2043      7752    396042    112924   1096966   9902251     13.62   no data
3830.94/959.71	c  N dy  8189   2233121      2043      7752    396043     70995   1096966   4713471     13.62     14.47
3858.12/966.55	c  N dy  8227   2253293      2043      7752    396043     90549   1096966   6418770     13.60     14.34
3890.01/974.53	c  N dy  8301   2273363      2043      7752    396043    110148   1096966   8908194     13.61     22.13
3933.92/985.53	c  N dy  8388   2293964      2043      7752    396044     66031   1096966   4195449     13.62     14.48
3966.26/993.66	c  N dy  8467   2313978      2043      7752    396045     85554   1096966   6623744     13.64     14.54
4009.77/1004.54	c  N dy  8569   2334071      2043      7752    396045    105109   1096966   9039207     13.66     14.46
4062.06/1017.69	c  N dy  8650   2354128      2043      7752    396046    124637   1096966  11472189     13.68     51.14
4101.98/1027.63	c  N dy  8727   2374394      2043      7752    396047     79192   1096966   5876231     13.69     14.60
4137.11/1036.48	c  N dy  8793   2395067      2043      7752    396047     99304   1096966   8025280     13.69     14.52
4182.65/1047.86	c  N dy  8876   2416338      2043      7752    396047    120023   1096966  10227706     13.71     14.53
4230.95/1059.92	c  N dy  8952   2437800      2043      7752    396048     74635   1096966   4961017     13.72     14.80
4268.04/1069.27	c  N dy  9085   2457829      2043      7752    396050     94205   1096966   7578170     13.76     31.79
4315.94/1081.23	c  N dy  9153   2478918      2043      7752    396050    114709   1096966   9816655     13.77     14.53
4374.24/1095.83	c  N dy  9288   2499016      2043      7752    396050    134308   1096966  12353505     13.81     17.31
4404.57/1103.43	c  N dy  9350   2519057      2043      7752    396050     86584   1096966   6568854     13.81     14.68
4447.28/1114.16	c  N dy  9424   2539139      2043      7752    396050    106120   1096966   8813490     13.81     16.97
4502.77/1128.07	c  N dy  9494   2561122      2043      7752    396050    127439   1096966  11203294     13.80     14.59
4546.69/1139.00	c  N dy  9575   2581156      2043      7752    396050     78857   1096966   5570422     13.81     22.65
4582.23/1147.92	c  N dy  9665   2601380      2043      7752    396051     98530   1096966   7990885     13.83     14.90
4631.70/1160.37	c  N dy  9740   2621383      2043      7752    396052    117955   1096966  10246295     13.84     60.08
4693.17/1175.72	c  N dy  9852   2642090      2043      7752    396052     69130   1096966   4357801     13.87     14.73
4725.51/1183.88	c  N dy  9951   2662165      2043      7752    396052     88690   1096966   6863593     13.88     17.54
4768.23/1194.57	c  N dy 10059   2682377      2043      7752    396052    108423   1096966   9316541     13.91     14.86

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-3366704-1305433671/watcher-3366704-1305433671 -o /tmp/evaluation-result-3366704-1305433671/solver-3366704-1305433671 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366704-1305433671.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.63 7.75 7.56 7/265 26050
/proc/meminfo: memFree=23039488/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=208384 CPUtime=0.01 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) D 26048 26050 18974 0 -1 4202496 1592 0 0 0 1 0 0 0 23 0 4 0 654965334 213385216 1507 33554432000 4194304 4580107 140735605429968 18446744073709551615 246516496742 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 52129 1528 336 95 0 47111 0
[pid=26050/tid=26051] ppid=26048 vsize=209212 CPUtime=0 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 521 0 0 0 0 0 0 0 24 0 4 0 654965334 214233088 1849 33554432000 4194304 4580107 140735605429968 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=209212 CPUtime=0 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 507 0 0 0 0 0 0 0 24 0 4 0 654965334 214233088 1853 33554432000 4194304 4580107 140735605429968 18446744073709551615 246516495045 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=209212 CPUtime=0 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 101 0 0 0 0 0 0 0 24 0 4 0 654965334 214233088 1857 33554432000 4194304 4580107 140735605429968 18446744073709551615 246516834107 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0427681 s]
/proc/loadavg: 6.63 7.75 7.56 7/265 26050
/proc/meminfo: memFree=23039488/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=288124 CPUtime=0.13 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) D 26048 26050 18974 0 -1 4202496 6136 0 0 0 12 1 0 0 18 0 4 0 654965334 295038976 5950 33554432000 4194304 4580107 140735605429968 18446744073709551615 246516877495 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 72097 6100 336 95 0 67079 0
[pid=26050/tid=26051] ppid=26048 vsize=288388 CPUtime=0.03 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 1587 0 0 0 3 0 0 0 18 0 4 0 654965334 295309312 6211 33554432000 4194304 4580107 140735605429968 18446744073709551615 246516495393 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=288520 CPUtime=0.03 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 1736 0 0 0 3 0 0 0 18 0 4 0 654965334 295444480 6270 33554432000 4194304 4580107 140735605429968 18446744073709551615 4511072 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=288652 CPUtime=0.01 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) D 26048 26050 18974 0 -1 4202560 1205 0 0 0 1 0 0 0 18 0 4 0 654965334 295579648 6440 33554432000 4194304 4580107 140735605429968 18446744073709551615 246516495393 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 288124

[startup+0.111094 s]
/proc/loadavg: 6.63 7.75 7.56 7/265 26050
/proc/meminfo: memFree=23039488/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=296720 CPUtime=1.03 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) D 26048 26050 18974 0 -1 4202496 15318 0 0 0 99 4 0 0 18 0 4 0 654965334 303841280 15133 33554432000 4194304 4580107 140735605429968 18446744073709551615 246516499992 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 74345 15543 369 95 0 69327 0
[pid=26050/tid=26051] ppid=26048 vsize=298040 CPUtime=0.26 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 4049 0 0 0 25 1 0 0 18 0 4 0 654965334 305192960 16030 33554432000 4194304 4580107 140735605429968 18446744073709551615 246516492965 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=299096 CPUtime=0.26 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 4561 0 0 0 26 0 0 0 18 0 4 0 654965334 306274304 16816 33554432000 4194304 4580107 140735605429968 18446744073709551615 4515183 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=308360 CPUtime=0.79 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 4740 0 0 0 78 1 0 0 19 0 4 0 654965334 315760640 25471 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 296720

[startup+0.930569 s]
/proc/loadavg: 6.63 7.75 7.56 7/265 26050
/proc/meminfo: memFree=23039488/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=308536 CPUtime=3.66 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 27294 0 0 0 358 8 0 0 18 0 4 0 654965334 315940864 26146 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294555 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 77134 26147 376 95 0 72116 0
[pid=26050/tid=26051] ppid=26048 vsize=308536 CPUtime=0.91 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 7564 0 0 0 89 2 0 0 18 0 4 0 654965334 315940864 26147 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=308536 CPUtime=0.91 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 6688 0 0 0 90 1 0 0 18 0 4 0 654965334 315940864 26147 33554432000 4194304 4580107 140735605429968 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=308536 CPUtime=0.89 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 4949 0 0 0 88 1 0 0 19 0 4 0 654965334 315940864 26147 33554432000 4194304 4580107 140735605429968 18446744073709551615 4320741 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 308536

[startup+1.03055 s]
/proc/loadavg: 6.63 7.75 7.56 7/265 26050
/proc/meminfo: memFree=23039488/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=308668 CPUtime=4.06 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 27874 0 0 0 398 8 0 0 19 0 4 0 654965334 316076032 26726 33554432000 4194304 4580107 140735605429968 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 77167 26726 376 95 0 72149 0
[pid=26050/tid=26051] ppid=26048 vsize=308668 CPUtime=1.01 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 7641 0 0 0 99 2 0 0 18 0 4 0 654965334 316076032 26726 33554432000 4194304 4580107 140735605429968 18446744073709551615 4316647 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=308668 CPUtime=1.01 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 6837 0 0 0 100 1 0 0 18 0 4 0 654965334 316076032 26726 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=308668 CPUtime=0.99 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 5148 0 0 0 98 1 0 0 19 0 4 0 654965334 316076032 26726 33554432000 4194304 4580107 140735605429968 18446744073709551615 4321048 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 308668

[startup+1.50047 s]
/proc/loadavg: 6.63 7.75 7.56 7/265 26050
/proc/meminfo: memFree=23039488/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=319488 CPUtime=5.94 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 32608 0 0 0 585 9 0 0 19 0 4 0 654965334 327155712 26763 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 79872 26763 376 95 0 74854 0
[pid=26050/tid=26051] ppid=26048 vsize=319488 CPUtime=1.48 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 8736 0 0 0 145 3 0 0 19 0 4 0 654965334 327155712 26763 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=319488 CPUtime=1.48 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 7852 0 0 0 147 1 0 0 19 0 4 0 654965334 327155712 26763 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=319488 CPUtime=1.46 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 6370 0 0 0 145 1 0 0 19 0 4 0 654965334 327155712 26763 33554432000 4194304 4580107 140735605429968 18446744073709551615 4318491 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 319488

[startup+3.10118 s]
/proc/loadavg: 6.63 7.75 7.56 10/269 26054
/proc/meminfo: memFree=22887188/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=312212 CPUtime=12.32 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 44278 0 0 0 1221 11 0 0 23 0 4 0 654965334 319705088 30386 33554432000 4194304 4580107 140735605429968 18446744073709551615 4331514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 78053 30386 377 95 0 73035 0
[pid=26050/tid=26051] ppid=26048 vsize=312212 CPUtime=3.08 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 11864 0 0 0 305 3 0 0 23 0 4 0 654965334 319705088 30386 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=312212 CPUtime=3.08 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 10724 0 0 0 307 1 0 0 23 0 4 0 654965334 319705088 30386 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=312212 CPUtime=3.04 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 9315 0 0 0 302 2 0 0 25 0 4 0 654965334 319705088 30386 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 312212

[startup+6.30059 s]
/proc/loadavg: 6.82 7.77 7.57 9/269 26054
/proc/meminfo: memFree=22811220/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=325628 CPUtime=25.09 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 60509 0 0 0 2495 14 0 0 25 0 4 0 654965334 333443072 38089 33554432000 4194304 4580107 140735605429968 18446744073709551615 4413640 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 81407 38089 378 95 0 76389 0
[pid=26050/tid=26051] ppid=26048 vsize=325628 CPUtime=6.28 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 15408 0 0 0 624 4 0 0 25 0 4 0 654965334 333443072 38089 33554432000 4194304 4580107 140735605429968 18446744073709551615 4413640 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=325628 CPUtime=6.28 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 14511 0 0 0 626 2 0 0 25 0 4 0 654965334 333443072 38089 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=325628 CPUtime=6.22 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 14315 0 0 0 619 3 0 0 25 0 4 0 654965334 333443072 38089 33554432000 4194304 4580107 140735605429968 18446744073709551615 4413168 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 325628

[startup+12.7004 s]
/proc/loadavg: 6.92 7.77 7.57 10/269 26054
/proc/meminfo: memFree=22694428/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=342568 CPUtime=50.67 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 78345 0 0 0 5050 17 0 0 25 0 4 0 654965334 350789632 52475 33554432000 4194304 4580107 140735605429968 18446744073709551615 4416732 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 85642 52475 379 95 0 80624 0
[pid=26050/tid=26051] ppid=26048 vsize=342568 CPUtime=12.69 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 16579 0 0 0 1265 4 0 0 25 0 4 0 654965334 350789632 52475 33554432000 4194304 4580107 140735605429968 18446744073709551615 4416737 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=342568 CPUtime=12.69 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 17884 0 0 0 1267 2 0 0 25 0 4 0 654965334 350789632 52475 33554432000 4194304 4580107 140735605429968 18446744073709551615 4413617 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=342568 CPUtime=12.57 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 24399 0 0 0 1253 4 0 0 25 0 4 0 654965334 350789632 52475 33554432000 4194304 4580107 140735605429968 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 342568

[startup+25.5011 s]
/proc/loadavg: 7.40 7.83 7.60 10/269 26055
/proc/meminfo: memFree=22568748/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=501168 CPUtime=101.75 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 111120 0 0 0 10151 24 0 0 25 0 4 0 654965334 513196032 76504 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 125292 76504 379 95 0 120274 0
[pid=26050/tid=26051] ppid=26048 vsize=501168 CPUtime=25.48 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 26797 0 0 0 2542 6 0 0 25 0 4 0 654965334 513196032 76504 33554432000 4194304 4580107 140735605429968 18446744073709551615 4451903 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=501168 CPUtime=25.48 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 27551 0 0 0 2544 4 0 0 25 0 4 0 654965334 513196032 76504 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=501168 CPUtime=25.26 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 31996 0 0 0 2520 6 0 0 25 0 4 0 654965334 513196032 76504 33554432000 4194304 4580107 140735605429968 18446744073709551615 4413168 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 501168

[startup+51.1004 s]
/proc/loadavg: 7.74 7.88 7.62 10/269 26055
/proc/meminfo: memFree=22410268/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=571976 CPUtime=203.93 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 162549 0 0 0 20360 33 0 0 25 0 4 0 654965334 585703424 100863 33554432000 4194304 4580107 140735605429968 18446744073709551615 4406380 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 142994 100863 379 95 0 137976 0
[pid=26050/tid=26051] ppid=26048 vsize=571976 CPUtime=51.08 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 36941 0 0 0 5099 9 0 0 25 0 4 0 654965334 585703424 100863 33554432000 4194304 4580107 140735605429968 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=571976 CPUtime=51.08 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 32510 0 0 0 5103 5 0 0 25 0 4 0 654965334 585703424 100863 33554432000 4194304 4580107 140735605429968 18446744073709551615 4319905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=571976 CPUtime=50.66 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 57564 0 0 0 5056 10 0 0 25 0 4 0 654965334 585703424 100863 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 571976

[startup+102.301 s]
/proc/loadavg: 7.89 7.89 7.64 9/269 26087
/proc/meminfo: memFree=22168368/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=723472 CPUtime=408.32 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 248176 0 0 0 40777 55 0 0 25 0 4 0 654965334 740835328 127541 33554432000 4194304 4580107 140735605429968 18446744073709551615 4413155 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 180868 127541 379 95 0 175850 0
[pid=26050/tid=26051] ppid=26048 vsize=723472 CPUtime=102.29 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 63421 0 0 0 10215 14 0 0 25 0 4 0 654965334 740835328 127541 33554432000 4194304 4580107 140735605429968 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=723472 CPUtime=102.29 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 44041 0 0 0 10220 9 0 0 25 0 4 0 654965334 740835328 127541 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=723472 CPUtime=101.43 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 84321 0 0 0 10125 18 0 0 25 0 4 0 654965334 740835328 127541 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.32
Current children cumulated vsize (KiB) 723472

[startup+162.301 s]

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

[pid=26050] ppid=26048 vsize=1603844 CPUtime=2563.92 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 1157838 0 0 0 256070 322 0 0 25 0 4 0 654965334 1642336256 232488 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 400961 232488 379 95 0 395943 0
[pid=26050/tid=26051] ppid=26048 vsize=1603844 CPUtime=642.29 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 286120 0 0 0 64145 84 0 0 25 0 4 0 654965334 1642336256 232488 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=1603844 CPUtime=642.3 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 263988 0 0 0 64156 74 0 0 25 0 4 0 654965334 1642336256 232488 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=1603844 CPUtime=637.02 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 353511 0 0 0 63610 92 0 0 25 0 4 0 654965334 1642336256 232488 33554432000 4194304 4580107 140735605429968 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2563.92
Current children cumulated vsize (KiB) 1603844

[startup+702.301 s]
/proc/loadavg: 8.19 8.17 7.90 10/269 26103
/proc/meminfo: memFree=20985700/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=1599232 CPUtime=2803.45 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 1239966 0 0 0 279994 351 0 0 25 0 4 0 654965334 1637613568 237000 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 399808 237000 379 95 0 394790 0
[pid=26050/tid=26051] ppid=26048 vsize=1599232 CPUtime=702.29 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 308740 0 0 0 70136 93 0 0 25 0 4 0 654965334 1637613568 237000 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=1599232 CPUtime=702.3 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 285914 0 0 0 70149 81 0 0 25 0 4 0 654965334 1637613568 237000 33554432000 4194304 4580107 140735605429968 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=1599232 CPUtime=696.54 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 376113 0 0 0 69554 100 0 0 25 0 4 0 654965334 1637613568 237000 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2803.45
Current children cumulated vsize (KiB) 1599232

[startup+762.301 s]
/proc/loadavg: 8.13 8.17 7.91 10/269 26104
/proc/meminfo: memFree=20989132/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=1256464 CPUtime=3042.95 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 1331345 0 0 0 303912 383 0 0 25 0 4 0 654965334 1286619136 225964 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 314116 225964 379 95 0 309098 0
[pid=26050/tid=26051] ppid=26048 vsize=1256464 CPUtime=762.29 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 336110 0 0 0 76127 102 0 0 25 0 4 0 654965334 1286619136 225964 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=1256464 CPUtime=762.3 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 305236 0 0 0 76143 87 0 0 25 0 4 0 654965334 1286619136 225964 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=1256464 CPUtime=756.04 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 398777 0 0 0 75497 107 0 0 25 0 4 0 654965334 1286619136 225964 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.95
Current children cumulated vsize (KiB) 1256464

[startup+822.301 s]
/proc/loadavg: 8.19 8.17 7.92 10/269 26106
/proc/meminfo: memFree=20819592/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=1464700 CPUtime=3282.48 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 1422969 0 0 0 327836 412 0 0 25 0 4 0 654965334 1499852800 242706 33554432000 4194304 4580107 140735605429968 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 366175 242706 379 95 0 361157 0
[pid=26050/tid=26051] ppid=26048 vsize=1464700 CPUtime=822.31 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 358863 0 0 0 82120 111 0 0 25 0 4 0 654965334 1499852800 242708 33554432000 4194304 4580107 140735605429968 18446744073709551615 4413363 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=1464700 CPUtime=822.31 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 329347 0 0 0 82136 95 0 0 25 0 4 0 654965334 1499852800 242708 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=1464700 CPUtime=815.55 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 421236 0 0 0 81441 114 0 0 25 0 4 0 654965334 1499852800 242708 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3282.48
Current children cumulated vsize (KiB) 1464700

[startup+882.301 s]
/proc/loadavg: 8.21 8.17 7.93 10/269 26107
/proc/meminfo: memFree=20663324/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=1407436 CPUtime=3521.97 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 1497013 0 0 0 351759 438 0 0 25 0 4 0 654965334 1441214464 237719 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 351859 237719 379 95 0 346841 0
[pid=26050/tid=26051] ppid=26048 vsize=1407436 CPUtime=882.3 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 374590 0 0 0 88112 118 0 0 25 0 4 0 654965334 1441214464 237719 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=1407436 CPUtime=882.3 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 352272 0 0 0 88128 102 0 0 25 0 4 0 654965334 1441214464 237719 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=1407436 CPUtime=875.06 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 440862 0 0 0 87386 120 0 0 25 0 4 0 654965334 1441214464 237719 33554432000 4194304 4580107 140735605429968 18446744073709551615 4417015 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3521.97
Current children cumulated vsize (KiB) 1407436

[startup+942.31 s]
/proc/loadavg: 8.28 8.18 7.95 10/269 26109
/proc/meminfo: memFree=20494784/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=1625756 CPUtime=3761.51 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 1574228 0 0 0 375686 465 0 0 25 0 4 0 654965334 1664774144 262429 33554432000 4194304 4580107 140735605429968 18446744073709551615 4416727 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 406439 262429 381 95 0 401421 0
[pid=26050/tid=26051] ppid=26048 vsize=1625756 CPUtime=942.31 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 396669 0 0 0 94105 126 0 0 25 0 4 0 654965334 1664774144 262429 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=1625756 CPUtime=942.31 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 369708 0 0 0 94122 109 0 0 25 0 4 0 654965334 1664774144 262429 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=1625756 CPUtime=934.58 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 458164 0 0 0 93331 127 0 0 25 0 4 0 654965334 1664774144 262429 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3761.51
Current children cumulated vsize (KiB) 1625756

[startup+1002.3 s]
/proc/loadavg: 8.19 8.17 7.96 10/269 26111
/proc/meminfo: memFree=20488044/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=1595420 CPUtime=4000.99 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 1646951 0 0 0 399609 490 0 0 25 0 4 0 654965334 1633710080 244432 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 398855 244432 381 95 0 393837 0
[pid=26050/tid=26051] ppid=26048 vsize=1595420 CPUtime=1002.29 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 420413 0 0 0 100095 134 0 0 25 0 4 0 654965334 1633710080 244432 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=1595420 CPUtime=1002.3 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 382957 0 0 0 100117 113 0 0 25 0 4 0 654965334 1633710080 244432 33554432000 4194304 4580107 140735605429968 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=1595420 CPUtime=994.08 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 479944 0 0 0 99274 134 0 0 25 0 4 0 654965334 1633710080 244432 33554432000 4194304 4580107 140735605429968 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4000.99
Current children cumulated vsize (KiB) 1595420

[startup+1062.3 s]
/proc/loadavg: 8.34 8.20 7.98 10/269 26112
/proc/meminfo: memFree=20498544/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=1551180 CPUtime=4240.5 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 1730846 0 0 0 423530 520 0 0 25 0 4 0 654965334 1588408320 255518 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 387795 255518 381 95 0 382777 0
[pid=26050/tid=26051] ppid=26048 vsize=1551180 CPUtime=1062.3 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 442591 0 0 0 106089 141 0 0 25 0 4 0 654965334 1588408320 255518 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=1551180 CPUtime=1062.3 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 405493 0 0 0 106109 121 0 0 25 0 4 0 654965334 1588408320 255518 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=1551180 CPUtime=1053.59 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 496782 0 0 0 105218 141 0 0 25 0 4 0 654965334 1588408320 255518 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4240.5
Current children cumulated vsize (KiB) 1551180

[startup+1122.3 s]
/proc/loadavg: 8.27 8.20 7.99 10/269 26114
/proc/meminfo: memFree=20424864/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=1678336 CPUtime=4480.02 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 1802445 0 0 0 447455 547 0 0 25 0 4 0 654965334 1718616064 271962 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 419584 271962 381 95 0 414566 0
[pid=26050/tid=26051] ppid=26048 vsize=1678336 CPUtime=1122.3 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 451751 0 0 0 112085 145 0 0 25 0 4 0 654965334 1718616064 271962 33554432000 4194304 4580107 140735605429968 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=1678336 CPUtime=1122.3 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 427693 0 0 0 112101 129 0 0 25 0 4 0 654965334 1718616064 271962 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=1678336 CPUtime=1113.1 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 519649 0 0 0 111162 148 0 0 25 0 4 0 654965334 1718616064 271962 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4480.02
Current children cumulated vsize (KiB) 1678336

[startup+1182.3 s]
/proc/loadavg: 8.20 8.19 8.00 9/269 26115
/proc/meminfo: memFree=20459924/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=1596256 CPUtime=4719.53 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 1869809 0 0 0 471383 570 0 0 25 0 4 0 654965334 1634566144 275343 33554432000 4194304 4580107 140735605429968 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 399064 275343 381 95 0 394046 0
[pid=26050/tid=26051] ppid=26048 vsize=1596256 CPUtime=1182.31 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 474528 0 0 0 118076 155 0 0 25 0 4 0 654965334 1634566144 275343 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=1596256 CPUtime=1182.3 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 444861 0 0 0 118096 134 0 0 25 0 4 0 654965334 1634566144 275343 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=1596256 CPUtime=1172.6 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 525087 0 0 0 117110 150 0 0 25 0 4 0 654965334 1634566144 275343 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4719.53
Current children cumulated vsize (KiB) 1596256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.5 s]
/proc/loadavg: 8.21 8.19 8.00 9/269 26116
/proc/meminfo: memFree=20427680/32951124 swapFree=61565116/67111528
[pid=26050] ppid=26048 vsize=1721744 CPUtime=4800.19 cores=1,3,5,7
/proc/26050/stat : 26050 (strangenight2-m) R 26048 26050 18974 0 -1 4202496 1890573 0 0 0 479440 579 0 0 25 0 4 0 654965334 1763065856 283623 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26050/statm: 430436 283623 381 95 0 425418 0
[pid=26050/tid=26051] ppid=26048 vsize=1721744 CPUtime=1202.51 cores=1,3,5,7
/proc/26050/task/26051/stat : 26051 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 478327 0 0 0 120095 156 0 0 25 0 4 0 654965334 1763065856 283624 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26050/tid=26052] ppid=26048 vsize=1721744 CPUtime=1202.51 cores=1,3,5,7
/proc/26050/task/26052/stat : 26052 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 454232 0 0 0 120114 137 0 0 25 0 4 0 654965334 1763065856 283624 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26050/tid=26053] ppid=26048 vsize=1721744 CPUtime=1192.64 cores=1,3,5,7
/proc/26050/task/26053/stat : 26053 (strangenight2-m) R 26048 26050 18974 0 -1 4202560 528424 0 0 0 119112 152 0 0 25 0 4 0 654965334 1763065856 283624 33554432000 4194304 4580107 140735605429968 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 1721744

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): 1202.56
CPU time (s): 4800.27
CPU user time (s): 4794.43
CPU system time (s): 5.83311
CPU usage (%): 399.171
Max. virtual memory (cumulated for all children) (KiB): 1873648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.43
system time used= 5.83311
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1890577
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= 5264
involuntary context switches= 21905

runsolver used 2.73558 second user time and 7.13891 second system time

The end

Launcher Data 

Begin job on node134 at 2011-05-15 06:27:51
IDJOB=3366704
IDBENCH=88211
IDSOLVER=1844
FILE ID=node134/3366704-1305433671
RUNJOBID= node134-1305433671-26028
PBS_JOBID= 13324593
Free space on /tmp= 73496 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366704-1305433671/watcher-3366704-1305433671 -o /tmp/evaluation-result-3366704-1305433671/solver-3366704-1305433671 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366704-1305433671.cnf

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

MD5SUM BENCH= ba3b1702a651cd8da3e6cada8f2e97bc
RANDOM SEED=2053825684

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23039520 kB
Buffers:        267200 kB
Cached:        6080012 kB
SwapCached:      13768 kB
Active:         976328 kB
Inactive:      8720752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23039520 kB
SwapTotal:    67111528 kB
SwapFree:     61565116 kB
Dirty:           16800 kB
Writeback:           0 kB
AnonPages:     3343428 kB
Mapped:          12184 kB
Slab:           122824 kB
PageTables:      30592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 38964772 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73488 MiB
End job on node134 at 2011-05-15 06:47:56