Trace number 3368808

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.09 1202.93

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf
MD5SUMa83cf27d1d664cde32ad2f1a49b00933
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
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-3368808-1305403439.cnf'
0.00/0.00	c -- header says num vars:             70
0.00/0.00	c -- header says num clauses:        6230
0.00/0.10	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.10	c -- vars added         70
0.00/0.10	c Parsing time:  0.01 s
0.00/0.10	c  N st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.00/0.14	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.54
0.00/0.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.00/0.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.00/0.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.61/0.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
0.61/0.20	c Finding binary XORs  T:     0.00 s  found:       0
0.61/0.20	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.61/0.20	c calculated reachability. Time: 0.00
0.61/0.20	c Calc default polars -  time:   0.00 s pos:      41 undec:       1 neg:      28
0.61/0.20	c =========================================================================================
0.61/0.20	c types(t): F = full restart, N = normal restart
0.61/0.20	c types(t): S = simplification begin/end, E = solution found
0.61/0.20	c restart types(rt): st = static, dy = dynamic
0.61/0.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.61/0.20	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
1.01/0.31	c  N dy     7      4744        70      6230         0      4281     43610    104596     20.86     22.03  --
2.37/0.66	c  N dy     9     14484        70      6230         0      6967     43610    149597     19.56     20.60  --
3.17/0.86	c  N dy    40     18571        70      6230         0      5606     43610    107978     20.07     22.67  --
3.97/1.10	c  N dy    54     24016        70      6230         0     10511     43610    225564     20.15     21.36  --
4.38/1.16	c  F st    64     25000        70      6230         0     11391     43610    247093     20.24   no data  --
5.16/1.32	c  N st    69     28295        70      6230         0      8228     43610    158359     20.24   no data  --
5.56/1.40	c  S st    70     30000        70      6230         0      9768     43610    195744     20.24   no data  --
5.56/1.43	c  S st    70     30501        70      6230         0     10230     43610    207064     20.24   no data  --
5.56/1.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.56/1.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.56/1.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.55/2.47	c lits-rem:      1697  cl-subs:      950  v-elim:      0  v-fix:    0  time:  4.09 s
10.75/2.76	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.17
10.75/2.76	c calculated reachability. Time: 0.00
10.75/2.76	c  N dy    70     30501        70      6230         0      9280     43610    181971     20.24   no data  --
11.95/3.01	c  N dy    96     35111        70      6230         0     13486     43610    284514     20.43     21.52  --
12.75/3.26	c  N dy   123     40031        70      6230         0     10789     43610    206864     20.59     21.81  --
13.94/3.56	c  N dy   128     45298        70      6230         0     15543     43610    319487     20.50     21.67  --
14.34/3.60	c  S st   133     45751        70      6230         0     15952     43610    329651     20.53   no data  --
14.34/3.64	c  S st   133     46256        70      6230         0      8361     43610    136022     20.53   no data  --
14.34/3.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.34/3.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.34/3.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
14.34/3.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.34/3.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.34/3.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
14.34/3.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.14/4.40	c lits-rem:        84  cl-subs:       35  v-elim:      0  v-fix:    0  time:  2.98 s
17.14/4.40	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.14/4.40	c vivif2 --  cl tried     8326 cl shrink        0 lits rem          0 time: 0.00
18.33/4.64	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.96
18.33/4.64	c calculated reachability. Time: 0.00
18.33/4.64	c  N dy   133     46256        70      6230         0      8326     43610    134931     20.53   no data  --
19.13/4.83	c  N dy   142     50262        70      6230         0     11972     43610    221761     20.50     21.65  --
21.95/5.54	c  N dy   151     64217        70      6230         0     15499     43610    293088     20.22     21.45  --
23.53/5.92	c  N dy   171     69290        70      6230         0     10214     43610    157639     20.23     21.38  --
23.53/5.93	c  S st   172     69385        70      6230         0     10297     43610    159669     20.24   no data  --
23.53/5.96	c  S st   172     69887        70      6230         0     10770     43610    171595     20.24   no data  --
23.53/5.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.53/5.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.53/5.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
23.53/5.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.53/5.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.53/5.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
23.53/5.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.11/6.83	c lits-rem:       329  cl-subs:      124  v-elim:      0  v-fix:    0  time:  3.43 s
27.11/6.83	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.11/6.83	c vivif2 --  cl tried    10646 cl shrink        0 lits rem          0 time: 0.01
28.31/7.13	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.19
28.31/7.13	c calculated reachability. Time: 0.00
28.31/7.13	c  N dy   172     69887        70      6230         0     10646     43610    168080     20.24   no data  --
29.51/7.41	c  N dy   194     74756        70      6230         0     15087     43610    275974     20.30     21.48  --
31.14/7.81	c  N dy   220     80293        70      6230         0     20140     43610    398924     20.36     21.62  --
32.70/8.29	c  F st   251     87500        70      6230         0     15753     43610    279869     20.41     18.66  --
32.70/8.29	c  N st   251     87500        70      6230         0     15753     43610    279869     20.41     18.66  --
34.69/8.71	c  N dy   261     93097        70      6230         0     20796     43610    401897     20.42     22.53  --
36.28/9.19	c  N dy   267     99709        70      6230         0     15013     43610    246363     20.34     21.55  --
37.88/9.50	c  S st   283    104831        70      6230         0     19649     43610    358309     20.35   no data  --
37.88/9.56	c  S st   283    105333        70      6230         0     20116     43610    369994     20.35   no data  --
37.88/9.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.88/9.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.88/9.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
37.88/9.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.88/9.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.88/9.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
37.88/9.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.31/11.12	c lits-rem:      1960  cl-subs:     1888  v-elim:      0  v-fix:    0  time:  6.13 s
44.31/11.12	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
44.31/11.12	c vivif2 --  cl tried    18228 cl shrink        0 lits rem          0 time: 0.02
45.87/11.50	c asymm  cl-useful: 0/4638/6230 lits-rem:0 time: 1.53
45.87/11.50	c calculated reachability. Time: 0.00
45.87/11.50	c  N dy   283    105333        70      6230         0     18228     43610    323894     20.35   no data  --
48.28/12.14	c  N dy   312    112572        70      6230         0     24819     43610    482493     20.38     21.56  --
54.25/13.69	c  N dy   346    134296        70      6230         0     18280     43610    300328     20.20     21.45  --
57.48/14.43	c  N dy   398    142929        70      6230         0     26156     43610    491508     20.28     21.41  --
60.63/15.29	c  N dy   426    153897        70      6230         0     21564     43610    365503     20.26     21.42  --
62.22/15.66	c  S st   450    158000        70      6230         0     25270     43610    455741     20.30   no data  --
62.62/15.73	c  S st   450    158503        70      6230         0     25734     43610    466991     20.30   no data  --
62.62/15.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
62.62/15.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.62/15.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
62.62/15.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
62.62/15.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
62.62/15.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
62.62/15.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
70.64/17.73	c lits-rem:      2244  cl-subs:     2470  v-elim:      0  v-fix:    0  time:  7.89 s
70.64/17.73	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
70.64/17.73	c vivif2 --  cl tried    23264 cl shrink        0 lits rem          0 time: 0.02
71.40/17.91	c asymm  cl-useful: 0/1592/6230 lits-rem:0 time: 0.70
71.40/17.91	c calculated reachability. Time: 0.00
71.40/17.91	c  N dy   450    158503        70      6230         0     23264     43610    405735     20.30   no data  --
75.80/19.04	c  N dy   499    170288        70      6230         0     18686     43610    282992     20.34     21.49  --
80.98/20.31	c  N dy   519    184485        70      6230         0     31449     43610    581308     20.26     21.42  --
84.98/21.31	c  N dy   565    196277        70      6230         0     25940     43610    450772     20.31     21.40  --
90.57/22.77	c  N dy   604    211740        70      6230         0     22790     43610    361268     20.29     21.51  --
96.99/24.35	c  N dy   678    225299        70      6230         0     35116     43610    659751     20.35     22.32  --
102.14/25.61	c  S st   752    237754        70      6230         0     28335     43610    482817     20.41     19.96  --
102.14/25.68	c  S st   752    238256        70      6230         0     28813     43610    494887     20.41   no data  --
102.14/25.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
102.14/25.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
102.14/25.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
102.54/25.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
102.54/25.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
102.54/25.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
102.54/25.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
112.12/28.18	c lits-rem:      2131  cl-subs:     2076  v-elim:      0  v-fix:    0  time:  9.86 s
112.12/28.18	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
112.12/28.18	c vivif2 --  cl tried    26737 cl shrink        0 lits rem          0 time: 0.02
113.71/28.60	c asymm  cl-useful: 0/3594/6230 lits-rem:0 time: 1.66
113.71/28.60	c calculated reachability. Time: 0.00
113.71/28.60	c  N dy   752    238256        70      6230         0     26737     43610    439757     20.41   no data  --
121.30/30.41	c  N dy   842    254271        70      6230         0     22302     43610    320535     20.47     21.57  --
130.88/32.84	c  N dy   878    281777        70      6230         0     27191     43610    420867     20.38     21.52  --
138.45/34.78	c  N dy   921    299857        70      6230         0     22856     43610    310626     20.34     22.42  --
140.88/35.35	c  F st   941    306251        70      6230         0     28641     43610    449245     20.35     19.94  --
146.84/36.84	c  N dy   967    319489        70      6230         0     40571     43610    737881     20.34     21.45  --
156.01/39.13	c  N dy  1072    339728        70      6230         0     37229     43610    648164     20.39     21.58  --
164.40/41.20	c  S st  1132    357385        70      6230         0     30611     43610    475071     20.41   no data  --
164.40/41.28	c  S st  1132    357889        70      6230         0     31081     43610    486446     20.41   no data  --
164.40/41.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
164.40/41.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
164.40/41.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
164.80/41.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
164.80/41.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
164.80/41.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
164.80/41.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
174.37/43.71	c lits-rem:      1537  cl-subs:     1710  v-elim:      0  v-fix:    0  time:  9.58 s
174.37/43.71	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
174.37/43.72	c vivif2 --  cl tried    29371 cl shrink        0 lits rem          0 time: 0.02
175.59/44.08	c asymm  cl-useful: 0/2636/6230 lits-rem:0 time: 1.45
175.59/44.08	c calculated reachability. Time: 0.00
175.59/44.08	c  N dy  1132    357889        70      6230         0     29371     43610    441734     20.41   no data  --
187.95/47.12	c  N dy  1217    378465        70      6230         0     24581     43610    313414     20.44     21.59  --
198.71/49.88	c  N dy  1302    398471        70      6230         0     42687     43610    754285     20.47     22.36  --
211.12/52.91	c  N dy  1386    422824        70      6230         0     40289     43610    676674     20.47     21.58  --
227.85/57.15	c  N dy  1428    458088        70      6230         0     46682     43610    803175     20.38     21.51  --
239.82/60.19	c  N dy  1478    481467        70      6230         0     41639     43610    682800     20.37     21.50  --
252.59/63.33	c  N dy  1595    501472        70      6230         0     32737     43610    458872     20.40     21.57  --
264.56/66.38	c  N dy  1685    522598        70      6230         0     51909     43610    925327     20.43     21.79  --
272.17/68.30	c  S st  1713    536833        70      6230         0     36655     43610    532233     20.41     18.45  --
272.58/68.39	c  S st  1713    537335        70      6230         0     37119     43610    544044     20.41   no data  --
272.58/68.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
272.58/68.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
272.94/68.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
272.94/68.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
272.94/68.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
272.94/68.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
272.94/68.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
283.32/71.04	c lits-rem:       464  cl-subs:     2515  v-elim:      0  v-fix:    0  time: 10.44 s
283.32/71.04	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
283.32/71.05	c vivif2 --  cl tried    34604 cl shrink        0 lits rem          0 time: 0.02
284.12/71.24	c asymm  cl-useful: 0/1602/6230 lits-rem:0 time: 0.76
284.12/71.24	c calculated reachability. Time: 0.00
284.12/71.24	c  N dy  1713    537335        70      6230         0     34604     43610    487374     20.41   no data  --
296.10/74.21	c  N dy  1751    557549        70      6230         0     52795     43610    914004     20.38     21.46  --
308.87/77.43	c  N dy  1876    577975        70      6230         0     42518     43610    669194     20.42     21.50  --
323.24/81.08	c  N dy  1995    597985        70      6230         0     30906     43610    374935     20.46     24.14  --
335.20/84.09	c  N dy  2105    619244        70      6230         0     50175     43610    847143     20.49     21.60  --
348.38/87.30	c  N dy  2150    639692        70      6230         0     37889     43610    525845     20.48     21.56  --
361.14/90.56	c  N dy  2215    659787        70      6230         0     56047     43610    963307     20.48     23.30  --
376.71/94.44	c  N dy  2310    683113        70      6230         0     45486     43610    697658     20.49     21.59  --
391.48/98.12	c  N dy  2378    703766        70      6230         0     64130     43610   1144853     20.50     21.62  --
407.44/102.18	c  N dy  2477    726817        70      6230         0     52412     43610    854225     20.52     21.70  --
424.61/106.41	c  N dy  2570    747917        70      6230         0     38039     43610    489101     20.53     21.66  --
437.37/109.64	c  N dy  2628    768014        70      6230         0     56090     43610    918963     20.53     22.95  --
454.54/113.97	c  N dy  2660    796416        70      6230         0     47324     43610    692464     20.48     21.58  --
460.94/115.53	c  S st  2704    806002        70      6230         0     55936     43610    900191     20.48     19.63  --
461.35/115.67	c  S st  2704    806506        70      6230         0     56397     43610    911716     20.48   no data  --
461.35/115.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
461.35/115.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
461.71/115.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
461.71/115.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
461.71/115.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
461.71/115.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
461.71/115.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
494.04/123.85	c lits-rem:      2080  cl-subs:     5855  v-elim:      0  v-fix:    0  time: 32.41 s
494.04/123.85	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
494.04/123.86	c vivif2 --  cl tried    50542 cl shrink        0 lits rem          0 time: 0.04
495.25/124.12	c asymm  cl-useful: 0/894/6230 lits-rem:0 time: 1.05
495.25/124.12	c calculated reachability. Time: 0.00
495.25/124.12	c  N dy  2704    806506        70      6230         0     50542     43610    778655     20.48   no data  --
516.00/129.36	c  N dy  2805    829008        70      6230         0     36070     43610    420496     20.50     21.59  --
529.16/132.67	c  N dy  2905    849109        70      6230         0     54255     43610    863925     20.51     22.27  --
545.52/136.77	c  N dy  2952    869168        70      6230         0     36399     43610    415135     20.51     22.95  --
560.69/140.54	c  N dy  3068    891636        70      6230         0     56770     43610    911817     20.53     21.72  --
577.85/144.89	c  N dy  3119    911846        70      6230         0     38004     43610    438689     20.52     21.67  --
590.62/148.02	c  N dy  3159    934226        70      6230         0     58112     43610    914606     20.49     21.60  --
610.61/153.02	c  N dy  3274    954279        70      6230         0     38432     43610    438073     20.51     24.47  --
623.78/156.36	c  N dy  3307    977844        70      6230         0     59531     43610    934744     20.48     21.62  --
644.91/161.60	c  N dy  3410    997894        70      6230         0     38989     43610    439553     20.50     22.98  --
657.27/164.70	c  N dy  3478   1017942        70      6230         0     56989     43610    870710     20.50     21.61  --
675.63/169.37	c  N dy  3555   1038740        70      6230         0     75734     43610   1323368     20.51     21.70  --
691.59/173.36	c  N dy  3635   1059837        70      6230         0     55146     43610    817555     20.51     21.64  --
701.18/175.74	c  F st  3688   1071878        70      6230         0     65985     43610   1078813     20.52     20.00  --
708.35/177.52	c  N dy  3709   1079882        70      6230         0     73211     43610   1255467     20.52     22.09  --
724.75/181.65	c  N dy  3779   1100010        70      6230         0     50861     43610    698004     20.52     21.61  --
743.47/186.32	c  N dy  3881   1122239        70      6230         0     70989     43610   1186488     20.52     21.64  --
768.24/192.51	c  N dy  3981   1146639        70      6230         0     51472     43610    701670     20.53     21.65  --
788.17/197.51	c  N dy  4071   1166664        70      6230         0     69579     43610   1141441     20.54     22.58  --
814.51/204.17	c  N dy  4179   1188985        70      6230         0     47278     43610    585897     20.55     21.71  --
837.65/209.91	c  N dy  4291   1209759        70      6230         0     66098     43610   1048169     20.57     20.41  --
837.65/209.91	c  S st  4291   1209759        70      6230         0     66098     43610   1048169     20.57     20.41  --
838.47/210.14	c  S st  4291   1210260        70      6230         0     66562     43610   1059632     20.57   no data  --
838.47/210.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
838.47/210.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
838.47/210.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
838.88/210.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
838.88/210.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
838.88/210.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
838.88/210.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
901.49/225.92	c lits-rem:      2997  cl-subs:     4981  v-elim:      0  v-fix:    0  time: 62.65 s
901.49/225.92	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
901.49/225.94	c vivif2 --  cl tried    61581 cl shrink        0 lits rem          0 time: 0.05
903.09/226.31	c asymm  cl-useful: 0/748/6230 lits-rem:0 time: 1.48
903.09/226.31	c calculated reachability. Time: 0.00
903.09/226.31	c  N dy  4291   1210260        70      6230         0     61581     43610    931821     20.57   no data  --
924.23/231.64	c  N dy  4372   1232142        70      6230         0     81299     43610   1411141     20.58     21.84  --
941.00/235.84	c  N dy  4448   1252223        70      6230         0     56292     43610    794022     20.58     22.52  --
960.16/240.68	c  N dy  4533   1273297        70      6230         0     75349     43610   1257391     20.59     21.74  --
982.51/246.24	c  N dy  4601   1293351        70      6230         0     49345     43610    610983     20.59     22.36  --
1002.46/251.24	c  N dy  4653   1316236        70      6230         0     69847     43610   1103072     20.58     21.80  --
1030.79/258.37	c  N dy  4772   1336263        70      6230         0     87928     43610   1546556     20.60     22.48  --
1047.16/262.40	c  N dy  4795   1356750        70      6230         0     61305     43610    880037     20.58     21.71  --
1073.10/268.99	c  N dy  4905   1379115        70      6230         0     81448     43610   1372733     20.59     21.82  --
1094.65/274.34	c  N dy  4986   1399306        70      6230         0     53758     43610    691912     20.60     21.69  --
1112.60/278.89	c  N dy  5052   1421354        70      6230         0     73528     43610   1165151     20.59     21.78  --
1136.97/284.95	c  N dy  5146   1441473        70      6230         0     91666     43610   1606478     20.60     21.71  --
1152.51/288.88	c  N dy  5213   1461491        70      6230         0     62849     43610    900163     20.60     24.19  --
1174.06/294.22	c  N dy  5328   1481539        70      6230         0     81000     43610   1346566     20.62     22.44  --
1225.19/307.05	c  N dy  5394   1540027        70      6230         0     85475     43610   1391546     20.56     21.93  --
1250.69/313.40	c  N dy  5483   1563431        70      6230         0     58227     43610    759811     20.56     21.74  --
1275.04/319.55	c  N dy  5536   1592728        70      6230         0     84357     43610   1369619     20.54     21.82  --
1300.18/325.80	c  N dy  5645   1612755        70      6230         0     53074     43610    626009     20.55     22.45  --
1317.73/330.22	c  N dy  5715   1634248        70      6230         0     72405     43610   1094355     20.55     21.71  --
1341.29/336.13	c  N dy  5806   1654283        70      6230         0     90508     43610   1536257     20.55     21.66  --
1367.23/342.64	c  N dy  5930   1675477        70      6230         0     59314     43610    765747     20.57     21.71  --
1391.59/348.79	c  N dy  6036   1695494        70      6230         0     77334     43610   1206652     20.58     23.06  --
1414.71/354.57	c  S st  6124   1710261        70      6230         0     90675     43610   1535783     20.59     21.43  --
1416.31/354.91	c  S st  6124   1710762        70      6230         0     91130     43610   1547317     20.59   no data  --
1416.31/354.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1416.31/354.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1416.31/354.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.21
1416.71/355.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1416.71/355.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1416.71/355.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1416.71/355.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1629.76/408.44	c lits-rem:      5471  cl-subs:     8690  v-elim:      0  v-fix:    0  time: 213.08 s
1629.76/408.44	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1629.76/408.46	c vivif2 --  cl tried    82440 cl shrink        0 lits rem          0 time: 0.07
1631.77/408.93	c asymm  cl-useful: 0/556/6230 lits-rem:0 time: 1.90
1631.77/408.93	c calculated reachability. Time: 0.00
1631.77/408.93	c  N dy  6124   1710762        70      6230         0     82440     43610   1322044     20.59   no data  --
1673.25/419.35	c  N dy  6223   1733905        70      6230         0     52377     43610    585385     20.59     21.74  --
1696.00/425.08	c  N dy  6315   1753930        70      6230         0     70415     43610   1024597     20.60     25.14  --
1728.33/433.13	c  N dy  6424   1774016        70      6230         0     88468     43610   1468086     20.61     22.78  --
1769.82/443.57	c  N dy  6501   1796373        70      6230         0     56583     43610    669779     20.61     21.75  --
1807.33/452.93	c  N dy  6526   1827555        70      6230         0     84458     43610   1328803     20.59     21.69  --
1848.47/463.29	c  N dy  6643   1847573        70      6230         0    102594     43610   1775944     20.60     21.82  --
1878.77/470.85	c  N dy  6735   1867596        70      6230         0     67738     43610    933484     20.61     21.85  --
1918.69/480.84	c  N dy  6768   1901761        70      6230         0     98183     43610   1666434     20.59     21.86  --
1949.42/488.54	c  N dy  6788   1925399        70      6230         0     65501     43610    856105     20.57     21.67  --
1976.11/495.28	c  N dy  6891   1945407        70      6230         0     83535     43610   1299311     20.58     23.61  --
2013.62/504.62	c  N dy  6977   1970229        70      6230         0    105868     43610   1837559     20.58     21.79  --
2086.25/522.82	c  N dy  7023   2049543        70      6230         0     66155     43610    842106     20.49     21.65  --
2103.40/527.19	c  N dy  7054   2069569        70      6230         0     84132     43610   1273939     20.48     24.67  --
2141.72/536.72	c  N dy  7182   2097665        70      6230         0    109409     43610   1889264     20.49     21.57  --
2164.09/542.32	c  N dy  7294   2117837        70      6230         0     71342     43610    975775     20.49     21.59  --
2185.62/547.74	c  N dy  7370   2137862        70      6230         0     89321     43610   1414493     20.50     22.08  --
2216.35/555.45	c  N dy  7480   2157923        70      6230         0    107420     43610   1858237     20.51     22.95  --
2242.30/561.97	c  N dy  7571   2177951        70      6230         0     68021     43610    871847     20.51     21.67  --
2264.65/567.57	c  N dy  7657   2198070        70      6230         0     86145     43610   1312312     20.52     21.63  --
2281.00/571.66	c  S st  7714   2210762        70      6230         0     97631     43610   1593376     20.52   no data  --
2282.20/571.96	c  S st  7714   2211267        70      6230         0     98095     43610   1605193     20.52   no data  --
2282.20/571.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2282.20/571.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2282.62/572.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.18
2282.62/572.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2282.62/572.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2282.62/572.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2282.62/572.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2405.52/602.90	c lits-rem:      5455  cl-subs:     9322  v-elim:      0  v-fix:    0  time: 123.02 s
2405.52/602.90	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2405.94/602.91	c vivif2 --  cl tried    88773 cl shrink        0 lits rem          0 time: 0.07
2407.09/603.26	c asymm  cl-useful: 0/494/6230 lits-rem:0 time: 1.38
2407.09/603.26	c calculated reachability. Time: 0.00
2407.09/603.26	c  N dy  7714   2211267        70      6230         0     88773     43610   1373541     20.52   no data  --
2436.24/610.60	c  N dy  7802   2231742        70      6230         0    107207     43610   1824658     20.52     21.67  --
2464.96/617.71	c  N dy  7921   2252254        70      6230         0     67747     43610    859694     20.53     21.69  --
2487.31/623.36	c  N dy  8026   2272291        70      6230         0     85788     43610   1301275     20.54     21.85  --
2520.42/631.62	c  N dy  8166   2294398        70      6230         0    105734     43610   1794619     20.55     21.65  --
2551.15/639.36	c  N dy  8238   2314705        70      6230         0     64739     43610    768773     20.55     21.69  --
2573.90/645.07	c  N dy  8291   2334735        70      6230         0     82748     43610   1200211     20.55     21.67  --
2605.83/653.03	c  N dy  8417   2354756        70      6230         0    100803     43610   1645740     20.56     22.21  --
2657.29/665.94	c  N dy  8511   2378134        70      6230         0     61607     43610    677682     20.57     21.74  --
2685.23/672.90	c  N dy  8607   2398231        70      6230         0     79693     43610   1121021     20.57     22.84  --
2719.14/681.41	c  N dy  8675   2418616        70      6230         0     98098     43610   1569648     20.57     21.87  --
2771.41/694.52	c  N dy  8701   2454924        70      6230         0     69276     43610    839773     20.55     21.76  --
2802.13/702.27	c  N dy  8802   2474967        70      6230         0     87368     43610   1283935     20.55     22.21  --
2840.84/711.97	c  N dy  8906   2495017        70      6230         0    105456     43610   1725535     20.56     22.76  --
2884.73/722.94	c  N dy  8989   2515114        70      6230         0    123569     43610   2167698     20.56     22.77  --
2916.25/730.87	c  N dy  9119   2535163        70      6230         0     79659     43610   1099733     20.57     24.64  --
2952.96/740.09	c  N dy  9258   2555201        70      6230         0     97822     43610   1550634     20.58     21.96  --
2987.68/748.79	c  N dy  9278   2575221        70      6230         0    115671     43610   1973942     20.58     22.32  --
3022.39/757.44	c  N dy  9292   2597848        70      6230         0     72916     43610    904233     20.56     21.68  --
3053.91/765.36	c  N dy  9388   2617863        70      6230         0     91084     43610   1350263     20.57     22.54  --
3099.43/776.77	c  N dy  9540   2639008        70      6230         0    110215     43610   1824151     20.58     21.81  --
3148.47/789.03	c  N dy  9648   2659297        70      6230         0     64588     43610    699337     20.59     21.81  --
3176.40/796.09	c  N dy  9786   2679964        70      6230         0     83250     43610   1163194     20.60     21.69  --
3203.94/803.00	c  N dy  9879   2700036        70      6230         0    101320     43610   1602833     20.60     21.69  --
3222.34/807.55	c  S st  9932   2711268        70      6230         0    111462     43610   1853069     20.60     23.38  --
3223.49/807.89	c  S st  9932   2711771        70      6230         0    111921     43610   1864762     20.60   no data  --
3223.49/807.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3223.49/807.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3223.89/807.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
3224.29/808.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3224.29/808.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3224.29/808.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3224.29/808.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3747.00/939.01	c lits-rem:      6085  cl-subs:    10324  v-elim:      0  v-fix:    0  time: 522.52 s
3747.00/939.01	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
3747.00/939.03	c vivif2 --  cl tried   101597 cl shrink        0 lits rem          0 time: 0.08
3748.20/939.40	c asymm  cl-useful: 0/453/6230 lits-rem:0 time: 1.45
3748.20/939.40	c calculated reachability. Time: 0.00
3748.20/939.40	c  N dy  9932   2711771        70      6230         0    101597     43610   1600461     20.60   no data  --
3803.67/953.21	c  N dy 10054   2750004        70      6230         0     71516     43610    854091     20.59     21.73  --
3827.21/959.19	c  N dy 10149   2770379        70      6230         0     89901     43610   1307030     20.60     21.71  --
3868.72/969.57	c  N dy 10230   2803056        70      6230         0    119133     43610   2003861     20.59     21.68  --
3900.65/977.51	c  N dy 10302   2823329        70      6230         0     72003     43610    859864     20.60     21.69  --
3932.56/985.50	c  N dy 10427   2843684        70      6230         0     90344     43610   1313042     20.60     21.82  --
3970.87/995.14	c  N dy 10489   2863749        70      6230         0    108368     43610   1748394     20.60     22.64  --
4009.57/1004.87	c  N dy 10519   2883771        70      6230         0    126309     43610   2175837     20.60     21.80  --
4046.68/1014.11	c  N dy 10602   2903774        70      6230         0     77856     43610    986800     20.60     23.19  --
4079.40/1022.36	c  N dy 10692   2923778        70      6230         0     95879     43610   1428152     20.60     22.65  --
4125.30/1033.85	c  N dy 10838   2943860        70      6230         0    113993     43610   1879632     20.62     22.47  --
4176.76/1046.79	c  N dy 10959   2963909        70      6230         0    132091     43610   2327933     20.62     23.46  --
4215.06/1056.34	c  N dy 11076   2984586        70      6230         0     83372     43610   1111751     20.63     21.75  --
4253.39/1065.92	c  N dy 11195   3004706        70      6230         0    101469     43610   1558210     20.64     21.75  --
4295.26/1076.47	c  N dy 11275   3024901        70      6230         0    119648     43610   2002668     20.64     21.77  --
4342.34/1088.26	c  N dy 11307   3049082        70      6230         0     72873     43610    832119     20.63     21.80  --
4370.68/1095.36	c  N dy 11356   3069094        70      6230         0     90801     43610   1263623     20.63     21.79  --
4410.18/1105.28	c  N dy 11442   3090187        70      6230         0    109798     43610   1728624     20.63     21.73  --
4453.28/1116.06	c  N dy 11478   3112912        70      6230         0    130141     43610   2220285     20.63     21.86  --
4509.13/1130.07	c  N dy 11601   3141176        70      6230         0     86360     43610   1156430     20.63     21.77  --
4551.44/1140.64	c  N dy 11707   3161250        70      6230         0    104397     43610   1601429     20.63     23.86  --
4600.91/1153.02	c  N dy 11777   3183150        70      6230         0    123999     43610   2075567     20.63     21.75  --
4669.14/1170.12	c  N dy 11894   3211772        70      6230         0     79662     43610    973421     20.64     18.18  --
4669.14/1170.12	c  S st 11894   3211772        70      6230         0     79662     43610    973421     20.64     18.18  --
4670.35/1170.45	c  S st 11894   3212274        70      6230         0     80133     43610    985307     20.64   no data  --
4670.35/1170.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4670.35/1170.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4670.77/1170.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.22
4670.77/1170.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4670.77/1170.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4670.77/1170.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
4670.77/1170.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4785.65/1199.30	c lits-rem:       789  cl-subs:     2856  v-elim:      0  v-fix:    0  time: 114.69 s
4785.65/1199.30	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
4785.65/1199.31	c vivif2 --  cl tried    77277 cl shrink        0 lits rem          0 time: 0.06
4787.25/1199.70	c asymm  cl-useful: 0/598/6230 lits-rem:0 time: 1.55
4787.25/1199.70	c calculated reachability. Time: 0.00
4787.25/1199.70	c  N dy 11894   3212274        70      6230         0     77277     43610    919821     20.64   no data  --

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-3368808-1305403439/watcher-3368808-1305403439 -o /tmp/evaluation-result-3368808-1305403439/solver-3368808-1305403439 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368808-1305403439.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.02 7.88 7.96 2/287 4947
/proc/meminfo: memFree=16813524/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 412 0 0 0 0 0 0 0 18 0 4 0 651946660 52465664 353 33554432000 4194304 4650419 140733202733376 18446744073709551615 47060144330674 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 12809 353 303 112 0 7774 0
[pid=4947/tid=4951] ppid=4944 vsize=281916 CPUtime=0.05 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 214 0 0 0 5 0 0 0 20 0 4 0 651946660 288681984 1274 33554432000 4194304 4650419 140733202733376 18446744073709551615 4370432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=281916 CPUtime=0.04 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 218 0 0 0 4 0 0 0 21 0 4 0 651946660 288681984 1274 33554432000 4194304 4650419 140733202733376 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=281916 CPUtime=0.05 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 300 0 0 0 5 0 0 0 21 0 4 0 651946660 288681984 1274 33554432000 4194304 4650419 140733202733376 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.150322 s]
/proc/loadavg: 7.02 7.88 7.96 2/287 4947
/proc/meminfo: memFree=16813524/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=293600 CPUtime=0.61 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 3051 0 0 0 60 1 0 0 20 0 4 0 651946660 300646400 2774 33554432000 4194304 4650419 140733202733376 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 73400 2784 384 112 0 68365 0
[pid=4947/tid=4951] ppid=4944 vsize=293600 CPUtime=0.15 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 726 0 0 0 15 0 0 0 20 0 4 0 651946660 300646400 2785 33554432000 4194304 4650419 140733202733376 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=293600 CPUtime=0.14 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 725 0 0 0 14 0 0 0 21 0 4 0 651946660 300646400 2786 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=293600 CPUtime=0.15 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 464 0 0 0 15 0 0 0 21 0 4 0 651946660 300646400 2800 33554432000 4194304 4650419 140733202733376 18446744073709551615 218370654842 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 293600

