Trace number 3175122

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf
MD5SUM38eb341db913fde0f11427c4d808f2c9
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-3175122-1304089310.cnf'
0.00/0.00	c -- header says num vars:             70
0.00/0.00	c -- header says num clauses:        6230
0.00/0.00	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.00	c -- vars added         70
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.41/0.14	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.55
0.41/0.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.41/0.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.41/0.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.41/0.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.41/0.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.41/0.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
0.41/0.16	c Finding binary XORs  T:     0.00 s  found:       0
0.41/0.17	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.41/0.17	c calculated reachability. Time: 0.00
0.41/0.17	c Calc default polars -  time:   0.00 s pos:      30 undec:       1 neg:      39
0.41/0.17	c =========================================================================================
0.41/0.17	c types(t): F = full restart, N = normal restart
0.41/0.17	c types(t): S = simplification begin/end, E = solution found
0.41/0.17	c restart types(rt): st = static, dy = dynamic
0.41/0.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.41/0.17	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.78/0.29	c  N dy     8      4299        70      6230         0      3912     43610     94935     20.56     21.65  --
1.58/0.46	c  N dy    16      9289        70      6230         0      6154     43610    139298     20.32     21.42  --
2.38/0.63	c  N dy    26     13647        70      6230         0      6240     43610    131743     20.39     21.52  --
3.58/0.95	c  N dy    30     21310        70      6230         0      8098     43610    164498     19.91     21.06  --
4.39/1.13	c  F st    56     25000        70      6230         0     11467     43610    246800     20.17   no data  --
4.39/1.17	c  N st    58     25628        70      6230         0     12034     43610    260814     20.17   no data  --
5.17/1.35	c  N dy    62     30001        70      6230         0      9816     43610    198008     20.17   no data  --
5.17/1.35	c  S st    62     30001        70      6230         0      9816     43610    198008     20.17   no data  --
5.17/1.38	c  S st    62     30502        70      6230         0     10281     43610    209484     20.17   no data  --
5.17/1.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.17/1.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.17/1.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.37	c lits-rem:      1466  cl-subs:      849  v-elim:      0  v-fix:    0  time:  3.90 s
10.36/2.68	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.24
10.36/2.68	c calculated reachability. Time: 0.00
10.36/2.68	c  N dy    62     30502        70      6230         0      9432     43610    186330     20.17   no data  --
11.56/2.95	c  N dy    96     35209        70      6230         0     13739     43610    291750     20.43     21.58  --
12.36/3.16	c  N dy   117     39274        70      6230         0     10261     43610    194131     20.55     22.89  --
13.96/3.50	c  N dy   131     45414        70      6230         0     15804     43610    326094     20.48     21.59  --
13.96/3.52	c  S st   135     45753        70      6230         0     16110     43610    333638     20.50   no data  --
13.96/3.57	c  S st   135     46256        70      6230         0      8483     43610    138218     20.50   no data  --
13.96/3.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.96/3.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.96/3.57	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.34	c lits-rem:       150  cl-subs:       41  v-elim:      0  v-fix:    0  time:  3.07 s
17.16/4.34	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.16/4.35	c vivif2 --  cl tried     8442 cl shrink        0 lits rem          0 time: 0.01
17.98/4.59	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.98
17.98/4.59	c calculated reachability. Time: 0.00
17.98/4.59	c  N dy   135     46256        70      6230         0      8442     43610    136901     20.50   no data  --
19.95/5.07	c  N dy   143     55843        70      6230         0     16991     43610    338822     20.31     21.52  --
21.16/5.33	c  N dy   166     59991        70      6230         0     11802     43610    207911     20.40     21.56  --
21.97/5.59	c  N dy   190     64208        70      6230         0     15628     43610    301778     20.50     21.58  --
23.55/5.96	c  N dy   200     69384        70      6230         0     10395     43610    160182     20.46     18.88  --
23.55/5.96	c  S st   200     69384        70      6230         0     10395     43610    160182     20.46     18.88  --
23.55/5.99	c  S st   200     69891        70      6230         0     10866     43610    172006     20.46   no data  --
23.55/5.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.55/5.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.95/6.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
23.95/6.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.95/6.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.95/6.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
23.95/6.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.54/6.92	c lits-rem:       317  cl-subs:      155  v-elim:      0  v-fix:    0  time:  3.67 s
27.54/6.92	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.54/6.93	c vivif2 --  cl tried    10711 cl shrink        0 lits rem          0 time: 0.01
28.74/7.22	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.17
28.74/7.22	c calculated reachability. Time: 0.00
28.74/7.22	c  N dy   200     69891        70      6230         0     10711     43610    167883     20.46   no data  --
30.34/7.66	c  N dy   212     77424        70      6230         0     17472     43610    327163     20.37     21.47  --
32.34/8.12	c  N dy   232     83503        70      6230         0     12141     43610    191543     20.37     21.85  --
33.14/8.38	c  F st   242     87500        70      6230         0     15773     43610    278335     20.37     21.17  --
33.94/8.53	c  N st   246     89532        70      6230         0     17614     43610    322903     20.37   no data  --
35.55/8.95	c  N dy   266     95329        70      6230         0     22854     43610    450962     20.41     22.17  --
38.34/9.61	c  N dy   290    104839        70      6230         0     19720     43610    354760     20.34     19.06  --
38.34/9.61	c  S st   290    104839        70      6230         0     19720     43610    354760     20.34     19.06  --
38.34/9.67	c  S st   290    105340        70      6230         0     20186     43610    366096     20.34   no data  --
38.34/9.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.34/9.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.34/9.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
38.34/9.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.34/9.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.34/9.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
38.34/9.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.12/11.39	c lits-rem:      1542  cl-subs:     2238  v-elim:      0  v-fix:    0  time:  6.77 s
45.12/11.39	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
45.12/11.39	c vivif2 --  cl tried    17948 cl shrink        0 lits rem          0 time: 0.02
46.71/11.76	c asymm  cl-useful: 0/5036/6230 lits-rem:0 time: 1.48
46.71/11.76	c calculated reachability. Time: 0.00
46.71/11.76	c  N dy   290    105340        70      6230         0     17948     43610    313682     20.34   no data  --
50.32/12.68	c  N dy   315    118897        70      6230         0     17626     43610    295418     20.28     21.35  --
53.13/13.35	c  N dy   373    126884        70      6230         0     24945     43610    475053     20.38     21.51  --
56.31/14.13	c  N dy   383    138511        70      6230         0     21912     43610    388687     20.32     21.65  --
62.30/15.64	c  N dy   407    158011        70      6230         0     24972     43610    439972     20.19     17.06  --
62.30/15.64	c  S st   407    158011        70      6230         0     24972     43610    439972     20.19     17.06  --
62.70/15.70	c  S st   407    158513        70      6230         0     25438     43610    451852     20.19   no data  --
62.70/15.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
62.70/15.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.70/15.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
62.70/15.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
62.70/15.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
62.70/15.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
62.70/15.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
71.08/17.85	c lits-rem:      2079  cl-subs:     3037  v-elim:      0  v-fix:    0  time:  8.49 s
71.08/17.85	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
71.08/17.86	c vivif2 --  cl tried    22401 cl shrink        0 lits rem          0 time: 0.02
71.88/18.01	c asymm  cl-useful: 0/1194/6230 lits-rem:0 time: 0.62
71.88/18.01	c calculated reachability. Time: 0.00
71.88/18.01	c  N dy   407    158513        70      6230         0     22401     43610    383675     20.19   no data  --
75.89/19.01	c  N dy   467    168661        70      6230         0     16421     43610    233089     20.26     22.24  --
79.50/19.96	c  N dy   524    179466        70      6230         0     26199     43610    470382     20.32     22.61  --
83.89/21.09	c  N dy   589    190937        70      6230         0     20435     43610    314977     20.39     21.48  --
89.06/22.31	c  N dy   626    203526        70      6230         0     31780     43610    585489     20.38     21.49  --
93.85/23.57	c  N dy   692    216580        70      6230         0     26477     43610    451936     20.42     23.05  --
100.25/25.17	c  N dy   770    230506        70      6230         0     21023     43610    302164     20.47     21.62  --
102.64/25.74	c  S st   775    237770        70      6230         0     27543     43610    452978     20.44     17.85  --
103.04/25.81	c  S st   775    238274        70      6230         0     27999     43610    464368     20.44   no data  --
103.04/25.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
103.04/25.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
103.04/25.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
103.04/25.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
103.04/25.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
103.04/25.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
103.04/25.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
111.83/28.02	c lits-rem:      1610  cl-subs:     2757  v-elim:      0  v-fix:    0  time:  8.70 s
111.83/28.02	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
111.83/28.02	c vivif2 --  cl tried    25242 cl shrink        0 lits rem          0 time: 0.02
113.43/28.43	c asymm  cl-useful: 0/3865/6230 lits-rem:0 time: 1.63
113.43/28.43	c calculated reachability. Time: 0.00
113.43/28.43	c  N dy   775    238274        70      6230         0     25242     43610    400287     20.44   no data  --
120.22/30.12	c  N dy   841    253555        70      6230         0     20226     43610    271389     20.47     21.80  --
129.01/32.32	c  N dy   865    276525        70      6230         0     21081     43610    278157     20.40     21.50  --
136.99/34.33	c  N dy   951    295503        70      6230         0     38300     43610    694320     20.43     21.54  --
142.19/35.60	c  F st  1028    306251        70      6230         0     27294     43610    416998     20.48     20.73  --
145.41/36.48	c  N dy  1060    314584        70      6230         0     34871     43610    604528     20.50     21.62  --
163.37/40.92	c  N dy  1101    357411        70      6230         0     29015     43610    430791     20.37     19.38  --
163.37/40.92	c  S st  1101    357411        70      6230         0     29015     43610    430791     20.37     19.38  --
163.37/40.99	c  S st  1101    357912        70      6230         0     29467     43610    441949     20.37   no data  --
163.37/41.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
163.37/41.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
163.76/41.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
163.76/41.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
163.76/41.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
163.76/41.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
163.76/41.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
171.77/43.00	c lits-rem:      1421  cl-subs:     1982  v-elim:      0  v-fix:    0  time:  7.92 s
171.77/43.00	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
171.77/43.01	c vivif2 --  cl tried    27485 cl shrink        0 lits rem          0 time: 0.02
172.95/43.30	c asymm  cl-useful: 0/2365/6230 lits-rem:0 time: 1.17
172.95/43.30	c calculated reachability. Time: 0.00
172.95/43.30	c  N dy  1101    357912        70      6230         0     27485     43610    397854     20.37   no data  --
197.32/49.45	c  N dy  1211    406276        70      6230         0     47684     43610    851155     20.31     21.55  --
211.69/53.06	c  N dy  1307    434633        70      6230         0     49046     43610    879055     20.29     21.37  --
220.88/55.35	c  N dy  1361    454715        70      6230         0     42010     43610    702880     20.28     22.54  --
232.07/58.14	c  N dy  1456    474725        70      6230         0     33994     43610    502962     20.30     21.55  --
244.85/61.30	c  N dy  1579    494754        70      6230         0     52187     43610    947895     20.35     24.46  --
255.63/64.00	c  N dy  1676    514834        70      6230         0     43214     43610    709382     20.37     21.45  --
268.81/67.32	c  N dy  1785    535928        70      6230         0     34287     43610    481146     20.41     21.62  --
269.21/67.44	c  S st  1792    536868        70      6230         0     35147     43610    502833     20.41   no data  --
269.61/67.53	c  S st  1792    537372        70      6230         0     35620     43610    514745     20.41   no data  --
269.61/67.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
269.61/67.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
269.61/67.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
269.61/67.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
269.61/67.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
269.61/67.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
269.61/67.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
278.41/69.77	c lits-rem:       902  cl-subs:     1611  v-elim:      0  v-fix:    0  time:  8.82 s
278.41/69.77	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
278.41/69.77	c vivif2 --  cl tried    34009 cl shrink        0 lits rem          0 time: 0.02
279.21/69.96	c asymm  cl-useful: 0/1644/6230 lits-rem:0 time: 0.75
279.21/69.96	c calculated reachability. Time: 0.00
279.21/69.96	c  N dy  1792    537372        70      6230         0     34009     43610    473196     20.41   no data  --
302.77/75.83	c  N dy  1857    582134        70      6230         0     45239     43610    709793     20.31     21.41  --
316.38/79.28	c  N dy  1953    602190        70      6230         0     33756     43610    447721     20.33     24.29  --
327.94/82.16	c  N dy  2045    622210        70      6230         0     51728     43610    877219     20.34     22.84  --
341.92/85.60	c  N dy  2151    642568        70      6230         0     39564     43610    569492     20.36     21.45  --
355.92/89.17	c  N dy  2240    662689        70      6230         0     57764     43610   1010639     20.38     21.66  --
371.48/93.01	c  N dy  2380    682744        70      6230         0     44341     43610    677760     20.43     22.94  --
386.68/96.83	c  N dy  2449    704995        70      6230         0     64401     43610   1155294     20.42     21.55  --
399.86/100.13	c  N dy  2564    725045        70      6230         0     50073     43610    802139     20.45     23.75  --
419.41/105.03	c  N dy  2695    745062        70      6230         0     34723     43610    412950     20.48     23.06  --
431.40/108.02	c  N dy  2781    765142        70      6230         0     52812     43610    847690     20.49     22.16  --
448.60/112.32	c  N dy  2897    785152        70      6230         0     36601     43610    444609     20.52     21.66  --
461.38/115.57	c  N dy  3000    805499        70      6230         0     55041     43610    893709     20.54     21.66  --
462.15/115.70	c  S st  3006    806059        70      6230         0     55550     43610    906520     20.54   no data  --
462.55/115.85	c  S st  3006    806564        70      6230         0     56021     43610    918259     20.54   no data  --
462.55/115.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
462.55/115.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
462.55/115.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
462.96/115.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
462.96/115.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
462.96/115.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
462.96/115.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
494.92/123.96	c lits-rem:      2928  cl-subs:     4402  v-elim:      0  v-fix:    0  time: 32.17 s
494.92/123.96	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
494.92/123.97	c vivif2 --  cl tried    51619 cl shrink        0 lits rem          0 time: 0.04
496.12/124.24	c asymm  cl-useful: 0/964/6230 lits-rem:0 time: 1.11
496.12/124.25	c calculated reachability. Time: 0.00
496.12/124.25	c  N dy  3006    806564        70      6230         0     51619     43610    804411     20.54   no data  --
514.51/128.82	c  N dy  3081    826784        70      6230         0     69962     43610   1248791     20.54     21.95  --
528.46/132.32	c  N dy  3209    847752        70      6230         0     53776     43610    853077     20.57     21.71  --
547.64/137.12	c  N dy  3297    871547        70      6230         0     39136     43610    476569     20.57     21.69  --
560.43/140.33	c  N dy  3366    891564        70      6230         0     57172     43610    913659     20.57     24.40  --
578.01/144.79	c  N dy  3452    911569        70      6230         0     38312     43610    446962     20.58     22.20  --
590.38/147.88	c  N dy  3499    931799        70      6230         0     56589     43610    884330     20.57     21.71  --
609.96/152.73	c  N dy  3551    955521        70      6230         0     40119     43610    475529     20.57     21.68  --
626.34/156.83	c  N dy  3619    981854        70      6230         0     63809     43610   1044749     20.56     21.70  --
641.54/160.61	c  N dy  3632   1002745        70      6230         0     43786     43610    550501     20.53     21.83  --
655.50/164.18	c  N dy  3675   1024877        70      6230         0     63650     43610   1026868     20.52     21.72  --
674.28/168.86	c  N dy  3746   1045062        70      6230         0     42295     43610    507783     20.52     21.64  --
687.46/172.13	c  N dy  3807   1065079        70      6230         0     60308     43610    938873     20.52     24.13  --
693.05/173.58	c  F st  3835   1071875        70      6230         0     66437     43610   1087606     20.52   no data  --
711.85/178.27	c  N dy  3884   1092524        70      6230         0     44490     43610    543338     20.52     21.62  --
727.40/182.16	c  N dy  3967   1112941        70      6230         0     62965     43610    992201     20.53     21.76  --
778.93/195.00	c  N dy  3991   1183775        70      6230         0     42693     43610    478283     20.38     21.48  --
797.31/199.60	c  N dy  4087   1204449        70      6230         0     61394     43610    931445     20.39     21.48  --
802.91/201.07	c  S st  4108   1209846        70      6230         0     66259     43610   1049029     20.39   no data  --
803.71/201.29	c  S st  4108   1210351        70      6230         0     66727     43610   1060800     20.39   no data  --
803.71/201.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
803.71/201.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
804.13/201.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.14
804.13/201.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
804.13/201.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
804.13/201.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
804.13/201.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
892.78/223.58	c lits-rem:      3447  cl-subs:     5339  v-elim:      0  v-fix:    0  time: 88.74 s
892.78/223.58	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
893.18/223.60	c vivif2 --  cl tried    61388 cl shrink        0 lits rem          0 time: 0.05
894.38/223.97	c asymm  cl-useful: 0/773/6230 lits-rem:0 time: 1.49
894.38/223.97	c calculated reachability. Time: 0.00
894.38/223.97	c  N dy  4108   1210351        70      6230         0     61388     43610    926437     20.39   no data  --
912.76/228.52	c  N dy  4122   1230439        70      6230         0     79290     43610   1343445     20.37     21.65  --
934.72/234.05	c  N dy  4284   1250503        70      6230         0     54643     43610    761864     20.40     21.89  --
955.89/239.39	c  N dy  4363   1274589        70      6230         0     76351     43610   1283943     20.40     21.51  --
978.26/244.99	c  N dy  4483   1294677        70      6230         0     50585     43610    642051     20.42     22.30  --
1000.64/250.56	c  N dy  4612   1315091        70      6230         0     69022     43610   1094130     20.44     21.61  --
1034.19/258.92	c  N dy  4671   1343006        70      6230         0     49119     43610    587555     20.43     21.53  --
1054.99/264.18	c  N dy  4804   1363069        70      6230         0     67263     43610   1034003     20.45     22.64  --
1080.95/270.64	c  N dy  4904   1384461        70      6230         0     86498     43610   1501973     20.46     21.64  --
1100.50/275.56	c  N dy  5028   1404545        70      6230         0     58706     43610    815398     20.48     22.38  --
1121.28/280.79	c  N dy  5152   1424857        70      6230         0     77150     43610   1268554     20.49     21.60  --
1146.44/287.03	c  N dy  5234   1447355        70      6230         0     50503     43610    596835     20.49     21.61  --
1165.62/291.89	c  N dy  5328   1470794        70      6230         0     71648     43610   1109103     20.50     21.58  --
1188.38/297.54	c  N dy  5411   1491049        70      6230         0     89910     43610   1553914     20.50     21.62  --
1208.38/302.53	c  N dy  5499   1511101        70      6230         0     60101     43610    813711     20.51     21.65  --
1228.74/307.67	c  N dy  5569   1534516        70      6230         0     81237     43610   1326583     20.51     21.65  --
1252.32/313.53	c  N dy  5615   1555876        70      6230         0     51792     43610    602351     20.50     21.60  --
1272.67/318.63	c  N dy  5718   1579121        70      6230         0     72787     43610   1114143     20.51     21.60  --
1297.04/324.73	c  N dy  5796   1600323        70      6230         0     91906     43610   1576887     20.51     21.69  --
1316.21/329.51	c  N dy  5855   1620357        70      6230         0     60305     43610    797320     20.51     22.50  --
1333.39/333.83	c  N dy  5903   1640844        70      6230         0     78674     43610   1240084     20.50     21.74  --
1360.56/340.62	c  N dy  6045   1660879        70      6230         0     96875     43610   1692199     20.52     21.95  --
1389.72/347.96	c  N dy  6120   1694072        70      6230         0     76172     43610   1157923     20.51     21.69  --
1404.50/351.66	c  S st  6141   1710354        70      6230         0     90795     43610   1505305     20.50   no data  --
1405.70/351.93	c  S st  6141   1710858        70      6230         0     91254     43610   1516986     20.50   no data  --
1405.70/351.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1405.70/351.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1405.70/351.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
1406.12/352.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1406.12/352.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1406.12/352.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1406.12/352.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1612.63/403.74	c lits-rem:      4677  cl-subs:    10949  v-elim:      0  v-fix:    0  time: 206.48 s
1612.63/403.74	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1612.63/403.76	c vivif2 --  cl tried    80305 cl shrink        0 lits rem          0 time: 0.07
1614.61/404.22	c asymm  cl-useful: 0/578/6230 lits-rem:0 time: 1.86
1614.61/404.22	c calculated reachability. Time: 0.00
1614.61/404.22	c  N dy  6141   1710858        70      6230         0     80305     43610   1265100     20.50   no data  --
1650.97/413.33	c  N dy  6266   1731036        70      6230         0     98577     43610   1713331     20.51     21.66  --
1678.13/420.19	c  N dy  6378   1751251        70      6230         0     66056     43610    925963     20.52     21.84  --
1707.69/427.55	c  N dy  6459   1771420        70      6230         0     84111     43610   1362498     20.53     21.63  --
1746.44/437.25	c  N dy  6582   1791650        70      6230         0    102420     43610   1814251     20.54     21.65  --
1770.41/443.30	c  N dy  6644   1813644        70      6230         0     70146     43610    996975     20.54     21.71  --
1803.56/451.53	c  N dy  6712   1841681        70      6230         0     95326     43610   1597187     20.53     21.64  --
1835.52/459.50	c  N dy  6868   1861755        70      6230         0     60563     43610    763698     20.55     22.04  --
1862.69/466.31	c  N dy  6939   1887597        70      6230         0     83791     43610   1321922     20.55     22.06  --
1895.84/474.66	c  N dy  7043   1908073        70      6230         0    102223     43610   1772604     20.56     21.68  --
1922.60/481.32	c  N dy  7094   1931496        70      6230         0     69328     43610    953465     20.55     21.73  --
1956.95/489.97	c  N dy  7208   1962043        70      6230         0     96676     43610   1611032     20.55     21.71  --
1986.13/497.23	c  N dy  7314   1982871        70      6230         0     60650     43610    734134     20.56     21.81  --
2003.29/501.55	c  N dy  7361   2002938        70      6230         0     78681     43610   1172248     20.56     24.41  --
2030.07/508.30	c  N dy  7411   2027262        70      6230         0    100428     43610   1693674     20.55     21.68  --
2056.02/514.79	c  N dy  7483   2047274        70      6230         0     62824     43610    776612     20.56     24.04  --
2078.81/520.44	c  N dy  7573   2069280        70      6230         0     82664     43610   1259848     20.56     21.74  --
2102.76/526.47	c  N dy  7628   2089477        70      6230         0    100836     43610   1689296     20.55     21.70  --
2133.12/534.08	c  N dy  7718   2110425        70      6230         0     63048     43610    767676     20.56     21.71  --
2152.29/538.83	c  N dy  7782   2130696        70      6230         0     81332     43610   1208059     20.56     21.68  --
2178.66/545.47	c  N dy  7883   2150698        70      6230         0     99409     43610   1651007     20.56     23.65  --
2209.01/553.07	c  N dy  7971   2170858        70      6230         0     59918     43610    677489     20.57     21.75  --
2227.81/557.77	c  N dy  8046   2191329        70      6230         0     78341     43610   1122507     20.57     21.67  --
2250.55/563.41	c  S st  8103   2210859        70      6230         0     95969     43610   1549529     20.57     18.94  --
2251.35/563.68	c  S st  8103   2211362        70      6230         0     96437     43610   1561385     20.57   no data  --
2251.35/563.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2251.35/563.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2251.75/563.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
2251.75/563.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2251.75/563.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2251.75/563.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2251.75/563.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2413.54/604.23	c lits-rem:      5670  cl-subs:     9295  v-elim:      0  v-fix:    0  time: 161.51 s
2413.54/604.24	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2413.54/604.25	c vivif2 --  cl tried    87142 cl shrink        0 lits rem          0 time: 0.07
2415.14/604.67	c asymm  cl-useful: 0/524/6230 lits-rem:0 time: 1.65
2415.14/604.67	c calculated reachability. Time: 0.00
2415.14/604.67	c  N dy  8103   2211362        70      6230         0     87142     43610   1331459     20.57   no data  --
2453.09/614.13	c  N dy  8183   2233940        70      6230         0    107415     43610   1823746     20.57     21.74  --
2489.44/623.25	c  N dy  8307   2254517        70      6230         0     67879     43610    864807     20.58     21.69  --
2516.21/629.94	c  N dy  8397   2274781        70      6230         0     86160     43610   1310682     20.59     21.88  --
2549.76/638.35	c  N dy  8493   2294877        70      6230         0    104314     43610   1753756     20.59     24.31  --
2928.05/733.03	c  N dy  8574   2604199        70      6230         0     75447     43610    966520     20.24     21.38  --
2958.82/740.74	c  N dy  8723   2624273        70      6230         0     93613     43610   1415446     20.25     21.47  --
2996.78/750.28	c  N dy  8863   2644292        70      6230         0    111666     43610   1860209     20.26     22.81  --
3035.51/760.00	c  N dy  8999   2664373        70      6230         0     66598     43610    760177     20.27     23.72  --
3056.68/765.27	c  N dy  9090   2685062        70      6230         0     85140     43610   1211705     20.28     21.46  --
3087.44/772.99	c  N dy  9222   2705379        70      6230         0    103425     43610   1660105     20.29     21.42  --
3098.63/775.70	c  S st  9269   2711364        70      6230         0    108826     43610   1794847     20.29   no data  --
3099.83/776.03	c  S st  9269   2711870        70      6230         0    109294     43610   1806594     20.29   no data  --
3099.83/776.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3099.83/776.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3099.83/776.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
3100.22/776.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3100.22/776.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3100.22/776.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3100.22/776.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3570.39/893.82	c lits-rem:      5835  cl-subs:     9878  v-elim:      0  v-fix:    0  time: 469.88 s
3570.39/893.82	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
3570.39/893.84	c vivif2 --  cl tried    99416 cl shrink        0 lits rem          0 time: 0.08
3571.99/894.29	c asymm  cl-useful: 0/480/6230 lits-rem:0 time: 1.81
3571.99/894.30	c calculated reachability. Time: 0.00
3571.99/894.30	c  N dy  9269   2711870        70      6230         0     99416     43610   1554997     20.29   no data  --
3616.75/905.44	c  N dy  9401   2732423        70      6230         0    118002     43610   2011222     20.30     21.37  --
3656.30/915.33	c  N dy  9555   2752510        70      6230         0     72162     43610    885254     20.31     23.23  --
3689.04/923.51	c  N dy  9696   2774299        70      6230         0     91848     43610   1370923     20.32     21.43  --
3729.39/933.60	c  N dy  9860   2794364        70      6230         0    110059     43610   1826048     20.34     22.99  --
3775.72/945.25	c  N dy 10011   2814424        70      6230         0    128237     43610   2279020     20.35     21.95  --
3807.68/953.29	c  N dy 10140   2834514        70      6230         0     80871     43610   1076185     20.36     22.49  --
3844.43/962.40	c  N dy 10241   2855499        70      6230         0     99740     43610   1533913     20.36     21.51  --
3892.76/974.51	c  N dy 10387   2875597        70      6230         0    117892     43610   1981754     20.38     22.69  --
3949.89/988.88	c  N dy 10533   2900873        70      6230         0     74099     43610    892131     20.38     21.70  --
3981.84/996.82	c  N dy 10632   2920912        70      6230         0     92210     43610   1333296     20.39     21.59  --
4024.59/1007.59	c  N dy 10749   2942077        70      6230         0    111291     43610   1803279     20.40     21.48  --
4087.70/1023.33	c  N dy 10908   2966548        70      6230         0    133334     43610   2347091     20.41     21.58  --
4121.68/1031.83	c  N dy 10977   2988785        70      6230         0     85703     43610   1159838     20.41     21.56  --
4160.80/1041.67	c  N dy 11068   3010847        70      6230         0    105532     43610   1642204     20.41     21.51  --
4208.34/1053.58	c  N dy 11202   3030929        70      6230         0    123675     43610   2089583     20.42     21.55  --
4254.67/1065.11	c  N dy 11317   3051018        70      6230         0     73379     43610    854629     20.43     23.35  --
4287.83/1073.41	c  N dy 11453   3071127        70      6230         0     91503     43610   1303880     20.44     21.56  --
4326.18/1083.06	c  N dy 11518   3092727        70      6230         0    110802     43610   1765521     20.44     21.61  --
4368.53/1093.68	c  N dy 11593   3112888        70      6230         0    128818     43610   2200313     20.44     21.56  --
4416.09/1105.56	c  N dy 11757   3132938        70      6230         0     77689     43610    949881     20.45     23.01  --
4453.21/1114.85	c  N dy 11893   3153187        70      6230         0     95979     43610   1400595     20.46     21.62  --
4497.15/1125.82	c  N dy 12046   3173937        70      6230         0    114778     43610   1867795     20.47     21.55  --
4539.52/1136.47	c  N dy 12177   3194102        70      6230         0    132926     43610   2316775     20.48     21.57  --
4568.27/1143.69	c  S st 12248   3211870        70      6230         0     78655     43610    954659     20.48   no data  --
4569.47/1143.91	c  S st 12248   3212373        70      6230         0     79109     43610    965940     20.48   no data  --
4569.47/1143.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4569.47/1143.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4569.47/1143.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
4569.47/1143.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4569.47/1143.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4569.47/1143.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
4569.47/1143.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4624.18/1157.66	c lits-rem:      1213  cl-subs:     2063  v-elim:      0  v-fix:    0  time: 54.63 s
4624.18/1157.66	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
4624.18/1157.68	c vivif2 --  cl tried    77046 cl shrink        0 lits rem          0 time: 0.05
4625.38/1157.99	c asymm  cl-useful: 0/601/6230 lits-rem:0 time: 1.25
4625.38/1157.99	c calculated reachability. Time: 0.00
4625.38/1157.99	c  N dy 12248   3212373        70      6230         0     77046     43610    914126     20.48   no data  --
4653.77/1165.03	c  N dy 12398   3232530        70      6230         0     95204     43610   1365611     20.49     21.57  --
4682.91/1172.33	c  N dy 12473   3253116        70      6230         0    113715     43610   1814279     20.49     21.65  --
4720.06/1181.62	c  N dy 12575   3273202        70      6230         0    131852     43610   2258833     20.50     21.84  --
4760.00/1191.64	c  N dy 12671   3298327        70      6230         0     83381     43610   1049806     20.50     21.61  --
4789.16/1198.98	c  N dy 12803   3318387        70      6230         0    101526     43610   1497876     20.50     21.64  --

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-3175122-1304089310/watcher-3175122-1304089310 -o /tmp/evaluation-result-3175122-1304089310/solver-3175122-1304089310 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175122-1304089310.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.88 8.05 8.00 5/180 6837
/proc/meminfo: memFree=26055172/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=183284 CPUtime=0 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 638 0 0 0 0 0 0 0 25 0 4 0 520531460 187682816 551 33554432000 4194304 4650419 140733601901232 18446744073709551615 230808826565 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 45821 559 340 112 0 40786 0
[pid=6837/tid=6838] ppid=6835 vsize=207908 CPUtime=0 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 71 0 0 0 0 0 0 0 25 0 4 0 520531460 212897792 617 33554432000 4194304 4650419 140733601901232 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=207908 CPUtime=0 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 63 0 0 0 0 0 0 0 25 0 4 0 520531460 212897792 621 33554432000 4194304 4650419 140733601901232 18446744073709551615 230808826565 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=216116 CPUtime=0 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 78 0 0 0 0 0 0 0 25 0 4 0 520531460 221302784 629 33554432000 4194304 4650419 140733601901232 18446744073709551615 230808826565 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.106623 s]
/proc/loadavg: 7.88 8.05 8.00 5/180 6837
/proc/meminfo: memFree=26055172/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=282084 CPUtime=0.41 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 1449 0 0 0 41 0 0 0 25 0 4 0 520531460 288854016 1360 33554432000 4194304 4650419 140733601901232 18446744073709551615 4370633 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 70521 1360 366 112 0 65486 0
[pid=6837/tid=6838] ppid=6835 vsize=282084 CPUtime=0.1 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 208 0 0 0 10 0 0 0 25 0 4 0 520531460 288854016 1360 33554432000 4194304 4650419 140733601901232 18446744073709551615 4370710 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=282084 CPUtime=0.1 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 226 0 0 0 10 0 0 0 25 0 4 0 520531460 288854016 1360 33554432000 4194304 4650419 140733601901232 18446744073709551615 4370482 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=282084 CPUtime=0.1 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 357 0 0 0 10 0 0 0 25 0 4 0 520531460 288854016 1360 33554432000 4194304 4650419 140733601901232 18446744073709551615 4333771 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282084

