Trace number 3321111

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 40001 5007.69

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.080-SAT.cnf
MD5SUM1ca09a2b911e29894c6603aee8d3e672
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1503.62
Satisfiable
(Un)Satisfiability was proved
Number of variables175084
Number of clauses2826936
Sum of the clauses size6454456
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22728320
Number of clauses of size 37680
Number of clauses of size 435520
Number of clauses of size 515360
Number of clauses of size over 539360

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3321111-1304323743.cnf'
0.00/0.02	c -- header says num vars:         175084
0.00/0.02	c -- header says num clauses:     2826936
13.21/2.41	c -- clauses added:            0 learnts,      2826936 normals,            0 xors
13.21/2.41	c -- vars added     175084
13.21/2.41	c Parsing time:  0.95 s
13.21/2.41	c  N st     0         0    175084     86202   2367076         0   5605905         0   no data   no data
17.00/2.99	c asymm  cl-useful: 815/1252/72288 lits-rem:35949 time: 0.54
93.72/12.52	c Flit:   261 Blit:   8669 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  9.53
93.72/12.59	c Cleaning up after failed var search:     0.06 s 
94.52/12.68	c Replacing      503 vars Replaced    29207 lits Time:     0.09 s 
96.13/12.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
96.92/12.97	c bin-w-bin subsume rem          734 bins  time:  0.15 s
100.11/13.35	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  0.38 s
126.07/16.60	c Subs w/ non-existent bins:      0 l-rem:    292 v-fix:     0 done:  27687 time:  3.21 s
127.67/16.83	c Removed useless bin:    8124  fixed:     0  props:  20.00M  time:  0.24 s
130.87/17.29	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  0.45 s
131.67/17.35	c Finding binary XORs  T:     0.06 s  found:     180
132.47/17.44	c Replacing      180 vars Replaced    14370 lits Time:     0.09 s 
133.31/17.53	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
133.31/17.53	c calculated reachability. Time: 0.00
133.31/17.57	c Calc default polars -  time:   0.03 s pos:    3521 undec:   59475 neg:  112088
133.31/17.57	c =========================================================================================
133.31/17.57	c types(t): F = full restart, N = normal restart
133.31/17.57	c types(t): S = simplification begin/end, E = solution found
133.31/17.57	c restart types(rt): st = static, dy = dynamic
133.31/17.57	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
133.31/17.57	c  B st     0         0    115615     67472   1541440         0   3711939         0   no data   no data
205.22/26.53	c  N dy    13      4145    115594     67472   1541510      4034   3711939   2855012     23.68     24.95
264.37/33.91	c  N dy    30      8288    115041     67472   1542270      8092   3711939   5305682     25.83     27.20
401.87/51.14	c  N dy    50     13153    114981     67472   1542326     12871   3711939   9212610     25.20     26.66
454.63/57.73	c  N dy    67     17165    114650     67472   1543578     16791   3711939  11376007     25.74     29.96
523.37/66.32	c  N dy    85     21279    114593     67472   1543929     11058   3711939   2422884     25.73     28.59
608.96/77.01	c  F st   102     25002    114514     67472   1543964     14729   3711939   6816510     25.34     16.45
621.70/78.61	c  N st   104     25629    114513     66912   1525822     15297   3667464   7282336     25.34   no data
712.04/89.99	c  N dy   108     30000    114359     66912   1525864     19605   3667464  11624807     25.34   no data
712.04/89.99	c  S st   108     30000    114359     66912   1525864     19605   3667464  11624807     25.34   no data
720.84/91.09	c  S st   108     30503    114352     66912   1525878     20090   3667464  11735553     25.34   no data
721.64/91.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
813.55/102.66	c Flit:   159 Blit:    930 bXBeca:    0 bXProp:   63 Bins: 664734 BRemL:   6263 BRemN:   1877 P: 200.0M T: 11.47
814.35/102.75	c Cleaning up after failed var search:     0.09 s 
815.96/102.97	c Replacing       64 vars Replaced    26987 lits Time:     0.21 s 
817.55/103.11	c blocked clauses removed:        0 vars:      0 tried:      113151 T: 0.07 s
819.20/103.31	c bin-w-bin subsume rem         3988 bins  time:  0.20 s
822.35/103.75	c subs with bin:       28  lits-rem:        12  v-fix:    0  time:  0.44 s
854.37/107.71	c Subs w/ non-existent bins:     10 l-rem:    600 v-fix:    29 done:  30333 time:  3.96 s
856.72/108.06	c Removed useless bin:   39867  fixed:     0  props:  20.00M  time:  0.35 s
861.53/108.64	c lits-rem:         0  cl-subs:        0  v-elim:      4  v-fix:    0  time:  0.57 s
883.10/111.38	c subs with bin:        4  lits-rem:      1262  v-fix:    0  time:  1.57 s
892.69/112.51	c lits-rem:      1695  cl-subs:      726  v-elim:      0  v-fix:    0  time:  1.07 s
896.68/113.06	c asymm  cl-useful: 34/982/66263 lits-rem:76 time: 0.54
897.48/113.11	c calculated reachability. Time: 0.00
897.48/113.11	c  N dy   108     30503    113118     66263   2052980     19128   3534847  12604863     25.34   no data
897.48/113.17	c Finding binary XORs  T:     0.06 s  found:     169
960.40/121.59	c  N dy   131     34737    113035     66263   2054057     23284   3534847  14677067     26.77     32.24
1026.52/130.01	c  N dy   151     38751    112997     66263   2122552     27238   3534847  17243501     27.42     29.93
1027.31/130.19	c Finding binary XORs  T:     0.07 s  found:     103
1140.97/144.45	c  N dy   166     43412    112610     66020   2042005     16706   3515511   5627489     27.65     29.51
1176.14/148.88	c  S st   181     45755    112544     66020   2050107     19013   3515511   6923218     27.50     24.07
1184.93/149.95	c  S st   181     46255    112544     66020   2050124     19494   3515511   6994941     27.50   no data
1185.73/150.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
1297.64/164.07	c Flit:   251 Blit:    544 bXBeca:    0 bXProp:   37 Bins: 436114 BRemL:   6106 BRemN:    396 P: 200.0M T: 13.94
1297.64/164.07	c Cleaning up after failed var search:     0.00 s 
1300.04/164.31	c Replacing      310 vars Replaced    67340 lits Time:     0.24 s 
1300.84/164.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1303.24/164.70	c bin-w-bin subsume rem        24288 bins  time:  0.29 s
1307.24/165.22	c subs with bin:        5  lits-rem:        10  v-fix:    0  time:  0.52 s
1341.58/169.51	c Subs w/ non-existent bins:      1 l-rem:    527 v-fix:     5 done:  29755 time:  4.26 s
1343.98/169.81	c Removed useless bin:   13305  fixed:     0  props:  20.02M  time:  0.30 s
1348.82/170.41	c lits-rem:         0  cl-subs:       15  v-elim:      2  v-fix:    0  time:  0.59 s
1363.97/172.36	c subs with bin:        0  lits-rem:         8  v-fix:    0  time:  1.58 s
1371.15/173.24	c lits-rem:       780  cl-subs:      339  v-elim:      0  v-fix:    0  time:  0.83 s
1376.00/173.84	c asymm  cl-useful: 8/521/65623 lits-rem:13 time: 0.59
1376.74/173.90	c calculated reachability. Time: 0.01
1376.74/173.91	c  N dy   181     46255    111483     65623   2339375     18927   3452632   7487106     27.50   no data
1376.74/173.98	c Finding binary XORs  T:     0.07 s  found:      78
1432.64/180.98	c  N dy   198     50404    111119     65623   2370001     23030   3452632   9493098     27.75     29.76
1501.37/189.51	c  N dy   219     54422    111118     65623   2370039     26994   3452632  11956359     27.79     31.34
1560.58/196.96	c Finding binary XORs  T:     0.07 s  found:      84
1562.92/197.25	c  N dy   239     58880    111015     65392   2328856     31262   3436526  14271163     27.62     29.80
1625.00/205.00	c  N dy   252     62918    110877     65392   2410764     35234   3436526  17295792     27.23     50.33
1684.51/213.02	c Finding binary XORs  T:     0.07 s  found:      28
1696.56/214.59	c  N dy   273     67123    110877     65316   2389076     21168   3431790   5557214     27.86     31.10
1726.87/218.35	c  S st   284     69383    110630     65316   2645148     23396   3431790   6921044     27.69   no data
1734.87/219.32	c  S st   284     69883    110630     65316   2645161     23881   3431790   7025764     27.69   no data
1735.67/219.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
1833.99/231.70	c Flit:   216 Blit:    175 bXBeca:    0 bXProp:   36 Bins: 340286 BRemL:   4367 BRemN:    181 P: 200.0M T: 12.27
1833.99/231.70	c Cleaning up after failed var search:     0.00 s 
1835.60/231.99	c Replacing      227 vars Replaced    80606 lits Time:     0.28 s 
1836.44/232.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1840.39/232.55	c bin-w-bin subsume rem        60686 bins  time:  0.46 s
1845.24/233.18	c subs with bin:       11  lits-rem:         4  v-fix:    0  time:  0.63 s
1882.76/237.83	c Subs w/ non-existent bins:      1 l-rem:    170 v-fix:     6 done:  29226 time:  4.66 s
1885.16/238.14	c Removed useless bin:   23315  fixed:     0  props:  20.01M  time:  0.31 s
1889.81/238.75	c lits-rem:         0  cl-subs:       10  v-elim:      3  v-fix:    0  time:  0.61 s
1912.14/241.51	c subs with bin:        0  lits-rem:        28  v-fix:    0  time:  2.47 s
1917.73/242.28	c lits-rem:       770  cl-subs:      501  v-elim:      0  v-fix:    0  time:  0.72 s
1922.54/242.86	c asymm  cl-useful: 199/437/65006 lits-rem:2954 time: 0.59
1923.33/242.93	c calculated reachability. Time: 0.00
1923.33/242.93	c  N dy   284     69883    109995     65006   2805614     23220   3354320   7291395     27.69   no data
1924.17/243.00	c Finding binary XORs  T:     0.07 s  found:      54
1995.34/251.97	c  N dy   298     74346    109994     65006   2805654     27622   3354320  10554104     27.40     66.30
2021.72/255.25	c Finding binary XORs  T:     0.08 s  found:      38
2061.63/260.27	c  N dy   316     79093    109863     64929   2962471     32230   3348666  13013675     27.18     34.39
2122.39/267.86	c  N dy   333     84242    109855     64929   2975344     37312   3348666  15409741     27.24     31.04
2163.16/272.98	c  F st   352     87501    109855     64929   2975366     40538   3348666  16917247     27.57     27.65
2167.16/273.41	c Replacing       92 vars Replaced    44399 lits Time:     0.33 s 
2222.32/280.30	c  N st   357     90802    109764     64922   2975126     23576   3347880   6396293     27.57   no data
2299.87/290.03	c  N dy   375     96818    109754     64922   2975446     29525   3347880   9951278     27.43     29.14
2382.25/300.35	c  N dy   399    103088    109744     64922   2975761     35713   3347880  13273827     27.37     29.17
2408.63/303.67	c  S st   405    104825    109744     64922   2975777     37428   3347880  14446070     27.29   no data
2417.42/304.75	c  S st   405    105329    109744     64922   2975783     37924   3347880  14546073     27.29   no data
2418.16/304.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
2522.93/317.92	c Flit:   133 Blit:     75 bXBeca:    0 bXProp:    9 Bins: 551518 BRemL:  10870 BRemN:    437 P: 200.1M T: 13.04
2522.93/317.92	c Cleaning up after failed var search:     0.00 s 
2525.28/318.28	c Replacing       10 vars Replaced    35692 lits Time:     0.36 s 
2526.08/318.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2530.07/318.82	c bin-w-bin subsume rem        26933 bins  time:  0.44 s
2535.66/319.59	c subs with bin:        6  lits-rem:         0  v-fix:    0  time:  0.77 s
2573.25/324.22	c Subs w/ non-existent bins:      2 l-rem:    264 v-fix:     3 done:  28834 time:  4.63 s
2575.68/324.51	c Removed useless bin:    9627  fixed:     0  props:  20.01M  time:  0.29 s
2580.44/325.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.66 s
2599.62/327.58	c subs with bin:        0  lits-rem:         3  v-fix:    0  time:  1.62 s
2611.61/329.07	c lits-rem:      2250  cl-subs:      862  v-elim:      0  v-fix:    0  time:  1.44 s
2617.21/329.70	c asymm  cl-useful: 299/399/64800 lits-rem:3942 time: 0.63
2617.21/329.78	c calculated reachability. Time: 0.01
2617.21/329.78	c  N dy   405    105329    109507     64800   3432772     37015   3314119  15218166     27.29   no data
2618.01/329.87	c Finding binary XORs  T:     0.08 s  found:      22
2704.25/340.61	c Finding binary XORs  T:     0.08 s  found:      17
2723.44/343.08	c  N dy   436    112329    109363     64736   3719651     43868   3309457  19531025     27.35     29.42
2748.78/346.25	c Finding binary XORs  T:     0.09 s  found:       9
2837.26/357.39	c  N dy   463    120316    109314     64712   4062932     29788   3307596  10202487     27.06     28.56
2933.99/369.41	c  N dy   490    128084    109313     64712   4063229     37452   3307596  13496317     26.78     28.71
3072.29/386.73	c  N dy   507    136300    109312     64712   4096160     45562   3307596  19999166     26.23     28.38
3173.80/399.46	c Finding binary XORs  T:     0.09 s  found:       2
3188.19/401.29	c  N dy   534    145460    109305     64709   4094697     31752   3307354   9648683     26.19     29.37
3312.93/416.86	c  N dy   576    154950    109304     64709   4095015     41117   3307354  13932288     26.20     27.63
3363.23/423.11	c  S st   587    157993    109227     64709   4103203     44133   3307354  16176565     26.34     25.81
3372.83/424.30	c  S st   587    158493    109227     64709   4103214     44622   3307354  16306509     26.34   no data
3373.63/424.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
3476.74/437.35	c Flit:    89 Blit:     66 bXBeca:    0 bXProp:    8 Bins: 411004 BRemL:  12948 BRemN:    294 P: 200.0M T: 12.91
3476.74/437.36	c Cleaning up after failed var search:     0.00 s 
3480.79/437.85	c Replacing       58 vars Replaced    70247 lits Time:     0.49 s 
3481.53/437.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3487.13/438.69	c bin-w-bin subsume rem        74526 bins  time:  0.73 s
3494.94/439.62	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.93 s
3533.17/444.41	c Subs w/ non-existent bins:      0 l-rem:    156 v-fix:     0 done:  30323 time:  4.79 s
3535.52/444.76	c Removed useless bin:   10039  fixed:     0  props:  20.00M  time:  0.35 s
3541.16/445.42	c lits-rem:         0  cl-subs:        8  v-elim:      0  v-fix:    0  time:  0.66 s
3559.55/447.78	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  1.63 s
3574.69/449.64	c lits-rem:      1981  cl-subs:     1033  v-elim:      0  v-fix:    0  time:  1.81 s
3579.49/450.20	c asymm  cl-useful: 1/816/64597 lits-rem:15 time: 0.56
3580.29/450.30	c calculated reachability. Time: 0.00
3580.29/450.30	c  N dy   587    158493    109017     64597   4343655     43493   3278333  16564727     26.34   no data
3580.29/450.39	c Finding binary XORs  T:     0.09 s  found:      29
3684.19/463.60	c Finding binary XORs  T:     0.10 s  found:      22
3745.74/471.37	c  N dy   616    169028    108958     64567   4900200     31344   3275775  10288927     25.98     28.63
3892.00/489.68	c  N dy   646    180175    108951     64567   4912890     42368   3275775  15977984     25.60     27.15
4048.74/509.20	c  N dy   684    191853    108949     64567   4913874     30698   3275775   8067779     25.41     26.91
4217.36/530.36	c  N dy   742    204582    108946     64567   4914312     43300   3275775  14709839     25.46     26.83
4418.87/555.55	c  N dy   796    217644    108912     64567   4935293     56257   3275775  22888011     25.36     26.83
4461.19/560.84	c Finding binary XORs  T:     0.10 s  found:      34
4589.10/576.87	c  N dy   837    231700    108818     64499   4978044     45867   3270884  13032902     25.02     26.38
4673.08/587.36	c  S st   859    237739    108811     64499   4978640     51827   3270884  16015389     24.95   no data
4683.42/588.68	c  S st   859    238240    108811     64499   4978654     52314   3270884  16144038     24.95   no data
4685.02/588.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
4787.38/601.65	c Flit:    68 Blit:     32 bXBeca:    0 bXProp:    6 Bins: 326697 BRemL:  14428 BRemN:    239 P: 200.1M T: 12.81
4791.33/602.16	c Replacing       91 vars Replaced    96981 lits Time:     0.50 s 
4792.13/602.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4798.53/603.02	c bin-w-bin subsume rem        35772 bins  time:  0.75 s
4807.33/604.14	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  1.11 s
4850.50/609.51	c Subs w/ non-existent bins:      1 l-rem:    214 v-fix:     0 done:  29579 time:  5.37 s
4853.69/609.95	c Removed useless bin:   21774  fixed:     0  props:  20.01M  time:  0.43 s
4859.28/610.60	c lits-rem:         3  cl-subs:       21  v-elim:     12  v-fix:    0  time:  0.66 s
4876.88/612.84	c subs with bin:        4  lits-rem:        13  v-fix:    0  time:  1.63 s
4896.06/615.26	c lits-rem:      2292  cl-subs:     1241  v-elim:      0  v-fix:    0  time:  2.38 s
4900.87/615.86	c asymm  cl-useful: 1/438/64457 lits-rem:15 time: 0.60
4901.71/615.98	c calculated reachability. Time: 0.01
4901.71/615.99	c  N dy   859    238240    108616     64457   5200849     50703   3222453  16339844     24.95   no data
4902.51/616.09	c Finding binary XORs  T:     0.10 s  found:       6
5118.83/643.15	c  N dy   922    253534    108612     64457   5211496     40731   3222453  10243824     25.03     26.65
5302.70/666.13	c Finding binary XORs  T:     0.10 s  found:      27
5376.28/675.32	c  N dy   984    270422    108559     64419   5325966     57422   3219339  20023151     24.90     26.38
5605.72/704.04	c  N dy  1014    287938    108557     64419   5328401     48719   3219339  12802146     24.44     27.00
5867.86/736.87	c  F st  1076    306250    108548     64419   5329040     66858   3219339  22735324     24.25     12.65
5872.66/737.41	c Replacing       33 vars Replaced    47181 lits Time:     0.42 s 
5878.30/738.15	c  N st  1077    306500    108517     64412   5325967     67098   3218705  22883449     24.25   no data
6265.21/786.51	c  N dy  1142    326117    108497     64412   5326815     59364   3218705  18662338     24.16     26.52
6531.37/819.85	c  N dy  1199    346164    108487     64412   5327455     51098   3218705  10732920     24.00     87.06
6705.64/841.63	c  S st  1245    357360    108485     64412   5327942     62177   3218705  17345746     24.01     20.27
6716.02/842.94	c  S st  1245    357860    108479     64412   5327947     62672   3218705  17472314     24.01   no data
6716.82/843.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
6819.20/855.81	c Flit:    40 Blit:     21 bXBeca:    0 bXProp:    2 Bins: 337929 BRemL:  12104 BRemN:    285 P: 200.0M T: 12.72
6821.55/856.17	c Replacing        4 vars Replaced     3488 lits Time:     0.35 s 
6822.35/856.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6828.75/857.06	c bin-w-bin subsume rem        19493 bins  time:  0.77 s
6838.33/858.28	c subs with bin:       21  lits-rem:        73  v-fix:    0  time:  1.22 s
6884.70/864.08	c Subs w/ non-existent bins:      0 l-rem:     71 v-fix:     1 done:  29498 time:  5.80 s
6887.90/864.46	c Removed useless bin:    7381  fixed:     0  props:  20.01M  time:  0.38 s
6894.30/865.21	c lits-rem:         1  cl-subs:        4  v-elim:      2  v-fix:    0  time:  0.76 s
6913.48/867.67	c subs with bin:        1  lits-rem:         4  v-fix:    0  time:  1.77 s
6932.72/870.09	c lits-rem:      2219  cl-subs:     1244  v-elim:      0  v-fix:    0  time:  2.38 s
6938.27/870.73	c asymm  cl-useful: 2/318/64352 lits-rem:2 time: 0.65
6939.07/870.86	c calculated reachability. Time: 0.01
6939.07/870.87	c  N dy  1245    357860    108410     64352   5594914     61116   3200082  17748883     24.01   no data
6939.87/870.97	c Finding binary XORs  T:     0.11 s  found:      17
7140.34/896.03	c Finding binary XORs  T:     0.11 s  found:      15
7229.06/907.19	c  N dy  1329    377981    108350     64316   5626693     51863   3197251  10173386     24.02     25.81
7350.83/922.44	c Finding binary XORs  T:     0.11 s  found:      27
7473.75/937.87	c Finding binary XORs  T:     0.11 s  found:      10
7525.48/944.33	c  N dy  1388    398052    108244     64250   5832862     71658   3192766  20950095     23.85     25.57
7828.37/982.27	c  N dy  1469    418116    108239     64250   5836800     61635   3192766  14124461     23.81     26.51
7946.65/997.00	c Finding binary XORs  T:     0.11 s  found:      19
8149.46/1022.45	c  N dy  1542    438474    108201     64220   6036064     81774   3190418  26061962     23.67     39.74
8438.06/1058.54	c  N dy  1614    458517    108188     64220   6036649     70681   3190418  17932318     23.61     25.01
8741.03/1096.46	c  N dy  1682    478586    108187     64220   6037333     90589   3190418  27642335     23.50     25.04
9032.02/1132.84	c  N dy  1779    498618    108172     64220   6038073     78756   3190418  19408963     23.65     94.14
9347.78/1172.37	c  N dy  1863    518619    108164     64220   6038723     98603   3190418  30814623     23.65     26.81
9614.01/1205.68	c  S st  1936    536792    108148     64220   6039070     84005   3190418  19369165     23.63   no data
9623.56/1206.85	c  S st  1936    537292    108147     64220   6039255     84496   3190418  19469076     23.63   no data
9625.16/1207.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
9730.68/1220.23	c Flit:    63 Blit:     32 bXBeca:    0 bXProp:   11 Bins: 335418 BRemL:  10295 BRemN:    238 P: 200.0M T: 13.21
9734.68/1220.77	c Replacing       99 vars Replaced    96486 lits Time:     0.54 s 
9735.48/1220.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9742.67/1221.75	c bin-w-bin subsume rem        26273 bins  time:  0.85 s
9753.91/1223.12	c subs with bin:        2  lits-rem:        61  v-fix:    0  time:  1.37 s
9789.89/1227.67	c Subs w/ non-existent bins:      0 l-rem:    109 v-fix:     0 done:  29695 time:  4.53 s
9793.04/1228.10	c Removed useless bin:    6404  fixed:     0  props:  20.00M  time:  0.43 s
9800.19/1228.94	c lits-rem:         1  cl-subs:       37  v-elim:     10  v-fix:    0  time:  0.81 s
9818.58/1231.26	c subs with bin:        3  lits-rem:         3  v-fix:    0  time:  1.62 s
9833.82/1233.15	c lits-rem:      1655  cl-subs:     1891  v-elim:      0  v-fix:    0  time:  1.83 s
9839.36/1233.81	c asymm  cl-useful: 0/300/64113 lits-rem:0 time: 0.66
9840.16/1233.95	c calculated reachability. Time: 0.00
9840.16/1233.96	c  N dy  1936    537292    107936     64113   6248679     82055   3169638  19486178     23.63   no data
9840.96/1234.07	c Finding binary XORs  T:     0.11 s  found:      28
9945.22/1247.29	c Finding binary XORs  T:     0.11 s  found:      20
10164.82/1274.77	c  N dy  2004    557425    107860     64073   6365903    101912   3166212  30096718     23.64     25.22
10532.55/1320.71	c  N dy  2094    579182    107847     64073   6366687     89050   3166212  22543853     23.66     26.75
10875.50/1363.68	c  N dy  2188    599798    107845     64073   6367303     74986   3166212  12813933     23.69     26.27
11196.86/1403.89	c  N dy  2264    619852    107844     64073   6368017     94880   3166212  22955979     23.64     26.12
11551.81/1448.29	c  N dy  2346    639971    107842     64073   6368678     79239   3166212  12656463     23.72     25.22
11844.39/1484.84	c  N dy  2410    660433    107832     64073   6369172     99554   3166212  21087845     23.62     24.88
12156.96/1523.93	c  N dy  2462    680842    107807     64073   6369656     83182   3166212  13341379     23.52     24.94
12365.62/1550.02	c Finding binary XORs  T:     0.12 s  found:      30
12511.10/1568.26	c  N dy  2501    700941    107727     63998   6445210    102980   3161142  27468348     23.41     24.96
12879.63/1614.37	c  N dy  2583    721079    107709     63998   6446155     85364   3161142  12509684     23.50     24.96
13193.77/1653.60	c Finding binary XORs  T:     0.12 s  found:      18
13237.75/1659.19	c  N dy  2656    741108    107663     63963   6506712    105215   3158607  25530171     23.50     52.50
13567.92/1700.46	c  N dy  2733    761345    107604     63963   6523981    125332   3158607  36206670     23.47     24.86
13894.91/1741.38	c  N dy  2833    781507    107598     63963   6524455    106757   3158607  22321271     23.52     24.97
14220.28/1782.01	c  N dy  2913    802212    107597     63963   6524946    127301   3158607  32598275     23.51     27.77
14285.79/1790.24	c  S st  2930    805941    107597     63963   6525034    131009   3158607  34631675     23.52     20.90
14296.98/1791.69	c  S st  2930    806444    107597     63963   6525037    131509   3158607  34742547     23.52   no data
14298.62/1791.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
14401.69/1804.79	c Flit:    25 Blit:     18 bXBeca:    0 bXProp:    1 Bins: 177951 BRemL:   5442 BRemN:    149 P: 200.0M T: 12.91
14409.68/1805.71	c Replacing       98 vars Replaced   142596 lits Time:     0.91 s 
14410.49/1805.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14417.68/1806.75	c bin-w-bin subsume rem        27754 bins  time:  0.90 s
14429.68/1808.24	c subs with bin:       21  lits-rem:         6  v-fix:    0  time:  1.49 s
14467.20/1812.90	c Subs w/ non-existent bins:      1 l-rem:    151 v-fix:     0 done:  30106 time:  4.65 s
14470.40/1813.30	c Removed useless bin:    4418  fixed:     0  props:  20.03M  time:  0.40 s
14476.78/1814.16	c lits-rem:         0  cl-subs:       30  v-elim:      7  v-fix:    0  time:  0.85 s
14509.61/1818.26	c subs with bin:        5  lits-rem:        25  v-fix:    0  time:  2.24 s
14555.94/1824.01	c lits-rem:      2117  cl-subs:     3197  v-elim:      0  v-fix:    0  time:  5.69 s
14560.73/1824.68	c asymm  cl-useful: 0/272/63894 lits-rem:0 time: 0.67
14562.37/1824.83	c calculated reachability. Time: 0.00
14562.37/1824.84	c  N dy  2930    806444    107450     63894   6630332    127464   3143989  34083474     23.52   no data
14563.18/1824.95	c Finding binary XORs  T:     0.12 s  found:      11
14741.94/1847.34	c Finding binary XORs  T:     0.12 s  found:      12
14882.64/1864.99	c  N dy  3009    828978    107399     63867   6715297    109152   3141935  20122189     23.49     25.26
15212.83/1906.24	c  N dy  3082    849028    107399     63867   6715769    129062   3141935  30957766     23.48     25.19
15588.52/1953.22	c  N dy  3165    869825    107393     63867   6716290    109391   3141935  21371385     23.49     24.84
15954.63/1999.04	c  N dy  3241    890093    107390     63867   6716898    129549   3141935  34378663     23.45     24.79
16275.19/2039.14	c  N dy  3309    910222    107371     63867   6717346    108165   3141935  17853546     23.40     26.30
16634.91/2084.15	c  N dy  3389    930334    107365     63867   6717785    128149   3141935  29789986     23.41     24.71
16940.29/2122.30	c Finding binary XORs  T:     0.12 s  found:      21
16995.44/2129.22	c  N dy  3462    950404    107318     63827   6855474    105726   3138828  14370526     23.45     26.79
17339.99/2172.37	c  N dy  3544    970446    107315     63827   6858188    125643   3138828  25181645     23.46     25.59
17713.31/2219.06	c  N dy  3616    990471    107315     63827   6860749    145557   3138828  39451706     23.49     25.09
18095.40/2266.85	c  N dy  3675   1010595    107299     63827   6861298    122312   3138828  22262209     23.39     24.81
18455.94/2311.90	c  N dy  3786   1030638    107296     63827   6861852    142220   3138828  34523390     23.50     27.94
18863.63/2362.98	c  N dy  3853   1052232    107295     63827   6862288    119390   3138828  17248724     23.47     24.92
19201.79/2405.24	c  F st  3934   1071875    107293     63827   6862613    138913   3138828  27081629     23.51     15.81
19206.59/2405.86	c Replacing       44 vars Replaced    49505 lits Time:     0.47 s 
19224.97/2408.13	c  N st  3936   1072500    107251     63813   6838632    139458   3137548  27642462     23.51   no data
19347.27/2423.46	c Finding binary XORs  T:     0.12 s  found:      33
19635.92/2459.51	c  N dy  4004   1092524    107199     63781   6912402    159277   3135146  42681508     23.49     30.09
19985.20/2503.28	c  N dy  4073   1112546    107191     63781   6912975    133886   3135146  23633919     23.50     46.03
20358.48/2549.92	c  N dy  4164   1132803    107187     63781   6913430    154001   3135146  35786078     23.56     24.90
20782.16/2602.94	c  N dy  4252   1153358    107177     63781   6913920    128154   3135146  20871773     23.58     24.87
21170.66/2651.52	c  N dy  4332   1173402    107174     63781   6914427    148099   3135146  32315093     23.58     25.64
21583.15/2703.12	c  N dy  4425   1193432    107172     63781   6914800    168009   3135146  45241225     23.60     25.69
21917.29/2744.98	c  S st  4487   1209666    107162     63781   6915245    137041   3135146  20779108     23.59     19.26
21927.69/2746.28	c  S st  4487   1210168    107162     63781   6915248    137540   3135146  20910569     23.59   no data
21929.29/2746.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
22032.41/2759.39	c Flit:    17 Blit:      5 bXBeca:    0 bXProp:    1 Bins: 217671 BRemL:   2809 BRemN:   1713 P: 200.1M T: 12.92
22036.45/2759.85	c Replacing       35 vars Replaced    48886 lits Time:     0.46 s 
22037.26/2759.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
22045.25/2760.96	c bin-w-bin subsume rem        30541 bins  time:  0.97 s
22058.00/2762.53	c subs with bin:       12  lits-rem:        38  v-fix:    0  time:  1.57 s
22098.80/2767.68	c Subs w/ non-existent bins:      0 l-rem:    110 v-fix:     0 done:  29677 time:  5.15 s
22102.75/2768.10	c Removed useless bin:    8095  fixed:     0  props:  20.01M  time:  0.42 s
22108.35/2768.86	c lits-rem:         2  cl-subs:       47  v-elim:     15  v-fix:    0  time:  0.76 s
22127.52/2771.25	c subs with bin:       17  lits-rem:        58  v-fix:    0  time:  1.68 s
22145.91/2773.55	c lits-rem:      2285  cl-subs:     3516  v-elim:      0  v-fix:    0  time:  2.26 s
22151.55/2774.21	c asymm  cl-useful: 3/599/63736 lits-rem:16 time: 0.66
22152.30/2774.37	c calculated reachability. Time: 0.01
22152.30/2774.38	c  N dy  4487   1210168    107090     63736   7060325    133194   3112594  20176016     23.59   no data
22153.90/2774.50	c Finding binary XORs  T:     0.12 s  found:      16
22521.64/2820.51	c  N dy  4585   1230225    107088     63736   7061381    153129   3112594  31658555     23.62     25.09
22684.72/2840.96	c Finding binary XORs  T:     0.12 s  found:      10
22918.94/2870.27	c  N dy  4671   1250508    107053     63711   7148031    173268   3111469  43664836     23.68     25.04
23061.09/2888.00	c Finding binary XORs  T:     0.13 s  found:      30
23296.89/2917.50	c  N dy  4776   1270834    106974     63663   7396920    143212   3108289  24003719     23.74     26.06
23636.67/2960.05	c  N dy  4848   1290948    106973     63663   7397740    163213   3108289  34040678     23.71     25.15
23969.98/3001.75	c Finding binary XORs  T:     0.13 s  found:      10
24042.71/3010.82	c  N dy  4926   1310997    106937     63650   7518352    134074   3106618  16494253     23.71     71.35
24417.62/3057.79	c  N dy  5016   1332525    106936     63650   7518819    155480   3106618  27781054     23.72     25.26
24786.13/3103.83	c  N dy  5094   1352528    106934     63650   7519674    175364   3106618  38240383     23.71     36.66
25193.86/3154.87	c  N dy  5160   1372554    106934     63650   7520045    145074   3106618  19909027     23.71     25.38
25622.26/3208.43	c  N dy  5246   1395609    106934     63650   7520428    167995   3106618  32116108     23.69     24.96
25998.77/3255.54	c  N dy  5318   1415981    106933     63650   7520894    188274   3106618  43340918     23.66     25.07
26369.69/3301.92	c  N dy  5400   1436029    106932     63650   7521267    157114   3106618  23720286     23.68    317.37
26798.92/3355.77	c  N dy  5478   1456405    106932     63650   7521694    177379   3106618  40301233     23.68     25.42
26900.43/3368.44	c Finding binary XORs  T:     0.13 s  found:      12
27291.35/3417.30	c  N dy  5593   1476682    106906     63638   7609964    197494   3105726  57824997     23.75     25.41
27672.69/3465.03	c  N dy  5684   1496709    106906     63638   7610373    165703   3105726  28694874     23.77     31.36
28121.12/3521.18	c  N dy  5785   1516815    106903     63638   7610751    185724   3105726  43414996     23.82     25.28
28534.41/3572.81	c  N dy  5875   1537397    106903     63638   7611149    153271   3105726  17011743     23.84     25.14
28914.09/3620.37	c  N dy  5959   1557771    106898     63638   7611401    173548   3105726  28915125     23.88     25.23
29402.51/3681.40	c  N dy  6053   1577790    106861     63638   7632746    193467   3105726  46254647     23.88     28.36
29854.17/3737.96	c  N dy  6136   1597844    106859     63638   7633199    159513   3105726  19686338     23.89     57.69
30272.25/3790.27	c  N dy  6238   1618597    106859     63638   7633476    180178   3105726  32989762     23.91     25.79
30667.95/3839.74	c  N dy  6308   1638650    106857     63638   7633834    200146   3105726  43566793     23.91     34.72
31122.02/3896.52	c  N dy  6416   1658688    106857     63638   7634144    165570   3105726  18749026     23.99     33.76
31544.09/3949.33	c  N dy  6508   1678938    106856     63638   7634442    185725   3105726  32730249     24.01     26.31
31988.55/4004.96	c  N dy  6613   1699207    106855     63638   7634884    205883   3105726  47161307     24.05     25.60
32214.79/4033.29	c  S st  6681   1710170    106855     63638   7635068    216789   3105726  53667438     24.09   no data
32226.83/4034.80	c  S st  6681   1710673    106854     63638   7635073    217286   3105726  53783391     24.09   no data
32229.19/4035.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.25
32329.91/4047.66	c Flit:     9 Blit:      1 bXBeca:    0 bXProp:    6 Bins: 341821 BRemL:   8996 BRemN:    260 P: 200.0M T: 12.61
32338.70/4048.78	c Replacing       84 vars Replaced   112147 lits Time:     1.12 s 
32340.30/4048.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
32349.10/4050.01	c bin-w-bin subsume rem        30477 bins  time:  1.09 s
32362.69/4051.75	c subs with bin:       33  lits-rem:        94  v-fix:    0  time:  1.74 s
32412.30/4057.97	c Subs w/ non-existent bins:      0 l-rem:     84 v-fix:     0 done:  29364 time:  6.22 s
32416.24/4058.42	c Removed useless bin:    4652  fixed:     0  props:  20.01M  time:  0.45 s
32424.24/4059.47	c lits-rem:         0  cl-subs:       56  v-elim:     20  v-fix:    0  time:  1.04 s
32472.20/4065.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.70 s
32568.94/4077.51	c lits-rem:      2331  cl-subs:     5451  v-elim:      0  v-fix:    0  time: 12.02 s
32573.73/4078.14	c asymm  cl-useful: 6/231/63576 lits-rem:65 time: 0.63
32575.33/4078.33	c calculated reachability. Time: 0.00
32575.33/4078.33	c  N dy  6681   1710673    106744     63576   7865102    208919   3091513  50954683     24.09   no data
32576.13/4078.46	c Finding binary XORs  T:     0.13 s  found:      28
32991.55/4130.49	c  N dy  6774   1730840    106740     63576   7868616    171944   3091513  23959624     24.12     25.80
33415.99/4183.59	c  N dy  6871   1751156    106739     63576   7868929    192165   3091513  37563457     24.14     25.55
33731.71/4223.09	c Finding binary XORs  T:     0.14 s  found:      11
33855.63/4238.58	c Finding binary XORs  T:     0.14 s  found:      12
33862.08/4239.33	c  N dy  6969   1771190    106665     63532   8037066    211921   3088014  50953499     24.19     46.93
34232.94/4285.76	c Finding binary XORs  T:     0.14 s  found:       7
34306.49/4294.95	c  N dy  7063   1791327    106643     63524   8090928    175312   3087326  23591918     24.21     25.65
34727.75/4347.68	c  N dy  7138   1811560    106640     63524   8091292    195425   3087326  36570297     24.21     26.31
35151.42/4400.62	c  N dy  7227   1832091    106640     63524   8091598    215854   3087326  51205060     24.22     26.10
35594.32/4456.01	c  N dy  7323   1853841    106612     63524   8127328    179699   3087326  22622663     24.25     25.61
36001.13/4506.91	c  N dy  7380   1874060    106608     63524   8128085    199820   3087326  34924301     24.23     25.62
36467.17/4565.20	c  N dy  7470   1894240    106608     63524   8128640    219894   3087326  50518678     24.24     26.88
36949.27/4625.58	c  N dy  7550   1914408    106602     63524   8129113    181089   3087326  19638590     24.25     25.99
37384.06/4679.90	c  N dy  7627   1934537    106602     63524   8129523    201135   3087326  35132012     24.24     26.94
37858.91/4739.33	c  N dy  7680   1955111    106598     63524   8129942    221644   3087326  51781598     24.22     25.80
37939.62/4749.42	c Finding binary XORs  T:     0.14 s  found:      28
38287.34/4792.90	c  N dy  7751   1975142    106557     63487   8165773    181190   3084088  18293207     24.21     27.71
38685.44/4842.77	c  N dy  7819   1996135    106557     63487   8166209    202095   3084088  30299992     24.20     28.08
39149.06/4900.77	c  N dy  7904   2016177    106557     63487   8166609    222045   3084088  46016039     24.21     25.83
39614.30/4958.90	c  N dy  7988   2036562    106556     63487   8167025    242316   3084088  60033811     24.23     25.58

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-3321111-1304323743/watcher-3321111-1304323743 -o /tmp/evaluation-result-3321111-1304323743/solver-3321111-1304323743 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321111-1304323743.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.47 8.03 6.53 2/194 12789
/proc/meminfo: memFree=27724156/32951124 swapFree=66863392/67111528
[pid=12789] ppid=12787 vsize=92188 CPUtime=0 cores=0-7
/proc/12789/stat : 12789 (strangenight2-m) R 12787 12789 12572 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 8 0 543972631 94400512 352 33554432000 4194304 4627427 140735608180752 18446744073709551615 47076513740722 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12789/statm: 23047 352 299 106 0 18018 0
[pid=12789/tid=12790] ppid=12787 vsize=92188 CPUtime=0 cores=0-7
/proc/12789/task/12790/stat : 12790 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 543972632 94400512 352 33554432000 4194304 4627427 140735608180752 18446744073709551615 47076513740722 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12789/tid=12791] ppid=12787 vsize=92188 CPUtime=0 cores=0-7
/proc/12789/task/12791/stat : 12791 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543972632 94400512 352 33554432000 4194304 4627427 140735608180752 18446744073709551615 47076513740722 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=92188 CPUtime=0 cores=0-7
/proc/12789/task/12792/stat : 12792 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543972632 94400512 352 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=92188 CPUtime=0 cores=0-7
/proc/12789/task/12793/stat : 12793 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543972632 94400512 352 33554432000 4194304 4627427 140735608180752 18446744073709551615 47076513740716 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=92188 CPUtime=0 cores=0-7
/proc/12789/task/12794/stat : 12794 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543972632 94400512 352 33554432000 4194304 4627427 140735608180752 18446744073709551615 47076513740722 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=92188 CPUtime=0 cores=0-7
/proc/12789/task/12795/stat : 12795 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543972632 94400512 352 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=92188 CPUtime=0 cores=0-7
/proc/12789/task/12796/stat : 12796 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543972632 94400512 352 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.031511 s]
/proc/loadavg: 8.47 8.03 6.53 2/194 12789
/proc/meminfo: memFree=27724156/32951124 swapFree=66863392/67111528
[pid=12789] ppid=12787 vsize=426160 CPUtime=0.17 cores=0-7
/proc/12789/stat : 12789 (strangenight2-m) S 12787 12789 12572 0 -1 4202496 5391 0 0 0 15 2 0 0 18 0 8 0 543972631 436387840 5065 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12789/statm: 106540 5111 340 106 0 101511 0
[pid=12789/tid=12790] ppid=12787 vsize=426160 CPUtime=0.01 cores=0-7
/proc/12789/task/12790/stat : 12790 (strangenight2-m) D 12787 12789 12572 0 -1 4202560 616 0 0 0 1 0 0 0 18 0 8 0 543972632 436387840 5112 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335589479 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12789/tid=12791] ppid=12787 vsize=426160 CPUtime=0.02 cores=0-7
/proc/12789/task/12791/stat : 12791 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 854 0 0 0 2 0 0 0 25 0 8 0 543972632 436387840 5126 33554432000 4194304 4627427 140735608180752 18446744073709551615 4351193 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=426160 CPUtime=0.02 cores=0-7
/proc/12789/task/12792/stat : 12792 (strangenight2-m) D 12787 12789 12572 0 -1 4202560 470 0 0 0 2 0 0 0 18 0 8 0 543972632 436387840 5238 33554432000 4194304 4627427 140735608180752 18446744073709551615 4316503 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=427192 CPUtime=0.02 cores=0-7
/proc/12789/task/12793/stat : 12793 (strangenight2-m) S 12787 12789 12572 0 -1 4202560 437 0 0 0 2 0 0 0 18 0 8 0 543972632 437444608 5327 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=426932 CPUtime=0.02 cores=0-7
/proc/12789/task/12794/stat : 12794 (strangenight2-m) D 12787 12789 12572 0 -1 4202560 677 0 0 0 2 0 0 0 18 0 8 0 543972632 437178368 5277 33554432000 4194304 4627427 140735608180752 18446744073709551615 4316560 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=427820 CPUtime=0.01 cores=0-7
/proc/12789/task/12795/stat : 12795 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 826 0 0 0 1 0 0 0 18 0 8 0 543972632 438087680 5585 33554432000 4194304 4627427 140735608180752 18446744073709551615 4359957 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=428332 CPUtime=0.01 cores=0-7
/proc/12789/task/12796/stat : 12796 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 790 0 0 0 1 0 0 0 18 0 8 0 543972632 438611968 5653 33554432000 4194304 4627427 140735608180752 18446744073709551615 4532102 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 426160