[startup+0.258972 s]
/proc/loadavg: 7.02 7.88 7.96 2/287 4947
/proc/meminfo: memFree=16813524/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=285392 CPUtime=1.01 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 3534 0 0 0 100 1 0 0 20 0 4 0 651946660 292241408 3018 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 71348 3018 390 112 0 66313 0
[pid=4947/tid=4951] ppid=4944 vsize=285392 CPUtime=0.25 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 807 0 0 0 25 0 0 0 20 0 4 0 651946660 292241408 3018 33554432000 4194304 4650419 140733202733376 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=285392 CPUtime=0.24 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 804 0 0 0 24 0 0 0 21 0 4 0 651946660 292241408 3018 33554432000 4194304 4650419 140733202733376 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=285392 CPUtime=0.25 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 674 0 0 0 25 0 0 0 21 0 4 0 651946660 292241408 3018 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 285392

[startup+0.31994 s]
/proc/loadavg: 7.02 7.88 7.96 2/287 4947
/proc/meminfo: memFree=16813524/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=303176 CPUtime=1.25 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 4004 0 0 0 124 1 0 0 20 0 4 0 651946660 310452224 3304 33554432000 4194304 4650419 140733202733376 18446744073709551615 4366394 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 75794 3307 390 112 0 70759 0
[pid=4947/tid=4951] ppid=4944 vsize=303176 CPUtime=0.31 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 994 0 0 0 31 0 0 0 20 0 4 0 651946660 310452224 3307 33554432000 4194304 4650419 140733202733376 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=303176 CPUtime=0.3 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 850 0 0 0 30 0 0 0 21 0 4 0 651946660 310452224 3307 33554432000 4194304 4650419 140733202733376 18446744073709551615 4518134 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=303176 CPUtime=0.31 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 726 0 0 0 31 0 0 0 21 0 4 0 651946660 310452224 3307 33554432000 4194304 4650419 140733202733376 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 303176

