Trace number 3175270

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf
MD5SUMa5daafd605bd47234b7e5aaf0173eab8
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.3028
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of clauses6230
Sum of the clauses size43610
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 56230

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-3175270-1304105446.cnf'
0.00/0.00	c -- header says num vars:             70
0.00/0.00	c -- header says num clauses:        6230
0.00/0.01	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.01	c -- vars added         70
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.40/0.14	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.55
0.40/0.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.40/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.40/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.40/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.40/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.40/0.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
0.40/0.16	c Finding binary XORs  T:     0.00 s  found:       0
0.40/0.17	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.40/0.17	c calculated reachability. Time: 0.00
0.40/0.17	c Calc default polars -  time:   0.00 s pos:      34 undec:       1 neg:      35
0.40/0.17	c =========================================================================================
0.40/0.17	c types(t): F = full restart, N = normal restart
0.40/0.17	c types(t): S = simplification begin/end, E = solution found
0.40/0.17	c restart types(rt): st = static, dy = dynamic
0.40/0.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.40/0.17	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.40/0.31	c  N dy     7      5012        70      6230         0      2255     43610     48087     20.25     21.48  --
0.40/0.55	c  N dy    19     11315        70      6230         0      4119     43610     82389     20.13     21.20  --
0.40/0.70	c  N dy    26     15425        70      6230         0      7826     43610    171085     20.13     21.20  --
0.40/0.93	c  N dy    51     20185        70      6230         0      7075     43610    142149     20.41     21.50  --
4.39/1.16	c  F st    73     25001        70      6230         0     11445     43610    247909     20.57     20.89  --
4.39/1.16	c  N st    73     25001        70      6230         0     11445     43610    247909     20.57     20.89  --
5.19/1.39	c  N dy    79     30000        70      6230         0      9835     43610    197310     20.57   no data  --
5.19/1.39	c  S st    79     30000        70      6230         0      9835     43610    197310     20.57   no data  --
5.57/1.42	c  S st    79     30503        70      6230         0     10303     43610    208987     20.57   no data  --
5.57/1.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.57/1.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.57/1.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.57/2.43	c lits-rem:      1690  cl-subs:      860  v-elim:      0  v-fix:    0  time:  3.98 s
10.77/2.73	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.18
10.77/2.73	c calculated reachability. Time: 0.00
10.77/2.73	c  N dy    79     30503        70      6230         0      9443     43610    185036     20.57   no data  --
12.76/3.29	c  N dy    94     41996        70      6230         0     12691     43610    250967     20.34     21.58  --
13.96/3.52	c  S st   109     45754        70      6230         0     16119     43610    332862     20.37     19.62  --
13.96/3.56	c  S st   109     46258        70      6230         0      8475     43610    138595     20.37   no data  --
13.96/3.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.96/3.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.96/3.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.96/3.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.96/3.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.96/3.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
13.96/3.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.16/4.32	c lits-rem:       152  cl-subs:       47  v-elim:      0  v-fix:    0  time:  3.00 s
17.16/4.32	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.16/4.32	c vivif2 --  cl tried     8428 cl shrink        0 lits rem          0 time: 0.00
17.96/4.58	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.02
17.96/4.58	c calculated reachability. Time: 0.00
17.96/4.58	c  N dy   109     46258        70      6230         0      8428     43610    137094     20.37   no data  --
19.56/4.96	c  N dy   126     53222        70      6230         0     14727     43610    287219     20.36     21.44  --
20.77/5.28	c  N dy   134     58103        70      6230         0     10102     43610    165289     20.32     21.48  --
21.95/5.55	c  N dy   162     62726        70      6230         0     14306     43610    267633     20.42     21.52  --
23.55/5.97	c  N dy   167     69388        70      6230         0     10373     43610    159778     20.27     18.28  --
23.55/5.97	c  S st   167     69388        70      6230         0     10373     43610    159778     20.27     18.28  --
23.95/6.00	c  S st   167     69889        70      6230         0     10833     43610    170948     20.27   no data  --
23.95/6.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.95/6.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.95/6.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
23.95/6.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.95/6.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.95/6.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
23.95/6.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.55/6.91	c lits-rem:       253  cl-subs:      166  v-elim:      0  v-fix:    0  time:  3.58 s
27.55/6.91	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.55/6.91	c vivif2 --  cl tried    10667 cl shrink        0 lits rem          0 time: 0.00
28.74/7.22	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.22
28.74/7.22	c calculated reachability. Time: 0.00
28.74/7.22	c  N dy   167     69889        70      6230         0     10667     43610    166870     20.27   no data  --
29.96/7.53	c  N dy   168     75674        70      6230         0     15877     43610    291813     20.21     21.34  --
31.15/7.89	c  N dy   199     80514        70      6230         0     20304     43610    399237     20.29     22.46  --
32.74/8.27	c  N dy   217     86108        70      6230         0     14500     43610    246252     20.29     21.38  --
33.14/8.37	c  F st   229     87500        70      6230         0     15753     43610    276658     20.31     20.90  --
34.73/8.75	c  N dy   235     92693        70      6230         0     20441     43610    390298     20.31   no data  --
36.73/9.24	c  N dy   236     99842        70      6230         0     15124     43610    248303     20.21     21.55  --
38.35/9.62	c  S st   270    104833        70      6230         0     19663     43610    357996     20.28     20.36  --
38.35/9.68	c  S st   270    105334        70      6230         0     20136     43610    369597     20.28   no data  --
38.35/9.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.35/9.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.35/9.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
38.35/9.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.35/9.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.35/9.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
38.35/9.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.13/11.34	c lits-rem:      1773  cl-subs:     1759  v-elim:      0  v-fix:    0  time:  6.55 s
45.13/11.34	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
45.13/11.34	c vivif2 --  cl tried    18377 cl shrink        0 lits rem          0 time: 0.02
46.72/11.72	c asymm  cl-useful: 0/4845/6230 lits-rem:0 time: 1.51
46.72/11.72	c calculated reachability. Time: 0.00
46.72/11.72	c  N dy   270    105334        70      6230         0     18377     43610    325723     20.28   no data  --
49.12/12.31	c  N dy   316    112143        70      6230         0     24586     43610    477692     20.37     22.55  --
51.12/12.84	c  N dy   331    119352        70      6230         0     18430     43610    311272     20.30     21.66  --
54.31/13.61	c  N dy   382    128289        70      6230         0     26542     43610    508632     20.39     21.70  --
56.71/14.22	c  N dy   427    136510        70      6230         0     20498     43610    356799     20.44     21.67  --
59.91/15.02	c  N dy   454    145239        70      6230         0     28419     43610    546492     20.45     22.19  --
63.10/15.85	c  N dy   519    155604        70      6230         0     23368     43610    412097     20.52     21.60  --
63.90/16.04	c  S st   523    158002        70      6230         0     25530     43610    462924     20.50     20.52  --
64.30/16.11	c  S st   523    158507        70      6230         0     25999     43610    474446     20.50   no data  --
64.30/16.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
64.30/16.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
64.30/16.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
64.30/16.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
64.30/16.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
64.30/16.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
64.30/16.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
73.09/18.33	c lits-rem:      1837  cl-subs:     2346  v-elim:      0  v-fix:    0  time:  8.77 s
73.09/18.33	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
73.09/18.34	c vivif2 --  cl tried    23653 cl shrink        0 lits rem          0 time: 0.02
73.91/18.53	c asymm  cl-useful: 0/1385/6230 lits-rem:0 time: 0.76
73.91/18.53	c calculated reachability. Time: 0.00
73.91/18.53	c  N dy   523    158507        70      6230         0     23653     43610    414280     20.50   no data  --
78.67/19.75	c  N dy   577    172018        70      6230         0     20609     43610    330216     20.54     21.71  --
87.46/21.94	c  N dy   627    196751        70      6230         0     26534     43610    449258     20.38     21.55  --
92.66/23.26	c  N dy   663    210250        70      6230         0     21668     43610    334939     20.38     21.49  --
98.25/24.65	c  N dy   718    223697        70      6230         0     33860     43610    629234     20.40     23.29  --
103.85/26.00	c  S st   778    237761        70      6230         0     28519     43610    486736     20.45   no data  --
103.85/26.07	c  S st   778    238263        70      6230         0     28983     43610    498139     20.45   no data  --
103.85/26.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
103.85/26.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
103.85/26.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
103.85/26.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
103.85/26.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
103.85/26.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
103.85/26.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
114.63/28.74	c lits-rem:      1986  cl-subs:     2345  v-elim:      0  v-fix:    0  time: 10.55 s
114.63/28.74	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
114.63/28.75	c vivif2 --  cl tried    26638 cl shrink        0 lits rem          0 time: 0.02
116.23/29.14	c asymm  cl-useful: 0/3686/6230 lits-rem:0 time: 1.56
116.23/29.14	c calculated reachability. Time: 0.00
116.23/29.14	c  N dy   778    238263        70      6230         0     26638     43610    437750     20.45   no data  --
125.42/31.44	c  N dy   787    262958        70      6230         0     29905     43610    493417     20.27     21.37  --
138.21/34.61	c  N dy   887    292797        70      6230         0     37047     43610    654664     20.27     21.46  --
143.80/36.04	c  F st   936    306250        70      6230         0     28546     43610    448170     20.29   no data  --
145.79/36.55	c  N dy   943    311547        70      6230         0     33336     43610    565080     20.29     23.54  --
154.98/38.89	c  N dy  1029    331442        70      6230         0     29727     43610    461742     20.32     21.41  --
166.18/41.62	c  N dy  1144    351538        70      6230         0     25350     43610    346982     20.38     21.48  --
168.16/42.19	c  S st  1164    357394        70      6230         0     30636     43610    474716     20.39   no data  --
168.56/42.27	c  S st  1164    357897        70      6230         0     31108     43610    486328     20.39   no data  --
168.56/42.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
168.56/42.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
168.56/42.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
168.56/42.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
168.56/42.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
168.56/42.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
168.56/42.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
178.55/44.70	c lits-rem:      1411  cl-subs:     1825  v-elim:      0  v-fix:    0  time:  9.60 s
178.55/44.70	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
178.55/44.70	c vivif2 --  cl tried    29283 cl shrink        0 lits rem          0 time: 0.02
180.54/45.24	c asymm  cl-useful: 0/2544/6230 lits-rem:0 time: 2.15
180.54/45.24	c calculated reachability. Time: 0.00
180.54/45.24	c  N dy  1164    357897        70      6230         0     29283     43610    439695     20.39   no data  --
193.32/48.48	c  N dy  1230    377959        70      6230         0     24018     43610    299750     20.40     23.52  --
204.52/51.24	c  N dy  1306    400065        70      6230         0     43973     43610    778537     20.41     21.52  --
215.29/53.90	c  N dy  1404    420703        70      6230         0     38273     43610    630981     20.44     21.59  --
226.48/56.70	c  N dy  1483    440808        70      6230         0     31187     43610    444448     20.47     21.65  --
238.47/59.73	c  N dy  1494    464946        70      6230         0     26677     43610    322713     20.37     21.55  --
248.45/62.20	c  N dy  1547    486315        70      6230         0     45954     43610    785773     20.36     21.50  --
260.44/65.26	c  N dy  1663    506354        70      6230         0     37098     43610    563288     20.41     22.58  --
274.81/68.81	c  N dy  1784    526880        70      6230         0     55693     43610   1018170     20.46     21.55  --
279.62/70.05	c  S st  1824    536846        70      6230         0     36653     43610    537658     20.46     20.02  --
280.03/70.14	c  S st  1824    537351        70      6230         0     37115     43610    549299     20.46   no data  --
280.03/70.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
280.03/70.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
280.03/70.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
280.03/70.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
280.03/70.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
280.03/70.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
280.03/70.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
290.00/72.60	c lits-rem:       930  cl-subs:     2003  v-elim:      0  v-fix:    0  time:  9.68 s
290.00/72.60	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
290.00/72.60	c vivif2 --  cl tried    35112 cl shrink        0 lits rem          0 time: 0.02
290.80/72.81	c asymm  cl-useful: 0/1465/6230 lits-rem:0 time: 0.84
290.80/72.81	c calculated reachability. Time: 0.00
290.80/72.81	c  N dy  1824    537351        70      6230         0     35112     43610    498989     20.46   no data  --
301.58/75.59	c  N dy  1875    557379        70      6230         0     53156     43610    930978     20.45     21.99  --
313.56/78.57	c  N dy  1978    577389        70      6230         0     42486     43610    669549     20.48     21.61  --
327.55/82.01	c  N dy  2045    597979        70      6230         0     31276     43610    382095     20.49     21.58  --
338.73/84.84	c  N dy  2124    618059        70      6230         0     49496     43610    821422     20.50     22.02  --
351.52/88.00	c  N dy  2162    638115        70      6230         0     36875     43610    503645     20.49     22.34  --
364.69/91.34	c  N dy  2196    658806        70      6230         0     55422     43610    946164     20.48     21.61  --
378.68/94.85	c  N dy  2299    678914        70      6230         0     42135     43610    618153     20.51     21.65  --
394.68/98.83	c  N dy  2414    699745        70      6230         0     61001     43610   1081378     20.54     21.75  --
411.04/102.95	c  N dy  2525    722137        70      6230         0     48738     43610    766641     20.57     21.68  --
426.22/106.75	c  N dy  2593    742155        70      6230         0     66771     43610   1200491     20.57     22.43  --
438.99/109.92	c  N dy  2694    762191        70      6230         0     51476     43610    819213     20.59     21.69  --
452.98/113.42	c  N dy  2716    782213        70      6230         0     35111     43610    407331     20.56     22.86  --
464.58/116.33	c  N dy  2742    803791        70      6230         0     54523     43610    870603     20.54     21.66  --
466.16/116.79	c  S st  2758    806030        70      6230         0     56551     43610    921152     20.54   no data  --
466.96/116.95	c  S st  2758    806534        70      6230         0     57022     43610    932941     20.54   no data  --
466.96/116.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
466.96/116.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
466.96/116.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
467.36/117.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
467.36/117.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
467.36/117.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
467.36/117.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
497.72/124.69	c lits-rem:      3063  cl-subs:     5560  v-elim:      0  v-fix:    0  time: 30.68 s
497.72/124.69	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
498.12/124.70	c vivif2 --  cl tried    51462 cl shrink        0 lits rem          0 time: 0.04
499.32/125.02	c asymm  cl-useful: 0/935/6230 lits-rem:0 time: 1.30
499.32/125.03	c calculated reachability. Time: 0.00
499.32/125.03	c  N dy  2758    806534        70      6230         0     51462     43610    800102     20.54   no data  --
518.49/129.80	c  N dy  2878    826585        70      6230         0     69649     43610   1245372     20.57     22.37  --
531.68/133.10	c  N dy  2934    848418        70      6230         0     54395     43610    861292     20.56     21.86  --
560.03/140.27	c  N dy  3062    886254        70      6230         0     52445     43610    782689     20.55     21.78  --
578.41/144.80	c  N dy  3178    906278        70      6230         0     70532     43610   1227297     20.58     23.89  --
593.19/148.50	c  N dy  3282    926431        70      6230         0     51839     43610    781023     20.60     21.72  --
608.78/152.45	c  N dy  3320    946473        70      6230         0     69809     43610   1207646     20.59     21.80  --
622.77/156.00	c  N dy  3378    966545        70      6230         0     50036     43610    713430     20.58     21.91  --
639.13/160.05	c  N dy  3450    986939        70      6230         0     68428     43610   1158308     20.58     21.67  --
656.31/164.36	c  N dy  3535   1006972        70      6230         0     47817     43610    652149     20.59     21.87  --
672.28/168.36	c  N dy  3622   1027181        70      6230         0     66077     43610   1095222     20.60     21.94  --
690.26/172.85	c  N dy  3687   1047271        70      6230         0     44501     43610    557985     20.60     24.48  --
708.24/177.36	c  F st  3775   1071875        70      6230         0     66774     43610   1100614     20.61     17.98  --
708.24/177.37	c  N st  3775   1071875        70      6230         0     66774     43610   1100614     20.61     17.98  --
726.61/181.98	c  N dy  3819   1093609        70      6230         0     45729     43610    572250     20.60     21.79  --
742.99/186.04	c  N dy  3925   1114298        70      6230         0     64397     43610   1029048     20.62     21.73  --
764.96/191.55	c  N dy  3999   1135153        70      6230         0     41745     43610    463203     20.63     21.83  --
780.54/195.44	c  N dy  4078   1155201        70      6230         0     59808     43610    902771     20.63     24.21  --
804.91/201.57	c  N dy  4186   1175405        70      6230         0     78096     43610   1351898     20.65     21.76  --
826.48/206.90	c  N dy  4253   1195451        70      6230         0     53762     43610    744068     20.65     22.35  --
842.47/210.93	c  S st  4304   1209801        70      6230         0     66765     43610   1059938     20.66     20.55  --
843.65/211.21	c  S st  4304   1210302        70      6230         0     67219     43610   1071281     20.66   no data  --
843.65/211.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
843.65/211.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
843.65/211.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
843.65/211.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
843.65/211.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
843.65/211.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
843.65/211.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
913.96/228.83	c lits-rem:      3152  cl-subs:     5445  v-elim:      0  v-fix:    0  time: 70.03 s
913.96/228.83	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
913.96/228.84	c vivif2 --  cl tried    61774 cl shrink        0 lits rem          0 time: 0.05
915.56/229.21	c asymm  cl-useful: 0/749/6230 lits-rem:0 time: 1.50
915.56/229.22	c calculated reachability. Time: 0.00
915.56/229.22	c  N dy  4304   1210302        70      6230         0     61774     43610    933157     20.66   no data  --
935.16/234.10	c  N dy  4368   1230546        70      6230         0     80014     43610   1373453     20.65     21.75  --
953.51/238.78	c  N dy  4427   1252279        70      6230         0     56562     43610    794117     20.65     21.79  --
973.48/243.77	c  N dy  4457   1277514        70      6230         0     79132     43610   1335924     20.64     21.87  --
997.45/249.73	c  N dy  4523   1299549        70      6230         0     54999     43610    747581     20.64     21.79  --
1019.42/255.29	c  N dy  4582   1320735        70      6230         0     74002     43610   1202707     20.64     21.74  --
1047.79/262.39	c  N dy  4698   1340954        70      6230         0     47305     43610    548280     20.65     21.96  --
1067.75/267.36	c  N dy  4786   1362548        70      6230         0     66745     43610   1017485     20.66     21.82  --
1093.34/273.76	c  N dy  4864   1384408        70      6230         0     86509     43610   1497293     20.66     21.80  --
1111.70/278.39	c  N dy  4941   1405210        70      6230         0     59333     43610    825083     20.67     21.77  --
1133.26/283.77	c  N dy  5038   1426991        70      6230         0     79010     43610   1306133     20.67     21.90  --
1156.44/289.52	c  N dy  5112   1447082        70      6230         0     50268     43610    590929     20.68     23.56  --
1173.61/293.84	c  N dy  5214   1467143        70      6230         0     68422     43610   1036344     20.69     22.98  --
1199.58/300.30	c  N dy  5304   1491213        70      6230         0     90136     43610   1567209     20.69     21.80  --
1220.77/305.63	c  N dy  5390   1514546        70      6230         0     63346     43610    898615     20.69     21.79  --
1249.51/312.86	c  N dy  5443   1546697        70      6230         0     92175     43610   1590140     20.67     21.87  --
1270.29/318.06	c  N dy  5543   1566960        70      6230         0     61797     43610    848000     20.68     21.85  --
1291.85/323.44	c  N dy  5668   1586966        70      6230         0     79872     43610   1295676     20.70     22.68  --
1322.21/331.05	c  N dy  5726   1614323        70      6230         0     54914     43610    664043     20.69     21.81  --
1342.19/336.04	c  N dy  5830   1636162        70      6230         0     74695     43610   1149891     20.70     21.91  --
1417.68/354.98	c  N dy  5930   1710303        70      6230         0     90139     43610   1446559     20.63     17.30  --
1417.68/354.98	c  S st  5930   1710303        70      6230         0     90139     43610   1446559     20.63     17.30  --
1418.88/355.29	c  S st  5930   1710804        70      6230         0     90602     43610   1458195     20.63   no data  --
1419.28/355.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1419.28/355.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1419.28/355.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
1419.69/355.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1419.69/355.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1419.69/355.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1419.69/355.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1655.38/414.50	c lits-rem:      3682  cl-subs:    14470  v-elim:      0  v-fix:    0  time: 236.02 s
1655.38/414.50	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1655.79/414.52	c vivif2 --  cl tried    76132 cl shrink        0 lits rem          0 time: 0.06
1657.36/414.98	c asymm  cl-useful: 0/550/6230 lits-rem:0 time: 1.86
1657.36/414.98	c calculated reachability. Time: 0.00
1657.36/414.98	c  N dy  5930   1710804        70      6230         0     76132     43610   1152479     20.63   no data  --
1691.72/423.52	c  N dy  6025   1730883        70      6230         0     94277     43610   1595787     20.64     21.77  --
1720.89/430.88	c  N dy  6099   1752184        70      6230         0     63171     43610    848915     20.64     21.81  --
1749.65/438.06	c  N dy  6203   1772281        70      6230         0     81345     43610   1295334     20.65     21.92  --
1783.22/446.45	c  N dy  6283   1792305        70      6230         0     99416     43610   1735383     20.65     23.31  --
1820.34/455.74	c  N dy  6387   1822318        70      6230         0     74703     43610   1111015     20.65     21.79  --
1851.51/463.54	c  N dy  6494   1842381        70      6230         0     92821     43610   1556391     20.66     23.52  --
1885.46/472.07	c  N dy  6640   1862459        70      6230         0     58028     43610    695840     20.68     21.77  --
1907.03/477.45	c  N dy  6750   1882489        70      6230         0     76139     43610   1140066     20.69     22.54  --
1933.00/483.92	c  N dy  6856   1902572        70      6230         0     94300     43610   1587558     20.70     25.51  --
1962.56/491.35	c  N dy  6944   1923634        70      6230         0     59296     43610    708777     20.70     21.81  --
1984.94/496.97	c  N dy  7046   1946555        70      6230         0     79988     43610   1218817     20.71     21.90  --
2010.49/503.38	c  N dy  7113   1967815        70      6230         0     99179     43610   1684856     20.71     21.81  --
2038.85/510.48	c  N dy  7234   1988265        70      6230         0     62609     43610    775629     20.72     21.82  --
2062.42/516.33	c  N dy  7319   2011581        70      6230         0     83487     43610   1281490     20.72     21.82  --
2088.79/522.96	c  N dy  7405   2031597        70      6230         0    101520     43610   1725622     20.73     21.88  --
2115.96/529.79	c  N dy  7491   2052709        70      6230         0     64712     43610    816387     20.73     21.95  --
2139.92/535.76	c  N dy  7560   2077344        70      6230         0     86797     43610   1352869     20.73     21.88  --
2167.88/542.79	c  N dy  7654   2097350        70      6230         0    104880     43610   1797946     20.74     23.29  --
2193.05/549.00	c  N dy  7704   2117894        70      6230         0     66778     43610    852998     20.74     21.87  --
2213.84/554.23	c  N dy  7765   2137934        70      6230         0     84781     43610   1290060     20.74     21.84  --
2247.78/562.74	c  N dy  7856   2162427        70      6230         0    106818     43610   1825080     20.74     21.89  --
2294.11/574.35	c  N dy  7878   2210804        70      6230         0     92108     43610   1410320     20.67     16.92  --
2294.11/574.35	c  S st  7878   2210804        70      6230         0     92108     43610   1410320     20.67     16.92  --
2295.31/574.63	c  S st  7878   2211307        70      6230         0     92565     43610   1421738     20.67   no data  --
2295.31/574.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2295.31/574.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2295.31/574.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
2295.71/574.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2295.71/574.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2295.71/574.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2295.71/574.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2424.77/607.05	c lits-rem:      5280  cl-subs:    11112  v-elim:      0  v-fix:    0  time: 129.07 s
2424.77/607.05	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2424.77/607.07	c vivif2 --  cl tried    81453 cl shrink        0 lits rem          0 time: 0.06
2426.34/607.48	c asymm  cl-useful: 0/557/6230 lits-rem:0 time: 1.66
2426.34/607.49	c calculated reachability. Time: 0.00
2426.34/607.49	c  N dy  7878   2211307        70      6230         0     81453     43610   1191752     20.67   no data  --
2461.89/616.36	c  N dy  7985   2234613        70      6230         0    102546     43610   1709021     20.68     21.84  --
2500.64/626.00	c  N dy  8108   2254674        70      6230         0     62922     43610    745149     20.69     22.97  --
2527.40/632.71	c  N dy  8141   2280057        70      6230         0     85694     43610   1292930     20.68     21.80  --
2560.57/641.02	c  N dy  8197   2300864        70      6230         0    104399     43610   1748241     20.68     21.91  --
2604.92/652.19	c  N dy  8286   2321021        70      6230         0     63577     43610    743507     20.68     21.93  --
2647.65/662.88	c  N dy  8323   2356146        70      6230         0     95075     43610   1486564     20.66     21.79  --
2689.99/673.47	c  N dy  8381   2378700        70      6230         0    115377     43610   1975842     20.66     21.76  --
2722.34/681.57	c  N dy  8462   2398761        70      6230         0     73316     43610    963490     20.66     21.79  --
2782.26/696.55	c  N dy  8533   2440486        70      6230         0    110691     43610   1856790     20.64     21.92  --
2821.41/706.31	c  N dy  8621   2460495        70      6230         0     67834     43610    822056     20.65     24.37  --
2863.35/716.83	c  N dy  8703   2489802        70      6230         0     94091     43610   1448744     20.64     21.75  --
2897.71/725.40	c  N dy  8773   2509816        70      6230         0    112160     43610   1889119     20.64     23.81  --
2935.26/734.86	c  N dy  8878   2529907        70      6230         0     68365     43610    817944     20.65     23.64  --
2960.84/741.26	c  N dy  8957   2550016        70      6230         0     86455     43610   1258708     20.65     21.76  --
3035.13/759.85	c  N dy  8980   2615226        70      6230         0     81667     43610   1111809     20.60     21.70  --
3065.49/767.46	c  N dy  9084   2635298        70      6230         0     99799     43610   1556384     20.60     22.19  --
3100.63/776.25	c  N dy  9218   2655362        70      6230         0    117917     43610   2004705     20.61     21.73  --
3124.21/782.10	c  N dy  9241   2675365        70      6230         0     72099     43610    881316     20.61     21.75  --
3165.75/792.51	c  N dy  9353   2711309        70      6230         0    104284     43610   1648925     20.60     16.44  --
3165.75/792.51	c  S st  9353   2711309        70      6230         0    104284     43610   1648925     20.60     16.44  --
3166.96/792.83	c  S st  9353   2711811        70      6230         0    104745     43610   1660300     20.60   no data  --
3166.96/792.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3166.96/792.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3166.96/792.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
3167.37/792.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3167.37/792.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3167.37/792.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3167.37/792.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3526.87/882.97	c lits-rem:      5390  cl-subs:    10634  v-elim:      0  v-fix:    0  time: 359.55 s
3526.87/882.97	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
3526.87/882.98	c vivif2 --  cl tried    94111 cl shrink        0 lits rem          0 time: 0.07
3528.47/883.33	c asymm  cl-useful: 0/456/6230 lits-rem:0 time: 1.36
3528.47/883.33	c calculated reachability. Time: 0.00
3528.47/883.33	c  N dy  9353   2711811        70      6230         0     94111     43610   1413058     20.60   no data  --
3558.04/890.76	c  N dy  9437   2731846        70      6230         0    112128     43610   1852684     20.60     23.64  --
3594.38/899.82	c  N dy  9528   2751958        70      6230         0     66187     43610    734168     20.61     21.84  --
3617.95/905.78	c  N dy  9660   2772012        70      6230         0     84379     43610   1183621     20.61     23.15  --
3677.47/920.62	c  N dy  9767   2812377        70      6230         0    120426     43610   2047771     20.61     21.87  --
3716.23/930.32	c  N dy  9819   2837360        70      6230         0     77544     43610    986163     20.60     21.69  --
3741.78/936.74	c  N dy  9841   2859785        70      6230         0     97484     43610   1453400     20.59     21.73  --
3776.14/945.33	c  N dy  9902   2879869        70      6230         0    115521     43610   1886932     20.59     22.40  --
3843.66/962.29	c  N dy 10012   2917917        70      6230         0     83364     43610   1102662     20.58     21.71  --
3887.19/973.18	c  N dy 10191   2937994        70      6230         0    101517     43610   1556875     20.59     23.02  --
3935.93/985.31	c  N dy 10309   2958522        70      6230         0    120034     43610   2009963     20.60     21.89  --
3991.45/999.23	c  N dy 10457   2980597        70      6230         0     72715     43610    848377     20.61     21.74  --
4025.40/1007.70	c  N dy 10564   3000656        70      6230         0     90749     43610   1292739     20.61     24.13  --
4083.33/1022.22	c  N dy 10612   3035762        70      6230         0    122107     43610   2038258     20.60     21.74  --
4135.25/1035.26	c  N dy 10704   3059647        70      6230         0     75396     43610    898226     20.60     21.79  --
4170.40/1044.08	c  N dy 10836   3079685        70      6230         0     93489     43610   1345706     20.61     22.51  --
4213.17/1054.71	c  N dy 10953   3099746        70      6230         0    111554     43610   1793749     20.62     23.45  --
4264.28/1067.55	c  N dy 11061   3120229        70      6230         0    130030     43610   2247014     20.62     21.88  --
4305.82/1077.99	c  N dy 11179   3140319        70      6230         0     78919     43610    976389     20.63     22.24  --
4337.79/1085.90	c  N dy 11273   3160468        70      6230         0     97027     43610   1420093     20.64     21.85  --
4380.93/1096.78	c  N dy 11405   3183638        70      6230         0    117893     43610   1934018     20.64     21.81  --
4425.67/1107.95	c  N dy 11489   3204343        70      6230         0    136468     43610   2387788     20.64     21.90  --
4443.24/1112.33	c  S st 11539   3211811        70      6230         0     73074     43610    818091     20.65   no data  --
4444.04/1112.59	c  S st 11539   3212313        70      6230         0     73532     43610    829971     20.65   no data  --
4444.04/1112.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4444.04/1112.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4444.44/1112.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
4444.44/1112.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4444.44/1112.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4444.44/1112.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
4444.44/1112.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4521.54/1131.92	c lits-rem:       634  cl-subs:      665  v-elim:      0  v-fix:    0  time: 76.91 s
4521.54/1131.92	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
4521.54/1131.93	c vivif2 --  cl tried    72867 cl shrink        0 lits rem          0 time: 0.05
4523.14/1132.32	c asymm  cl-useful: 0/617/6230 lits-rem:0 time: 1.56
4523.14/1132.33	c calculated reachability. Time: 0.00
4523.14/1132.33	c  N dy 11539   3212313        70      6230         0     72867     43610    811828     20.65   no data  --
4547.50/1138.43	c  N dy 11592   3232353        70      6230         0     90875     43610   1250618     20.65     21.74  --
4583.85/1147.54	c  N dy 11713   3252502        70      6230         0    109011     43610   1698617     20.65     21.76  --
4632.99/1159.85	c  N dy 11833   3275312        70      6230         0    129582     43610   2202549     20.66     21.83  --
4736.08/1185.69	c  N dy 11879   3346503        70      6230         0    121589     43610   1902029     20.61     21.71  --
4791.57/1199.54	c  N dy 11898   3381049        70      6230         0     81066     43610    987259     20.59     21.76  --

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

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

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


