Trace number 3321021

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-mtUNSAT 9514.57 1239.63

General information on the benchmark

Namevelev-vliw-uns-4.0-9-i1.cnf
MD5SUM590cca3a58efdeb1c95ef988a53daa1d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark380.915
Satisfiable
(Un)Satisfiability was proved
Number of variables154309
Number of clauses3230738
Sum of the clauses size9429252
Maximum clause length3625
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 22024994
Number of clauses of size 31081436
Number of clauses of size 48866
Number of clauses of size 58692
Number of clauses of size over 5106749

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.04	c Using 8 threads
0.47/0.14	c This is CryptoMiniSat 3.0.0
0.47/0.14	c WARNING: for repeatability, setting FPU to use double precision
0.47/0.14	c Reading file 'HOME/instance-3321021-1304322188.cnf'
0.47/0.15	c -- header says num vars:         154309
0.47/0.15	c -- header says num clauses:     3230738
13.46/2.78	c -- clauses added:            0 learnts,      3230738 normals,            0 xors
13.46/2.78	c -- vars added     154309
13.46/2.78	c Parsing time:  1.33 s
13.46/2.78	c  N st     0         0    154309   1205743   2024994         0   9429251         0   no data   no data
16.85/3.30	c asymm  cl-useful: 7/877/1205741 lits-rem:20 time: 0.47
89.56/12.36	c Flit:   655 Blit:   3599 bXBeca:    0 bXProp:   13 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  9.06
90.36/12.47	c Cleaning up after failed var search:     0.11 s 
92.76/12.73	c Replacing       13 vars Replaced    59010 lits Time:     0.25 s 
96.79/13.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
99.92/13.65	c bin-w-bin subsume rem          290 bins  time:  0.35 s
140.66/18.82	c subs with bin:      382  lits-rem:      9637  v-fix:    0  time:  5.17 s
165.36/21.95	c Subs w/ non-existent bins:     28 l-rem:     22 v-fix:     0 done:  16524 time:  3.12 s
167.02/22.18	c Removed useless bin:       1  fixed:     0  props:  20.01M  time:  0.22 s
198.06/26.03	c lits-rem:       456  cl-subs:     4090  v-elim:  16822  v-fix:    0  time:  3.79 s
198.85/26.11	c Finding binary XORs  T:     0.07 s  found:       6
199.66/26.28	c Replacing        6 vars Replaced     6684 lits Time:     0.17 s 
209.18/27.48	c Finding non-binary XORs:     1.05 s (found:       2, avg size: 3.0)
209.18/27.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
210.03/27.58	c calculated reachability. Time: 0.00
210.84/27.68	c Calc default polars -  time:   0.10 s pos:    9236 undec:   21171 neg:  123902
210.84/27.68	c =========================================================================================
210.84/27.68	c types(t): F = full restart, N = normal restart
210.84/27.68	c types(t): S = simplification begin/end, E = solution found
210.84/27.68	c restart types(rt): st = static, dy = dynamic
210.84/27.68	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
210.84/27.68	c  B st     0         0    133210   1274167   1841672         0   9483073         0   no data   no data
261.89/34.09	c  N dy    17      4097    133210   1274167   1841764      3930   9483070    156459     15.10     22.18
301.05/38.95	c  N dy    45      8119    133206   1274167   1842751      7766   9483063    303170     17.93     18.90
330.63/42.65	c  N dy    60     12311    133205   1274167   1842865     11774   9483061    478742     17.05     18.02
366.59/47.14	c  N dy    89     16463    133201   1274167   1843440     15737   9483057    688150     17.48     18.72
400.17/51.37	c  N dy   105     20473    133192   1274167   1844214     10039   9483049    230117     17.25     25.47
424.13/54.36	c  N dy   124     24488    133192   1274167   1844290     13921   9483048    371809     17.19     18.14
430.59/55.11	c  F st   129     25002    133191   1274167   1844734     14420   9483048    392325     17.25   no data
464.95/59.46	c  N dy   135     30000    133191   1274167   1844460     19277   9482298    632630     17.25   no data
464.95/59.46	c  S st   135     30000    133191   1274167   1844460     19277   9482298    632630     17.25   no data
471.29/60.26	c  S st   135     30500    131720   1270772   1825746     19697   9413916    638147     17.25   no data
472.09/60.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
558.39/71.10	c Flit:  1452 Blit:   3623 bXBeca:    0 bXProp:  142 Bins: 879958 BRemL:   3795 BRemN:     41 P: 200.0M T: 10.70
559.19/71.22	c Cleaning up after failed var search:     0.12 s 
561.64/71.52	c Replacing      142 vars Replaced    59668 lits Time:     0.29 s 
565.58/72.06	c blocked clauses removed:      774 vars:    673 tried:      127267 T: 0.20 s
568.78/72.42	c bin-w-bin subsume rem         1163 bins  time:  0.36 s
614.38/78.18	c subs with bin:      995  lits-rem:     73857  v-fix:    0  time:  5.76 s
635.11/80.78	c Subs w/ non-existent bins:    408 l-rem:   1304 v-fix:     0 done:  18476 time:  2.60 s
637.51/81.03	c Removed useless bin:     324  fixed:     0  props:  20.04M  time:  0.22 s
658.34/83.69	c lits-rem:        13  cl-subs:     4969  v-elim:    568  v-fix:    0  time:  2.65 s
671.87/85.37	c subs with bin:       36  lits-rem:      2503  v-fix:    0  time:  1.58 s
687.05/87.29	c lits-rem:      4228  cl-subs:     1389  v-elim:      0  v-fix:    0  time:  1.70 s
687.05/87.29	c Added XOR as norm:2
690.25/87.61	c asymm  cl-useful: 0/6074/1262952 lits-rem:0 time: 0.32
691.05/87.73	c calculated reachability. Time: 0.01
691.05/87.73	c  N dy   135     30500    125262   1262952   2516907     18302   8990599   2189707     17.25   no data
708.57/90.28	c Finding binary XORs  T:     0.08 s  found:      89
765.48/98.60	c  N dy   158     37961    125217   1262952   2518803     25449   8988954   2406359     16.86     17.94
806.50/103.89	c  N dy   168     42536    125174   1262952   2523465     15115   8988948   1868773     16.46     18.41
840.06/108.05	c  S st   197     45750    125126   1262952   2524254     18259   8988948   2002958     16.84   no data
848.86/109.15	c  S st   197     46251    125112   1262952   2524294     18703   8988948   2006985     16.84   no data
850.46/109.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
956.73/122.64	c Flit:  1292 Blit:   4044 bXBeca:    0 bXProp:   49 Bins: 698960 BRemL:   1010 BRemN:     20 P: 200.1M T: 13.30
957.53/122.78	c Cleaning up after failed var search:     0.13 s 
960.73/123.10	c Replacing      139 vars Replaced    75085 lits Time:     0.32 s 
964.72/123.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
967.92/124.05	c bin-w-bin subsume rem         3596 bins  time:  0.43 s
1014.80/129.93	c subs with bin:     4317  lits-rem:     78515  v-fix:    0  time:  5.88 s
1044.21/133.94	c Subs w/ non-existent bins:     13 l-rem:     21 v-fix:    40 done:   6787 time:  4.01 s
1046.66/134.24	c Removed useless bin:     344  fixed:     0  props:  20.13M  time:  0.25 s
1073.82/137.65	c lits-rem:         0  cl-subs:     6174  v-elim:   1113  v-fix:    0  time:  3.39 s
1086.56/139.25	c subs with bin:      151  lits-rem:      6962  v-fix:    0  time:  1.44 s
1103.33/141.35	c lits-rem:      1692  cl-subs:     2640  v-elim:      0  v-fix:    0  time:  1.76 s
1106.53/141.71	c asymm  cl-useful: 0/83673/1254498 lits-rem:0 time: 0.36
1107.33/141.83	c calculated reachability. Time: 0.01
1107.33/141.84	c  N dy   197     46251    118482   1254498   2880761     17632   8570865   2889540     16.84   no data
1108.18/141.92	c Finding binary XORs  T:     0.09 s  found:      30
1137.48/146.09	c  N dy   222     51237    118482   1254498   2880803     22484   8570865   3103796     16.84     17.84
1169.66/154.38	c Finding binary XORs  T:     0.07 s  found:    1000
1172.86/155.97	c Replacing     1030 vars Replaced   246545 lits Time:     0.37 s 
1177.46/158.23	c  N dy   247     55279     96464   1232953   2510948     26125   7572642   3149222     16.97     25.13
1243.36/177.04	c  N dy   271     59310     96458   1232953   2513574     30017   7572636   3280248     16.92     18.28
1275.19/181.45	c  N dy   294     63513     96458   1232953   2513614     34047   7572600   3413076     16.92     17.98
1316.74/186.65	c  N dy   319     69376     96455   1232953   2524350     21977   7572587   2866555     16.72      7.04
1316.74/186.65	c  S st   319     69376     96455   1232953   2524350     21977   7572587   2866555     16.72      7.04
1321.54/187.29	c  S st   319     69876     96441   1232953   2524812     22430   7572587   2874339     16.72   no data
1323.14/187.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
1414.24/198.87	c Flit:  1640 Blit:   1449 bXBeca:    0 bXProp:   22 Bins: 635536 BRemL:   5756 BRemN:     75 P: 200.1M T: 11.44
1415.04/198.99	c Cleaning up after failed var search:     0.12 s 
1417.49/199.22	c Replacing       23 vars Replaced    26813 lits Time:     0.23 s 
1419.84/199.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1423.84/200.07	c bin-w-bin subsume rem        40737 bins  time:  0.50 s
1470.25/205.81	c subs with bin:     7928  lits-rem:     50502  v-fix:    0  time:  5.74 s
1489.17/208.43	c Subs w/ non-existent bins:    436 l-rem:    981 v-fix:    21 done:  24949 time:  2.62 s
1490.55/208.68	c Removed useless bin:    1902  fixed:     0  props:  20.02M  time:  0.25 s
1504.45/211.27	c lits-rem:      3795  cl-subs:     9771  v-elim:   1082  v-fix:    0  time:  2.57 s
1509.41/212.21	c subs with bin:      311  lits-rem:      5860  v-fix:    0  time:  0.80 s
1518.86/213.83	c lits-rem:      2026  cl-subs:     3396  v-elim:      0  v-fix:    0  time:  1.35 s
1520.66/214.17	c asymm  cl-useful: 0/49921/1214161 lits-rem:0 time: 0.34
1521.26/214.29	c calculated reachability. Time: 0.00
1521.26/214.29	c  N dy   319     69876     92152   1214161   2868212     18894   7221668   3631948     16.72   no data
1521.78/214.36	c Finding binary XORs  T:     0.07 s  found:      27
1546.63/218.61	c  N dy   347     74375     92151   1214161   2868304     23205   7221646   3796041     16.71     18.42
1587.56/224.56	c Finding binary XORs  T:     0.09 s  found:      14
1607.81/227.98	c  N dy   390     79139     90964   1214097   3297905     27827   7184364   4892316     17.04     18.07
1657.27/239.33	c  N dy   420     85068     90960   1214097   3316220     33512   7184340   5155923     17.05     18.24
1665.95/241.41	c  F st   436     87501     90960   1214097   3316234     35879   7184332   5240670     17.05     13.48
1667.15/241.73	c Replacing       41 vars Replaced    29840 lits Time:     0.21 s 
1703.77/248.54	c Finding binary XORs  T:     0.08 s  found:      26
1713.42/249.74	c  N st   441     90798     90607   1213475   3529829     20079   7164216   4980449     17.05   no data
1762.12/255.87	c  N dy   471     96650     90601   1213475   3537289     25760   7164199   5244226     17.16     22.66
1813.27/262.20	c  N dy   516    102840     90595   1213475   3537696     31769   7164152   5484999     17.27     18.58
1830.86/264.43	c  S st   528    104814     90595   1213475   3537715     33686   7164152   5561213     17.30   no data
1838.05/265.31	c  S st   528    105315     90579   1213475   3537743     34140   7164152   5565606     17.30   no data
1838.85/265.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
1924.43/276.18	c Flit:   786 Blit:   2672 bXBeca:    0 bXProp:   37 Bins: 527460 BRemL:   8207 BRemN:     92 P: 200.0M T: 10.70
1925.98/276.30	c Cleaning up after failed var search:     0.13 s 
1928.37/276.61	c Replacing       63 vars Replaced    94644 lits Time:     0.30 s 
1930.77/276.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1937.16/277.72	c bin-w-bin subsume rem        70467 bins  time:  0.78 s
1982.72/283.43	c subs with bin:     1182  lits-rem:     14100  v-fix:    0  time:  5.70 s
2011.48/287.02	c Subs w/ non-existent bins:     87 l-rem:     84 v-fix:    11 done:  11696 time:  3.59 s
2013.14/287.28	c Removed useless bin:    2111  fixed:     0  props:  20.00M  time:  0.26 s
2037.86/290.30	c lits-rem:       168  cl-subs:     3924  v-elim:    180  v-fix:    0  time:  3.00 s
2052.24/292.11	c subs with bin:      819  lits-rem:      3771  v-fix:    0  time:  1.65 s
2065.89/293.83	c lits-rem:      4238  cl-subs:     1524  v-elim:      0  v-fix:    0  time:  1.50 s
2069.03/294.21	c asymm  cl-useful: 0/23297/1208567 lits-rem:0 time: 0.38
2069.83/294.35	c calculated reachability. Time: 0.00
2069.83/294.35	c  N dy   528    105315     86866   1208567   3544170     31574   6951165   5647448     17.30   no data
2070.63/294.44	c Finding binary XORs  T:     0.09 s  found:       3
2122.62/301.43	c  N dy   580    112329     86831   1208567   3545899     38374   6951162   5956187     17.53     18.51
2167.56/309.34	c Finding binary XORs  T:     0.08 s  found:      42
2199.58/314.42	c  N dy   616    119663     85586   1208548   3895227     24596   6909021   5952727     17.48     29.53
2253.77/323.31	c Finding binary XORs  T:     0.08 s  found:      11
2260.42/324.63	c  N dy   671    127343     83744   1208224   4001076     32079   6851344   6538481     17.63     22.76
2322.79/335.13	c  N dy   721    135477     82106   1207608   3797632     39990   6792457   6486355     17.70     26.72
2385.14/342.95	c  N dy   761    144912     81894   1207608   3798260     26487   6792456   5941915     17.57     19.05
2410.71/346.18	c Finding binary XORs  T:     0.09 s  found:      17
2453.07/351.43	c  N dy   818    154176     81887   1206973   3763887     35469   6780205   6242840     17.65     21.52
2482.65/355.10	c  S st   852    157972     81883   1206973   3764180     39184   6780205   6431871     17.78   no data
2488.24/355.86	c  S st   852    158476     81874   1206973   3764197     39657   6780204   6439608     17.78   no data
2489.84/356.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
2577.76/367.03	c Flit:  1383 Blit:     16 bXBeca:    0 bXProp:   63 Bins:  80253 BRemL:   9437 BRemN:    350 P: 200.0M T: 11.02
2578.56/367.16	c Cleaning up after failed var search:     0.12 s 
2580.16/367.37	c Replacing      137 vars Replaced    48098 lits Time:     0.21 s 
2582.55/367.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2588.16/368.32	c bin-w-bin subsume rem        24502 bins  time:  0.63 s
2624.98/372.93	c subs with bin:     1455  lits-rem:      8775  v-fix:    0  time:  4.62 s
2641.70/375.05	c Subs w/ non-existent bins:     89 l-rem:    642 v-fix:     0 done:   9199 time:  2.11 s
2644.09/375.36	c Removed useless bin:    7432  fixed:     0  props:  20.00M  time:  0.31 s
2666.47/378.11	c lits-rem:       112  cl-subs:     2970  v-elim:    144  v-fix:    0  time:  2.74 s
2679.25/379.76	c subs with bin:      233  lits-rem:      2533  v-fix:    0  time:  1.54 s
2694.44/381.62	c lits-rem:      1152  cl-subs:     2257  v-elim:      0  v-fix:    0  time:  1.67 s
2697.63/382.04	c asymm  cl-useful: 1/6490/1201848 lits-rem:3 time: 0.42
2698.43/382.17	c calculated reachability. Time: 0.00
2698.43/382.17	c  N dy   852    158476     80146   1201847   3635840     36639   6659207   6148727     17.78   no data
2720.64/385.58	c Finding binary XORs  T:     0.08 s  found:       1
2766.35/392.14	c Finding binary XORs  T:     0.08 s  found:      26
2787.93/394.81	c  N dy   940    168653     78881   1201771   3891401     46580   6613561   7152537     18.03     19.02
2875.85/405.85	c  N dy  1031    179432     78257   1201771   3895797     33585   6613552   6492813     18.36     24.31
2954.18/415.63	c  N dy  1097    190940     78255   1201771   3896128     44801   6613540   7008702     18.47     31.38
3049.30/427.53	c  N dy  1197    203191     78251   1201771   3896721     31819   6613524   6328832     18.72     20.83
3146.00/439.64	c  N dy  1303    216333     78248   1201771   3897190     44750   6613513   6940929     18.95     20.82
3238.71/451.25	c  N dy  1393    230170     78142   1201771   3897755     32036   6613511   6292134     19.01     20.05
3301.16/459.13	c Finding binary XORs  T:     0.08 s  found:      92
3304.83/459.62	c  S st  1450    237714     75041   1200774   3952176     39163   6456359   6862625     19.10   no data
3310.52/460.43	c  S st  1450    238215     75038   1200774   3952202     39631   6456359   6870748     19.10   no data
3311.12/460.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
3402.25/472.08	c Flit:   538 Blit:    455 bXBeca:    0 bXProp:   66 Bins: 320742 BRemL:  12967 BRemN:     47 P: 200.0M T: 11.50
3403.78/472.21	c Cleaning up after failed var search:     0.12 s 
3405.38/472.45	c Replacing      185 vars Replaced    49633 lits Time:     0.23 s 
3407.78/472.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3413.38/473.43	c bin-w-bin subsume rem        16438 bins  time:  0.65 s
3438.14/476.55	c subs with bin:     1323  lits-rem:      7113  v-fix:    0  time:  3.12 s
3451.73/478.24	c Subs w/ non-existent bins:     70 l-rem:    401 v-fix:     0 done:  35440 time:  1.68 s
3454.19/478.55	c Removed useless bin:    5694  fixed:     0  props:  20.01M  time:  0.31 s
3474.92/481.10	c lits-rem:       438  cl-subs:     4081  v-elim:    341  v-fix:    0  time:  2.55 s
3486.11/482.50	c subs with bin:      538  lits-rem:      2536  v-fix:    0  time:  1.29 s
3497.69/484.08	c lits-rem:       636  cl-subs:     1295  v-elim:      0  v-fix:    0  time:  1.38 s
3500.45/484.45	c asymm  cl-useful: 0/30929/1195093 lits-rem:0 time: 0.37
3501.25/484.59	c calculated reachability. Time: 0.00
3501.25/484.59	c  N dy  1450    238215     73504   1195093   4090239     37413   6347561   7140424     19.10   no data
3545.69/490.74	c Finding binary XORs  T:     0.08 s  found:      30
3617.48/500.03	c  N dy  1558    253442     72908   1194407   4414144     52286   6313444   8522372     19.25     27.09
3731.76/514.36	c  N dy  1661    269651     72906   1194407   4414836     41332   6313443   7908860     19.36     38.10
3838.87/527.80	c  N dy  1744    286908     72561   1194407   4585242     30124   6313423   7695651     19.31     20.91
3840.47/528.00	c Finding binary XORs  T:     0.08 s  found:      22
3951.56/541.85	c  N dy  1819    305300     72452   1194279   4523351     48110   6297592   8326865     19.27     20.35
3958.75/542.79	c  F st  1825    306251     72452   1194279   4523358     49046   6297592   8366735     19.27     13.18
3962.75/543.25	c Replacing       52 vars Replaced    89583 lits Time:     0.34 s 
4062.65/555.76	c  N dy  1875    324962     72397   1194233   4522640     37962   6297028   7870727     19.12     20.63
4204.12/573.41	c  N dy  2000    345084     72395   1194233   4523164     57682   6297004   8792233     19.24     20.66
4292.05/584.46	c  S st  2096    357322     72392   1194233   4523529     39495   6297001   7989106     19.36   no data
4298.49/585.25	c  S st  2096    357822     72391   1194233   4523539     39983   6297001   7994545     19.36   no data
4300.03/585.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
4393.56/597.18	c Flit:  2066 Blit:    444 bXBeca:    0 bXProp:  337 Bins: 216800 BRemL:   6666 BRemN:     45 P: 200.0M T: 11.77
4395.21/597.31	c Cleaning up after failed var search:     0.13 s 
4396.75/597.53	c Replacing      339 vars Replaced   219074 lits Time:     0.21 s 
4399.15/597.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4411.15/599.39	c bin-w-bin subsume rem       110454 bins  time:  1.54 s
4430.37/601.77	c subs with bin:     1383  lits-rem:      5466  v-fix:    0  time:  2.38 s
4441.50/603.15	c Subs w/ non-existent bins:    274 l-rem:    535 v-fix:     1 done:  28871 time:  1.37 s
4443.91/603.46	c Removed useless bin:    4082  fixed:     0  props:  20.00M  time:  0.31 s
4463.89/605.91	c lits-rem:       468  cl-subs:     2271  v-elim:     76  v-fix:    0  time:  2.45 s
4475.06/607.41	c subs with bin:      345  lits-rem:      1460  v-fix:    0  time:  1.35 s
4486.87/608.98	c lits-rem:       367  cl-subs:     1014  v-elim:      0  v-fix:    0  time:  1.39 s
4490.06/609.39	c asymm  cl-useful: 0/44178/1190356 lits-rem:0 time: 0.41
4491.72/609.53	c calculated reachability. Time: 0.00
4491.72/609.54	c  N dy  2096    357822     69444   1190356   4228604     37651   6177172   7433821     19.36   no data
4492.46/609.62	c Finding binary XORs  T:     0.08 s  found:       0
4561.17/618.69	c Finding binary XORs  T:     0.09 s  found:      18
4617.91/625.77	c  N dy  2186    377870     69174   1190326   4831122     57181   6167472   9476744     19.25     22.25
4769.02/644.66	c  N dy  2321    397967     69172   1190326   4831651     46316   6167470   8928187     19.34     20.95
4919.28/663.41	c  N dy  2477    418033     69172   1190326   4832039     34153   6167465   8303718     19.58     23.75
4980.83/671.19	c Finding binary XORs  T:     0.09 s  found:      34
5057.51/680.76	c  N dy  2604    438128     68442   1190255   4728333     53863   6142077   9019677     19.63     26.27
5191.03/697.43	c  N dy  2732    458312     68441   1190255   4728864     40677   6142058   8362296     19.69     20.95
5322.05/713.83	c  N dy  2851    478349     68441   1190255   4729256     60407   6142042   9269155     19.69     26.65
5465.92/731.80	c  N dy  2986    498401     68439   1190255   4729632     45839   6142038   8530102     19.78     27.50
5609.78/749.87	c  N dy  3129    518422     68438   1190255   4729934     65608   6142037   9485474     19.90     30.34
5720.88/763.74	c  S st  3225    536733     68438   1190255   4730219     48205   6142031   8605341     19.88     19.71
5729.66/764.80	c  S st  3225    537233     68365   1190255   4730230     48693   6142031   8609739     19.88   no data
5730.46/764.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
5818.39/775.93	c Flit:   833 Blit:    685 bXBeca:    0 bXProp:  113 Bins: 274189 BRemL:  16289 BRemN:    144 P: 200.0M T: 10.97
5819.19/776.06	c Cleaning up after failed var search:     0.13 s 
5821.59/776.35	c Replacing      166 vars Replaced   179586 lits Time:     0.28 s 
5824.04/776.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5839.97/778.67	c bin-w-bin subsume rem       103729 bins  time:  2.00 s
5854.36/780.42	c subs with bin:      654  lits-rem:      6133  v-fix:    0  time:  1.74 s
5865.54/781.83	c Subs w/ non-existent bins:    261 l-rem:    573 v-fix:     0 done:  21490 time:  1.41 s
5867.99/782.15	c Removed useless bin:    4710  fixed:     0  props:  20.00M  time:  0.32 s
5888.73/784.70	c lits-rem:       217  cl-subs:     3102  v-elim:    991  v-fix:    0  time:  2.54 s
5901.52/786.33	c subs with bin:      321  lits-rem:      8765  v-fix:    0  time:  1.52 s
5915.09/788.01	c lits-rem:       593  cl-subs:     1905  v-elim:      0  v-fix:    0  time:  1.48 s
5918.29/788.45	c asymm  cl-useful: 0/89523/1187504 lits-rem:0 time: 0.44
5919.89/788.60	c calculated reachability. Time: 0.00
5919.89/788.60	c  N dy  3225    537233     65613   1187504   4409477     45374   6017058   7954934     19.88   no data
5919.89/788.69	c Finding binary XORs  T:     0.09 s  found:       9
6064.56/806.75	c  N dy  3366    557260     65612   1187504   4419094     65092   6017054   8876519     19.96     25.46
6147.33/817.11	c Finding binary XORs  T:     0.09 s  found:      18
6204.72/824.32	c  N dy  3477    577320     65304   1187501   4501483     49283   6010163   8230289     19.98     24.59
6325.47/839.44	c  N dy  3588    597378     65299   1187501   4501766     68889   6010158   9113373     19.98     21.26
6457.34/855.95	c  N dy  3703    617616     65299   1187501   4501956     51916   6010154   8308660     20.01     21.47
6590.75/872.69	c  N dy  3819    637658     65218   1187501   4502262     71655   6010151   9197725     20.04     21.34
6728.24/889.89	c  N dy  3950    657779     65218   1187501   4502517     53371   6010151   8350754     20.09     21.44
6804.17/899.37	c Finding binary XORs  T:     0.08 s  found:      49
6860.12/906.37	c  N dy  4054    677813     65126   1186592   4572685     72899   5992036   9365883     20.08     21.27
6980.80/921.42	c  N dy  4144    697935     65126   1186592   4572965     53397   5992018   8404184     20.04     22.10
7108.66/937.45	c  N dy  4270    718021     65126   1186592   4573181     73218   5992011   9319854     20.07     25.62
7242.10/954.11	c  N dy  4380    739119     64805   1186592   4578738     53843   5992011   8387672     20.08     21.29
7381.14/971.59	c  N dy  4505    759235     64805   1186592   4579354     73733   5992011   9344378     20.13     21.43
7502.68/986.75	c  N dy  4614    779328     64805   1186592   4579513     52291   5992011   8272297     20.12     24.38
7626.57/1002.23	c  N dy  4733    799380     64805   1186592   4579694     72075   5992011   9146785     20.11     23.52
7652.14/1005.43	c Finding binary XORs  T:     0.09 s  found:      68
7666.47/1007.23	c  S st  4771    805850     64521   1185629   4543249     78392   5965289   9391398     20.12   no data
7675.26/1008.35	c  S st  4771    806350     64521   1185629   4543251     78889   5965288   9396169     20.12   no data
7676.86/1008.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
7759.97/1018.99	c Flit:    54 Blit:      1 bXBeca:    0 bXProp:   38 Bins:  87141 BRemL:  13632 BRemN:     24 P: 200.0M T: 10.48
7764.77/1019.53	c Replacing      182 vars Replaced   187680 lits Time:     0.54 s 
7767.23/1019.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7774.36/1020.79	c bin-w-bin subsume rem        48349 bins  time:  0.93 s
7788.75/1022.51	c subs with bin:     1136  lits-rem:      5285  v-fix:    0  time:  1.72 s
7797.53/1023.69	c Subs w/ non-existent bins:     38 l-rem:    325 v-fix:     0 done:  25226 time:  1.18 s
7800.74/1024.02	c Removed useless bin:    4001  fixed:     0  props:  20.00M  time:  0.34 s
7819.97/1026.48	c lits-rem:       443  cl-subs:      442  v-elim:    228  v-fix:    0  time:  2.43 s
7833.49/1028.15	c subs with bin:      295  lits-rem:      5736  v-fix:    0  time:  1.50 s
7851.08/1030.34	c lits-rem:      1354  cl-subs:     3932  v-elim:      0  v-fix:    0  time:  2.00 s
7855.14/1030.82	c asymm  cl-useful: 28/15451/1184426 lits-rem:84 time: 0.48
7855.87/1030.97	c calculated reachability. Time: 0.00
7855.87/1030.97	c  N dy  4771    806350     64059   1184398   4474417     74143   5939020   9137109     20.12   no data
7890.29/1035.27	c Finding binary XORs  T:     0.08 s  found:      18
7987.75/1047.40	c  N dy  4873    827050     64042   1184376   4620248     52398   5938596   8407110     20.09     21.36
8086.84/1059.81	c Finding binary XORs  T:     0.09 s  found:       5
8114.01/1063.21	c  N dy  4990    847935     64040   1184376   4616765     72875   5938277   9300377     20.08     22.35
8210.70/1075.32	c  N dy  5070    868831     64040   1184376   4616933     50372   5938277   8259894     20.03     21.41
8330.59/1090.37	c  N dy  5170    888907     64040   1184376   4617036     70049   5938270   9175519     20.02     22.32
8414.51/1100.81	c Finding binary XORs  T:     0.09 s  found:      27
8462.46/1106.86	c  N dy  5283    909114     64026   1184351   4698489     45684   5937672   8164497     20.02     22.25
8572.77/1120.60	c  N dy  5356    929340     64026   1184351   4698652     65618   5937671   9008238     19.96     21.26
8700.65/1136.70	c  N dy  5481    949358     64026   1184351   4698813     85342   5937671   9927733     19.99     21.07
8820.54/1151.65	c  N dy  5597    969509     64026   1184351   4698994     60094   5937670   8844776     20.01     21.29
8927.70/1165.08	c  N dy  5705    989536     64026   1184351   4699118     79813   5937670   9721514     20.02     22.46
9049.13/1180.25	c  N dy  5805   1009561     64026   1184351   4699256     53192   5937670   8432989     20.00     21.18
9149.82/1192.89	c  N dy  5883   1029805     64026   1184351   4699443     73023   5937670   9297616     19.97     21.14
9244.93/1204.79	c  N dy  5932   1052625     64026   1184351   4699529     48039   5937670   8168923     19.88     20.94
9331.31/1215.59	c  F st  5966   1071877     63825   1184351   4699733     66940   5937669   8979208     19.79     13.13
9335.25/1216.02	c Replacing       50 vars Replaced    64784 lits Time:     0.29 s 
9342.45/1217.00	c  N st  5969   1073072     63775   1182254   4647950     66199   5917969   8931880     19.79   no data
9423.18/1227.01	c  N dy  6042   1093153     63524   1182254   4648121     85946   5917969   9866600     19.77     20.95
9493.50/1235.89	c Finding binary XORs  T:     0.06 s  found:   10901
9498.34/1236.44	c Replacing    10901 vars Replaced  1094574 lits Time:     0.55 s 
9501.49/1236.81	c  N dy  6084   1113174     42329   1106246    800508     18723   4981477    632412     19.68     21.39
9514.18/1239.35	c Following stats are for *FIRST FINISHED THREAD ONLY*
9514.18/1239.35	c num threads              : 8          
9514.18/1239.35	c restarts                 : 6745       
9514.18/1239.35	c dynamic restarts         : 6715       
9514.18/1239.35	c static restarts          : 30         
9514.18/1239.35	c full restarts            : 4          
9514.18/1239.35	c total simplify time      : 8.25       
9514.18/1239.35	c learnts DL2              : 0          
9514.18/1239.35	c learnts size 2           : 9839034    
9514.18/1239.35	c learnts size 1           : 81015       (52.50     % of vars)
9514.18/1239.35	c filedLit time            : 43.68       (3.68      % time)
9514.18/1239.35	c v-elim SatELite          : 21707       (14.07     % vars)
9514.18/1239.35	c SatELite time            : 28.42       (2.39      % time)
9514.18/1239.35	c v-elim xor               : 0           (0.00      % vars)
9514.18/1239.35	c xor elim time            : 0.60        (0.05      % time)
9514.18/1239.35	c num binary xor trees     : 6262       
9514.18/1239.35	c binxor trees' crown      : 13319       (2.13      leafs/tree)
9514.18/1239.35	c bin xor find time        : 2.27       
9514.18/1239.35	c OTF clause improved      : 18972       (0.02      clauses/conflict)
9514.18/1239.35	c OTF impr. size diff      : 29843       (1.57       lits/clause)
9514.18/1239.35	c OTF cl watch-shrink      : 812147      (0.68      clauses/conflict)
9514.18/1239.35	c OTF cl watch-sh-lit      : 4095638     (5.04       lits/clause)
9514.18/1239.35	c tried to recurMin cls    : 0           (0.00       % of conflicts)
9514.18/1239.35	c updated cache            : 0           (nan        lits/tried recurMin)
9514.18/1239.35	c unit cls recevied        : 34401       (42.46     % of units)
9514.18/1239.35	c unit cls sent            : 6849        (8.45      % of units)
9514.18/1239.35	c bin cls recevied         : 7634858    
9514.18/1239.35	c bin cls sent             : 157092     
9514.18/1239.35	c clauses over max glue    : 0           (0.00      % of all clauses)
9514.18/1239.35	c conflicts                : 1199392     (1009.27   / sec)
9514.18/1239.35	c decisions                : 122766402   (0.13      % random)
9514.18/1239.35	c bogo-props               : 30382381064 (25566424.91 / sec)
9514.18/1239.35	c conflict literals        : 53333296    (24.96     % deleted)
9514.18/1239.35	c Memory used              : 6762.32     MB
9514.18/1239.35	c single-thread CPU time   : 1188.37     s
9514.18/1239.35	c all-threads sum CPU time : 9502.82     s
9514.18/1239.35	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: 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-3321021-1304322188/watcher-3321021-1304322188 -o /tmp/evaluation-result-3321021-1304322188/solver-3321021-1304322188 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321021-1304322188.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: 0.00 0.00 0.00 2/218 11839
/proc/meminfo: memFree=28856784/32951124 swapFree=67103364/67111528
[pid=11839] ppid=11837 vsize=92188 CPUtime=0.01 cores=0-7
/proc/11839/stat : 11839 (strangenight2-m) R 11837 11839 11813 0 -1 4202496 412 0 0 0 1 0 0 0 22 0 8 0 622449691 94400512 352 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073970 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11839/statm: 23047 352 299 106 0 18018 0
[pid=11839/tid=11840] ppid=11837 vsize=92188 CPUtime=0 cores=0-7
/proc/11839/task/11840/stat : 11840 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 622449691 94400512 352 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073970 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11839/tid=11841] ppid=11837 vsize=92188 CPUtime=0 cores=0-7
/proc/11839/task/11841/stat : 11841 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622449691 94400512 352 33554432000 4194304 4627427 140736274644336 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11839/tid=11842] ppid=11837 vsize=92188 CPUtime=0 cores=0-7
/proc/11839/task/11842/stat : 11842 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622449691 94400512 352 33554432000 4194304 4627427 140736274644336 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11839/tid=11843] ppid=11837 vsize=92188 CPUtime=0 cores=0-7
/proc/11839/task/11843/stat : 11843 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622449691 94400512 352 33554432000 4194304 4627427 140736274644336 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11839/tid=11844] ppid=11837 vsize=92188 CPUtime=0 cores=0-7
/proc/11839/task/11844/stat : 11844 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622449691 94400512 352 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073970 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11839/tid=11845] ppid=11837 vsize=92188 CPUtime=0 cores=0-7
/proc/11839/task/11845/stat : 11845 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622449691 94400512 352 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073970 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11839/tid=11846] ppid=11837 vsize=92188 CPUtime=0 cores=0-7
/proc/11839/task/11846/stat : 11846 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622449691 94400512 352 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073970 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.100513 s]
/proc/loadavg: 0.00 0.00 0.00 2/218 11839
/proc/meminfo: memFree=28856784/32951124 swapFree=67103364/67111528
[pid=11839] ppid=11837 vsize=92188 CPUtime=0.47 cores=0-7
/proc/11839/stat : 11839 (strangenight2-m) R 11837 11839 11813 0 -1 4202496 420 0 0 0 47 0 0 0 23 0 8 0 622449691 94400512 360 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073552 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11839/statm: 23047 360 303 106 0 18018 0
[pid=11839/tid=11840] ppid=11837 vsize=92188 CPUtime=0.07 cores=0-7
/proc/11839/task/11840/stat : 11840 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 1 0 0 0 7 0 0 0 23 0 8 0 622449691 94400512 360 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073561 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11839/tid=11841] ppid=11837 vsize=92188 CPUtime=0.01 cores=0-7
/proc/11839/task/11841/stat : 11841 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 622449691 94400512 360 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073968 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11839/tid=11842] ppid=11837 vsize=92188 CPUtime=0 cores=0-7
/proc/11839/task/11842/stat : 11842 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622449691 94400512 360 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073970 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11839/tid=11843] ppid=11837 vsize=92188 CPUtime=0 cores=0-7
/proc/11839/task/11843/stat : 11843 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 622449691 94400512 360 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11839/tid=11844] ppid=11837 vsize=92188 CPUtime=0.09 cores=0-7
/proc/11839/task/11844/stat : 11844 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 8 0 622449691 94400512 360 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073555 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11839/tid=11845] ppid=11837 vsize=92188 CPUtime=0.09 cores=0-7
/proc/11839/task/11845/stat : 11845 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 8 0 622449691 94400512 360 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073552 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11839/tid=11846] ppid=11837 vsize=92188 CPUtime=0.09 cores=0-7
/proc/11839/task/11846/stat : 11846 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 1 0 0 0 9 0 0 0 25 0 8 0 622449691 94400512 360 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073565 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 92188

