Trace number 3393944

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 13641 1710.88

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxor/maxor128.cnf
MD5SUMe050fe11c7c50ba82ac7126f49db3c10
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2123.23
Satisfiable
(Un)Satisfiability was proved
Number of variables200308
Number of clauses598619
Sum of the clauses size1396775
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2399078
Number of clauses of size 3199539
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 8 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3393944-1306073932.cnf'
0.00/0.04	c -- header says num vars:         200308
0.00/0.04	c -- header says num clauses:      598619
3.82/0.79	c -- clauses added:            0 learnts,       598619 normals,            0 xors
3.82/0.79	c -- vars added     200308
3.82/0.79	c Parsing time:  0.34 s
3.82/0.79	c  N st     0         0    200308    199539    399078         0   1396773         0   no data   no data
13.26/1.91	c asymm  cl-useful: 0/452/199522 lits-rem:0 time: 1.12
194.56/24.66	c Flit:    11 Blit:     55 bXBeca:    0 bXProp:  171 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 22.75
195.36/24.76	c Replacing      171 vars Replaced     3396 lits Time:     0.09 s 
196.16/24.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
196.16/24.88	c bin-w-bin subsume rem            0 bins  time:  0.04 s
196.95/24.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
232.77/29.49	c Subs w/ non-existent bins:     17 l-rem:      0 v-fix:    15 done:  37169 time:  4.50 s
235.97/29.81	c Removed useless bin:       0  fixed:     0  props:  20.07M  time:  0.32 s
251.11/31.79	c lits-rem:         0  cl-subs:     1430  v-elim:  66681  v-fix:    0  time:  1.89 s
251.99/31.84	c Finding binary XORs  T:     0.04 s  found:      12
251.99/31.88	c Replacing       12 vars Replaced      192 lits Time:     0.05 s 
253.48/32.01	c Finding non-binary XORs:     0.08 s (found:    7993, avg size: 3.0)
253.48/32.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
253.48/32.03	c calculated reachability. Time: 0.00
253.48/32.06	c Calc default polars -  time:   0.02 s pos:    1981 undec:   80072 neg:  118255
253.48/32.06	c =========================================================================================
253.48/32.06	c types(t): F = full restart, N = normal restart
253.48/32.06	c types(t): S = simplification begin/end, E = solution found
253.48/32.06	c restart types(rt): st = static, dy = dynamic
253.48/32.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
253.48/32.06	c  B st     0         0    133337    178626    248652         0   1156172         0   no data   no data
290.71/36.75	c  N dy    11      5596    133337    178626    248690      5452   1156172    337097     24.65     26.71
346.45/45.79	c  N dy    19     16206    133336    178626    249033     15869   1156172   1217235     15.17     16.31
377.73/49.87	c  N dy    20     22328    133289    178626    249517     12063   1156172    410699     13.37     14.10
396.10/52.17	c  F st    30     25005    133289    178626    250069     14654   1156172    502361     13.33     11.00
412.07/54.16	c  N st    34     27039    133289    178450    249845     16607   1154922    568816     13.33   no data
426.46/55.92	c  S st    36     30008    133289    178450    249850     19544   1154922    731564     13.33   no data
434.44/56.98	c  S st    36     30512    133287    178450    250085     20026   1154922    753996     13.33   no data
435.24/57.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
564.63/73.24	c Flit:     1 Blit:     17 bXBeca:    0 bXProp:   30 Bins:  80501 BRemL:      4 BRemN:      0 P: 200.0M T: 16.22
565.43/73.34	c Replacing       30 vars Replaced      718 lits Time:     0.08 s 
566.23/73.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
566.23/73.44	c bin-w-bin subsume rem          122 bins  time:  0.04 s
567.03/73.53	c subs with bin:      296  lits-rem:       765  v-fix:    0  time:  0.09 s
589.38/76.35	c Subs w/ non-existent bins:    637 l-rem:   2589 v-fix:     0 done:  70483 time:  2.81 s
590.98/76.55	c Removed useless bin:      16  fixed:     0  props:  20.03M  time:  0.20 s
598.96/77.52	c lits-rem:       295  cl-subs:     1624  v-elim:  55959  v-fix:    0  time:  0.91 s
598.96/77.59	c subs with bin:       11  lits-rem:       175  v-fix:    0  time:  0.04 s
600.56/77.70	c lits-rem:       272  cl-subs:      350  v-elim:      0  v-fix:    0  time:  0.08 s
606.14/78.43	c asymm  cl-useful: 522/18424/209187 lits-rem:522 time: 0.72
606.14/78.45	c calculated reachability. Time: 0.00
606.14/78.45	c  N dy    36     30512     77280    209187    156753      5572   1070325    212826     13.33   no data
606.14/78.49	c Finding binary XORs  T:     0.04 s  found:      41
626.92/81.09	c  N dy    51     34731     77280    209187    156761      9570   1070325    370731     13.33     15.05
670.84/86.62	c  N dy    68     39878     77270    209187    157804     14194   1070325    597058     13.41     14.14
686.81/88.63	c  N dy    86     43935     77270    209187    157896     10342   1070325    356277     13.45     14.27
697.20/89.94	c  S st    97     45769     77270    209187    157904     12097   1070325    447273     13.69   no data
702.78/90.62	c  S st    97     46276     77270    209187    157959     12543   1070325    462263     13.69   no data
702.78/90.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
785.15/101.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   73 Bins:   5315 BRemL:     14 BRemN:      0 P: 200.0M T: 10.37
785.15/101.10	c Replacing      114 vars Replaced     3475 lits Time:     0.07 s 
786.04/101.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
786.04/101.19	c bin-w-bin subsume rem          296 bins  time:  0.03 s
786.85/101.27	c subs with bin:      548  lits-rem:       463  v-fix:    0  time:  0.08 s
791.54/101.83	c Subs w/ non-existent bins:   1945 l-rem:   8013 v-fix:     0 done:  76244 time:  0.55 s
793.13/102.02	c Removed useless bin:     222  fixed:     0  props:  20.00M  time:  0.19 s
794.83/102.25	c lits-rem:         0  cl-subs:      261  v-elim:    785  v-fix:    0  time:  0.23 s
795.62/102.34	c subs with bin:       36  lits-rem:       760  v-fix:    0  time:  0.06 s
796.31/102.49	c lits-rem:       263  cl-subs:      291  v-elim:      0  v-fix:    0  time:  0.11 s
802.72/103.27	c asymm  cl-useful: 30/14945/207437 lits-rem:30 time: 0.77
802.72/103.29	c calculated reachability. Time: 0.00
802.72/103.30	c  N dy    97     46276     76371    207437    160820     10466   1067692    369252     13.69   no data
803.61/103.34	c Finding binary XORs  T:     0.04 s  found:      48
821.98/105.62	c  N dy   105     50831     76364    207437    168986     14838   1067692    540634     13.66     15.25
842.65/108.21	c  N dy   117     55159     76364    207437    169014     18973   1067691    715040     13.70     14.56
847.54/108.85	c Finding binary XORs  T:     0.04 s  found:      87
868.16/111.42	c  N dy   138     59186     76364    207189    169634     22750   1064475    922605     14.48     56.31
884.74/113.59	c  N dy   154     63205     76357    207189    171379     26671   1064475   1106625     14.61     15.46
909.62/116.62	c  N dy   173     67497     76357    207189    171408     17255   1064475    582126     14.72     15.54
917.59/117.63	c  S st   184     69414     76339    207189    172010     19102   1064475    663595     14.81     13.68
924.69/118.58	c  S st   184     69917     76339    207189    172048     19565   1064475    686738     14.81   no data
925.49/118.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1026.90/131.32	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   36 Bins:  13182 BRemL:      6 BRemN:      0 P: 200.1M T: 12.70
1027.69/131.41	c Replacing      171 vars Replaced     7646 lits Time:     0.08 s 
1027.69/131.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1028.50/131.51	c bin-w-bin subsume rem          541 bins  time:  0.03 s
1028.50/131.59	c subs with bin:      559  lits-rem:        17  v-fix:    0  time:  0.08 s
1034.08/132.26	c Subs w/ non-existent bins:     46 l-rem:    184 v-fix:     0 done:  76173 time:  0.66 s
1036.47/132.51	c Removed useless bin:     146  fixed:     0  props:  19.27M  time:  0.25 s
1038.06/132.71	c lits-rem:         6  cl-subs:       21  v-elim:     48  v-fix:    0  time:  0.20 s
1038.86/132.87	c subs with bin:      239  lits-rem:      1023  v-fix:    0  time:  0.12 s
1040.56/133.08	c lits-rem:       710  cl-subs:      456  v-elim:      0  v-fix:    0  time:  0.17 s
1046.85/133.89	c asymm  cl-useful: 148/4533/206182 lits-rem:163 time: 0.81
1047.65/133.92	c calculated reachability. Time: 0.00
1047.65/133.92	c  N dy   184     69917     76125    206180    175993     17714   1059475    622751     14.81   no data
1047.65/133.96	c Finding binary XORs  T:     0.04 s  found:      15
1081.05/138.24	c  N dy   203     76545     76119    206180    186336     24116   1059473    950129     14.96     16.47
1095.42/140.07	c Finding binary XORs  T:     0.05 s  found:      49
1112.20/142.10	c  N dy   218     81465     76117    206035    186977     28931   1058021   1216235     15.15     27.62
1144.14/146.10	c  F st   244     87500     76117    206035    186996     17502   1058021    457835     15.48     14.41
1144.14/146.18	c Replacing       64 vars Replaced     2047 lits Time:     0.05 s 
1149.72/146.81	c  N st   244     87500     76053    205893    186610     17439   1056985    455196     15.48     14.41
1150.53/146.92	c Finding binary XORs  T:     0.05 s  found:      46
1180.98/150.75	c  N dy   252     93091     76048    205820    206636     22724   1056316    863353     15.51     45.18
1221.61/155.88	c  N dy   284     99188     76048    205820    206902     28650   1056316   1147777     15.82     16.85
1255.15/160.04	c  S st   307    104880     76046    205820    207156     34181   1056315   1398801     15.76      7.41
1262.35/160.95	c  S st   307    105382     76046    205820    207169     34666   1056315   1428053     15.76   no data
1263.15/161.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1383.73/176.14	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:   63 Bins:   5448 BRemL:     18 BRemN:      0 P: 200.1M T: 14.94
1384.53/176.26	c Replacing      112 vars Replaced    13446 lits Time:     0.12 s 
1385.33/176.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1386.13/176.40	c bin-w-bin subsume rem          489 bins  time:  0.03 s
1386.13/176.50	c subs with bin:      987  lits-rem:        25  v-fix:    0  time:  0.10 s
1391.83/177.18	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:  75933 time:  0.66 s
1394.11/177.40	c Removed useless bin:       1  fixed:     0  props:  14.99M  time:  0.22 s
1395.71/177.63	c lits-rem:         0  cl-subs:      105  v-elim:     37  v-fix:    0  time:  0.23 s
1398.92/178.02	c subs with bin:      379  lits-rem:      2222  v-fix:    0  time:  0.31 s
1404.50/178.72	c lits-rem:      3437  cl-subs:     1165  v-elim:      0  v-fix:    0  time:  0.62 s
1412.49/179.77	c asymm  cl-useful: 142/4304/204344 lits-rem:143 time: 1.03
1413.28/179.80	c calculated reachability. Time: 0.01
1413.28/179.80	c  N dy   307    105382     75896    204344    211197     30731   1051688   1249358     15.76   no data
1413.28/179.85	c Finding binary XORs  T:     0.05 s  found:       7
1454.01/184.95	c  N dy   331    112250     75888    204344    216002     37424   1051685   1559851     15.80     17.20
1501.94/190.95	c  N dy   355    120036     75883    204344    216489     25891   1051683    829537     15.67     16.63
1519.52/193.15	c Finding binary XORs  T:     0.05 s  found:     185
1550.66/197.09	c  N dy   379    127769     75879    203762    216380     32423   1047390   1198006     15.66     19.76
1608.18/204.28	c  N dy   418    135958     75874    203762    217016     40366   1047390   1618094     15.95     16.88
1660.88/210.80	c  N dy   432    144817     75869    203762    217214     28178   1047390    814231     15.70     16.75
1716.08/217.79	c  N dy   460    154525     75866    203762    221477     37577   1047390   1231328     15.57     16.46
1726.35/219.01	c Finding binary XORs  T:     0.05 s  found:     147
1745.54/221.47	c  S st   476    158074     75866    203373    189701     40733   1044764   1314818     15.60     12.77
1753.52/222.40	c  S st   476    158575     75866    203373    189708     41224   1044764   1362919     15.60   no data
1753.52/222.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1886.11/239.02	c Flit:     2 Blit:      2 bXBeca:    0 bXProp:    1 Bins:  14877 BRemL:      0 BRemN:      0 P: 200.0M T: 16.36
1886.91/239.12	c Replacing      340 vars Replaced    11554 lits Time:     0.09 s 
1887.71/239.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1887.71/239.25	c bin-w-bin subsume rem          831 bins  time:  0.03 s
1888.51/239.34	c subs with bin:     1218  lits-rem:        28  v-fix:    0  time:  0.09 s
1894.09/240.07	c Subs w/ non-existent bins:      2 l-rem:      2 v-fix:     0 done:  75521 time:  0.71 s
1895.68/240.29	c Removed useless bin:       5  fixed:     0  props:  12.47M  time:  0.22 s
1898.07/240.53	c lits-rem:         0  cl-subs:       96  v-elim:     52  v-fix:    0  time:  0.23 s
1900.56/240.83	c subs with bin:      280  lits-rem:      2184  v-fix:    0  time:  0.22 s
1904.46/241.34	c lits-rem:      1746  cl-subs:     1174  v-elim:      0  v-fix:    0  time:  0.43 s
1911.65/242.27	c asymm  cl-useful: 1/2584/201612 lits-rem:1 time: 0.92
1912.44/242.30	c calculated reachability. Time: 0.01
1912.44/242.30	c  N dy   476    158575     75469    201612    198284     36173   1039811   1139318     15.60   no data
1924.44/243.83	c Finding binary XORs  T:     0.05 s  found:     130
1975.55/250.29	c  N dy   502    168813     75463    201306    229644     24697   1037875    644835     15.59     16.66
2057.02/260.42	c  N dy   533    179775     75456    201306    229985     35290   1037873   1133328     15.60     16.51
2099.34/265.70	c Finding binary XORs  T:     0.05 s  found:      96
2130.48/269.62	c  N dy   579    191714     75453    201059    240677     46858   1035822   1676609     15.67     16.69
2190.48/277.20	c Finding binary XORs  T:     0.05 s  found:      44
2208.05/279.39	c  N dy   611    204049     75448    200946    257657     35127   1035039   1139587     15.80     16.65
2291.03/289.79	c  N dy   640    217145     75441    200946    258109     47966   1035039   1814070     15.66     26.62
2378.88/300.78	c  N dy   687    231294     75434    200946    258436     36794   1035039   1095928     15.65     16.60
2423.61/306.38	c  S st   703    237863     75433    200946    258715     43212   1035039   1376141     15.59     16.46
2431.59/307.35	c  S st   703    238367     75430    200946    259060     43708   1035039   1417759     15.59   no data
2432.39/307.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2564.19/323.97	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:  143 Bins:   3709 BRemL:     34 BRemN:      0 P: 200.1M T: 16.36
2565.79/324.10	c Replacing      414 vars Replaced    60442 lits Time:     0.12 s 
2566.58/324.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2566.58/324.24	c bin-w-bin subsume rem         1627 bins  time:  0.04 s
2567.38/324.34	c subs with bin:     1603  lits-rem:        17  v-fix:    0  time:  0.10 s
2573.77/325.15	c Subs w/ non-existent bins:      6 l-rem:      0 v-fix:     0 done:  75014 time:  0.80 s
2575.37/325.36	c Removed useless bin:       3  fixed:     0  props:  10.73M  time:  0.21 s
2577.06/325.61	c lits-rem:         0  cl-subs:       17  v-elim:     41  v-fix:    0  time:  0.24 s
2579.35/325.87	c subs with bin:      277  lits-rem:      2254  v-fix:    0  time:  0.20 s
2583.35/326.35	c lits-rem:      1924  cl-subs:     1092  v-elim:      0  v-fix:    0  time:  0.41 s
2591.34/327.34	c asymm  cl-useful: 11/2971/198257 lits-rem:11 time: 0.99
2591.34/327.37	c calculated reachability. Time: 0.01
2591.34/327.37	c  N dy   703    238367     74973    198257    238661     39114   1026546   1141951     15.59   no data
2592.13/327.41	c Finding binary XORs  T:     0.05 s  found:      47
2648.14/334.47	c Finding binary XORs  T:     0.05 s  found:     123
2692.76/340.09	c  N dy   750    253713     74961    197890    236678     31511   1024255    705016     15.54     16.56
2804.54/354.01	c  N dy   798    270093     74954    197890    237113     47470   1024255   1496211     15.52     16.56
2827.71/356.99	c Finding binary XORs  T:     0.05 s  found:      88
2925.96/369.23	c  N dy   857    287563     74937    197627    247679     38944   1022614    964230     15.48     16.39
3049.77/384.73	c  N dy   922    305988     74921    197627    248112     56967   1022614   1815490     15.50     37.18
3051.46/384.98	c  F st   924    306252     74921    197627    248113     57225   1022614   1829112     15.50   no data
3052.25/385.08	c Replacing      262 vars Replaced     8476 lits Time:     0.07 s 
3148.90/397.19	c Finding binary XORs  T:     0.05 s  found:     194
3190.34/402.30	c  N dy   986    325773     74662    196950    247897     48766   1018648   1358326     15.55     17.85
3331.72/420.10	c  N dy  1052    346294     74654    196950    248706     41769   1018648    878075     15.65     16.59
3411.68/430.06	c  S st  1090    357550     74649    196950    248852     52737   1018648   1419312     15.65   no data
3419.58/431.09	c  S st  1090    358052     74649    196950    249023     53231   1018648   1450002     15.65   no data
3420.47/431.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3551.37/447.53	c Flit:     4 Blit:     27 bXBeca:    0 bXProp:  256 Bins:  10764 BRemL:      6 BRemN:      0 P: 200.1M T: 16.40
3552.26/447.66	c Replacing      456 vars Replaced    23280 lits Time:     0.12 s 
3553.06/447.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
3553.75/447.80	c bin-w-bin subsume rem         2879 bins  time:  0.04 s
3553.75/447.89	c subs with bin:     1583  lits-rem:        45  v-fix:    0  time:  0.09 s
3560.15/448.64	c Subs w/ non-existent bins:      5 l-rem:      3 v-fix:     0 done:  74134 time:  0.75 s
3561.84/448.83	c Removed useless bin:       5  fixed:     0  props:   7.95M  time:  0.19 s
3564.13/449.10	c lits-rem:        13  cl-subs:      109  v-elim:    105  v-fix:    0  time:  0.27 s
3566.54/449.40	c subs with bin:      444  lits-rem:      2080  v-fix:    0  time:  0.22 s
3569.82/449.83	c lits-rem:      1712  cl-subs:      886  v-elim:      0  v-fix:    0  time:  0.37 s
3577.71/450.84	c asymm  cl-useful: 0/344/193550 lits-rem:0 time: 1.01
3577.71/450.87	c calculated reachability. Time: 0.01
3577.71/450.88	c  N dy  1090    358052     74029    193550    247767     47901   1007090   1210317     15.65   no data
3578.60/450.92	c Finding binary XORs  T:     0.05 s  found:     103
3625.63/456.84	c Finding binary XORs  T:     0.05 s  found:      93
3727.08/469.59	c  N dy  1175    378122     74020    193429    269528     40990   1006386    809267     15.76     16.75
3878.14/488.42	c  N dy  1255    398351     74014    193429    270076     60771   1006386   1785323     15.74     16.81
4005.04/504.31	c Finding binary XORs  T:     0.05 s  found:     305
4040.99/508.82	c  N dy  1332    419303     73999    192666    287669     51991   1002475   1278027     15.80     16.66
4198.32/528.58	c  N dy  1401    439738     73972    192666    289158     71866   1002475   2195620     15.79     16.63
4345.28/546.91	c  N dy  1464    459810     73957    192666    289527     62148   1002475   1581413     15.81     43.76
4388.41/552.39	c Finding binary XORs  T:     0.05 s  found:     455
4389.21/552.48	c Replacing      963 vars Replaced    33661 lits Time:     0.09 s 
4505.84/567.09	c  N dy  1532    479823     72968    190235    295715     80481    989682   2564006     15.84     79.25
4651.30/585.27	c  N dy  1594    499920     72966    190235    296279     69373    989681   1720304     15.80     48.82
4794.97/603.28	c Finding binary XORs  T:     0.05 s  found:     132
4833.31/608.08	c  N dy  1678    520645     72951    189888    296450     57999    987771   1048384     15.85     17.08
4945.13/622.02	c  S st  1743    537078     72948    189888    297052     74119    987771   1865071     15.87   no data
4953.11/623.04	c  S st  1743    537583     72948    189888    297070     74606    987771   1899232     15.87   no data
4953.91/623.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
5068.93/637.54	c Flit:     1 Blit:      1 bXBeca:    0 bXProp:  152 Bins:   7140 BRemL:   2075 BRemN:      0 P: 200.0M T: 14.44
5069.74/637.67	c Replacing      287 vars Replaced    16246 lits Time:     0.12 s 
5070.54/637.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
5071.34/637.82	c bin-w-bin subsume rem         5770 bins  time:  0.04 s
5072.23/637.91	c subs with bin:     1833  lits-rem:        34  v-fix:    0  time:  0.10 s
5079.32/638.83	c Subs w/ non-existent bins:      7 l-rem:      0 v-fix:     0 done:  72659 time:  0.92 s
5080.11/639.00	c Removed useless bin:       7  fixed:     0  props:   7.71M  time:  0.17 s
5082.50/639.27	c lits-rem:         2  cl-subs:       49  v-elim:    108  v-fix:    0  time:  0.27 s
5086.49/639.77	c subs with bin:      689  lits-rem:      4240  v-fix:    0  time:  0.39 s
5092.08/640.42	c lits-rem:      2707  cl-subs:     1285  v-elim:      0  v-fix:    0  time:  0.58 s
5100.06/641.41	c asymm  cl-useful: 0/337/187106 lits-rem:0 time: 0.99
5100.06/641.44	c calculated reachability. Time: 0.00
5100.06/641.44	c  N dy  1743    537583     72551    187106    293519     69887    980592   1696466     15.87   no data
5100.06/641.49	c Finding binary XORs  T:     0.05 s  found:       9
5279.78/663.94	c  N dy  1826    559007     72535    187106    296195     90768    980592   2751010     15.92     16.83
5353.37/673.13	c Finding binary XORs  T:     0.05 s  found:     424
5461.89/686.72	c  N dy  1912    579081     72509    185900    296601     77622    974769   1951187     15.95     41.87
5632.82/708.15	c  N dy  1982    599082     72495    185900    298535     65086    974768   1080324     15.93     17.35
5672.76/713.13	c Finding binary XORs  T:     0.05 s  found:     196
5811.05/730.49	c  N dy  2074    619550     72478    185500    298733     84544    972776   2101559     15.99     16.93
5906.88/742.46	c Finding binary XORs  T:     0.05 s  found:     234
5907.68/742.55	c Replacing      863 vars Replaced    33397 lits Time:     0.09 s 
5996.23/753.64	c  N dy  2167    639677     71621    183777    298978     70084    963714   1139895     16.06     17.04
6056.23/761.18	c Finding binary XORs  T:     0.05 s  found:      92
6155.98/773.68	c  N dy  2221    659895     71614    183606    303729     89841    962997   2098541     16.03     17.22
6211.09/780.55	c Finding binary XORs  T:     0.05 s  found:     265
6334.09/795.96	c  N dy  2318    679944     71588    182680    309874    108698    959034   3019628     16.10     26.13
6516.20/818.75	c Finding binary XORs  T:     0.05 s  found:     317
6518.60/819.02	c  N dy  2382    700100     71577    182063    310456     93307    956530   2092763     16.06     17.31
6699.91/841.79	c  N dy  2501    720153     71557    182063    311456    112993    956530   3098519     16.20     17.07
6866.04/862.52	c  N dy  2558    740241     71546    182063    311803     97403    956525   2134450     16.17     17.08
7044.95/884.91	c  N dy  2624    760354     71541    182063    312171    117164    956525   3143240     16.15     17.05
7203.10/904.74	c  N dy  2706    780592     71532    182063    312428    100323    956525   2057281     16.18     17.17
7246.24/910.18	c Finding binary XORs  T:     0.05 s  found:     835
7247.04/910.29	c Replacing     1511 vars Replaced    65227 lits Time:     0.11 s 
7398.00/929.13	c  N dy  2795    800808     69974    177543    315027    118510    936070   2978140     16.21     17.10
7450.70/935.74	c  S st  2821    806375     69967    177543    315144    123986    936070   3256801     16.23     13.68
7461.10/937.00	c  S st  2821    806877     69967    177543    315157    124471    936070   3277315     16.23   no data
7461.10/937.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
7576.21/951.51	c Flit:     5 Blit:      4 bXBeca:    0 bXProp:  165 Bins:  12416 BRemL:    663 BRemN:      0 P: 200.0M T: 14.44
7577.70/951.68	c Replacing      170 vars Replaced    39971 lits Time:     0.16 s 
7578.51/951.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
7579.31/951.83	c bin-w-bin subsume rem        13319 bins  time:  0.04 s
7580.10/951.93	c subs with bin:     2302  lits-rem:        70  v-fix:    0  time:  0.10 s
7587.30/952.85	c Subs w/ non-existent bins:     27 l-rem:      1 v-fix:     0 done:  69784 time:  0.92 s
7588.90/953.00	c Removed useless bin:       5  fixed:     0  props:   6.34M  time:  0.15 s
7591.29/953.30	c lits-rem:         1  cl-subs:       81  v-elim:    169  v-fix:    0  time:  0.30 s
7597.68/954.18	c subs with bin:     1160  lits-rem:     15211  v-fix:    0  time:  0.70 s
7610.46/955.73	c lits-rem:      5264  cl-subs:     2624  v-elim:      0  v-fix:    0  time:  1.47 s
7617.65/956.66	c asymm  cl-useful: 0/336/173880 lits-rem:0 time: 0.94
7618.45/956.70	c calculated reachability. Time: 0.01
7618.45/956.70	c  N dy  2821    806877     69615    173880    311724    109375    926784   2469533     16.23   no data
7618.45/956.75	c Finding binary XORs  T:     0.05 s  found:     112
7759.83/974.43	c Finding binary XORs  T:     0.05 s  found:     287
7807.73/980.44	c  N dy  2904    827586     69593    172998    312084     98428    923348   1901913     16.23     17.12
7989.14/1003.16	c  N dy  2984    847639     69587    172998    313717    118041    923346   2882353     16.23     28.07
8040.97/1009.65	c Finding binary XORs  T:     0.05 s  found:     343
8041.86/1009.77	c Replacing      743 vars Replaced    38294 lits Time:     0.12 s 
8175.94/1026.57	c  N dy  3080    867736     68824    171564    312232     99532    916140   1760350     16.29     17.29
8350.18/1048.39	c  N dy  3173    888083     68771    171564    314162    119549    916140   2770188     16.35     17.27
8355.67/1049.08	c Finding binary XORs  T:     0.05 s  found:     409
8572.91/1076.27	c  N dy  3245    911145     68754    170400    315482    103012    912105   1710620     16.31     17.42
8702.30/1092.41	c Finding binary XORs  T:     0.05 s  found:     425
8703.10/1092.52	c Replacing      834 vars Replaced    54463 lits Time:     0.11 s 
8771.10/1101.11	c  N dy  3336    931633     67902    168081    313514    122208    901456   2722958     16.33     17.83
8959.50/1124.68	c  N dy  3410    951656     67897    168081    314210    102265    901454   1406949     16.32     17.31
9152.79/1148.88	c  N dy  3492    971728     67873    168081    314707    121984    901453   2368053     16.34     26.62
9352.47/1173.83	c  N dy  3572    991989     67859    168081    315044    141859    901452   3412287     16.37     17.48
9478.68/1189.66	c Finding binary XORs  T:     0.05 s  found:     971
9479.48/1189.74	c Replacing      982 vars Replaced    30075 lits Time:     0.08 s 
9543.38/1197.76	c  N dy  3633   1013976     66849    163619    304869    120970    883270   2066481     16.34     17.51
9608.06/1205.81	c Finding binary XORs  T:     0.05 s  found:     202
9743.05/1222.72	c  N dy  3725   1034128     66814    163086    314991    140365    881682   3025074     16.35     18.27
9951.51/1248.87	c  N dy  3795   1055268     66802    163086    315499    120884    881682   1801748     16.34     18.18
9985.86/1253.14	c Finding binary XORs  T:     0.05 s  found:     622
9986.66/1253.25	c Replacing      824 vars Replaced    37370 lits Time:     0.11 s 
10132.04/1271.48	c  F st  3888   1071876     65973    159993    315046    135704    869013   2561688     16.39   no data
10177.66/1277.17	c  N dy  3894   1077072     65973    159697    315054    140671    868074   3119687     16.39   no data
10378.93/1302.32	c Finding binary XORs  T:     0.05 s  found:     390
10391.61/1303.94	c  N dy  4009   1097182     65954    158802    315696    159078    865233   4164481     16.47     18.55
10596.09/1329.56	c  N dy  4087   1117607     65921    158802    317191    137781    865233   2414536     16.47     17.36
10628.03/1333.55	c Finding binary XORs  T:     0.05 s  found:     522
10628.83/1333.66	c Replacing      912 vars Replaced    39473 lits Time:     0.11 s 
10812.53/1356.65	c  N dy  4176   1138931     64996    155934    320390    157746    853418   3250005     16.46     17.34
11012.32/1381.69	c  N dy  4256   1159336     64968    155934    320916    134839    853418   2064774     16.47     17.53
11215.89/1407.17	c  N dy  4341   1179577     64960    155934    321261    154721    853418   3049701     16.48     17.64
11216.69/1407.28	c Finding binary XORs  T:     0.05 s  found:     891
11218.29/1407.41	c Replacing      891 vars Replaced    50876 lits Time:     0.13 s 
11402.77/1430.51	c Finding binary XORs  T:     0.05 s  found:     119
11451.61/1436.64	c  N dy  4454   1200231     64034    151437    324782    172172    836646   4042567     16.52     17.49
11546.56/1448.58	c  S st  4504   1210315     64030    151437    325503    139697    836646   1934311     16.54      7.74
11555.34/1449.68	c  S st  4504   1210816     64030    151437    325514    140182    836646   1952369     16.54   no data
11556.24/1449.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
11658.37/1462.53	c Flit:     3 Blit:      2 bXBeca:    0 bXProp:   95 Bins:    482 BRemL:    280 BRemN:      0 P: 200.0M T: 12.77
11659.17/1462.67	c Replacing      217 vars Replaced    17377 lits Time:     0.14 s 
11659.97/1462.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
11660.77/1462.81	c bin-w-bin subsume rem        23226 bins  time:  0.05 s
11660.77/1462.90	c subs with bin:     1848  lits-rem:       154  v-fix:    0  time:  0.09 s
11667.95/1463.77	c Subs w/ non-existent bins:     27 l-rem:      1 v-fix:     0 done:  63799 time:  0.87 s
11669.55/1463.92	c Removed useless bin:      11  fixed:     0  props:   5.35M  time:  0.15 s
11671.94/1464.24	c lits-rem:         7  cl-subs:      179  v-elim:    312  v-fix:    0  time:  0.32 s
11675.94/1464.74	c subs with bin:     1126  lits-rem:     20056  v-fix:    0  time:  0.35 s
11681.53/1465.43	c lits-rem:      3062  cl-subs:     2872  v-elim:      0  v-fix:    0  time:  0.63 s
11688.02/1466.25	c asymm  cl-useful: 0/242/147910 lits-rem:0 time: 0.82
11688.02/1466.29	c calculated reachability. Time: 0.01
11688.02/1466.29	c  N dy  4504   1210816     63487    147910    300659    130763    827690   1665128     16.54   no data
11792.55/1479.31	c Finding binary XORs  T:     0.05 s  found:     627
11921.95/1495.52	c  N dy  4572   1231244     63466    146478    302670    150308    823454   2443134     16.52     17.42
12054.54/1512.18	c Finding binary XORs  T:     0.05 s  found:     564
12056.14/1512.31	c Replacing     1191 vars Replaced    55042 lits Time:     0.13 s 
12124.82/1520.94	c  N dy  4633   1251750     62259    143461    301136    167795    810052   3194060     16.48     17.40
12260.61/1537.97	c Finding binary XORs  T:     0.05 s  found:     410
12337.28/1547.60	c  N dy  4704   1272189     62180    141930    306299    143441    805542   1964573     16.45     17.66
12396.39/1554.95	c Finding binary XORs  T:     0.05 s  found:     395
12397.19/1555.07	c Replacing      805 vars Replaced    45918 lits Time:     0.11 s 
12555.33/1574.81	c  N dy  4794   1292531     61301    139758    313437    160805    796008   2959672     16.44     17.35
12666.36/1588.71	c Finding binary XORs  T:     0.05 s  found:     406
12792.56/1604.59	c  N dy  4877   1312913     61249    138412    316144    136928    792223   1465817     16.43     17.45
12892.50/1617.02	c Finding binary XORs  T:     0.05 s  found:     805
12893.19/1617.12	c Replacing     1211 vars Replaced    49827 lits Time:     0.10 s 
12971.57/1626.98	c Finding binary XORs  T:     0.05 s  found:     324
13016.19/1632.52	c  N dy  4925   1333695     59917    133479    324471    154275    773998   2216577     16.37     17.55
13187.92/1654.10	c Finding binary XORs  T:     0.05 s  found:     471
13189.52/1654.21	c Replacing      795 vars Replaced    31412 lits Time:     0.11 s 
13214.28/1657.39	c  N dy  5009   1353716     58978    130925    328524    169175    763994   3217004     16.37     17.25
13328.50/1671.67	c Finding binary XORs  T:     0.05 s  found:     671
13329.30/1671.79	c Replacing      671 vars Replaced    44304 lits Time:     0.13 s 
13413.96/1682.34	c  N dy  5094   1373809     58234    128521    332988    143883    755100   1775475     16.36     17.44
13523.39/1696.00	c Finding binary XORs  T:     0.05 s  found:     910
13524.28/1696.12	c Replacing      910 vars Replaced    48710 lits Time:     0.12 s 
13614.44/1707.49	c  N dy  5162   1394071     57219    124767    335575    157988    741201   2645289     16.32     17.24
13640.79/1710.70	c Following stats are for *FIRST FINISHED THREAD ONLY*
13640.79/1710.70	c num threads              : 8          
13640.79/1710.70	c restarts                 : 5598       
13640.79/1710.70	c dynamic restarts         : 5568       
13640.79/1710.70	c static restarts          : 30         
13640.79/1710.70	c full restarts            : 4          
13640.79/1710.70	c total simplify time      : 31.95      
13640.79/1710.70	c learnts DL2              : 0          
13640.79/1710.70	c learnts size 2           : 1654256    
13640.79/1710.70	c learnts size 1           : 7101        (3.55      % of vars)
13640.79/1710.70	c filedLit time            : 79.11       (4.63      % time)
13640.79/1710.70	c v-elim SatELite          : 123466      (61.64     % vars)
13640.79/1710.70	c SatELite time            : 18.62       (1.09      % time)
13640.79/1710.70	c v-elim xor               : 0           (0.00      % vars)
13640.79/1710.70	c xor elim time            : 0.26        (0.01      % time)
13640.79/1710.70	c num binary xor trees     : 2204       
13640.79/1710.70	c binxor trees' crown      : 20262       (9.19      leafs/tree)
13640.79/1710.70	c bin xor find time        : 25.80      
13640.79/1710.70	c OTF clause improved      : 17640       (0.01      clauses/conflict)
13640.79/1710.70	c OTF impr. size diff      : 30011       (1.70       lits/clause)
13640.79/1710.70	c OTF cl watch-shrink      : 639220      (0.47      clauses/conflict)
13640.79/1710.70	c OTF cl watch-sh-lit      : 3909200     (6.12       lits/clause)
13640.79/1710.70	c tried to recurMin cls    : 756531      (56.11      % of conflicts)
13640.79/1710.70	c updated cache            : 368674      (0.49       lits/tried recurMin)
13640.79/1710.70	c unit cls recevied        : 887         (12.49     % of units)
13640.79/1710.70	c unit cls sent            : 908         (12.79     % of units)
13640.79/1710.70	c bin cls recevied         : 1150921    
13640.79/1710.70	c bin cls sent             : 121574     
13640.79/1710.70	c clauses over max glue    : 0           (0.00      % of all clauses)
13640.79/1710.70	c conflicts                : 1348254     (789.50    / sec)
13640.79/1710.70	c decisions                : 9005291     (0.95      % random)
13640.79/1710.70	c bogo-props               : 32250197411 (18884774.37 / sec)
13640.79/1710.70	c conflict literals        : 80349226    (43.85     % deleted)
13640.79/1710.70	c Memory used              : 4794.99     MB
13640.79/1710.70	c single-thread CPU time   : 1707.74     s
13640.79/1710.70	c all-threads sum CPU time : 13631.00    s
13640.79/1710.70	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3393944-1306073932/watcher-3393944-1306073932 -o /tmp/evaluation-result-3393944-1306073932/solver-3393944-1306073932 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393944-1306073932.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: 7.57 7.94 7.85 2/379 28889
/proc/meminfo: memFree=10622876/32951124 swapFree=52307820/67111528
[pid=28889] ppid=28887 vsize=92144 CPUtime=0.04 cores=0-7
/proc/28889/stat : 28889 (strangenight2-m) R 28887 28889 28610 0 -1 4202496 411 0 0 0 4 0 0 0 22 0 8 0 718995989 94355456 352 33554432000 4194304 4580107 140737044766048 18446744073709551615 47495730345906 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28889/statm: 23036 352 299 95 0 18018 0
[pid=28889/tid=28890] ppid=28887 vsize=92144 CPUtime=0 cores=0-7
/proc/28889/task/28890/stat : 28890 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 718995989 94355456 352 33554432000 4194304 4580107 140737044766048 18446744073709551615 47495730345906 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28891] ppid=28887 vsize=92144 CPUtime=0 cores=0-7
/proc/28889/task/28891/stat : 28891 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 718995989 94355456 352 33554432000 4194304 4580107 140737044766048 18446744073709551615 47495730345906 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28889/tid=28892] ppid=28887 vsize=92144 CPUtime=0 cores=0-7
/proc/28889/task/28892/stat : 28892 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 718995989 94355456 352 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28893] ppid=28887 vsize=92144 CPUtime=0 cores=0-7
/proc/28889/task/28893/stat : 28893 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 718995989 94355456 352 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28894] ppid=28887 vsize=92144 CPUtime=0 cores=0-7
/proc/28889/task/28894/stat : 28894 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 718995989 94355456 352 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28895] ppid=28887 vsize=92144 CPUtime=0 cores=0-7
/proc/28889/task/28895/stat : 28895 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 718995989 94355456 352 33554432000 4194304 4580107 140737044766048 18446744073709551615 47495730345906 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28889/tid=28896] ppid=28887 vsize=92144 CPUtime=0 cores=0-7
/proc/28889/task/28896/stat : 28896 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 718995989 94355456 352 33554432000 4194304 4580107 140737044766048 18446744073709551615 47495730345906 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0975831 s]
/proc/loadavg: 7.57 7.94 7.85 2/379 28889
/proc/meminfo: memFree=10622876/32951124 swapFree=52307820/67111528
[pid=28889] ppid=28887 vsize=641944 CPUtime=0.55 cores=0-7
/proc/28889/stat : 28889 (strangenight2-m) R 28887 28889 28610 0 -1 4202496 15286 0 0 0 41 14 0 0 17 0 8 0 718995989 657350656 13370 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062254 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28889/statm: 160486 13428 337 95 0 155468 0
[pid=28889/tid=28890] ppid=28887 vsize=642376 CPUtime=0.07 cores=0-7
/proc/28889/task/28890/stat : 28890 (strangenight2-m) S 28887 28889 28610 0 -1 4202560 1879 0 0 0 5 2 0 0 17 0 8 0 718995989 657793024 13513 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062254 0 0 4096 2 18446604446389658752 0 0 -1 2 0 0 0
[pid=28889/tid=28891] ppid=28887 vsize=642376 CPUtime=0.07 cores=0-7
/proc/28889/task/28891/stat : 28891 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 1880 0 0 0 6 1 0 0 17 0 8 0 718995989 657793024 13531 33554432000 4194304 4580107 140737044766048 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28889/tid=28892] ppid=28887 vsize=642592 CPUtime=0.05 cores=0-7
/proc/28889/task/28892/stat : 28892 (strangenight2-m) D 28887 28889 28610 0 -1 4202560 1900 0 0 0 3 2 0 0 17 0 8 0 718995989 658014208 13596 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371000503 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28889/tid=28893] ppid=28887 vsize=642592 CPUtime=0.04 cores=0-7
/proc/28889/task/28893/stat : 28893 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 1652 0 0 0 3 1 0 0 17 0 8 0 718995989 658014208 13596 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371015082 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28889/tid=28894] ppid=28887 vsize=642592 CPUtime=0.03 cores=0-7
/proc/28889/task/28894/stat : 28894 (strangenight2-m) S 28887 28889 28610 0 -1 4202560 1940 0 0 0 3 0 0 0 17 0 8 0 718995989 658014208 13596 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062254 0 0 4096 2 18446604446389658752 0 0 -1 3 0 0 0
[pid=28889/tid=28895] ppid=28887 vsize=642968 CPUtime=0.07 cores=0-7
/proc/28889/task/28895/stat : 28895 (strangenight2-m) S 28887 28889 28610 0 -1 4202560 1828 0 0 0 6 1 0 0 17 0 8 0 718995989 658399232 13608 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062254 0 0 4096 2 18446604446389658752 0 0 -1 6 0 0 0
[pid=28889/tid=28896] ppid=28887 vsize=642968 CPUtime=0.06 cores=0-7
/proc/28889/task/28896/stat : 28896 (strangenight2-m) S 28887 28889 28610 0 -1 4202560 2077 0 0 0 5 1 0 0 17 0 8 0 718995989 658399232 13624 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062254 0 0 4096 2 18446604446389658752 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 641944