[startup+0.20061 s]
/proc/loadavg: 7.88 8.05 8.00 5/180 6837
/proc/meminfo: memFree=26055172/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=285448 CPUtime=0.78 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 3360 0 0 0 78 0 0 0 25 0 4 0 520531460 292298752 2900 33554432000 4194304 4650419 140733601901232 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 71362 2900 390 112 0 66327 0
[pid=6837/tid=6838] ppid=6835 vsize=285448 CPUtime=0.19 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 755 0 0 0 19 0 0 0 25 0 4 0 520531460 292298752 2900 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=285448 CPUtime=0.19 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 761 0 0 0 19 0 0 0 25 0 4 0 520531460 292298752 2900 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=285448 CPUtime=0.19 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 624 0 0 0 19 0 0 0 25 0 4 0 520531460 292298752 2900 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 285448

[startup+0.300589 s]
/proc/loadavg: 7.88 8.05 8.00 5/180 6837
/proc/meminfo: memFree=26055172/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=285448 CPUtime=1.18 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 3701 0 0 0 118 0 0 0 25 0 4 0 520531460 292298752 3241 33554432000 4194304 4650419 140733601901232 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 71362 3241 390 112 0 66327 0
[pid=6837/tid=6838] ppid=6835 vsize=285448 CPUtime=0.29 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 839 0 0 0 29 0 0 0 25 0 4 0 520531460 292298752 3241 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=285448 CPUtime=0.29 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 847 0 0 0 29 0 0 0 25 0 4 0 520531460 292298752 3241 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=285448 CPUtime=0.29 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 712 0 0 0 29 0 0 0 25 0 4 0 520531460 292298752 3241 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 285448