[startup+0.200495 s]
/proc/loadavg: 0.00 0.00 0.00 2/218 11839
/proc/meminfo: memFree=28856784/32951124 swapFree=67103364/67111528
[pid=11839] ppid=11837 vsize=500552 CPUtime=0.92 cores=0-7
/proc/11839/stat : 11839 (strangenight2-m) S 11837 11839 11813 0 -1 4202496 11314 0 0 0 86 6 0 0 17 0 8 0 622449691 512565248 10092 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11839/statm: 125138 10107 339 106 0 120109 0
[pid=11839/tid=11840] ppid=11837 vsize=500552 CPUtime=0.13 cores=0-7
/proc/11839/task/11840/stat : 11840 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 1108 0 0 0 13 0 0 0 17 0 8 0 622449691 512565248 10134 33554432000 4194304 4627427 140736274644336 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11839/tid=11841] ppid=11837 vsize=500552 CPUtime=0.02 cores=0-7
/proc/11839/task/11841/stat : 11841 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 1767 0 0 0 2 0 0 0 17 0 8 0 622449691 512565248 10148 33554432000 4194304 4627427 140736274644336 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11839/tid=11842] ppid=11837 vsize=500552 CPUtime=0.08 cores=0-7
/proc/11839/task/11842/stat : 11842 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 1471 0 0 0 7 1 0 0 18 0 8 0 622449691 512565248 10153 33554432000 4194304 4627427 140736274644336 18446744073709551615 4359754 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11839/tid=11843] ppid=11837 vsize=500552 CPUtime=0.03 cores=0-7
/proc/11839/task/11843/stat : 11843 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 1651 0 0 0 3 0 0 0 17 0 8 0 622449691 512565248 10167 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11839/tid=11844] ppid=11837 vsize=500552 CPUtime=0.15 cores=0-7
/proc/11839/task/11844/stat : 11844 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 1056 0 0 0 15 0 0 0 17 0 8 0 622449691 512565248 10190 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446604453641598272 0 0 -1 4 0 0 0
[pid=11839/tid=11845] ppid=11837 vsize=500552 CPUtime=0.12 cores=0-7
/proc/11839/task/11845/stat : 11845 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 1564 0 0 0 12 0 0 0 17 0 8 0 622449691 512565248 10190 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446604453641598272 0 0 -1 4 0 0 0
[pid=11839/tid=11846] ppid=11837 vsize=500552 CPUtime=0.17 cores=0-7
/proc/11839/task/11846/stat : 11846 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 1244 0 0 0 16 1 0 0 18 0 8 0 622449691 512565248 10190 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446604453641598272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 500552