[startup+0.102572 s]
/proc/loadavg: 7.57 7.94 7.85 2/379 28889
/proc/meminfo: memFree=10622876/32951124 swapFree=52307820/67111528
[pid=28889] ppid=28887 vsize=645880 CPUtime=0.56 cores=0-7
/proc/28889/stat : 28889 (strangenight2-m) D 28887 28889 28610 0 -1 4202496 16351 0 0 0 42 14 0 0 17 0 8 0 718995989 661381120 14431 33554432000 4194304 4580107 140737044766048 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28889/statm: 161470 14444 337 95 0 156452 0
[pid=28889/tid=28890] ppid=28887 vsize=645880 CPUtime=0.08 cores=0-7
/proc/28889/task/28890/stat : 28890 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 1938 0 0 0 6 2 0 0 17 0 8 0 718995989 661381120 14187 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062303 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28891] ppid=28887 vsize=644852 CPUtime=0.07 cores=0-7
/proc/28889/task/28891/stat : 28891 (strangenight2-m) S 28887 28889 28610 0 -1 4202560 1949 0 0 0 6 1 0 0 17 0 8 0 718995989 660328448 14230 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062254 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28889/tid=28892] ppid=28887 vsize=644852 CPUtime=0.06 cores=0-7
/proc/28889/task/28892/stat : 28892 (strangenight2-m) S 28887 28889 28610 0 -1 4202560 1959 0 0 0 4 2 0 0 17 0 8 0 718995989 660328448 14277 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062254 0 0 4096 2 18446604446389658752 0 0 -1 7 0 0 0
[pid=28889/tid=28893] ppid=28887 vsize=644852 CPUtime=0.04 cores=0-7
/proc/28889/task/28893/stat : 28893 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 1753 0 0 0 3 1 0 0 17 0 8 0 718995989 660328448 14329 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371000503 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28889/tid=28894] ppid=28887 vsize=644852 CPUtime=0.04 cores=0-7
/proc/28889/task/28894/stat : 28894 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 2146 0 0 0 3 1 0 0 17 0 8 0 718995989 660328448 14331 33554432000 4194304 4580107 140737044766048 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28889/tid=28895] ppid=28887 vsize=646904 CPUtime=0.07 cores=0-7
/proc/28889/task/28895/stat : 28895 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 1906 0 0 0 6 1 0 0 17 0 8 0 718995989 662429696 14425 33554432000 4194304 4580107 140737044766048 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28889/tid=28896] ppid=28887 vsize=646904 CPUtime=0.07 cores=0-7
/proc/28889/task/28896/stat : 28896 (strangenight2-m) S 28887 28889 28610 0 -1 4202560 2168 0 0 0 5 2 0 0 17 0 8 0 718995989 662429696 14513 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062254 0 0 4096 2 18446604446389658752 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 645880