[startup+0.106664 s]
/proc/loadavg: 8.47 8.03 6.53 2/194 12789
/proc/meminfo: memFree=27724156/32951124 swapFree=66863392/67111528
[pid=12789] ppid=12787 vsize=525344 CPUtime=0.72 cores=0-7
/proc/12789/stat : 12789 (strangenight2-m) S 12787 12789 12572 0 -1 4202496 20598 0 0 0 62 10 0 0 17 0 8 0 543972631 537952256 16735 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12789/statm: 131336 16850 341 106 0 126307 0
[pid=12789/tid=12790] ppid=12787 vsize=525344 CPUtime=0.09 cores=0-7
/proc/12789/task/12790/stat : 12790 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 2467 0 0 0 8 1 0 0 17 0 8 0 543972632 537952256 16936 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12789/tid=12791] ppid=12787 vsize=525344 CPUtime=0.08 cores=0-7
/proc/12789/task/12791/stat : 12791 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 2393 0 0 0 8 0 0 0 17 0 8 0 543972632 537952256 17023 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=525344 CPUtime=0.08 cores=0-7
/proc/12789/task/12792/stat : 12792 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 2497 0 0 0 7 1 0 0 18 0 8 0 543972632 537952256 17066 33554432000 4194304 4627427 140735608180752 18446744073709551615 4359695 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=525344 CPUtime=0.09 cores=0-7
/proc/12789/task/12793/stat : 12793 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 2659 0 0 0 8 1 0 0 17 0 8 0 543972632 537952256 17146 33554432000 4194304 4627427 140735608180752 18446744073709551615 4350993 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=525344 CPUtime=0.08 cores=0-7
/proc/12789/task/12794/stat : 12794 (strangenight2-m) S 12787 12789 12572 0 -1 4202560 2540 0 0 0 8 0 0 0 17 0 8 0 543972632 537952256 17172 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997422 0 0 4096 2 18446604446702348352 0 0 -1 3 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=525344 CPUtime=0.09 cores=0-7
/proc/12789/task/12795/stat : 12795 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 2482 0 0 0 8 1 0 0 17 0 8 0 543972632 537952256 17188 33554432000 4194304 4627427 140735608180752 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=525344 CPUtime=0.08 cores=0-7
/proc/12789/task/12796/stat : 12796 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 2861 0 0 0 7 1 0 0 17 0 8 0 543972632 537952256 17258 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 525344