[startup+0 s]
/proc/loadavg: 7.79 8.03 7.99 5/180 2730
/proc/meminfo: memFree=23842176/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 522142310 52465664 352 33554432000 4194304 4650419 140734717927648 18446744073709551615 212687731697 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 12809 352 303 112 0 7774 0
[pid=2730/tid=2731] ppid=2728 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 522142310 52465664 356 33554432000 4194304 4650419 140734717927648 18446744073709551615 47639643051549 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522142310 52465664 356 33554432000 4194304 4650419 140734717927648 18446744073709551615 47639643051954 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522142310 52465664 356 33554432000 4194304 4650419 140734717927648 18446744073709551615 47639643051545 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.105855 s]
/proc/loadavg: 7.79 8.03 7.99 5/180 2730
/proc/meminfo: memFree=23842176/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=216492 CPUtime=0.4 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 1455 0 0 0 40 0 0 0 25 0 4 0 522142310 221687808 1355 33554432000 4194304 4650419 140734717927648 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 54123 1355 366 112 0 49088 0
[pid=2730/tid=2731] ppid=2728 vsize=216492 CPUtime=0.1 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 234 0 0 0 10 0 0 0 25 0 4 0 522142310 221687808 1355 33554432000 4194304 4650419 140734717927648 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=216492 CPUtime=0.1 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 214 0 0 0 10 0 0 0 25 0 4 0 522142310 221687808 1355 33554432000 4194304 4650419 140734717927648 18446744073709551615 4370537 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=216492 CPUtime=0.09 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 362 0 0 0 9 0 0 0 25 0 4 0 522142310 221687808 1356 33554432000 4194304 4650419 140734717927648 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 216492