[startup+0.300517 s]
/proc/loadavg: 7.57 7.94 7.85 2/379 28889
/proc/meminfo: memFree=10622876/32951124 swapFree=52307820/67111528
[pid=28889] ppid=28887 vsize=723260 CPUtime=1.62 cores=0-7
/proc/28889/stat : 28889 (strangenight2-m) D 28887 28889 28610 0 -1 4202496 63023 0 0 0 107 55 0 0 17 0 8 0 718995989 740618240 53547 33554432000 4194304 4580107 140737044766048 18446744073709551615 218370618053 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28889/statm: 180815 53590 337 95 0 175797 0
[pid=28889/tid=28890] ppid=28887 vsize=723260 CPUtime=0.21 cores=0-7
/proc/28889/task/28890/stat : 28890 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 7725 0 0 0 14 7 0 0 17 0 8 0 718995989 740618240 53608 33554432000 4194304 4580107 140737044766048 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28891] ppid=28887 vsize=723260 CPUtime=0.2 cores=0-7
/proc/28889/task/28891/stat : 28891 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 7887 0 0 0 14 6 0 0 17 0 8 0 718995989 740618240 53638 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062303 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28889/tid=28892] ppid=28887 vsize=723260 CPUtime=0.19 cores=0-7
/proc/28889/task/28892/stat : 28892 (strangenight2-m) D 28887 28889 28610 0 -1 4202560 7275 0 0 0 11 8 0 0 17 0 8 0 718995989 740618240 53714 33554432000 4194304 4580107 140737044766048 18446744073709551615 4311330 0 0 4096 2 18446604446389658752 0 0 -1 7 0 0 0
[pid=28889/tid=28893] ppid=28887 vsize=723260 CPUtime=0.18 cores=0-7
/proc/28889/task/28893/stat : 28893 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 6815 0 0 0 12 6 0 0 17 0 8 0 718995989 740618240 53731 33554432000 4194304 4580107 140737044766048 18446744073709551615 4353737 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28889/tid=28894] ppid=28887 vsize=723260 CPUtime=0.17 cores=0-7
/proc/28889/task/28894/stat : 28894 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 7805 0 0 0 11 6 0 0 17 0 8 0 718995989 740618240 53786 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062303 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28889/tid=28895] ppid=28887 vsize=723260 CPUtime=0.19 cores=0-7
/proc/28889/task/28895/stat : 28895 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 7889 0 0 0 13 6 0 0 17 0 8 0 718995989 740618240 53817 33554432000 4194304 4580107 140737044766048 18446744073709551615 4307217 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28889/tid=28896] ppid=28887 vsize=723260 CPUtime=0.2 cores=0-7
/proc/28889/task/28896/stat : 28896 (strangenight2-m) S 28887 28889 28610 0 -1 4202560 7950 0 0 0 13 7 0 0 17 0 8 0 718995989 740618240 53851 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062254 0 0 4096 2 18446604446389658752 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 723260