[startup+0.301624 s]
/proc/loadavg: 8.47 8.03 6.53 2/194 12789
/proc/meminfo: memFree=27724156/32951124 swapFree=66863392/67111528
[pid=12789] ppid=12787 vsize=622836 CPUtime=1.87 cores=0-7
/proc/12789/stat : 12789 (strangenight2-m) R 12787 12789 12572 0 -1 4202496 41696 0 0 0 129 58 0 0 17 0 8 0 543972631 637784064 33600 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12789/statm: 155709 33602 341 106 0 150680 0
[pid=12789/tid=12790] ppid=12787 vsize=622836 CPUtime=0.21 cores=0-7
/proc/12789/task/12790/stat : 12790 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 5145 0 0 0 14 7 0 0 17 0 8 0 543972632 637784064 33602 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12789/tid=12791] ppid=12787 vsize=622836 CPUtime=0.24 cores=0-7
/proc/12789/task/12791/stat : 12791 (strangenight2-m) S 12787 12789 12572 0 -1 4202560 5114 0 0 0 18 6 0 0 17 0 8 0 543972632 637784064 33602 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997422 0 0 4096 2 18446604446702348352 0 0 -1 6 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=622836 CPUtime=0.22 cores=0-7
/proc/12789/task/12792/stat : 12792 (strangenight2-m) D 12787 12789 12572 0 -1 4202560 4813 0 0 0 16 6 0 0 17 0 8 0 543972632 637784064 33602 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335553569 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=622836 CPUtime=0.23 cores=0-7
/proc/12789/task/12793/stat : 12793 (strangenight2-m) S 12787 12789 12572 0 -1 4202560 5277 0 0 0 16 7 0 0 17 0 8 0 543972632 637784064 33602 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997422 0 0 4096 2 18446604446702348352 0 0 -1 1 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=622836 CPUtime=0.23 cores=0-7
/proc/12789/task/12794/stat : 12794 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 5182 0 0 0 16 7 0 0 17 0 8 0 543972632 637784064 33605 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=622836 CPUtime=0.24 cores=0-7
/proc/12789/task/12795/stat : 12795 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 5196 0 0 0 17 7 0 0 17 0 8 0 543972632 637784064 33608 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=622836 CPUtime=0.22 cores=0-7
/proc/12789/task/12796/stat : 12796 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 5466 0 0 0 14 8 0 0 17 0 8 0 543972632 637784064 33608 33554432000 4194304 4627427 140735608180752 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 622836