[startup+0.302484 s]
/proc/loadavg: 0.00 0.00 0.00 2/218 11839
/proc/meminfo: memFree=28856784/32951124 swapFree=67103364/67111528
[pid=11839] ppid=11837 vsize=590208 CPUtime=1.4 cores=0-7
/proc/11839/stat : 11839 (strangenight2-m) S 11837 11839 11813 0 -1 4202496 27697 0 0 0 119 21 0 0 17 0 8 0 622449691 604372992 23822 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11839/statm: 147552 23845 339 106 0 142523 0
[pid=11839/tid=11840] ppid=11837 vsize=590208 CPUtime=0.17 cores=0-7
/proc/11839/task/11840/stat : 11840 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 3622 0 0 0 16 1 0 0 17 0 8 0 622449691 604372992 23855 33554432000 4194304 4627427 140736274644336 18446744073709551615 224284623307 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11839/tid=11841] ppid=11837 vsize=590208 CPUtime=0.09 cores=0-7
/proc/11839/task/11841/stat : 11841 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 3608 0 0 0 7 2 0 0 16 0 8 0 622449691 604372992 23869 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446604453641598272 0 0 -1 0 0 0 0
[pid=11839/tid=11842] ppid=11837 vsize=590208 CPUtime=0.15 cores=0-7
/proc/11839/task/11842/stat : 11842 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 3396 0 0 0 12 3 0 0 18 0 8 0 622449691 604372992 23883 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446604453641598272 0 0 -1 5 0 0 0
[pid=11839/tid=11843] ppid=11837 vsize=590208 CPUtime=0.08 cores=0-7
/proc/11839/task/11843/stat : 11843 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 3048 0 0 0 6 2 0 0 16 0 8 0 622449691 604372992 23895 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446604453641598272 0 0 -1 6 0 0 0
[pid=11839/tid=11844] ppid=11837 vsize=590208 CPUtime=0.19 cores=0-7
/proc/11839/task/11844/stat : 11844 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 3114 0 0 0 18 1 0 0 16 0 8 0 622449691 604372992 23902 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446604453641598272 0 0 -1 2 0 0 0
[pid=11839/tid=11845] ppid=11837 vsize=590208 CPUtime=0.17 cores=0-7
/proc/11839/task/11845/stat : 11845 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 3074 0 0 0 15 2 0 0 17 0 8 0 622449691 604372992 23917 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446604453641598272 0 0 -1 4 0 0 0
[pid=11839/tid=11846] ppid=11837 vsize=590208 CPUtime=0.25 cores=0-7
/proc/11839/task/11846/stat : 11846 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 3738 0 0 0 21 4 0 0 17 0 8 0 622449691 604372992 23933 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446604453641598272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 590208