[startup+0.700515 s]
/proc/loadavg: 7.57 7.94 7.85 2/379 28889
/proc/meminfo: memFree=10622876/32951124 swapFree=52307820/67111528
[pid=28889] ppid=28887 vsize=949348 CPUtime=3.82 cores=0-7
/proc/28889/stat : 28889 (strangenight2-m) R 28887 28889 28610 0 -1 4202496 164375 0 0 0 247 135 0 0 16 0 8 0 718995989 972132352 130400 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062303 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28889/statm: 237337 130403 337 95 0 232319 0
[pid=28889/tid=28890] ppid=28887 vsize=949348 CPUtime=0.49 cores=0-7
/proc/28889/task/28890/stat : 28890 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 19799 0 0 0 32 17 0 0 16 0 8 0 718995989 972132352 130406 33554432000 4194304 4580107 140737044766048 18446744073709551615 218370613255 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28891] ppid=28887 vsize=949348 CPUtime=0.48 cores=0-7
/proc/28889/task/28891/stat : 28891 (strangenight2-m) S 28887 28889 28610 0 -1 4202560 21558 0 0 0 32 16 0 0 16 0 8 0 718995989 972132352 130408 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062254 0 0 4096 2 18446604446389658752 0 0 -1 1 0 0 0
[pid=28889/tid=28892] ppid=28887 vsize=949348 CPUtime=0.46 cores=0-7
/proc/28889/task/28892/stat : 28892 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 19095 0 0 0 28 18 0 0 16 0 8 0 718995989 972132352 130408 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062254 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28889/tid=28893] ppid=28887 vsize=949348 CPUtime=0.46 cores=0-7
/proc/28889/task/28893/stat : 28893 (strangenight2-m) S 28887 28889 28610 0 -1 4202560 19154 0 0 0 29 17 0 0 16 0 8 0 718995989 972132352 130410 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062254 0 0 4096 2 18446604446389658752 0 0 -1 5 0 0 0
[pid=28889/tid=28894] ppid=28887 vsize=949348 CPUtime=0.44 cores=0-7
/proc/28889/task/28894/stat : 28894 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 20789 0 0 0 28 16 0 0 16 0 8 0 718995989 972132352 130412 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062303 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28889/tid=28895] ppid=28887 vsize=949348 CPUtime=0.47 cores=0-7
/proc/28889/task/28895/stat : 28895 (strangenight2-m) S 28887 28889 28610 0 -1 4202560 21038 0 0 0 30 17 0 0 16 0 8 0 718995989 972132352 130413 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062254 0 0 4096 2 18446604446389658752 0 0 -1 6 0 0 0
[pid=28889/tid=28896] ppid=28887 vsize=949348 CPUtime=0.48 cores=0-7
/proc/28889/task/28896/stat : 28896 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 20403 0 0 0 32 16 0 0 16 0 8 0 718995989 972132352 130415 33554432000 4194304 4580107 140737044766048 18446744073709551615 218371062254 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 949348