[startup+0.700539 s]
/proc/loadavg: 8.47 8.03 6.53 2/194 12789
/proc/meminfo: memFree=27724156/32951124 swapFree=66863392/67111528
[pid=12789] ppid=12787 vsize=688152 CPUtime=4.09 cores=0-7
/proc/12789/stat : 12789 (strangenight2-m) R 12787 12789 12572 0 -1 4202496 85798 0 0 0 262 147 0 0 17 0 8 0 543972631 704667648 70268 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997471 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12789/statm: 172038 70268 341 106 0 167009 0
[pid=12789/tid=12790] ppid=12787 vsize=688152 CPUtime=0.49 cores=0-7
/proc/12789/task/12790/stat : 12790 (strangenight2-m) S 12787 12789 12572 0 -1 4202560 9212 0 0 0 32 17 0 0 16 0 8 0 543972632 704667648 70268 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12789/tid=12791] ppid=12787 vsize=688152 CPUtime=0.5 cores=0-7
/proc/12789/task/12791/stat : 12791 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 10927 0 0 0 34 16 0 0 17 0 8 0 543972632 704667648 70268 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=688152 CPUtime=0.5 cores=0-7
/proc/12789/task/12792/stat : 12792 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 10294 0 0 0 32 18 0 0 16 0 8 0 543972632 704667648 70268 33554432000 4194304 4627427 140735608180752 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=688152 CPUtime=0.51 cores=0-7
/proc/12789/task/12793/stat : 12793 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 10979 0 0 0 32 19 0 0 16 0 8 0 543972632 704667648 70268 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=688152 CPUtime=0.5 cores=0-7
/proc/12789/task/12794/stat : 12794 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 10470 0 0 0 31 19 0 0 17 0 8 0 543972632 704667648 70268 33554432000 4194304 4627427 140735608180752 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=688152 CPUtime=0.52 cores=0-7
/proc/12789/task/12795/stat : 12795 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 10986 0 0 0 34 18 0 0 17 0 8 0 543972632 704667648 70268 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=688152 CPUtime=0.49 cores=0-7
/proc/12789/task/12796/stat : 12796 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 11192 0 0 0 31 18 0 0 17 0 8 0 543972632 704667648 70268 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 688152