[startup+0.700895 s]
/proc/loadavg: 7.02 7.88 7.96 2/287 4947
/proc/meminfo: memFree=16813524/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=287060 CPUtime=2.77 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 6106 0 0 0 276 1 0 0 21 0 4 0 651946660 293949440 3668 33554432000 4194304 4650419 140733202733376 18446744073709551615 4334283 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 71765 3668 390 112 0 66730 0
[pid=4947/tid=4951] ppid=4944 vsize=287060 CPUtime=0.69 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 1442 0 0 0 69 0 0 0 21 0 4 0 651946660 293949440 3668 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=287060 CPUtime=0.68 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 1415 0 0 0 68 0 0 0 22 0 4 0 651946660 293949440 3668 33554432000 4194304 4650419 140733202733376 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=287060 CPUtime=0.69 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 1385 0 0 0 69 0 0 0 22 0 4 0 651946660 293949440 3668 33554432000 4194304 4650419 140733202733376 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 287060

[startup+1.50076 s]
/proc/loadavg: 7.02 7.88 7.96 9/298 4958
/proc/meminfo: memFree=16781444/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=288052 CPUtime=5.96 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 10783 0 0 0 594 2 0 0 24 0 4 0 651946660 294965248 5936 33554432000 4194304 4650419 140733202733376 18446744073709551615 4433084 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 72013 5936 392 112 0 66978 0
[pid=4947/tid=4951] ppid=4944 vsize=288052 CPUtime=1.48 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 2349 0 0 0 148 0 0 0 23 0 4 0 651946660 294965248 5936 33554432000 4194304 4650419 140733202733376 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=288052 CPUtime=1.47 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 2308 0 0 0 147 0 0 0 25 0 4 0 651946660 294965248 5936 33554432000 4194304 4650419 140733202733376 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=288052 CPUtime=1.49 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 2034 0 0 0 149 0 0 0 25 0 4 0 651946660 294965248 5936 33554432000 4194304 4650419 140733202733376 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 288052