[startup+1.5013 s]
/proc/loadavg: 7.60 7.94 7.85 9/387 28897
/proc/meminfo: memFree=10029112/32951124 swapFree=52307820/67111528
[pid=28889] ppid=28887 vsize=952444 CPUtime=10.05 cores=0-7
/proc/28889/stat : 28889 (strangenight2-m) R 28887 28889 28610 0 -1 4202496 184002 0 0 0 843 162 0 0 17 0 8 0 718995989 975302656 149496 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28889/statm: 238111 149496 359 95 0 233093 0
[pid=28889/tid=28890] ppid=28887 vsize=952444 CPUtime=1.27 cores=0-7
/proc/28889/task/28890/stat : 28890 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 21864 0 0 0 107 20 0 0 17 0 8 0 718995989 975302656 149497 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28891] ppid=28887 vsize=952444 CPUtime=1.26 cores=0-7
/proc/28889/task/28891/stat : 28891 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 23896 0 0 0 107 19 0 0 17 0 8 0 718995989 975302656 149497 33554432000 4194304 4580107 140737044766048 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28889/tid=28892] ppid=28887 vsize=952444 CPUtime=1.22 cores=0-7
/proc/28889/task/28892/stat : 28892 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 21274 0 0 0 101 21 0 0 17 0 8 0 718995989 975302656 149497 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28889/tid=28893] ppid=28887 vsize=952444 CPUtime=1.25 cores=0-7
/proc/28889/task/28893/stat : 28893 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 21713 0 0 0 103 22 0 0 17 0 8 0 718995989 975302656 149497 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28889/tid=28894] ppid=28887 vsize=952444 CPUtime=1.22 cores=0-7
/proc/28889/task/28894/stat : 28894 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 23367 0 0 0 102 20 0 0 17 0 8 0 718995989 975302656 149497 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293745 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28889/tid=28895] ppid=28887 vsize=952444 CPUtime=1.26 cores=0-7
/proc/28889/task/28895/stat : 28895 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 23568 0 0 0 105 21 0 0 17 0 8 0 718995989 975302656 149497 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294312 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28889/tid=28896] ppid=28887 vsize=952444 CPUtime=1.25 cores=0-7
/proc/28889/task/28896/stat : 28896 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 23570 0 0 0 105 20 0 0 17 0 8 0 718995989 975302656 149497 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293968 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.05
Current children cumulated vsize (KiB) 952444