[startup+0.320317 s]
/proc/loadavg: 7.79 8.03 7.99 5/180 2730
/proc/meminfo: memFree=23842176/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=238460 CPUtime=2.09 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 5239 0 0 0 208 1 0 0 18 0 4 0 522142310 244183040 3882 33554432000 4194304 4650419 140734717927648 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 55431 3947 390 112 0 50396 0
[pid=2730/tid=2731] ppid=2728 vsize=221724 CPUtime=0.99 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 1851 0 0 0 99 0 0 0 25 0 4 0 522142310 227045376 3947 33554432000 4194304 4650419 140734717927648 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=221724 CPUtime=0.99 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 1857 0 0 0 99 0 0 0 19 0 4 0 522142310 227045376 3947 33554432000 4194304 4650419 140734717927648 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=221724 CPUtime=0.99 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 1482 0 0 0 99 0 0 0 25 0 4 0 522142310 227045376 3947 33554432000 4194304 4650419 140734717927648 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 238460

[startup+1.10567 s]
/proc/loadavg: 7.79 8.03 7.99 5/180 2730
/proc/meminfo: memFree=23842176/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=221940 CPUtime=4.39 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 7901 0 0 0 438 1 0 0 19 0 4 0 522142310 227266560 4078 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 55485 4078 391 112 0 50450 0
[pid=2730/tid=2731] ppid=2728 vsize=221940 CPUtime=1.09 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 1908 0 0 0 109 0 0 0 25 0 4 0 522142310 227266560 4078 33554432000 4194304 4650419 140734717927648 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=221940 CPUtime=1.09 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 1910 0 0 0 109 0 0 0 19 0 4 0 522142310 227266560 4078 33554432000 4194304 4650419 140734717927648 18446744073709551615 4330612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=221940 CPUtime=1.09 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 1816 0 0 0 109 0 0 0 25 0 4 0 522142310 227266560 4078 33554432000 4194304 4650419 140734717927648 18446744073709551615 4334278 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 221940