[startup+1.5004 s]
/proc/loadavg: 8.11 7.96 6.51 5/202 12797
/proc/meminfo: memFree=27362808/32951124 swapFree=66863392/67111528
[pid=12789] ppid=12787 vsize=892680 CPUtime=8.29 cores=0-7
/proc/12789/stat : 12789 (strangenight2-m) R 12787 12789 12572 0 -1 4202496 150026 0 0 0 512 317 0 0 16 0 8 0 543972631 914104320 133025 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335935671 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12789/statm: 223170 133025 341 106 0 218141 0
[pid=12789/tid=12790] ppid=12787 vsize=892680 CPUtime=1.01 cores=0-7
/proc/12789/task/12790/stat : 12790 (strangenight2-m) S 12787 12789 12572 0 -1 4202560 18689 0 0 0 63 38 0 0 16 0 8 0 543972632 914104320 133025 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997422 0 0 4096 2 18446604446702348352 0 0 -1 4 0 0 0
[pid=12789/tid=12791] ppid=12787 vsize=892680 CPUtime=1.02 cores=0-7
/proc/12789/task/12791/stat : 12791 (strangenight2-m) S 12787 12789 12572 0 -1 4202560 18760 0 0 0 66 36 0 0 16 0 8 0 543972632 914104320 133025 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997422 0 0 4096 2 18446604446702348352 0 0 -1 6 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=892680 CPUtime=1.01 cores=0-7
/proc/12789/task/12792/stat : 12792 (strangenight2-m) D 12787 12789 12572 0 -1 4202560 17990 0 0 0 60 41 0 0 15 0 8 0 543972632 914104320 133025 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=892680 CPUtime=1.04 cores=0-7
/proc/12789/task/12793/stat : 12793 (strangenight2-m) D 12787 12789 12572 0 -1 4202560 18631 0 0 0 65 39 0 0 16 0 8 0 543972632 914104320 133025 33554432000 4194304 4627427 140735608180752 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=892680 CPUtime=1.07 cores=0-7
/proc/12789/task/12794/stat : 12794 (strangenight2-m) D 12787 12789 12572 0 -1 4202560 18211 0 0 0 64 43 0 0 16 0 8 0 543972632 914104320 133025 33554432000 4194304 4627427 140735608180752 18446744073709551615 4317104 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=892680 CPUtime=1.05 cores=0-7
/proc/12789/task/12795/stat : 12795 (strangenight2-m) D 12787 12789 12572 0 -1 4202560 19023 0 0 0 68 37 0 0 16 0 8 0 543972632 914104320 133025 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=892680 CPUtime=1 cores=0-7
/proc/12789/task/12796/stat : 12796 (strangenight2-m) S 12787 12789 12572 0 -1 4202560 18713 0 0 0 61 39 0 0 16 0 8 0 543972632 914104320 133025 33554432000 4194304 4627427 140735608180752 18446744073709551615 232335997422 0 0 4096 2 18446604446702348352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 892680