[startup+3.10102 s]
/proc/loadavg: 7.60 7.94 7.85 11/387 28897
/proc/meminfo: memFree=9998856/32951124 swapFree=52307820/67111528
[pid=28889] ppid=28887 vsize=957920 CPUtime=22.83 cores=0-7
/proc/28889/stat : 28889 (strangenight2-m) R 28887 28889 28610 0 -1 4202496 192277 0 0 0 2120 163 0 0 19 0 8 0 718995989 980910080 157052 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294220 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28889/statm: 239480 157052 360 95 0 234462 0
[pid=28889/tid=28890] ppid=28887 vsize=957920 CPUtime=2.87 cores=0-7
/proc/28889/task/28890/stat : 28890 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 22452 0 0 0 267 20 0 0 19 0 8 0 718995989 980910080 157052 33554432000 4194304 4580107 140737044766048 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28891] ppid=28887 vsize=957920 CPUtime=2.86 cores=0-7
/proc/28889/task/28891/stat : 28891 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 24922 0 0 0 267 19 0 0 19 0 8 0 718995989 980910080 157052 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28889/tid=28892] ppid=28887 vsize=957920 CPUtime=2.81 cores=0-7
/proc/28889/task/28892/stat : 28892 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 22253 0 0 0 259 22 0 0 19 0 8 0 718995989 980910080 157052 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28889/tid=28893] ppid=28887 vsize=957920 CPUtime=2.85 cores=0-7
/proc/28889/task/28893/stat : 28893 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 22708 0 0 0 263 22 0 0 19 0 8 0 718995989 980910080 157052 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28889/tid=28894] ppid=28887 vsize=957920 CPUtime=2.82 cores=0-7
/proc/28889/task/28894/stat : 28894 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 24330 0 0 0 262 20 0 0 19 0 8 0 718995989 980910080 157052 33554432000 4194304 4580107 140737044766048 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28889/tid=28895] ppid=28887 vsize=957920 CPUtime=2.86 cores=0-7
/proc/28889/task/28895/stat : 28895 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 24564 0 0 0 265 21 0 0 19 0 8 0 718995989 980910080 157052 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28889/tid=28896] ppid=28887 vsize=957920 CPUtime=2.85 cores=0-7
/proc/28889/task/28896/stat : 28896 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 25303 0 0 0 265 20 0 0 19 0 8 0 718995989 980910080 157052 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 22.83
Current children cumulated vsize (KiB) 957920

[startup+6.30045 s]
/proc/loadavg: 7.60 7.94 7.85 9/387 28897
/proc/meminfo: memFree=9996356/32951124 swapFree=52307820/67111528
[pid=28889] ppid=28887 vsize=957920 CPUtime=48.39 cores=0-7
/proc/28889/stat : 28889 (strangenight2-m) R 28887 28889 28610 0 -1 4202496 192478 0 0 0 4675 164 0 0 25 0 8 0 718995989 980910080 157253 33554432000 4194304 4580107 140737044766048 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28889/statm: 239480 157253 360 95 0 234462 0
[pid=28889/tid=28890] ppid=28887 vsize=957920 CPUtime=6.06 cores=0-7
/proc/28889/task/28890/stat : 28890 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 22452 0 0 0 586 20 0 0 25 0 8 0 718995989 980910080 157253 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293261 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28891] ppid=28887 vsize=957920 CPUtime=6.06 cores=0-7
/proc/28889/task/28891/stat : 28891 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 24922 0 0 0 587 19 0 0 25 0 8 0 718995989 980910080 157253 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28889/tid=28892] ppid=28887 vsize=957920 CPUtime=5.97 cores=0-7
/proc/28889/task/28892/stat : 28892 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 22253 0 0 0 575 22 0 0 25 0 8 0 718995989 980910080 157253 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28889/tid=28893] ppid=28887 vsize=957920 CPUtime=6.05 cores=0-7
/proc/28889/task/28893/stat : 28893 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 22709 0 0 0 583 22 0 0 25 0 8 0 718995989 980910080 157253 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28889/tid=28894] ppid=28887 vsize=957920 CPUtime=6.02 cores=0-7
/proc/28889/task/28894/stat : 28894 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 24330 0 0 0 582 20 0 0 25 0 8 0 718995989 980910080 157253 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293155 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28889/tid=28895] ppid=28887 vsize=957920 CPUtime=6.06 cores=0-7
/proc/28889/task/28895/stat : 28895 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 24564 0 0 0 585 21 0 0 25 0 8 0 718995989 980910080 157253 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28889/tid=28896] ppid=28887 vsize=957920 CPUtime=6.05 cores=0-7
/proc/28889/task/28896/stat : 28896 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 25503 0 0 0 585 20 0 0 25 0 8 0 718995989 980910080 157253 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293968 0 0 4096 2 0 0 0 -1 4 0 0 0

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