[startup+0.700518 s]
/proc/loadavg: 7.88 8.05 8.00 5/180 6837
/proc/meminfo: memFree=26055172/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=287344 CPUtime=2.78 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 6116 0 0 0 278 0 0 0 25 0 4 0 520531460 294240256 3739 33554432000 4194304 4650419 140733601901232 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 71836 3739 390 112 0 66801 0
[pid=6837/tid=6838] ppid=6835 vsize=287344 CPUtime=0.69 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 1391 0 0 0 69 0 0 0 25 0 4 0 520531460 294240256 3739 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=287344 CPUtime=0.69 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 1463 0 0 0 69 0 0 0 25 0 4 0 520531460 294240256 3739 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=287344 CPUtime=0.69 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 1374 0 0 0 69 0 0 0 25 0 4 0 520531460 294240256 3739 33554432000 4194304 4650419 140733601901232 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 287344

[startup+1.50037 s]
/proc/loadavg: 7.89 8.05 8.00 9/184 6841
/proc/meminfo: memFree=26038140/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=288664 CPUtime=5.97 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 10967 0 0 0 596 1 0 0 25 0 4 0 520531460 295591936 5789 33554432000 4194304 4650419 140733601901232 18446744073709551615 4432396 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 72166 5789 392 112 0 67131 0
[pid=6837/tid=6838] ppid=6835 vsize=288664 CPUtime=1.48 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 2247 0 0 0 148 0 0 0 25 0 4 0 520531460 295591936 5789 33554432000 4194304 4650419 140733601901232 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=288664 CPUtime=1.49 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 2367 0 0 0 149 0 0 0 25 0 4 0 520531460 295591936 5789 33554432000 4194304 4650419 140733601901232 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=288664 CPUtime=1.49 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 2289 0 0 0 149 0 0 0 25 0 4 0 520531460 295591936 5789 33554432000 4194304 4650419 140733601901232 18446744073709551615 4330253 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 288664