[startup+3.10047 s]
/proc/loadavg: 7.02 7.88 7.96 9/298 4958
/proc/meminfo: memFree=16741268/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=297076 CPUtime=12.35 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 18241 0 0 0 1232 3 0 0 25 0 4 0 651946660 304205824 10820 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 74269 10820 392 112 0 69234 0
[pid=4947/tid=4951] ppid=4944 vsize=297076 CPUtime=3.08 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 3940 0 0 0 308 0 0 0 25 0 4 0 651946660 304205824 10820 33554432000 4194304 4650419 140733202733376 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=297076 CPUtime=3.06 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 4821 0 0 0 306 0 0 0 25 0 4 0 651946660 304205824 10820 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=297076 CPUtime=3.08 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 4938 0 0 0 308 0 0 0 25 0 4 0 651946660 304205824 10820 33554432000 4194304 4650419 140733202733376 18446744073709551615 4370493 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 297076

[startup+6.3009 s]
/proc/loadavg: 7.09 7.88 7.96 9/298 4958
/proc/meminfo: memFree=16702880/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=306596 CPUtime=25.12 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 26967 0 0 0 2507 5 0 0 25 0 4 0 651946660 313954304 13439 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 76649 13439 392 112 0 71614 0
[pid=4947/tid=4951] ppid=4944 vsize=306596 CPUtime=6.29 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 6707 0 0 0 628 1 0 0 25 0 4 0 651946660 313954304 13439 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=306596 CPUtime=6.23 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 6550 0 0 0 623 0 0 0 25 0 4 0 651946660 313954304 13439 33554432000 4194304 4650419 140733202733376 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=306596 CPUtime=6.29 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 7159 0 0 0 628 1 0 0 25 0 4 0 651946660 313954304 13439 33554432000 4194304 4650419 140733202733376 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 306596