[startup+0.700381 s]
/proc/loadavg: 0.00 0.00 0.00 2/218 11839
/proc/meminfo: memFree=28856784/32951124 swapFree=67103364/67111528
[pid=11839] ppid=11837 vsize=645804 CPUtime=3.21 cores=0-7
/proc/11839/stat : 11839 (strangenight2-m) R 11837 11839 11813 0 -1 4202496 71519 0 0 0 241 80 0 0 18 0 8 0 622449691 661303296 63327 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030943 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11839/statm: 161451 63330 339 106 0 156422 0
[pid=11839/tid=11840] ppid=11837 vsize=645804 CPUtime=0.35 cores=0-7
/proc/11839/task/11840/stat : 11840 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 10050 0 0 0 27 8 0 0 15 0 8 0 622449691 661303296 63332 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11839/tid=11841] ppid=11837 vsize=645804 CPUtime=0.31 cores=0-7
/proc/11839/task/11841/stat : 11841 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 9088 0 0 0 22 9 0 0 15 0 8 0 622449691 661303296 63333 33554432000 4194304 4627427 140736274644336 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11839/tid=11842] ppid=11837 vsize=645804 CPUtime=0.45 cores=0-7
/proc/11839/task/11842/stat : 11842 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 8757 0 0 0 32 13 0 0 18 0 8 0 622449691 661303296 63335 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11839/tid=11843] ppid=11837 vsize=645804 CPUtime=0.27 cores=0-7
/proc/11839/task/11843/stat : 11843 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 7579 0 0 0 20 7 0 0 15 0 8 0 622449691 661303296 63337 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446604453641598272 0 0 -1 0 0 0 0
[pid=11839/tid=11844] ppid=11837 vsize=645804 CPUtime=0.36 cores=0-7
/proc/11839/task/11844/stat : 11844 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 8942 0 0 0 29 7 0 0 15 0 8 0 622449691 661303296 63342 33554432000 4194304 4627427 140736274644336 18446744073709551615 4507021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11839/tid=11845] ppid=11837 vsize=645804 CPUtime=0.35 cores=0-7
/proc/11839/task/11845/stat : 11845 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 7144 0 0 0 28 7 0 0 16 0 8 0 622449691 661303296 63344 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11839/tid=11846] ppid=11837 vsize=645804 CPUtime=0.53 cores=0-7
/proc/11839/task/11846/stat : 11846 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 10005 0 0 0 40 13 0 0 18 0 8 0 622449691 661303296 63345 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 645804