[startup+3.10108 s]
/proc/loadavg: 7.89 8.05 8.00 9/184 6841
/proc/meminfo: memFree=26015820/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=297216 CPUtime=12.36 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 17948 0 0 0 1234 2 0 0 25 0 4 0 520531460 304349184 10827 33554432000 4194304 4650419 140733601901232 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 74304 10827 392 112 0 69269 0
[pid=6837/tid=6838] ppid=6835 vsize=297216 CPUtime=3.07 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 3793 0 0 0 307 0 0 0 25 0 4 0 520531460 304349184 10827 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=297216 CPUtime=3.09 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 4801 0 0 0 309 0 0 0 25 0 4 0 520531460 304349184 10827 33554432000 4194304 4650419 140733601901232 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=297216 CPUtime=3.09 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 4822 0 0 0 308 1 0 0 25 0 4 0 520531460 304349184 10827 33554432000 4194304 4650419 140733601901232 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 297216

[startup+6.30049 s]
/proc/loadavg: 7.89 8.05 8.00 9/184 6841
/proc/meminfo: memFree=25983860/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=298040 CPUtime=25.15 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 26522 0 0 0 2511 4 0 0 25 0 4 0 520531460 305192960 13232 33554432000 4194304 4650419 140733601901232 18446744073709551615 4438378 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 74510 13232 392 112 0 69475 0
[pid=6837/tid=6838] ppid=6835 vsize=298040 CPUtime=6.25 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 6633 0 0 0 625 0 0 0 25 0 4 0 520531460 305192960 13232 33554432000 4194304 4650419 140733601901232 18446744073709551615 4371092 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=298040 CPUtime=6.29 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 6674 0 0 0 628 1 0 0 25 0 4 0 520531460 305192960 13233 33554432000 4194304 4650419 140733601901232 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=298040 CPUtime=6.28 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 7005 0 0 0 627 1 0 0 25 0 4 0 520531460 305192960 13233 33554432000 4194304 4650419 140733601901232 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 298040