[startup+1.20566 s]
/proc/loadavg: 7.79 8.03 7.99 5/180 2730
/proc/meminfo: memFree=23842176/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=222324 CPUtime=4.79 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 8611 0 0 0 478 1 0 0 19 0 4 0 522142310 227659776 4062 33554432000 4194304 4650419 140734717927648 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 55581 4062 391 112 0 50546 0
[pid=2730/tid=2731] ppid=2728 vsize=222324 CPUtime=1.19 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 2206 0 0 0 119 0 0 0 25 0 4 0 522142310 227659776 4062 33554432000 4194304 4650419 140734717927648 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=222324 CPUtime=1.19 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 2168 0 0 0 119 0 0 0 19 0 4 0 522142310 227659776 4062 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=222324 CPUtime=1.19 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 1875 0 0 0 119 0 0 0 25 0 4 0 522142310 227659776 4062 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 222324

[startup+1.50061 s]
/proc/loadavg: 7.79 8.03 7.99 5/180 2730
/proc/meminfo: memFree=23842176/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=228664 CPUtime=5.98 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 10895 0 0 0 596 2 0 0 19 0 4 0 522142310 234151936 5957 33554432000 4194304 4650419 140734717927648 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 57166 5957 392 112 0 52131 0
[pid=2730/tid=2731] ppid=2728 vsize=228664 CPUtime=1.49 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 2377 0 0 0 149 0 0 0 25 0 4 0 522142310 234151936 5957 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=228664 CPUtime=1.49 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 2326 0 0 0 149 0 0 0 19 0 4 0 522142310 234151936 5957 33554432000 4194304 4650419 140734717927648 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=228664 CPUtime=1.49 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 2014 0 0 0 149 0 0 0 25 0 4 0 522142310 234151936 5957 33554432000 4194304 4650419 140734717927648 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 228664