[startup+12.7008 s]
/proc/loadavg: 7.17 7.89 7.96 9/298 4958
/proc/meminfo: memFree=16662116/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=288272 CPUtime=50.65 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 38373 0 0 0 5059 6 0 0 25 0 4 0 651946660 295190528 18394 33554432000 4194304 4650419 140733202733376 18446744073709551615 4520254 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 72068 18394 392 112 0 67033 0
[pid=4947/tid=4951] ppid=4944 vsize=288272 CPUtime=12.68 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 8475 0 0 0 1267 1 0 0 25 0 4 0 651946660 295190528 18394 33554432000 4194304 4650419 140733202733376 18446744073709551615 4333694 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=288272 CPUtime=12.57 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 9319 0 0 0 1256 1 0 0 25 0 4 0 651946660 295190528 18394 33554432000 4194304 4650419 140733202733376 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=288272 CPUtime=12.68 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 11131 0 0 0 1267 1 0 0 25 0 4 0 651946660 295190528 18394 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 288272

[startup+25.5005 s]
/proc/loadavg: 7.35 7.89 7.96 9/298 4959
/proc/meminfo: memFree=16620248/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=289792 CPUtime=101.74 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 57535 0 0 0 10163 11 0 0 25 0 4 0 651946660 296747008 23626 33554432000 4194304 4650419 140733202733376 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 72448 23626 392 112 0 67413 0
[pid=4947/tid=4951] ppid=4944 vsize=289792 CPUtime=25.48 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 12197 0 0 0 2546 2 0 0 25 0 4 0 651946660 296747008 23626 33554432000 4194304 4650419 140733202733376 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=289792 CPUtime=25.25 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 14623 0 0 0 2523 2 0 0 25 0 4 0 651946660 296747008 23626 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=289792 CPUtime=25.49 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 16215 0 0 0 2546 3 0 0 25 0 4 0 651946660 296747008 23626 33554432000 4194304 4650419 140733202733376 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 289792