[startup+12.7003 s]
/proc/loadavg: 7.91 8.05 8.00 9/184 6841
/proc/meminfo: memFree=25945332/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=303308 CPUtime=50.72 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 38472 0 0 0 5065 7 0 0 25 0 4 0 520531460 310587392 18383 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 75827 18383 392 112 0 70792 0
[pid=6837/tid=6838] ppid=6835 vsize=303308 CPUtime=12.62 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 9624 0 0 0 1261 1 0 0 25 0 4 0 520531460 310587392 18383 33554432000 4194304 4650419 140733601901232 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=303308 CPUtime=12.69 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 8791 0 0 0 1268 1 0 0 25 0 4 0 520531460 310587392 18383 33554432000 4194304 4650419 140733601901232 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=303308 CPUtime=12.68 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 10818 0 0 0 1266 2 0 0 25 0 4 0 520531460 310587392 18383 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365276 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) 303308

[startup+25.501 s]
/proc/loadavg: 7.92 8.05 8.00 9/184 6841
/proc/meminfo: memFree=25908348/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=313080 CPUtime=101.84 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 58443 0 0 0 10172 12 0 0 25 0 4 0 520531460 320593920 24338 33554432000 4194304 4650419 140733601901232 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 78270 24338 392 112 0 73235 0
[pid=6837/tid=6838] ppid=6835 vsize=313080 CPUtime=25.35 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 14768 0 0 0 2532 3 0 0 25 0 4 0 520531460 320593920 24338 33554432000 4194304 4650419 140733601901232 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=313080 CPUtime=25.49 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 13182 0 0 0 2547 2 0 0 25 0 4 0 520531460 320593920 24338 33554432000 4194304 4650419 140733601901232 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=313080 CPUtime=25.49 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 16008 0 0 0 2545 4 0 0 25 0 4 0 520531460 320593920 24338 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 313080