[startup+3.10631 s]
/proc/loadavg: 7.79 8.03 7.99 9/184 2734
/proc/meminfo: memFree=23800732/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=229004 CPUtime=12.39 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 18118 0 0 0 1236 3 0 0 25 0 4 0 522142310 234500096 10890 33554432000 4194304 4650419 140734717927648 18446744073709551615 4315153 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 57251 10891 392 112 0 52216 0
[pid=2730/tid=2731] ppid=2728 vsize=229004 CPUtime=3.09 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 3946 0 0 0 309 0 0 0 25 0 4 0 522142310 234500096 10891 33554432000 4194304 4650419 140734717927648 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=229004 CPUtime=3.08 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 4823 0 0 0 307 1 0 0 25 0 4 0 522142310 234500096 10891 33554432000 4194304 4650419 140734717927648 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=229004 CPUtime=3.09 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 4783 0 0 0 309 0 0 0 25 0 4 0 522142310 234500096 10891 33554432000 4194304 4650419 140734717927648 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 229004

[startup+6.30073 s]
/proc/loadavg: 7.81 8.03 7.99 9/184 2734
/proc/meminfo: memFree=23791204/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=240064 CPUtime=25.17 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 26557 0 0 0 2511 6 0 0 25 0 4 0 522142310 245825536 13987 33554432000 4194304 4650419 140734717927648 18446744073709551615 4438393 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 60016 13987 392 112 0 54981 0
[pid=2730/tid=2731] ppid=2728 vsize=230648 CPUtime=6.29 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 7008 0 0 0 628 1 0 0 25 0 4 0 522142310 236183552 13404 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=230648 CPUtime=6.26 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 6427 0 0 0 625 1 0 0 25 0 4 0 522142310 236183552 13404 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=230648 CPUtime=6.29 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 6870 0 0 0 628 1 0 0 25 0 4 0 522142310 236183552 13404 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 240064