[startup+51.1009 s]
/proc/loadavg: 7.57 7.90 7.96 9/298 4959
/proc/meminfo: memFree=16575956/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=300424 CPUtime=203.91 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 84371 0 0 0 20371 20 0 0 25 0 4 0 651946660 307634176 28961 33554432000 4194304 4650419 140733202733376 18446744073709551615 4349936 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 75106 28961 392 112 0 70071 0
[pid=4947/tid=4951] ppid=4944 vsize=300424 CPUtime=51.08 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 17784 0 0 0 5105 3 0 0 25 0 4 0 651946660 307634176 28961 33554432000 4194304 4650419 140733202733376 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=300424 CPUtime=50.62 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 21045 0 0 0 5057 5 0 0 25 0 4 0 651946660 307634176 28961 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=300424 CPUtime=51.08 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 24472 0 0 0 5103 5 0 0 25 0 4 0 651946660 307634176 28962 33554432000 4194304 4650419 140733202733376 18446744073709551615 4368180 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 300424

[startup+102.301 s]
/proc/loadavg: 7.81 7.91 7.96 9/298 4961
/proc/meminfo: memFree=16538124/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=301364 CPUtime=408.26 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 131980 0 0 0 40791 35 0 0 25 0 4 0 651946660 308596736 34596 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 75341 34596 392 112 0 70306 0
[pid=4947/tid=4951] ppid=4944 vsize=301364 CPUtime=102.29 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 27516 0 0 0 10223 6 0 0 25 0 4 0 651946660 308596736 34596 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=301364 CPUtime=101.36 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 33734 0 0 0 10127 9 0 0 25 0 4 0 651946660 308596736 34596 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=301364 CPUtime=102.3 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 39330 0 0 0 10219 11 0 0 25 0 4 0 651946660 308596736 34596 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.26
Current children cumulated vsize (KiB) 301364