[startup+1.50125 s]
/proc/loadavg: 0.00 0.00 0.00 8/226 11847
/proc/meminfo: memFree=28439344/32951124 swapFree=67103364/67111528
[pid=11839] ppid=11837 vsize=1066624 CPUtime=7.15 cores=0-7
/proc/11839/stat : 11839 (strangenight2-m) S 11837 11839 11813 0 -1 4202496 172106 0 0 0 538 177 0 0 18 0 8 0 622449691 1092222976 154783 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11839/statm: 266656 154784 339 106 0 261627 0
[pid=11839/tid=11840] ppid=11837 vsize=1066624 CPUtime=0.82 cores=0-7
/proc/11839/task/11840/stat : 11840 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 22713 0 0 0 64 18 0 0 15 0 8 0 622449691 1092222976 154784 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11839/tid=11841] ppid=11837 vsize=1066624 CPUtime=0.68 cores=0-7
/proc/11839/task/11841/stat : 11841 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 21096 0 0 0 49 19 0 0 15 0 8 0 622449691 1092222976 154786 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446604453641598272 0 0 -1 4 0 0 0
[pid=11839/tid=11842] ppid=11837 vsize=1066624 CPUtime=1.06 cores=0-7
/proc/11839/task/11842/stat : 11842 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 21433 0 0 0 78 28 0 0 18 0 8 0 622449691 1092222976 154787 33554432000 4194304 4627427 140736274644336 18446744073709551615 224284591023 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11839/tid=11843] ppid=11837 vsize=1066624 CPUtime=0.73 cores=0-7
/proc/11839/task/11843/stat : 11843 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 19554 0 0 0 54 19 0 0 16 0 8 0 622449691 1092222976 154787 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446604453641598272 0 0 -1 2 0 0 0
[pid=11839/tid=11844] ppid=11837 vsize=1066624 CPUtime=0.73 cores=0-7
/proc/11839/task/11844/stat : 11844 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 21578 0 0 0 57 16 0 0 16 0 8 0 622449691 1092222976 154787 33554432000 4194304 4627427 140736274644336 18446744073709551615 4301206 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11839/tid=11845] ppid=11837 vsize=1066624 CPUtime=0.79 cores=0-7
/proc/11839/task/11845/stat : 11845 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 19572 0 0 0 61 18 0 0 16 0 8 0 622449691 1092222976 154788 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446604453641598272 0 0 -1 4 0 0 0
[pid=11839/tid=11846] ppid=11837 vsize=1066624 CPUtime=1.15 cores=0-7
/proc/11839/task/11846/stat : 11846 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 23760 0 0 0 86 29 0 0 18 0 8 0 622449691 1092222976 154793 33554432000 4194304 4627427 140736274644336 18446744073709551615 224285030894 0 0 4096 2 18446604453641598272 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 1066624