[startup+51.1003 s]
/proc/loadavg: 7.95 8.04 8.00 9/184 6842
/proc/meminfo: memFree=25859528/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=314752 CPUtime=204.1 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 86890 0 0 0 20391 19 0 0 25 0 4 0 520531460 322306048 28843 33554432000 4194304 4650419 140733601901232 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 78688 28843 392 112 0 73653 0
[pid=6837/tid=6838] ppid=6835 vsize=314752 CPUtime=50.82 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 22843 0 0 0 5077 5 0 0 25 0 4 0 520531460 322306048 28843 33554432000 4194304 4650419 140733601901232 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=314752 CPUtime=51.08 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 18818 0 0 0 5106 2 0 0 25 0 4 0 520531460 322306048 28843 33554432000 4194304 4650419 140733601901232 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=314752 CPUtime=51.08 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 24638 0 0 0 5102 6 0 0 25 0 4 0 520531460 322306048 28843 33554432000 4194304 4650419 140733601901232 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 314752

[startup+102.301 s]
/proc/loadavg: 8.01 8.05 8.00 9/184 6843
/proc/meminfo: memFree=25778272/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=349824 CPUtime=408.66 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 126218 0 0 0 40832 34 0 0 25 0 4 0 520531460 358219776 37806 33554432000 4194304 4650419 140733601901232 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 87456 37806 392 112 0 82421 0
[pid=6837/tid=6838] ppid=6835 vsize=349824 CPUtime=101.74 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 32472 0 0 0 10166 8 0 0 25 0 4 0 520531460 358219776 37806 33554432000 4194304 4650419 140733601901232 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=349824 CPUtime=102.29 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 25690 0 0 0 10224 5 0 0 25 0 4 0 520531460 358219776 37806 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=349824 CPUtime=102.29 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 38906 0 0 0 10219 10 0 0 25 0 4 0 520531460 358219776 37806 33554432000 4194304 4650419 140733601901232 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 349824