[startup+162.301 s]

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

[pid=4947] ppid=4944 vsize=474548 CPUtime=2563.13 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 388210 0 0 0 256170 143 0 0 25 0 4 0 651946660 485937152 69572 33554432000 4194304 4650419 140733202733376 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 118637 69572 392 112 0 113602 0
[pid=4947/tid=4951] ppid=4944 vsize=474548 CPUtime=642.29 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 100852 0 0 0 64196 33 0 0 25 0 4 0 651946660 485937152 69572 33554432000 4194304 4650419 140733202733376 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=474548 CPUtime=636.23 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 82277 0 0 0 63589 34 0 0 25 0 4 0 651946660 485937152 69572 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=474548 CPUtime=642.29 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 105499 0 0 0 64192 37 0 0 25 0 4 0 651946660 485937152 69572 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2563.13
Current children cumulated vsize (KiB) 474548

[startup+702.301 s]
/proc/loadavg: 8.09 8.06 8.01 9/298 4977
/proc/meminfo: memFree=16193960/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=557000 CPUtime=2802.53 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 402476 0 0 0 280104 149 0 0 25 0 4 0 651946660 570368000 76942 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 139250 76942 392 112 0 134215 0
[pid=4947/tid=4951] ppid=4944 vsize=557000 CPUtime=702.29 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 102373 0 0 0 70195 34 0 0 25 0 4 0 651946660 570368000 76942 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=557000 CPUtime=695.63 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 85445 0 0 0 69527 36 0 0 25 0 4 0 651946660 570368000 76942 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=557000 CPUtime=702.29 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 109748 0 0 0 70191 38 0 0 25 0 4 0 651946660 570368000 76942 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2802.53
Current children cumulated vsize (KiB) 557000

[startup+762.301 s]
/proc/loadavg: 8.19 8.08 8.01 9/298 4978
/proc/meminfo: memFree=16196184/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=557232 CPUtime=3041.97 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 423871 0 0 0 304038 159 0 0 25 0 4 0 651946660 570605568 75963 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 139308 75963 392 112 0 134273 0
[pid=4947/tid=4951] ppid=4944 vsize=557232 CPUtime=762.3 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 102373 0 0 0 76196 34 0 0 25 0 4 0 651946660 570605568 75964 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=557232 CPUtime=755.04 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 90430 0 0 0 75464 40 0 0 25 0 4 0 651946660 570605568 75964 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=557232 CPUtime=762.3 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 121100 0 0 0 76190 40 0 0 25 0 4 0 651946660 570605568 75964 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3041.97
Current children cumulated vsize (KiB) 557232

[startup+822.301 s]
/proc/loadavg: 8.22 8.10 8.02 9/298 4980
/proc/meminfo: memFree=16140748/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=545152 CPUtime=3281.35 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 445341 0 0 0 327966 169 0 0 25 0 4 0 651946660 558235648 81057 33554432000 4194304 4650419 140733202733376 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 136288 81057 392 112 0 131253 0
[pid=4947/tid=4951] ppid=4944 vsize=545152 CPUtime=822.29 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 105451 0 0 0 82193 36 0 0 25 0 4 0 651946660 558235648 81057 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=545152 CPUtime=814.44 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 95711 0 0 0 81401 43 0 0 25 0 4 0 651946660 558235648 81057 33554432000 4194304 4650419 140733202733376 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=545152 CPUtime=822.28 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 129056 0 0 0 82186 42 0 0 25 0 4 0 651946660 558235648 81057 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3281.35
Current children cumulated vsize (KiB) 545152

[startup+882.312 s]
/proc/loadavg: 8.15 8.09 8.02 9/298 4981
/proc/meminfo: memFree=16116180/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=545252 CPUtime=3520.8 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 469210 0 0 0 351900 180 0 0 25 0 4 0 651946660 558338048 85929 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 136313 85929 392 112 0 131278 0
[pid=4947/tid=4951] ppid=4944 vsize=545252 CPUtime=882.31 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 109597 0 0 0 88192 39 0 0 25 0 4 0 651946660 558338048 85929 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=545252 CPUtime=873.86 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 100288 0 0 0 87340 46 0 0 25 0 4 0 651946660 558338048 85929 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=545252 CPUtime=882.3 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 134512 0 0 0 88184 46 0 0 25 0 4 0 651946660 558338048 85929 33554432000 4194304 4650419 140733202733376 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3520.8
Current children cumulated vsize (KiB) 545252

[startup+942.3 s]
/proc/loadavg: 8.11 8.09 8.01 9/298 4983
/proc/meminfo: memFree=16127196/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=545308 CPUtime=3760.17 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 490101 0 0 0 375826 191 0 0 25 0 4 0 651946660 558395392 84084 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 136327 84084 392 112 0 131292 0
[pid=4947/tid=4951] ppid=4944 vsize=545308 CPUtime=942.29 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 111094 0 0 0 94189 40 0 0 25 0 4 0 651946660 558395392 84084 33554432000 4194304 4650419 140733202733376 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=545308 CPUtime=933.26 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 104134 0 0 0 93277 49 0 0 25 0 4 0 651946660 558395392 84084 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=545308 CPUtime=942.29 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 137817 0 0 0 94180 49 0 0 25 0 4 0 651946660 558395392 84084 33554432000 4194304 4650419 140733202733376 18446744073709551615 4339864 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3760.17
Current children cumulated vsize (KiB) 545308