[startup+3.10099 s]
/proc/loadavg: 0.64 0.13 0.04 9/226 11847
/proc/meminfo: memFree=27840672/32951124 swapFree=67103364/67111528
[pid=11839] ppid=11837 vsize=1796080 CPUtime=16.05 cores=0-7
/proc/11839/stat : 11839 (strangenight2-m) R 11837 11839 11813 0 -1 4202496 375942 0 0 0 1212 393 0 0 16 0 8 0 622449691 1839185920 339995 33554432000 4194304 4627427 140736274644336 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11839/statm: 449020 339996 364 106 0 443991 0
[pid=11839/tid=11840] ppid=11837 vsize=1796080 CPUtime=1.89 cores=0-7
/proc/11839/task/11840/stat : 11840 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 48968 0 0 0 144 45 0 0 16 0 8 0 622449691 1839185920 339996 33554432000 4194304 4627427 140736274644336 18446744073709551615 4309344 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11839/tid=11841] ppid=11837 vsize=1796080 CPUtime=1.72 cores=0-7
/proc/11839/task/11841/stat : 11841 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 45218 0 0 0 128 44 0 0 16 0 8 0 622449691 1839185920 339996 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11839/tid=11842] ppid=11837 vsize=1796080 CPUtime=2.25 cores=0-7
/proc/11839/task/11842/stat : 11842 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 46263 0 0 0 170 55 0 0 16 0 8 0 622449691 1839185920 339996 33554432000 4194304 4627427 140736274644336 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11839/tid=11843] ppid=11837 vsize=1796080 CPUtime=1.81 cores=0-7
/proc/11839/task/11843/stat : 11843 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 45634 0 0 0 138 43 0 0 16 0 8 0 622449691 1839185920 339996 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11839/tid=11844] ppid=11837 vsize=1796080 CPUtime=1.79 cores=0-7
/proc/11839/task/11844/stat : 11844 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 47323 0 0 0 135 44 0 0 16 0 8 0 622449691 1839185920 339996 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11839/tid=11845] ppid=11837 vsize=1796080 CPUtime=1.88 cores=0-7
/proc/11839/task/11845/stat : 11845 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 46374 0 0 0 141 47 0 0 16 0 8 0 622449691 1839185920 339996 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11839/tid=11846] ppid=11837 vsize=1796080 CPUtime=2.32 cores=0-7
/proc/11839/task/11846/stat : 11846 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 48669 0 0 0 177 55 0 0 16 0 8 0 622449691 1839185920 339996 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 16.05
Current children cumulated vsize (KiB) 1796080

[startup+6.30045 s]
/proc/loadavg: 0.64 0.13 0.04 9/226 11847
/proc/meminfo: memFree=27478004/32951124 swapFree=67103364/67111528
[pid=11839] ppid=11837 vsize=1867404 CPUtime=41.62 cores=0-7
/proc/11839/stat : 11839 (strangenight2-m) R 11837 11839 11813 0 -1 4202496 381433 0 0 0 3767 395 0 0 21 0 8 0 622449691 1912221696 344947 33554432000 4194304 4627427 140736274644336 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11839/statm: 466851 344947 367 106 0 461822 0
[pid=11839/tid=11840] ppid=11837 vsize=1867404 CPUtime=5.1 cores=0-7
/proc/11839/task/11840/stat : 11840 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 49752 0 0 0 464 46 0 0 20 0 8 0 622449691 1912221696 344947 33554432000 4194304 4627427 140736274644336 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11839/tid=11841] ppid=11837 vsize=1867404 CPUtime=4.93 cores=0-7
/proc/11839/task/11841/stat : 11841 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 46037 0 0 0 448 45 0 0 20 0 8 0 622449691 1912221696 344947 33554432000 4194304 4627427 140736274644336 18446744073709551615 4238464 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11839/tid=11842] ppid=11837 vsize=1867404 CPUtime=5.42 cores=0-7
/proc/11839/task/11842/stat : 11842 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 47113 0 0 0 487 55 0 0 21 0 8 0 622449691 1912221696 344947 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11839/tid=11843] ppid=11837 vsize=1867404 CPUtime=5.01 cores=0-7
/proc/11839/task/11843/stat : 11843 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 45684 0 0 0 458 43 0 0 20 0 8 0 622449691 1912221696 344947 33554432000 4194304 4627427 140736274644336 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11839/tid=11844] ppid=11837 vsize=1867404 CPUtime=4.98 cores=0-7
/proc/11839/task/11844/stat : 11844 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 47408 0 0 0 453 45 0 0 20 0 8 0 622449691 1912221696 344947 33554432000 4194304 4627427 140736274644336 18446744073709551615 4299583 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11839/tid=11845] ppid=11837 vsize=1867404 CPUtime=5.08 cores=0-7
/proc/11839/task/11845/stat : 11845 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 47216 0 0 0 461 47 0 0 20 0 8 0 622449691 1912221696 344947 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11839/tid=11846] ppid=11837 vsize=1867404 CPUtime=5.51 cores=0-7
/proc/11839/task/11846/stat : 11846 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 49945 0 0 0 496 55 0 0 21 0 8 0 622449691 1912221696 344947 33554432000 4194304 4627427 140736274644336 18446744073709551615 4312556 0 0 4096 2 0 0 0 -1 3 0 0 0

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

/proc/loadavg: 8.10 7.83 5.67 9/226 11888
/proc/meminfo: memFree=23355312/32951124 swapFree=67103364/67111528
[pid=11839] ppid=11837 vsize=6547676 CPUtime=9232.95 cores=0-7
/proc/11839/stat : 11839 (strangenight2-m) R 11837 11839 11813 0 -1 4202496 3303526 0 0 0 922164 1131 0 0 25 0 8 0 622449691 6704820224 1373780 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308408 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11839/statm: 1636919 1373780 391 106 0 1631890 0
[pid=11839/tid=11840] ppid=11837 vsize=6547676 CPUtime=1167.85 cores=0-7
/proc/11839/task/11840/stat : 11840 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 426015 0 0 0 116650 135 0 0 25 0 8 0 622449691 6704820224 1373780 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11839/tid=11841] ppid=11837 vsize=6547676 CPUtime=1162.49 cores=0-7
/proc/11839/task/11841/stat : 11841 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 420928 0 0 0 116112 137 0 0 25 0 8 0 622449691 6704820224 1373780 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308809 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11839/tid=11842] ppid=11837 vsize=6547676 CPUtime=1143.99 cores=0-7
/proc/11839/task/11842/stat : 11842 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 363601 0 0 0 114260 139 0 0 25 0 8 0 622449691 6704820224 1373780 33554432000 4194304 4627427 140736274644336 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11839/tid=11843] ppid=11837 vsize=6547676 CPUtime=1158.93 cores=0-7
/proc/11839/task/11843/stat : 11843 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 385030 0 0 0 115761 132 0 0 25 0 8 0 622449691 6704820224 1373780 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11839/tid=11844] ppid=11837 vsize=6547676 CPUtime=1133.98 cores=0-7
/proc/11839/task/11844/stat : 11844 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 356619 0 0 0 113265 133 0 0 25 0 8 0 622449691 6704820224 1373780 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11839/tid=11845] ppid=11837 vsize=6547676 CPUtime=1153.58 cores=0-7
/proc/11839/task/11845/stat : 11845 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 380329 0 0 0 115224 134 0 0 25 0 8 0 622449691 6704820224 1373780 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11839/tid=11846] ppid=11837 vsize=6547676 CPUtime=1150.03 cores=0-7
/proc/11839/task/11846/stat : 11846 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 497453 0 0 0 114847 156 0 0 25 0 8 0 622449691 6704820224 1373780 33554432000 4194304 4627427 140736274644336 18446744073709551615 4324696 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9232.95
Current children cumulated vsize (KiB) 6547676