/proc/loadavg: 8.04 8.03 7.99 9/387 28942
/proc/meminfo: memFree=6389420/32951124 swapFree=52307820/67111528
[pid=28889] ppid=28887 vsize=5062560 CPUtime=13471.6 cores=0-7
/proc/28889/stat : 28889 (strangenight2-m) R 28887 28889 28610 0 -1 4202496 3394051 0 0 0 1346178 979 0 0 25 0 8 0 718995989 5184061440 1056940 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28889/statm: 1265640 1056940 402 95 0 1260622 0
[pid=28889/tid=28890] ppid=28887 vsize=5062560 CPUtime=1685.39 cores=0-7
/proc/28889/task/28890/stat : 28890 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 461250 0 0 0 168418 121 0 0 25 0 8 0 718995989 5184061440 1056940 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28891] ppid=28887 vsize=5062560 CPUtime=1685.05 cores=0-7
/proc/28889/task/28891/stat : 28891 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 512690 0 0 0 168330 175 0 0 25 0 8 0 718995989 5184061440 1056940 33554432000 4194304 4580107 140737044766048 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28889/tid=28892] ppid=28887 vsize=5062560 CPUtime=1685.25 cores=0-7
/proc/28889/task/28892/stat : 28892 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 392067 0 0 0 168420 105 0 0 25 0 8 0 718995989 5184061440 1056940 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28889/tid=28893] ppid=28887 vsize=5062560 CPUtime=1667.4 cores=0-7
/proc/28889/task/28893/stat : 28893 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 380298 0 0 0 166610 130 0 0 25 0 8 0 718995989 5184061440 1056940 33554432000 4194304 4580107 140737044766048 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28889/tid=28894] ppid=28887 vsize=5062560 CPUtime=1689.17 cores=0-7
/proc/28889/task/28894/stat : 28894 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 336390 0 0 0 168803 114 0 0 25 0 8 0 718995989 5184061440 1056940 33554432000 4194304 4580107 140737044766048 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28889/tid=28895] ppid=28887 vsize=5062560 CPUtime=1684.52 cores=0-7
/proc/28889/task/28895/stat : 28895 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 395748 0 0 0 168347 105 0 0 25 0 8 0 718995989 5184061440 1056940 33554432000 4194304 4580107 140737044766048 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28889/tid=28896] ppid=28887 vsize=5062560 CPUtime=1687.9 cores=0-7
/proc/28889/task/28896/stat : 28896 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 548754 0 0 0 168655 135 0 0 25 0 8 0 718995989 5184061440 1056940 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13471.6
Current children cumulated vsize (KiB) 5062560

[startup+1702.3 s]
/proc/loadavg: 8.11 8.04 7.99 9/387 28942
/proc/meminfo: memFree=6396808/32951124 swapFree=52307820/67111528
[pid=28889] ppid=28887 vsize=4910064 CPUtime=13573.7 cores=0-7
/proc/28889/stat : 28889 (strangenight2-m) R 28887 28889 28610 0 -1 4202496 3398236 0 0 0 1356387 983 0 0 25 0 8 0 718995989 5027905536 1055143 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28889/statm: 1227516 1055143 402 95 0 1222498 0
[pid=28889/tid=28890] ppid=28887 vsize=4910064 CPUtime=1698.17 cores=0-7
/proc/28889/task/28890/stat : 28890 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 461993 0 0 0 169696 121 0 0 25 0 8 0 718995989 5027905536 1055143 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293785 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28891] ppid=28887 vsize=4910064 CPUtime=1697.83 cores=0-7
/proc/28889/task/28891/stat : 28891 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 513372 0 0 0 169607 176 0 0 25 0 8 0 718995989 5027905536 1055143 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28889/tid=28892] ppid=28887 vsize=4910064 CPUtime=1698.04 cores=0-7
/proc/28889/task/28892/stat : 28892 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 392613 0 0 0 169699 105 0 0 25 0 8 0 718995989 5027905536 1055143 33554432000 4194304 4580107 140737044766048 18446744073709551615 4321020 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28889/tid=28893] ppid=28887 vsize=4910064 CPUtime=1680.03 cores=0-7
/proc/28889/task/28893/stat : 28893 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 380957 0 0 0 167873 130 0 0 25 0 8 0 718995989 5027905536 1055143 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28889/tid=28894] ppid=28887 vsize=4910064 CPUtime=1701.95 cores=0-7
/proc/28889/task/28894/stat : 28894 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 337259 0 0 0 170080 115 0 0 25 0 8 0 718995989 5027905536 1055143 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28889/tid=28895] ppid=28887 vsize=4910064 CPUtime=1697.31 cores=0-7
/proc/28889/task/28895/stat : 28895 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 395843 0 0 0 169625 106 0 0 25 0 8 0 718995989 5027905536 1055143 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28889/tid=28896] ppid=28887 vsize=4910064 CPUtime=1700.67 cores=0-7
/proc/28889/task/28896/stat : 28896 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 548769 0 0 0 169932 135 0 0 25 0 8 0 718995989 5027905536 1055143 33554432000 4194304 4580107 140737044766048 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13573.7
Current children cumulated vsize (KiB) 4910064

[startup+1705.5 s]
/proc/loadavg: 8.11 8.04 7.99 9/387 28942
/proc/meminfo: memFree=6392448/32951124 swapFree=52307820/67111528
[pid=28889] ppid=28887 vsize=4910064 CPUtime=13599.3 cores=0-7
/proc/28889/stat : 28889 (strangenight2-m) R 28887 28889 28610 0 -1 4202496 3399382 0 0 0 1358941 985 0 0 25 0 8 0 718995989 5027905536 1056289 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28889/statm: 1227516 1056289 402 95 0 1222498 0
[pid=28889/tid=28890] ppid=28887 vsize=4910064 CPUtime=1701.38 cores=0-7
/proc/28889/task/28890/stat : 28890 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 462178 0 0 0 170016 122 0 0 25 0 8 0 718995989 5027905536 1056289 33554432000 4194304 4580107 140737044766048 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28891] ppid=28887 vsize=4910064 CPUtime=1701.03 cores=0-7
/proc/28889/task/28891/stat : 28891 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 513505 0 0 0 169927 176 0 0 25 0 8 0 718995989 5027905536 1056289 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28889/tid=28892] ppid=28887 vsize=4910064 CPUtime=1701.24 cores=0-7
/proc/28889/task/28892/stat : 28892 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 392771 0 0 0 170019 105 0 0 25 0 8 0 718995989 5027905536 1056289 33554432000 4194304 4580107 140737044766048 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28889/tid=28893] ppid=28887 vsize=4910064 CPUtime=1683.18 cores=0-7
/proc/28889/task/28893/stat : 28893 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 381169 0 0 0 168188 130 0 0 25 0 8 0 718995989 5027905536 1056289 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28889/tid=28894] ppid=28887 vsize=4910064 CPUtime=1705.16 cores=0-7
/proc/28889/task/28894/stat : 28894 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 337576 0 0 0 170400 116 0 0 25 0 8 0 718995989 5027905536 1056289 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28889/tid=28895] ppid=28887 vsize=4910064 CPUtime=1700.5 cores=0-7
/proc/28889/task/28895/stat : 28895 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 395843 0 0 0 169944 106 0 0 25 0 8 0 718995989 5027905536 1056289 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28889/tid=28896] ppid=28887 vsize=4910064 CPUtime=1703.87 cores=0-7
/proc/28889/task/28896/stat : 28896 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 548775 0 0 0 170252 135 0 0 25 0 8 0 718995989 5027905536 1056289 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13599.3
Current children cumulated vsize (KiB) 4910064

[startup+1708.7 s]
/proc/loadavg: 8.10 8.04 7.99 9/387 28942
/proc/meminfo: memFree=6388892/32951124 swapFree=52307820/67111528
[pid=28889] ppid=28887 vsize=4910064 CPUtime=13624.8 cores=0-7
/proc/28889/stat : 28889 (strangenight2-m) R 28887 28889 28610 0 -1 4202496 3400227 0 0 0 1361497 986 0 0 25 0 8 0 718995989 5027905536 1057134 33554432000 4194304 4580107 140737044766048 18446744073709551615 4320853 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28889/statm: 1227516 1057134 402 95 0 1222498 0
[pid=28889/tid=28890] ppid=28887 vsize=4910064 CPUtime=1704.58 cores=0-7
/proc/28889/task/28890/stat : 28890 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 462266 0 0 0 170336 122 0 0 25 0 8 0 718995989 5027905536 1057134 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28891] ppid=28887 vsize=4910064 CPUtime=1704.23 cores=0-7
/proc/28889/task/28891/stat : 28891 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 513671 0 0 0 170247 176 0 0 25 0 8 0 718995989 5027905536 1057134 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28889/tid=28892] ppid=28887 vsize=4910064 CPUtime=1704.44 cores=0-7
/proc/28889/task/28892/stat : 28892 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 392860 0 0 0 170339 105 0 0 25 0 8 0 718995989 5027905536 1057134 33554432000 4194304 4580107 140737044766048 18446744073709551615 4295530 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28889/tid=28893] ppid=28887 vsize=4910064 CPUtime=1686.34 cores=0-7
/proc/28889/task/28893/stat : 28893 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 381272 0 0 0 168504 130 0 0 25 0 8 0 718995989 5027905536 1057134 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28889/tid=28894] ppid=28887 vsize=4910064 CPUtime=1708.36 cores=0-7
/proc/28889/task/28894/stat : 28894 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 337781 0 0 0 170720 116 0 0 25 0 8 0 718995989 5027905536 1057134 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28889/tid=28895] ppid=28887 vsize=4910064 CPUtime=1703.71 cores=0-7
/proc/28889/task/28895/stat : 28895 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 395844 0 0 0 170265 106 0 0 25 0 8 0 718995989 5027905536 1057134 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28889/tid=28896] ppid=28887 vsize=4910064 CPUtime=1707.07 cores=0-7
/proc/28889/task/28896/stat : 28896 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 548792 0 0 0 170572 135 0 0 25 0 8 0 718995989 5027905536 1057134 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13624.8
Current children cumulated vsize (KiB) 4910064