[startup+1002.3 s]
/proc/loadavg: 8.04 8.07 8.01 9/298 4985
/proc/meminfo: memFree=16087364/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=532780 CPUtime=3999.59 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 509311 0 0 0 399760 199 0 0 25 0 4 0 651946660 545566720 89303 33554432000 4194304 4650419 140733202733376 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 133195 89303 392 112 0 128160 0
[pid=4947/tid=4951] ppid=4944 vsize=532780 CPUtime=1002.3 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 113804 0 0 0 100189 41 0 0 25 0 4 0 651946660 545566720 89303 33554432000 4194304 4650419 140733202733376 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=532780 CPUtime=992.67 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 109534 0 0 0 99215 52 0 0 25 0 4 0 651946660 545566720 89303 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=532780 CPUtime=1002.29 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 142865 0 0 0 100178 51 0 0 25 0 4 0 651946660 545566720 89303 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3999.59
Current children cumulated vsize (KiB) 532780

[startup+1062.3 s]
/proc/loadavg: 8.18 8.10 8.02 9/298 4986
/proc/meminfo: memFree=16087464/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=532836 CPUtime=4239 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 520500 0 0 0 423696 204 0 0 25 0 4 0 651946660 545624064 87418 33554432000 4194304 4650419 140733202733376 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 133209 87418 392 112 0 128174 0
[pid=4947/tid=4951] ppid=4944 vsize=532836 CPUtime=1062.3 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 113804 0 0 0 106189 41 0 0 25 0 4 0 651946660 545624064 87418 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=532836 CPUtime=1052.09 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 113294 0 0 0 105154 55 0 0 25 0 4 0 651946660 545624064 87418 33554432000 4194304 4650419 140733202733376 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=532836 CPUtime=1062.28 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 147248 0 0 0 106177 51 0 0 25 0 4 0 651946660 545624064 87418 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4239
Current children cumulated vsize (KiB) 532836

[startup+1122.3 s]
/proc/loadavg: 8.13 8.09 8.02 9/298 4988
/proc/meminfo: memFree=16075796/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=532948 CPUtime=4478.41 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 537112 0 0 0 447628 213 0 0 25 0 4 0 651946660 545738752 88944 33554432000 4194304 4650419 140733202733376 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 133237 88944 392 112 0 128202 0
[pid=4947/tid=4951] ppid=4944 vsize=532948 CPUtime=1122.3 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 113804 0 0 0 112189 41 0 0 25 0 4 0 651946660 545738752 88944 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=532948 CPUtime=1111.49 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 118319 0 0 0 111090 59 0 0 25 0 4 0 651946660 545738752 88944 33554432000 4194304 4650419 140733202733376 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=532948 CPUtime=1122.29 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 155754 0 0 0 112176 53 0 0 25 0 4 0 651946660 545738752 88944 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4478.41
Current children cumulated vsize (KiB) 532948

[startup+1182.3 s]
/proc/loadavg: 8.10 8.09 8.02 9/298 4989
/proc/meminfo: memFree=16082360/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=532948 CPUtime=4717.82 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 545610 0 0 0 471565 217 0 0 25 0 4 0 651946660 545738752 87098 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 133237 87098 392 112 0 128202 0
[pid=4947/tid=4951] ppid=4944 vsize=532948 CPUtime=1182.3 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 114303 0 0 0 118188 42 0 0 25 0 4 0 651946660 545738752 87098 33554432000 4194304 4650419 140733202733376 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=532948 CPUtime=1170.89 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 118495 0 0 0 117030 59 0 0 25 0 4 0 651946660 545738752 87098 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=532948 CPUtime=1182.29 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 160549 0 0 0 118175 54 0 0 25 0 4 0 651946660 545738752 87098 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4717.82
Current children cumulated vsize (KiB) 532948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.13 8.10 8.02 9/298 4990
/proc/meminfo: memFree=16105796/32951124 swapFree=52307768/67111528
[pid=4947] ppid=4944 vsize=532948 CPUtime=4800.04 cores=1,3,5,7
/proc/4947/stat : 4947 (strangenight1-m) R 4944 4947 4414 0 -1 4202496 546922 0 0 0 479786 218 0 0 25 0 4 0 651946660 545738752 84175 33554432000 4194304 4650419 140733202733376 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4947/statm: 133237 84175 392 112 0 128202 0
[pid=4947/tid=4951] ppid=4944 vsize=532948 CPUtime=1202.91 cores=1,3,5,7
/proc/4947/task/4951/stat : 4951 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 114428 0 0 0 120249 42 0 0 25 0 4 0 651946660 545738752 84175 33554432000 4194304 4650419 140733202733376 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4947/tid=4952] ppid=4944 vsize=532948 CPUtime=1191.29 cores=1,3,5,7
/proc/4947/task/4952/stat : 4952 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 118495 0 0 0 119070 59 0 0 25 0 4 0 651946660 545738752 84175 33554432000 4194304 4650419 140733202733376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4947/tid=4953] ppid=4944 vsize=532948 CPUtime=1202.9 cores=1,3,5,7
/proc/4947/task/4953/stat : 4953 (strangenight1-m) R 4944 4947 4414 0 -1 4202560 160937 0 0 0 120236 54 0 0 25 0 4 0 651946660 545738752 84175 33554432000 4194304 4650419 140733202733376 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 532948

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.93
CPU time (s): 4800.09
CPU user time (s): 4797.9
CPU system time (s): 2.19667
CPU usage (%): 399.032
Max. virtual memory (cumulated for all children) (KiB): 569924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.9
system time used= 2.19667
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 546922
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= 346
involuntary context switches= 38612

runsolver used 3.09453 second user time and 8.5657 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-14 22:03:59
IDJOB=3368808
IDBENCH=82817
IDSOLVER=1846
FILE ID=node101/3368808-1305403439
RUNJOBID= node101-1305403439-4932
PBS_JOBID= 13324459
Free space on /tmp= 73736 MiB

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

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

MD5SUM BENCH= a83cf27d1d664cde32ad2f1a49b00933
RANDOM SEED=905168003

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16813812 kB
Buffers:        322084 kB
Cached:        5885752 kB
SwapCached:      14848 kB
Active:       10832552 kB
Inactive:      5029840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16813812 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:           14332 kB
Writeback:           0 kB
AnonPages:     9651780 kB
Mapped:          14292 kB
Slab:           149808 kB
PageTables:      61952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 41979520 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= 73724 MiB
End job on node101 at 2011-05-14 22:24:04