[startup+1216 s]
/proc/loadavg: 8.08 7.84 5.69 9/226 11888
/proc/meminfo: memFree=23352576/32951124 swapFree=67103364/67111528
[pid=11839] ppid=11837 vsize=6356800 CPUtime=9335.25 cores=0-7
/proc/11839/stat : 11839 (strangenight2-m) R 11837 11839 11813 0 -1 4202496 3319089 0 0 0 932388 1137 0 0 25 0 8 0 622449691 6509363200 1374309 33554432000 4194304 4627427 140736274644336 18446744073709551615 4324341 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11839/statm: 1589200 1374309 391 106 0 1584171 0
[pid=11839/tid=11840] ppid=11837 vsize=6356800 CPUtime=1180.65 cores=0-7
/proc/11839/task/11840/stat : 11840 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 426767 0 0 0 117929 136 0 0 25 0 8 0 622449691 6509363200 1374309 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11839/tid=11841] ppid=11837 vsize=6356800 CPUtime=1175.29 cores=0-7
/proc/11839/task/11841/stat : 11841 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 422086 0 0 0 117392 137 0 0 25 0 8 0 622449691 6509363200 1374309 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11839/tid=11842] ppid=11837 vsize=6356800 CPUtime=1156.8 cores=0-7
/proc/11839/task/11842/stat : 11842 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 364622 0 0 0 115540 140 0 0 25 0 8 0 622449691 6509363200 1374309 33554432000 4194304 4627427 140736274644336 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11839/tid=11843] ppid=11837 vsize=6356800 CPUtime=1171.74 cores=0-7
/proc/11839/task/11843/stat : 11843 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 385945 0 0 0 117041 133 0 0 25 0 8 0 622449691 6509363200 1374309 33554432000 4194304 4627427 140736274644336 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11839/tid=11844] ppid=11837 vsize=6356800 CPUtime=1146.68 cores=0-7
/proc/11839/task/11844/stat : 11844 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 357608 0 0 0 114534 134 0 0 25 0 8 0 622449691 6509363200 1374309 33554432000 4194304 4627427 140736274644336 18446744073709551615 4327424 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11839/tid=11845] ppid=11837 vsize=6356800 CPUtime=1166.39 cores=0-7
/proc/11839/task/11845/stat : 11845 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 381198 0 0 0 116504 135 0 0 25 0 8 0 622449691 6509363200 1374309 33554432000 4194304 4627427 140736274644336 18446744073709551615 4299634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11839/tid=11846] ppid=11837 vsize=6356800 CPUtime=1162.84 cores=0-7
/proc/11839/task/11846/stat : 11846 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 506373 0 0 0 116126 158 0 0 25 0 8 0 622449691 6509363200 1374309 33554432000 4194304 4627427 140736274644336 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9335.25
Current children cumulated vsize (KiB) 6356800

[startup+1228.81 s]
/proc/loadavg: 8.06 7.84 5.73 9/226 11888
/proc/meminfo: memFree=23317604/32951124 swapFree=67103364/67111528
[pid=11839] ppid=11837 vsize=6738108 CPUtime=9437.61 cores=0-7
/proc/11839/stat : 11839 (strangenight2-m) R 11837 11839 11813 0 -1 4202496 3327589 0 0 0 942619 1142 0 0 25 0 8 0 622449691 6899822592 1382809 33554432000 4194304 4627427 140736274644336 18446744073709551615 4309103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11839/statm: 1684527 1382809 391 106 0 1679498 0
[pid=11839/tid=11840] ppid=11837 vsize=6738108 CPUtime=1193.46 cores=0-7
/proc/11839/task/11840/stat : 11840 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 427778 0 0 0 119209 137 0 0 25 0 8 0 622449691 6899822592 1382809 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11839/tid=11841] ppid=11837 vsize=6738108 CPUtime=1188.1 cores=0-7
/proc/11839/task/11841/stat : 11841 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 423008 0 0 0 118672 138 0 0 25 0 8 0 622449691 6899822592 1382809 33554432000 4194304 4627427 140736274644336 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11839/tid=11842] ppid=11837 vsize=6738108 CPUtime=1169.6 cores=0-7
/proc/11839/task/11842/stat : 11842 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 365900 0 0 0 116820 140 0 0 25 0 8 0 622449691 6899822592 1382809 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11839/tid=11843] ppid=11837 vsize=6738108 CPUtime=1184.54 cores=0-7
/proc/11839/task/11843/stat : 11843 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 386949 0 0 0 118321 133 0 0 25 0 8 0 622449691 6899822592 1382809 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11839/tid=11844] ppid=11837 vsize=6738108 CPUtime=1159.39 cores=0-7
/proc/11839/task/11844/stat : 11844 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 358527 0 0 0 115805 134 0 0 25 0 8 0 622449691 6899822592 1382809 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11839/tid=11845] ppid=11837 vsize=6738108 CPUtime=1179.19 cores=0-7
/proc/11839/task/11845/stat : 11845 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 382255 0 0 0 117783 136 0 0 25 0 8 0 622449691 6899822592 1382809 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308268 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11839/tid=11846] ppid=11837 vsize=6738108 CPUtime=1175.64 cores=0-7
/proc/11839/task/11846/stat : 11846 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 507247 0 0 0 117406 158 0 0 25 0 8 0 622449691 6899822592 1382809 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9437.61
Current children cumulated vsize (KiB) 6738108

[startup+1235.2 s]
/proc/loadavg: 8.06 7.85 5.74 9/226 11888
/proc/meminfo: memFree=23317724/32951124 swapFree=67103364/67111528
[pid=11839] ppid=11837 vsize=6927948 CPUtime=9488.71 cores=0-7
/proc/11839/stat : 11839 (strangenight2-m) R 11837 11839 11813 0 -1 4202496 3341052 0 0 0 947725 1146 0 0 25 0 8 0 622449691 7094218752 1383483 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11839/statm: 1731987 1383483 391 106 0 1726958 0
[pid=11839/tid=11840] ppid=11837 vsize=6927948 CPUtime=1199.85 cores=0-7
/proc/11839/task/11840/stat : 11840 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 428227 0 0 0 119848 137 0 0 25 0 8 0 622449691 7094218752 1383483 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11839/tid=11841] ppid=11837 vsize=6927948 CPUtime=1194.48 cores=0-7
/proc/11839/task/11841/stat : 11841 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 423621 0 0 0 119310 138 0 0 25 0 8 0 622449691 7094218752 1383483 33554432000 4194304 4627427 140736274644336 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11839/tid=11842] ppid=11837 vsize=6927948 CPUtime=1175.99 cores=0-7
/proc/11839/task/11842/stat : 11842 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 366563 0 0 0 117459 140 0 0 25 0 8 0 622449691 7094218752 1383483 33554432000 4194304 4627427 140736274644336 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11839/tid=11843] ppid=11837 vsize=6927948 CPUtime=1190.93 cores=0-7
/proc/11839/task/11843/stat : 11843 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 387634 0 0 0 118960 133 0 0 25 0 8 0 622449691 7094218752 1383483 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11839/tid=11844] ppid=11837 vsize=6927948 CPUtime=1165.75 cores=0-7
/proc/11839/task/11844/stat : 11844 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 358970 0 0 0 116440 135 0 0 25 0 8 0 622449691 7094218752 1383483 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11839/tid=11845] ppid=11837 vsize=6927948 CPUtime=1185.58 cores=0-7
/proc/11839/task/11845/stat : 11845 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 382832 0 0 0 118422 136 0 0 25 0 8 0 622449691 7094218752 1383483 33554432000 4194304 4627427 140736274644336 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11839/tid=11846] ppid=11837 vsize=6927948 CPUtime=1182.02 cores=0-7
/proc/11839/task/11846/stat : 11846 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 507605 0 0 0 118044 158 0 0 25 0 8 0 622449691 7094218752 1383483 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9488.71
Current children cumulated vsize (KiB) 6927948

[startup+1236.8 s]
/proc/loadavg: 8.06 7.85 5.74 9/226 11888
/proc/meminfo: memFree=23311648/32951124 swapFree=67103364/67111528
[pid=11839] ppid=11837 vsize=7163572 CPUtime=9501.49 cores=0-7
/proc/11839/stat : 11839 (strangenight2-m) R 11837 11839 11813 0 -1 4202496 3349294 0 0 0 949002 1147 0 0 25 0 8 0 622449691 7335497728 1391725 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11839/statm: 1790893 1391725 391 106 0 1785864 0
[pid=11839/tid=11840] ppid=11837 vsize=7163572 CPUtime=1201.45 cores=0-7
/proc/11839/task/11840/stat : 11840 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 428380 0 0 0 120008 137 0 0 25 0 8 0 622449691 7335497728 1391725 33554432000 4194304 4627427 140736274644336 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11839/tid=11841] ppid=11837 vsize=7163572 CPUtime=1196.08 cores=0-7
/proc/11839/task/11841/stat : 11841 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 423777 0 0 0 119470 138 0 0 25 0 8 0 622449691 7335497728 1391725 33554432000 4194304 4627427 140736274644336 18446744073709551615 4306576 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11839/tid=11842] ppid=11837 vsize=7163572 CPUtime=1177.59 cores=0-7
/proc/11839/task/11842/stat : 11842 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 366692 0 0 0 117619 140 0 0 25 0 8 0 622449691 7335497728 1391725 33554432000 4194304 4627427 140736274644336 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11839/tid=11843] ppid=11837 vsize=7163572 CPUtime=1192.54 cores=0-7
/proc/11839/task/11843/stat : 11843 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 387763 0 0 0 119120 134 0 0 25 0 8 0 622449691 7335497728 1391725 33554432000 4194304 4627427 140736274644336 18446744073709551615 4324009 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11839/tid=11844] ppid=11837 vsize=7163572 CPUtime=1167.33 cores=0-7
/proc/11839/task/11844/stat : 11844 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 359103 0 0 0 116598 135 0 0 25 0 8 0 622449691 7335497728 1391725 33554432000 4194304 4627427 140736274644336 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11839/tid=11845] ppid=11837 vsize=7163572 CPUtime=1187.18 cores=0-7
/proc/11839/task/11845/stat : 11845 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 390136 0 0 0 118581 137 0 0 25 0 8 0 622449691 7335497728 1391726 33554432000 4194304 4627427 140736274644336 18446744073709551615 4503199 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11839/tid=11846] ppid=11837 vsize=7163572 CPUtime=1183.62 cores=0-7
/proc/11839/task/11846/stat : 11846 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 507768 0 0 0 118204 158 0 0 25 0 8 0 622449691 7335497728 1391728 33554432000 4194304 4627427 140736274644336 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9501.49
Current children cumulated vsize (KiB) 7163572