[startup+3.10112 s]
/proc/loadavg: 8.11 7.96 6.51 7/202 12797
/proc/meminfo: memFree=26970968/32951124 swapFree=66863392/67111528
[pid=12789] ppid=12787 vsize=1316472 CPUtime=18.59 cores=0-7
/proc/12789/stat : 12789 (strangenight2-m) R 12787 12789 12572 0 -1 4202496 259408 0 0 0 1338 521 0 0 16 0 8 0 543972631 1348067328 225289 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308942 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 329118 225289 367 106 0 324089 0
[pid=12789/tid=12790] ppid=12787 vsize=1316472 CPUtime=2.29 cores=0-7
/proc/12789/task/12790/stat : 12790 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 32401 0 0 0 163 66 0 0 16 0 8 0 543972632 1348067328 225289 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12789/tid=12791] ppid=12787 vsize=1316472 CPUtime=2.3 cores=0-7
/proc/12789/task/12791/stat : 12791 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 32846 0 0 0 170 60 0 0 16 0 8 0 543972632 1348067328 225289 33554432000 4194304 4627427 140735608180752 18446744073709551615 4297761 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=1316472 CPUtime=2.31 cores=0-7
/proc/12789/task/12792/stat : 12792 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 31442 0 0 0 166 65 0 0 16 0 8 0 543972632 1348067328 225289 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=1316472 CPUtime=2.32 cores=0-7
/proc/12789/task/12793/stat : 12793 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 31092 0 0 0 166 66 0 0 16 0 8 0 543972632 1348067328 225289 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=1316472 CPUtime=2.35 cores=0-7
/proc/12789/task/12794/stat : 12794 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 31724 0 0 0 164 71 0 0 16 0 8 0 543972632 1348067328 225289 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=1316472 CPUtime=2.36 cores=0-7
/proc/12789/task/12795/stat : 12795 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 32647 0 0 0 179 57 0 0 16 0 8 0 543972632 1348067328 225289 33554432000 4194304 4627427 140735608180752 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=1316472 CPUtime=2.3 cores=0-7
/proc/12789/task/12796/stat : 12796 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 32673 0 0 0 166 64 0 0 16 0 8 0 543972632 1348067328 225289 33554432000 4194304 4627427 140735608180752 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18.59
Current children cumulated vsize (KiB) 1316472

[startup+6.30055 s]
/proc/loadavg: 8.11 7.96 6.51 9/202 12797
/proc/meminfo: memFree=26818116/32951124 swapFree=66863392/67111528
[pid=12789] ppid=12787 vsize=1350116 CPUtime=44.16 cores=0-7
/proc/12789/stat : 12789 (strangenight2-m) R 12787 12789 12572 0 -1 4202496 262345 0 0 0 3894 522 0 0 21 0 8 0 543972631 1382518784 227703 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 337529 227703 367 106 0 332500 0
[pid=12789/tid=12790] ppid=12787 vsize=1350116 CPUtime=5.49 cores=0-7
/proc/12789/task/12790/stat : 12790 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 32516 0 0 0 483 66 0 0 21 0 8 0 543972632 1382518784 227703 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12789/tid=12791] ppid=12787 vsize=1350116 CPUtime=5.49 cores=0-7
/proc/12789/task/12791/stat : 12791 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 32987 0 0 0 488 61 0 0 21 0 8 0 543972632 1382518784 227703 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=1350116 CPUtime=5.51 cores=0-7
/proc/12789/task/12792/stat : 12792 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 31580 0 0 0 486 65 0 0 21 0 8 0 543972632 1382518784 227703 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=1350116 CPUtime=5.52 cores=0-7
/proc/12789/task/12793/stat : 12793 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 31231 0 0 0 486 66 0 0 21 0 8 0 543972632 1382518784 227703 33554432000 4194304 4627427 140735608180752 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=1350116 CPUtime=5.55 cores=0-7
/proc/12789/task/12794/stat : 12794 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 31750 0 0 0 484 71 0 0 21 0 8 0 543972632 1382518784 227703 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=1350116 CPUtime=5.55 cores=0-7
/proc/12789/task/12795/stat : 12795 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 32784 0 0 0 498 57 0 0 21 0 8 0 543972632 1382518784 227703 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=1350116 CPUtime=5.48 cores=0-7
/proc/12789/task/12796/stat : 12796 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 34777 0 0 0 484 64 0 0 21 0 8 0 543972632 1382518784 227703 33554432000 4194304 4627427 140735608180752 18446744073709551615 4321768 0 0 4096 2 0 0 0 -1 7 0 0 0

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