[startup+12.7006 s]
/proc/loadavg: 7.82 8.03 7.99 9/184 2734
/proc/meminfo: memFree=23766440/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=217600 CPUtime=50.72 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 38369 0 0 0 5064 8 0 0 25 0 4 0 522142310 222822400 19094 33554432000 4194304 4650419 140734717927648 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 54400 19094 392 112 0 49365 0
[pid=2730/tid=2731] ppid=2728 vsize=217600 CPUtime=12.69 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 9465 0 0 0 1267 2 0 0 25 0 4 0 522142310 222822400 19094 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=217600 CPUtime=12.63 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 9426 0 0 0 1261 2 0 0 25 0 4 0 522142310 222822400 19094 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=217600 CPUtime=12.68 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 10204 0 0 0 1266 2 0 0 25 0 4 0 522142310 222822400 19094 33554432000 4194304 4650419 140734717927648 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 217600

[startup+25.5012 s]
/proc/loadavg: 7.86 8.03 7.99 9/184 2735
/proc/meminfo: memFree=23762100/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=247096 CPUtime=101.85 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 56277 0 0 0 10173 12 0 0 25 0 4 0 522142310 253026304 24494 33554432000 4194304 4650419 140734717927648 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 61774 24494 392 112 0 56739 0
[pid=2730/tid=2731] ppid=2728 vsize=247096 CPUtime=25.49 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 14961 0 0 0 2546 3 0 0 25 0 4 0 522142310 253026304 24494 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=247096 CPUtime=25.35 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 14206 0 0 0 2533 2 0 0 25 0 4 0 522142310 253026304 24494 33554432000 4194304 4650419 140734717927648 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=247096 CPUtime=25.48 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 13749 0 0 0 2545 3 0 0 25 0 4 0 522142310 253026304 24494 33554432000 4194304 4650419 140734717927648 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 247096