[startup+162.301 s]

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

[pid=6837] ppid=6835 vsize=496748 CPUtime=2565.75 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 383267 0 0 0 256431 144 0 0 25 0 4 0 520531460 508669952 75559 33554432000 4194304 4650419 140733601901232 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 124187 75559 392 112 0 119152 0
[pid=6837/tid=6838] ppid=6835 vsize=496748 CPUtime=638.79 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 108906 0 0 0 63844 35 0 0 25 0 4 0 520531460 508669952 75559 33554432000 4194304 4650419 140733601901232 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=496748 CPUtime=642.31 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 68037 0 0 0 64203 28 0 0 25 0 4 0 520531460 508669952 75559 33554432000 4194304 4650419 140733601901232 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=496748 CPUtime=642.3 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 109502 0 0 0 64191 39 0 0 25 0 4 0 520531460 508669952 75559 33554432000 4194304 4650419 140733601901232 18446744073709551615 4476309 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) 496748

[startup+702.301 s]
/proc/loadavg: 8.01 8.05 8.02 9/184 6862
/proc/meminfo: memFree=25416668/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=496196 CPUtime=2805.42 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 411582 0 0 0 280385 157 0 0 25 0 4 0 520531460 508104704 73904 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 124049 73904 392 112 0 119014 0
[pid=6837/tid=6838] ppid=6835 vsize=496196 CPUtime=698.47 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 113389 0 0 0 69811 36 0 0 25 0 4 0 520531460 508104704 73904 33554432000 4194304 4650419 140733601901232 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=496196 CPUtime=702.31 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 72967 0 0 0 70199 32 0 0 25 0 4 0 520531460 508104704 73904 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=496196 CPUtime=702.31 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 121516 0 0 0 70189 42 0 0 25 0 4 0 520531460 508104704 73904 33554432000 4194304 4650419 140733601901232 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 496196

[startup+762.301 s]
/proc/loadavg: 8.00 8.04 8.02 9/184 6864
/proc/meminfo: memFree=25357364/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=508972 CPUtime=3045.12 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 439698 0 0 0 304344 168 0 0 25 0 4 0 520531460 521187328 81497 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 127243 81497 392 112 0 122208 0
[pid=6837/tid=6838] ppid=6835 vsize=508972 CPUtime=758.15 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 126774 0 0 0 75776 39 0 0 25 0 4 0 520531460 521187328 81497 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=508972 CPUtime=762.32 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 73844 0 0 0 76199 33 0 0 25 0 4 0 520531460 521187328 81497 33554432000 4194304 4650419 140733601901232 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=508972 CPUtime=762.31 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 128561 0 0 0 76186 45 0 0 25 0 4 0 520531460 521187328 81497 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.12
Current children cumulated vsize (KiB) 508972

[startup+822.301 s]
/proc/loadavg: 8.04 8.04 8.02 9/184 6866
/proc/meminfo: memFree=25316924/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=550948 CPUtime=3284.78 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 455181 0 0 0 328302 176 0 0 25 0 4 0 520531460 564170752 79142 33554432000 4194304 4650419 140733601901232 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 137737 79142 392 112 0 132702 0
[pid=6837/tid=6838] ppid=6835 vsize=550948 CPUtime=817.82 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 130614 0 0 0 81740 42 0 0 25 0 4 0 520531460 564170752 79142 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=550948 CPUtime=822.31 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 74549 0 0 0 82197 34 0 0 25 0 4 0 520531460 564170752 79142 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=550948 CPUtime=822.31 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 133713 0 0 0 82183 48 0 0 25 0 4 0 520531460 564170752 79142 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.78
Current children cumulated vsize (KiB) 550948

[startup+882.307 s]
/proc/loadavg: 8.05 8.05 8.02 9/184 6867
/proc/meminfo: memFree=25328424/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=577400 CPUtime=3524.48 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 483512 0 0 0 352261 187 0 0 25 0 4 0 520531460 591257600 83758 33554432000 4194304 4650419 140733601901232 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 144350 83758 392 112 0 139315 0
[pid=6837/tid=6838] ppid=6835 vsize=577400 CPUtime=877.49 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 135911 0 0 0 87704 45 0 0 25 0 4 0 520531460 591257600 83758 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=577400 CPUtime=882.31 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 77457 0 0 0 88196 35 0 0 25 0 4 0 520531460 591257600 83758 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=577400 CPUtime=882.31 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 138870 0 0 0 88180 51 0 0 25 0 4 0 520531460 591257600 83758 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.48
Current children cumulated vsize (KiB) 577400

[startup+942.301 s]
/proc/loadavg: 8.02 8.04 8.01 9/184 6869
/proc/meminfo: memFree=25283628/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=576480 CPUtime=3764.14 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 503405 0 0 0 376219 195 0 0 25 0 4 0 520531460 590315520 86237 33554432000 4194304 4650419 140733601901232 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 144120 86237 392 112 0 139085 0
[pid=6837/tid=6838] ppid=6835 vsize=576480 CPUtime=937.16 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 141088 0 0 0 93668 48 0 0 25 0 4 0 520531460 590315520 86237 33554432000 4194304 4650419 140733601901232 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=576480 CPUtime=942.31 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 79966 0 0 0 94194 37 0 0 25 0 4 0 520531460 590315520 86237 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=576480 CPUtime=942.31 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 145621 0 0 0 94179 52 0 0 25 0 4 0 520531460 590315520 86237 33554432000 4194304 4650419 140733601901232 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.14
Current children cumulated vsize (KiB) 576480