Current children cumulated vsize (KiB) 10609240

[startup+4722.31 s]
/proc/loadavg: 8.13 8.14 8.13 9/202 12935
/proc/meminfo: memFree=18529152/32951124 swapFree=66863400/67111528
[pid=12789] ppid=12787 vsize=11051432 CPUtime=37723.1 cores=0-7
/proc/12789/stat : 12789 (strangenight2-m) R 12787 12789 12572 0 -1 4202496 10845121 0 0 0 3768287 4019 0 0 25 0 8 0 543972631 11316666368 2296129 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308928 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 2762858 2296129 393 106 0 2757829 0
[pid=12789/tid=12790] ppid=12787 vsize=11051432 CPUtime=4708.93 cores=0-7
/proc/12789/task/12790/stat : 12790 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1394441 0 0 0 470339 554 0 0 25 0 8 0 543972632 11316666368 2296129 33554432000 4194304 4627427 140735608180752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12789/tid=12791] ppid=12787 vsize=11051432 CPUtime=4717.96 cores=0-7
/proc/12789/task/12791/stat : 12791 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1406164 0 0 0 471293 503 0 0 25 0 8 0 543972632 11316666368 2296129 33554432000 4194304 4627427 140735608180752 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=11051432 CPUtime=4708.79 cores=0-7
/proc/12789/task/12792/stat : 12792 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1357900 0 0 0 470378 501 0 0 25 0 8 0 543972632 11316666368 2296129 33554432000 4194304 4627427 140735608180752 18446744073709551615 4321694 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=11051432 CPUtime=4717.99 cores=0-7
/proc/12789/task/12793/stat : 12793 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1408539 0 0 0 471294 505 0 0 25 0 8 0 543972632 11316666368 2296129 33554432000 4194304 4627427 140735608180752 18446744073709551615 4534832 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=11051432 CPUtime=4716.62 cores=0-7
/proc/12789/task/12794/stat : 12794 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1387498 0 0 0 471114 548 0 0 25 0 8 0 543972632 11316666368 2296129 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=11051432 CPUtime=4716.17 cores=0-7
/proc/12789/task/12795/stat : 12795 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1267686 0 0 0 471127 490 0 0 25 0 8 0 543972632 11316666368 2296129 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308493 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=11051432 CPUtime=4718.17 cores=0-7
/proc/12789/task/12796/stat : 12796 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1132027 0 0 0 471452 365 0 0 25 0 8 0 543972632 11316666368 2296129 33554432000 4194304 4627427 140735608180752 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37723.1
Current children cumulated vsize (KiB) 11051432

[startup+4782.3 s]
/proc/loadavg: 8.10 8.13 8.12 9/202 12936
/proc/meminfo: memFree=18565428/32951124 swapFree=66863400/67111528
[pid=12789] ppid=12787 vsize=10931480 CPUtime=38202.6 cores=0-7
/proc/12789/stat : 12789 (strangenight2-m) R 12787 12789 12572 0 -1 4202496 10968774 0 0 0 3816201 4060 0 0 25 0 8 0 543972631 11193835520 2288119 33554432000 4194304 4627427 140735608180752 18446744073709551615 4322223 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 2732870 2288119 393 106 0 2727841 0
[pid=12789/tid=12790] ppid=12787 vsize=10931480 CPUtime=4768.92 cores=0-7
/proc/12789/task/12790/stat : 12790 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1414113 0 0 0 476332 560 0 0 25 0 8 0 543972632 11193835520 2288119 33554432000 4194304 4627427 140735608180752 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12789/tid=12791] ppid=12787 vsize=10931480 CPUtime=4777.95 cores=0-7
/proc/12789/task/12791/stat : 12791 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1420629 0 0 0 477287 508 0 0 25 0 8 0 543972632 11193835520 2288119 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308954 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=10931480 CPUtime=4768.76 cores=0-7
/proc/12789/task/12792/stat : 12792 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1376551 0 0 0 476368 508 0 0 25 0 8 0 543972632 11193835520 2288119 33554432000 4194304 4627427 140735608180752 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=10931480 CPUtime=4777.97 cores=0-7
/proc/12789/task/12793/stat : 12793 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1427460 0 0 0 477286 511 0 0 25 0 8 0 543972632 11193835520 2288119 33554432000 4194304 4627427 140735608180752 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=10931480 CPUtime=4776.6 cores=0-7
/proc/12789/task/12794/stat : 12794 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1401051 0 0 0 477107 553 0 0 25 0 8 0 543972632 11193835520 2288119 33554432000 4194304 4627427 140735608180752 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=10931480 CPUtime=4775.83 cores=0-7
/proc/12789/task/12795/stat : 12795 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1279270 0 0 0 477089 494 0 0 25 0 8 0 543972632 11193835520 2288119 33554432000 4194304 4627427 140735608180752 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=10931480 CPUtime=4778.15 cores=0-7
/proc/12789/task/12796/stat : 12796 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1143788 0 0 0 477446 369 0 0 25 0 8 0 543972632 11193835520 2288119 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38202.6
Current children cumulated vsize (KiB) 10931480

[startup+4842.3 s]
/proc/loadavg: 8.15 8.14 8.12 9/202 12938
/proc/meminfo: memFree=18479292/32951124 swapFree=66863400/67111528
[pid=12789] ppid=12787 vsize=10794516 CPUtime=38682.2 cores=0-7
/proc/12789/stat : 12789 (strangenight2-m) R 12787 12789 12572 0 -1 4202496 11087603 0 0 0 3864120 4104 0 0 25 0 8 0 543972631 11053584384 2308811 33554432000 4194304 4627427 140735608180752 18446744073709551615 4334195 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 2698629 2308811 393 106 0 2693600 0
[pid=12789/tid=12790] ppid=12787 vsize=10794516 CPUtime=4828.91 cores=0-7
/proc/12789/task/12790/stat : 12790 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1427118 0 0 0 482326 565 0 0 25 0 8 0 543972632 11053584384 2308811 33554432000 4194304 4627427 140735608180752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12789/tid=12791] ppid=12787 vsize=10794516 CPUtime=4837.94 cores=0-7
/proc/12789/task/12791/stat : 12791 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1433018 0 0 0 483281 513 0 0 25 0 8 0 543972632 11053584384 2308811 33554432000 4194304 4627427 140735608180752 18446744073709551615 4321789 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=10794516 CPUtime=4828.75 cores=0-7
/proc/12789/task/12792/stat : 12792 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1391027 0 0 0 482362 513 0 0 25 0 8 0 543972632 11053584384 2308811 33554432000 4194304 4627427 140735608180752 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=10794516 CPUtime=4837.97 cores=0-7
/proc/12789/task/12793/stat : 12793 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1439867 0 0 0 483282 515 0 0 25 0 8 0 543972632 11053584384 2308811 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=10794516 CPUtime=4836.6 cores=0-7
/proc/12789/task/12794/stat : 12794 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1420821 0 0 0 483100 560 0 0 20 0 8 0 543972632 11053584384 2308811 33554432000 4194304 4627427 140735608180752 18446744073709551615 4309067 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=10794516 CPUtime=4835.49 cores=0-7
/proc/12789/task/12795/stat : 12795 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1292318 0 0 0 483050 499 0 0 25 0 8 0 543972632 11053584384 2308811 33554432000 4194304 4627427 140735608180752 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=10794516 CPUtime=4838.15 cores=0-7
/proc/12789/task/12796/stat : 12796 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1157958 0 0 0 483441 374 0 0 25 0 8 0 543972632 11053584384 2308811 33554432000 4194304 4627427 140735608180752 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38682.2
Current children cumulated vsize (KiB) 10794516