[startup+1709.5 s]
/proc/loadavg: 8.10 8.04 7.99 9/387 28942
/proc/meminfo: memFree=6387836/32951124 swapFree=52307820/67111528
[pid=28889] ppid=28887 vsize=4910064 CPUtime=13631.2 cores=0-7
/proc/28889/stat : 28889 (strangenight2-m) R 28887 28889 28610 0 -1 4202496 3400418 0 0 0 1362135 986 0 0 25 0 8 0 718995989 5027905536 1057325 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28889/statm: 1227516 1057325 402 95 0 1222498 0
[pid=28889/tid=28890] ppid=28887 vsize=4910064 CPUtime=1705.38 cores=0-7
/proc/28889/task/28890/stat : 28890 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 462303 0 0 0 170416 122 0 0 25 0 8 0 718995989 5027905536 1057325 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28891] ppid=28887 vsize=4910064 CPUtime=1705.03 cores=0-7
/proc/28889/task/28891/stat : 28891 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 513709 0 0 0 170327 176 0 0 25 0 8 0 718995989 5027905536 1057325 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28889/tid=28892] ppid=28887 vsize=4910064 CPUtime=1705.23 cores=0-7
/proc/28889/task/28892/stat : 28892 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 392887 0 0 0 170418 105 0 0 25 0 8 0 718995989 5027905536 1057325 33554432000 4194304 4580107 140737044766048 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28889/tid=28893] ppid=28887 vsize=4910064 CPUtime=1687.13 cores=0-7
/proc/28889/task/28893/stat : 28893 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 381288 0 0 0 168583 130 0 0 25 0 8 0 718995989 5027905536 1057325 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28889/tid=28894] ppid=28887 vsize=4910064 CPUtime=1709.16 cores=0-7
/proc/28889/task/28894/stat : 28894 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 337810 0 0 0 170800 116 0 0 25 0 8 0 718995989 5027905536 1057325 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293968 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28889/tid=28895] ppid=28887 vsize=4910064 CPUtime=1704.51 cores=0-7
/proc/28889/task/28895/stat : 28895 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 395844 0 0 0 170345 106 0 0 25 0 8 0 718995989 5027905536 1057325 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28889/tid=28896] ppid=28887 vsize=4910064 CPUtime=1707.87 cores=0-7
/proc/28889/task/28896/stat : 28896 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 548793 0 0 0 170652 135 0 0 25 0 8 0 718995989 5027905536 1057325 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13631.2
Current children cumulated vsize (KiB) 4910064

[startup+1710.3 s]
/proc/loadavg: 8.10 8.04 7.99 9/387 28942
/proc/meminfo: memFree=6387836/32951124 swapFree=52307820/67111528
[pid=28889] ppid=28887 vsize=4910064 CPUtime=13637.6 cores=0-7
/proc/28889/stat : 28889 (strangenight2-m) R 28887 28889 28610 0 -1 4202496 3400603 0 0 0 1362775 986 0 0 25 0 8 0 718995989 5027905536 1057510 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293952 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28889/statm: 1227516 1057510 402 95 0 1222498 0
[pid=28889/tid=28890] ppid=28887 vsize=4910064 CPUtime=1706.18 cores=0-7
/proc/28889/task/28890/stat : 28890 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 462324 0 0 0 170496 122 0 0 25 0 8 0 718995989 5027905536 1057510 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28891] ppid=28887 vsize=4910064 CPUtime=1705.83 cores=0-7
/proc/28889/task/28891/stat : 28891 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 513761 0 0 0 170407 176 0 0 25 0 8 0 718995989 5027905536 1057510 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28889/tid=28892] ppid=28887 vsize=4910064 CPUtime=1706.03 cores=0-7
/proc/28889/task/28892/stat : 28892 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 392909 0 0 0 170498 105 0 0 25 0 8 0 718995989 5027905536 1057510 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28889/tid=28893] ppid=28887 vsize=4910064 CPUtime=1687.93 cores=0-7
/proc/28889/task/28893/stat : 28893 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 381304 0 0 0 168663 130 0 0 25 0 8 0 718995989 5027905536 1057510 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28889/tid=28894] ppid=28887 vsize=4910064 CPUtime=1709.96 cores=0-7
/proc/28889/task/28894/stat : 28894 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 337866 0 0 0 170880 116 0 0 25 0 8 0 718995989 5027905536 1057510 33554432000 4194304 4580107 140737044766048 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28889/tid=28895] ppid=28887 vsize=4910064 CPUtime=1705.3 cores=0-7
/proc/28889/task/28895/stat : 28895 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 395844 0 0 0 170424 106 0 0 25 0 8 0 718995989 5027905536 1057510 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28889/tid=28896] ppid=28887 vsize=4910064 CPUtime=1708.67 cores=0-7
/proc/28889/task/28896/stat : 28896 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 548793 0 0 0 170732 135 0 0 25 0 8 0 718995989 5027905536 1057510 33554432000 4194304 4580107 140737044766048 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13637.6
Current children cumulated vsize (KiB) 4910064

[startup+1710.7 s]
/proc/loadavg: 8.10 8.04 7.99 9/387 28942
/proc/meminfo: memFree=6386852/32951124 swapFree=52307820/67111528
[pid=28889] ppid=28887 vsize=4910064 CPUtime=13640.8 cores=0-7
/proc/28889/stat : 28889 (strangenight2-m) R 28887 28889 28610 0 -1 4202496 3400734 0 0 0 1363093 986 0 0 25 0 8 0 718995989 5027905536 1057641 33554432000 4194304 4580107 140737044766048 18446744073709551615 4306071 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28889/statm: 1227516 1057641 402 95 0 1222498 0
[pid=28889/tid=28890] ppid=28887 vsize=4910064 CPUtime=1706.58 cores=0-7
/proc/28889/task/28890/stat : 28890 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 462369 0 0 0 170536 122 0 0 25 0 8 0 718995989 5027905536 1057641 33554432000 4194304 4580107 140737044766048 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28889/tid=28891] ppid=28887 vsize=4910064 CPUtime=1706.23 cores=0-7
/proc/28889/task/28891/stat : 28891 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 513771 0 0 0 170447 176 0 0 25 0 8 0 718995989 5027905536 1057641 33554432000 4194304 4580107 140737044766048 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28889/tid=28892] ppid=28887 vsize=4910064 CPUtime=1706.44 cores=0-7
/proc/28889/task/28892/stat : 28892 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 392931 0 0 0 170538 106 0 0 25 0 8 0 718995989 5027905536 1057641 33554432000 4194304 4580107 140737044766048 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28889/tid=28893] ppid=28887 vsize=4910064 CPUtime=1688.31 cores=0-7
/proc/28889/task/28893/stat : 28893 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 381310 0 0 0 168701 130 0 0 25 0 8 0 718995989 5027905536 1057641 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28889/tid=28894] ppid=28887 vsize=4910064 CPUtime=1710.36 cores=0-7
/proc/28889/task/28894/stat : 28894 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 337884 0 0 0 170920 116 0 0 25 0 8 0 718995989 5027905536 1057641 33554432000 4194304 4580107 140737044766048 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28889/tid=28895] ppid=28887 vsize=4910064 CPUtime=1705.7 cores=0-7
/proc/28889/task/28895/stat : 28895 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 395844 0 0 0 170464 106 0 0 25 0 8 0 718995989 5027905536 1057641 33554432000 4194304 4580107 140737044766048 18446744073709551615 4294404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28889/tid=28896] ppid=28887 vsize=4910064 CPUtime=1709.07 cores=0-7
/proc/28889/task/28896/stat : 28896 (strangenight2-m) R 28887 28889 28610 0 -1 4202560 548793 0 0 0 170772 135 0 0 25 0 8 0 718995989 5027905536 1057641 33554432000 4194304 4580107 140737044766048 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13640.8
Current children cumulated vsize (KiB) 4910064

[startup+1710.8 s]
/proc/loadavg: 8.10 8.04 7.99 9/387 28942
/proc/meminfo: memFree=6386852/32951124 swapFree=52307820/67111528
[pid=28889] ppid=28887 vsize=0 CPUtime=13640.9 cores=0-7
/proc/28889/stat : 28889 (strangenight2-m) Z 28887 28889 28610 0 -1 4203548 3400741 0 0 0 1363099 995 0 0 25 0 2 0 718995989 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28889/statm: 0 0 0 0 0 0 0
[pid=28889/tid=28891] ppid=28887 vsize=0 CPUtime=1706.33 cores=0-7
/proc/28889/task/28891/stat : 28891 (strangenight2-m) R 28887 28889 28610 0 -1 4203588 513771 0 0 0 170448 185 0 0 25 0 2 0 718995989 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13640.9
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1710.88
CPU time (s): 13641
CPU user time (s): 13631
CPU system time (s): 10.0385
CPU usage (%): 797.31
Max. virtual memory (cumulated for all children) (KiB): 5294344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13631
system time used= 10.0385
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3400741
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= 199672
involuntary context switches= 59378

runsolver used 6.27205 second user time and 15.4497 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-22 16:18:52
IDJOB=3393944
IDBENCH=70808
IDSOLVER=1878
FILE ID=node101/3393944-1306073932
RUNJOBID= node101-1306069999-28624
PBS_JOBID= 13387902
Free space on /tmp= 73568 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393944-1306073932/watcher-3393944-1306073932 -o /tmp/evaluation-result-3393944-1306073932/solver-3393944-1306073932 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3393944-1306073932.cnf

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

MD5SUM BENCH= e050fe11c7c50ba82ac7126f49db3c10
RANDOM SEED=204306225

node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      10623280 kB
Buffers:        368992 kB
Cached:       10456056 kB
SwapCached:      14796 kB
Active:       14817480 kB
Inactive:      7194812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10623280 kB
SwapTotal:    67111528 kB
SwapFree:     52307820 kB
Dirty:           15940 kB
Writeback:           0 kB
AnonPages:    11184748 kB
Mapped:          20696 kB
Slab:           172576 kB
PageTables:      74612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78580456 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= 73564 MiB
End job on node101 at 2011-05-22 16:47:23