[startup+1238.4 s]
/proc/loadavg: 8.05 7.85 5.75 9/226 11888
/proc/meminfo: memFree=23328760/32951124 swapFree=67103364/67111528
[pid=11839] ppid=11837 vsize=6924616 CPUtime=9512.22 cores=0-7
/proc/11839/stat : 11839 (strangenight2-m) S 11837 11839 11813 0 -1 4202496 3350463 0 0 0 950074 1148 0 0 25 0 8 0 622449691 7090806784 1380252 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073588 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11839/statm: 1731154 1380252 391 106 0 1726125 0
[pid=11839/tid=11840] ppid=11837 vsize=6924616 CPUtime=1202.63 cores=0-7
/proc/11839/task/11840/stat : 11840 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 428508 0 0 0 120126 137 0 0 25 0 8 0 622449691 7090806784 1380252 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073588 0 0 4096 2 18446604453641598272 0 0 -1 3 0 0 0
[pid=11839/tid=11841] ppid=11837 vsize=6924616 CPUtime=1197.27 cores=0-7
/proc/11839/task/11841/stat : 11841 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 423897 0 0 0 119589 138 0 0 25 0 8 0 622449691 7090806784 1380252 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073588 0 0 4096 2 18446604453641598272 0 0 -1 4 0 0 0
[pid=11839/tid=11842] ppid=11837 vsize=6924616 CPUtime=1179.19 cores=0-7
/proc/11839/task/11842/stat : 11842 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 366916 0 0 0 117779 140 0 0 25 0 8 0 622449691 7090806784 1380252 33554432000 4194304 4627427 140736274644336 18446744073709551615 4260710 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11839/tid=11843] ppid=11837 vsize=6924616 CPUtime=1193.73 cores=0-7
/proc/11839/task/11843/stat : 11843 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 387986 0 0 0 119239 134 0 0 25 0 8 0 622449691 7090806784 1380252 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073588 0 0 4096 2 18446604453641598272 0 0 -1 1 0 0 0
[pid=11839/tid=11844] ppid=11837 vsize=6924616 CPUtime=1168.51 cores=0-7
/proc/11839/task/11844/stat : 11844 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 359231 0 0 0 116716 135 0 0 25 0 8 0 622449691 7090806784 1380252 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073588 0 0 4096 2 18446604453641598272 0 0 -1 7 0 0 0
[pid=11839/tid=11845] ppid=11837 vsize=6924616 CPUtime=1188.79 cores=0-7
/proc/11839/task/11845/stat : 11845 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 390306 0 0 0 118741 138 0 0 25 0 8 0 622449691 7090806784 1380252 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395049003 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11839/tid=11846] ppid=11837 vsize=6924616 CPUtime=1185.22 cores=0-7
/proc/11839/task/11846/stat : 11846 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 507839 0 0 0 118364 158 0 0 25 0 8 0 622449691 7090806784 1380252 33554432000 4194304 4627427 140736274644336 18446744073709551615 4515678 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9512.22
Current children cumulated vsize (KiB) 6924616

[startup+1239.2 s]
/proc/loadavg: 8.05 7.85 5.75 3/226 11888
/proc/meminfo: memFree=23327396/32951124 swapFree=67103364/67111528
[pid=11839] ppid=11837 vsize=6924616 CPUtime=9513.98 cores=0-7
/proc/11839/stat : 11839 (strangenight2-m) S 11837 11839 11813 0 -1 4202496 3350606 0 0 0 950250 1148 0 0 25 0 8 0 622449691 7090806784 1380395 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073588 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11839/statm: 1731154 1380395 391 106 0 1726125 0
[pid=11839/tid=11840] ppid=11837 vsize=6924616 CPUtime=1202.63 cores=0-7
/proc/11839/task/11840/stat : 11840 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 428508 0 0 0 120126 137 0 0 25 0 8 0 622449691 7090806784 1380395 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073588 0 0 4096 2 18446604453641598272 0 0 -1 3 0 0 0
[pid=11839/tid=11841] ppid=11837 vsize=6924616 CPUtime=1197.27 cores=0-7
/proc/11839/task/11841/stat : 11841 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 423897 0 0 0 119589 138 0 0 25 0 8 0 622449691 7090806784 1380395 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073588 0 0 4096 2 18446604453641598272 0 0 -1 4 0 0 0
[pid=11839/tid=11842] ppid=11837 vsize=6924616 CPUtime=1179.35 cores=0-7
/proc/11839/task/11842/stat : 11842 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 366921 0 0 0 117795 140 0 0 25 0 8 0 622449691 7090806784 1380395 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073588 0 0 4096 2 18446604453641598272 0 0 -1 6 0 0 0
[pid=11839/tid=11843] ppid=11837 vsize=6924616 CPUtime=1193.73 cores=0-7
/proc/11839/task/11843/stat : 11843 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 387986 0 0 0 119239 134 0 0 25 0 8 0 622449691 7090806784 1380395 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073588 0 0 4096 2 18446604453641598272 0 0 -1 1 0 0 0
[pid=11839/tid=11844] ppid=11837 vsize=6924616 CPUtime=1168.51 cores=0-7
/proc/11839/task/11844/stat : 11844 (strangenight2-m) S 11837 11839 11813 0 -1 4202560 359231 0 0 0 116716 135 0 0 25 0 8 0 622449691 7090806784 1380395 33554432000 4194304 4627427 140736274644336 18446744073709551615 47083395073588 0 0 4096 2 18446604453641598272 0 0 -1 7 0 0 0
[pid=11839/tid=11845] ppid=11837 vsize=6924616 CPUtime=1189.59 cores=0-7
/proc/11839/task/11845/stat : 11845 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 390306 0 0 0 118821 138 0 0 25 0 8 0 622449691 7090806784 1380395 33554432000 4194304 4627427 140736274644336 18446744073709551615 4219962 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11839/tid=11846] ppid=11837 vsize=6924616 CPUtime=1186.02 cores=0-7
/proc/11839/task/11846/stat : 11846 (strangenight2-m) R 11837 11839 11813 0 -1 4202560 507977 0 0 0 118444 158 0 0 25 0 8 0 622449691 7090806784 1380395 33554432000 4194304 4627427 140736274644336 18446744073709551615 4323442 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9513.98
Current children cumulated vsize (KiB) 6924616

[startup+1239.6 s]
/proc/loadavg: 8.05 7.85 5.75 3/226 11888
/proc/meminfo: memFree=23327396/32951124 swapFree=67103364/67111528
[pid=11839] ppid=11837 vsize=0 CPUtime=9514.54 cores=0-7
/proc/11839/stat : 11839 (strangenight2-m) Z 11837 11839 11813 0 -1 4203548 3350636 0 0 0 950282 1172 0 0 18 0 2 0 622449691 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11839/statm: 0 0 0 0 0 0 0
[pid=11839/tid=11845] ppid=11837 vsize=0 CPUtime=1189.99 cores=0-7
/proc/11839/task/11845/stat : 11845 (strangenight2-m) R 11837 11839 11813 0 -1 4202564 390309 0 0 0 118837 162 0 0 25 0 2 0 622449691 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) 9514.54
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1239.63
CPU time (s): 9514.57
CPU user time (s): 9502.82
CPU system time (s): 11.7502
CPU usage (%): 767.535
Max. virtual memory (cumulated for all children) (KiB): 7164784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9502.82
system time used= 11.7502
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3350636
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= 672384
involuntary context switches= 65335

runsolver used 2.51862 second user time and 6.46302 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-02 09:43:10
IDJOB=3321021
IDBENCH=69571
IDSOLVER=1709
FILE ID=node118/3321021-1304322188
RUNJOBID= node118-1304322187-11827
PBS_JOBID= 13176808
Free space on /tmp= 73296 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321021-1304322188/watcher-3321021-1304322188 -o /tmp/evaluation-result-3321021-1304322188/solver-3321021-1304322188 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321021-1304322188.cnf

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

MD5SUM BENCH= 590cca3a58efdeb1c95ef988a53daa1d
RANDOM SEED=309153922

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28857196 kB
Buffers:        486328 kB
Cached:        1800672 kB
SwapCached:       2876 kB
Active:        1729908 kB
Inactive:      1993108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28857196 kB
SwapTotal:    67111528 kB
SwapFree:     67103364 kB
Dirty:           74152 kB
Writeback:           0 kB
AnonPages:     1435300 kB
Mapped:          18196 kB
Slab:           297328 kB
PageTables:      12600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 21506708 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= 73288 MiB
End job on node118 at 2011-05-02 10:03:50