[startup+4902.3 s]
/proc/loadavg: 8.15 8.14 8.12 9/202 12939
/proc/meminfo: memFree=18533924/32951124 swapFree=66863400/67111528
[pid=12789] ppid=12787 vsize=10683176 CPUtime=39161.9 cores=0-7
/proc/12789/stat : 12789 (strangenight2-m) R 12787 12789 12572 0 -1 4202496 11207933 0 0 0 3912044 4143 0 0 25 0 8 0 543972631 10939572224 2296096 33554432000 4194304 4627427 140735608180752 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 2670794 2296096 393 106 0 2665765 0
[pid=12789/tid=12790] ppid=12787 vsize=10683176 CPUtime=4888.91 cores=0-7
/proc/12789/task/12790/stat : 12790 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1439645 0 0 0 488322 569 0 0 25 0 8 0 543972632 10939572224 2296096 33554432000 4194304 4627427 140735608180752 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12789/tid=12791] ppid=12787 vsize=10683176 CPUtime=4897.93 cores=0-7
/proc/12789/task/12791/stat : 12791 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1452168 0 0 0 489273 520 0 0 25 0 8 0 543972632 10939572224 2296096 33554432000 4194304 4627427 140735608180752 18446744073709551615 4321776 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=10683176 CPUtime=4888.74 cores=0-7
/proc/12789/task/12792/stat : 12792 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1404525 0 0 0 488357 517 0 0 25 0 8 0 543972632 10939572224 2296096 33554432000 4194304 4627427 140735608180752 18446744073709551615 4322509 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=10683176 CPUtime=4897.97 cores=0-7
/proc/12789/task/12793/stat : 12793 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1459771 0 0 0 489276 521 0 0 25 0 8 0 543972632 10939572224 2296096 33554432000 4194304 4627427 140735608180752 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=10683176 CPUtime=4896.6 cores=0-7
/proc/12789/task/12794/stat : 12794 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1433582 0 0 0 489096 564 0 0 25 0 8 0 543972632 10939572224 2296096 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=10683176 CPUtime=4895.15 cores=0-7
/proc/12789/task/12795/stat : 12795 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1309718 0 0 0 489011 504 0 0 25 0 8 0 543972632 10939572224 2296096 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=10683176 CPUtime=4898.14 cores=0-7
/proc/12789/task/12796/stat : 12796 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1167174 0 0 0 489438 376 0 0 25 0 8 0 543972632 10939572224 2296096 33554432000 4194304 4627427 140735608180752 18446744073709551615 4321648 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39161.9
Current children cumulated vsize (KiB) 10683176

[startup+4962.3 s]
/proc/loadavg: 8.16 8.14 8.12 9/202 12941
/proc/meminfo: memFree=18485220/32951124 swapFree=66863400/67111528
[pid=12789] ppid=12787 vsize=11018488 CPUtime=39641.5 cores=0-7
/proc/12789/stat : 12789 (strangenight2-m) R 12787 12789 12572 0 -1 4202496 11312553 0 0 0 3959967 4181 0 0 25 0 8 0 543972631 11282931712 2307370 33554432000 4194304 4627427 140735608180752 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 2754622 2307370 393 106 0 2749593 0
[pid=12789/tid=12790] ppid=12787 vsize=11018488 CPUtime=4948.91 cores=0-7
/proc/12789/task/12790/stat : 12790 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1459459 0 0 0 494316 575 0 0 25 0 8 0 543972632 11282931712 2307370 33554432000 4194304 4627427 140735608180752 18446744073709551615 4321786 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12789/tid=12791] ppid=12787 vsize=11018488 CPUtime=4957.93 cores=0-7
/proc/12789/task/12791/stat : 12791 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1464856 0 0 0 495268 525 0 0 25 0 8 0 543972632 11282931712 2307370 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=11018488 CPUtime=4948.73 cores=0-7
/proc/12789/task/12792/stat : 12792 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1424200 0 0 0 494349 524 0 0 25 0 8 0 543972632 11282931712 2307370 33554432000 4194304 4627427 140735608180752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=11018488 CPUtime=4957.98 cores=0-7
/proc/12789/task/12793/stat : 12793 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1473802 0 0 0 495271 527 0 0 25 0 8 0 543972632 11282931712 2307370 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=11018488 CPUtime=4956.59 cores=0-7
/proc/12789/task/12794/stat : 12794 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1446627 0 0 0 495090 569 0 0 25 0 8 0 543972632 11282931712 2307370 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=11018488 CPUtime=4954.8 cores=0-7
/proc/12789/task/12795/stat : 12795 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1320517 0 0 0 494971 509 0 0 25 0 8 0 543972632 11282931712 2307370 33554432000 4194304 4627427 140735608180752 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=11018488 CPUtime=4958.14 cores=0-7
/proc/12789/task/12796/stat : 12796 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1167409 0 0 0 495438 376 0 0 25 0 8 0 543972632 11282931712 2307370 33554432000 4194304 4627427 140735608180752 18446744073709551615 4321918 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39641.5
Current children cumulated vsize (KiB) 11018488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5007.21 s]
/proc/loadavg: 8.12 8.14 8.11 9/202 12942
/proc/meminfo: memFree=18424736/32951124 swapFree=66863400/67111528
[pid=12789] ppid=12787 vsize=10762304 CPUtime=40000.5 cores=0-7
/proc/12789/stat : 12789 (strangenight2-m) R 12787 12789 12572 0 -1 4202496 11405867 0 0 0 3995837 4213 0 0 25 0 8 0 543972631 11020599296 2321938 33554432000 4194304 4627427 140735608180752 18446744073709551615 4332909 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 2690576 2321938 393 106 0 2685547 0
[pid=12789/tid=12790] ppid=12787 vsize=10762304 CPUtime=4993.82 cores=0-7
/proc/12789/task/12790/stat : 12790 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1469840 0 0 0 498802 580 0 0 25 0 8 0 543972632 11020599296 2321938 33554432000 4194304 4627427 140735608180752 18446744073709551615 4321883 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12789/tid=12791] ppid=12787 vsize=10762304 CPUtime=5002.83 cores=0-7
/proc/12789/task/12791/stat : 12791 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1475069 0 0 0 499755 528 0 0 25 0 8 0 543972632 11020599296 2321938 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12789/tid=12792] ppid=12787 vsize=10762304 CPUtime=4993.64 cores=0-7
/proc/12789/task/12792/stat : 12792 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1434463 0 0 0 498835 529 0 0 25 0 8 0 543972632 11020599296 2321938 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12789/tid=12793] ppid=12787 vsize=10762304 CPUtime=5002.89 cores=0-7
/proc/12789/task/12793/stat : 12793 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1484114 0 0 0 499760 529 0 0 25 0 8 0 543972632 11020599296 2321938 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12789/tid=12794] ppid=12787 vsize=10762304 CPUtime=5001.51 cores=0-7
/proc/12789/task/12794/stat : 12794 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1460441 0 0 0 499578 573 0 0 25 0 8 0 543972632 11020599296 2321938 33554432000 4194304 4627427 140735608180752 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=10762304 CPUtime=4999.45 cores=0-7
/proc/12789/task/12795/stat : 12795 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1328566 0 0 0 499432 513 0 0 25 0 8 0 543972632 11020599296 2321938 33554432000 4194304 4627427 140735608180752 18446744073709551615 4308104 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12789/tid=12796] ppid=12787 vsize=10762304 CPUtime=5003.06 cores=0-7
/proc/12789/task/12796/stat : 12796 (strangenight2-m) R 12787 12789 12572 0 -1 4202560 1181681 0 0 0 499925 381 0 0 25 0 8 0 543972632 11020599296 2321938 33554432000 4194304 4627427 140735608180752 18446744073709551615 4321841 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 40000.5
Current children cumulated vsize (KiB) 10762304

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

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

[startup+5007.4 s]
/proc/loadavg: 8.12 8.14 8.11 9/202 12942
/proc/meminfo: memFree=18424736/32951124 swapFree=66863400/67111528
[pid=12789] ppid=12787 vsize=0 CPUtime=40000.7 cores=0-7
/proc/12789/stat : 12789 (strangenight2-m) Z 12787 12789 12572 0 -1 4203548 11405872 0 0 0 3995842 4231 0 0 25 0 2 0 543972631 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 0 0 0 0 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=0 CPUtime=4999.64 cores=0-7
/proc/12789/task/12795/stat : 12795 (strangenight2-m) R 12787 12789 12572 0 -1 4203588 1328566 0 0 0 499433 531 0 0 25 0 2 0 543972632 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 40000.7
Current children cumulated vsize (KiB) 0

[startup+5007.6 s]
/proc/loadavg: 8.12 8.14 8.11 9/202 12942
/proc/meminfo: memFree=18424736/32951124 swapFree=66863400/67111528
[pid=12789] ppid=12787 vsize=0 CPUtime=40000.9 cores=0-7
/proc/12789/stat : 12789 (strangenight2-m) Z 12787 12789 12572 0 -1 4203548 11405872 0 0 0 3995842 4251 0 0 25 0 2 0 543972631 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12789/statm: 0 0 0 0 0 0 0
[pid=12789/tid=12795] ppid=12787 vsize=0 CPUtime=4999.84 cores=0-7
/proc/12789/task/12795/stat : 12795 (strangenight2-m) R 12787 12789 12572 0 -1 4203588 1328566 0 0 0 499433 551 0 0 25 0 2 0 543972632 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 40000.9
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5007.69
CPU time (s): 40001
CPU user time (s): 39958.4
CPU system time (s): 42.6065
CPU usage (%): 798.791
Max. virtual memory (cumulated for all children) (KiB): 11233016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39958.4
system time used= 42.6065
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11405872
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= 884840
involuntary context switches= 371175

runsolver used 8.40672 second user time and 19.839 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-02 10:09:05
IDJOB=3321111
IDBENCH=82394
IDSOLVER=1709
FILE ID=node132/3321111-1304323743
RUNJOBID= node132-1304322184-12586
PBS_JOBID= 13176794
Free space on /tmp= 73328 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.080-SAT.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321111-1304323743/watcher-3321111-1304323743 -o /tmp/evaluation-result-3321111-1304323743/solver-3321111-1304323743 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321111-1304323743.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 1ca09a2b911e29894c6603aee8d3e672
RANDOM SEED=1233278037

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27724856 kB
Buffers:        424016 kB
Cached:        1371220 kB
SwapCached:        312 kB
Active:        2673400 kB
Inactive:      2146136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27724856 kB
SwapTotal:    67111528 kB
SwapFree:     66863392 kB
Dirty:           55920 kB
Writeback:           4 kB
AnonPages:     3024152 kB
Mapped:          17888 kB
Slab:           329024 kB
PageTables:      11388 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3506084 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73320 MiB
End job on node132 at 2011-05-02 11:32:34