[startup+51.1006 s]
/proc/loadavg: 7.91 8.03 7.99 9/184 2735
/proc/meminfo: memFree=23747848/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=238224 CPUtime=204.11 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 83698 0 0 0 20390 21 0 0 25 0 4 0 522142310 243941376 28447 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 59556 28447 392 112 0 54521 0
[pid=2730/tid=2731] ppid=2728 vsize=238224 CPUtime=51.08 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 21889 0 0 0 5103 5 0 0 25 0 4 0 522142310 243941376 28447 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=238224 CPUtime=50.82 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 20978 0 0 0 5078 4 0 0 25 0 4 0 522142310 243941376 28447 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=238224 CPUtime=51.08 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 21211 0 0 0 5102 6 0 0 25 0 4 0 522142310 243941376 28447 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 238224

[startup+102.3 s]
/proc/loadavg: 7.96 8.02 7.99 9/184 2772
/proc/meminfo: memFree=24175456/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=295124 CPUtime=408.63 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 111958 0 0 0 40831 32 0 0 25 0 4 0 522142310 302206976 35932 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 73781 35932 392 112 0 68746 0
[pid=2730/tid=2731] ppid=2728 vsize=295124 CPUtime=102.29 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 31113 0 0 0 10221 8 0 0 25 0 4 0 522142310 302206976 35932 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=295124 CPUtime=101.74 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 26530 0 0 0 10168 6 0 0 25 0 4 0 522142310 302206976 35932 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=295124 CPUtime=102.29 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 31510 0 0 0 10218 11 0 0 25 0 4 0 522142310 302206976 35932 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 295124

[startup+162.3 s]

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

[pid=2730] ppid=2728 vsize=469692 CPUtime=2565.75 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 352879 0 0 0 256436 139 0 0 25 0 4 0 522142310 480964608 75907 33554432000 4194304 4650419 140734717927648 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 117423 75907 392 112 0 112388 0
[pid=2730/tid=2731] ppid=2728 vsize=469692 CPUtime=642.31 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 97658 0 0 0 64196 35 0 0 25 0 4 0 522142310 480964608 75907 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=469692 CPUtime=638.81 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 87044 0 0 0 63848 33 0 0 25 0 4 0 522142310 480964608 75907 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=469692 CPUtime=642.3 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 87148 0 0 0 64195 35 0 0 25 0 4 0 522142310 480964608 75907 33554432000 4194304 4650419 140734717927648 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.75
Current children cumulated vsize (KiB) 469692

[startup+702.301 s]
/proc/loadavg: 8.12 8.08 8.01 9/184 2789
/proc/meminfo: memFree=23810968/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=484856 CPUtime=2805.44 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 370781 0 0 0 280400 144 0 0 25 0 4 0 522142310 496492544 78870 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 121214 78870 392 112 0 116179 0
[pid=2730/tid=2731] ppid=2728 vsize=484856 CPUtime=702.31 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 109777 0 0 0 70195 36 0 0 25 0 4 0 522142310 496492544 78870 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=484856 CPUtime=698.49 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 89566 0 0 0 69814 35 0 0 25 0 4 0 522142310 496492544 78870 33554432000 4194304 4650419 140734717927648 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=484856 CPUtime=702.3 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 87222 0 0 0 70195 35 0 0 25 0 4 0 522142310 496492544 78870 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.44
Current children cumulated vsize (KiB) 484856

[startup+762.301 s]
/proc/loadavg: 8.10 8.08 8.01 9/184 2790
/proc/meminfo: memFree=23796980/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=484956 CPUtime=3045.11 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 386663 0 0 0 304357 154 0 0 25 0 4 0 522142310 496594944 79363 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 121239 79363 392 112 0 116204 0
[pid=2730/tid=2731] ppid=2728 vsize=484956 CPUtime=762.31 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 115181 0 0 0 76192 39 0 0 25 0 4 0 522142310 496594944 79363 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=484956 CPUtime=758.16 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 94842 0 0 0 75777 39 0 0 25 0 4 0 522142310 496594944 79363 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=484956 CPUtime=762.3 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 87223 0 0 0 76195 35 0 0 25 0 4 0 522142310 496594944 79363 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 484956

[startup+822.301 s]
/proc/loadavg: 8.13 8.09 8.02 9/184 2792
/proc/meminfo: memFree=23761676/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=524416 CPUtime=3284.79 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 405120 0 0 0 328317 162 0 0 25 0 4 0 522142310 537001984 87549 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 131104 87549 392 112 0 126069 0
[pid=2730/tid=2731] ppid=2728 vsize=524416 CPUtime=822.31 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 120051 0 0 0 82191 40 0 0 25 0 4 0 522142310 537001984 87549 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=524416 CPUtime=817.84 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 100373 0 0 0 81742 42 0 0 25 0 4 0 522142310 537001984 87549 33554432000 4194304 4650419 140734717927648 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=524416 CPUtime=822.3 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 92594 0 0 0 82193 37 0 0 25 0 4 0 522142310 537001984 87549 33554432000 4194304 4650419 140734717927648 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.79
Current children cumulated vsize (KiB) 524416

[startup+882.301 s]
/proc/loadavg: 8.13 8.10 8.02 9/184 2795
/proc/meminfo: memFree=23765056/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=524184 CPUtime=3524.47 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 412138 0 0 0 352280 167 0 0 25 0 4 0 522142310 536764416 86752 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 131046 86752 392 112 0 126011 0
[pid=2730/tid=2731] ppid=2728 vsize=524184 CPUtime=882.31 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 123200 0 0 0 88189 42 0 0 25 0 4 0 522142310 536764416 86752 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=524184 CPUtime=877.51 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 101292 0 0 0 87709 42 0 0 25 0 4 0 522142310 536764416 86752 33554432000 4194304 4650419 140734717927648 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=524184 CPUtime=882.3 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 95373 0 0 0 88191 39 0 0 25 0 4 0 522142310 536764416 86752 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.47
Current children cumulated vsize (KiB) 524184

[startup+942.3 s]
/proc/loadavg: 8.13 8.11 8.03 9/184 2796
/proc/meminfo: memFree=23736436/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=524492 CPUtime=3764.15 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 425232 0 0 0 376241 174 0 0 25 0 4 0 522142310 537079808 91483 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 131123 91483 392 112 0 126088 0
[pid=2730/tid=2731] ppid=2728 vsize=524492 CPUtime=942.32 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 126169 0 0 0 94188 44 0 0 25 0 4 0 522142310 537079808 91483 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=524492 CPUtime=937.18 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 105185 0 0 0 93674 44 0 0 25 0 4 0 522142310 537079808 91483 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=524492 CPUtime=942.31 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 98024 0 0 0 94190 41 0 0 25 0 4 0 522142310 537079808 91483 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.15
Current children cumulated vsize (KiB) 524492