[startup+1002.3 s]
/proc/loadavg: 8.04 8.04 8.01 9/184 6870
/proc/meminfo: memFree=25282980/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=576580 CPUtime=4003.82 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 521855 0 0 0 400181 201 0 0 25 0 4 0 520531460 590417920 90943 33554432000 4194304 4650419 140733601901232 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 144145 90943 392 112 0 139110 0
[pid=6837/tid=6838] ppid=6835 vsize=576580 CPUtime=996.84 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 142076 0 0 0 99635 49 0 0 25 0 4 0 520531460 590417920 90943 33554432000 4194304 4650419 140733601901232 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=576580 CPUtime=1002.32 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 82390 0 0 0 100193 39 0 0 25 0 4 0 520531460 590417920 90943 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=576580 CPUtime=1002.31 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 155695 0 0 0 100177 54 0 0 25 0 4 0 520531460 590417920 90943 33554432000 4194304 4650419 140733601901232 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) 576580

[startup+1062.3 s]
/proc/loadavg: 8.05 8.05 8.01 9/184 6872
/proc/meminfo: memFree=25306752/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=563552 CPUtime=4243.49 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 533294 0 0 0 424145 204 0 0 25 0 4 0 520531460 577077248 84578 33554432000 4194304 4650419 140733601901232 18446744073709551615 4360403 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 140888 84578 392 112 0 135853 0
[pid=6837/tid=6838] ppid=6835 vsize=563552 CPUtime=1056.51 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 142076 0 0 0 105602 49 0 0 25 0 4 0 520531460 577077248 84578 33554432000 4194304 4650419 140733601901232 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=563552 CPUtime=1062.32 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 83695 0 0 0 106192 40 0 0 25 0 4 0 520531460 577077248 84578 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=563552 CPUtime=1062.31 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 164870 0 0 0 106176 55 0 0 25 0 4 0 520531460 577077248 84578 33554432000 4194304 4650419 140733601901232 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.49
Current children cumulated vsize (KiB) 563552

[startup+1122.3 s]
/proc/loadavg: 8.09 8.05 8.01 9/184 6874
/proc/meminfo: memFree=25260100/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=564060 CPUtime=4483.18 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 546558 0 0 0 448106 212 0 0 25 0 4 0 520531460 577597440 93179 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 141015 93179 392 112 0 135980 0
[pid=6837/tid=6838] ppid=6835 vsize=564060 CPUtime=1116.19 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 142076 0 0 0 111570 49 0 0 25 0 4 0 520531460 577597440 93179 33554432000 4194304 4650419 140733601901232 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=564060 CPUtime=1122.32 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 85745 0 0 0 112191 41 0 0 25 0 4 0 520531460 577597440 93179 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=564060 CPUtime=1122.32 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 171068 0 0 0 112174 58 0 0 25 0 4 0 520531460 577597440 93179 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.18
Current children cumulated vsize (KiB) 564060

[startup+1182.3 s]
/proc/loadavg: 8.10 8.06 8.01 9/184 6875
/proc/meminfo: memFree=25263304/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=564168 CPUtime=4722.86 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 560811 0 0 0 472066 220 0 0 25 0 4 0 520531460 577708032 92594 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 141042 92594 392 112 0 136007 0
[pid=6837/tid=6838] ppid=6835 vsize=564168 CPUtime=1175.87 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 147320 0 0 0 117535 52 0 0 25 0 4 0 520531460 577708032 92594 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=564168 CPUtime=1182.32 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 88407 0 0 0 118190 42 0 0 25 0 4 0 520531460 577708032 92594 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=564168 CPUtime=1182.32 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 175201 0 0 0 118171 61 0 0 25 0 4 0 520531460 577708032 92594 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.86
Current children cumulated vsize (KiB) 564168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.75 7.99 7.98 5/176 6894
/proc/meminfo: memFree=25747560/32951124 swapFree=67111524/67111528
[pid=6837] ppid=6835 vsize=564168 CPUtime=4800.36 cores=1,3,5,7
/proc/6837/stat : 6837 (strangenight1-m) R 6835 6837 6568 0 -1 4202496 564883 0 0 0 479813 223 0 0 25 0 4 0 520531460 577708032 91295 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6837/statm: 141042 91295 392 112 0 136007 0
[pid=6837/tid=6838] ppid=6835 vsize=564168 CPUtime=1195.15 cores=1,3,5,7
/proc/6837/task/6838/stat : 6838 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 148154 0 0 0 119463 52 0 0 25 0 4 0 520531460 577708032 91295 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6837/tid=6839] ppid=6835 vsize=564168 CPUtime=1201.73 cores=1,3,5,7
/proc/6837/task/6839/stat : 6839 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 89646 0 0 0 120130 43 0 0 25 0 4 0 520531460 577708032 91295 33554432000 4194304 4650419 140733601901232 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6837/tid=6840] ppid=6835 vsize=564168 CPUtime=1201.72 cores=1,3,5,7
/proc/6837/task/6840/stat : 6840 (strangenight1-m) R 6835 6837 6568 0 -1 4202560 175231 0 0 0 120111 61 0 0 25 0 4 0 520531460 577708032 91295 33554432000 4194304 4650419 140733601901232 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 564168

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.41
CPU user time (s): 4798.16
CPU system time (s): 2.24966
CPU usage (%): 399.458
Max. virtual memory (cumulated for all children) (KiB): 577400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.16
system time used= 2.24966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 564883
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= 316
involuntary context switches= 33358

runsolver used 1.82572 second user time and 4.74728 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 17:01:50
IDJOB=3175122
IDBENCH=82740
IDSOLVER=1588
FILE ID=node104/3175122-1304089310
RUNJOBID= node104-1304086898-6587
PBS_JOBID= 13170552
Free space on /tmp= 71544 MiB

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

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

MD5SUM BENCH= 38eb341db913fde0f11427c4d808f2c9
RANDOM SEED=1455035713

node104.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.855
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.71
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.855
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.83
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.855
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.67
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.855
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.80
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.855
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	: 5293.18
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.855
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.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26055452 kB
Buffers:       1880492 kB
Cached:        4354872 kB
SwapCached:          4 kB
Active:         220436 kB
Inactive:      6132092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26055452 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12468 kB
Writeback:           0 kB
AnonPages:      117716 kB
Mapped:          15516 kB
Slab:           480228 kB
PageTables:       4816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   343720 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= 71544 MiB
End job on node104 at 2011-04-29 17:21:54