[startup+1002.3 s]
/proc/loadavg: 8.20 8.13 8.04 9/184 2799
/proc/meminfo: memFree=23698156/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=524548 CPUtime=4003.82 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 432581 0 0 0 400204 178 0 0 25 0 4 0 522142310 537137152 95973 33554432000 4194304 4650419 140734717927648 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 131137 95973 392 112 0 126102 0
[pid=2730/tid=2731] ppid=2728 vsize=524548 CPUtime=1002.32 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 126169 0 0 0 100188 44 0 0 25 0 4 0 522142310 537137152 95973 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=524548 CPUtime=996.85 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 109268 0 0 0 99638 47 0 0 25 0 4 0 522142310 537137152 95973 33554432000 4194304 4650419 140734717927648 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=524548 CPUtime=1002.31 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 99955 0 0 0 100190 41 0 0 25 0 4 0 522142310 537137152 95973 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.82
Current children cumulated vsize (KiB) 524548

[startup+1062.3 s]
/proc/loadavg: 8.11 8.12 8.04 9/184 2800
/proc/meminfo: memFree=23684048/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=511572 CPUtime=4243.52 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 440522 0 0 0 424168 184 0 0 25 0 4 0 522142310 523849728 97622 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 127893 97622 392 112 0 122858 0
[pid=2730/tid=2731] ppid=2728 vsize=511572 CPUtime=1062.33 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 126169 0 0 0 106189 44 0 0 25 0 4 0 522142310 523849728 97622 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=511572 CPUtime=1056.53 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 112969 0 0 0 105603 50 0 0 25 0 4 0 522142310 523849728 97622 33554432000 4194304 4650419 140734717927648 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=511572 CPUtime=1062.32 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 100122 0 0 0 106191 41 0 0 25 0 4 0 522142310 523849728 97622 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.52
Current children cumulated vsize (KiB) 511572

[startup+1122.3 s]
/proc/loadavg: 8.07 8.11 8.04 9/184 2802
/proc/meminfo: memFree=23691280/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=511572 CPUtime=4483.19 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 447694 0 0 0 448130 189 0 0 25 0 4 0 522142310 523849728 93075 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 127893 93075 392 112 0 122858 0
[pid=2730/tid=2731] ppid=2728 vsize=511572 CPUtime=1122.32 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 129561 0 0 0 112185 47 0 0 25 0 4 0 522142310 523849728 93075 33554432000 4194304 4650419 140734717927648 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=511572 CPUtime=1116.21 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 114963 0 0 0 111569 52 0 0 25 0 4 0 522142310 523849728 93075 33554432000 4194304 4650419 140734717927648 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=511572 CPUtime=1122.31 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 100419 0 0 0 112190 41 0 0 25 0 4 0 522142310 523849728 93075 33554432000 4194304 4650419 140734717927648 18446744073709551615 4370707 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.19
Current children cumulated vsize (KiB) 511572

[startup+1182.31 s]
/proc/loadavg: 8.06 8.10 8.04 9/184 2804
/proc/meminfo: memFree=23644588/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=524652 CPUtime=4722.89 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 459152 0 0 0 472093 196 0 0 25 0 4 0 522142310 537243648 102774 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 131163 102774 392 112 0 126128 0
[pid=2730/tid=2731] ppid=2728 vsize=524652 CPUtime=1182.33 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 133733 0 0 0 118184 49 0 0 25 0 4 0 522142310 537243648 102774 33554432000 4194304 4650419 140734717927648 18446744073709551615 4363862 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=524652 CPUtime=1175.89 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 114981 0 0 0 117537 52 0 0 25 0 4 0 522142310 537243648 102774 33554432000 4194304 4650419 140734717927648 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=524652 CPUtime=1182.32 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 102870 0 0 0 118189 43 0 0 25 0 4 0 522142310 537243648 102774 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.89
Current children cumulated vsize (KiB) 524652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.04 8.09 8.03 9/184 2804
/proc/meminfo: memFree=23644292/32951124 swapFree=67111524/67111528
[pid=2730] ppid=2728 vsize=524680 CPUtime=4800.38 cores=1,3,5,7
/proc/2730/stat : 2730 (strangenight1-m) R 2728 2730 2566 0 -1 4202496 463150 0 0 0 479838 200 0 0 25 0 4 0 522142310 537272320 101225 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/2730/statm: 131170 101225 392 112 0 126135 0
[pid=2730/tid=2731] ppid=2728 vsize=524680 CPUtime=1201.73 cores=1,3,5,7
/proc/2730/task/2731/stat : 2731 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 134981 0 0 0 120123 50 0 0 25 0 4 0 522142310 537272320 101226 33554432000 4194304 4650419 140734717927648 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2730/tid=2732] ppid=2728 vsize=524680 CPUtime=1195.18 cores=1,3,5,7
/proc/2730/task/2732/stat : 2732 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 114981 0 0 0 119466 52 0 0 25 0 4 0 522142310 537272320 101226 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2730/tid=2733] ppid=2728 vsize=524680 CPUtime=1201.72 cores=1,3,5,7
/proc/2730/task/2733/stat : 2733 (strangenight1-m) R 2728 2730 2566 0 -1 4202560 103430 0 0 0 120129 43 0 0 25 0 4 0 522142310 537272320 101226 33554432000 4194304 4650419 140734717927648 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 524680

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.44
CPU user time (s): 4798.42
CPU system time (s): 2.01969
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 537580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.42
system time used= 2.01969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 463152
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= 505
involuntary context switches= 33038

runsolver used 1.83472 second user time and 4.72928 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 21:30:46
IDJOB=3175270
IDBENCH=82888
IDSOLVER=1588
FILE ID=node139/3175270-1304105446
RUNJOBID= node139-1304104242-2585
PBS_JOBID= 13170647
Free space on /tmp= 72548 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175270-1304105446/watcher-3175270-1304105446 -o /tmp/evaluation-result-3175270-1304105446/solver-3175270-1304105446 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175270-1304105446.cnf

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

MD5SUM BENCH= a5daafd605bd47234b7e5aaf0173eab8
RANDOM SEED=1348143057

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
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	: 5321.49
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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23842456 kB
Buffers:       2046228 kB
Cached:        5931032 kB
SwapCached:          4 kB
Active:        1484168 kB
Inactive:      7105676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23842456 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6240 kB
Writeback:           0 kB
AnonPages:      611916 kB
Mapped:          15540 kB
Slab:           453712 kB
PageTables:       5988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   954120 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= 72540 MiB
End job on node139 at 2011-04-29 21:50:50